integrate atan((x-tan(t/2))/sqrt(1-x^2))/sqrt(1-x^2),x