Question 984815
 cos (x+y) = cos x cos y -sin x sin y ; Derive a formula for cos (2x)
-------------
cos(x+x) = cos(x)*cos(x) - sin(x)*sin(x)
= {{{cos^2(x) - sin^2(x)}}}