Question 382058
verify: cos2x=cos2x-sin2x
It doesn't.