What is the antiderivative of # 3/(x^2+1)#?