Question 902245
cos(2x) = cos(x + x)= cos^2x - sin^2x = cos^2 - (1-cos^2x) = 2cos^2 - 1