How to make results more compact



Try
cos(4*x)+2*cos(3*x)+cos(2*x)-2*cos(x)-2

see if you can get -2(sin(2*x)+sin(x))^2.