\(\int \frac {35-16 x+x^2+(-5+2 x) \log (\frac {1}{100} e^{-x} x^3)}{(20 x-4 x^2+(-5 x+x^2) \log (\frac {1}{100} e^{-x} x^3)) \log (\frac {5 x-x^2}{-4+\log (\frac {1}{100} e^{-x} x^3)})} \, dx\) [7955]

Optimal result

Integrand size = 90, antiderivative size = 26 \[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\log \left (\log \left (\frac {(-5+x) x}{4-\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )\right ) \]

[Out]

ln(ln((-5+x)/(4-ln(1/100*x^3/exp(x)))*x))

Rubi [F]

\[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx \]

[In]

Int[(35 - 16*x + x^2 + (-5 + 2*x)*Log[x^3/(100*E^x)])/((20*x - 4*x^2 + (-5*x + x^2)*Log[x^3/(100*E^x)])*Log[(5
*x - x^2)/(-4 + Log[x^3/(100*E^x)])]),x]

[Out]

Defer[Int][1/((-4 + Log[x^3/(100*E^x)])*Log[-(((-5 + x)*x)/(-4 + Log[x^3/(100*E^x)]))]), x] - 4*Defer[Int][1/(
(-5 + x)*(-4 + Log[x^3/(100*E^x)])*Log[-(((-5 + x)*x)/(-4 + Log[x^3/(100*E^x)]))]), x] - 7*Defer[Int][1/(x*(-4
+ Log[x^3/(100*E^x)])*Log[-(((-5 + x)*x)/(-4 + Log[x^3/(100*E^x)]))]), x] + Defer[Int][Log[x^3/(100*E^x)]/((-
5 + x)*(-4 + Log[x^3/(100*E^x)])*Log[-(((-5 + x)*x)/(-4 + Log[x^3/(100*E^x)]))]), x] + Defer[Int][Log[x^3/(100
*E^x)]/(x*(-4 + Log[x^3/(100*E^x)])*Log[-(((-5 + x)*x)/(-4 + Log[x^3/(100*E^x)]))]), x]

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

Mathematica [A] (verified)

Time = 0.21 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.96 \[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\log \left (\log \left (-\frac {(-5+x) x}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )\right ) \]

[In]

Integrate[(35 - 16*x + x^2 + (-5 + 2*x)*Log[x^3/(100*E^x)])/((20*x - 4*x^2 + (-5*x + x^2)*Log[x^3/(100*E^x)])*
Log[(5*x - x^2)/(-4 + Log[x^3/(100*E^x)])]),x]

[Out]

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

Maple [A] (verified)

Time = 1.81 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.92

method	result	size
default	\(\ln \left (\ln \left (\frac {\left (-5+x \right ) x}{4-\ln \left (\frac {x^{3} {\mathrm e}^{-x}}{100}\right )}\right )\right )\)	\(24\)
parallelrisch	\(\ln \left (\ln \left (\frac {-x^{2}+5 x}{\ln \left (\frac {x^{3} {\mathrm e}^{-x}}{100}\right )-4}\right )\right )\)	\(27\)

[In]

int(((-5+2*x)*ln(1/100*x^3/exp(x))+x^2-16*x+35)/((x^2-5*x)*ln(1/100*x^3/exp(x))-4*x^2+20*x)/ln((-x^2+5*x)/(ln(
1/100*x^3/exp(x))-4)),x,method=_RETURNVERBOSE)

[Out]

ln(ln((-5+x)/(4-ln(1/100*x^3/exp(x)))*x))

Fricas [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.96 \[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\log \left (\log \left (-\frac {x^{2} - 5 \, x}{\log \left (\frac {1}{100} \, x^{3} e^{\left (-x\right )}\right ) - 4}\right )\right ) \]

[In]

integrate(((-5+2*x)*log(1/100*x^3/exp(x))+x^2-16*x+35)/((x^2-5*x)*log(1/100*x^3/exp(x))-4*x^2+20*x)/log((-x^2+
5*x)/(log(1/100*x^3/exp(x))-4)),x, algorithm="fricas")

[Out]

log(log(-(x^2 - 5*x)/(log(1/100*x^3*e^(-x)) - 4)))

Sympy [A] (verification not implemented)

Time = 0.48 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.77 \[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\log {\left (\log {\left (\frac {- x^{2} + 5 x}{\log {\left (\frac {x^{3} e^{- x}}{100} \right )} - 4} \right )} \right )} \]

[In]

integrate(((-5+2*x)*ln(1/100*x**3/exp(x))+x**2-16*x+35)/((x**2-5*x)*ln(1/100*x**3/exp(x))-4*x**2+20*x)/ln((-x*
*2+5*x)/(ln(1/100*x**3/exp(x))-4)),x)

[Out]

log(log((-x**2 + 5*x)/(log(x**3*exp(-x)/100) - 4)))

Maxima [A] (verification not implemented)

none

Time = 0.34 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.08 \[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\log \left (\log \left (x + 2 \, \log \left (5\right ) + 2 \, \log \left (2\right ) - 3 \, \log \left (x\right ) + 4\right ) - \log \left (x - 5\right ) - \log \left (x\right )\right ) \]

[In]

integrate(((-5+2*x)*log(1/100*x^3/exp(x))+x^2-16*x+35)/((x^2-5*x)*log(1/100*x^3/exp(x))-4*x^2+20*x)/log((-x^2+
5*x)/(log(1/100*x^3/exp(x))-4)),x, algorithm="maxima")

[Out]

log(log(x + 2*log(5) + 2*log(2) - 3*log(x) + 4) - log(x - 5) - log(x))

Giac [F]

\[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\int { -\frac {x^{2} + {\left (2 \, x - 5\right )} \log \left (\frac {1}{100} \, x^{3} e^{\left (-x\right )}\right ) - 16 \, x + 35}{{\left (4 \, x^{2} - {\left (x^{2} - 5 \, x\right )} \log \left (\frac {1}{100} \, x^{3} e^{\left (-x\right )}\right ) - 20 \, x\right )} \log \left (-\frac {x^{2} - 5 \, x}{\log \left (\frac {1}{100} \, x^{3} e^{\left (-x\right )}\right ) - 4}\right )} \,d x } \]

[In]

integrate(((-5+2*x)*log(1/100*x^3/exp(x))+x^2-16*x+35)/((x^2-5*x)*log(1/100*x^3/exp(x))-4*x^2+20*x)/log((-x^2+
5*x)/(log(1/100*x^3/exp(x))-4)),x, algorithm="giac")

[Out]

integrate(-(x^2 + (2*x - 5)*log(1/100*x^3*e^(-x)) - 16*x + 35)/((4*x^2 - (x^2 - 5*x)*log(1/100*x^3*e^(-x)) - 2
0*x)*log(-(x^2 - 5*x)/(log(1/100*x^3*e^(-x)) - 4))), x)

Mupad [B] (verification not implemented)

Time = 14.67 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.08 \[ \int \frac {35-16 x+x^2+(-5+2 x) \log \left (\frac {1}{100} e^{-x} x^3\right )}{\left (20 x-4 x^2+\left (-5 x+x^2\right ) \log \left (\frac {1}{100} e^{-x} x^3\right )\right ) \log \left (\frac {5 x-x^2}{-4+\log \left (\frac {1}{100} e^{-x} x^3\right )}\right )} \, dx=\ln \left (\ln \left (-\frac {5\,x-x^2}{x-\ln \left (x^3\right )+2\,\ln \left (10\right )+4}\right )\right ) \]

[In]

int(-(log((x^3*exp(-x))/100)*(2*x - 5) - 16*x + x^2 + 35)/(log((5*x - x^2)/(log((x^3*exp(-x))/100) - 4))*(log(
(x^3*exp(-x))/100)*(5*x - x^2) - 20*x + 4*x^2)),x)

[Out]

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