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