3.94.14 \(\int \frac {(60 x+36 x^2) \log (x)+(30 x+18 x^2+(20 x+72 x^2+36 x^3) \log (x)) \log (x^2)+(36 x \log (x)+(18 x+(42 x+54 x^2) \log (x)) \log (x^2)) \log (\frac {\log (x)}{x})+18 x \log (x) \log (x^2) \log ^2(\frac {\log (x)}{x})+(36 x \log (x)+(18 x+(42 x+54 x^2) \log (x)) \log (x^2)+36 x \log (x) \log (x^2) \log (\frac {\log (x)}{x})) \log (\log (x^2))+18 x \log (x) \log (x^2) \log ^2(\log (x^2))}{9 \log (x) \log (x^2)} \, dx\)

Optimal. Leaf size=27 \[ \frac {1}{9} x^2 \left (5+3 \left (x+\log \left (\frac {\log (x)}{x}\right )+\log \left (\log \left (x^2\right )\right )\right )\right )^2 \]

________________________________________________________________________________________

Rubi [A]  time = 0.28, antiderivative size = 30, normalized size of antiderivative = 1.11, number of steps used = 4, number of rules used = 3, integrand size = 176, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.017, Rules used = {12, 6688, 6687} \begin {gather*} \frac {1}{9} x^2 \left (3 \log \left (\log \left (x^2\right )\right )+3 x+3 \log \left (\frac {\log (x)}{x}\right )+5\right )^2 \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((60*x + 36*x^2)*Log[x] + (30*x + 18*x^2 + (20*x + 72*x^2 + 36*x^3)*Log[x])*Log[x^2] + (36*x*Log[x] + (18*
x + (42*x + 54*x^2)*Log[x])*Log[x^2])*Log[Log[x]/x] + 18*x*Log[x]*Log[x^2]*Log[Log[x]/x]^2 + (36*x*Log[x] + (1
8*x + (42*x + 54*x^2)*Log[x])*Log[x^2] + 36*x*Log[x]*Log[x^2]*Log[Log[x]/x])*Log[Log[x^2]] + 18*x*Log[x]*Log[x
^2]*Log[Log[x^2]]^2)/(9*Log[x]*Log[x^2]),x]

[Out]

(x^2*(5 + 3*x + 3*Log[Log[x]/x] + 3*Log[Log[x^2]])^2)/9

Rule 12

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

Rule 6687

Int[(u_)*(y_)^(m_.)*(z_)^(n_.), x_Symbol] :> With[{q = DerivativeDivides[y*z, u*z^(n - m), x]}, Simp[(q*y^(m +
1)*z^(m + 1))/(m + 1), x] /;  !FalseQ[q]] /; FreeQ[{m, n}, x] && NeQ[m, -1]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{9} \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{\log (x) \log \left (x^2\right )} \, dx\\ &=\frac {1}{9} \int \frac {2 x \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right ) \left (3 \log \left (x^2\right )+\log (x) \left (6+\log \left (x^2\right ) \left (2+6 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )\right )\right )}{\log (x) \log \left (x^2\right )} \, dx\\ &=\frac {2}{9} \int \frac {x \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right ) \left (3 \log \left (x^2\right )+\log (x) \left (6+\log \left (x^2\right ) \left (2+6 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )\right )\right )}{\log (x) \log \left (x^2\right )} \, dx\\ &=\frac {1}{9} x^2 \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )^2\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.34, size = 30, normalized size = 1.11 \begin {gather*} \frac {1}{9} x^2 \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )^2 \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((60*x + 36*x^2)*Log[x] + (30*x + 18*x^2 + (20*x + 72*x^2 + 36*x^3)*Log[x])*Log[x^2] + (36*x*Log[x]
+ (18*x + (42*x + 54*x^2)*Log[x])*Log[x^2])*Log[Log[x]/x] + 18*x*Log[x]*Log[x^2]*Log[Log[x]/x]^2 + (36*x*Log[x
] + (18*x + (42*x + 54*x^2)*Log[x])*Log[x^2] + 36*x*Log[x]*Log[x^2]*Log[Log[x]/x])*Log[Log[x^2]] + 18*x*Log[x]
*Log[x^2]*Log[Log[x^2]]^2)/(9*Log[x]*Log[x^2]),x]

[Out]

(x^2*(5 + 3*x + 3*Log[Log[x]/x] + 3*Log[Log[x^2]])^2)/9

________________________________________________________________________________________

fricas [B]  time = 0.58, size = 115, normalized size = 4.26 \begin {gather*} x^{4} + x^{2} \log \relax (2)^{2} + x^{2} \log \relax (x)^{2} + 4 \, x^{2} \log \left (\frac {\log \relax (x)}{x}\right )^{2} + \frac {10}{3} \, x^{3} + \frac {25}{9} \, x^{2} + \frac {2}{3} \, {\left (3 \, x^{3} + 5 \, x^{2}\right )} \log \relax (2) + \frac {2}{3} \, {\left (3 \, x^{3} + 3 \, x^{2} \log \relax (2) + 5 \, x^{2}\right )} \log \relax (x) + \frac {4}{3} \, {\left (3 \, x^{3} + 3 \, x^{2} \log \relax (2) + 3 \, x^{2} \log \relax (x) + 5 \, x^{2}\right )} \log \left (\frac {\log \relax (x)}{x}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/9*(18*x*log(x)*log(x^2)*log(log(x^2))^2+(36*x*log(x)*log(x^2)*log(log(x)/x)+((54*x^2+42*x)*log(x)+
18*x)*log(x^2)+36*x*log(x))*log(log(x^2))+18*x*log(x)*log(x^2)*log(log(x)/x)^2+(((54*x^2+42*x)*log(x)+18*x)*lo
g(x^2)+36*x*log(x))*log(log(x)/x)+((36*x^3+72*x^2+20*x)*log(x)+18*x^2+30*x)*log(x^2)+(36*x^2+60*x)*log(x))/log
(x)/log(x^2),x, algorithm="fricas")

[Out]

x^4 + x^2*log(2)^2 + x^2*log(x)^2 + 4*x^2*log(log(x)/x)^2 + 10/3*x^3 + 25/9*x^2 + 2/3*(3*x^3 + 5*x^2)*log(2) +
2/3*(3*x^3 + 3*x^2*log(2) + 5*x^2)*log(x) + 4/3*(3*x^3 + 3*x^2*log(2) + 3*x^2*log(x) + 5*x^2)*log(log(x)/x)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {2 \, {\left (9 \, x \log \left (x^{2}\right ) \log \relax (x) \log \left (\frac {\log \relax (x)}{x}\right )^{2} + 9 \, x \log \left (x^{2}\right ) \log \relax (x) \log \left (\log \left (x^{2}\right )\right )^{2} + {\left (9 \, x^{2} + 2 \, {\left (9 \, x^{3} + 18 \, x^{2} + 5 \, x\right )} \log \relax (x) + 15 \, x\right )} \log \left (x^{2}\right ) + 6 \, {\left (3 \, x^{2} + 5 \, x\right )} \log \relax (x) + 3 \, {\left ({\left ({\left (9 \, x^{2} + 7 \, x\right )} \log \relax (x) + 3 \, x\right )} \log \left (x^{2}\right ) + 6 \, x \log \relax (x)\right )} \log \left (\frac {\log \relax (x)}{x}\right ) + 3 \, {\left (6 \, x \log \left (x^{2}\right ) \log \relax (x) \log \left (\frac {\log \relax (x)}{x}\right ) + {\left ({\left (9 \, x^{2} + 7 \, x\right )} \log \relax (x) + 3 \, x\right )} \log \left (x^{2}\right ) + 6 \, x \log \relax (x)\right )} \log \left (\log \left (x^{2}\right )\right )\right )}}{9 \, \log \left (x^{2}\right ) \log \relax (x)}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/9*(18*x*log(x)*log(x^2)*log(log(x^2))^2+(36*x*log(x)*log(x^2)*log(log(x)/x)+((54*x^2+42*x)*log(x)+
18*x)*log(x^2)+36*x*log(x))*log(log(x^2))+18*x*log(x)*log(x^2)*log(log(x)/x)^2+(((54*x^2+42*x)*log(x)+18*x)*lo
g(x^2)+36*x*log(x))*log(log(x)/x)+((36*x^3+72*x^2+20*x)*log(x)+18*x^2+30*x)*log(x^2)+(36*x^2+60*x)*log(x))/log
(x)/log(x^2),x, algorithm="giac")

[Out]

integrate(2/9*(9*x*log(x^2)*log(x)*log(log(x)/x)^2 + 9*x*log(x^2)*log(x)*log(log(x^2))^2 + (9*x^2 + 2*(9*x^3 +
18*x^2 + 5*x)*log(x) + 15*x)*log(x^2) + 6*(3*x^2 + 5*x)*log(x) + 3*(((9*x^2 + 7*x)*log(x) + 3*x)*log(x^2) + 6
*x*log(x))*log(log(x)/x) + 3*(6*x*log(x^2)*log(x)*log(log(x)/x) + ((9*x^2 + 7*x)*log(x) + 3*x)*log(x^2) + 6*x*
log(x))*log(log(x^2)))/(log(x^2)*log(x)), x)

________________________________________________________________________________________

maple [C]  time = 0.30, size = 935, normalized size = 34.63

method	result	size
risch	\(-\frac {10 x^{2} \ln \relax (x )}{3}+\frac {10 x^{2} \ln \left (\ln \relax (x )\right )}{3}+x^{2} \ln \relax (x )^{2}+x^{4}+\frac {10 x^{3}}{3}+\frac {25 x^{2}}{9}-2 x^{3} \ln \relax (x )+\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{5}}{2}-i \pi \,x^{3} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3}-\frac {5 i \pi \,x^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3}}{3}-\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i}{x}\right )^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{4}}{4}+\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{5}}{2}-\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (i \ln \relax (x )\right )^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{4}}{4}+x^{2} \ln \left (\ln \relax (x )\right )^{2}-2 x^{2} \ln \relax (x ) \ln \left (\ln \relax (x )\right )+i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2} \ln \left (\ln \relax (x )\right )+i \pi \,x^{2} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2} \ln \left (\ln \relax (x )\right )-i \pi \,x^{3} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )-\frac {5 i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )}{3}-i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2} \ln \relax (x )-i \pi \,x^{2} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2} \ln \relax (x )+2 x^{3} \ln \left (\ln \relax (x )\right )+\frac {5 i \pi \,x^{2} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}}{3}-i \pi \,x^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3} \ln \left (\ln \relax (x )\right )-\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i}{x}\right )^{2} \mathrm {csgn}\left (i \ln \relax (x )\right )^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}}{4}+\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i}{x}\right )^{2} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3}}{2}+\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right )^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3}}{2}-\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{4}+i \pi \,x^{3} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}+i \pi \,x^{3} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}+i \pi \,x^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3} \ln \relax (x )+x^{2} \ln \left (2 \ln \relax (x )-\frac {i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \left (-\mathrm {csgn}\left (i x^{2}\right )+\mathrm {csgn}\left (i x \right )\right )^{2}}{2}\right )^{2}+\frac {\left (18 x^{2} \ln \left (\ln \relax (x )\right )-18 x^{2} \ln \relax (x )-9 i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )+9 i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}+9 i \pi \,x^{2} \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}-9 i \pi \,x^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{3}+18 x^{3}+30 x^{2}\right ) \ln \left (2 \ln \relax (x )-\frac {i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \left (-\mathrm {csgn}\left (i x^{2}\right )+\mathrm {csgn}\left (i x \right )\right )^{2}}{2}\right )}{9}+\frac {5 i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{2}}{3}-\frac {\pi ^{2} x^{2} \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right )^{6}}{4}-i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right ) \ln \left (\ln \relax (x )\right )+i \pi \,x^{2} \mathrm {csgn}\left (\frac {i}{x}\right ) \mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (\frac {i \ln \relax (x )}{x}\right ) \ln \relax (x )\)	\(935\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/9*(18*x*ln(x)*ln(x^2)*ln(ln(x^2))^2+(36*x*ln(x)*ln(x^2)*ln(ln(x)/x)+((54*x^2+42*x)*ln(x)+18*x)*ln(x^2)+3
6*x*ln(x))*ln(ln(x^2))+18*x*ln(x)*ln(x^2)*ln(ln(x)/x)^2+(((54*x^2+42*x)*ln(x)+18*x)*ln(x^2)+36*x*ln(x))*ln(ln(
x)/x)+((36*x^3+72*x^2+20*x)*ln(x)+18*x^2+30*x)*ln(x^2)+(36*x^2+60*x)*ln(x))/ln(x)/ln(x^2),x,method=_RETURNVERB
OSE)

[Out]

-10/3*x^2*ln(x)+10/3*x^2*ln(ln(x))+x^2*ln(x)^2+x^4+10/3*x^3+25/9*x^2-2*x^3*ln(x)-1/4*Pi^2*x^2*csgn(I/x)^2*csgn
(I/x*ln(x))^4+1/2*Pi^2*x^2*csgn(I/x)*csgn(I/x*ln(x))^5-1/4*Pi^2*x^2*csgn(I*ln(x))^2*csgn(I/x*ln(x))^4+1/2*Pi^2
*x^2*csgn(I*ln(x))*csgn(I/x*ln(x))^5-I*Pi*x^3*csgn(I/x*ln(x))^3-5/3*I*Pi*x^2*csgn(I/x*ln(x))^3+x^2*ln(ln(x))^2
-2*x^2*ln(x)*ln(ln(x))+I*Pi*x^2*csgn(I/x)*csgn(I/x*ln(x))^2*ln(ln(x))+I*Pi*x^2*csgn(I*ln(x))*csgn(I/x*ln(x))^2
*ln(ln(x))-I*Pi*x^3*csgn(I/x)*csgn(I*ln(x))*csgn(I/x*ln(x))-5/3*I*Pi*x^2*csgn(I/x)*csgn(I*ln(x))*csgn(I/x*ln(x
))-I*Pi*x^2*csgn(I/x)*csgn(I/x*ln(x))^2*ln(x)-I*Pi*x^2*csgn(I*ln(x))*csgn(I/x*ln(x))^2*ln(x)+2*x^3*ln(ln(x))+5
/3*I*Pi*x^2*csgn(I/x)*csgn(I/x*ln(x))^2+5/3*I*Pi*x^2*csgn(I*ln(x))*csgn(I/x*ln(x))^2-I*Pi*x^2*csgn(I/x*ln(x))^
3*ln(ln(x))-1/4*Pi^2*x^2*csgn(I/x)^2*csgn(I*ln(x))^2*csgn(I/x*ln(x))^2+1/2*Pi^2*x^2*csgn(I/x)^2*csgn(I*ln(x))*
csgn(I/x*ln(x))^3+1/2*Pi^2*x^2*csgn(I/x)*csgn(I*ln(x))^2*csgn(I/x*ln(x))^3-Pi^2*x^2*csgn(I/x)*csgn(I*ln(x))*cs
gn(I/x*ln(x))^4+I*Pi*x^3*csgn(I/x)*csgn(I/x*ln(x))^2+I*Pi*x^3*csgn(I*ln(x))*csgn(I/x*ln(x))^2+I*Pi*x^2*csgn(I/
x*ln(x))^3*ln(x)+x^2*ln(2*ln(x)-1/2*I*Pi*csgn(I*x^2)*(-csgn(I*x^2)+csgn(I*x))^2)^2+1/9*(18*x^2*ln(ln(x))-18*x^
2*ln(x)-9*I*Pi*x^2*csgn(I/x)*csgn(I*ln(x))*csgn(I/x*ln(x))+9*I*Pi*x^2*csgn(I/x)*csgn(I/x*ln(x))^2+9*I*Pi*x^2*c
sgn(I*ln(x))*csgn(I/x*ln(x))^2-9*I*Pi*x^2*csgn(I/x*ln(x))^3+18*x^3+30*x^2)*ln(2*ln(x)-1/2*I*Pi*csgn(I*x^2)*(-c
sgn(I*x^2)+csgn(I*x))^2)-1/4*Pi^2*x^2*csgn(I/x*ln(x))^6-I*Pi*x^2*csgn(I/x)*csgn(I*ln(x))*csgn(I/x*ln(x))*ln(ln
(x))+I*Pi*x^2*csgn(I/x)*csgn(I*ln(x))*csgn(I/x*ln(x))*ln(x)

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} x^{4} + \frac {2}{3} \, x^{3} {\left (3 \, \log \relax (2) + 1\right )} + x^{2} \log \relax (x)^{2} + 4 \, x^{2} \log \left (\log \relax (x)\right )^{2} + \frac {1}{3} \, {\left (3 \, \log \relax (2)^{2} + 10 \, \log \relax (2) + 5\right )} x^{2} + \frac {8}{3} \, x^{3} + \frac {10}{9} \, x^{2} - \frac {2}{3} \, {\left (3 \, x^{3} + x^{2} {\left (3 \, \log \relax (2) + 5\right )}\right )} \log \relax (x) + \frac {4}{3} \, {\left (3 \, x^{3} + x^{2} {\left (3 \, \log \relax (2) + 5\right )} - 3 \, x^{2} \log \relax (x)\right )} \log \left (\log \relax (x)\right ) + 2 \, {\rm Ei}\left (3 \, \log \relax (x)\right ) + \frac {10}{3} \, {\rm Ei}\left (2 \, \log \relax (x)\right ) - \frac {2}{9} \, \int \frac {3 \, {\left (3 \, x^{2} + 5 \, x\right )}}{\log \relax (x)}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/9*(18*x*log(x)*log(x^2)*log(log(x^2))^2+(36*x*log(x)*log(x^2)*log(log(x)/x)+((54*x^2+42*x)*log(x)+
18*x)*log(x^2)+36*x*log(x))*log(log(x^2))+18*x*log(x)*log(x^2)*log(log(x)/x)^2+(((54*x^2+42*x)*log(x)+18*x)*lo
g(x^2)+36*x*log(x))*log(log(x)/x)+((36*x^3+72*x^2+20*x)*log(x)+18*x^2+30*x)*log(x^2)+(36*x^2+60*x)*log(x))/log
(x)/log(x^2),x, algorithm="maxima")

[Out]

x^4 + 2/3*x^3*(3*log(2) + 1) + x^2*log(x)^2 + 4*x^2*log(log(x))^2 + 1/3*(3*log(2)^2 + 10*log(2) + 5)*x^2 + 8/3
*x^3 + 10/9*x^2 - 2/3*(3*x^3 + x^2*(3*log(2) + 5))*log(x) + 4/3*(3*x^3 + x^2*(3*log(2) + 5) - 3*x^2*log(x))*lo
g(log(x)) + 2*Ei(3*log(x)) + 10/3*Ei(2*log(x)) - 2/9*integrate(3*(3*x^2 + 5*x)/log(x), x)

________________________________________________________________________________________

mupad [B]  time = 9.81, size = 90, normalized size = 3.33 \begin {gather*} x^2\,{\ln \left (\frac {\ln \relax (x)}{x}\right )}^2+\ln \left (\frac {\ln \relax (x)}{x}\right )\,\left (\frac {6\,x^4+10\,x^3}{3\,x}+2\,x^2\,\ln \left (\ln \left (x^2\right )\right )\right )+x^2\,{\ln \left (\ln \left (x^2\right )\right )}^2+\frac {25\,x^2}{9}+\frac {10\,x^3}{3}+x^4+\ln \left (\ln \left (x^2\right )\right )\,\left (2\,x^3+\frac {10\,x^2}{3}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((log(log(x^2))*(log(x^2)*(18*x + log(x)*(42*x + 54*x^2)) + 36*x*log(x) + 36*x*log(x^2)*log(log(x)/x)*log(
x)))/9 + (log(log(x)/x)*(log(x^2)*(18*x + log(x)*(42*x + 54*x^2)) + 36*x*log(x)))/9 + (log(x)*(60*x + 36*x^2))
/9 + (log(x^2)*(30*x + 18*x^2 + log(x)*(20*x + 72*x^2 + 36*x^3)))/9 + 2*x*log(x^2)*log(log(x^2))^2*log(x) + 2*
x*log(x^2)*log(log(x)/x)^2*log(x))/(log(x^2)*log(x)),x)

[Out]

x^2*log(log(x)/x)^2 + log(log(x)/x)*((10*x^3 + 6*x^4)/(3*x) + 2*x^2*log(log(x^2))) + x^2*log(log(x^2))^2 + (25
*x^2)/9 + (10*x^3)/3 + x^4 + log(log(x^2))*((10*x^2)/3 + 2*x^3)

________________________________________________________________________________________

sympy [B]  time = 0.93, size = 114, normalized size = 4.22 \begin {gather*} x^{4} + x^{3} \left (\frac {10}{3} - 2 \log {\relax (2 )}\right ) + x^{2} \log {\relax (x )}^{2} + 4 x^{2} \log {\left (2 \log {\relax (x )} \right )}^{2} + x^{2} \left (- \frac {10 \log {\relax (2 )}}{3} + \log {\relax (2 )}^{2} + \frac {25}{9}\right ) + \left (- 2 x^{3} - \frac {10 x^{2}}{3} + 2 x^{2} \log {\relax (2 )}\right ) \log {\relax (x )} + \left (4 x^{3} - 4 x^{2} \log {\relax (x )} - 4 x^{2} \log {\relax (2 )} + \frac {20 x^{2}}{3}\right ) \log {\left (2 \log {\relax (x )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/9*(18*x*ln(x)*ln(x**2)*ln(ln(x**2))**2+(36*x*ln(x)*ln(x**2)*ln(ln(x)/x)+((54*x**2+42*x)*ln(x)+18*x
)*ln(x**2)+36*x*ln(x))*ln(ln(x**2))+18*x*ln(x)*ln(x**2)*ln(ln(x)/x)**2+(((54*x**2+42*x)*ln(x)+18*x)*ln(x**2)+3
6*x*ln(x))*ln(ln(x)/x)+((36*x**3+72*x**2+20*x)*ln(x)+18*x**2+30*x)*ln(x**2)+(36*x**2+60*x)*ln(x))/ln(x)/ln(x**
2),x)

[Out]

x**4 + x**3*(10/3 - 2*log(2)) + x**2*log(x)**2 + 4*x**2*log(2*log(x))**2 + x**2*(-10*log(2)/3 + log(2)**2 + 25
/9) + (-2*x**3 - 10*x**2/3 + 2*x**2*log(2))*log(x) + (4*x**3 - 4*x**2*log(x) - 4*x**2*log(2) + 20*x**2/3)*log(
2*log(x))

________________________________________________________________________________________