logarithm product rule