\displaystyle y_n:=x^{y_{n-1}}