extended simplifier