Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield.