Concerning #686: Added simplifications (a+b)-a, (a-b)-a, (a+b)-b and (a-b)+b