Question 1083978
cos 9pi/12 cos 3pi/12 + sin 9pi/12 sin 3pi/12
-------
cos(A-B) = cos(A)cos(B) + sin(A)sin(B)