How do you condense #log 7 - 2 log 12#?