User blog comment:Pteriforever/Obliviation/@comment-5150073-20141209111340

This function is indeed fast-growing, but I'm afraid that the number of needed rules for the notation will be also fast-growing.