Binphi is equal to \(f_{\varphi(\varphi(1,0),0)}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.