Optimizing Simplifier