3.5.34 \(\int \frac {e^{-x} (-4 e^x x+e^{x^3} (-81-18 x-x^2+e^x (-81 x-18 x^2+728 x^3-81 x^4-45 x^5-3 x^6))+e^{x^3} (81 x+18 x^2-242 x^3-54 x^4-3 x^5) \log (x))}{81 x+18 x^2+x^3} \, dx\)

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

________________________________________________________________________________________

Rubi [C]  time = 1.88, antiderivative size = 73, normalized size of antiderivative = 2.61, number of steps used = 10, number of rules used = 9, integrand size = 108, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {1594, 27, 6688, 2226, 2208, 2209, 2218, 6706, 2554} \begin {gather*} 3 e^{x^3}-e^{x^3-x} \log (x)+\frac {x \Gamma \left (\frac {1}{3},-x^3\right )}{3 \sqrt [3]{-x^3}}+\frac {x^4 \Gamma \left (\frac {4}{3},-x^3\right )}{\left (-x^3\right )^{4/3}}+\frac {4}{x+9} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-4*E^x*x + E^x^3*(-81 - 18*x - x^2 + E^x*(-81*x - 18*x^2 + 728*x^3 - 81*x^4 - 45*x^5 - 3*x^6)) + E^x^3*(8
1*x + 18*x^2 - 242*x^3 - 54*x^4 - 3*x^5)*Log[x])/(E^x*(81*x + 18*x^2 + x^3)),x]

[Out]

3*E^x^3 + 4/(9 + x) + (x*Gamma[1/3, -x^3])/(3*(-x^3)^(1/3)) + (x^4*Gamma[4/3, -x^3])/(-x^3)^(4/3) - E^(-x + x^
3)*Log[x]

Rule 27

Int[(u_.)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[u*Cancel[(b/2 + c*x)^(2*p)/c^p], x] /; Fr
eeQ[{a, b, c}, x] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 1594

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.) + (c_.)*(x_)^(r_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^
(q - p) + c*x^(r - p))^n, x] /; FreeQ[{a, b, c, p, q, r}, x] && IntegerQ[n] && PosQ[q - p] && PosQ[r - p]

Rule 2208

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_)), x_Symbol] :> -Simp[(F^a*(c + d*x)*Gamma[1/n, -(b*(c + d*x)
^n*Log[F])])/(d*n*(-(b*(c + d*x)^n*Log[F]))^(1/n)), x] /; FreeQ[{F, a, b, c, d, n}, x] &&  !IntegerQ[2/n]

Rule 2209

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> Simp[((e + f*x)^n*
F^(a + b*(c + d*x)^n))/(b*f*n*(c + d*x)^n*Log[F]), x] /; FreeQ[{F, a, b, c, d, e, f, n}, x] && EqQ[m, n - 1] &
& EqQ[d*e - c*f, 0]

Rule 2218

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> -Simp[(F^a*(e + f*
x)^(m + 1)*Gamma[(m + 1)/n, -(b*(c + d*x)^n*Log[F])])/(f*n*(-(b*(c + d*x)^n*Log[F]))^((m + 1)/n)), x] /; FreeQ
[{F, a, b, c, d, e, f, m, n}, x] && EqQ[d*e - c*f, 0]

Rule 2226

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*(u_), x_Symbol] :> Int[ExpandLinearProduct[F^(a + b*(c + d*
x)^n), u, c, d, x], x] /; FreeQ[{F, a, b, c, d, n}, x] && PolynomialQ[u, x]

Rule 2554

Int[Log[u_]*(v_), x_Symbol] :> With[{w = IntHide[v, x]}, Dist[Log[u], w, x] - Int[SimplifyIntegrand[(w*D[u, x]
)/u, x], x] /; InverseFunctionFreeQ[w, x]] /; InverseFunctionFreeQ[u, x]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6706

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[(q*F^v)/Log[F], x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{-x} \left (-4 e^x x+e^{x^3} \left (-81-18 x-x^2+e^x \left (-81 x-18 x^2+728 x^3-81 x^4-45 x^5-3 x^6\right )\right )+e^{x^3} \left (81 x+18 x^2-242 x^3-54 x^4-3 x^5\right ) \log (x)\right )}{x \left (81+18 x+x^2\right )} \, dx\\ &=\int \frac {e^{-x} \left (-4 e^x x+e^{x^3} \left (-81-18 x-x^2+e^x \left (-81 x-18 x^2+728 x^3-81 x^4-45 x^5-3 x^6\right )\right )+e^{x^3} \left (81 x+18 x^2-242 x^3-54 x^4-3 x^5\right ) \log (x)\right )}{x (9+x)^2} \, dx\\ &=\int \left (-\frac {e^{-x+x^3}}{x}-\frac {4}{(9+x)^2}+e^{x^3} \left (-1+9 x^2-3 x^3\right )+e^{-x+x^3} \left (1-3 x^2\right ) \log (x)\right ) \, dx\\ &=\frac {4}{9+x}-\int \frac {e^{-x+x^3}}{x} \, dx+\int e^{x^3} \left (-1+9 x^2-3 x^3\right ) \, dx+\int e^{-x+x^3} \left (1-3 x^2\right ) \log (x) \, dx\\ &=\frac {4}{9+x}-e^{-x+x^3} \log (x)+\int \left (-e^{x^3}+9 e^{x^3} x^2-3 e^{x^3} x^3\right ) \, dx\\ &=\frac {4}{9+x}-e^{-x+x^3} \log (x)-3 \int e^{x^3} x^3 \, dx+9 \int e^{x^3} x^2 \, dx-\int e^{x^3} \, dx\\ &=3 e^{x^3}+\frac {4}{9+x}+\frac {x \Gamma \left (\frac {1}{3},-x^3\right )}{3 \sqrt [3]{-x^3}}+\frac {x^4 \Gamma \left (\frac {4}{3},-x^3\right )}{\left (-x^3\right )^{4/3}}-e^{-x+x^3} \log (x)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.16, size = 31, normalized size = 1.11 \begin {gather*} -e^{x^3} (-3+x)+\frac {4}{9+x}-e^{-x+x^3} \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-4*E^x*x + E^x^3*(-81 - 18*x - x^2 + E^x*(-81*x - 18*x^2 + 728*x^3 - 81*x^4 - 45*x^5 - 3*x^6)) + E^
x^3*(81*x + 18*x^2 - 242*x^3 - 54*x^4 - 3*x^5)*Log[x])/(E^x*(81*x + 18*x^2 + x^3)),x]

[Out]

-(E^x^3*(-3 + x)) + 4/(9 + x) - E^(-x + x^3)*Log[x]

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-3*x^5-54*x^4-242*x^3+18*x^2+81*x)*exp(x^3)*log(x)+((-3*x^6-45*x^5-81*x^4+728*x^3-18*x^2-81*x)*exp
(x)-x^2-18*x-81)*exp(x^3)-4*exp(x)*x)/(x^3+18*x^2+81*x)/exp(x),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [B]  time = 0.74, size = 54, normalized size = 1.93 \begin {gather*} -\frac {x^{2} e^{\left (x^{3}\right )} + x e^{\left (x^{3} - x\right )} \log \relax (x) + 6 \, x e^{\left (x^{3}\right )} + 9 \, e^{\left (x^{3} - x\right )} \log \relax (x) - 27 \, e^{\left (x^{3}\right )} - 4}{x + 9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-3*x^5-54*x^4-242*x^3+18*x^2+81*x)*exp(x^3)*log(x)+((-3*x^6-45*x^5-81*x^4+728*x^3-18*x^2-81*x)*exp
(x)-x^2-18*x-81)*exp(x^3)-4*exp(x)*x)/(x^3+18*x^2+81*x)/exp(x),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.07, size = 45, normalized size = 1.61

method	result	size
risch	\(-\ln \relax (x ) {\mathrm e}^{\left (x -1\right ) \left (x +1\right ) x}-\frac {x^{2} {\mathrm e}^{x^{3}}+6 \,{\mathrm e}^{x^{3}} x -27 \,{\mathrm e}^{x^{3}}-4}{x +9}\)	\(45\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-3*x^5-54*x^4-242*x^3+18*x^2+81*x)*exp(x^3)*ln(x)+((-3*x^6-45*x^5-81*x^4+728*x^3-18*x^2-81*x)*exp(x)-x^2
-18*x-81)*exp(x^3)-4*exp(x)*x)/(x^3+18*x^2+81*x)/exp(x),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.87, size = 27, normalized size = 0.96 \begin {gather*} -{\left ({\left (x - 3\right )} e^{x} + \log \relax (x)\right )} e^{\left (x^{3} - x\right )} + \frac {4}{x + 9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-3*x^5-54*x^4-242*x^3+18*x^2+81*x)*exp(x^3)*log(x)+((-3*x^6-45*x^5-81*x^4+728*x^3-18*x^2-81*x)*exp
(x)-x^2-18*x-81)*exp(x^3)-4*exp(x)*x)/(x^3+18*x^2+81*x)/exp(x),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.04 \begin {gather*} \int -\frac {{\mathrm {e}}^{-x}\,\left ({\mathrm {e}}^{x^3}\,\left (18\,x+{\mathrm {e}}^x\,\left (3\,x^6+45\,x^5+81\,x^4-728\,x^3+18\,x^2+81\,x\right )+x^2+81\right )+4\,x\,{\mathrm {e}}^x+{\mathrm {e}}^{x^3}\,\ln \relax (x)\,\left (3\,x^5+54\,x^4+242\,x^3-18\,x^2-81\,x\right )\right )}{x^3+18\,x^2+81\,x} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(-x)*(exp(x^3)*(18*x + exp(x)*(81*x + 18*x^2 - 728*x^3 + 81*x^4 + 45*x^5 + 3*x^6) + x^2 + 81) + 4*x*e
xp(x) + exp(x^3)*log(x)*(242*x^3 - 18*x^2 - 81*x + 54*x^4 + 3*x^5)))/(81*x + 18*x^2 + x^3),x)

[Out]

int(-(exp(-x)*(exp(x^3)*(18*x + exp(x)*(81*x + 18*x^2 - 728*x^3 + 81*x^4 + 45*x^5 + 3*x^6) + x^2 + 81) + 4*x*e
xp(x) + exp(x^3)*log(x)*(242*x^3 - 18*x^2 - 81*x + 54*x^4 + 3*x^5)))/(81*x + 18*x^2 + x^3), x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-3*x**5-54*x**4-242*x**3+18*x**2+81*x)*exp(x**3)*ln(x)+((-3*x**6-45*x**5-81*x**4+728*x**3-18*x**2-
81*x)*exp(x)-x**2-18*x-81)*exp(x**3)-4*exp(x)*x)/(x**3+18*x**2+81*x)/exp(x),x)

[Out]

Timed out

________________________________________________________________________________________