sin(x-pi/3)=cos(2*x)