integrate arctan(sqrt(cos(2x)/(2cos^2(x)))) from x=0 to pi/4