(ln x) antiderivative