simplifying logarithmic expressions