simplifier (V) — sursimplifier (V)
sursimplifier : Simplifier excessivement.