integrate (x**2/(x**2+1),x)
integrate(x**2/(x**2 + 1), x)
plot(x - atan(x))
solve(x - atan(x), x)
diff(x - atan(x), x)
series(x - atan(x), x, 0, 10)
Experiment with SymPy at SymPy Live.