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