\(\int \frac {x-x \log (x)+(-4 x^6 \log (x)+4 x^5 \log ^2(x)) \log (\frac {-5 x+5 \log (x)}{\log (x)})+(x \log (x)-\log ^2(x)) \log (\frac {-5 x+5 \log (x)}{\log (x)}) \log (\log (\frac {-5 x+5 \log (x)}{\log (x)}))}{(-x^3 \log (x)+x^2 \log ^2(x)) \log (\frac {-5 x+5 \log (x)}{\log (x)})} \, dx\) [6828]

   Optimal result
   Rubi [F]
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [A] (verification not implemented)
   Maxima [A] (verification not implemented)
   Giac [A] (verification not implemented)
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 115, antiderivative size = 21 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=x^4+\frac {\log \left (\log \left (5 \left (1-\frac {x}{\log (x)}\right )\right )\right )}{x} \]

[Out]

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

Rubi [F]

\[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=\int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx \]

[In]

Int[(x - x*Log[x] + (-4*x^6*Log[x] + 4*x^5*Log[x]^2)*Log[(-5*x + 5*Log[x])/Log[x]] + (x*Log[x] - Log[x]^2)*Log
[(-5*x + 5*Log[x])/Log[x]]*Log[Log[(-5*x + 5*Log[x])/Log[x]]])/((-(x^3*Log[x]) + x^2*Log[x]^2)*Log[(-5*x + 5*L
og[x])/Log[x]]),x]

[Out]

x^4 + Defer[Int][1/(x*(x - Log[x])*Log[5 - (5*x)/Log[x]]), x] - Defer[Int][1/(x*(x - Log[x])*Log[x]*Log[5 - (5
*x)/Log[x]]), x] - Defer[Int][Log[Log[5 - (5*x)/Log[x]]]/x^2, x]

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

Mathematica [A] (verified)

Time = 0.11 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.90 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=x^4+\frac {\log \left (\log \left (5-\frac {5 x}{\log (x)}\right )\right )}{x} \]

[In]

Integrate[(x - x*Log[x] + (-4*x^6*Log[x] + 4*x^5*Log[x]^2)*Log[(-5*x + 5*Log[x])/Log[x]] + (x*Log[x] - Log[x]^
2)*Log[(-5*x + 5*Log[x])/Log[x]]*Log[Log[(-5*x + 5*Log[x])/Log[x]]])/((-(x^3*Log[x]) + x^2*Log[x]^2)*Log[(-5*x
 + 5*Log[x])/Log[x]]),x]

[Out]

x^4 + Log[Log[5 - (5*x)/Log[x]]]/x

Maple [A] (verified)

Time = 9.48 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.33

method result size
parallelrisch \(\frac {2 x^{5}+2 \ln \left (\ln \left (\frac {5 \ln \left (x \right )-5 x}{\ln \left (x \right )}\right )\right )}{2 x}\) \(28\)
risch \(\frac {\ln \left (\ln \left (5\right )+i \pi -\ln \left (\ln \left (x \right )\right )+\ln \left (x -\ln \left (x \right )\right )+\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-x \right )}{\ln \left (x \right )}\right ) \left (\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-x \right )}{\ln \left (x \right )}\right )+\operatorname {csgn}\left (\frac {i}{\ln \left (x \right )}\right )\right ) \left (\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-x \right )}{\ln \left (x \right )}\right )-\operatorname {csgn}\left (i \left (\ln \left (x \right )-x \right )\right )\right )}{2}+i \pi \operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-x \right )}{\ln \left (x \right )}\right )^{2} \left (-\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-x \right )}{\ln \left (x \right )}\right )-1\right )\right )}{x}+x^{4}\) \(135\)

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.05 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=\frac {x^{5} + \log \left (\log \left (-\frac {5 \, {\left (x - \log \left (x\right )\right )}}{\log \left (x\right )}\right )\right )}{x} \]

[In]

integrate(((-log(x)^2+x*log(x))*log((5*log(x)-5*x)/log(x))*log(log((5*log(x)-5*x)/log(x)))+(4*x^5*log(x)^2-4*x
^6*log(x))*log((5*log(x)-5*x)/log(x))+x-x*log(x))/(x^2*log(x)^2-x^3*log(x))/log((5*log(x)-5*x)/log(x)),x, algo
rithm="fricas")

[Out]

(x^5 + log(log(-5*(x - log(x))/log(x))))/x

Sympy [A] (verification not implemented)

Time = 0.49 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.90 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=x^{4} + \frac {\log {\left (\log {\left (\frac {- 5 x + 5 \log {\left (x \right )}}{\log {\left (x \right )}} \right )} \right )}}{x} \]

[In]

integrate(((-ln(x)**2+x*ln(x))*ln((5*ln(x)-5*x)/ln(x))*ln(ln((5*ln(x)-5*x)/ln(x)))+(4*x**5*ln(x)**2-4*x**6*ln(
x))*ln((5*ln(x)-5*x)/ln(x))+x-x*ln(x))/(x**2*ln(x)**2-x**3*ln(x))/ln((5*ln(x)-5*x)/ln(x)),x)

[Out]

x**4 + log(log((-5*x + 5*log(x))/log(x)))/x

Maxima [A] (verification not implemented)

none

Time = 0.32 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.14 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=\frac {x^{5} + \log \left (\log \left (5\right ) + \log \left (-x + \log \left (x\right )\right ) - \log \left (\log \left (x\right )\right )\right )}{x} \]

[In]

integrate(((-log(x)^2+x*log(x))*log((5*log(x)-5*x)/log(x))*log(log((5*log(x)-5*x)/log(x)))+(4*x^5*log(x)^2-4*x
^6*log(x))*log((5*log(x)-5*x)/log(x))+x-x*log(x))/(x^2*log(x)^2-x^3*log(x))/log((5*log(x)-5*x)/log(x)),x, algo
rithm="maxima")

[Out]

(x^5 + log(log(5) + log(-x + log(x)) - log(log(x))))/x

Giac [A] (verification not implemented)

none

Time = 0.35 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.14 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=x^{4} + \frac {\log \left (\log \left (-5 \, x + 5 \, \log \left (x\right )\right ) - \log \left (\log \left (x\right )\right )\right )}{x} \]

[In]

integrate(((-log(x)^2+x*log(x))*log((5*log(x)-5*x)/log(x))*log(log((5*log(x)-5*x)/log(x)))+(4*x^5*log(x)^2-4*x
^6*log(x))*log((5*log(x)-5*x)/log(x))+x-x*log(x))/(x^2*log(x)^2-x^3*log(x))/log((5*log(x)-5*x)/log(x)),x, algo
rithm="giac")

[Out]

x^4 + log(log(-5*x + 5*log(x)) - log(log(x)))/x

Mupad [B] (verification not implemented)

Time = 11.36 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.05 \[ \int \frac {x-x \log (x)+\left (-4 x^6 \log (x)+4 x^5 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )+\left (x \log (x)-\log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right ) \log \left (\log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )\right )}{\left (-x^3 \log (x)+x^2 \log ^2(x)\right ) \log \left (\frac {-5 x+5 \log (x)}{\log (x)}\right )} \, dx=\frac {\ln \left (\ln \left (-\frac {5\,\left (x-\ln \left (x\right )\right )}{\ln \left (x\right )}\right )\right )}{x}+x^4 \]

[In]

int((x*log(x) - x + log(-(5*x - 5*log(x))/log(x))*(4*x^6*log(x) - 4*x^5*log(x)^2) + log(-(5*x - 5*log(x))/log(
x))*log(log(-(5*x - 5*log(x))/log(x)))*(log(x)^2 - x*log(x)))/(log(-(5*x - 5*log(x))/log(x))*(x^3*log(x) - x^2
*log(x)^2)),x)

[Out]

log(log(-(5*(x - log(x)))/log(x)))/x + x^4