solve log(x) * (x^x^x) = log(2)*2^(2^2^2)