I have a draft of paper posted in http://www.cs.berkeley.edu/~fateman/papers/addformat.pdf which may be of interest to people who have sought information on what goes on inside macsyma/ maxima. I am sure it is lacking in many respects, and I invite comments to try to improve it. Richard Fateman