integrate arccot(sqrt(2-sec^2x)) from x=0 to x=pi/4