cos 2x=2 cos ^2 x-1
cos x=sqrt(1+cos 2 x)/2
x=67.5
cos 67.5=sqrt(1+ cos 135)/2
=sqrt(1-cos45)/2
=sqrt(1-sqrt(2)/2)/2
=sqrt(2-sqrt2)/4
