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