cos^2(pi/8)