Add _eval_simplify helper for AlgebraicNumber

fixes #4401
But if you never break you do the same things below, so I don't understand what is happening here and why.