integrate(1/(x**2 + 1), (x, 0, oo))