Simplify log of 12+1/2 log of 7- log of 2