code: def test_bound_degree_fail():
      # Primitive
      DE = DifferentialExtension(
          extension={
              "D": [Poly(1, x), Poly(t0 / x**2, t0), Poly(1 / x, t)]
          }
      )
      assert (
          bound_degree(
              Poly(t**2, t),
              Poly(-(1 / x**2 * t**2 + 1 / x), t),
              Poly(
                  (2 * x - 1) * t**4
                  + (t0 + x) / x * t**3
                  - (t0 + 4 * x**2) / 2 * x * t**2
                  + x * t,
                  t,
              ),
              DE,
          )
          == 3
      )
  
file_path: sympy/sympy/integrals/tests/test_rde.py
imports: from sympy.core.numbers import I, Rational, oo
  from sympy.core.symbol import symbols
  from sympy.polys.polytools import Poly
  from sympy.integrals.risch import DifferentialExtension, NonElementaryIntegralException
  from sympy.integrals.rde import order_at, order_at_oo, weak_normalizer, normal_denom, special_denom, bound_degree, spde, solve_poly_rde, no_cancel_equal, cancel_primitive, cancel_exp, rischDE
  from sympy.testing.pytest import raises
  from sympy.abc import x, t, z, n
label_desc: Use image node_id 5 for calling a global function with example usage: test_bound_degree_fail() without return types