3.14.73 \(\int \frac {(-15-3 e^x+3 x) \log (5 x+e^x x-x^2)+(-40 x+16 x^2+e^x (-8 x-8 x^2)) \log (\log (5 x+e^x x-x^2))+(-120-24 e^x+24 x) \log (5 x+e^x x-x^2) \log ^2(\log (5 x+e^x x-x^2))+(-240-48 e^x+48 x) \log (5 x+e^x x-x^2) \log ^4(\log (5 x+e^x x-x^2))}{(15 x^2+3 e^x x^2-3 x^3) \log (5 x+e^x x-x^2)+(120 x^2+24 e^x x^2-24 x^3) \log (5 x+e^x x-x^2) \log ^2(\log (5 x+e^x x-x^2))+(240 x^2+48 e^x x^2-48 x^3) \log (5 x+e^x x-x^2) \log ^4(\log (5 x+e^x x-x^2))} \, dx\) [1373]

3.14.73.1 Optimal result
3.14.73.2 Mathematica [A] (verified)
3.14.73.3 Rubi [F]
3.14.73.4 Maple [A] (verified)
3.14.73.5 Fricas [A] (verification not implemented)
3.14.73.6 Sympy [A] (verification not implemented)
3.14.73.7 Maxima [A] (verification not implemented)
3.14.73.8 Giac [A] (verification not implemented)
3.14.73.9 Mupad [B] (verification not implemented)

3.14.73.1 Optimal result

Integrand size = 299, antiderivative size = 36 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=-3+\frac {1}{2} \left (\frac {2}{x}-\frac {2}{3+\frac {3}{4 \log ^2\left (\log \left (\left (5+e^x-x\right ) x\right )\right )}}\right ) \]

output
1/x-1/(3/4/ln(ln(x*(exp(x)+5-x)))^2+3)-3
 
3.14.73.2 Mathematica [A] (verified)

Time = 0.12 (sec) , antiderivative size = 46, normalized size of antiderivative = 1.28 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=\frac {3+x+12 \log ^2\left (\log \left (-x \left (-5-e^x+x\right )\right )\right )}{3 \left (x+4 x \log ^2\left (\log \left (-x \left (-5-e^x+x\right )\right )\right )\right )} \]

input
Integrate[((-15 - 3*E^x + 3*x)*Log[5*x + E^x*x - x^2] + (-40*x + 16*x^2 + 
E^x*(-8*x - 8*x^2))*Log[Log[5*x + E^x*x - x^2]] + (-120 - 24*E^x + 24*x)*L 
og[5*x + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^2 + (-240 - 48*E^x + 48* 
x)*Log[5*x + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^4)/((15*x^2 + 3*E^x* 
x^2 - 3*x^3)*Log[5*x + E^x*x - x^2] + (120*x^2 + 24*E^x*x^2 - 24*x^3)*Log[ 
5*x + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^2 + (240*x^2 + 48*E^x*x^2 - 
 48*x^3)*Log[5*x + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^4),x]
 
output
(3 + x + 12*Log[Log[-(x*(-5 - E^x + x))]]^2)/(3*(x + 4*x*Log[Log[-(x*(-5 - 
 E^x + x))]]^2))
 
3.14.73.3 Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\left (48 x-48 e^x-240\right ) \log \left (-x^2+e^x x+5 x\right ) \log ^4\left (\log \left (-x^2+e^x x+5 x\right )\right )+\left (24 x-24 e^x-120\right ) \log \left (-x^2+e^x x+5 x\right ) \log ^2\left (\log \left (-x^2+e^x x+5 x\right )\right )+\left (16 x^2+e^x \left (-8 x^2-8 x\right )-40 x\right ) \log \left (\log \left (-x^2+e^x x+5 x\right )\right )+\left (3 x-3 e^x-15\right ) \log \left (-x^2+e^x x+5 x\right )}{\left (-48 x^3+48 e^x x^2+240 x^2\right ) \log \left (-x^2+e^x x+5 x\right ) \log ^4\left (\log \left (-x^2+e^x x+5 x\right )\right )+\left (-24 x^3+24 e^x x^2+120 x^2\right ) \log \left (-x^2+e^x x+5 x\right ) \log ^2\left (\log \left (-x^2+e^x x+5 x\right )\right )+\left (-3 x^3+3 e^x x^2+15 x^2\right ) \log \left (-x^2+e^x x+5 x\right )} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-3 \left (-x+e^x+5\right ) \log \left (-x \left (x-e^x-5\right )\right ) \left (4 \log ^2\left (\log \left (-x \left (x-e^x-5\right )\right )\right )+1\right )^2-8 x \left (-2 x+e^x (x+1)+5\right ) \log \left (\log \left (-x \left (x-e^x-5\right )\right )\right )}{3 \left (-x+e^x+5\right ) \log \left (-x^2+e^x x+5 x\right ) \left (x+4 x \log ^2\left (\log \left (-x \left (x-e^x-5\right )\right )\right )\right )^2}dx\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {1}{3} \int -\frac {3 \left (-x+e^x+5\right ) \log \left (\left (-x+e^x+5\right ) x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2+8 x \left (-2 x+e^x (x+1)+5\right ) \log \left (\log \left (\left (-x+e^x+5\right ) x\right )\right )}{\left (-x+e^x+5\right ) \log \left (-x^2+e^x x+5 x\right ) \left (4 x \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+x\right )^2}dx\)

\(\Big \downarrow \) 25

\(\displaystyle -\frac {1}{3} \int \frac {3 \left (-x+e^x+5\right ) \log \left (\left (-x+e^x+5\right ) x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2+8 x \left (-2 x+e^x (x+1)+5\right ) \log \left (\log \left (\left (-x+e^x+5\right ) x\right )\right )}{\left (-x+e^x+5\right ) \log \left (-x^2+e^x x+5 x\right ) \left (4 x \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+x\right )^2}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle -\frac {1}{3} \int \left (\frac {48 \log \left (\left (-x+e^x+5\right ) x\right ) \log ^4\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+24 \log \left (\left (-x+e^x+5\right ) x\right ) \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+8 x^2 \log \left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+8 x \log \left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+3 \log \left (\left (-x+e^x+5\right ) x\right )}{x^2 \log \left (-x^2+e^x x+5 x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2}+\frac {8 (x-6) \log \left (\log \left (-x^2+e^x x+5 x\right )\right )}{\left (-x+e^x+5\right ) \log \left (-x^2+e^x x+5 x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {1}{3} \left (-8 \int \frac {\log \left (\log \left (-x^2+e^x x+5 x\right )\right )}{\log \left (-x^2+e^x x+5 x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2}dx-8 \int \frac {\log \left (\log \left (-x^2+e^x x+5 x\right )\right )}{x \log \left (-x^2+e^x x+5 x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2}dx-8 \int \frac {x \log \left (\log \left (-x^2+e^x x+5 x\right )\right )}{\left (-x+e^x+5\right ) \log \left (-x^2+e^x x+5 x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2}dx-48 \int \frac {\log \left (\log \left (-x^2+e^x x+5 x\right )\right )}{\left (x-e^x-5\right ) \log \left (-x^2+e^x x+5 x\right ) \left (4 \log ^2\left (\log \left (\left (-x+e^x+5\right ) x\right )\right )+1\right )^2}dx+\frac {3}{x}\right )\)

input
Int[((-15 - 3*E^x + 3*x)*Log[5*x + E^x*x - x^2] + (-40*x + 16*x^2 + E^x*(- 
8*x - 8*x^2))*Log[Log[5*x + E^x*x - x^2]] + (-120 - 24*E^x + 24*x)*Log[5*x 
 + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^2 + (-240 - 48*E^x + 48*x)*Log 
[5*x + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^4)/((15*x^2 + 3*E^x*x^2 - 
3*x^3)*Log[5*x + E^x*x - x^2] + (120*x^2 + 24*E^x*x^2 - 24*x^3)*Log[5*x + 
E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^2 + (240*x^2 + 48*E^x*x^2 - 48*x^ 
3)*Log[5*x + E^x*x - x^2]*Log[Log[5*x + E^x*x - x^2]]^4),x]
 
output
$Aborted
 

3.14.73.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.14.73.4 Maple [A] (verified)

Time = 57.07 (sec) , antiderivative size = 45, normalized size of antiderivative = 1.25

method result size
parallelrisch \(\frac {24+96 {\ln \left (\ln \left (x \left ({\mathrm e}^{x}+5-x \right )\right )\right )}^{2}+8 x}{24 x \left (4 {\ln \left (\ln \left (x \left ({\mathrm e}^{x}+5-x \right )\right )\right )}^{2}+1\right )}\) \(45\)
risch \(\frac {1}{x}+\frac {1}{12 {\ln \left (i \pi +\ln \left (x \right )+\ln \left (-{\mathrm e}^{x}+x -5\right )+\frac {i \pi \,\operatorname {csgn}\left (i x \left ({\mathrm e}^{x}+5-x \right )\right ) \left (\operatorname {csgn}\left (i x \left ({\mathrm e}^{x}+5-x \right )\right )+\operatorname {csgn}\left (i x \right )\right ) \left (\operatorname {csgn}\left (i x \left ({\mathrm e}^{x}+5-x \right )\right )-\operatorname {csgn}\left (i \left ({\mathrm e}^{x}+5-x \right )\right )\right )}{2}+i \pi {\operatorname {csgn}\left (i x \left ({\mathrm e}^{x}+5-x \right )\right )}^{2} \left (-\operatorname {csgn}\left (i x \left ({\mathrm e}^{x}+5-x \right )\right )-1\right )\right )}^{2}+3}\) \(125\)

input
int(((-48*exp(x)+48*x-240)*ln(exp(x)*x-x^2+5*x)*ln(ln(exp(x)*x-x^2+5*x))^4 
+(-24*exp(x)+24*x-120)*ln(exp(x)*x-x^2+5*x)*ln(ln(exp(x)*x-x^2+5*x))^2+((- 
8*x^2-8*x)*exp(x)+16*x^2-40*x)*ln(ln(exp(x)*x-x^2+5*x))+(-3*exp(x)+3*x-15) 
*ln(exp(x)*x-x^2+5*x))/((48*exp(x)*x^2-48*x^3+240*x^2)*ln(exp(x)*x-x^2+5*x 
)*ln(ln(exp(x)*x-x^2+5*x))^4+(24*exp(x)*x^2-24*x^3+120*x^2)*ln(exp(x)*x-x^ 
2+5*x)*ln(ln(exp(x)*x-x^2+5*x))^2+(3*exp(x)*x^2-3*x^3+15*x^2)*ln(exp(x)*x- 
x^2+5*x)),x,method=_RETURNVERBOSE)
 
output
1/24*(24+96*ln(ln(x*(exp(x)+5-x)))^2+8*x)/x/(4*ln(ln(x*(exp(x)+5-x)))^2+1)
 
3.14.73.5 Fricas [A] (verification not implemented)

Time = 0.24 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.33 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=\frac {12 \, \log \left (\log \left (-x^{2} + x e^{x} + 5 \, x\right )\right )^{2} + x + 3}{3 \, {\left (4 \, x \log \left (\log \left (-x^{2} + x e^{x} + 5 \, x\right )\right )^{2} + x\right )}} \]

input
integrate(((-48*exp(x)+48*x-240)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^ 
2+5*x))^4+(-24*exp(x)+24*x-120)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2 
+5*x))^2+((-8*x^2-8*x)*exp(x)+16*x^2-40*x)*log(log(exp(x)*x-x^2+5*x))+(-3* 
exp(x)+3*x-15)*log(exp(x)*x-x^2+5*x))/((48*exp(x)*x^2-48*x^3+240*x^2)*log( 
exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2+5*x))^4+(24*exp(x)*x^2-24*x^3+120*x 
^2)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2+5*x))^2+(3*exp(x)*x^2-3*x^3 
+15*x^2)*log(exp(x)*x-x^2+5*x)),x, algorithm=\
 
output
1/3*(12*log(log(-x^2 + x*e^x + 5*x))^2 + x + 3)/(4*x*log(log(-x^2 + x*e^x 
+ 5*x))^2 + x)
 
3.14.73.6 Sympy [A] (verification not implemented)

Time = 0.97 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.67 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=\frac {1}{12 \log {\left (\log {\left (- x^{2} + x e^{x} + 5 x \right )} \right )}^{2} + 3} + \frac {1}{x} \]

input
integrate(((-48*exp(x)+48*x-240)*ln(exp(x)*x-x**2+5*x)*ln(ln(exp(x)*x-x**2 
+5*x))**4+(-24*exp(x)+24*x-120)*ln(exp(x)*x-x**2+5*x)*ln(ln(exp(x)*x-x**2+ 
5*x))**2+((-8*x**2-8*x)*exp(x)+16*x**2-40*x)*ln(ln(exp(x)*x-x**2+5*x))+(-3 
*exp(x)+3*x-15)*ln(exp(x)*x-x**2+5*x))/((48*exp(x)*x**2-48*x**3+240*x**2)* 
ln(exp(x)*x-x**2+5*x)*ln(ln(exp(x)*x-x**2+5*x))**4+(24*exp(x)*x**2-24*x**3 
+120*x**2)*ln(exp(x)*x-x**2+5*x)*ln(ln(exp(x)*x-x**2+5*x))**2+(3*exp(x)*x* 
*2-3*x**3+15*x**2)*ln(exp(x)*x-x**2+5*x)),x)
 
output
1/(12*log(log(-x**2 + x*exp(x) + 5*x))**2 + 3) + 1/x
 
3.14.73.7 Maxima [A] (verification not implemented)

Time = 0.49 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.17 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=\frac {12 \, \log \left (\log \left (x\right ) + \log \left (-x + e^{x} + 5\right )\right )^{2} + x + 3}{3 \, {\left (4 \, x \log \left (\log \left (x\right ) + \log \left (-x + e^{x} + 5\right )\right )^{2} + x\right )}} \]

input
integrate(((-48*exp(x)+48*x-240)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^ 
2+5*x))^4+(-24*exp(x)+24*x-120)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2 
+5*x))^2+((-8*x^2-8*x)*exp(x)+16*x^2-40*x)*log(log(exp(x)*x-x^2+5*x))+(-3* 
exp(x)+3*x-15)*log(exp(x)*x-x^2+5*x))/((48*exp(x)*x^2-48*x^3+240*x^2)*log( 
exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2+5*x))^4+(24*exp(x)*x^2-24*x^3+120*x 
^2)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2+5*x))^2+(3*exp(x)*x^2-3*x^3 
+15*x^2)*log(exp(x)*x-x^2+5*x)),x, algorithm=\
 
output
1/3*(12*log(log(x) + log(-x + e^x + 5))^2 + x + 3)/(4*x*log(log(x) + log(- 
x + e^x + 5))^2 + x)
 
3.14.73.8 Giac [A] (verification not implemented)

Time = 84.04 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.33 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=\frac {12 \, \log \left (\log \left (-x^{2} + x e^{x} + 5 \, x\right )\right )^{2} + x + 3}{3 \, {\left (4 \, x \log \left (\log \left (-x^{2} + x e^{x} + 5 \, x\right )\right )^{2} + x\right )}} \]

input
integrate(((-48*exp(x)+48*x-240)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^ 
2+5*x))^4+(-24*exp(x)+24*x-120)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2 
+5*x))^2+((-8*x^2-8*x)*exp(x)+16*x^2-40*x)*log(log(exp(x)*x-x^2+5*x))+(-3* 
exp(x)+3*x-15)*log(exp(x)*x-x^2+5*x))/((48*exp(x)*x^2-48*x^3+240*x^2)*log( 
exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2+5*x))^4+(24*exp(x)*x^2-24*x^3+120*x 
^2)*log(exp(x)*x-x^2+5*x)*log(log(exp(x)*x-x^2+5*x))^2+(3*exp(x)*x^2-3*x^3 
+15*x^2)*log(exp(x)*x-x^2+5*x)),x, algorithm=\
 
output
1/3*(12*log(log(-x^2 + x*e^x + 5*x))^2 + x + 3)/(4*x*log(log(-x^2 + x*e^x 
+ 5*x))^2 + x)
 
3.14.73.9 Mupad [B] (verification not implemented)

Time = 14.09 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.75 \[ \int \frac {\left (-15-3 e^x+3 x\right ) \log \left (5 x+e^x x-x^2\right )+\left (-40 x+16 x^2+e^x \left (-8 x-8 x^2\right )\right ) \log \left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-120-24 e^x+24 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (-240-48 e^x+48 x\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )}{\left (15 x^2+3 e^x x^2-3 x^3\right ) \log \left (5 x+e^x x-x^2\right )+\left (120 x^2+24 e^x x^2-24 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^2\left (\log \left (5 x+e^x x-x^2\right )\right )+\left (240 x^2+48 e^x x^2-48 x^3\right ) \log \left (5 x+e^x x-x^2\right ) \log ^4\left (\log \left (5 x+e^x x-x^2\right )\right )} \, dx=\frac {1}{3\,\left (4\,{\ln \left (\ln \left (5\,x+x\,{\mathrm {e}}^x-x^2\right )\right )}^2+1\right )}+\frac {1}{x} \]

input
int(-(log(5*x + x*exp(x) - x^2)*(3*exp(x) - 3*x + 15) + log(log(5*x + x*ex 
p(x) - x^2))*(40*x + exp(x)*(8*x + 8*x^2) - 16*x^2) + log(5*x + x*exp(x) - 
 x^2)*log(log(5*x + x*exp(x) - x^2))^2*(24*exp(x) - 24*x + 120) + log(5*x 
+ x*exp(x) - x^2)*log(log(5*x + x*exp(x) - x^2))^4*(48*exp(x) - 48*x + 240 
))/(log(5*x + x*exp(x) - x^2)*(3*x^2*exp(x) + 15*x^2 - 3*x^3) + log(5*x + 
x*exp(x) - x^2)*log(log(5*x + x*exp(x) - x^2))^2*(24*x^2*exp(x) + 120*x^2 
- 24*x^3) + log(5*x + x*exp(x) - x^2)*log(log(5*x + x*exp(x) - x^2))^4*(48 
*x^2*exp(x) + 240*x^2 - 48*x^3)),x)
 
output
1/(3*(4*log(log(5*x + x*exp(x) - x^2))^2 + 1)) + 1/x