What is the antiderivative of xx2+1?