derivative of ln(x) with definition of derivative