How do you simplify log10(1012)?