User blog comment:Googleaarex/N-Goodstein Sequence/@comment-1605058-20131223222451/@comment-1605058-20131224082527

For me it's still unclear why X^^X expands to X^(X^2*2+X*2+2)*2+X^(X^2*2+X*2+1)*2+...+X*2+2.