MaxIntermediateTerms

A multivariate pseudo-remainder multiplies through by a leading coefficient that is
itself a polynomial, so its intermediates grow in monomial count even when neither
side is anywhere near the bound — the subresultant divisions bound how big the
coefficients get, not how many terms there are. Holding those intermediates to the
input bound refused a gcd of a 19-term and a 29-term pair.
https://github.com/asc-community/AngouriMath/issues/920

It is deliberately a second constant rather than a larger MaxTerms.
The input bound is what protects the hot path — TryCancel runs on every
quotient the simplifier builds — and raising it turned three documented refusals
into answers, including a direct product of two 495-term inputs. What was too small
was never the bound on what may be asked, only the bound on what may be passed
through on the way to an answer that is itself small.