sin(2x)=cos(x)