What is the antiderivative of ln x^3?