batch("testmma.mac") to load all necessary files and test them.
You will, however, have to edit that file so that your file directory
 with this stuff is on the search path.

The files are in 

http://www.cs.berkeley.edu/~fateman/lisp/mmasim2015

(that is, you should copy that directory somewhere on your computer
first)

 testmma.mac  includes examples
for doing differentiation by pattern matching, as well as solving
a quadratic. There is also a text file describing what's motivating this.