simplify log(2*3)