optimizing simplifier