\cos^2 x = \frac{1+\cos 2x}{2}