Question 549619
cos 22.5 degrees
-------------
{{{cos(t/2) = sqrt((1 + cos(t))/2)}}}
= {{{sqrt((1 + cos(45))/2)}}}
A half-angle formula, actually.