cos x = 2(cos x/2)^2 - 1.