Red Book Page 59 Simplifying Logarithms