int(2/pi * 1/(cos(x) * sqrt(cos(2x))), x=0..pi/4)