Added a preprocessing step to multiplicative routines that naively tries to cancel nonzero variables.