sin^2 x=\frac{1-\cos 2x}{2}