User blog comment:ArtismScrub/Generalizing the fast-growing hierarchy towards positive real heights/@comment-32876686-20180125203146/@comment-32783837-20180125210358

Who's done this before?

Also, looking at what you just defined, the first rule doesn't look like it fits with the gap between f0 and f1 at all.