added redundant simplifier