Comment
Comment by possiblywrong
Following is the closed form solution linked in the article (from a since-deleted Reddit comment):
> This is really only interesting if a particular (potentially really large) term of the sequence is desired, as opposed to all terms up to a point. The key observation is that any sequence of the given set of operations reduces to a linear recurrence which has the given solution.