Question 1058528
2cos(2x)^2
----
Is that 2cos(4x^2) ?
Or 2cos^2(2x) ?