logarithmic identities