\(\int (8 x+e^{3+x} (-8 x-4 x^2+(-4-4 x) \log (3)) \log ^8(5)+e^{6+2 x} (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)) \log ^{16}(5)) \, dx\) [8285]

Optimal result

Integrand size = 66, antiderivative size = 20 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx=\left (-2 x+e^{3+x} (x+\log (3)) \log ^8(5)\right )^2 \]

[Out]

((ln(3)+x)*ln(5)^8*exp(3+x)-2*x)^2

Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(153\) vs. \(2(20)=40\).

Time = 0.11 (sec) , antiderivative size = 153, normalized size of antiderivative = 7.65, number of steps used = 18, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {2227, 2207, 2225} \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx=4 x^2+e^{2 x+6} x^2 \log ^{16}(5)-4 e^{x+3} x^2 \log ^8(5)+e^{2 x+6} x \log ^{16}(5) (1+\log (9))-e^{2 x+6} x \log ^{16}(5)-\frac {1}{2} e^{2 x+6} \log ^{16}(5) (1+\log (9))+\frac {1}{2} e^{2 x+6} \log ^{16}(5)+4 e^{x+3} \log (3) \log ^8(5)-4 e^{x+3} (x+1) \log (3) \log ^8(5)+\frac {1}{2} e^{2 x+6} \log ^{16}(5) \left (2 \log ^2(3)+\log (9)\right ) \]

[In]

Int[8*x + E^(3 + x)*(-8*x - 4*x^2 + (-4 - 4*x)*Log[3])*Log[5]^8 + E^(6 + 2*x)*(2*x + 2*x^2 + (2 + 4*x)*Log[3]
+ 2*Log[3]^2)*Log[5]^16,x]

[Out]

4*x^2 - 4*E^(3 + x)*x^2*Log[5]^8 + 4*E^(3 + x)*Log[3]*Log[5]^8 - 4*E^(3 + x)*(1 + x)*Log[3]*Log[5]^8 + (E^(6 +
2*x)*Log[5]^16)/2 - E^(6 + 2*x)*x*Log[5]^16 + E^(6 + 2*x)*x^2*Log[5]^16 - (E^(6 + 2*x)*Log[5]^16*(1 + Log[9])
)/2 + E^(6 + 2*x)*x*Log[5]^16*(1 + Log[9]) + (E^(6 + 2*x)*Log[5]^16*(2*Log[3]^2 + Log[9]))/2

Rule 2207

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] &&  !TrueQ[$UseGamma]

Rule 2225

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]

Rule 2227

Int[(F_)^((c_.)*(v_))*(u_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), u, x], x] /; FreeQ[{F, c
}, x] && PolynomialQ[u, x] && LinearQ[v, x] &&  !TrueQ[$UseGamma]

Rubi steps \begin{align*} \text {integral}& = 4 x^2+\log ^8(5) \int e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \, dx+\log ^{16}(5) \int e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \, dx \\ & = 4 x^2+\log ^8(5) \int \left (-8 e^{3+x} x-4 e^{3+x} x^2-4 e^{3+x} (1+x) \log (3)\right ) \, dx+\log ^{16}(5) \int \left (2 e^{6+2 x} x^2+2 e^{6+2 x} x (1+\log (9))+2 e^{6+2 x} \log ^2(3) \left (1+\frac {\log (9)}{2 \log ^2(3)}\right )\right ) \, dx \\ & = 4 x^2-\left (4 \log ^8(5)\right ) \int e^{3+x} x^2 \, dx-\left (8 \log ^8(5)\right ) \int e^{3+x} x \, dx-\left (4 \log (3) \log ^8(5)\right ) \int e^{3+x} (1+x) \, dx+\left (2 \log ^{16}(5)\right ) \int e^{6+2 x} x^2 \, dx+\left (2 \log ^{16}(5) (1+\log (9))\right ) \int e^{6+2 x} x \, dx+\left (\log ^{16}(5) \left (2 \log ^2(3)+\log (9)\right )\right ) \int e^{6+2 x} \, dx \\ & = 4 x^2-8 e^{3+x} x \log ^8(5)-4 e^{3+x} x^2 \log ^8(5)-4 e^{3+x} (1+x) \log (3) \log ^8(5)+e^{6+2 x} x^2 \log ^{16}(5)+e^{6+2 x} x \log ^{16}(5) (1+\log (9))+\frac {1}{2} e^{6+2 x} \log ^{16}(5) \left (2 \log ^2(3)+\log (9)\right )+\left (8 \log ^8(5)\right ) \int e^{3+x} \, dx+\left (8 \log ^8(5)\right ) \int e^{3+x} x \, dx+\left (4 \log (3) \log ^8(5)\right ) \int e^{3+x} \, dx-\left (2 \log ^{16}(5)\right ) \int e^{6+2 x} x \, dx-\left (\log ^{16}(5) (1+\log (9))\right ) \int e^{6+2 x} \, dx \\ & = 4 x^2+8 e^{3+x} \log ^8(5)-4 e^{3+x} x^2 \log ^8(5)+4 e^{3+x} \log (3) \log ^8(5)-4 e^{3+x} (1+x) \log (3) \log ^8(5)-e^{6+2 x} x \log ^{16}(5)+e^{6+2 x} x^2 \log ^{16}(5)-\frac {1}{2} e^{6+2 x} \log ^{16}(5) (1+\log (9))+e^{6+2 x} x \log ^{16}(5) (1+\log (9))+\frac {1}{2} e^{6+2 x} \log ^{16}(5) \left (2 \log ^2(3)+\log (9)\right )-\left (8 \log ^8(5)\right ) \int e^{3+x} \, dx+\log ^{16}(5) \int e^{6+2 x} \, dx \\ & = 4 x^2-4 e^{3+x} x^2 \log ^8(5)+4 e^{3+x} \log (3) \log ^8(5)-4 e^{3+x} (1+x) \log (3) \log ^8(5)+\frac {1}{2} e^{6+2 x} \log ^{16}(5)-e^{6+2 x} x \log ^{16}(5)+e^{6+2 x} x^2 \log ^{16}(5)-\frac {1}{2} e^{6+2 x} \log ^{16}(5) (1+\log (9))+e^{6+2 x} x \log ^{16}(5) (1+\log (9))+\frac {1}{2} e^{6+2 x} \log ^{16}(5) \left (2 \log ^2(3)+\log (9)\right ) \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(49\) vs. \(2(20)=40\).

Time = 0.08 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.45 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx=4 x^2-4 e^{3+x} \left (x^2+x \log (3)\right ) \log ^8(5)+e^{6+2 x} \log ^{16}(5) \left (x^2+\log ^2(3)+x \log (9)\right ) \]

[In]

Integrate[8*x + E^(3 + x)*(-8*x - 4*x^2 + (-4 - 4*x)*Log[3])*Log[5]^8 + E^(6 + 2*x)*(2*x + 2*x^2 + (2 + 4*x)*L
og[3] + 2*Log[3]^2)*Log[5]^16,x]

[Out]

4*x^2 - 4*E^(3 + x)*(x^2 + x*Log[3])*Log[5]^8 + E^(6 + 2*x)*Log[5]^16*(x^2 + Log[3]^2 + x*Log[9])

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(50\) vs. \(2(19)=38\).

Time = 0.23 (sec) , antiderivative size = 51, normalized size of antiderivative = 2.55

method	result	size
risch	\(\ln \left (5\right )^{16} \left (\ln \left (3\right )^{2}+2 x \ln \left (3\right )+x^{2}\right ) {\mathrm e}^{2 x +6}+\ln \left (5\right )^{8} \left (-4 x \ln \left (3\right )-4 x^{2}\right ) {\mathrm e}^{3+x}+4 x^{2}\)	\(51\)
default	\(\ln \left (5\right )^{16} \ln \left (3\right )^{2} {\mathrm e}^{2 x +6}+2 \ln \left (5\right )^{16} \ln \left (3\right ) {\mathrm e}^{2 x +6} x +\ln \left (5\right )^{16} {\mathrm e}^{2 x +6} x^{2}-4 \ln \left (5\right )^{8} \ln \left (3\right ) {\mathrm e}^{3+x} x -4 \ln \left (5\right )^{8} {\mathrm e}^{3+x} x^{2}+4 x^{2}\)	\(77\)
norman	\(\ln \left (5\right )^{16} \ln \left (3\right )^{2} {\mathrm e}^{2 x +6}+2 \ln \left (5\right )^{16} \ln \left (3\right ) {\mathrm e}^{2 x +6} x +\ln \left (5\right )^{16} {\mathrm e}^{2 x +6} x^{2}-4 \ln \left (5\right )^{8} \ln \left (3\right ) {\mathrm e}^{3+x} x -4 \ln \left (5\right )^{8} {\mathrm e}^{3+x} x^{2}+4 x^{2}\)	\(77\)
parallelrisch	\(\ln \left (5\right )^{16} \ln \left (3\right )^{2} {\mathrm e}^{2 x +6}+2 \ln \left (5\right )^{16} \ln \left (3\right ) {\mathrm e}^{2 x +6} x +\ln \left (5\right )^{16} {\mathrm e}^{2 x +6} x^{2}-4 \ln \left (5\right )^{8} \ln \left (3\right ) {\mathrm e}^{3+x} x -4 \ln \left (5\right )^{8} {\mathrm e}^{3+x} x^{2}+4 x^{2}\)	\(77\)
parts	\(\ln \left (5\right )^{16} \ln \left (3\right )^{2} {\mathrm e}^{2 x +6}+2 \ln \left (5\right )^{16} \ln \left (3\right ) {\mathrm e}^{2 x +6} x +\ln \left (5\right )^{16} {\mathrm e}^{2 x +6} x^{2}-4 \ln \left (5\right )^{8} \ln \left (3\right ) {\mathrm e}^{3+x} x -4 \ln \left (5\right )^{8} {\mathrm e}^{3+x} x^{2}+4 x^{2}\)	\(77\)
derivativedivides	\(-72-24 x +\ln \left (5\right )^{8} \left (24 \,{\mathrm e}^{3+x} \left (3+x \right )-36 \,{\mathrm e}^{3+x}-4 \,{\mathrm e}^{3+x} \left (3+x \right )^{2}+8 \,{\mathrm e}^{3+x} \ln \left (3\right )-4 \ln \left (3\right ) \left ({\mathrm e}^{3+x} \left (3+x \right )-{\mathrm e}^{3+x}\right )\right )+\ln \left (5\right )^{16} \left (9 \,{\mathrm e}^{2 x +6}-6 \,{\mathrm e}^{2 x +6} \left (3+x \right )+{\mathrm e}^{2 x +6} \left (3+x \right )^{2}-6 \,{\mathrm e}^{2 x +6} \ln \left (3\right )+{\mathrm e}^{2 x +6} \ln \left (3\right )^{2}+2 \,{\mathrm e}^{2 x +6} \ln \left (3\right ) \left (3+x \right )\right )+4 \left (3+x \right )^{2}\)	\(143\)

[In]

int((2*ln(3)^2+(4*x+2)*ln(3)+2*x^2+2*x)*ln(5)^16*exp(3+x)^2+((-4-4*x)*ln(3)-4*x^2-8*x)*ln(5)^8*exp(3+x)+8*x,x,
method=_RETURNVERBOSE)

[Out]

ln(5)^16*(ln(3)^2+2*x*ln(3)+x^2)*exp(2*x+6)+ln(5)^8*(-4*x*ln(3)-4*x^2)*exp(3+x)+4*x^2

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 48 vs. \(2 (19) = 38\).

Time = 0.27 (sec) , antiderivative size = 48, normalized size of antiderivative = 2.40 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx={\left (x^{2} + 2 \, x \log \left (3\right ) + \log \left (3\right )^{2}\right )} e^{\left (2 \, x + 6\right )} \log \left (5\right )^{16} - 4 \, {\left (x^{2} + x \log \left (3\right )\right )} e^{\left (x + 3\right )} \log \left (5\right )^{8} + 4 \, x^{2} \]

[In]

integrate((2*log(3)^2+(4*x+2)*log(3)+2*x^2+2*x)*log(5)^16*exp(3+x)^2+((-4-4*x)*log(3)-4*x^2-8*x)*log(5)^8*exp(
3+x)+8*x,x, algorithm="fricas")

[Out]

(x^2 + 2*x*log(3) + log(3)^2)*e^(2*x + 6)*log(5)^16 - 4*(x^2 + x*log(3))*e^(x + 3)*log(5)^8 + 4*x^2

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 70 vs. \(2 (19) = 38\).

Time = 0.11 (sec) , antiderivative size = 70, normalized size of antiderivative = 3.50 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx=4 x^{2} + \left (- 4 x^{2} \log {\left (5 \right )}^{8} - 4 x \log {\left (3 \right )} \log {\left (5 \right )}^{8}\right ) e^{x + 3} + \left (x^{2} \log {\left (5 \right )}^{16} + 2 x \log {\left (3 \right )} \log {\left (5 \right )}^{16} + \log {\left (3 \right )}^{2} \log {\left (5 \right )}^{16}\right ) e^{2 x + 6} \]

[In]

integrate((2*ln(3)**2+(4*x+2)*ln(3)+2*x**2+2*x)*ln(5)**16*exp(3+x)**2+((-4-4*x)*ln(3)-4*x**2-8*x)*ln(5)**8*exp
(3+x)+8*x,x)

[Out]

4*x**2 + (-4*x**2*log(5)**8 - 4*x*log(3)*log(5)**8)*exp(x + 3) + (x**2*log(5)**16 + 2*x*log(3)*log(5)**16 + lo
g(3)**2*log(5)**16)*exp(2*x + 6)

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 96 vs. \(2 (19) = 38\).

Time = 0.33 (sec) , antiderivative size = 96, normalized size of antiderivative = 4.80 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx={\left (x^{2} e^{6} + 2 \, x e^{6} \log \left (3\right ) + e^{6} \log \left (3\right )^{2}\right )} e^{\left (2 \, x\right )} \log \left (5\right )^{16} - 4 \, {\left ({\left (x e^{3} - e^{3}\right )} e^{x} \log \left (3\right ) + {\left (x^{2} e^{3} - 2 \, x e^{3} + 2 \, e^{3}\right )} e^{x} + 2 \, {\left (x e^{3} - e^{3}\right )} e^{x} + e^{\left (x + 3\right )} \log \left (3\right )\right )} \log \left (5\right )^{8} + 4 \, x^{2} \]

[In]

integrate((2*log(3)^2+(4*x+2)*log(3)+2*x^2+2*x)*log(5)^16*exp(3+x)^2+((-4-4*x)*log(3)-4*x^2-8*x)*log(5)^8*exp(
3+x)+8*x,x, algorithm="maxima")

[Out]

(x^2*e^6 + 2*x*e^6*log(3) + e^6*log(3)^2)*e^(2*x)*log(5)^16 - 4*((x*e^3 - e^3)*e^x*log(3) + (x^2*e^3 - 2*x*e^3
+ 2*e^3)*e^x + 2*(x*e^3 - e^3)*e^x + e^(x + 3)*log(3))*log(5)^8 + 4*x^2

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 48 vs. \(2 (19) = 38\).

Time = 0.31 (sec) , antiderivative size = 48, normalized size of antiderivative = 2.40 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx={\left (x^{2} + 2 \, x \log \left (3\right ) + \log \left (3\right )^{2}\right )} e^{\left (2 \, x + 6\right )} \log \left (5\right )^{16} - 4 \, {\left (x^{2} + x \log \left (3\right )\right )} e^{\left (x + 3\right )} \log \left (5\right )^{8} + 4 \, x^{2} \]

[In]

integrate((2*log(3)^2+(4*x+2)*log(3)+2*x^2+2*x)*log(5)^16*exp(3+x)^2+((-4-4*x)*log(3)-4*x^2-8*x)*log(5)^8*exp(
3+x)+8*x,x, algorithm="giac")

[Out]

(x^2 + 2*x*log(3) + log(3)^2)*e^(2*x + 6)*log(5)^16 - 4*(x^2 + x*log(3))*e^(x + 3)*log(5)^8 + 4*x^2

Mupad [B] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.35 \[ \int \left (8 x+e^{3+x} \left (-8 x-4 x^2+(-4-4 x) \log (3)\right ) \log ^8(5)+e^{6+2 x} \left (2 x+2 x^2+(2+4 x) \log (3)+2 \log ^2(3)\right ) \log ^{16}(5)\right ) \, dx={\left ({\mathrm {e}}^{x+3}\,\ln \left (3\right )\,{\ln \left (5\right )}^8-2\,x+x\,{\mathrm {e}}^{x+3}\,{\ln \left (5\right )}^8\right )}^2 \]

[In]

int(8*x + exp(2*x + 6)*log(5)^16*(2*x + log(3)*(4*x + 2) + 2*log(3)^2 + 2*x^2) - exp(x + 3)*log(5)^8*(8*x + lo
g(3)*(4*x + 4) + 4*x^2),x)

[Out]

(exp(x + 3)*log(3)*log(5)^8 - 2*x + x*exp(x + 3)*log(5)^8)^2