Function expandTrigReduce

src/compute-engine/rubi/rubi-utils.ts:3711–3713

ExpandTrigReduce[u,x] (2-arg) — the exponential-expansion of u (see the * section comment). Returns a sum the linearity prelude integrates termwise.

(ce: ComputeEngine, u: Expression)

      const p = safeSimplify(
        G.ln()
          .mul(coeffX(w, x, 1))
          .div(st.base!.ln().mul(coeffX(st.expon!, x, 1)))
      );
      const xp = ce.symbol(x).pow(p);
      // G^(const of w) · x^p when $expon$ has no constant term, else x^p
      return zeroQ(coeffX(st.expon!, x, 0))