Apply product law of logarithms (#501)