3.70.52 \(\int \frac {1}{3} (-9+e^4 (-24-8 e^2)+78 x+24 e^2 x+(72+24 e^2) \log (x)+(36+12 e^2) \log ^2(x)) \, dx\)

Optimal. Leaf size=25 \[ x \left (-3+x+4 \left (3+e^2\right ) \left (-\frac {2 e^4}{3}+x+\log ^2(x)\right )\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.04, antiderivative size = 41, normalized size of antiderivative = 1.64, number of steps used = 6, number of rules used = 4, integrand size = 48, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {6, 12, 2295, 2296} \begin {gather*} \left (13+4 e^2\right ) x^2-\frac {1}{3} \left (9+24 e^4+8 e^6\right ) x+4 \left (3+e^2\right ) x \log ^2(x) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-9 + E^4*(-24 - 8*E^2) + 78*x + 24*E^2*x + (72 + 24*E^2)*Log[x] + (36 + 12*E^2)*Log[x]^2)/3,x]

[Out]

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

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 2295

Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{c, n}, x]

Rule 2296

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.), x_Symbol] :> Simp[x*(a + b*Log[c*x^n])^p, x] - Dist[b*n*p, In
t[(a + b*Log[c*x^n])^(p - 1), x], x] /; FreeQ[{a, b, c, n}, x] && GtQ[p, 0] && IntegerQ[2*p]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {1}{3} \left (-9+e^4 \left (-24-8 e^2\right )+\left (78+24 e^2\right ) x+\left (72+24 e^2\right ) \log (x)+\left (36+12 e^2\right ) \log ^2(x)\right ) \, dx\\ &=\frac {1}{3} \int \left (-9+e^4 \left (-24-8 e^2\right )+\left (78+24 e^2\right ) x+\left (72+24 e^2\right ) \log (x)+\left (36+12 e^2\right ) \log ^2(x)\right ) \, dx\\ &=-\frac {1}{3} \left (9+24 e^4+8 e^6\right ) x+\left (13+4 e^2\right ) x^2+\left (4 \left (3+e^2\right )\right ) \int \log ^2(x) \, dx+\left (8 \left (3+e^2\right )\right ) \int \log (x) \, dx\\ &=-8 \left (3+e^2\right ) x-\frac {1}{3} \left (9+24 e^4+8 e^6\right ) x+\left (13+4 e^2\right ) x^2+8 \left (3+e^2\right ) x \log (x)+4 \left (3+e^2\right ) x \log ^2(x)-\left (8 \left (3+e^2\right )\right ) \int \log (x) \, dx\\ &=-\frac {1}{3} \left (9+24 e^4+8 e^6\right ) x+\left (13+4 e^2\right ) x^2+4 \left (3+e^2\right ) x \log ^2(x)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 48, normalized size = 1.92 \begin {gather*} -3 x-8 e^4 x-\frac {8 e^6 x}{3}+13 x^2+4 e^2 x^2+12 x \log ^2(x)+4 e^2 x \log ^2(x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-9 + E^4*(-24 - 8*E^2) + 78*x + 24*E^2*x + (72 + 24*E^2)*Log[x] + (36 + 12*E^2)*Log[x]^2)/3,x]

[Out]

-3*x - 8*E^4*x - (8*E^6*x)/3 + 13*x^2 + 4*E^2*x^2 + 12*x*Log[x]^2 + 4*E^2*x*Log[x]^2

________________________________________________________________________________________

fricas [A]  time = 0.80, size = 40, normalized size = 1.60 \begin {gather*} 4 \, x^{2} e^{2} + 4 \, {\left (x e^{2} + 3 \, x\right )} \log \relax (x)^{2} + 13 \, x^{2} - \frac {8}{3} \, x e^{6} - 8 \, x e^{4} - 3 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*(12*exp(2)+36)*log(x)^2+1/3*(24*exp(2)+72)*log(x)+1/3*(-8*exp(2)-24)*exp(4)+8*exp(2)*x+26*x-3,x,
algorithm="fricas")

[Out]

4*x^2*e^2 + 4*(x*e^2 + 3*x)*log(x)^2 + 13*x^2 - 8/3*x*e^6 - 8*x*e^4 - 3*x

________________________________________________________________________________________

giac [B]  time = 0.16, size = 60, normalized size = 2.40 \begin {gather*} -\frac {8}{3} \, x {\left (e^{2} + 3\right )} e^{4} + 4 \, x^{2} e^{2} + 13 \, x^{2} + 4 \, {\left (x \log \relax (x)^{2} - 2 \, x \log \relax (x) + 2 \, x\right )} {\left (e^{2} + 3\right )} + 8 \, {\left (x \log \relax (x) - x\right )} {\left (e^{2} + 3\right )} - 3 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*(12*exp(2)+36)*log(x)^2+1/3*(24*exp(2)+72)*log(x)+1/3*(-8*exp(2)-24)*exp(4)+8*exp(2)*x+26*x-3,x,
algorithm="giac")

[Out]

-8/3*x*(e^2 + 3)*e^4 + 4*x^2*e^2 + 13*x^2 + 4*(x*log(x)^2 - 2*x*log(x) + 2*x)*(e^2 + 3) + 8*(x*log(x) - x)*(e^
2 + 3) - 3*x

________________________________________________________________________________________

maple [A]  time = 0.02, size = 38, normalized size = 1.52

method	result	size
norman	\(\left (4 \,{\mathrm e}^{2}+13\right ) x^{2}+\left (-\frac {8 \,{\mathrm e}^{2} {\mathrm e}^{4}}{3}-8 \,{\mathrm e}^{4}-3\right ) x +\left (4 \,{\mathrm e}^{2}+12\right ) x \ln \relax (x )^{2}\)	\(38\)
risch	\(4 x \,{\mathrm e}^{2} \ln \relax (x )^{2}+12 x \ln \relax (x )^{2}-3 x -\frac {8 x \,{\mathrm e}^{6}}{3}-8 x \,{\mathrm e}^{4}+4 x^{2} {\mathrm e}^{2}+13 x^{2}\)	\(43\)
default	\(13 x^{2}-3 x +\frac {\left (-8 \,{\mathrm e}^{2}-24\right ) {\mathrm e}^{4} x}{3}+4 x \,{\mathrm e}^{2} \ln \relax (x )^{2}+12 x \ln \relax (x )^{2}+4 x^{2} {\mathrm e}^{2}\)	\(44\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/3*(12*exp(2)+36)*ln(x)^2+1/3*(24*exp(2)+72)*ln(x)+1/3*(-8*exp(2)-24)*exp(4)+8*exp(2)*x+26*x-3,x,method=_
RETURNVERBOSE)

[Out]

(4*exp(2)+13)*x^2+(-8/3*exp(2)*exp(4)-8*exp(4)-3)*x+(4*exp(2)+12)*x*ln(x)^2

________________________________________________________________________________________

maxima [A]  time = 0.38, size = 56, normalized size = 2.24 \begin {gather*} 4 \, {\left (\log \relax (x)^{2} - 2 \, \log \relax (x) + 2\right )} x {\left (e^{2} + 3\right )} - \frac {8}{3} \, x {\left (e^{2} + 3\right )} e^{4} + 4 \, x^{2} e^{2} + 13 \, x^{2} + 8 \, {\left (x \log \relax (x) - x\right )} {\left (e^{2} + 3\right )} - 3 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*(12*exp(2)+36)*log(x)^2+1/3*(24*exp(2)+72)*log(x)+1/3*(-8*exp(2)-24)*exp(4)+8*exp(2)*x+26*x-3,x,
algorithm="maxima")

[Out]

4*(log(x)^2 - 2*log(x) + 2)*x*(e^2 + 3) - 8/3*x*(e^2 + 3)*e^4 + 4*x^2*e^2 + 13*x^2 + 8*(x*log(x) - x)*(e^2 + 3
) - 3*x

________________________________________________________________________________________

mupad [B]  time = 4.20, size = 36, normalized size = 1.44 \begin {gather*} x^2\,\left (4\,{\mathrm {e}}^2+13\right )-x\,\left (8\,{\mathrm {e}}^4+\frac {8\,{\mathrm {e}}^6}{3}-\frac {{\ln \relax (x)}^2\,\left (12\,{\mathrm {e}}^2+36\right )}{3}+3\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(26*x + 8*x*exp(2) + (log(x)*(24*exp(2) + 72))/3 + (log(x)^2*(12*exp(2) + 36))/3 - (exp(4)*(8*exp(2) + 24))
/3 - 3,x)

[Out]

x^2*(4*exp(2) + 13) - x*(8*exp(4) + (8*exp(6))/3 - (log(x)^2*(12*exp(2) + 36))/3 + 3)

________________________________________________________________________________________

sympy [A]  time = 0.13, size = 41, normalized size = 1.64 \begin {gather*} x^{2} \left (13 + 4 e^{2}\right ) + x \left (- \frac {8 e^{6}}{3} - 8 e^{4} - 3\right ) + \left (12 x + 4 x e^{2}\right ) \log {\relax (x )}^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*(12*exp(2)+36)*ln(x)**2+1/3*(24*exp(2)+72)*ln(x)+1/3*(-8*exp(2)-24)*exp(4)+8*exp(2)*x+26*x-3,x)

[Out]

x**2*(13 + 4*exp(2)) + x*(-8*exp(6)/3 - 8*exp(4) - 3) + (12*x + 4*x*exp(2))*log(x)**2

________________________________________________________________________________________