3.617 \(\int F^{a+b x+c x^3} (b+3 c x^2) \, dx\)

Optimal. Leaf size=17 \[ \frac {F^{a+b x+c x^3}}{\log (F)} \]

[Out]

F^(c*x^3+b*x+a)/ln(F)

________________________________________________________________________________________

Rubi [A]  time = 0.05, antiderivative size = 17, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.048, Rules used = {6706} \[ \frac {F^{a+b x+c x^3}}{\log (F)} \]

Antiderivative was successfully verified.

[In]

Int[F^(a + b*x + c*x^3)*(b + 3*c*x^2),x]

[Out]

F^(a + b*x + c*x^3)/Log[F]

Rule 6706

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[(q*F^v)/Log[F], x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps

\begin {align*} \int F^{a+b x+c x^3} \left (b+3 c x^2\right ) \, dx &=\frac {F^{a+b x+c x^3}}{\log (F)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.06, size = 17, normalized size = 1.00 \[ \frac {F^{a+b x+c x^3}}{\log (F)} \]

Antiderivative was successfully verified.

[In]

Integrate[F^(a + b*x + c*x^3)*(b + 3*c*x^2),x]

[Out]

F^(a + b*x + c*x^3)/Log[F]

________________________________________________________________________________________

fricas [A]  time = 0.43, size = 17, normalized size = 1.00 \[ \frac {F^{c x^{3} + b x + a}}{\log \relax (F)} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(c*x^3+b*x+a)*(3*c*x^2+b),x, algorithm="fricas")

[Out]

F^(c*x^3 + b*x + a)/log(F)

________________________________________________________________________________________

giac [A]  time = 0.23, size = 17, normalized size = 1.00 \[ \frac {F^{c x^{3} + b x + a}}{\log \relax (F)} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(c*x^3+b*x+a)*(3*c*x^2+b),x, algorithm="giac")

[Out]

F^(c*x^3 + b*x + a)/log(F)

________________________________________________________________________________________

maple [A]  time = 0.03, size = 18, normalized size = 1.06 \[ \frac {F^{c \,x^{3}+b x +a}}{\ln \relax (F )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(F^(c*x^3+b*x+a)*(3*c*x^2+b),x)

[Out]

F^(c*x^3+b*x+a)/ln(F)

________________________________________________________________________________________

maxima [A]  time = 1.00, size = 17, normalized size = 1.00 \[ \frac {F^{c x^{3} + b x + a}}{\log \relax (F)} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(c*x^3+b*x+a)*(3*c*x^2+b),x, algorithm="maxima")

[Out]

F^(c*x^3 + b*x + a)/log(F)

________________________________________________________________________________________

mupad [B]  time = 3.68, size = 17, normalized size = 1.00 \[ \frac {F^{c\,x^3+b\,x+a}}{\ln \relax (F)} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(F^(a + b*x + c*x^3)*(b + 3*c*x^2),x)

[Out]

F^(a + b*x + c*x^3)/log(F)

________________________________________________________________________________________

sympy [A]  time = 0.14, size = 24, normalized size = 1.41 \[ \begin {cases} \frac {F^{a + b x + c x^{3}}}{\log {\relax (F )}} & \text {for}\: \log {\relax (F )} \neq 0 \\b x + c x^{3} & \text {otherwise} \end {cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F**(c*x**3+b*x+a)*(3*c*x**2+b),x)

[Out]

Piecewise((F**(a + b*x + c*x**3)/log(F), Ne(log(F), 0)), (b*x + c*x**3, True))

________________________________________________________________________________________