refactored simplifiers a little (for operator cancelation)