Add _eval_simplify helper for AlgebraicNumber

fixes #4401
The comment on #8237 regarding the use of n() probably applies here, too: don't use sorted, use ordered on the raw roots. (Or is there some guarantee that what you have here will always work?)