minimise x^(x^(x^x))