\int \frac{1}{1+x^2}dx = \tan^{-1}x+c