What is the antiderivative of 1/x^3?