\[\phi(x+1)=e^{\phi(x)},\]