equals tries to prove an nsimplify result
use equals on numbers in sign and abs