An enumerable simplifier