chaseAt equivalently chases subformulas away by reducing them to structurally simpler formulas. You can also chase a formula/subformula away using Alt-Click or Option-Click.