1/(x^2+1)的原函数是什么