Function simplerSqrtQ

src/compute-engine/rubi/rubi-utils.ts:2120–2141

Rubi SimplerSqrtQ[u,v] — is √u simpler than √v

(u: Expression, v: Expression)

      };
    }
  }
  return null;
}

function combineTriSum(
  u: { kind: 'bin'; p: BinParts } | { kind: 'tri'; p: TriParts },
  v: { kind: 'bin'; p: BinParts } | { kind: 'tri'; p: TriParts }
): { kind: 'bin'; p: BinParts } | { kind: 'tri'; p: TriParts } | null {
  // bin + bin → trinomial when one exponent doubles the other
  if (u.kind === 'bin' && v.kind === 'bin') {
    const { a: a3, b: b3, n: m } = u.p;
    const { a: a4, b: b4, n: k } = v.p;
    if (zeroQ(m.sub(k.mul(2))))
      return {
        kind: 'tri',
        p: { a: a3.add(a4).evaluate(), b: b4, c: b3, n: k },
      };
    if (zeroQ(k.sub(m.mul(2))))
      return {
        kind: 'tri',
        p: { a: a3.add(a4).evaluate(), b: b3, c: b4, n: m },
      };
    // same exponent merges to a binomial accumulator
    if (zeroQ(m.sub(k)))
      return {