1/x+1 antiderivative