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