updated simplify `simplify`