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