Try rootscontract followed by trigsimp: (%i7) trigsimp(rootscontract(sqrt(1-sin(x))*sqrt(1+sin(x)))); (%o7) abs(cos(x)) Barton -----maxima-bounces at math.utexas.edu wrote: ----- >Hello all, which of the Maxima functions simplifies > >sqrt(1-sin(x))*sqrt(1+sin(x)) > >into > >cos(x) ?