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