cosmin started working on the simplifier