\(\int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} (-5+(-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} (5-5 x-250 x^2-750 x^3-500 x^4)) \log (3 x)+(5-10 e^{2+x+25 x^2+50 x^3+25 x^4}) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x)))}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx\) [478]

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

Optimal result

Integrand size = 260, antiderivative size = 32 \[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=e^{5 \left (-x+\frac {x}{e^{2+x+25 \left (x+x^2\right )^2}+\log (\log (3 x))}\right )} \]

[Out]

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

Rubi [F]

\[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=\int \frac {\exp \left (\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx \]

[In]

Int[(E^((5*x - 5*E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4)*x - 5*x*Log[Log[3*x]])/(E^(2 + x + 25*x^2 + 50*x^3 + 25*
x^4) + Log[Log[3*x]]))*(-5 + (-5*E^(4 + 2*x + 50*x^2 + 100*x^3 + 50*x^4) + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4
)*(5 - 5*x - 250*x^2 - 750*x^3 - 500*x^4))*Log[3*x] + (5 - 10*E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4))*Log[3*x]*L
og[Log[3*x]] - 5*Log[3*x]*Log[Log[3*x]]^2))/(E^(4 + 2*x + 50*x^2 + 100*x^3 + 50*x^4)*Log[3*x] + 2*E^(2 + x + 2
5*x^2 + 50*x^3 + 25*x^4)*Log[3*x]*Log[Log[3*x]] + Log[3*x]*Log[Log[3*x]]^2),x]

[Out]

-5*Defer[Int][E^((-5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^
3 + 25*x^4) + Log[Log[3*x]])), x] - 5*Defer[Int][1/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[L
og[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*Log[3*x]*(E^(2 + x + 25*x^2 + 50*x^3 + 25*x
^4) + Log[Log[3*x]])^2), x] + 5*Defer[Int][(x*Log[Log[3*x]])/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^
4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3 + 25*
x^4) + Log[Log[3*x]])^2), x] + 250*Defer[Int][(x^2*Log[Log[3*x]])/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 +
25*x^4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3
+ 25*x^4) + Log[Log[3*x]])^2), x] + 750*Defer[Int][(x^3*Log[Log[3*x]])/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x
^3 + 25*x^4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50
*x^3 + 25*x^4) + Log[Log[3*x]])^2), x] + 500*Defer[Int][(x^4*Log[Log[3*x]])/(E^((5*x*(-1 + E^(2 + x + 25*x^2 +
 50*x^3 + 25*x^4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2
 + 50*x^3 + 25*x^4) + Log[Log[3*x]])^2), x] + 5*Defer[Int][1/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^
4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3 + 25*
x^4) + Log[Log[3*x]])), x] - 5*Defer[Int][x/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]
]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*
x]])), x] - 250*Defer[Int][x^2/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))/(E^(2 + x
 + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]])), x] - 7
50*Defer[Int][x^3/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 5
0*x^3 + 25*x^4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]])), x] - 500*Defer[Int]
[x^4/(E^((5*x*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^
4) + Log[Log[3*x]]))*(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]])), x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {\exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{\log (3 x) \left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx \\ & = \int \left (-5 \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right )-\frac {5 \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-1+x+50 x^2+150 x^3+100 x^4\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}+\frac {5 \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-1+x \log (3 x) \log (\log (3 x))+50 x^2 \log (3 x) \log (\log (3 x))+150 x^3 \log (3 x) \log (\log (3 x))+100 x^4 \log (3 x) \log (\log (3 x))\right )}{\log (3 x) \left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2}\right ) \, dx \\ & = -\left (5 \int \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \, dx\right )-5 \int \frac {\exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-1+x+50 x^2+150 x^3+100 x^4\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx+5 \int \frac {\exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-1+x \log (3 x) \log (\log (3 x))+50 x^2 \log (3 x) \log (\log (3 x))+150 x^3 \log (3 x) \log (\log (3 x))+100 x^4 \log (3 x) \log (\log (3 x))\right )}{\log (3 x) \left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx \\ & = -\left (5 \int \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \, dx\right )+5 \int \frac {\exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \left (-1+x \left (1+50 x+150 x^2+100 x^3\right ) \log (3 x) \log (\log (3 x))\right )}{\log (3 x) \left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx-5 \int \left (-\frac {\exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}+\frac {\exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) x}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}+\frac {50 \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) x^2}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}+\frac {150 \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) x^3}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}+\frac {100 \exp \left (-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) x^4}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}\right ) \, dx \\ & = -\left (5 \int e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \, dx\right )+5 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}}}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx-5 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx+5 \int \left (-\frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}}}{\log (3 x) \left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2}+\frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2}+\frac {50 e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^2 \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2}+\frac {150 e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^3 \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2}+\frac {100 e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^4 \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2}\right ) \, dx-250 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^2}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx-500 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^4}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx-750 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^3}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx \\ & = -\left (5 \int e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \, dx\right )-5 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}}}{\log (3 x) \left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx+5 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx+5 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}}}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx-5 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx+250 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^2 \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx-250 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^2}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx+500 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^4 \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx-500 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^4}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx+750 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^3 \log (\log (3 x))}{\left (e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )^2} \, dx-750 \int \frac {e^{-\frac {5 x \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))\right )}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} x^3}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))} \, dx \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(107\) vs. \(2(32)=64\).

Time = 1.57 (sec) , antiderivative size = 107, normalized size of antiderivative = 3.34 \[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=e^{-5 x-\frac {5 \left (-1+e^{2+x+25 x^2+50 x^3+25 x^4}\right ) x}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \log ^{\frac {5 x}{\log (\log (3 x))}-\frac {5 x}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}}(3 x) \]

[In]

Integrate[(E^((5*x - 5*E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4)*x - 5*x*Log[Log[3*x]])/(E^(2 + x + 25*x^2 + 50*x^3
 + 25*x^4) + Log[Log[3*x]]))*(-5 + (-5*E^(4 + 2*x + 50*x^2 + 100*x^3 + 50*x^4) + E^(2 + x + 25*x^2 + 50*x^3 +
25*x^4)*(5 - 5*x - 250*x^2 - 750*x^3 - 500*x^4))*Log[3*x] + (5 - 10*E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4))*Log[
3*x]*Log[Log[3*x]] - 5*Log[3*x]*Log[Log[3*x]]^2))/(E^(4 + 2*x + 50*x^2 + 100*x^3 + 50*x^4)*Log[3*x] + 2*E^(2 +
 x + 25*x^2 + 50*x^3 + 25*x^4)*Log[3*x]*Log[Log[3*x]] + Log[3*x]*Log[Log[3*x]]^2),x]

[Out]

E^(-5*x - (5*(-1 + E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4))*x)/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*
x]]))*Log[3*x]^((5*x)/Log[Log[3*x]] - (5*x)/(E^(2 + x + 25*x^2 + 50*x^3 + 25*x^4) + Log[Log[3*x]]))

Maple [A] (verified)

Time = 298.03 (sec) , antiderivative size = 58, normalized size of antiderivative = 1.81

method result size
risch \({\mathrm e}^{-\frac {5 x \left (\ln \left (\ln \left (3 x \right )\right )+{\mathrm e}^{25 x^{4}+50 x^{3}+25 x^{2}+x +2}-1\right )}{\ln \left (\ln \left (3 x \right )\right )+{\mathrm e}^{25 x^{4}+50 x^{3}+25 x^{2}+x +2}}}\) \(58\)
parallelrisch \({\mathrm e}^{-\frac {5 x \left (\ln \left (\ln \left (3 x \right )\right )+{\mathrm e}^{25 x^{4}+50 x^{3}+25 x^{2}+x +2}-1\right )}{\ln \left (\ln \left (3 x \right )\right )+{\mathrm e}^{25 x^{4}+50 x^{3}+25 x^{2}+x +2}}}\) \(58\)

[In]

int((-5*ln(3*x)*ln(ln(3*x))^2+(-10*exp(25*x^4+50*x^3+25*x^2+x+2)+5)*ln(3*x)*ln(ln(3*x))+(-5*exp(25*x^4+50*x^3+
25*x^2+x+2)^2+(-500*x^4-750*x^3-250*x^2-5*x+5)*exp(25*x^4+50*x^3+25*x^2+x+2))*ln(3*x)-5)*exp((-5*x*ln(ln(3*x))
-5*x*exp(25*x^4+50*x^3+25*x^2+x+2)+5*x)/(ln(ln(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)))/(ln(3*x)*ln(ln(3*x))^2+2*
exp(25*x^4+50*x^3+25*x^2+x+2)*ln(3*x)*ln(ln(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)^2*ln(3*x)),x,method=_RETURNVER
BOSE)

[Out]

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

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 62 vs. \(2 (29) = 58\).

Time = 0.27 (sec) , antiderivative size = 62, normalized size of antiderivative = 1.94 \[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=e^{\left (-\frac {5 \, {\left (x e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + x \log \left (\log \left (3 \, x\right )\right ) - x\right )}}{e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + \log \left (\log \left (3 \, x\right )\right )}\right )} \]

[In]

integrate((-5*log(3*x)*log(log(3*x))^2+(-10*exp(25*x^4+50*x^3+25*x^2+x+2)+5)*log(3*x)*log(log(3*x))+(-5*exp(25
*x^4+50*x^3+25*x^2+x+2)^2+(-500*x^4-750*x^3-250*x^2-5*x+5)*exp(25*x^4+50*x^3+25*x^2+x+2))*log(3*x)-5)*exp((-5*
x*log(log(3*x))-5*x*exp(25*x^4+50*x^3+25*x^2+x+2)+5*x)/(log(log(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)))/(log(3*x
)*log(log(3*x))^2+2*exp(25*x^4+50*x^3+25*x^2+x+2)*log(3*x)*log(log(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)^2*log(3
*x)),x, algorithm="fricas")

[Out]

e^(-5*(x*e^(25*x^4 + 50*x^3 + 25*x^2 + x + 2) + x*log(log(3*x)) - x)/(e^(25*x^4 + 50*x^3 + 25*x^2 + x + 2) + l
og(log(3*x))))

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 65 vs. \(2 (29) = 58\).

Time = 16.59 (sec) , antiderivative size = 65, normalized size of antiderivative = 2.03 \[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=e^{\frac {- 5 x e^{25 x^{4} + 50 x^{3} + 25 x^{2} + x + 2} - 5 x \log {\left (\log {\left (3 x \right )} \right )} + 5 x}{e^{25 x^{4} + 50 x^{3} + 25 x^{2} + x + 2} + \log {\left (\log {\left (3 x \right )} \right )}}} \]

[In]

integrate((-5*ln(3*x)*ln(ln(3*x))**2+(-10*exp(25*x**4+50*x**3+25*x**2+x+2)+5)*ln(3*x)*ln(ln(3*x))+(-5*exp(25*x
**4+50*x**3+25*x**2+x+2)**2+(-500*x**4-750*x**3-250*x**2-5*x+5)*exp(25*x**4+50*x**3+25*x**2+x+2))*ln(3*x)-5)*e
xp((-5*x*ln(ln(3*x))-5*x*exp(25*x**4+50*x**3+25*x**2+x+2)+5*x)/(ln(ln(3*x))+exp(25*x**4+50*x**3+25*x**2+x+2)))
/(ln(3*x)*ln(ln(3*x))**2+2*exp(25*x**4+50*x**3+25*x**2+x+2)*ln(3*x)*ln(ln(3*x))+exp(25*x**4+50*x**3+25*x**2+x+
2)**2*ln(3*x)),x)

[Out]

exp((-5*x*exp(25*x**4 + 50*x**3 + 25*x**2 + x + 2) - 5*x*log(log(3*x)) + 5*x)/(exp(25*x**4 + 50*x**3 + 25*x**2
 + x + 2) + log(log(3*x))))

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 120 vs. \(2 (29) = 58\).

Time = 0.53 (sec) , antiderivative size = 120, normalized size of antiderivative = 3.75 \[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=e^{\left (-\frac {5 \, x e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )}}{e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + \log \left (\log \left (3\right ) + \log \left (x\right )\right )} - \frac {5 \, x \log \left (\log \left (3\right ) + \log \left (x\right )\right )}{e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + \log \left (\log \left (3\right ) + \log \left (x\right )\right )} + \frac {5 \, x}{e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + \log \left (\log \left (3\right ) + \log \left (x\right )\right )}\right )} \]

[In]

integrate((-5*log(3*x)*log(log(3*x))^2+(-10*exp(25*x^4+50*x^3+25*x^2+x+2)+5)*log(3*x)*log(log(3*x))+(-5*exp(25
*x^4+50*x^3+25*x^2+x+2)^2+(-500*x^4-750*x^3-250*x^2-5*x+5)*exp(25*x^4+50*x^3+25*x^2+x+2))*log(3*x)-5)*exp((-5*
x*log(log(3*x))-5*x*exp(25*x^4+50*x^3+25*x^2+x+2)+5*x)/(log(log(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)))/(log(3*x
)*log(log(3*x))^2+2*exp(25*x^4+50*x^3+25*x^2+x+2)*log(3*x)*log(log(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)^2*log(3
*x)),x, algorithm="maxima")

[Out]

e^(-5*x*e^(25*x^4 + 50*x^3 + 25*x^2 + x + 2)/(e^(25*x^4 + 50*x^3 + 25*x^2 + x + 2) + log(log(3) + log(x))) - 5
*x*log(log(3) + log(x))/(e^(25*x^4 + 50*x^3 + 25*x^2 + x + 2) + log(log(3) + log(x))) + 5*x/(e^(25*x^4 + 50*x^
3 + 25*x^2 + x + 2) + log(log(3) + log(x))))

Giac [F]

\[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=\int { -\frac {5 \, {\left ({\left (2 \, e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} - 1\right )} \log \left (3 \, x\right ) \log \left (\log \left (3 \, x\right )\right ) + \log \left (3 \, x\right ) \log \left (\log \left (3 \, x\right )\right )^{2} + {\left ({\left (100 \, x^{4} + 150 \, x^{3} + 50 \, x^{2} + x - 1\right )} e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + e^{\left (50 \, x^{4} + 100 \, x^{3} + 50 \, x^{2} + 2 \, x + 4\right )}\right )} \log \left (3 \, x\right ) + 1\right )} e^{\left (-\frac {5 \, {\left (x e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + x \log \left (\log \left (3 \, x\right )\right ) - x\right )}}{e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} + \log \left (\log \left (3 \, x\right )\right )}\right )}}{2 \, e^{\left (25 \, x^{4} + 50 \, x^{3} + 25 \, x^{2} + x + 2\right )} \log \left (3 \, x\right ) \log \left (\log \left (3 \, x\right )\right ) + \log \left (3 \, x\right ) \log \left (\log \left (3 \, x\right )\right )^{2} + e^{\left (50 \, x^{4} + 100 \, x^{3} + 50 \, x^{2} + 2 \, x + 4\right )} \log \left (3 \, x\right )} \,d x } \]

[In]

integrate((-5*log(3*x)*log(log(3*x))^2+(-10*exp(25*x^4+50*x^3+25*x^2+x+2)+5)*log(3*x)*log(log(3*x))+(-5*exp(25
*x^4+50*x^3+25*x^2+x+2)^2+(-500*x^4-750*x^3-250*x^2-5*x+5)*exp(25*x^4+50*x^3+25*x^2+x+2))*log(3*x)-5)*exp((-5*
x*log(log(3*x))-5*x*exp(25*x^4+50*x^3+25*x^2+x+2)+5*x)/(log(log(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)))/(log(3*x
)*log(log(3*x))^2+2*exp(25*x^4+50*x^3+25*x^2+x+2)*log(3*x)*log(log(3*x))+exp(25*x^4+50*x^3+25*x^2+x+2)^2*log(3
*x)),x, algorithm="giac")

[Out]

undef

Mupad [B] (verification not implemented)

Time = 8.13 (sec) , antiderivative size = 138, normalized size of antiderivative = 4.31 \[ \int \frac {e^{\frac {5 x-5 e^{2+x+25 x^2+50 x^3+25 x^4} x-5 x \log (\log (3 x))}{e^{2+x+25 x^2+50 x^3+25 x^4}+\log (\log (3 x))}} \left (-5+\left (-5 e^{4+2 x+50 x^2+100 x^3+50 x^4}+e^{2+x+25 x^2+50 x^3+25 x^4} \left (5-5 x-250 x^2-750 x^3-500 x^4\right )\right ) \log (3 x)+\left (5-10 e^{2+x+25 x^2+50 x^3+25 x^4}\right ) \log (3 x) \log (\log (3 x))-5 \log (3 x) \log ^2(\log (3 x))\right )}{e^{4+2 x+50 x^2+100 x^3+50 x^4} \log (3 x)+2 e^{2+x+25 x^2+50 x^3+25 x^4} \log (3 x) \log (\log (3 x))+\log (3 x) \log ^2(\log (3 x))} \, dx=\frac {{\mathrm {e}}^{\frac {5\,x}{\ln \left (\ln \left (3\right )+\ln \left (x\right )\right )+{\mathrm {e}}^2\,{\mathrm {e}}^{25\,x^2}\,{\mathrm {e}}^{25\,x^4}\,{\mathrm {e}}^{50\,x^3}\,{\mathrm {e}}^x}}\,{\mathrm {e}}^{-\frac {5\,x\,{\mathrm {e}}^2\,{\mathrm {e}}^{25\,x^2}\,{\mathrm {e}}^{25\,x^4}\,{\mathrm {e}}^{50\,x^3}\,{\mathrm {e}}^x}{\ln \left (\ln \left (3\right )+\ln \left (x\right )\right )+{\mathrm {e}}^2\,{\mathrm {e}}^{25\,x^2}\,{\mathrm {e}}^{25\,x^4}\,{\mathrm {e}}^{50\,x^3}\,{\mathrm {e}}^x}}}{{\left (\ln \left (3\right )+\ln \left (x\right )\right )}^{\frac {5\,x}{\ln \left (\ln \left (3\right )+\ln \left (x\right )\right )+{\mathrm {e}}^2\,{\mathrm {e}}^{25\,x^2}\,{\mathrm {e}}^{25\,x^4}\,{\mathrm {e}}^{50\,x^3}\,{\mathrm {e}}^x}}} \]

[In]

int(-(exp(-(5*x*log(log(3*x)) - 5*x + 5*x*exp(x + 25*x^2 + 50*x^3 + 25*x^4 + 2))/(log(log(3*x)) + exp(x + 25*x
^2 + 50*x^3 + 25*x^4 + 2)))*(5*log(3*x)*log(log(3*x))^2 + log(3*x)*(5*exp(2*x + 50*x^2 + 100*x^3 + 50*x^4 + 4)
 + exp(x + 25*x^2 + 50*x^3 + 25*x^4 + 2)*(5*x + 250*x^2 + 750*x^3 + 500*x^4 - 5)) + log(3*x)*log(log(3*x))*(10
*exp(x + 25*x^2 + 50*x^3 + 25*x^4 + 2) - 5) + 5))/(log(3*x)*log(log(3*x))^2 + log(3*x)*exp(2*x + 50*x^2 + 100*
x^3 + 50*x^4 + 4) + 2*log(3*x)*exp(x + 25*x^2 + 50*x^3 + 25*x^4 + 2)*log(log(3*x))),x)

[Out]

(exp((5*x)/(log(log(3) + log(x)) + exp(2)*exp(25*x^2)*exp(25*x^4)*exp(50*x^3)*exp(x)))*exp(-(5*x*exp(2)*exp(25
*x^2)*exp(25*x^4)*exp(50*x^3)*exp(x))/(log(log(3) + log(x)) + exp(2)*exp(25*x^2)*exp(25*x^4)*exp(50*x^3)*exp(x
))))/(log(3) + log(x))^((5*x)/(log(log(3) + log(x)) + exp(2)*exp(25*x^2)*exp(25*x^4)*exp(50*x^3)*exp(x)))