\(\int \frac {e^{-2 x} (-18 e^x x^2+e^{2 x} (-36 x-18 x^2-114 x^3)+(-18 x^3+e^x (-36 x-36 x^2+96 x^3-114 x^4)+e^{2 x} (-72-36 x+114 x^3+722 x^4)) \log (x)+(18 e^{2 x} x^2+(18 e^x x^3+e^{2 x} (36 x-114 x^3)) \log (x)) \log (\log (x)))}{9 x^3 \log (x)} \, dx\) [7688]

   Optimal result
   Rubi [F]
   Mathematica [B] (verified)
   Maple [B] (verified)
   Fricas [B] (verification not implemented)
   Sympy [B] (verification not implemented)
   Maxima [F]
   Giac [B] (verification not implemented)
   Mupad [F(-1)]

Optimal result

Integrand size = 140, antiderivative size = 25 \[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\left (e^{-x}+\frac {19 x}{3}+\frac {2+x}{x}-\log (\log (x))\right )^2 \]

[Out]

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

Rubi [F]

\[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx \]

[In]

Int[(-18*E^x*x^2 + E^(2*x)*(-36*x - 18*x^2 - 114*x^3) + (-18*x^3 + E^x*(-36*x - 36*x^2 + 96*x^3 - 114*x^4) + E
^(2*x)*(-72 - 36*x + 114*x^3 + 722*x^4))*Log[x] + (18*E^(2*x)*x^2 + (18*E^x*x^3 + E^(2*x)*(36*x - 114*x^3))*Lo
g[x])*Log[Log[x]])/(9*E^(2*x)*x^3*Log[x]),x]

[Out]

E^(-2*x) + 2/E^x + 4/x^2 + 4/x + 4/(E^x*x) + (38*x)/3 + (38*x)/(3*E^x) + (361*x^2)/9 + 4*ExpIntegralEi[-Log[x]
] - (4*Log[Log[x]])/x - (38*x*Log[Log[x]])/3 + Log[Log[x]]^2 + (38*LogIntegral[x])/3 - 2*Defer[Int][1/(E^x*x*L
og[x]), x] - (2*Defer[Int][(6 + 3*x + 19*x^2)/(x^2*Log[x]), x])/3 + 2*Defer[Int][Log[Log[x]]/E^x, x]

Rubi steps \begin{align*} \text {integral}& = \frac {1}{9} \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{x^3 \log (x)} \, dx \\ & = \frac {1}{9} \int \frac {2 e^{-2 x} \left (3 e^x x-\left (-3 x^2+e^x \left (-6+19 x^2\right )\right ) \log (x)\right ) \left (-3 x-e^x \left (6+3 x+19 x^2\right )+3 e^x x \log (\log (x))\right )}{x^3 \log (x)} \, dx \\ & = \frac {2}{9} \int \frac {e^{-2 x} \left (3 e^x x-\left (-3 x^2+e^x \left (-6+19 x^2\right )\right ) \log (x)\right ) \left (-3 x-e^x \left (6+3 x+19 x^2\right )+3 e^x x \log (\log (x))\right )}{x^3 \log (x)} \, dx \\ & = \frac {2}{9} \int \left (-9 e^{-2 x}+\frac {\left (-3 x-6 \log (x)+19 x^2 \log (x)\right ) \left (6+3 x+19 x^2-3 x \log (\log (x))\right )}{x^3 \log (x)}-\frac {3 e^{-x} \left (3 x+6 \log (x)+6 x \log (x)-16 x^2 \log (x)+19 x^3 \log (x)-3 x^2 \log (x) \log (\log (x))\right )}{x^2 \log (x)}\right ) \, dx \\ & = \frac {2}{9} \int \frac {\left (-3 x-6 \log (x)+19 x^2 \log (x)\right ) \left (6+3 x+19 x^2-3 x \log (\log (x))\right )}{x^3 \log (x)} \, dx-\frac {2}{3} \int \frac {e^{-x} \left (3 x+6 \log (x)+6 x \log (x)-16 x^2 \log (x)+19 x^3 \log (x)-3 x^2 \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx-2 \int e^{-2 x} \, dx \\ & = e^{-2 x}+\frac {2}{9} \int \left (\frac {\left (6+3 x+19 x^2\right ) \left (-3 x-6 \log (x)+19 x^2 \log (x)\right )}{x^3 \log (x)}-\frac {3 \left (-3 x-6 \log (x)+19 x^2 \log (x)\right ) \log (\log (x))}{x^2 \log (x)}\right ) \, dx-\frac {2}{3} \int \left (\frac {e^{-x} \left (3 x+6 \log (x)+6 x \log (x)-16 x^2 \log (x)+19 x^3 \log (x)\right )}{x^2 \log (x)}-3 e^{-x} \log (\log (x))\right ) \, dx \\ & = e^{-2 x}+\frac {2}{9} \int \frac {\left (6+3 x+19 x^2\right ) \left (-3 x-6 \log (x)+19 x^2 \log (x)\right )}{x^3 \log (x)} \, dx-\frac {2}{3} \int \frac {e^{-x} \left (3 x+6 \log (x)+6 x \log (x)-16 x^2 \log (x)+19 x^3 \log (x)\right )}{x^2 \log (x)} \, dx-\frac {2}{3} \int \frac {\left (-3 x-6 \log (x)+19 x^2 \log (x)\right ) \log (\log (x))}{x^2 \log (x)} \, dx+2 \int e^{-x} \log (\log (x)) \, dx \\ & = e^{-2 x}+\frac {2}{9} \int \left (\frac {-36-18 x+57 x^3+361 x^4}{x^3}-\frac {3 \left (6+3 x+19 x^2\right )}{x^2 \log (x)}\right ) \, dx-\frac {2}{3} \int \left (\frac {e^{-x} \left (6+6 x-16 x^2+19 x^3\right )}{x^2}+\frac {3 e^{-x}}{x \log (x)}\right ) \, dx-\frac {2}{3} \int \left (19 \log (\log (x))-\frac {6 \log (\log (x))}{x^2}-\frac {3 \log (\log (x))}{x \log (x)}\right ) \, dx+2 \int e^{-x} \log (\log (x)) \, dx \\ & = e^{-2 x}+\frac {2}{9} \int \frac {-36-18 x+57 x^3+361 x^4}{x^3} \, dx-\frac {2}{3} \int \frac {e^{-x} \left (6+6 x-16 x^2+19 x^3\right )}{x^2} \, dx-\frac {2}{3} \int \frac {6+3 x+19 x^2}{x^2 \log (x)} \, dx-2 \int \frac {e^{-x}}{x \log (x)} \, dx+2 \int e^{-x} \log (\log (x)) \, dx+2 \int \frac {\log (\log (x))}{x \log (x)} \, dx+4 \int \frac {\log (\log (x))}{x^2} \, dx-\frac {38}{3} \int \log (\log (x)) \, dx \\ & = e^{-2 x}-\frac {4 \log (\log (x))}{x}-\frac {38}{3} x \log (\log (x))+\frac {2}{9} \int \left (57-\frac {36}{x^3}-\frac {18}{x^2}+361 x\right ) \, dx-\frac {2}{3} \int \left (-16 e^{-x}+\frac {6 e^{-x}}{x^2}+\frac {6 e^{-x}}{x}+19 e^{-x} x\right ) \, dx-\frac {2}{3} \int \frac {6+3 x+19 x^2}{x^2 \log (x)} \, dx-2 \int \frac {e^{-x}}{x \log (x)} \, dx+2 \int e^{-x} \log (\log (x)) \, dx+2 \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,\log (x)\right )+4 \int \frac {1}{x^2 \log (x)} \, dx+\frac {38}{3} \int \frac {1}{\log (x)} \, dx \\ & = e^{-2 x}+\frac {4}{x^2}+\frac {4}{x}+\frac {38 x}{3}+\frac {361 x^2}{9}-\frac {4 \log (\log (x))}{x}-\frac {38}{3} x \log (\log (x))+\log ^2(\log (x))+\frac {38 \operatorname {LogIntegral}(x)}{3}-\frac {2}{3} \int \frac {6+3 x+19 x^2}{x^2 \log (x)} \, dx-2 \int \frac {e^{-x}}{x \log (x)} \, dx+2 \int e^{-x} \log (\log (x)) \, dx-4 \int \frac {e^{-x}}{x^2} \, dx-4 \int \frac {e^{-x}}{x} \, dx+4 \text {Subst}\left (\int \frac {e^{-x}}{x} \, dx,x,\log (x)\right )+\frac {32}{3} \int e^{-x} \, dx-\frac {38}{3} \int e^{-x} x \, dx \\ & = e^{-2 x}-\frac {32 e^{-x}}{3}+\frac {4}{x^2}+\frac {4}{x}+\frac {4 e^{-x}}{x}+\frac {38 x}{3}+\frac {38 e^{-x} x}{3}+\frac {361 x^2}{9}-4 \operatorname {ExpIntegralEi}(-x)+4 \operatorname {ExpIntegralEi}(-\log (x))-\frac {4 \log (\log (x))}{x}-\frac {38}{3} x \log (\log (x))+\log ^2(\log (x))+\frac {38 \operatorname {LogIntegral}(x)}{3}-\frac {2}{3} \int \frac {6+3 x+19 x^2}{x^2 \log (x)} \, dx-2 \int \frac {e^{-x}}{x \log (x)} \, dx+2 \int e^{-x} \log (\log (x)) \, dx+4 \int \frac {e^{-x}}{x} \, dx-\frac {38}{3} \int e^{-x} \, dx \\ & = e^{-2 x}+2 e^{-x}+\frac {4}{x^2}+\frac {4}{x}+\frac {4 e^{-x}}{x}+\frac {38 x}{3}+\frac {38 e^{-x} x}{3}+\frac {361 x^2}{9}+4 \operatorname {ExpIntegralEi}(-\log (x))-\frac {4 \log (\log (x))}{x}-\frac {38}{3} x \log (\log (x))+\log ^2(\log (x))+\frac {38 \operatorname {LogIntegral}(x)}{3}-\frac {2}{3} \int \frac {6+3 x+19 x^2}{x^2 \log (x)} \, dx-2 \int \frac {e^{-x}}{x \log (x)} \, dx+2 \int e^{-x} \log (\log (x)) \, dx \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(87\) vs. \(2(25)=50\).

Time = 1.82 (sec) , antiderivative size = 87, normalized size of antiderivative = 3.48 \[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\frac {2}{9} \left (\frac {9 e^{-2 x}}{2}+\frac {18}{x^2}+\frac {18}{x}+57 x+\frac {361 x^2}{2}+e^{-x} \left (9+\frac {18}{x}+57 x\right )-9 \log (\log (x))-\frac {3 \left (6+3 e^{-x} x+19 x^2\right ) \log (\log (x))}{x}+\frac {9}{2} \log ^2(\log (x))\right ) \]

[In]

Integrate[(-18*E^x*x^2 + E^(2*x)*(-36*x - 18*x^2 - 114*x^3) + (-18*x^3 + E^x*(-36*x - 36*x^2 + 96*x^3 - 114*x^
4) + E^(2*x)*(-72 - 36*x + 114*x^3 + 722*x^4))*Log[x] + (18*E^(2*x)*x^2 + (18*E^x*x^3 + E^(2*x)*(36*x - 114*x^
3))*Log[x])*Log[Log[x]])/(9*E^(2*x)*x^3*Log[x]),x]

[Out]

(2*(9/(2*E^(2*x)) + 18/x^2 + 18/x + 57*x + (361*x^2)/2 + (9 + 18/x + 57*x)/E^x - 9*Log[Log[x]] - (3*(6 + (3*x)
/E^x + 19*x^2)*Log[Log[x]])/x + (9*Log[Log[x]]^2)/2))/9

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(98\) vs. \(2(22)=44\).

Time = 0.64 (sec) , antiderivative size = 99, normalized size of antiderivative = 3.96

method result size
risch \(\frac {361 x^{4}-114 \ln \left (\ln \left (x \right )\right ) x^{3}+114 x^{3} {\mathrm e}^{-x}-18 x^{2} \ln \left (\ln \left (x \right )\right )+114 x^{3}+18 x^{2} {\mathrm e}^{-x}-36 x \ln \left (\ln \left (x \right )\right )+9 x^{2} \ln \left (\ln \left (x \right )\right )^{2}-18 \ln \left (\ln \left (x \right )\right ) {\mathrm e}^{-x} x^{2}+36 x \,{\mathrm e}^{-x}+36 x +9 \,{\mathrm e}^{-2 x} x^{2}+36}{9 x^{2}}\) \(99\)
parallelrisch \(\frac {\left (361 \,{\mathrm e}^{2 x} x^{4}-114 \ln \left (\ln \left (x \right )\right ) {\mathrm e}^{2 x} x^{3}+9 \ln \left (\ln \left (x \right )\right )^{2} {\mathrm e}^{2 x} x^{2}+114 \,{\mathrm e}^{2 x} x^{3}-18 \ln \left (\ln \left (x \right )\right ) {\mathrm e}^{2 x} x^{2}+114 \,{\mathrm e}^{x} x^{3}-18 \ln \left (\ln \left (x \right )\right ) {\mathrm e}^{x} x^{2}-36 \ln \left (\ln \left (x \right )\right ) x \,{\mathrm e}^{2 x}+18 \,{\mathrm e}^{x} x^{2}+36 x \,{\mathrm e}^{2 x}+9 x^{2}+36 \,{\mathrm e}^{x} x +36 \,{\mathrm e}^{2 x}\right ) {\mathrm e}^{-2 x}}{9 x^{2}}\) \(124\)

[In]

int(1/9*((((-114*x^3+36*x)*exp(x)^2+18*exp(x)*x^3)*ln(x)+18*exp(x)^2*x^2)*ln(ln(x))+((722*x^4+114*x^3-36*x-72)
*exp(x)^2+(-114*x^4+96*x^3-36*x^2-36*x)*exp(x)-18*x^3)*ln(x)+(-114*x^3-18*x^2-36*x)*exp(x)^2-18*exp(x)*x^2)/x^
3/exp(x)^2/ln(x),x,method=_RETURNVERBOSE)

[Out]

1/9*(361*x^4-114*ln(ln(x))*x^3+114*x^3*exp(-x)-18*x^2*ln(ln(x))+114*x^3+18*x^2*exp(-x)-36*x*ln(ln(x))+9*x^2*ln
(ln(x))^2-18*ln(ln(x))*exp(-x)*x^2+36*x*exp(-x)+36*x+9*exp(-2*x)*x^2+36)/x^2

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 99 vs. \(2 (27) = 54\).

Time = 0.43 (sec) , antiderivative size = 99, normalized size of antiderivative = 3.96 \[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\frac {{\left (9 \, x^{2} e^{\left (2 \, x\right )} \log \left (\log \left (x\right )\right )^{2} + 9 \, x^{2} + {\left (361 \, x^{4} + 114 \, x^{3} + 36 \, x + 36\right )} e^{\left (2 \, x\right )} + 6 \, {\left (19 \, x^{3} + 3 \, x^{2} + 6 \, x\right )} e^{x} - 6 \, {\left (3 \, x^{2} e^{x} + {\left (19 \, x^{3} + 3 \, x^{2} + 6 \, x\right )} e^{\left (2 \, x\right )}\right )} \log \left (\log \left (x\right )\right )\right )} e^{\left (-2 \, x\right )}}{9 \, x^{2}} \]

[In]

integrate(1/9*((((-114*x^3+36*x)*exp(x)^2+18*exp(x)*x^3)*log(x)+18*exp(x)^2*x^2)*log(log(x))+((722*x^4+114*x^3
-36*x-72)*exp(x)^2+(-114*x^4+96*x^3-36*x^2-36*x)*exp(x)-18*x^3)*log(x)+(-114*x^3-18*x^2-36*x)*exp(x)^2-18*exp(
x)*x^2)/x^3/exp(x)^2/log(x),x, algorithm="fricas")

[Out]

1/9*(9*x^2*e^(2*x)*log(log(x))^2 + 9*x^2 + (361*x^4 + 114*x^3 + 36*x + 36)*e^(2*x) + 6*(19*x^3 + 3*x^2 + 6*x)*
e^x - 6*(3*x^2*e^x + (19*x^3 + 3*x^2 + 6*x)*e^(2*x))*log(log(x)))*e^(-2*x)/x^2

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 85 vs. \(2 (20) = 40\).

Time = 0.35 (sec) , antiderivative size = 85, normalized size of antiderivative = 3.40 \[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\frac {361 x^{2}}{9} + \frac {38 x}{3} + \log {\left (\log {\left (x \right )} \right )}^{2} - 2 \log {\left (\log {\left (x \right )} \right )} + \frac {\left (- 38 x^{2} - 12\right ) \log {\left (\log {\left (x \right )} \right )}}{3 x} + \frac {3 x e^{- 2 x} + \left (38 x^{2} - 6 x \log {\left (\log {\left (x \right )} \right )} + 6 x + 12\right ) e^{- x}}{3 x} + \frac {36 x + 36}{9 x^{2}} \]

[In]

integrate(1/9*((((-114*x**3+36*x)*exp(x)**2+18*exp(x)*x**3)*ln(x)+18*exp(x)**2*x**2)*ln(ln(x))+((722*x**4+114*
x**3-36*x-72)*exp(x)**2+(-114*x**4+96*x**3-36*x**2-36*x)*exp(x)-18*x**3)*ln(x)+(-114*x**3-18*x**2-36*x)*exp(x)
**2-18*exp(x)*x**2)/x**3/exp(x)**2/ln(x),x)

[Out]

361*x**2/9 + 38*x/3 + log(log(x))**2 - 2*log(log(x)) + (-38*x**2 - 12)*log(log(x))/(3*x) + (3*x*exp(-2*x) + (3
8*x**2 - 6*x*log(log(x)) + 6*x + 12)*exp(-x))/(3*x) + (36*x + 36)/(9*x**2)

Maxima [F]

\[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\int { -\frac {2 \, {\left (9 \, x^{2} e^{x} + 3 \, {\left (19 \, x^{3} + 3 \, x^{2} + 6 \, x\right )} e^{\left (2 \, x\right )} + {\left (9 \, x^{3} - {\left (361 \, x^{4} + 57 \, x^{3} - 18 \, x - 36\right )} e^{\left (2 \, x\right )} + 3 \, {\left (19 \, x^{4} - 16 \, x^{3} + 6 \, x^{2} + 6 \, x\right )} e^{x}\right )} \log \left (x\right ) - 3 \, {\left (3 \, x^{2} e^{\left (2 \, x\right )} + {\left (3 \, x^{3} e^{x} - {\left (19 \, x^{3} - 6 \, x\right )} e^{\left (2 \, x\right )}\right )} \log \left (x\right )\right )} \log \left (\log \left (x\right )\right )\right )} e^{\left (-2 \, x\right )}}{9 \, x^{3} \log \left (x\right )} \,d x } \]

[In]

integrate(1/9*((((-114*x^3+36*x)*exp(x)^2+18*exp(x)*x^3)*log(x)+18*exp(x)^2*x^2)*log(log(x))+((722*x^4+114*x^3
-36*x-72)*exp(x)^2+(-114*x^4+96*x^3-36*x^2-36*x)*exp(x)-18*x^3)*log(x)+(-114*x^3-18*x^2-36*x)*exp(x)^2-18*exp(
x)*x^2)/x^3/exp(x)^2/log(x),x, algorithm="maxima")

[Out]

361/9*x^2 + 38/3*(x + 1)*e^(-x) + 38/3*x + 1/3*(3*x*e^x*log(log(x))^2 - 2*((19*x^2 + 6)*e^x + 3*x)*log(log(x))
)*e^(-x)/x + 4/x + 4/x^2 - 4*Ei(-x) - 4*Ei(-log(x)) - 38/3*Ei(log(x)) - 32/3*e^(-x) + e^(-2*x) + 4*gamma(-1, x
) + 2/9*integrate(3*(19*x^2 + 6)/(x^2*log(x)), x) - 2*log(log(x))

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 98 vs. \(2 (27) = 54\).

Time = 0.30 (sec) , antiderivative size = 98, normalized size of antiderivative = 3.92 \[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\frac {361 \, x^{4} + 114 \, x^{3} e^{\left (-x\right )} - 114 \, x^{3} \log \left (\log \left (x\right )\right ) - 18 \, x^{2} e^{\left (-x\right )} \log \left (\log \left (x\right )\right ) + 9 \, x^{2} \log \left (\log \left (x\right )\right )^{2} + 114 \, x^{3} + 18 \, x^{2} e^{\left (-x\right )} + 9 \, x^{2} e^{\left (-2 \, x\right )} - 18 \, x^{2} \log \left (\log \left (x\right )\right ) + 36 \, x e^{\left (-x\right )} - 36 \, x \log \left (\log \left (x\right )\right ) + 36 \, x + 36}{9 \, x^{2}} \]

[In]

integrate(1/9*((((-114*x^3+36*x)*exp(x)^2+18*exp(x)*x^3)*log(x)+18*exp(x)^2*x^2)*log(log(x))+((722*x^4+114*x^3
-36*x-72)*exp(x)^2+(-114*x^4+96*x^3-36*x^2-36*x)*exp(x)-18*x^3)*log(x)+(-114*x^3-18*x^2-36*x)*exp(x)^2-18*exp(
x)*x^2)/x^3/exp(x)^2/log(x),x, algorithm="giac")

[Out]

1/9*(361*x^4 + 114*x^3*e^(-x) - 114*x^3*log(log(x)) - 18*x^2*e^(-x)*log(log(x)) + 9*x^2*log(log(x))^2 + 114*x^
3 + 18*x^2*e^(-x) + 9*x^2*e^(-2*x) - 18*x^2*log(log(x)) + 36*x*e^(-x) - 36*x*log(log(x)) + 36*x + 36)/x^2

Mupad [F(-1)]

Timed out. \[ \int \frac {e^{-2 x} \left (-18 e^x x^2+e^{2 x} \left (-36 x-18 x^2-114 x^3\right )+\left (-18 x^3+e^x \left (-36 x-36 x^2+96 x^3-114 x^4\right )+e^{2 x} \left (-72-36 x+114 x^3+722 x^4\right )\right ) \log (x)+\left (18 e^{2 x} x^2+\left (18 e^x x^3+e^{2 x} \left (36 x-114 x^3\right )\right ) \log (x)\right ) \log (\log (x))\right )}{9 x^3 \log (x)} \, dx=\int -\frac {{\mathrm {e}}^{-2\,x}\,\left (2\,x^2\,{\mathrm {e}}^x+\frac {\ln \left (x\right )\,\left ({\mathrm {e}}^x\,\left (114\,x^4-96\,x^3+36\,x^2+36\,x\right )+{\mathrm {e}}^{2\,x}\,\left (-722\,x^4-114\,x^3+36\,x+72\right )+18\,x^3\right )}{9}+\frac {{\mathrm {e}}^{2\,x}\,\left (114\,x^3+18\,x^2+36\,x\right )}{9}-\frac {\ln \left (\ln \left (x\right )\right )\,\left (18\,x^2\,{\mathrm {e}}^{2\,x}+\ln \left (x\right )\,\left ({\mathrm {e}}^{2\,x}\,\left (36\,x-114\,x^3\right )+18\,x^3\,{\mathrm {e}}^x\right )\right )}{9}\right )}{x^3\,\ln \left (x\right )} \,d x \]

[In]

int(-(exp(-2*x)*(2*x^2*exp(x) + (log(x)*(exp(x)*(36*x + 36*x^2 - 96*x^3 + 114*x^4) + exp(2*x)*(36*x - 114*x^3
- 722*x^4 + 72) + 18*x^3))/9 + (exp(2*x)*(36*x + 18*x^2 + 114*x^3))/9 - (log(log(x))*(18*x^2*exp(2*x) + log(x)
*(exp(2*x)*(36*x - 114*x^3) + 18*x^3*exp(x))))/9))/(x^3*log(x)),x)

[Out]

int(-(exp(-2*x)*(2*x^2*exp(x) + (log(x)*(exp(x)*(36*x + 36*x^2 - 96*x^3 + 114*x^4) + exp(2*x)*(36*x - 114*x^3
- 722*x^4 + 72) + 18*x^3))/9 + (exp(2*x)*(36*x + 18*x^2 + 114*x^3))/9 - (log(log(x))*(18*x^2*exp(2*x) + log(x)
*(exp(2*x)*(36*x - 114*x^3) + 18*x^3*exp(x))))/9))/(x^3*log(x)), x)