Algebra Bibliothek für C++ die folgendes kann

Hallo,

gibt es eine Algebra Bibliothek der man (in welcher Form auch immer) 
eine Gleichung übergeben kann und dann nach einer bestimmten variable 
umstellen lassen kann und die evtl. auch in einzelne elementare 
Rechenschritte zerlegen werden.

z.B.

A = B * (1 - e^(-x/(C*D)))

Auflösen nach x

x = ln(-B/(A-B))*C*D

und in Elementare Teilschritte zerlegen:

temp1 = minus(A,B);
temp2 = -B;
temp3 = durch(temp2,temp1);
temp4 = ln(temp3);
temp5 = mal(temp4,C);
x     = mal(temp5,D);