Mathomatic - small command line program for symbolic manipulation of equations. Very practical, you can solve an equation for various variables with a few characters - great for everyday mathematics.