Use a unified delta and simplifier.