Hello Sir, We are using WxMaxima 0.7.6 for solving some question. Now we want to change a*sin(x)+b*cos(x) into (a^2+b^2)^(1/2)*sin(x+atan(b/a)). By which function I can do this simplification? Thank you and have a nice day! Cloud