\(\int \frac {512 x^5+768 x^6+256 x^7+e^x (-512 x^3+512 x^4+1152 x^5+384 x^6)+(-1024 x^4-1280 x^5-384 x^6+e^x (-1024 x^3-1280 x^4-384 x^5)) \log (\frac {e^x+x}{x})}{-e^x x^3-x^4+(3 e^x x^2+3 x^3) \log (\frac {e^x+x}{x})+(-3 e^x x-3 x^2) \log ^2(\frac {e^x+x}{x})+(e^x+x) \log ^3(\frac {e^x+x}{x})} \, dx\) [1631]

Optimal result

Integrand size = 173, antiderivative size = 29 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=-3+e-\frac {64 x^4 (2+x)^2}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2} \]

[Out]

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

Rubi [F]

\[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=\int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx \]

[In]

Int[(512*x^5 + 768*x^6 + 256*x^7 + E^x*(-512*x^3 + 512*x^4 + 1152*x^5 + 384*x^6) + (-1024*x^4 - 1280*x^5 - 384
*x^6 + E^x*(-1024*x^3 - 1280*x^4 - 384*x^5))*Log[(E^x + x)/x])/(-(E^x*x^3) - x^4 + (3*E^x*x^2 + 3*x^3)*Log[(E^
x + x)/x] + (-3*E^x*x - 3*x^2)*Log[(E^x + x)/x]^2 + (E^x + x)*Log[(E^x + x)/x]^3),x]

[Out]

512*Defer[Int][x^3/(x - Log[(E^x + x)/x])^3, x] + 512*Defer[Int][x^4/(x - Log[(E^x + x)/x])^3, x] + 128*Defer[
Int][x^5/(x - Log[(E^x + x)/x])^3, x] - 512*Defer[Int][x^4/((E^x + x)*(x - Log[(E^x + x)/x])^3), x] + 384*Defe
r[Int][x^6/((E^x + x)*(x - Log[(E^x + x)/x])^3), x] + 128*Defer[Int][x^7/((E^x + x)*(x - Log[(E^x + x)/x])^3),
x] - 1024*Defer[Int][x^3/(x - Log[(E^x + x)/x])^2, x] - 1280*Defer[Int][x^4/(x - Log[(E^x + x)/x])^2, x] - 38
4*Defer[Int][x^5/(x - Log[(E^x + x)/x])^2, x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {128 x^3 (2+x) \left (-2 x^2 (1+x)-e^x \left (-2+3 x+3 x^2\right )+\left (e^x+x\right ) (4+3 x) \log \left (\frac {e^x+x}{x}\right )\right )}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx \\ & = 128 \int \frac {x^3 (2+x) \left (-2 x^2 (1+x)-e^x \left (-2+3 x+3 x^2\right )+\left (e^x+x\right ) (4+3 x) \log \left (\frac {e^x+x}{x}\right )\right )}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx \\ & = 128 \int \left (\frac {(-1+x) x^4 (2+x)^2}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}-\frac {x^3 (2+x) \left (-2+3 x+3 x^2-4 \log \left (\frac {e^x+x}{x}\right )-3 x \log \left (\frac {e^x+x}{x}\right )\right )}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}\right ) \, dx \\ & = 128 \int \frac {(-1+x) x^4 (2+x)^2}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-128 \int \frac {x^3 (2+x) \left (-2+3 x+3 x^2-4 \log \left (\frac {e^x+x}{x}\right )-3 x \log \left (\frac {e^x+x}{x}\right )\right )}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx \\ & = 128 \int \left (-\frac {4 x^4}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}+\frac {3 x^6}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}+\frac {x^7}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}\right ) \, dx-128 \int \left (-\frac {x^3 (2+x)^2}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}+\frac {x^3 \left (8+10 x+3 x^2\right )}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2}\right ) \, dx \\ & = 128 \int \frac {x^3 (2+x)^2}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx+128 \int \frac {x^7}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-128 \int \frac {x^3 \left (8+10 x+3 x^2\right )}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2} \, dx+384 \int \frac {x^6}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-512 \int \frac {x^4}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx \\ & = 128 \int \left (\frac {4 x^3}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}+\frac {4 x^4}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}+\frac {x^5}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3}\right ) \, dx-128 \int \left (\frac {8 x^3}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2}+\frac {10 x^4}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2}+\frac {3 x^5}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2}\right ) \, dx+128 \int \frac {x^7}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx+384 \int \frac {x^6}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-512 \int \frac {x^4}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx \\ & = 128 \int \frac {x^5}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx+128 \int \frac {x^7}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx+384 \int \frac {x^6}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-384 \int \frac {x^5}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2} \, dx+512 \int \frac {x^3}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx+512 \int \frac {x^4}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-512 \int \frac {x^4}{\left (e^x+x\right ) \left (x-\log \left (\frac {e^x+x}{x}\right )\right )^3} \, dx-1024 \int \frac {x^3}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2} \, dx-1280 \int \frac {x^4}{\left (x-\log \left (\frac {e^x+x}{x}\right )\right )^2} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.52 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.90 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=-\frac {64 x^4 (2+x)^2}{\left (-x+\log \left (\frac {e^x+x}{x}\right )\right )^2} \]

[In]

Integrate[(512*x^5 + 768*x^6 + 256*x^7 + E^x*(-512*x^3 + 512*x^4 + 1152*x^5 + 384*x^6) + (-1024*x^4 - 1280*x^5
- 384*x^6 + E^x*(-1024*x^3 - 1280*x^4 - 384*x^5))*Log[(E^x + x)/x])/(-(E^x*x^3) - x^4 + (3*E^x*x^2 + 3*x^3)*L
og[(E^x + x)/x] + (-3*E^x*x - 3*x^2)*Log[(E^x + x)/x]^2 + (E^x + x)*Log[(E^x + x)/x]^3),x]

[Out]

(-64*x^4*(2 + x)^2)/(-x + Log[(E^x + x)/x])^2

Maple [A] (verified)

Time = 1.23 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.66

method	result	size
parallelrisch	\(\frac {-128 x^{6}-512 x^{5}-512 x^{4}}{2 x^{2}-4 x \ln \left (\frac {{\mathrm e}^{x}+x}{x}\right )+2 \ln \left (\frac {{\mathrm e}^{x}+x}{x}\right )^{2}}\)	\(48\)
risch	\(-\frac {256 \left (x^{2}+4 x +4\right ) x^{4}}{{\left (i \pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) \operatorname {csgn}\left (i \left ({\mathrm e}^{x}+x \right )\right ) \operatorname {csgn}\left (\frac {i \left ({\mathrm e}^{x}+x \right )}{x}\right )-i \pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) {\operatorname {csgn}\left (\frac {i \left ({\mathrm e}^{x}+x \right )}{x}\right )}^{2}-i \pi \,\operatorname {csgn}\left (i \left ({\mathrm e}^{x}+x \right )\right ) {\operatorname {csgn}\left (\frac {i \left ({\mathrm e}^{x}+x \right )}{x}\right )}^{2}+i \pi {\operatorname {csgn}\left (\frac {i \left ({\mathrm e}^{x}+x \right )}{x}\right )}^{3}+2 x +2 \ln \left (x \right )-2 \ln \left ({\mathrm e}^{x}+x \right )\right )}^{2}}\)	\(127\)

[In]

int((((-384*x^5-1280*x^4-1024*x^3)*exp(x)-384*x^6-1280*x^5-1024*x^4)*ln(1/x*(exp(x)+x))+(384*x^6+1152*x^5+512*
x^4-512*x^3)*exp(x)+256*x^7+768*x^6+512*x^5)/((exp(x)+x)*ln(1/x*(exp(x)+x))^3+(-3*exp(x)*x-3*x^2)*ln(1/x*(exp(
x)+x))^2+(3*exp(x)*x^2+3*x^3)*ln(1/x*(exp(x)+x))-exp(x)*x^3-x^4),x,method=_RETURNVERBOSE)

[Out]

1/2*(-128*x^6-512*x^5-512*x^4)/(x^2-2*x*ln(1/x*(exp(x)+x))+ln(1/x*(exp(x)+x))^2)

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 45, normalized size of antiderivative = 1.55 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=-\frac {64 \, {\left (x^{6} + 4 \, x^{5} + 4 \, x^{4}\right )}}{x^{2} - 2 \, x \log \left (\frac {x + e^{x}}{x}\right ) + \log \left (\frac {x + e^{x}}{x}\right )^{2}} \]

[In]

integrate((((-384*x^5-1280*x^4-1024*x^3)*exp(x)-384*x^6-1280*x^5-1024*x^4)*log(1/x*(exp(x)+x))+(384*x^6+1152*x
^5+512*x^4-512*x^3)*exp(x)+256*x^7+768*x^6+512*x^5)/((exp(x)+x)*log(1/x*(exp(x)+x))^3+(-3*exp(x)*x-3*x^2)*log(
1/x*(exp(x)+x))^2+(3*exp(x)*x^2+3*x^3)*log(1/x*(exp(x)+x))-exp(x)*x^3-x^4),x, algorithm="fricas")

[Out]

-64*(x^6 + 4*x^5 + 4*x^4)/(x^2 - 2*x*log((x + e^x)/x) + log((x + e^x)/x)^2)

Sympy [A] (verification not implemented)

Time = 0.13 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.41 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=\frac {- 64 x^{6} - 256 x^{5} - 256 x^{4}}{x^{2} - 2 x \log {\left (\frac {x + e^{x}}{x} \right )} + \log {\left (\frac {x + e^{x}}{x} \right )}^{2}} \]

[In]

integrate((((-384*x**5-1280*x**4-1024*x**3)*exp(x)-384*x**6-1280*x**5-1024*x**4)*ln(1/x*(exp(x)+x))+(384*x**6+
1152*x**5+512*x**4-512*x**3)*exp(x)+256*x**7+768*x**6+512*x**5)/((exp(x)+x)*ln(1/x*(exp(x)+x))**3+(-3*exp(x)*x
-3*x**2)*ln(1/x*(exp(x)+x))**2+(3*exp(x)*x**2+3*x**3)*ln(1/x*(exp(x)+x))-exp(x)*x**3-x**4),x)

[Out]

(-64*x**6 - 256*x**5 - 256*x**4)/(x**2 - 2*x*log((x + exp(x))/x) + log((x + exp(x))/x)**2)

Maxima [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 49, normalized size of antiderivative = 1.69 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=-\frac {64 \, {\left (x^{6} + 4 \, x^{5} + 4 \, x^{4}\right )}}{x^{2} - 2 \, {\left (x + \log \left (x\right )\right )} \log \left (x + e^{x}\right ) + \log \left (x + e^{x}\right )^{2} + 2 \, x \log \left (x\right ) + \log \left (x\right )^{2}} \]

[In]

integrate((((-384*x^5-1280*x^4-1024*x^3)*exp(x)-384*x^6-1280*x^5-1024*x^4)*log(1/x*(exp(x)+x))+(384*x^6+1152*x
^5+512*x^4-512*x^3)*exp(x)+256*x^7+768*x^6+512*x^5)/((exp(x)+x)*log(1/x*(exp(x)+x))^3+(-3*exp(x)*x-3*x^2)*log(
1/x*(exp(x)+x))^2+(3*exp(x)*x^2+3*x^3)*log(1/x*(exp(x)+x))-exp(x)*x^3-x^4),x, algorithm="maxima")

[Out]

-64*(x^6 + 4*x^5 + 4*x^4)/(x^2 - 2*(x + log(x))*log(x + e^x) + log(x + e^x)^2 + 2*x*log(x) + log(x)^2)

Giac [A] (verification not implemented)

none

Time = 0.62 (sec) , antiderivative size = 45, normalized size of antiderivative = 1.55 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=-\frac {64 \, {\left (x^{6} + 4 \, x^{5} + 4 \, x^{4}\right )}}{x^{2} - 2 \, x \log \left (\frac {x + e^{x}}{x}\right ) + \log \left (\frac {x + e^{x}}{x}\right )^{2}} \]

[In]

integrate((((-384*x^5-1280*x^4-1024*x^3)*exp(x)-384*x^6-1280*x^5-1024*x^4)*log(1/x*(exp(x)+x))+(384*x^6+1152*x
^5+512*x^4-512*x^3)*exp(x)+256*x^7+768*x^6+512*x^5)/((exp(x)+x)*log(1/x*(exp(x)+x))^3+(-3*exp(x)*x-3*x^2)*log(
1/x*(exp(x)+x))^2+(3*exp(x)*x^2+3*x^3)*log(1/x*(exp(x)+x))-exp(x)*x^3-x^4),x, algorithm="giac")

[Out]

-64*(x^6 + 4*x^5 + 4*x^4)/(x^2 - 2*x*log((x + e^x)/x) + log((x + e^x)/x)^2)

Mupad [B] (verification not implemented)

Time = 9.26 (sec) , antiderivative size = 540, normalized size of antiderivative = 18.62 \[ \int \frac {512 x^5+768 x^6+256 x^7+e^x \left (-512 x^3+512 x^4+1152 x^5+384 x^6\right )+\left (-1024 x^4-1280 x^5-384 x^6+e^x \left (-1024 x^3-1280 x^4-384 x^5\right )\right ) \log \left (\frac {e^x+x}{x}\right )}{-e^x x^3-x^4+\left (3 e^x x^2+3 x^3\right ) \log \left (\frac {e^x+x}{x}\right )+\left (-3 e^x x-3 x^2\right ) \log ^2\left (\frac {e^x+x}{x}\right )+\left (e^x+x\right ) \log ^3\left (\frac {e^x+x}{x}\right )} \, dx=\frac {\frac {64\,x\,\left (x+{\mathrm {e}}^x\right )\,\left (24\,x^5\,{\mathrm {e}}^x+48\,x^6\,{\mathrm {e}}^x+43\,x^7\,{\mathrm {e}}^x+19\,x^8\,{\mathrm {e}}^x+3\,x^9\,{\mathrm {e}}^x-8\,x^3\,{\mathrm {e}}^{2\,x}+22\,x^4\,{\mathrm {e}}^{2\,x}+47\,x^5\,{\mathrm {e}}^{2\,x}+18\,x^6\,{\mathrm {e}}^{2\,x}+16\,x^7+30\,x^8+12\,x^9\right )}{{\left ({\mathrm {e}}^x+x^2\right )}^3}-\frac {64\,x\,\ln \left (\frac {x+{\mathrm {e}}^x}{x}\right )\,\left (x+{\mathrm {e}}^x\right )\,\left (40\,x^4\,{\mathrm {e}}^x+68\,x^5\,{\mathrm {e}}^x+49\,x^6\,{\mathrm {e}}^x+19\,x^7\,{\mathrm {e}}^x+3\,x^8\,{\mathrm {e}}^x+32\,x^3\,{\mathrm {e}}^{2\,x}+50\,x^4\,{\mathrm {e}}^{2\,x}+18\,x^5\,{\mathrm {e}}^{2\,x}+24\,x^6+40\,x^7+15\,x^8\right )}{{\left ({\mathrm {e}}^x+x^2\right )}^3}}{x-\ln \left (\frac {x+{\mathrm {e}}^x}{x}\right )}+\frac {\frac {64\,x^4\,\left (x+2\right )\,\left (3\,x^2\,{\mathrm {e}}^x-2\,{\mathrm {e}}^x+3\,x\,{\mathrm {e}}^x+2\,x^2+2\,x^3\right )}{{\mathrm {e}}^x+x^2}-\frac {64\,x^4\,\ln \left (\frac {x+{\mathrm {e}}^x}{x}\right )\,\left (x+{\mathrm {e}}^x\right )\,\left (3\,x^2+10\,x+8\right )}{{\mathrm {e}}^x+x^2}}{x^2-2\,x\,\ln \left (\frac {x+{\mathrm {e}}^x}{x}\right )+{\ln \left (\frac {x+{\mathrm {e}}^x}{x}\right )}^2}-2048\,x^4-3200\,x^5-1152\,x^6-\frac {64\,\left (-3\,x^{11}+41\,x^{10}+13\,x^9-188\,x^8-28\,x^7+144\,x^6\right )}{\left ({\mathrm {e}}^x+x^2\right )\,\left (2\,x-x^2\right )}-\frac {64\,\left (-3\,x^{15}+8\,x^{14}+13\,x^{13}-46\,x^{12}+4\,x^{11}+56\,x^{10}-32\,x^9\right )}{\left (2\,x-x^2\right )\,\left ({\mathrm {e}}^{3\,x}+3\,x^4\,{\mathrm {e}}^x+3\,x^2\,{\mathrm {e}}^{2\,x}+x^6\right )}+\frac {64\,\left (-6\,x^{13}+31\,x^{12}+12\,x^{11}-151\,x^{10}+50\,x^9+144\,x^8-80\,x^7\right )}{\left (2\,x-x^2\right )\,\left ({\mathrm {e}}^{2\,x}+2\,x^2\,{\mathrm {e}}^x+x^4\right )} \]

[In]

int(-(exp(x)*(512*x^4 - 512*x^3 + 1152*x^5 + 384*x^6) + 512*x^5 + 768*x^6 + 256*x^7 - log((x + exp(x))/x)*(exp
(x)*(1024*x^3 + 1280*x^4 + 384*x^5) + 1024*x^4 + 1280*x^5 + 384*x^6))/(x^3*exp(x) + log((x + exp(x))/x)^2*(3*x
*exp(x) + 3*x^2) - log((x + exp(x))/x)*(3*x^2*exp(x) + 3*x^3) - log((x + exp(x))/x)^3*(x + exp(x)) + x^4),x)

[Out]

((64*x*(x + exp(x))*(24*x^5*exp(x) + 48*x^6*exp(x) + 43*x^7*exp(x) + 19*x^8*exp(x) + 3*x^9*exp(x) - 8*x^3*exp(
2*x) + 22*x^4*exp(2*x) + 47*x^5*exp(2*x) + 18*x^6*exp(2*x) + 16*x^7 + 30*x^8 + 12*x^9))/(exp(x) + x^2)^3 - (64
*x*log((x + exp(x))/x)*(x + exp(x))*(40*x^4*exp(x) + 68*x^5*exp(x) + 49*x^6*exp(x) + 19*x^7*exp(x) + 3*x^8*exp
(x) + 32*x^3*exp(2*x) + 50*x^4*exp(2*x) + 18*x^5*exp(2*x) + 24*x^6 + 40*x^7 + 15*x^8))/(exp(x) + x^2)^3)/(x -
log((x + exp(x))/x)) + ((64*x^4*(x + 2)*(3*x^2*exp(x) - 2*exp(x) + 3*x*exp(x) + 2*x^2 + 2*x^3))/(exp(x) + x^2)
- (64*x^4*log((x + exp(x))/x)*(x + exp(x))*(10*x + 3*x^2 + 8))/(exp(x) + x^2))/(log((x + exp(x))/x)^2 - 2*x*l
og((x + exp(x))/x) + x^2) - 2048*x^4 - 3200*x^5 - 1152*x^6 - (64*(144*x^6 - 28*x^7 - 188*x^8 + 13*x^9 + 41*x^1
0 - 3*x^11))/((exp(x) + x^2)*(2*x - x^2)) - (64*(56*x^10 - 32*x^9 + 4*x^11 - 46*x^12 + 13*x^13 + 8*x^14 - 3*x^
15))/((2*x - x^2)*(exp(3*x) + 3*x^4*exp(x) + 3*x^2*exp(2*x) + x^6)) + (64*(144*x^8 - 80*x^7 + 50*x^9 - 151*x^1
0 + 12*x^11 + 31*x^12 - 6*x^13))/((2*x - x^2)*(exp(2*x) + 2*x^2*exp(x) + x^4))