solve: x=e^(e^(e^x))