Question 889242
sin^2(x) - cos^2(x) = cos(2x)