Function deactivateTrig

src/compute-engine/rubi/rubi-utils.ts:2381–2421

(
  ce: ComputeEngine,
  e: Expression,
  x?: string
)

  }
  if (u.operator === 'Multiply' && u.ops) return u.ops.every(niceSqrtAux);
  return !fracPowerFactorQ(rtExpr(u, 2));
}

/** Rubi SimplerSqrtQ[u,v] — is √u simpler than √v */
function simplerSqrtQ(u: Expression, v: Expression): boolean {
  const ltZero = (e: Expression): boolean => {
    const r = realNum(e) ?? realNum(safeSimplify(e));
    return r !== null && r < 0;
  };
  if (ltZero(v) && !ltZero(u)) return true;
  if (ltZero(u) && !ltZero(v)) return false;
  const su = rtExpr(u, 2);
  const sv = rtExpr(v, 2);
  if (isLiteralInteger(su))
    return isLiteralInteger(sv) ? realNum(su)! < realNum(sv)! : true;
  if (isLiteralInteger(sv)) return false;
  if (isLiteralRational(su))
    return isLiteralRational(sv) ? realNum(su)! < realNum(sv)! : true;
  if (isLiteralRational(sv)) return false;
  if (posQ(u)) return posQ(v) ? leafCount(su) < leafCount(sv) : true;
  if (posQ(v)) return false;
  if (leafCount(su) < leafCount(sv)) return true;
  if (leafCount(sv) < leafCount(su)) return false;
  // ~ Not[OrderedQ[{v,u}]] — canonical-order tiebreak
  return u.toString() < v.toString();
}

/** Rubi RationalFunctionQ — u is a rational function of x */
export function rationalFnQ(u: Expression, x: string): boolean {
  if (!u.ops || !u.has(x)) return true;
  switch (u.operator) {
    case 'Power':
      return isLiteralInteger(u.ops[1]) && rationalFnQ(u.ops[0], x);
    case 'Add':
    case 'Subtract':
    case 'Negate':
    case 'Multiply':
    case 'Divide':
      return u.ops.every((o) => rationalFnQ(o, x));
  }
  return false;
}

/** Rubi AlgebraicFunctionQ — u is an algebraic function of x */