3.48.81 \(\int \frac {9+3 e^{e^5 x} x-3 x^2+(-18+18 x^2+e^{e^5 x} (-12 x-6 e^5 x^2)) \log (x) \log (\log (x))}{(27 x^3-27 x^5+e^{3 e^5 x} x^6+9 x^7-x^9+e^{2 e^5 x} (9 x^5-3 x^7)+e^{e^5 x} (27 x^4-18 x^6+3 x^8)) \log (x)} \, dx\)

Optimal. Leaf size=28 \[ \log (5)+\frac {3 \log (\log (x))}{x^2 \left (-3+x \left (-e^{e^5 x}+x\right )\right )^2} \]

________________________________________________________________________________________

Rubi [F]  time = 4.40, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {9+3 e^{e^5 x} x-3 x^2+\left (-18+18 x^2+e^{e^5 x} \left (-12 x-6 e^5 x^2\right )\right ) \log (x) \log (\log (x))}{\left (27 x^3-27 x^5+e^{3 e^5 x} x^6+9 x^7-x^9+e^{2 e^5 x} \left (9 x^5-3 x^7\right )+e^{e^5 x} \left (27 x^4-18 x^6+3 x^8\right )\right ) \log (x)} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(9 + 3*E^(E^5*x)*x - 3*x^2 + (-18 + 18*x^2 + E^(E^5*x)*(-12*x - 6*E^5*x^2))*Log[x]*Log[Log[x]])/((27*x^3 -
27*x^5 + E^(3*E^5*x)*x^6 + 9*x^7 - x^9 + E^(2*E^5*x)*(9*x^5 - 3*x^7) + E^(E^5*x)*(27*x^4 - 18*x^6 + 3*x^8))*L
og[x]),x]

[Out]

3*Defer[Int][1/(x^3*(-3 - E^(E^5*x)*x + x^2)^2*Log[x]), x] - 6*E^5*Defer[Int][Log[Log[x]]/(3 + E^(E^5*x)*x - x
^2)^3, x] - 18*Defer[Int][Log[Log[x]]/(x^3*(-3 - E^(E^5*x)*x + x^2)^3), x] - 18*E^5*Defer[Int][Log[Log[x]]/(x^
2*(-3 - E^(E^5*x)*x + x^2)^3), x] - 6*Defer[Int][Log[Log[x]]/(x*(-3 - E^(E^5*x)*x + x^2)^3), x] - 12*Defer[Int
][Log[Log[x]]/(x^3*(-3 - E^(E^5*x)*x + x^2)^2), x] - 6*E^5*Defer[Int][Log[Log[x]]/(x^2*(-3 - E^(E^5*x)*x + x^2
)^2), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {3 \left (3+e^{e^5 x} x-x^2-2 \left (3+2 e^{e^5 x} x-3 x^2+e^{5+e^5 x} x^2\right ) \log (x) \log (\log (x))\right )}{x^3 \left (3+e^{e^5 x} x-x^2\right )^3 \log (x)} \, dx\\ &=3 \int \frac {3+e^{e^5 x} x-x^2-2 \left (3+2 e^{e^5 x} x-3 x^2+e^{5+e^5 x} x^2\right ) \log (x) \log (\log (x))}{x^3 \left (3+e^{e^5 x} x-x^2\right )^3 \log (x)} \, dx\\ &=3 \int \left (\frac {2 \left (-3-3 e^5 x-x^2+e^5 x^3\right ) \log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^3}-\frac {-1+4 \log (x) \log (\log (x))+2 e^5 x \log (x) \log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^2 \log (x)}\right ) \, dx\\ &=-\left (3 \int \frac {-1+4 \log (x) \log (\log (x))+2 e^5 x \log (x) \log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^2 \log (x)} \, dx\right )+6 \int \frac {\left (-3-3 e^5 x-x^2+e^5 x^3\right ) \log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^3} \, dx\\ &=-\left (3 \int \left (-\frac {1}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^2 \log (x)}+\frac {4 \log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^2}+\frac {2 e^5 \log (\log (x))}{x^2 \left (-3-e^{e^5 x} x+x^2\right )^2}\right ) \, dx\right )+6 \int \left (-\frac {e^5 \log (\log (x))}{\left (3+e^{e^5 x} x-x^2\right )^3}-\frac {3 \log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^3}-\frac {3 e^5 \log (\log (x))}{x^2 \left (-3-e^{e^5 x} x+x^2\right )^3}-\frac {\log (\log (x))}{x \left (-3-e^{e^5 x} x+x^2\right )^3}\right ) \, dx\\ &=3 \int \frac {1}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^2 \log (x)} \, dx-6 \int \frac {\log (\log (x))}{x \left (-3-e^{e^5 x} x+x^2\right )^3} \, dx-12 \int \frac {\log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^2} \, dx-18 \int \frac {\log (\log (x))}{x^3 \left (-3-e^{e^5 x} x+x^2\right )^3} \, dx-\left (6 e^5\right ) \int \frac {\log (\log (x))}{\left (3+e^{e^5 x} x-x^2\right )^3} \, dx-\left (6 e^5\right ) \int \frac {\log (\log (x))}{x^2 \left (-3-e^{e^5 x} x+x^2\right )^2} \, dx-\left (18 e^5\right ) \int \frac {\log (\log (x))}{x^2 \left (-3-e^{e^5 x} x+x^2\right )^3} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.68, size = 25, normalized size = 0.89 \begin {gather*} \frac {3 \log (\log (x))}{x^2 \left (-3-e^{e^5 x} x+x^2\right )^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(9 + 3*E^(E^5*x)*x - 3*x^2 + (-18 + 18*x^2 + E^(E^5*x)*(-12*x - 6*E^5*x^2))*Log[x]*Log[Log[x]])/((27
*x^3 - 27*x^5 + E^(3*E^5*x)*x^6 + 9*x^7 - x^9 + E^(2*E^5*x)*(9*x^5 - 3*x^7) + E^(E^5*x)*(27*x^4 - 18*x^6 + 3*x
^8))*Log[x]),x]

[Out]

(3*Log[Log[x]])/(x^2*(-3 - E^(E^5*x)*x + x^2)^2)

________________________________________________________________________________________

fricas [A]  time = 0.88, size = 47, normalized size = 1.68 \begin {gather*} \frac {3 \, \log \left (\log \relax (x)\right )}{x^{6} + x^{4} e^{\left (2 \, x e^{5}\right )} - 6 \, x^{4} + 9 \, x^{2} - 2 \, {\left (x^{5} - 3 \, x^{3}\right )} e^{\left (x e^{5}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*x^2*exp(5)-12*x)*exp(x*exp(5))+18*x^2-18)*log(x)*log(log(x))+3*x*exp(x*exp(5))-3*x^2+9)/(x^6*e
xp(x*exp(5))^3+(-3*x^7+9*x^5)*exp(x*exp(5))^2+(3*x^8-18*x^6+27*x^4)*exp(x*exp(5))-x^9+9*x^7-27*x^5+27*x^3)/log
(x),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.26, size = 51, normalized size = 1.82 \begin {gather*} \frac {3 \, \log \left (\log \relax (x)\right )}{x^{6} - 2 \, x^{5} e^{\left (x e^{5}\right )} + x^{4} e^{\left (2 \, x e^{5}\right )} - 6 \, x^{4} + 6 \, x^{3} e^{\left (x e^{5}\right )} + 9 \, x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*x^2*exp(5)-12*x)*exp(x*exp(5))+18*x^2-18)*log(x)*log(log(x))+3*x*exp(x*exp(5))-3*x^2+9)/(x^6*e
xp(x*exp(5))^3+(-3*x^7+9*x^5)*exp(x*exp(5))^2+(3*x^8-18*x^6+27*x^4)*exp(x*exp(5))-x^9+9*x^7-27*x^5+27*x^3)/log
(x),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.06, size = 24, normalized size = 0.86

method	result	size
risch	\(\frac {3 \ln \left (\ln \relax (x )\right )}{x^{2} \left (x^{2}-x \,{\mathrm e}^{x \,{\mathrm e}^{5}}-3\right )^{2}}\)	\(24\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-6*x^2*exp(5)-12*x)*exp(x*exp(5))+18*x^2-18)*ln(x)*ln(ln(x))+3*x*exp(x*exp(5))-3*x^2+9)/(x^6*exp(x*exp(
5))^3+(-3*x^7+9*x^5)*exp(x*exp(5))^2+(3*x^8-18*x^6+27*x^4)*exp(x*exp(5))-x^9+9*x^7-27*x^5+27*x^3)/ln(x),x,meth
od=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.50, size = 47, normalized size = 1.68 \begin {gather*} \frac {3 \, \log \left (\log \relax (x)\right )}{x^{6} + x^{4} e^{\left (2 \, x e^{5}\right )} - 6 \, x^{4} + 9 \, x^{2} - 2 \, {\left (x^{5} - 3 \, x^{3}\right )} e^{\left (x e^{5}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*x^2*exp(5)-12*x)*exp(x*exp(5))+18*x^2-18)*log(x)*log(log(x))+3*x*exp(x*exp(5))-3*x^2+9)/(x^6*e
xp(x*exp(5))^3+(-3*x^7+9*x^5)*exp(x*exp(5))^2+(3*x^8-18*x^6+27*x^4)*exp(x*exp(5))-x^9+9*x^7-27*x^5+27*x^3)/log
(x),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 4.01, size = 45, normalized size = 1.61 \begin {gather*} \frac {3\,\ln \left (\ln \relax (x)\right )}{x^2\,\left ({\mathrm {e}}^{x\,{\mathrm {e}}^5}\,\left (6\,x-2\,x^3\right )-6\,x^2+x^4+x^2\,{\mathrm {e}}^{2\,x\,{\mathrm {e}}^5}+9\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((3*x*exp(x*exp(5)) - 3*x^2 - log(log(x))*log(x)*(exp(x*exp(5))*(12*x + 6*x^2*exp(5)) - 18*x^2 + 18) + 9)/(
log(x)*(exp(x*exp(5))*(27*x^4 - 18*x^6 + 3*x^8) + exp(2*x*exp(5))*(9*x^5 - 3*x^7) + 27*x^3 - 27*x^5 + 9*x^7 -
x^9 + x^6*exp(3*x*exp(5)))),x)

[Out]

(3*log(log(x)))/(x^2*(exp(x*exp(5))*(6*x - 2*x^3) - 6*x^2 + x^4 + x^2*exp(2*x*exp(5)) + 9))

________________________________________________________________________________________

sympy [A]  time = 0.43, size = 48, normalized size = 1.71 \begin {gather*} \frac {3 \log {\left (\log {\relax (x )} \right )}}{x^{6} + x^{4} e^{2 x e^{5}} - 6 x^{4} + 9 x^{2} + \left (- 2 x^{5} + 6 x^{3}\right ) e^{x e^{5}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*x**2*exp(5)-12*x)*exp(x*exp(5))+18*x**2-18)*ln(x)*ln(ln(x))+3*x*exp(x*exp(5))-3*x**2+9)/(x**6*
exp(x*exp(5))**3+(-3*x**7+9*x**5)*exp(x*exp(5))**2+(3*x**8-18*x**6+27*x**4)*exp(x*exp(5))-x**9+9*x**7-27*x**5+
27*x**3)/ln(x),x)

[Out]

3*log(log(x))/(x**6 + x**4*exp(2*x*exp(5)) - 6*x**4 + 9*x**2 + (-2*x**5 + 6*x**3)*exp(x*exp(5)))

________________________________________________________________________________________