How do you find the antiderivative of #int 1/sqrt(1+x^2) dx#?