`(foo - bar).expand()==0` or `(foo - bar).simplify()==0`