1/(2 * cos^2 (x/2 + pi/4))