The proof for the derivative of natural log is relatively straightforward using implicit differentiation and chain rule.
By the rule of logarithms, then
Take the derivative with respect to x (treat y as a function of x)
Substitute x back in for ey
Divide by x and substitute lnx back in for y