3.20.47 \(\int \frac {1}{3} e^{\frac {1}{3} (3+3 x-\log (x))} (3+(2+3 x) \log (x)) \, dx\) [1947]

Optimal. Leaf size=18 \[ e^{x+\frac {1}{3} (3-\log (x))} x \log (x) \]

[Out]

x*exp(-1/3*ln(x)+x+1)*ln(x)

________________________________________________________________________________________

Rubi [C] Result contains higher order function than in optimal. Order 5 vs. order 3 in optimal.
time = 0.35, antiderivative size = 175, normalized size of antiderivative = 9.72, number of steps used = 16, number of rules used = 10, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.345, Rules used = {12, 2306, 6820, 6874, 2250, 2258, 2634, 15, 14, 6696} \begin {gather*} -\frac {9}{25} e x^{5/3} \, _2F_2\left (\frac {5}{3},\frac {5}{3};\frac {8}{3},\frac {8}{3};x\right )-\frac {3}{2} e x^{2/3} \, _2F_2\left (\frac {2}{3},\frac {2}{3};\frac {5}{3},\frac {5}{3};x\right )-\frac {e x^{2/3} \text {Gamma}\left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {e x^{5/3} \log (x) \text {Gamma}\left (\frac {5}{3},-x\right )}{(-x)^{5/3}}-\frac {2 e x^{2/3} \log (x) \text {Gamma}\left (\frac {2}{3},-x\right )}{3 (-x)^{2/3}}-\frac {3 e x^{2/3} \text {Gamma}\left (\frac {5}{3}\right ) \log \left (\sqrt [3]{x}\right )}{(-x)^{2/3}}+\frac {2 e x^{2/3} \text {Gamma}\left (\frac {2}{3}\right ) \log \left (\sqrt [3]{x}\right )}{(-x)^{2/3}} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

-((E*x^(2/3)*Gamma[2/3, -x])/(-x)^(2/3)) - (3*E*x^(2/3)*HypergeometricPFQ[{2/3, 2/3}, {5/3, 5/3}, x])/2 - (9*E
*x^(5/3)*HypergeometricPFQ[{5/3, 5/3}, {8/3, 8/3}, x])/25 + (2*E*x^(2/3)*Gamma[2/3]*Log[x^(1/3)])/(-x)^(2/3) -
(3*E*x^(2/3)*Gamma[5/3]*Log[x^(1/3)])/(-x)^(2/3) - (2*E*x^(2/3)*Gamma[2/3, -x]*Log[x])/(3*(-x)^(2/3)) - (E*x^
(5/3)*Gamma[5/3, -x]*Log[x])/(-x)^(5/3)

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 15

Int[(u_.)*((a_.)*(x_)^(n_))^(m_), x_Symbol] :> Dist[a^IntPart[m]*((a*x^n)^FracPart[m]/x^(n*FracPart[m])), Int[
u*x^(m*n), x], x] /; FreeQ[{a, m, n}, x] &&  !IntegerQ[m]

Rule 2250

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

Rule 2258

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 2306

Int[(u_.)*(F_)^((a_.)*(Log[z_]*(b_.) + (v_.))), x_Symbol] :> Int[u*F^(a*v)*z^(a*b*Log[F]), x] /; FreeQ[{F, a,
b}, x]

Rule 2634

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 6696

Int[Gamma[n_, (b_.)*(x_)]/(x_), x_Symbol] :> Simp[Gamma[n]*Log[x], x] - Simp[((b*x)^n/n^2)*HypergeometricPFQ[{
n, n}, {1 + n, 1 + n}, (-b)*x], x] /; FreeQ[{b, n}, x] &&  !IntegerQ[n]

Rule 6820

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

Rule 6874

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{3} \int e^{\frac {1}{3} (3+3 x-\log (x))} (3+(2+3 x) \log (x)) \, dx\\ &=\frac {1}{3} \int \frac {e^{\frac {1}{3} (3+3 x)} (3+(2+3 x) \log (x))}{\sqrt [3]{x}} \, dx\\ &=\frac {1}{3} \int \frac {e^{1+x} (3+(2+3 x) \log (x))}{\sqrt [3]{x}} \, dx\\ &=\text {Subst}\left (\int e^{1+x^3} x \left (3+\left (2+3 x^3\right ) \log \left (x^3\right )\right ) \, dx,x,\sqrt [3]{x}\right )\\ &=\text {Subst}\left (\int \left (3 e^{1+x^3} x+e^{1+x^3} x \left (2+3 x^3\right ) \log \left (x^3\right )\right ) \, dx,x,\sqrt [3]{x}\right )\\ &=3 \text {Subst}\left (\int e^{1+x^3} x \, dx,x,\sqrt [3]{x}\right )+\text {Subst}\left (\int e^{1+x^3} x \left (2+3 x^3\right ) \log \left (x^3\right ) \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}-\text {Subst}\left (\int \frac {e x \left (-2 \Gamma \left (\frac {2}{3},-x^3\right )+3 \Gamma \left (\frac {5}{3},-x^3\right )\right )}{\left (-x^3\right )^{2/3}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}-e \text {Subst}\left (\int \frac {x \left (-2 \Gamma \left (\frac {2}{3},-x^3\right )+3 \Gamma \left (\frac {5}{3},-x^3\right )\right )}{\left (-x^3\right )^{2/3}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}-\frac {\left (e x^{2/3}\right ) \text {Subst}\left (\int \frac {-2 \Gamma \left (\frac {2}{3},-x^3\right )+3 \Gamma \left (\frac {5}{3},-x^3\right )}{x} \, dx,x,\sqrt [3]{x}\right )}{(-x)^{2/3}}\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}-\frac {\left (e x^{2/3}\right ) \text {Subst}\left (\int \left (-\frac {2 \Gamma \left (\frac {2}{3},-x^3\right )}{x}+\frac {3 \Gamma \left (\frac {5}{3},-x^3\right )}{x}\right ) \, dx,x,\sqrt [3]{x}\right )}{(-x)^{2/3}}\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}+\frac {\left (2 e x^{2/3}\right ) \text {Subst}\left (\int \frac {\Gamma \left (\frac {2}{3},-x^3\right )}{x} \, dx,x,\sqrt [3]{x}\right )}{(-x)^{2/3}}-\frac {\left (3 e x^{2/3}\right ) \text {Subst}\left (\int \frac {\Gamma \left (\frac {5}{3},-x^3\right )}{x} \, dx,x,\sqrt [3]{x}\right )}{(-x)^{2/3}}\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}+\frac {\left (2 e x^{2/3}\right ) \text {Subst}\left (\int \frac {\Gamma \left (\frac {2}{3},-x\right )}{x} \, dx,x,x\right )}{3 (-x)^{2/3}}-\frac {\left (e x^{2/3}\right ) \text {Subst}\left (\int \frac {\Gamma \left (\frac {5}{3},-x\right )}{x} \, dx,x,x\right )}{(-x)^{2/3}}\\ &=-\frac {e x^{2/3} \Gamma \left (\frac {2}{3},-x\right )}{(-x)^{2/3}}-\frac {3}{2} e x^{2/3} \, _2F_2\left (\frac {2}{3},\frac {2}{3};\frac {5}{3},\frac {5}{3};x\right )-\frac {9}{25} e x^{5/3} \, _2F_2\left (\frac {5}{3},\frac {5}{3};\frac {8}{3},\frac {8}{3};x\right )+\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3}\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{2/3} \Gamma \left (\frac {5}{3}\right ) \log (x)}{(-x)^{2/3}}-\frac {2 e x^{2/3} \Gamma \left (\frac {2}{3},-x\right ) \log (x)}{3 (-x)^{2/3}}-\frac {e x^{5/3} \Gamma \left (\frac {5}{3},-x\right ) \log (x)}{(-x)^{5/3}}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.04, size = 13, normalized size = 0.72 \begin {gather*} e^{1+x} x^{2/3} \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

Maple [A]
time = 0.29, size = 11, normalized size = 0.61

method	result	size
default	\(x^{\frac {2}{3}} {\mathrm e}^{x +1} \ln \left (x \right )\)	\(11\)
risch	\(x^{\frac {2}{3}} {\mathrm e}^{x +1} \ln \left (x \right )\)	\(11\)
norman	\(x \,{\mathrm e}^{-\frac {\ln \left (x \right )}{3}+x +1} \ln \left (x \right )\)	\(13\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/3*((3*x+2)*ln(x)+3)*exp(-1/3*ln(x)+x+1),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*((2+3*x)*log(x)+3)*exp(-1/3*log(x)+x+1),x, algorithm="maxima")

[Out]

1/3*integrate(((3*x + 2)*log(x) + 3)*e^(x - 1/3*log(x) + 1), x)

________________________________________________________________________________________

Fricas [A]
time = 0.36, size = 12, normalized size = 0.67 \begin {gather*} x e^{\left (x - \frac {1}{3} \, \log \left (x\right ) + 1\right )} \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*((2+3*x)*log(x)+3)*exp(-1/3*log(x)+x+1),x, algorithm="fricas")

[Out]

x*e^(x - 1/3*log(x) + 1)*log(x)

________________________________________________________________________________________

Sympy [F(-1)] Timed out
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(1/3*((2+3*x)*ln(x)+3)*exp(-1/3*ln(x)+x+1),x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/3*((2+3*x)*log(x)+3)*exp(-1/3*log(x)+x+1),x, algorithm="giac")

[Out]

integrate(1/3*((3*x + 2)*log(x) + 3)*e^(x - 1/3*log(x) + 1), x)

________________________________________________________________________________________

Mupad [B]
time = 1.21, size = 10, normalized size = 0.56 \begin {gather*} x^{2/3}\,\mathrm {e}\,{\mathrm {e}}^x\,\ln \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(x - log(x)/3 + 1)*(log(x)*(3*x + 2) + 3))/3,x)

[Out]

x^(2/3)*exp(1)*exp(x)*log(x)

________________________________________________________________________________________