\int \frac{1}{t^2+1}dt = \arctan t + c