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