The verify(expr1, expr2, sign) calling sequence returns true if any of the following is true:

The arguments are equal.

Multiplying pairs of multiplicands by  results in equal arguments.

Given  and  where  is even,  or .

This verification is more memory and computationally intensive than checking whether the normal of the difference is zero, but it ensures that the two arguments have similar forms.

This verification is symmetric.