What is the integral of #int 1/(x^2+1)dx#?