integrate arctan(sqrt(2-(tan(x))^2)) from 0 to pi/6