try expand(trigsimp(trigexpand( sqrt(b^2+a^2)*sin(x+atan(b/a)) ))); but that is in the reverse direction. Your notion of simplification is more like complification.