\int\frac{\sqrt{1-t^2}}{1+t^2}dt