Use sets in simplification for 30% speedup