cos^2(pi/4)