Cosine of 3 Degrees

Theorem

 * $\cos 3^\circ = \cos \dfrac {\pi} {60} = \dfrac{ \sqrt{30} - \sqrt{10} - \sqrt 6 + \sqrt 2 + 2 \sqrt{15 + 3 \sqrt 5} + 2 \sqrt{5 + \sqrt 5} } {16}$

where $\cos$ denotes the cosine function.