simplifier [pl. simplifiers]