add comment to _eval_simplify