What is the antiderivative of 1/(1+x^2)?