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

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

minpoly(pi/2)

Experiment with SymPy at SymPy Live.