x + log10(1 + 2^x) = x·log10(5) + log10(6)