integrate(1/(x**2%20%2B%201)%2C%20(x%2C%200%2C%20oo))