More effective redundancy removal for 1d additive case