Add _eval_simplify helper for AlgebraicNumber

fixes #4401
I hope, now it's more clear.  PR was updated.