simplify sin(x-pi/6)+cos(x-(2/3)*pi)+cos(2*x)