does (sin x)^2 - (cos x)^2 = 1 - 2 (cos x)^2?