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.