Expanding logarithms using properties and rules