Define logarithm as inverse of exponential (#497)