Octinotos

Octinotos is equal to \(f_{\psi(\lambda[9])}(10)\)

the term was coinded by Denis Maksudov.