Minimal Maxima

Here is an example from the paper "Minimal Maxima" by Robert Dodier:

WebSite:maxima.sourceforge.net/docs/tutorial/en/minimal-maxima.pdf

1. 2 Solve an equation Maxima output parse error!