Function pow

src/compute-engine/rubi/normal-form.ts:199–222

Power constructor: merges (B^k)^e → B^(k·e) when sound (k = ±1 or * e an integer), drops exponent 1. Also emulates Mathematica's input * auto-evaluation, which the Rubi corpus assumes: compound numeric-linear * exponents collapse (1+2n−2(1+n) → −1) and u^0 → 1 unconditionally (CE * soundly refus

(ce: ComputeEngine, base: Expression, exp: Expression)

 * exponents collapse (1+2n−2(1+n) → −1) and u^0 → 1 unconditionally (CE
 * soundly refuses this for unknown u; WL applies it on input). */
function pow(ce: ComputeEngine, base: Expression, exp: Expression): Expression {
  if (exp.operator === 'Add' && leafCountOf(exp) <= 24) {
    try {
      const collapsed: Expression = exp.simplify();
      if (collapsed.isNumberLiteral) exp = collapsed;
    } catch {
      // deadline during exponent simplify: keep the original exponent
    }
  }
  if (exp.isSame(0)) return ce.One;
  if (exp.isSame(1)) return base;
  if (base.operator === 'Power' && base.ops) {
    const inner = base.ops[1];
    const mergeable =
      inner.isSame(-1) ||
      inner.isSame(1) ||
      (isNumber(exp) && exp.isInteger === true);
    if (mergeable) {
      const merged = inner.mul(exp).evaluate();
      return pow(ce, base.ops[0], merged);
    }
  }
  return ce._fn('Power', [base, exp]);
}

/**
 * Rebuild an expression through the canonical constructors. Pattern