Давайте так, формула для MathParse, как ни крути - есть запись на некотором формальном языке.
Не виноватый я, что так оно и есть на самом деле

И, по большому счету, этот язык должен быть разжеван в справке на элемент.
Максимально лаконичная форма описания языка - это и есть синтаксическая диаграмма, которую я привел для нашего конкретного случая.
Как бы на языке РБНФ. Для которого тоже синтаксис точно так же можно описать на ем же.

Альтернатива - смотри код. Ну ей-ей, посмотреть на выше приведенные 7 формул - проще, чем лопатить 1000 строк кода.
Фишка в том, смысл этих 1000 строк - реализовать эти 7 формул.
У меня есть предложения для их изменения.
Как мне, спрашивается поступить: выложить новые формулы для обсуждения, или сказать - смотрите как славно я 1000 строк кода перелопатил ???

Особо сложного в РБНФ то и нету.
Вертикальная палка - просто альтернатива (или).
Квадратные скобки - повтор содержимого ноль, или один раз.
Фигурные скобки - повтор содержимого ноль, или любое число раз.
Обыкновенные скобки - просто обычная группировка, безо всяких скрытых смыслов.

Ну и наконец, кто-то разве отказывался отвечать на вопросы, коль скоро таковые возникнут ???