chase equivalently chases formulas away by reducing them to structurally simpler formulas.
You can also chase a formula/subformula away using Alt-Click or Option-Click.
See also
unfold does all easy steps until loop or ODE without excessive branching