Comment by eru

Yes, and it's not all that useful there either.

Eg ln is a rather complicated construct, it's not even a function. That's because for complex numbers, e^x is not bijective, and thus its inverse ain't a function.

So using that complicated construct to define something simpler like addition invites extra complexity.