What is the antiderivative of lnx3?