Výpočet příkladu z řetězce, bez použití eval

Ahoj,
existuje nějaká inteligentnější metoda, jak vyhodnocovat matematické příklady, aniž bych použil funkci eval()?
Mějme následující příklad:
Funkce eval() je sice užitečná, nicméně také nebezpečná, protože jí můžu podstrčit závadný kód a zmocnit se nad celou aplikací. Obejít tuto metodu je velice jednoduché, stačí poslat nulový bajt na začátku (tím se resetuje proměnná) a pak můžu spustit libovolný vlastní kód.

Rád bych použil nějaké elegantní a bezpečné řešení. Napadlo mě také vytvořit vlastní matematický parser, ale s tím by bylo hodně práce, měl by v sobě hromadu chyb a hlavně by to bylo natolik složité, že bych to vůbec nemusel zvládnout.

Hledám ideálně nějakou knihovnu, které když předám matematický příklad formou řetězce, tak vrátí výsledek. Existuje vůbec něco takového?

Ještě mírně zcestná otázka: Pokud taková knihovna existuje, umí také řešit jednoduché lineární rovnice?

Děkuji za jakékoli reakce.