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 \sqrt5 } + 2\sqrt {5 + \sqrt5 } }{16}$

where $\cos$ denotes the cosine function.