This program (zero-equiv) is typical un-documented Macsyma code. I
believe it was originally written by Joel Moses,
based on an idea by Daniel Richardson. It supposedly depends solely on
taking derivatives.
I suspect the code has been bruised along the way. It is not really
robust for expressions not defined everywhere,
analytic etc.