Maxima, despite its shortcomings, is a great tool for symbolic computation.