One of the authors, happy to answer questions!
I have an idea, we could call it FORTRAN, as in "formula translator", get it?
Seriously though, creating DSLs is the essence of (understandable) programming. You create abstractions away from machine code towards your problem domain. Every program, thus, is more or less a DSL for what it can do.
Reminds me a bit of "Let's Program a Calculus Student": https://iagoleal.com/posts/calculus-symbolic/