Cosine of 3 Degrees

Theorem

 * $\cos 3 \degrees = \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.