simplify definition