Apply quotient law of logarithms (#502)