\log(5^{\log(20)}) - \log(20^{\log(5)}}) = 0