\sin{\frac{\pi}{10}} = \frac{\sqrt{5}-1}{4}