I was complaining in the recent post that I can't find a freeware program that supports symbolic algebra. One my co-worker had suggested http://maxima.sourceforge.net, and I can recommend it. It's not Mathematica, but has good GUI and scripting, and fulfills my needs.