Function containsIntegrate

src/compute-engine/rubi/loader.ts:96–99

True if the expression tree contains an `Integrate` node.

(e: Expression)

    if (trace && records) {
      // Replay the recorded steps into whole-state steps. No closing step is
      // pushed here: the caller (`explainIntegrate`) appends a final
      // 'integrate.simplify' step only when the evaluated result visibly
      // differs from the last replayed state, so a representational
      // difference (operand order, sign shape) doesn't show as a duplicate
      // line.
      for (const s of driver.replayTrace(records)) trace.push(s);
    }