\(\int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x (16 x+44 x^2-13 x^3)+(3 x^4+e^x (-4 x^3+x^4)) \log (x)+(-8 x^3+e^x (12 x^2-4 x^3)) \log (x^2)}{2 e^{2 x}-4 e^x x+2 x^2} \, dx\) [3790]

Optimal result

Integrand size = 109, antiderivative size = 31 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=2 x \left (-2+\frac {x^2 \left (3-\frac {1}{4} x \log (x)+\log \left (x^2\right )\right )}{e^x-x}\right ) \]

[Out]

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

Rubi [F]

\[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=\int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx \]

[In]

Int[(-8*E^(2*x) - 8*x^2 - 32*x^3 + x^4 + E^x*(16*x + 44*x^2 - 13*x^3) + (3*x^4 + E^x*(-4*x^3 + x^4))*Log[x] +
(-8*x^3 + E^x*(12*x^2 - 4*x^3))*Log[x^2])/(2*E^(2*x) - 4*E^x*x + 2*x^2),x]

[Out]

-4*x + 22*Defer[Int][x^2/(E^x - x), x] + 6*Log[x^2]*Defer[Int][x^2/(E^x - x), x] + 6*Defer[Int][x^3/(E^x - x)^
2, x] + 2*Log[x^2]*Defer[Int][x^3/(E^x - x)^2, x] - (13*Defer[Int][x^3/(E^x - x), x])/2 - 2*Log[x]*Defer[Int][
x^3/(E^x - x), x] - 2*Log[x^2]*Defer[Int][x^3/(E^x - x), x] - 6*Defer[Int][x^4/(E^x - x)^2, x] - (Log[x]*Defer
[Int][x^4/(E^x - x)^2, x])/2 - 2*Log[x^2]*Defer[Int][x^4/(E^x - x)^2, x] + (Log[x]*Defer[Int][x^4/(E^x - x), x
])/2 + (Log[x]*Defer[Int][x^5/(E^x - x)^2, x])/2 - 12*Defer[Int][Defer[Int][x^2/(E^x - x), x]/x, x] - 4*Defer[
Int][Defer[Int][x^3/(E^x - x)^2, x]/x, x] + 6*Defer[Int][Defer[Int][x^3/(E^x - x), x]/x, x] + (9*Defer[Int][De
fer[Int][x^4/(E^x - x)^2, x]/x, x])/2 - Defer[Int][Defer[Int][x^4/(E^x - x), x]/x, x]/2 - Defer[Int][Defer[Int
][x^5/(E^x - x)^2, x]/x, x]/2

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

Mathematica [A] (verified)

Time = 0.10 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.42 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=\frac {x \left (-8 e^x+8 x+12 x^2-x^3 \log (x)+4 x^2 \log \left (x^2\right )\right )}{2 \left (e^x-x\right )} \]

[In]

Integrate[(-8*E^(2*x) - 8*x^2 - 32*x^3 + x^4 + E^x*(16*x + 44*x^2 - 13*x^3) + (3*x^4 + E^x*(-4*x^3 + x^4))*Log
[x] + (-8*x^3 + E^x*(12*x^2 - 4*x^3))*Log[x^2])/(2*E^(2*x) - 4*E^x*x + 2*x^2),x]

[Out]

(x*(-8*E^x + 8*x + 12*x^2 - x^3*Log[x] + 4*x^2*Log[x^2]))/(2*(E^x - x))

Maple [A] (verified)

Time = 1.90 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.39

method	result	size
parallelrisch	\(\frac {-480 x^{3} \ln \left (x^{2}\right )+120 x^{4} \ln \left (x \right )+960 \,{\mathrm e}^{x} x -1440 x^{3}-960 x^{2}}{240 x -240 \,{\mathrm e}^{x}}\)	\(43\)
risch	\(\frac {\left (-8+x \right ) x^{3} \ln \left (x \right )}{-2 \,{\mathrm e}^{x}+2 x}-\frac {x \left (i \pi \,x^{2} \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )-2 i \pi \,x^{2} \operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+i \pi \,x^{2} \operatorname {csgn}\left (i x^{2}\right )^{3}-6 x^{2}-4 x +4 \,{\mathrm e}^{x}\right )}{{\mathrm e}^{x}-x}\)	\(102\)

[In]

int((((-4*x^3+12*x^2)*exp(x)-8*x^3)*ln(x^2)+((x^4-4*x^3)*exp(x)+3*x^4)*ln(x)-8*exp(x)^2+(-13*x^3+44*x^2+16*x)*
exp(x)+x^4-32*x^3-8*x^2)/(2*exp(x)^2-4*exp(x)*x+2*x^2),x,method=_RETURNVERBOSE)

[Out]

1/240*(-480*x^3*ln(x^2)+120*x^4*ln(x)+960*exp(x)*x-1440*x^3-960*x^2)/(x-exp(x))

Fricas [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.26 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=-\frac {12 \, x^{3} + 8 \, x^{2} - 8 \, x e^{x} - {\left (x^{4} - 8 \, x^{3}\right )} \log \left (x\right )}{2 \, {\left (x - e^{x}\right )}} \]

[In]

integrate((((-4*x^3+12*x^2)*exp(x)-8*x^3)*log(x^2)+((x^4-4*x^3)*exp(x)+3*x^4)*log(x)-8*exp(x)^2+(-13*x^3+44*x^
2+16*x)*exp(x)+x^4-32*x^3-8*x^2)/(2*exp(x)^2-4*exp(x)*x+2*x^2),x, algorithm="fricas")

[Out]

-1/2*(12*x^3 + 8*x^2 - 8*x*e^x - (x^4 - 8*x^3)*log(x))/(x - e^x)

Sympy [A] (verification not implemented)

Time = 0.08 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.00 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=- 4 x + \frac {- x^{4} \log {\left (x \right )} + 8 x^{3} \log {\left (x \right )} + 12 x^{3}}{- 2 x + 2 e^{x}} \]

[In]

integrate((((-4*x**3+12*x**2)*exp(x)-8*x**3)*ln(x**2)+((x**4-4*x**3)*exp(x)+3*x**4)*ln(x)-8*exp(x)**2+(-13*x**
3+44*x**2+16*x)*exp(x)+x**4-32*x**3-8*x**2)/(2*exp(x)**2-4*exp(x)*x+2*x**2),x)

[Out]

-4*x + (-x**4*log(x) + 8*x**3*log(x) + 12*x**3)/(-2*x + 2*exp(x))

Maxima [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.26 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=-\frac {12 \, x^{3} + 8 \, x^{2} - 8 \, x e^{x} - {\left (x^{4} - 8 \, x^{3}\right )} \log \left (x\right )}{2 \, {\left (x - e^{x}\right )}} \]

[In]

integrate((((-4*x^3+12*x^2)*exp(x)-8*x^3)*log(x^2)+((x^4-4*x^3)*exp(x)+3*x^4)*log(x)-8*exp(x)^2+(-13*x^3+44*x^
2+16*x)*exp(x)+x^4-32*x^3-8*x^2)/(2*exp(x)^2-4*exp(x)*x+2*x^2),x, algorithm="maxima")

[Out]

-1/2*(12*x^3 + 8*x^2 - 8*x*e^x - (x^4 - 8*x^3)*log(x))/(x - e^x)

Giac [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.26 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=\frac {x^{4} \log \left (x\right ) - 8 \, x^{3} \log \left (x\right ) - 12 \, x^{3} - 8 \, x^{2} + 8 \, x e^{x}}{2 \, {\left (x - e^{x}\right )}} \]

[In]

integrate((((-4*x^3+12*x^2)*exp(x)-8*x^3)*log(x^2)+((x^4-4*x^3)*exp(x)+3*x^4)*log(x)-8*exp(x)^2+(-13*x^3+44*x^
2+16*x)*exp(x)+x^4-32*x^3-8*x^2)/(2*exp(x)^2-4*exp(x)*x+2*x^2),x, algorithm="giac")

[Out]

1/2*(x^4*log(x) - 8*x^3*log(x) - 12*x^3 - 8*x^2 + 8*x*e^x)/(x - e^x)

Mupad [B] (verification not implemented)

Time = 9.61 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.35 \[ \int \frac {-8 e^{2 x}-8 x^2-32 x^3+x^4+e^x \left (16 x+44 x^2-13 x^3\right )+\left (3 x^4+e^x \left (-4 x^3+x^4\right )\right ) \log (x)+\left (-8 x^3+e^x \left (12 x^2-4 x^3\right )\right ) \log \left (x^2\right )}{2 e^{2 x}-4 e^x x+2 x^2} \, dx=-\frac {x\,\left (8\,x-8\,{\mathrm {e}}^x-x^3\,\ln \left (x\right )+4\,x^2\,\ln \left (x^2\right )+12\,x^2\right )}{2\,\left (x-{\mathrm {e}}^x\right )} \]

[In]

int(-(8*exp(2*x) - log(x^2)*(exp(x)*(12*x^2 - 4*x^3) - 8*x^3) + 8*x^2 + 32*x^3 - x^4 - exp(x)*(16*x + 44*x^2 -
13*x^3) + log(x)*(exp(x)*(4*x^3 - x^4) - 3*x^4))/(2*exp(2*x) - 4*x*exp(x) + 2*x^2),x)

[Out]

-(x*(8*x - 8*exp(x) - x^3*log(x) + 4*x^2*log(x^2) + 12*x^2))/(2*(x - exp(x)))