Question 1085867
.
{{{2*cos^2(pi/8)-1}}} = {{{cos(pi/4)}}} = {{{sqrt(2)/2}}}.