sin(2x)cos(x)=cos(2x)