Here is a simpler example: :lisp (resimplify '((%sin) ((mbox) ((mplus) a b)))) => Error in RESIMPLIFY [or a callee]: Bind stack overflow. Changing any of %sin, mbox, or mplus to anything else (e.g. foo) makes the error go away. Very curious! Robert Dodier