log10(log10(5^(5^(5^5)))) - log10((10^80)^(1+25))