logarithm simplifications