\(\int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x (-450+360 x+15 x^3+2 x^4)+(-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x (225 x-360 x^2+114 x^3+24 x^4+x^5)+(-9 e^x x^3+9 x^4) \log (-e^x+x)) \log ^2(\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log (-e^x+x)}{9 x^2})}{(225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x (-225 x+360 x^2-114 x^3-24 x^4-x^5)+(9 e^x x^3-9 x^4) \log (-e^x+x)) \log ^2(\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log (-e^x+x)}{9 x^2})} \, dx\) [136]

Optimal result
Mathematica [A] (verified)
Rubi [F]
Maple [C] (warning: unable to verify)
Fricas [B] (verification not implemented)
Sympy [A] (verification not implemented)
Maxima [B] (verification not implemented)
Giac [B] (verification not implemented)
Mupad [B] (verification not implemented)
Reduce [B] (verification not implemented)

Optimal result

Integrand size = 279, antiderivative size = 39 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=-x+\frac {1}{\log \left (\left (2-\frac {5-\left (2+\frac {x}{3}\right ) x}{x}\right )^2-\log \left (-e^x+x\right )\right )} \] Output:

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

Mathematica [A] (verified)

Time = 0.11 (sec) , antiderivative size = 35, normalized size of antiderivative = 0.90 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=-x+\frac {1}{\log \left (\frac {\left (-15+12 x+x^2\right )^2}{9 x^2}-\log \left (-e^x+x\right )\right )} \] Input:

Integrate[(450*x - 360*x^2 + 9*x^3 - 24*x^4 - 2*x^5 + E^x*(-450 + 360*x + 
15*x^3 + 2*x^4) + (-225*x^2 + 360*x^3 - 114*x^4 - 24*x^5 - x^6 + E^x*(225* 
x - 360*x^2 + 114*x^3 + 24*x^4 + x^5) + (-9*E^x*x^3 + 9*x^4)*Log[-E^x + x] 
)*Log[(225 - 360*x + 114*x^2 + 24*x^3 + x^4 - 9*x^2*Log[-E^x + x])/(9*x^2) 
]^2)/((225*x^2 - 360*x^3 + 114*x^4 + 24*x^5 + x^6 + E^x*(-225*x + 360*x^2 
- 114*x^3 - 24*x^4 - x^5) + (9*E^x*x^3 - 9*x^4)*Log[-E^x + x])*Log[(225 - 
360*x + 114*x^2 + 24*x^3 + x^4 - 9*x^2*Log[-E^x + x])/(9*x^2)]^2),x]
 

Output:

-x + Log[(-15 + 12*x + x^2)^2/(9*x^2) - Log[-E^x + x]]^(-1)
 

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 {-2 x^5-24 x^4+9 x^3-360 x^2+e^x \left (2 x^4+15 x^3+360 x-450\right )+\left (-x^6-24 x^5-114 x^4+360 x^3-225 x^2+\left (9 x^4-9 e^x x^3\right ) \log \left (x-e^x\right )+e^x \left (x^5+24 x^4+114 x^3-360 x^2+225 x\right )\right ) \log ^2\left (\frac {x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225}{9 x^2}\right )+450 x}{\left (x^6+24 x^5+114 x^4-360 x^3+225 x^2+\left (9 e^x x^3-9 x^4\right ) \log \left (x-e^x\right )+e^x \left (-x^5-24 x^4-114 x^3+360 x^2-225 x\right )\right ) \log ^2\left (\frac {x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225}{9 x^2}\right )} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {2 x^5+24 x^4-9 x^3+360 x^2-e^x \left (2 x^4+15 x^3+360 x-450\right )-\left (-x^6-24 x^5-114 x^4+360 x^3-225 x^2+\left (9 x^4-9 e^x x^3\right ) \log \left (x-e^x\right )+e^x \left (x^5+24 x^4+114 x^3-360 x^2+225 x\right )\right ) \log ^2\left (\frac {x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225}{9 x^2}\right )-450 x}{\left (e^x-x\right ) x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225}{9 x^2}\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-e^x \left (2 x^4+15 x^3+360 x-450\right )+x \left (2 x^4+24 x^3-9 x^2+360 x-450\right )}{\left (e^x-x\right ) x \left (\left (x^2+12 x-15\right )^2-9 x^2 \log \left (x-e^x\right )\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {9 (x-1) x^2}{\left (e^x-x\right ) \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}+\frac {-2 x^4-15 x^3+360 x^2 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-225 x \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+x^5 \left (-\log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )\right )-24 x^4 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )+9 x^3 \log \left (x-e^x\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-114 x^3 \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )-360 x+450}{x \left (x^4+24 x^3+114 x^2-9 x^2 \log \left (x-e^x\right )-360 x+225\right ) \log ^2\left (\frac {\left (x^2+12 x-15\right )^2}{9 x^2}-\log \left (x-e^x\right )\right )}\right )dx\)

Input:

Int[(450*x - 360*x^2 + 9*x^3 - 24*x^4 - 2*x^5 + E^x*(-450 + 360*x + 15*x^3 
 + 2*x^4) + (-225*x^2 + 360*x^3 - 114*x^4 - 24*x^5 - x^6 + E^x*(225*x - 36 
0*x^2 + 114*x^3 + 24*x^4 + x^5) + (-9*E^x*x^3 + 9*x^4)*Log[-E^x + x])*Log[ 
(225 - 360*x + 114*x^2 + 24*x^3 + x^4 - 9*x^2*Log[-E^x + x])/(9*x^2)]^2)/( 
(225*x^2 - 360*x^3 + 114*x^4 + 24*x^5 + x^6 + E^x*(-225*x + 360*x^2 - 114* 
x^3 - 24*x^4 - x^5) + (9*E^x*x^3 - 9*x^4)*Log[-E^x + x])*Log[(225 - 360*x 
+ 114*x^2 + 24*x^3 + x^4 - 9*x^2*Log[-E^x + x])/(9*x^2)]^2),x]
 

Output:

$Aborted
 
Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 0.06 (sec) , antiderivative size = 337, normalized size of antiderivative = 8.64

\[-x -\frac {2 i}{\pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )-2 \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+\pi \operatorname {csgn}\left (i x^{2}\right )^{3}-\pi \,\operatorname {csgn}\left (\frac {i}{x^{2}}\right ) \operatorname {csgn}\left (i \left (225+x^{4}+24 x^{3}-\left (9 \ln \left (x -{\mathrm e}^{x}\right )-114\right ) x^{2}-360 x \right )\right ) \operatorname {csgn}\left (\frac {i \left (225+x^{4}+24 x^{3}-\left (9 \ln \left (x -{\mathrm e}^{x}\right )-114\right ) x^{2}-360 x \right )}{x^{2}}\right )+\pi \,\operatorname {csgn}\left (\frac {i}{x^{2}}\right ) {\operatorname {csgn}\left (\frac {i \left (225+x^{4}+24 x^{3}-\left (9 \ln \left (x -{\mathrm e}^{x}\right )-114\right ) x^{2}-360 x \right )}{x^{2}}\right )}^{2}+\pi \,\operatorname {csgn}\left (i \left (225+x^{4}+24 x^{3}-\left (9 \ln \left (x -{\mathrm e}^{x}\right )-114\right ) x^{2}-360 x \right )\right ) {\operatorname {csgn}\left (\frac {i \left (225+x^{4}+24 x^{3}-\left (9 \ln \left (x -{\mathrm e}^{x}\right )-114\right ) x^{2}-360 x \right )}{x^{2}}\right )}^{2}-\pi {\operatorname {csgn}\left (\frac {i \left (225+x^{4}+24 x^{3}-\left (9 \ln \left (x -{\mathrm e}^{x}\right )-114\right ) x^{2}-360 x \right )}{x^{2}}\right )}^{3}+4 i \ln \left (3\right )+4 i \ln \left (x \right )-2 i \ln \left (225+x^{4}+24 x^{3}+\left (-9 \ln \left (x -{\mathrm e}^{x}\right )+114\right ) x^{2}-360 x \right )}\]

Input:

int((((-9*exp(x)*x^3+9*x^4)*ln(x-exp(x))+(x^5+24*x^4+114*x^3-360*x^2+225*x 
)*exp(x)-x^6-24*x^5-114*x^4+360*x^3-225*x^2)*ln(1/9*(-9*x^2*ln(x-exp(x))+x 
^4+24*x^3+114*x^2-360*x+225)/x^2)^2+(2*x^4+15*x^3+360*x-450)*exp(x)-2*x^5- 
24*x^4+9*x^3-360*x^2+450*x)/((9*exp(x)*x^3-9*x^4)*ln(x-exp(x))+(-x^5-24*x^ 
4-114*x^3+360*x^2-225*x)*exp(x)+x^6+24*x^5+114*x^4-360*x^3+225*x^2)/ln(1/9 
*(-9*x^2*ln(x-exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2,x)
 

Output:

-x-2*I/(Pi*csgn(I*x)^2*csgn(I*x^2)-2*Pi*csgn(I*x)*csgn(I*x^2)^2+Pi*csgn(I* 
x^2)^3-Pi*csgn(I/x^2)*csgn(I*(225+x^4+24*x^3-(9*ln(x-exp(x))-114)*x^2-360* 
x))*csgn(I/x^2*(225+x^4+24*x^3-(9*ln(x-exp(x))-114)*x^2-360*x))+Pi*csgn(I/ 
x^2)*csgn(I/x^2*(225+x^4+24*x^3-(9*ln(x-exp(x))-114)*x^2-360*x))^2+Pi*csgn 
(I*(225+x^4+24*x^3-(9*ln(x-exp(x))-114)*x^2-360*x))*csgn(I/x^2*(225+x^4+24 
*x^3-(9*ln(x-exp(x))-114)*x^2-360*x))^2-Pi*csgn(I/x^2*(225+x^4+24*x^3-(9*l 
n(x-exp(x))-114)*x^2-360*x))^3+4*I*ln(3)+4*I*ln(x)-2*I*ln(225+x^4+24*x^3+( 
-9*ln(x-exp(x))+114)*x^2-360*x))
 

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 80 vs. \(2 (34) = 68\).

Time = 0.08 (sec) , antiderivative size = 80, normalized size of antiderivative = 2.05 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=-\frac {x \log \left (\frac {x^{4} + 24 \, x^{3} - 9 \, x^{2} \log \left (x - e^{x}\right ) + 114 \, x^{2} - 360 \, x + 225}{9 \, x^{2}}\right ) - 1}{\log \left (\frac {x^{4} + 24 \, x^{3} - 9 \, x^{2} \log \left (x - e^{x}\right ) + 114 \, x^{2} - 360 \, x + 225}{9 \, x^{2}}\right )} \] Input:

integrate((((-9*exp(x)*x^3+9*x^4)*log(x-exp(x))+(x^5+24*x^4+114*x^3-360*x^ 
2+225*x)*exp(x)-x^6-24*x^5-114*x^4+360*x^3-225*x^2)*log(1/9*(-9*x^2*log(x- 
exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2+(2*x^4+15*x^3+360*x-450)*exp( 
x)-2*x^5-24*x^4+9*x^3-360*x^2+450*x)/((9*exp(x)*x^3-9*x^4)*log(x-exp(x))+( 
-x^5-24*x^4-114*x^3+360*x^2-225*x)*exp(x)+x^6+24*x^5+114*x^4-360*x^3+225*x 
^2)/log(1/9*(-9*x^2*log(x-exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2,x, 
algorithm="fricas")
 

Output:

-(x*log(1/9*(x^4 + 24*x^3 - 9*x^2*log(x - e^x) + 114*x^2 - 360*x + 225)/x^ 
2) - 1)/log(1/9*(x^4 + 24*x^3 - 9*x^2*log(x - e^x) + 114*x^2 - 360*x + 225 
)/x^2)
 

Sympy [A] (verification not implemented)

Time = 66.85 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.05 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=- x + \frac {1}{\log {\left (\frac {\frac {x^{4}}{9} + \frac {8 x^{3}}{3} - x^{2} \log {\left (x - e^{x} \right )} + \frac {38 x^{2}}{3} - 40 x + 25}{x^{2}} \right )}} \] Input:

integrate((((-9*exp(x)*x**3+9*x**4)*ln(x-exp(x))+(x**5+24*x**4+114*x**3-36 
0*x**2+225*x)*exp(x)-x**6-24*x**5-114*x**4+360*x**3-225*x**2)*ln(1/9*(-9*x 
**2*ln(x-exp(x))+x**4+24*x**3+114*x**2-360*x+225)/x**2)**2+(2*x**4+15*x**3 
+360*x-450)*exp(x)-2*x**5-24*x**4+9*x**3-360*x**2+450*x)/((9*exp(x)*x**3-9 
*x**4)*ln(x-exp(x))+(-x**5-24*x**4-114*x**3+360*x**2-225*x)*exp(x)+x**6+24 
*x**5+114*x**4-360*x**3+225*x**2)/ln(1/9*(-9*x**2*ln(x-exp(x))+x**4+24*x** 
3+114*x**2-360*x+225)/x**2)**2,x)
 

Output:

-x + 1/log((x**4/9 + 8*x**3/3 - x**2*log(x - exp(x)) + 38*x**2/3 - 40*x + 
25)/x**2)
 

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 92 vs. \(2 (34) = 68\).

Time = 0.39 (sec) , antiderivative size = 92, normalized size of antiderivative = 2.36 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=-\frac {2 \, x \log \left (3\right ) - x \log \left (x^{4} + 24 \, x^{3} - 9 \, x^{2} \log \left (x - e^{x}\right ) + 114 \, x^{2} - 360 \, x + 225\right ) + 2 \, x \log \left (x\right ) + 1}{2 \, \log \left (3\right ) - \log \left (x^{4} + 24 \, x^{3} - 9 \, x^{2} \log \left (x - e^{x}\right ) + 114 \, x^{2} - 360 \, x + 225\right ) + 2 \, \log \left (x\right )} \] Input:

integrate((((-9*exp(x)*x^3+9*x^4)*log(x-exp(x))+(x^5+24*x^4+114*x^3-360*x^ 
2+225*x)*exp(x)-x^6-24*x^5-114*x^4+360*x^3-225*x^2)*log(1/9*(-9*x^2*log(x- 
exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2+(2*x^4+15*x^3+360*x-450)*exp( 
x)-2*x^5-24*x^4+9*x^3-360*x^2+450*x)/((9*exp(x)*x^3-9*x^4)*log(x-exp(x))+( 
-x^5-24*x^4-114*x^3+360*x^2-225*x)*exp(x)+x^6+24*x^5+114*x^4-360*x^3+225*x 
^2)/log(1/9*(-9*x^2*log(x-exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2,x, 
algorithm="maxima")
 

Output:

-(2*x*log(3) - x*log(x^4 + 24*x^3 - 9*x^2*log(x - e^x) + 114*x^2 - 360*x + 
 225) + 2*x*log(x) + 1)/(2*log(3) - log(x^4 + 24*x^3 - 9*x^2*log(x - e^x) 
+ 114*x^2 - 360*x + 225) + 2*log(x))
 

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 88 vs. \(2 (34) = 68\).

Time = 1.98 (sec) , antiderivative size = 88, normalized size of antiderivative = 2.26 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=-\frac {x \log \left (x^{4} + 24 \, x^{3} - 9 \, x^{2} \log \left (x - e^{x}\right ) + 114 \, x^{2} - 360 \, x + 225\right ) - x \log \left (9 \, x^{2}\right ) - 1}{\log \left (x^{4} + 24 \, x^{3} - 9 \, x^{2} \log \left (x - e^{x}\right ) + 114 \, x^{2} - 360 \, x + 225\right ) - \log \left (9 \, x^{2}\right )} \] Input:

integrate((((-9*exp(x)*x^3+9*x^4)*log(x-exp(x))+(x^5+24*x^4+114*x^3-360*x^ 
2+225*x)*exp(x)-x^6-24*x^5-114*x^4+360*x^3-225*x^2)*log(1/9*(-9*x^2*log(x- 
exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2+(2*x^4+15*x^3+360*x-450)*exp( 
x)-2*x^5-24*x^4+9*x^3-360*x^2+450*x)/((9*exp(x)*x^3-9*x^4)*log(x-exp(x))+( 
-x^5-24*x^4-114*x^3+360*x^2-225*x)*exp(x)+x^6+24*x^5+114*x^4-360*x^3+225*x 
^2)/log(1/9*(-9*x^2*log(x-exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2,x, 
algorithm="giac")
 

Output:

-(x*log(x^4 + 24*x^3 - 9*x^2*log(x - e^x) + 114*x^2 - 360*x + 225) - x*log 
(9*x^2) - 1)/(log(x^4 + 24*x^3 - 9*x^2*log(x - e^x) + 114*x^2 - 360*x + 22 
5) - log(9*x^2))
 

Mupad [B] (verification not implemented)

Time = 0.55 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.08 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=\frac {1}{\ln \left (\frac {114\,x^2-9\,x^2\,\ln \left (x-{\mathrm {e}}^x\right )-360\,x+24\,x^3+x^4+225}{9\,x^2}\right )}-x \] Input:

int(-(log(((38*x^2)/3 - x^2*log(x - exp(x)) - 40*x + (8*x^3)/3 + x^4/9 + 2 
5)/x^2)^2*(log(x - exp(x))*(9*x^3*exp(x) - 9*x^4) + 225*x^2 - 360*x^3 + 11 
4*x^4 + 24*x^5 + x^6 - exp(x)*(225*x - 360*x^2 + 114*x^3 + 24*x^4 + x^5)) 
- 450*x + 360*x^2 - 9*x^3 + 24*x^4 + 2*x^5 - exp(x)*(360*x + 15*x^3 + 2*x^ 
4 - 450))/(log(((38*x^2)/3 - x^2*log(x - exp(x)) - 40*x + (8*x^3)/3 + x^4/ 
9 + 25)/x^2)^2*(log(x - exp(x))*(9*x^3*exp(x) - 9*x^4) + 225*x^2 - 360*x^3 
 + 114*x^4 + 24*x^5 + x^6 - exp(x)*(225*x - 360*x^2 + 114*x^3 + 24*x^4 + x 
^5))),x)
 

Output:

1/log((114*x^2 - 9*x^2*log(x - exp(x)) - 360*x + 24*x^3 + x^4 + 225)/(9*x^ 
2)) - x
 

Reduce [B] (verification not implemented)

Time = 0.80 (sec) , antiderivative size = 82, normalized size of antiderivative = 2.10 \[ \int \frac {450 x-360 x^2+9 x^3-24 x^4-2 x^5+e^x \left (-450+360 x+15 x^3+2 x^4\right )+\left (-225 x^2+360 x^3-114 x^4-24 x^5-x^6+e^x \left (225 x-360 x^2+114 x^3+24 x^4+x^5\right )+\left (-9 e^x x^3+9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )}{\left (225 x^2-360 x^3+114 x^4+24 x^5+x^6+e^x \left (-225 x+360 x^2-114 x^3-24 x^4-x^5\right )+\left (9 e^x x^3-9 x^4\right ) \log \left (-e^x+x\right )\right ) \log ^2\left (\frac {225-360 x+114 x^2+24 x^3+x^4-9 x^2 \log \left (-e^x+x\right )}{9 x^2}\right )} \, dx=\frac {-\mathrm {log}\left (\frac {-9 \,\mathrm {log}\left (-e^{x}+x \right ) x^{2}+x^{4}+24 x^{3}+114 x^{2}-360 x +225}{9 x^{2}}\right ) x +1}{\mathrm {log}\left (\frac {-9 \,\mathrm {log}\left (-e^{x}+x \right ) x^{2}+x^{4}+24 x^{3}+114 x^{2}-360 x +225}{9 x^{2}}\right )} \] Input:

int((((-9*exp(x)*x^3+9*x^4)*log(x-exp(x))+(x^5+24*x^4+114*x^3-360*x^2+225* 
x)*exp(x)-x^6-24*x^5-114*x^4+360*x^3-225*x^2)*log(1/9*(-9*x^2*log(x-exp(x) 
)+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2+(2*x^4+15*x^3+360*x-450)*exp(x)-2*x 
^5-24*x^4+9*x^3-360*x^2+450*x)/((9*exp(x)*x^3-9*x^4)*log(x-exp(x))+(-x^5-2 
4*x^4-114*x^3+360*x^2-225*x)*exp(x)+x^6+24*x^5+114*x^4-360*x^3+225*x^2)/lo 
g(1/9*(-9*x^2*log(x-exp(x))+x^4+24*x^3+114*x^2-360*x+225)/x^2)^2,x)
 

Output:

( - log(( - 9*log( - e**x + x)*x**2 + x**4 + 24*x**3 + 114*x**2 - 360*x + 
225)/(9*x**2))*x + 1)/log(( - 9*log( - e**x + x)*x**2 + x**4 + 24*x**3 + 1 
14*x**2 - 360*x + 225)/(9*x**2))