integrate 1/(x^2+1)
Let's integrate: ∫(1x2 + 1)dx
atan(x)
Indefinite integrals are defined up to an additive constant C, so this yields: atan(x) + C
Result:   atan(x) + C, where C is a constant