3.537 \(\int a^{3 x} x^2 \, dx\)

Optimal. Leaf size=44 \[ \frac {x^2 a^{3 x}}{3 \log (a)}+\frac {2 a^{3 x}}{27 \log ^3(a)}-\frac {2 x a^{3 x}}{9 \log ^2(a)} \]

________________________________________________________________________________________

Rubi [A]  time = 0.02, antiderivative size = 44, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {2176, 2194} \[ \frac {x^2 a^{3 x}}{3 \log (a)}-\frac {2 x a^{3 x}}{9 \log ^2(a)}+\frac {2 a^{3 x}}{27 \log ^3(a)} \]

Antiderivative was successfully verified.

[In]

Int[a^(3*x)*x^2,x]

[Out]

(2*a^(3*x))/(27*Log[a]^3) - (2*a^(3*x)*x)/(9*Log[a]^2) + (a^(3*x)*x^2)/(3*Log[a])

Rule 2176

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[((c + d*x)^m
*(b*F^(g*(e + f*x)))^n)/(f*g*n*Log[F]), x] - Dist[(d*m)/(f*g*n*Log[F]), Int[(c + d*x)^(m - 1)*(b*F^(g*(e + f*x
)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && GtQ[m, 0] && IntegerQ[2*m] &&  !$UseGamma === True

Rule 2194

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rubi steps

\begin {align*} \int a^{3 x} x^2 \, dx &=\frac {a^{3 x} x^2}{3 \log (a)}-\frac {2 \int a^{3 x} x \, dx}{3 \log (a)}\\ &=-\frac {2 a^{3 x} x}{9 \log ^2(a)}+\frac {a^{3 x} x^2}{3 \log (a)}+\frac {2 \int a^{3 x} \, dx}{9 \log ^2(a)}\\ &=\frac {2 a^{3 x}}{27 \log ^3(a)}-\frac {2 a^{3 x} x}{9 \log ^2(a)}+\frac {a^{3 x} x^2}{3 \log (a)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 29, normalized size = 0.66 \[ \frac {a^{3 x} \left (9 x^2 \log ^2(a)-6 x \log (a)+2\right )}{27 \log ^3(a)} \]

Antiderivative was successfully verified.

[In]

Integrate[a^(3*x)*x^2,x]

[Out]

(a^(3*x)*(2 - 6*x*Log[a] + 9*x^2*Log[a]^2))/(27*Log[a]^3)

________________________________________________________________________________________

IntegrateAlgebraic [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int a^{3 x} x^2 \, dx \]

Verification is Not applicable to the result.

[In]

IntegrateAlgebraic[a^(3*x)*x^2,x]

[Out]

Could not integrate

________________________________________________________________________________________

fricas [A]  time = 1.13, size = 27, normalized size = 0.61 \[ \frac {{\left (9 \, x^{2} \log \relax (a)^{2} - 6 \, x \log \relax (a) + 2\right )} a^{3 \, x}}{27 \, \log \relax (a)^{3}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a^(3*x)*x^2,x, algorithm="fricas")

[Out]

1/27*(9*x^2*log(a)^2 - 6*x*log(a) + 2)*a^(3*x)/log(a)^3

________________________________________________________________________________________

giac [C]  time = 0.70, size = 826, normalized size = 18.77 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a^(3*x)*x^2,x, algorithm="giac")

[Out]

-1/27*((6*(3*pi*x^2*log(abs(a))*sgn(a) - 3*pi*x^2*log(abs(a)) - pi*x*sgn(a) + pi*x)*(pi^3*sgn(a) - 3*pi*log(ab
s(a))^2*sgn(a) - pi^3 + 3*pi*log(abs(a))^2)/((pi^3*sgn(a) - 3*pi*log(abs(a))^2*sgn(a) - pi^3 + 3*pi*log(abs(a)
)^2)^2 + (3*pi^2*log(abs(a))*sgn(a) - 3*pi^2*log(abs(a)) + 2*log(abs(a))^3)^2) - (9*pi^2*x^2*sgn(a) - 9*pi^2*x
^2 + 18*x^2*log(abs(a))^2 - 12*x*log(abs(a)) + 4)*(3*pi^2*log(abs(a))*sgn(a) - 3*pi^2*log(abs(a)) + 2*log(abs(
a))^3)/((pi^3*sgn(a) - 3*pi*log(abs(a))^2*sgn(a) - pi^3 + 3*pi*log(abs(a))^2)^2 + (3*pi^2*log(abs(a))*sgn(a) -
3*pi^2*log(abs(a)) + 2*log(abs(a))^3)^2))*cos(-3/2*pi*x*sgn(a) + 3/2*pi*x) - ((9*pi^2*x^2*sgn(a) - 9*pi^2*x^2
+ 18*x^2*log(abs(a))^2 - 12*x*log(abs(a)) + 4)*(pi^3*sgn(a) - 3*pi*log(abs(a))^2*sgn(a) - pi^3 + 3*pi*log(abs
(a))^2)/((pi^3*sgn(a) - 3*pi*log(abs(a))^2*sgn(a) - pi^3 + 3*pi*log(abs(a))^2)^2 + (3*pi^2*log(abs(a))*sgn(a)
- 3*pi^2*log(abs(a)) + 2*log(abs(a))^3)^2) + 6*(3*pi*x^2*log(abs(a))*sgn(a) - 3*pi*x^2*log(abs(a)) - pi*x*sgn(
a) + pi*x)*(3*pi^2*log(abs(a))*sgn(a) - 3*pi^2*log(abs(a)) + 2*log(abs(a))^3)/((pi^3*sgn(a) - 3*pi*log(abs(a))
^2*sgn(a) - pi^3 + 3*pi*log(abs(a))^2)^2 + (3*pi^2*log(abs(a))*sgn(a) - 3*pi^2*log(abs(a)) + 2*log(abs(a))^3)^
2))*sin(-3/2*pi*x*sgn(a) + 3/2*pi*x))*abs(a)^(3*x) + 1/2*I*abs(a)^(3*x)*((36*I*pi^2*x^2*sgn(a) - 72*pi*x^2*log
(abs(a))*sgn(a) - 36*I*pi^2*x^2 + 72*pi*x^2*log(abs(a)) + 72*I*x^2*log(abs(a))^2 + 24*pi*x*sgn(a) - 24*pi*x -
48*I*x*log(abs(a)) + 16*I)*e^(3/2*I*pi*x*sgn(a) - 3/2*I*pi*x)/(-108*I*pi^3*sgn(a) + 324*pi^2*log(abs(a))*sgn(a
) + 324*I*pi*log(abs(a))^2*sgn(a) + 108*I*pi^3 - 324*pi^2*log(abs(a)) - 324*I*pi*log(abs(a))^2 + 216*log(abs(a
))^3) - (36*I*pi^2*x^2*sgn(a) + 72*pi*x^2*log(abs(a))*sgn(a) - 36*I*pi^2*x^2 - 72*pi*x^2*log(abs(a)) + 72*I*x^
2*log(abs(a))^2 - 24*pi*x*sgn(a) + 24*pi*x - 48*I*x*log(abs(a)) + 16*I)*e^(-3/2*I*pi*x*sgn(a) + 3/2*I*pi*x)/(1
08*I*pi^3*sgn(a) + 324*pi^2*log(abs(a))*sgn(a) - 324*I*pi*log(abs(a))^2*sgn(a) - 108*I*pi^3 - 324*pi^2*log(abs
(a)) + 324*I*pi*log(abs(a))^2 + 216*log(abs(a))^3))

________________________________________________________________________________________

maple [A]  time = 0.04, size = 28, normalized size = 0.64

method	result	size
gosper	\(\frac {\left (9 x^{2} \ln \relax (a )^{2}-6 x \ln \relax (a )+2\right ) a^{3 x}}{27 \ln \relax (a )^{3}}\)	\(28\)
risch	\(\frac {\left (9 x^{2} \ln \relax (a )^{2}-6 x \ln \relax (a )+2\right ) a^{3 x}}{27 \ln \relax (a )^{3}}\)	\(28\)
meijerg	\(-\frac {2-\frac {\left (27 x^{2} \ln \relax (a )^{2}-18 x \ln \relax (a )+6\right ) {\mathrm e}^{3 x \ln \relax (a )}}{3}}{27 \ln \relax (a )^{3}}\)	\(33\)
norman	\(\frac {2 \,{\mathrm e}^{3 x \ln \relax (a )}}{27 \ln \relax (a )^{3}}-\frac {2 x \,{\mathrm e}^{3 x \ln \relax (a )}}{9 \ln \relax (a )^{2}}+\frac {x^{2} {\mathrm e}^{3 x \ln \relax (a )}}{3 \ln \relax (a )}\)	\(42\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(a^(3*x)*x^2,x,method=_RETURNVERBOSE)

[Out]

1/27*(9*x^2*ln(a)^2-6*x*ln(a)+2)*a^(3*x)/ln(a)^3

________________________________________________________________________________________

maxima [A]  time = 0.46, size = 27, normalized size = 0.61 \[ \frac {{\left (9 \, x^{2} \log \relax (a)^{2} - 6 \, x \log \relax (a) + 2\right )} a^{3 \, x}}{27 \, \log \relax (a)^{3}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a^(3*x)*x^2,x, algorithm="maxima")

[Out]

1/27*(9*x^2*log(a)^2 - 6*x*log(a) + 2)*a^(3*x)/log(a)^3

________________________________________________________________________________________

mupad [B]  time = 0.06, size = 27, normalized size = 0.61 \[ \frac {a^{3\,x}\,\left (9\,x^2\,{\ln \relax (a)}^2-6\,x\,\ln \relax (a)+2\right )}{27\,{\ln \relax (a)}^3} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(a^(3*x)*x^2,x)

[Out]

(a^(3*x)*(9*x^2*log(a)^2 - 6*x*log(a) + 2))/(27*log(a)^3)

________________________________________________________________________________________

sympy [A]  time = 0.11, size = 39, normalized size = 0.89 \[ \begin {cases} \frac {a^{3 x} \left (9 x^{2} \log {\relax (a )}^{2} - 6 x \log {\relax (a )} + 2\right )}{27 \log {\relax (a )}^{3}} & \text {for}\: 27 \log {\relax (a )}^{3} \neq 0 \\\frac {x^{3}}{3} & \text {otherwise} \end {cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a**(3*x)*x**2,x)

[Out]

Piecewise((a**(3*x)*(9*x**2*log(a)**2 - 6*x*log(a) + 2)/(27*log(a)**3), Ne(27*log(a)**3, 0)), (x**3/3, True))

________________________________________________________________________________________