Question 207519
{{{cos (2x)=cos^2 (x) - sin^2 (x)}}}