Hi, I would have expected last command of the following sequence to return true. (%i1) declare(x,real); (%o1) done (%i2) featurep(x,real); (%o2) true (%i3) featurep(sin(x),real); (%o3) true (%i4) featurep(acos(sin(x)),real); (%o4) false Am I wrong ? If so, is there a way to assume that acos(sin(x)) is real when x is real. Thanks, Jean