use verified nsimplify in minimal_polynomial
nsimplify as fallback; check irreducible before factoring