How to simplifiy a*sin(x)+b*cos(x)



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