Function niceSqrtAux

src/compute-engine/rubi/rubi-utils.ts:2108–2117

NiceSqrtQ body for non-rational u: would Rt[u,2] be free of fractional * powers and complex factors? Mathematica's RtAux extracts even powers * (Rt[b²,2] = b); CE's sound Power fold keeps √(b²), so test the even-power * structure directly instead of inspecting the folded root.

(u: Expression)

          acc = next;
          continue;
        }
        acc = combineTriSum(acc, next);
        if (acc === null) return null;
      }
      if (acc === null || acc.kind !== 'tri') return null;
      return {
        a: acc.p.a.add(constA).evaluate(),
        b: acc.p.b,
        c: acc.p.c,
        n: acc.p.n,
      };
    }
  }