What is the antiderivative of xx2+4?