Question 1009527
cos^2(x) - sin^2(x) = cos(2x)
Basic double-angle identity.