What is the antiderivative of ln(1x)x?