>>703
cos(2x)-1=-2sin^2(2x)