Podemos hacer dos observaciones algebraicas respecto al integrando, \(x^3 \cdot \sin (7x^4 + 3)\text{.}\) Primero, \(\sin (7x^4 + 3)\) es una función compuesta; como tal, sabemos que necesitaremos un enfoque más sofisticado para antidiferenciar. Segundo, \(x^3\) es casi la derivada de \((7x^4 + 3)\text{;}\) el único problema es una constante faltante. Así, \(x^3\) y \((7x^4 + 3)\) son casi un par función-derivada. Además, sabemos la antiderivada de \(f(u) = \sin(u)\text{.}\) La combinación de estas observaciones sugiere que podemos evaluar la integral indefinida dada invirtiendo la regla de la cadena a través de la sustitución \(u\text{.}\)
Dejando que \(u\) represente la función interna de la función compuesta \(\sin (7x^4 + 3)\text{,}\) tenemos \(u = 7x^4 + 3\text{,}\) y así \(\frac{du}{dx} = 28x^3\text{.}\) En notación diferencial, se sigue que \(du = 28x^3 \, dx\text{,}\) y así \(x^3 \, dx = \frac{1}{28} \, du\text{.}\) La integral indefinida original puede reescribirse ligeramente como
\begin{equation*}
\int \sin (7x^4 + 3) \cdot x^3 \, dx\text{,}
\end{equation*}
y así, sustituyendo \(u\) por \(7x^4 + 3\) y \(\frac{1}{28} \, du\) por \(x^3 \, dx\text{,}\) se sigue que
\begin{equation*}
\int \sin (7x^4 + 3) \cdot x^3 \, dx = \int \sin(u) \cdot \frac{1}{28} \, du\text{.}
\end{equation*}
Ahora podemos evaluar la integral más fácil en \(u\text{,}\) y luego reemplazar \(u\) por la expresión \(7x^4 + 3\text{.}\) Haciendo esto, encontramos
\begin{align*}
\int \sin (7x^4 + 3) \cdot x^3 \, dx &= \int \sin(u) \cdot \frac{1}{28} \, du\\
&= \frac{1}{28} \int \sin(u) \, du\\
&= \frac{1}{28} (-\cos(u)) + C\\
&= -\frac{1}{28} \cos(7x^4 + 3) + C\text{.}
\end{align*}
Para verificar nuestro trabajo, observamos por la regla de la cadena que
\begin{equation*}
\frac{d}{dx} \left[ -\frac{1}{28}\cos(7x^4 + 3) \right] = -\frac{1}{28} \cdot (-1)\sin(7x^4 + 3) \cdot 28x^3 = \sin(7x^4 + 3) \cdot x^3\text{,}
\end{equation*}
que es de hecho el integrando original.