Yacas

Yacas- Yacas (Yet Another Computer Algebra System) is a small and highly flexible computer algebra language. The syntax is handled by a infix-operator grammar parser. The distribution contains a small library of mathematical functions, but its real strength is in the language in which you can easily write your own symbolic manipulation algorithms. It also supports arbitrary precision arithmetic.