I was wondering if there was a closed form for $\cos(\frac{\pi}5)$?
We have the following in closed form:
$$\cos(\frac{\pi}2)=0$$
$$\cos(\frac{\pi}3)=\frac12$$
$$\cos(\frac{\pi}4)=\frac{\sqrt{2}}2$$
$$\cos(\frac{\pi}6)=\frac{\sqrt{3}}2$$
$$\cos(\frac{\pi}8)=\frac{\sqrt{2+\sqrt{2}}}2$$
But perhaps a solution to $\cos(\frac{\pi}5)$?