3.3.80 \(\int \frac {4 x+(-4 x+x^3) \log (x)+(-4 x+3 x^2) \log (x) \log (\frac {\log (x)}{x})+3 x \log (x) \log ^2(\frac {\log (x)}{x})+\log (x) \log ^3(\frac {\log (x)}{x})}{(-7 x^3+x^4) \log (x)+(-17 x^2+3 x^3) \log (x) \log (\frac {\log (x)}{x})+(-15 x+3 x^2) \log (x) \log ^2(\frac {\log (x)}{x})+(-5+x) \log (x) \log ^3(\frac {\log (x)}{x})} \, dx\) [280]

Optimal. Leaf size=22 \[ \log \left (5-x+\frac {2 x^2}{\left (x+\log \left (\frac {\log (x)}{x}\right )\right )^2}\right ) \]

[Out]

ln(2/(x+ln(ln(x)/x))^2*x^2+5-x)

________________________________________________________________________________________

Rubi [F]
time = 25.94, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {4 x+\left (-4 x+x^3\right ) \log (x)+\left (-4 x+3 x^2\right ) \log (x) \log \left (\frac {\log (x)}{x}\right )+3 x \log (x) \log ^2\left (\frac {\log (x)}{x}\right )+\log (x) \log ^3\left (\frac {\log (x)}{x}\right )}{\left (-7 x^3+x^4\right ) \log (x)+\left (-17 x^2+3 x^3\right ) \log (x) \log \left (\frac {\log (x)}{x}\right )+\left (-15 x+3 x^2\right ) \log (x) \log ^2\left (\frac {\log (x)}{x}\right )+(-5+x) \log (x) \log ^3\left (\frac {\log (x)}{x}\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(4*x + (-4*x + x^3)*Log[x] + (-4*x + 3*x^2)*Log[x]*Log[Log[x]/x] + 3*x*Log[x]*Log[Log[x]/x]^2 + Log[x]*Log
[Log[x]/x]^3)/((-7*x^3 + x^4)*Log[x] + (-17*x^2 + 3*x^3)*Log[x]*Log[Log[x]/x] + (-15*x + 3*x^2)*Log[x]*Log[Log
[x]/x]^2 + (-5 + x)*Log[x]*Log[Log[x]/x]^3),x]

[Out]

Log[5 - x] - 2*Log[x + Log[Log[x]/x]] + 20*Defer[Int][((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Lo
g[Log[x]/x]^2)^(-1), x] + 50*Defer[Int][1/((-5 + x)*((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[
Log[x]/x]^2)), x] - 14*Defer[Int][x/((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2), x]
+ 2*Defer[Int][x^2/((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2), x] - 10*Defer[Int]
[1/(Log[x]*((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2)), x] + 2*Defer[Int][x/(Log[x
]*((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2)), x] - 12*Defer[Int][Log[Log[x]/x]/((
-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2), x] + 10*Defer[Int][Log[Log[x]/x]/(x*((-7
+ x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2)), x] + 2*Defer[Int][(x*Log[Log[x]/x])/((-7
+ x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2), x] + 2*Defer[Int][Log[Log[x]/x]/(Log[x]*((-
7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2)), x] - 10*Defer[Int][Log[Log[x]/x]/(x*Log[
x]*((-7 + x)*x^2 + 2*(-5 + x)*x*Log[Log[x]/x] + (-5 + x)*Log[Log[x]/x]^2)), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {1}{-5+x}-\frac {2 (1-\log (x)+x \log (x))}{x \log (x) \left (x+\log \left (\frac {\log (x)}{x}\right )\right )}+\frac {2 \left (25 x-10 x^2+x^3-25 x \log (x)+45 x^2 \log (x)-12 x^3 \log (x)+x^4 \log (x)+25 \log \left (\frac {\log (x)}{x}\right )-10 x \log \left (\frac {\log (x)}{x}\right )+x^2 \log \left (\frac {\log (x)}{x}\right )-25 \log (x) \log \left (\frac {\log (x)}{x}\right )+35 x \log (x) \log \left (\frac {\log (x)}{x}\right )-11 x^2 \log (x) \log \left (\frac {\log (x)}{x}\right )+x^3 \log (x) \log \left (\frac {\log (x)}{x}\right )\right )}{(-5+x) x \log (x) \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right )}\right ) \, dx\\ &=\log (5-x)-2 \int \frac {1-\log (x)+x \log (x)}{x \log (x) \left (x+\log \left (\frac {\log (x)}{x}\right )\right )} \, dx+2 \int \frac {25 x-10 x^2+x^3-25 x \log (x)+45 x^2 \log (x)-12 x^3 \log (x)+x^4 \log (x)+25 \log \left (\frac {\log (x)}{x}\right )-10 x \log \left (\frac {\log (x)}{x}\right )+x^2 \log \left (\frac {\log (x)}{x}\right )-25 \log (x) \log \left (\frac {\log (x)}{x}\right )+35 x \log (x) \log \left (\frac {\log (x)}{x}\right )-11 x^2 \log (x) \log \left (\frac {\log (x)}{x}\right )+x^3 \log (x) \log \left (\frac {\log (x)}{x}\right )}{(-5+x) x \log (x) \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right )} \, dx\\ &=\log (5-x)-2 \log \left (x+\log \left (\frac {\log (x)}{x}\right )\right )+2 \int \frac {-(-5+x)^2 \left (x+\log \left (\frac {\log (x)}{x}\right )\right )-\log (x) \left (x \left (-25+45 x-12 x^2+x^3\right )+(-5+x)^2 (-1+x) \log \left (\frac {\log (x)}{x}\right )\right )}{(5-x) x \log (x) \left ((-7+x) x^2+2 (-5+x) x \log \left (\frac {\log (x)}{x}\right )+(-5+x) \log ^2\left (\frac {\log (x)}{x}\right )\right )} \, dx\\ &=\log (5-x)-2 \log \left (x+\log \left (\frac {\log (x)}{x}\right )\right )+2 \int \left (\frac {-25 x+10 x^2-x^3+25 x \log (x)-45 x^2 \log (x)+12 x^3 \log (x)-x^4 \log (x)-25 \log \left (\frac {\log (x)}{x}\right )+10 x \log \left (\frac {\log (x)}{x}\right )-x^2 \log \left (\frac {\log (x)}{x}\right )+25 \log (x) \log \left (\frac {\log (x)}{x}\right )-35 x \log (x) \log \left (\frac {\log (x)}{x}\right )+11 x^2 \log (x) \log \left (\frac {\log (x)}{x}\right )-x^3 \log (x) \log \left (\frac {\log (x)}{x}\right )}{5 x \log (x) \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right )}+\frac {25 x-10 x^2+x^3-25 x \log (x)+45 x^2 \log (x)-12 x^3 \log (x)+x^4 \log (x)+25 \log \left (\frac {\log (x)}{x}\right )-10 x \log \left (\frac {\log (x)}{x}\right )+x^2 \log \left (\frac {\log (x)}{x}\right )-25 \log (x) \log \left (\frac {\log (x)}{x}\right )+35 x \log (x) \log \left (\frac {\log (x)}{x}\right )-11 x^2 \log (x) \log \left (\frac {\log (x)}{x}\right )+x^3 \log (x) \log \left (\frac {\log (x)}{x}\right )}{5 (-5+x) \log (x) \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right )}\right ) \, dx\\ &=\log (5-x)-2 \log \left (x+\log \left (\frac {\log (x)}{x}\right )\right )+\frac {2}{5} \int \frac {-25 x+10 x^2-x^3+25 x \log (x)-45 x^2 \log (x)+12 x^3 \log (x)-x^4 \log (x)-25 \log \left (\frac {\log (x)}{x}\right )+10 x \log \left (\frac {\log (x)}{x}\right )-x^2 \log \left (\frac {\log (x)}{x}\right )+25 \log (x) \log \left (\frac {\log (x)}{x}\right )-35 x \log (x) \log \left (\frac {\log (x)}{x}\right )+11 x^2 \log (x) \log \left (\frac {\log (x)}{x}\right )-x^3 \log (x) \log \left (\frac {\log (x)}{x}\right )}{x \log (x) \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right )} \, dx+\frac {2}{5} \int \frac {25 x-10 x^2+x^3-25 x \log (x)+45 x^2 \log (x)-12 x^3 \log (x)+x^4 \log (x)+25 \log \left (\frac {\log (x)}{x}\right )-10 x \log \left (\frac {\log (x)}{x}\right )+x^2 \log \left (\frac {\log (x)}{x}\right )-25 \log (x) \log \left (\frac {\log (x)}{x}\right )+35 x \log (x) \log \left (\frac {\log (x)}{x}\right )-11 x^2 \log (x) \log \left (\frac {\log (x)}{x}\right )+x^3 \log (x) \log \left (\frac {\log (x)}{x}\right )}{(-5+x) \log (x) \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right )} \, dx\\ &=\log (5-x)-2 \log \left (x+\log \left (\frac {\log (x)}{x}\right )\right )+\frac {2}{5} \int \frac {-(-5+x)^2 \left (x+\log \left (\frac {\log (x)}{x}\right )\right )-\log (x) \left (x \left (-25+45 x-12 x^2+x^3\right )+(-5+x)^2 (-1+x) \log \left (\frac {\log (x)}{x}\right )\right )}{(5-x) \log (x) \left ((-7+x) x^2+2 (-5+x) x \log \left (\frac {\log (x)}{x}\right )+(-5+x) \log ^2\left (\frac {\log (x)}{x}\right )\right )} \, dx+\frac {2}{5} \int \frac {-(-5+x)^2 \left (x+\log \left (\frac {\log (x)}{x}\right )\right )-\log (x) \left (x \left (-25+45 x-12 x^2+x^3\right )+(-5+x)^2 (-1+x) \log \left (\frac {\log (x)}{x}\right )\right )}{x \log (x) \left ((-7+x) x^2+2 (-5+x) x \log \left (\frac {\log (x)}{x}\right )+(-5+x) \log ^2\left (\frac {\log (x)}{x}\right )\right )} \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(67\) vs. \(2(22)=44\).
time = 0.12, size = 67, normalized size = 3.05 \begin {gather*} -2 \log \left (x+\log \left (\frac {\log (x)}{x}\right )\right )+\log \left (-7 x^2+x^3-10 x \log \left (\frac {\log (x)}{x}\right )+2 x^2 \log \left (\frac {\log (x)}{x}\right )-5 \log ^2\left (\frac {\log (x)}{x}\right )+x \log ^2\left (\frac {\log (x)}{x}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(4*x + (-4*x + x^3)*Log[x] + (-4*x + 3*x^2)*Log[x]*Log[Log[x]/x] + 3*x*Log[x]*Log[Log[x]/x]^2 + Log[
x]*Log[Log[x]/x]^3)/((-7*x^3 + x^4)*Log[x] + (-17*x^2 + 3*x^3)*Log[x]*Log[Log[x]/x] + (-15*x + 3*x^2)*Log[x]*L
og[Log[x]/x]^2 + (-5 + x)*Log[x]*Log[Log[x]/x]^3),x]

[Out]

-2*Log[x + Log[Log[x]/x]] + Log[-7*x^2 + x^3 - 10*x*Log[Log[x]/x] + 2*x^2*Log[Log[x]/x] - 5*Log[Log[x]/x]^2 +
x*Log[Log[x]/x]^2]

________________________________________________________________________________________

Maple [C] Result contains higher order function than in optimal. Order 9 vs. order 3.
time = 17.00, size = 1099, normalized size = 49.95

method	result	size
risch	\(\text {Expression too large to display}\)	\(1099\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((ln(x)*ln(ln(x)/x)^3+3*x*ln(x)*ln(ln(x)/x)^2+(3*x^2-4*x)*ln(x)*ln(ln(x)/x)+(x^3-4*x)*ln(x)+4*x)/((x-5)*ln(
x)*ln(ln(x)/x)^3+(3*x^2-15*x)*ln(x)*ln(ln(x)/x)^2+(3*x^3-17*x^2)*ln(x)*ln(ln(x)/x)+(x^4-7*x^3)*ln(x)),x,method
=_RETURNVERBOSE)

[Out]

ln(x-5)-2*ln(ln(ln(x))-1/2*I*(-Pi*csgn(I*ln(x))*csgn(I/x*ln(x))^2+Pi*csgn(I*ln(x))*csgn(I/x*ln(x))*csgn(I/x)+P
i*csgn(I/x*ln(x))^3-Pi*csgn(I/x*ln(x))^2*csgn(I/x)+2*I*x-2*I*ln(x)))+ln(ln(ln(x))^2+(I*Pi*csgn(I*ln(x))*csgn(I
/x*ln(x))^2-I*Pi*csgn(I*ln(x))*csgn(I/x*ln(x))*csgn(I/x)-I*Pi*csgn(I/x*ln(x))^3+I*Pi*csgn(I/x*ln(x))^2*csgn(I/
x)+2*x-2*ln(x))*ln(ln(x))+1/4*(4*x*ln(x)^2+40*x*ln(x)-8*x^2*ln(x)-20*ln(x)^2+4*x^3-28*x^2-Pi^2*x*csgn(I/x*ln(x
))^6+5*Pi^2*csgn(I*ln(x))^2*csgn(I/x*ln(x))^4-10*Pi^2*csgn(I*ln(x))*csgn(I/x*ln(x))^5-10*Pi^2*csgn(I/x*ln(x))^
5*csgn(I/x)+5*Pi^2*csgn(I/x*ln(x))^4*csgn(I/x)^2+4*I*ln(x)*Pi*x*csgn(I*ln(x))*csgn(I/x*ln(x))*csgn(I/x)-20*I*l
n(x)*Pi*csgn(I*ln(x))*csgn(I/x*ln(x))*csgn(I/x)-4*I*ln(x)*Pi*x*csgn(I*ln(x))*csgn(I/x*ln(x))^2-4*I*ln(x)*Pi*x*
csgn(I/x*ln(x))^2*csgn(I/x)+20*I*Pi*x*csgn(I*ln(x))*csgn(I/x*ln(x))*csgn(I/x)-4*I*Pi*x^2*csgn(I*ln(x))*csgn(I/
x*ln(x))*csgn(I/x)-20*I*Pi*x*csgn(I/x*ln(x))^2*csgn(I/x)-20*I*Pi*x*csgn(I*ln(x))*csgn(I/x*ln(x))^2+4*I*Pi*x^2*
csgn(I*ln(x))*csgn(I/x*ln(x))^2+4*I*Pi*x^2*csgn(I/x*ln(x))^2*csgn(I/x)+20*I*ln(x)*Pi*csgn(I*ln(x))*csgn(I/x*ln
(x))^2+20*I*ln(x)*Pi*csgn(I/x*ln(x))^2*csgn(I/x)+4*I*ln(x)*Pi*x*csgn(I/x*ln(x))^3+2*Pi^2*x*csgn(I*ln(x))^2*csg
n(I/x*ln(x))^3*csgn(I/x)-4*Pi^2*x*csgn(I*ln(x))*csgn(I/x*ln(x))^4*csgn(I/x)-Pi^2*x*csgn(I*ln(x))^2*csgn(I/x*ln
(x))^2*csgn(I/x)^2+2*Pi^2*x*csgn(I*ln(x))*csgn(I/x*ln(x))^3*csgn(I/x)^2+5*Pi^2*csgn(I/x*ln(x))^6-10*Pi^2*csgn(
I*ln(x))^2*csgn(I/x*ln(x))^3*csgn(I/x)+20*Pi^2*csgn(I*ln(x))*csgn(I/x*ln(x))^4*csgn(I/x)+5*Pi^2*csgn(I*ln(x))^
2*csgn(I/x*ln(x))^2*csgn(I/x)^2-10*Pi^2*csgn(I*ln(x))*csgn(I/x*ln(x))^3*csgn(I/x)^2+20*I*Pi*x*csgn(I/x*ln(x))^
3-4*I*Pi*x^2*csgn(I/x*ln(x))^3-20*I*ln(x)*Pi*csgn(I/x*ln(x))^3-Pi^2*x*csgn(I*ln(x))^2*csgn(I/x*ln(x))^4+2*Pi^2
*x*csgn(I*ln(x))*csgn(I/x*ln(x))^5+2*Pi^2*x*csgn(I/x*ln(x))^5*csgn(I/x)-Pi^2*x*csgn(I/x*ln(x))^4*csgn(I/x)^2)/
(x-5))

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 80 vs. \(2 (22) = 44\).
time = 0.34, size = 80, normalized size = 3.64 \begin {gather*} -2 \, \log \left (x - \log \left (x\right ) + \log \left (\log \left (x\right )\right )\right ) + \log \left (x - 5\right ) + \log \left (\frac {x^{3} + {\left (x - 5\right )} \log \left (x\right )^{2} + {\left (x - 5\right )} \log \left (\log \left (x\right )\right )^{2} - 7 \, x^{2} - 2 \, {\left (x^{2} - 5 \, x\right )} \log \left (x\right ) + 2 \, {\left (x^{2} - {\left (x - 5\right )} \log \left (x\right ) - 5 \, x\right )} \log \left (\log \left (x\right )\right )}{x - 5}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)*log(log(x)/x)^3+3*x*log(x)*log(log(x)/x)^2+(3*x^2-4*x)*log(x)*log(log(x)/x)+(x^3-4*x)*log(x)
+4*x)/((-5+x)*log(x)*log(log(x)/x)^3+(3*x^2-15*x)*log(x)*log(log(x)/x)^2+(3*x^3-17*x^2)*log(x)*log(log(x)/x)+(
x^4-7*x^3)*log(x)),x, algorithm="maxima")

[Out]

-2*log(x - log(x) + log(log(x))) + log(x - 5) + log((x^3 + (x - 5)*log(x)^2 + (x - 5)*log(log(x))^2 - 7*x^2 -
2*(x^2 - 5*x)*log(x) + 2*(x^2 - (x - 5)*log(x) - 5*x)*log(log(x)))/(x - 5))

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 62 vs. \(2 (22) = 44\).
time = 0.32, size = 62, normalized size = 2.82 \begin {gather*} -2 \, \log \left (x + \log \left (\frac {\log \left (x\right )}{x}\right )\right ) + \log \left (x - 5\right ) + \log \left (\frac {x^{3} + {\left (x - 5\right )} \log \left (\frac {\log \left (x\right )}{x}\right )^{2} - 7 \, x^{2} + 2 \, {\left (x^{2} - 5 \, x\right )} \log \left (\frac {\log \left (x\right )}{x}\right )}{x - 5}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)*log(log(x)/x)^3+3*x*log(x)*log(log(x)/x)^2+(3*x^2-4*x)*log(x)*log(log(x)/x)+(x^3-4*x)*log(x)
+4*x)/((-5+x)*log(x)*log(log(x)/x)^3+(3*x^2-15*x)*log(x)*log(log(x)/x)^2+(3*x^3-17*x^2)*log(x)*log(log(x)/x)+(
x^4-7*x^3)*log(x)),x, algorithm="fricas")

[Out]

-2*log(x + log(log(x)/x)) + log(x - 5) + log((x^3 + (x - 5)*log(log(x)/x)^2 - 7*x^2 + 2*(x^2 - 5*x)*log(log(x)
/x))/(x - 5))

________________________________________________________________________________________

Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: PolynomialError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((ln(x)*ln(ln(x)/x)**3+3*x*ln(x)*ln(ln(x)/x)**2+(3*x**2-4*x)*ln(x)*ln(ln(x)/x)+(x**3-4*x)*ln(x)+4*x)/
((-5+x)*ln(x)*ln(ln(x)/x)**3+(3*x**2-15*x)*ln(x)*ln(ln(x)/x)**2+(3*x**3-17*x**2)*ln(x)*ln(ln(x)/x)+(x**4-7*x**
3)*ln(x)),x)

[Out]

Exception raised: PolynomialError >> 1/(_t0**2*x**4 - 20*_t0**2*x**3 + 150*_t0**2*x**2 - 500*_t0**2*x + 625*_t
0**2) contains an element of the set of generators.

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 92 vs. \(2 (22) = 44\).
time = 0.98, size = 92, normalized size = 4.18 \begin {gather*} \log \left (x^{3} - 2 \, x^{2} \log \left (x\right ) + x \log \left (x\right )^{2} + 2 \, x^{2} \log \left (\log \left (x\right )\right ) - 2 \, x \log \left (x\right ) \log \left (\log \left (x\right )\right ) + x \log \left (\log \left (x\right )\right )^{2} - 7 \, x^{2} + 10 \, x \log \left (x\right ) - 5 \, \log \left (x\right )^{2} - 10 \, x \log \left (\log \left (x\right )\right ) + 10 \, \log \left (x\right ) \log \left (\log \left (x\right )\right ) - 5 \, \log \left (\log \left (x\right )\right )^{2}\right ) - 2 \, \log \left (-x + \log \left (x\right ) - \log \left (\log \left (x\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)*log(log(x)/x)^3+3*x*log(x)*log(log(x)/x)^2+(3*x^2-4*x)*log(x)*log(log(x)/x)+(x^3-4*x)*log(x)
+4*x)/((-5+x)*log(x)*log(log(x)/x)^3+(3*x^2-15*x)*log(x)*log(log(x)/x)^2+(3*x^3-17*x^2)*log(x)*log(log(x)/x)+(
x^4-7*x^3)*log(x)),x, algorithm="giac")

[Out]

log(x^3 - 2*x^2*log(x) + x*log(x)^2 + 2*x^2*log(log(x)) - 2*x*log(x)*log(log(x)) + x*log(log(x))^2 - 7*x^2 + 1
0*x*log(x) - 5*log(x)^2 - 10*x*log(log(x)) + 10*log(x)*log(log(x)) - 5*log(log(x))^2) - 2*log(-x + log(x) - lo
g(log(x)))

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int -\frac {\ln \left (x\right )\,{\ln \left (\frac {\ln \left (x\right )}{x}\right )}^3+3\,x\,\ln \left (x\right )\,{\ln \left (\frac {\ln \left (x\right )}{x}\right )}^2-\ln \left (x\right )\,\left (4\,x-3\,x^2\right )\,\ln \left (\frac {\ln \left (x\right )}{x}\right )+4\,x-\ln \left (x\right )\,\left (4\,x-x^3\right )}{-\ln \left (x\right )\,\left (x-5\right )\,{\ln \left (\frac {\ln \left (x\right )}{x}\right )}^3+\ln \left (x\right )\,\left (15\,x-3\,x^2\right )\,{\ln \left (\frac {\ln \left (x\right )}{x}\right )}^2+\ln \left (x\right )\,\left (17\,x^2-3\,x^3\right )\,\ln \left (\frac {\ln \left (x\right )}{x}\right )+\ln \left (x\right )\,\left (7\,x^3-x^4\right )} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(4*x + log(log(x)/x)^3*log(x) - log(x)*(4*x - x^3) - log(log(x)/x)*log(x)*(4*x - 3*x^2) + 3*x*log(log(x)/
x)^2*log(x))/(log(x)*(7*x^3 - x^4) - log(log(x)/x)^3*log(x)*(x - 5) + log(log(x)/x)^2*log(x)*(15*x - 3*x^2) +
log(log(x)/x)*log(x)*(17*x^2 - 3*x^3)),x)

[Out]

int(-(4*x + log(log(x)/x)^3*log(x) - log(x)*(4*x - x^3) - log(log(x)/x)*log(x)*(4*x - 3*x^2) + 3*x*log(log(x)/
x)^2*log(x))/(log(x)*(7*x^3 - x^4) - log(log(x)/x)^3*log(x)*(x - 5) + log(log(x)/x)^2*log(x)*(15*x - 3*x^2) +
log(log(x)/x)*log(x)*(17*x^2 - 3*x^3)), x)

________________________________________________________________________________________