Maxima Symbolic Toolbox