int_ideal_cofactors : term list -> term -> term list
p = p1 * q1 + ... + pn * qn
# prioritize_int();; val it : unit = () # int_ideal_cofactors [`r * x * (&1 - x) - x`] `r * (r * x * (&1 - x)) * (&1 - r * x * (&1 - x)) - x`;; [`&1 * r pow 2 * x pow 2 + -- &1 * r pow 2 * x + -- &1 * r * x + &1 * r + &1`]