Matematyczny Validator

Dłubię sobie projekt, który sprawdza równania matematyczne trochę inaczej niż zwykłe czy działa / czy nie działa. To nie jest solver, tylko analizator struktury równania.Rozbija wyrażenie na warstwy: (lambda) złożoność struktury, zagnieżdżenia (tau) transformacje: odwróceni Są filtry logik

[5da4266d3de6dbaf425a2d4fc16225d0]

Zakop. To jest jakiś g---o-wrapper na sympy i 99% funkcjonalności opiera się o sympy.sympify(expression). Można by cały ten projekt zastąpić tą jedną linijką.