How do you condense log72log12?