\cos 2x=\frac 12