Simplify/Condense log of 7-2 log of 12