int (4/pi (1- sqrt 2 sqrt 2.5 / 4 cos x)^2) dx from 0 to pi/4