add _eval_simplify to Atom