3.8.82 \(\int \frac {e^5 (54 e x+e^2 (36+6 x^3))+(-18 e x+e^2 (-12-2 x^3)) \log (\frac {e x^2+x^3}{-3+x^3})}{-3 x^2+x^5+e (-3 x+x^4)} \, dx\) [782]

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

[Out]

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

________________________________________________________________________________________

Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
time = 2.06, antiderivative size = 1214, normalized size of antiderivative = 46.69, number of steps used = 86, number of rules used = 17, integrand size = 77, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.221, Rules used = {6820, 12, 2608, 2604, 2404, 2338, 2354, 2438, 2375, 2465, 2439, 2437, 266, 2463, 2441, 2440, 2352} \begin {gather*} -e \log ^2\left (-x-\sqrt [3]{-3}\right )-2 e \log \left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right ) \log \left (-x-\sqrt [3]{-3}\right )-2 e \log \left (-\frac {(-1)^{2/3} \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{\sqrt [3]{-3}+\sqrt [3]{3}}\right ) \log \left (-x-\sqrt [3]{-3}\right )+4 e \log \left (\frac {(-1)^{2/3} x}{\sqrt [3]{3}}\right ) \log \left (-x-\sqrt [3]{-3}\right )+2 e \log \left (-\frac {x+e}{\sqrt [3]{-3}-e}\right ) \log \left (-x-\sqrt [3]{-3}\right )+2 e \left (3 e^5-\log \left (-\frac {x^2 (x+e)}{3-x^3}\right )\right ) \log \left (-x-\sqrt [3]{-3}\right )-e \log ^2\left (\sqrt [3]{3}-x\right )-e \log ^2\left ((-1)^{2/3} \sqrt [3]{3}-x\right )-4 e \log ^2(x)-e \log ^2(x+e)-2 e \log \left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{3} \left (1-(-1)^{2/3}\right )}\right ) \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )+\frac {4}{3} e \log (3) \log (x)-4 e \log (x)+4 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (-\sqrt [3]{-\frac {1}{3}} x\right )-2 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (-\frac {i \left (x+\sqrt [3]{-3}\right )}{3^{5/6}}\right )-2 e \log \left (\sqrt [3]{3}-x\right ) \log \left (\frac {x+\sqrt [3]{-3}}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+2 e \log \left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{3}+e}\right ) \log (x+e)+2 e \log \left (\frac {x+\sqrt [3]{-3}}{\sqrt [3]{-3}-e}\right ) \log (x+e)+2 e \log \left (\sqrt [3]{3}-x\right ) \log \left (\frac {x+e}{\sqrt [3]{3}+e}\right )+2 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (\frac {x+e}{(-1)^{2/3} \sqrt [3]{3}+e}\right )-2 e \log \left (\sqrt [3]{3}-x\right ) \log \left (-\frac {(-1)^{2/3} \left (\sqrt [3]{-1} x+\sqrt [3]{3}\right )}{\sqrt [3]{3} \left (1-(-1)^{2/3}\right )}\right )+2 e \log (x+e) \log \left (\frac {(-1)^{2/3} \left (\sqrt [3]{-1} x+\sqrt [3]{3}\right )}{(-1)^{2/3} \sqrt [3]{3}+e}\right )-4 e \log (x) \log \left (\frac {x}{e}+1\right )+2 e \log \left (\sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (x+e)}{3-x^3}\right )\right )+2 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (x+e)}{3-x^3}\right )\right )-4 e \log (x) \left (3 e^5-\log \left (-\frac {x^2 (x+e)}{3-x^3}\right )\right )-2 e \log (x+e) \left (3 e^5-\log \left (-\frac {x^2 (x+e)}{3-x^3}\right )\right )+4 e \log (x) \log \left (1-\frac {x^3}{3}\right )-2 e \text {Li}_2\left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )-2 e \text {Li}_2\left (\frac {2 \left (\sqrt [3]{3}-x\right )}{\sqrt [3]{3} \left (3-i \sqrt {3}\right )}\right )+2 e \text {Li}_2\left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{3}+e}\right )-2 e \text {Li}_2\left (\frac {i x+\sqrt [6]{-1} \sqrt [3]{3}}{3^{5/6}}\right )-2 e \text {Li}_2\left (\frac {2 i x+\sqrt [3]{3} \left (i+\sqrt {3}\right )}{\sqrt [3]{3} \left (3 i+\sqrt {3}\right )}\right )-4 e \text {Li}_2\left (\frac {x}{\sqrt [3]{3}}\right )+\frac {4}{3} e \text {Li}_2\left (\frac {x^3}{3}\right )-2 e \text {Li}_2\left (\frac {x+\sqrt [3]{-3}}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+2 e \text {Li}_2\left (\frac {x+\sqrt [3]{-3}}{\sqrt [3]{-3}-e}\right )+2 e \text {Li}_2\left (-\frac {x+e}{\sqrt [3]{-3}-e}\right )+2 e \text {Li}_2\left (\frac {x+e}{\sqrt [3]{3}+e}\right )+2 e \text {Li}_2\left (\frac {x+e}{(-1)^{2/3} \sqrt [3]{3}+e}\right )+2 e \text {Li}_2\left (\frac {(-1)^{2/3} \left (\sqrt [3]{-1} x+\sqrt [3]{3}\right )}{(-1)^{2/3} \sqrt [3]{3}+e}\right )-2 e \text {Li}_2\left (\frac {\sqrt [3]{3}-(-1)^{2/3} x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+4 e \text {Li}_2\left (\sqrt [3]{-\frac {1}{3}} x+1\right )+4 e \text {Li}_2\left (1-\frac {(-1)^{2/3} x}{\sqrt [3]{3}}\right ) \end {gather*}

Warning: Unable to verify antiderivative.

[In]

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

[Out]

-(E*Log[-(-3)^(1/3) - x]^2) - E*Log[3^(1/3) - x]^2 - 2*E*Log[-(-3)^(1/3) - x]*Log[(3^(1/3) - x)/((-3)^(1/3) +
3^(1/3))] - 2*E*Log[(3^(1/3) - x)/(3^(1/3)*(1 - (-1)^(2/3)))]*Log[(-1)^(2/3)*3^(1/3) - x] - E*Log[(-1)^(2/3)*3
^(1/3) - x]^2 - 2*E*Log[-(-3)^(1/3) - x]*Log[-(((-1)^(2/3)*((-1)^(2/3)*3^(1/3) - x))/((-3)^(1/3) + 3^(1/3)))]
- 4*E*Log[x] + (4*E*Log[3]*Log[x])/3 - 4*E*Log[x]^2 + 4*E*Log[(-1)^(2/3)*3^(1/3) - x]*Log[-((-1/3)^(1/3)*x)] +
4*E*Log[-(-3)^(1/3) - x]*Log[((-1)^(2/3)*x)/3^(1/3)] - 2*E*Log[(-1)^(2/3)*3^(1/3) - x]*Log[((-I)*((-3)^(1/3)
+ x))/3^(5/6)] - 2*E*Log[3^(1/3) - x]*Log[((-3)^(1/3) + x)/((-3)^(1/3) + 3^(1/3))] + 2*E*Log[(3^(1/3) - x)/(3^
(1/3) + E)]*Log[E + x] + 2*E*Log[((-3)^(1/3) + x)/((-3)^(1/3) - E)]*Log[E + x] - E*Log[E + x]^2 + 2*E*Log[-(-3
)^(1/3) - x]*Log[-((E + x)/((-3)^(1/3) - E))] + 2*E*Log[3^(1/3) - x]*Log[(E + x)/(3^(1/3) + E)] + 2*E*Log[(-1)
^(2/3)*3^(1/3) - x]*Log[(E + x)/((-1)^(2/3)*3^(1/3) + E)] - 2*E*Log[3^(1/3) - x]*Log[-(((-1)^(2/3)*(3^(1/3) +
(-1)^(1/3)*x))/(3^(1/3)*(1 - (-1)^(2/3))))] + 2*E*Log[E + x]*Log[((-1)^(2/3)*(3^(1/3) + (-1)^(1/3)*x))/((-1)^(
2/3)*3^(1/3) + E)] - 4*E*Log[x]*Log[1 + x/E] + 2*E*Log[-(-3)^(1/3) - x]*(3*E^5 - Log[-((x^2*(E + x))/(3 - x^3)
)]) + 2*E*Log[3^(1/3) - x]*(3*E^5 - Log[-((x^2*(E + x))/(3 - x^3))]) + 2*E*Log[(-1)^(2/3)*3^(1/3) - x]*(3*E^5
- Log[-((x^2*(E + x))/(3 - x^3))]) - 4*E*Log[x]*(3*E^5 - Log[-((x^2*(E + x))/(3 - x^3))]) - 2*E*Log[E + x]*(3*
E^5 - Log[-((x^2*(E + x))/(3 - x^3))]) + 4*E*Log[x]*Log[1 - x^3/3] - 2*E*PolyLog[2, (3^(1/3) - x)/((-3)^(1/3)
+ 3^(1/3))] - 2*E*PolyLog[2, (2*(3^(1/3) - x))/(3^(1/3)*(3 - I*Sqrt[3]))] + 2*E*PolyLog[2, (3^(1/3) - x)/(3^(1
/3) + E)] - 2*E*PolyLog[2, ((-1)^(1/6)*3^(1/3) + I*x)/3^(5/6)] - 2*E*PolyLog[2, (3^(1/3)*(I + Sqrt[3]) + (2*I)
*x)/(3^(1/3)*(3*I + Sqrt[3]))] - 4*E*PolyLog[2, x/3^(1/3)] + (4*E*PolyLog[2, x^3/3])/3 - 2*E*PolyLog[2, ((-3)^
(1/3) + x)/((-3)^(1/3) + 3^(1/3))] + 2*E*PolyLog[2, ((-3)^(1/3) + x)/((-3)^(1/3) - E)] + 2*E*PolyLog[2, -((E +
x)/((-3)^(1/3) - E))] + 2*E*PolyLog[2, (E + x)/(3^(1/3) + E)] + 2*E*PolyLog[2, (E + x)/((-1)^(2/3)*3^(1/3) +
E)] + 2*E*PolyLog[2, ((-1)^(2/3)*(3^(1/3) + (-1)^(1/3)*x))/((-1)^(2/3)*3^(1/3) + E)] - 2*E*PolyLog[2, (3^(1/3)
- (-1)^(2/3)*x)/((-3)^(1/3) + 3^(1/3))] + 4*E*PolyLog[2, 1 + (-1/3)^(1/3)*x] + 4*E*PolyLog[2, 1 - ((-1)^(2/3)
*x)/3^(1/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 266

Int[(x_)^(m_.)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> Simp[Log[RemoveContent[a + b*x^n, x]]/(b*n), x] /; FreeQ
[{a, b, m, n}, x] && EqQ[m, n - 1]

Rule 2338

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2352

Int[Log[(c_.)*(x_)]/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[(-e^(-1))*PolyLog[2, 1 - c*x], x] /; FreeQ[{c, d, e
}, x] && EqQ[e + c*d, 0]

Rule 2354

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[Log[1 + e*(x/d)]*((a +
b*Log[c*x^n])^p/e), x] - Dist[b*n*(p/e), Int[Log[1 + e*(x/d)]*((a + b*Log[c*x^n])^(p - 1)/x), x], x] /; FreeQ[
{a, b, c, d, e, n}, x] && IGtQ[p, 0]

Rule 2375

Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((f_.)*(x_))^(m_.))/((d_) + (e_.)*(x_)^(r_)), x_Symbol] :> Si
mp[f^m*Log[1 + e*(x^r/d)]*((a + b*Log[c*x^n])^p/(e*r)), x] - Dist[b*f^m*n*(p/(e*r)), Int[Log[1 + e*(x^r/d)]*((
a + b*Log[c*x^n])^(p - 1)/x), x], x] /; FreeQ[{a, b, c, d, e, f, m, n, r}, x] && EqQ[m, r - 1] && IGtQ[p, 0] &
& (IntegerQ[m] || GtQ[f, 0]) && NeQ[r, n]

Rule 2404

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[(a + b*Log[c*x^
n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, n}, x] && RationalFunctionQ[RFx, x] && IGtQ[p, 0]

Rule 2437

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_) + (g_.)*(x_))^(q_.), x_Symbol] :> Dist[1/
e, Subst[Int[(f*(x/d))^q*(a + b*Log[c*x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, n, p, q}, x]
&& EqQ[e*f - d*g, 0]

Rule 2438

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2, (-c)*e*x^n]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]

Rule 2439

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*d])*Log[x], x] + Dist[
b, Int[Log[1 + e*(x/d)]/x, x], x] /; FreeQ[{a, b, c, d, e}, x] && GtQ[c*d, 0]

Rule 2440

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Dist[1/g, Subst[Int[(a +
b*Log[1 + c*e*(x/g)])/x, x], x, f + g*x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[e*f - d*g, 0] && EqQ[g
+ c*(e*f - d*g), 0]

Rule 2441

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Simp[Log[e*((f + g
*x)/(e*f - d*g))]*((a + b*Log[c*(d + e*x)^n])/g), x] - Dist[b*e*(n/g), Int[Log[(e*(f + g*x))/(e*f - d*g)]/(d +
e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n}, x] && NeQ[e*f - d*g, 0]

Rule 2463

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((h_.)*(x_))^(m_.)*((f_) + (g_.)*(x_)^(r_.))^(q
_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*Log[c*(d + e*x)^n])^p, (h*x)^m*(f + g*x^r)^q, x], x] /; FreeQ[{a,
b, c, d, e, f, g, h, m, n, p, q, r}, x] && IntegerQ[m] && IntegerQ[q]

Rule 2465

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[
(a + b*Log[c*(d + e*x)^n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, d, e, n}, x] && RationalFunct
ionQ[RFx, x] && IntegerQ[p]

Rule 2604

Int[((a_.) + Log[(c_.)*(RFx_)^(p_.)]*(b_.))^(n_.)/((d_.) + (e_.)*(x_)), x_Symbol] :> Simp[Log[d + e*x]*((a + b
*Log[c*RFx^p])^n/e), x] - Dist[b*n*(p/e), Int[Log[d + e*x]*(a + b*Log[c*RFx^p])^(n - 1)*(D[RFx, x]/RFx), x], x
] /; FreeQ[{a, b, c, d, e, p}, x] && RationalFunctionQ[RFx, x] && IGtQ[n, 0]

Rule 2608

Int[((a_.) + Log[(c_.)*(RFx_)^(p_.)]*(b_.))^(n_.)*(RGx_), x_Symbol] :> With[{u = ExpandIntegrand[(a + b*Log[c*
RFx^p])^n, RGx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, p}, x] && RationalFunctionQ[RFx, x] && RationalF
unctionQ[RGx, x] && IGtQ[n, 0]

Rule 6820

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {2 e \left (6 e+9 x+e x^3\right ) \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )}{x (e+x) \left (3-x^3\right )} \, dx\\ &=(2 e) \int \frac {\left (6 e+9 x+e x^3\right ) \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )}{x (e+x) \left (3-x^3\right )} \, dx\\ &=(2 e) \int \left (\frac {2 \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )}{x}+\frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{e+x}-\frac {3 x^2 \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )}{-3+x^3}\right ) \, dx\\ &=(2 e) \int \frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{e+x} \, dx+(4 e) \int \frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{x} \, dx-(6 e) \int \frac {x^2 \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )}{-3+x^3} \, dx\\ &=-4 e \log (x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-2 e \log (e+x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-(2 e) \int \frac {\left (-3+x^3\right ) \left (-\frac {3 x^4 (e+x)}{\left (-3+x^3\right )^2}+\frac {x^2}{-3+x^3}+\frac {2 x (e+x)}{-3+x^3}\right ) \log (e+x)}{x^2 (e+x)} \, dx-(4 e) \int \frac {\left (-3+x^3\right ) \left (-\frac {3 x^4 (e+x)}{\left (-3+x^3\right )^2}+\frac {x^2}{-3+x^3}+\frac {2 x (e+x)}{-3+x^3}\right ) \log (x)}{x^2 (e+x)} \, dx-(6 e) \int \left (-\frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{3 \left (-\sqrt [3]{-3}-x\right )}-\frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{3 \left (\sqrt [3]{3}-x\right )}-\frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{3 \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}\right ) \, dx\\ &=-4 e \log (x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-2 e \log (e+x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-(2 e) \int \left (\frac {2 \log (e+x)}{x}+\frac {\log (e+x)}{e+x}-\frac {3 x^2 \log (e+x)}{-3+x^3}\right ) \, dx+(2 e) \int \frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{-\sqrt [3]{-3}-x} \, dx+(2 e) \int \frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{\sqrt [3]{3}-x} \, dx+(2 e) \int \frac {-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )}{(-1)^{2/3} \sqrt [3]{3}-x} \, dx-(4 e) \int \left (\frac {2 \log (x)}{x}+\frac {\log (x)}{e+x}-\frac {3 x^2 \log (x)}{-3+x^3}\right ) \, dx\\ &=2 e \log \left (-\sqrt [3]{-3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+2 e \log \left (\sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+2 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-4 e \log (x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-2 e \log (e+x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+(2 e) \int \frac {\left (-3+x^3\right ) \left (-\frac {3 x^4 (e+x)}{\left (-3+x^3\right )^2}+\frac {x^2}{-3+x^3}+\frac {2 x (e+x)}{-3+x^3}\right ) \log \left (-\sqrt [3]{-3}-x\right )}{x^2 (e+x)} \, dx+(2 e) \int \frac {\left (-3+x^3\right ) \left (-\frac {3 x^4 (e+x)}{\left (-3+x^3\right )^2}+\frac {x^2}{-3+x^3}+\frac {2 x (e+x)}{-3+x^3}\right ) \log \left (\sqrt [3]{3}-x\right )}{x^2 (e+x)} \, dx+(2 e) \int \frac {\left (-3+x^3\right ) \left (-\frac {3 x^4 (e+x)}{\left (-3+x^3\right )^2}+\frac {x^2}{-3+x^3}+\frac {2 x (e+x)}{-3+x^3}\right ) \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{x^2 (e+x)} \, dx-(2 e) \int \frac {\log (e+x)}{e+x} \, dx-(4 e) \int \frac {\log (x)}{e+x} \, dx-(4 e) \int \frac {\log (e+x)}{x} \, dx+(6 e) \int \frac {x^2 \log (e+x)}{-3+x^3} \, dx-(8 e) \int \frac {\log (x)}{x} \, dx+(12 e) \int \frac {x^2 \log (x)}{-3+x^3} \, dx\\ &=-4 e \log (x)-4 e \log ^2(x)-4 e \log (x) \log \left (1+\frac {x}{e}\right )+2 e \log \left (-\sqrt [3]{-3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+2 e \log \left (\sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+2 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-4 e \log (x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-2 e \log (e+x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+4 e \log (x) \log \left (1-\frac {x^3}{3}\right )+(2 e) \int \left (\frac {2 \log \left (-\sqrt [3]{-3}-x\right )}{x}+\frac {\log \left (-\sqrt [3]{-3}-x\right )}{e+x}-\frac {3 x^2 \log \left (-\sqrt [3]{-3}-x\right )}{-3+x^3}\right ) \, dx+(2 e) \int \left (\frac {2 \log \left (\sqrt [3]{3}-x\right )}{x}+\frac {\log \left (\sqrt [3]{3}-x\right )}{e+x}-\frac {3 x^2 \log \left (\sqrt [3]{3}-x\right )}{-3+x^3}\right ) \, dx+(2 e) \int \left (\frac {2 \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{x}+\frac {\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{e+x}-\frac {3 x^2 \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{-3+x^3}\right ) \, dx-(2 e) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,e+x\right )-(4 e) \int \frac {\log \left (1-\frac {x^3}{3}\right )}{x} \, dx+(6 e) \int \left (-\frac {\log (e+x)}{3 \left (-\sqrt [3]{-3}-x\right )}-\frac {\log (e+x)}{3 \left (\sqrt [3]{3}-x\right )}-\frac {\log (e+x)}{3 \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}\right ) \, dx\\ &=-4 e \log (x)-4 e \log ^2(x)-e \log ^2(e+x)-4 e \log (x) \log \left (1+\frac {x}{e}\right )+2 e \log \left (-\sqrt [3]{-3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+2 e \log \left (\sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+2 e \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-4 e \log (x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )-2 e \log (e+x) \left (3 e^5-\log \left (-\frac {x^2 (e+x)}{3-x^3}\right )\right )+4 e \log (x) \log \left (1-\frac {x^3}{3}\right )+\frac {4}{3} e \text {Li}_2\left (\frac {x^3}{3}\right )+(2 e) \int \frac {\log \left (-\sqrt [3]{-3}-x\right )}{e+x} \, dx+(2 e) \int \frac {\log \left (\sqrt [3]{3}-x\right )}{e+x} \, dx+(2 e) \int \frac {\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{e+x} \, dx-(2 e) \int \frac {\log (e+x)}{-\sqrt [3]{-3}-x} \, dx-(2 e) \int \frac {\log (e+x)}{\sqrt [3]{3}-x} \, dx-(2 e) \int \frac {\log (e+x)}{(-1)^{2/3} \sqrt [3]{3}-x} \, dx+(4 e) \int \frac {\log \left (-\sqrt [3]{-3}-x\right )}{x} \, dx+(4 e) \int \frac {\log \left (\sqrt [3]{3}-x\right )}{x} \, dx+(4 e) \int \frac {\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{x} \, dx-(6 e) \int \frac {x^2 \log \left (-\sqrt [3]{-3}-x\right )}{-3+x^3} \, dx-(6 e) \int \frac {x^2 \log \left (\sqrt [3]{3}-x\right )}{-3+x^3} \, dx-(6 e) \int \frac {x^2 \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right )}{-3+x^3} \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
time = 0.66, size = 1185, normalized size = 45.58 \begin {gather*} 2 e \left (-\frac {1}{2} \log ^2\left (-\sqrt [3]{-3}-x\right )+\frac {2}{3} \log (3) \log \left (\sqrt [3]{3}-x\right )-\frac {1}{2} \log ^2\left (\sqrt [3]{3}-x\right )-\log \left (-\sqrt [3]{-3}-x\right ) \log \left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )-\frac {1}{2} \log ^2\left ((-1)^{2/3} \sqrt [3]{3}-x\right )+\log \left (\frac {\sqrt [3]{3}-x}{\sqrt [3]{3}+e}\right ) \log (-e-x)+\log \left (\frac {(-1)^{2/3} \sqrt [3]{3}-x}{(-1)^{2/3} \sqrt [3]{3}+e}\right ) \log (-e-x)-\frac {1}{2} \log ^2(-e-x)-2 \log (-e-x) (-1+\log (-x))+\frac {2}{3} \log (3) \log (x)-2 \log ^2(x)+2 \log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (-\sqrt [3]{-\frac {1}{3}} x\right )+2 \log \left (-\sqrt [3]{-3}-x\right ) \log \left (\frac {(-1)^{2/3} x}{\sqrt [3]{3}}\right )-\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (-\frac {i \left (\sqrt [3]{-3}+x\right )}{3^{5/6}}\right )-\log \left (\sqrt [3]{3}-x\right ) \log \left (\frac {\sqrt [3]{-3}+x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+\log (-e-x) \log \left (\frac {\sqrt [3]{-3}+x}{\sqrt [3]{-3}-e}\right )-2 \log (x) (-1+\log (e+x))+\log \left (\sqrt [3]{3}+e\right ) \log (e+x)+\log \left (-\sqrt [3]{-3}-x\right ) \log \left (-\frac {e+x}{\sqrt [3]{-3}-e}\right )+\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (\frac {e+x}{(-1)^{2/3} \sqrt [3]{3}+e}\right )+2 \log (x) \log \left (\frac {1}{3} \left (3-(-3)^{2/3} x\right )\right )-\log \left (-\sqrt [3]{-3}-x\right ) \log \left (\frac {\sqrt [3]{-3}+(-1)^{2/3} x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+2 \log (x) \log \left (1+\sqrt [3]{-\frac {1}{3}} x\right )-\log \left (\sqrt [3]{3}-x\right ) \log \left (\frac {i+\sqrt {3}+\frac {2 i x}{\sqrt [3]{3}}}{3 i+\sqrt {3}}\right )-\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \log \left (-\frac {2 i \left (-3+3^{2/3} x\right )}{3 \left (3 i+\sqrt {3}\right )}\right )+\log \left (-\sqrt [3]{-3}-x\right ) \left (3 e^5-\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )+\log \left (\sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )+\log \left ((-1)^{2/3} \sqrt [3]{3}-x\right ) \left (3 e^5-\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )+\log (-e-x) \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )+2 \log (x) \left (-3 e^5+\log \left (\frac {x^2 (e+x)}{-3+x^3}\right )\right )-\text {PolyLog}\left (2,\frac {\sqrt [3]{3}-x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+\text {PolyLog}\left (2,\frac {(-1)^{2/3} \sqrt [3]{3}-x}{(-1)^{2/3} \sqrt [3]{3}+e}\right )+2 \text {PolyLog}\left (2,-\sqrt [3]{-\frac {1}{3}} x\right )-2 \text {PolyLog}\left (2,\frac {x}{\sqrt [3]{3}}\right )+2 \text {PolyLog}\left (2,\frac {(-1)^{2/3} x}{\sqrt [3]{3}}\right )-2 \text {PolyLog}\left (2,-\frac {x}{e}\right )-\text {PolyLog}\left (2,\frac {\sqrt [3]{-3}+x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+\text {PolyLog}\left (2,\frac {\sqrt [3]{-3}+x}{\sqrt [3]{-3}-e}\right )+\text {PolyLog}\left (2,-\frac {e+x}{\sqrt [3]{-3}-e}\right )-2 \text {PolyLog}\left (2,\frac {e+x}{e}\right )+\text {PolyLog}\left (2,\frac {e+x}{(-1)^{2/3} \sqrt [3]{3}+e}\right )+2 \text {PolyLog}\left (2,\frac {1}{3} \left (3-(-3)^{2/3} x\right )\right )-\text {PolyLog}\left (2,\frac {\sqrt [3]{3}-(-1)^{2/3} x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )-\text {PolyLog}\left (2,\frac {\sqrt [3]{-3}+(-1)^{2/3} x}{\sqrt [3]{-3}+\sqrt [3]{3}}\right )+2 \text {PolyLog}\left (2,1+\sqrt [3]{-\frac {1}{3}} x\right )-2 \text {PolyLog}\left (2,1-\frac {x}{\sqrt [3]{3}}\right )-\text {PolyLog}\left (2,\frac {i+\sqrt {3}+\frac {2 i x}{\sqrt [3]{3}}}{3 i+\sqrt {3}}\right )-\text {PolyLog}\left (2,-\frac {2 i \left (-3+3^{2/3} x\right )}{3 \left (3 i+\sqrt {3}\right )}\right )\right ) \end {gather*}

Warning: Unable to verify antiderivative.

[In]

Integrate[(E^5*(54*E*x + E^2*(36 + 6*x^3)) + (-18*E*x + E^2*(-12 - 2*x^3))*Log[(E*x^2 + x^3)/(-3 + x^3)])/(-3*
x^2 + x^5 + E*(-3*x + x^4)),x]

[Out]

2*E*(-1/2*Log[-(-3)^(1/3) - x]^2 + (2*Log[3]*Log[3^(1/3) - x])/3 - Log[3^(1/3) - x]^2/2 - Log[-(-3)^(1/3) - x]
*Log[(3^(1/3) - x)/((-3)^(1/3) + 3^(1/3))] - Log[(-1)^(2/3)*3^(1/3) - x]^2/2 + Log[(3^(1/3) - x)/(3^(1/3) + E)
]*Log[-E - x] + Log[((-1)^(2/3)*3^(1/3) - x)/((-1)^(2/3)*3^(1/3) + E)]*Log[-E - x] - Log[-E - x]^2/2 - 2*Log[-
E - x]*(-1 + Log[-x]) + (2*Log[3]*Log[x])/3 - 2*Log[x]^2 + 2*Log[(-1)^(2/3)*3^(1/3) - x]*Log[-((-1/3)^(1/3)*x)
] + 2*Log[-(-3)^(1/3) - x]*Log[((-1)^(2/3)*x)/3^(1/3)] - Log[(-1)^(2/3)*3^(1/3) - x]*Log[((-I)*((-3)^(1/3) + x
))/3^(5/6)] - Log[3^(1/3) - x]*Log[((-3)^(1/3) + x)/((-3)^(1/3) + 3^(1/3))] + Log[-E - x]*Log[((-3)^(1/3) + x)
/((-3)^(1/3) - E)] - 2*Log[x]*(-1 + Log[E + x]) + Log[3^(1/3) + E]*Log[E + x] + Log[-(-3)^(1/3) - x]*Log[-((E
+ x)/((-3)^(1/3) - E))] + Log[(-1)^(2/3)*3^(1/3) - x]*Log[(E + x)/((-1)^(2/3)*3^(1/3) + E)] + 2*Log[x]*Log[(3
- (-3)^(2/3)*x)/3] - Log[-(-3)^(1/3) - x]*Log[((-3)^(1/3) + (-1)^(2/3)*x)/((-3)^(1/3) + 3^(1/3))] + 2*Log[x]*L
og[1 + (-1/3)^(1/3)*x] - Log[3^(1/3) - x]*Log[(I + Sqrt[3] + ((2*I)*x)/3^(1/3))/(3*I + Sqrt[3])] - Log[(-1)^(2
/3)*3^(1/3) - x]*Log[(((-2*I)/3)*(-3 + 3^(2/3)*x))/(3*I + Sqrt[3])] + Log[-(-3)^(1/3) - x]*(3*E^5 - Log[(x^2*(
E + x))/(-3 + x^3)]) + Log[3^(1/3) - x]*(3*E^5 - Log[(x^2*(E + x))/(-3 + x^3)]) + Log[(-1)^(2/3)*3^(1/3) - x]*
(3*E^5 - Log[(x^2*(E + x))/(-3 + x^3)]) + Log[-E - x]*(-3*E^5 + Log[(x^2*(E + x))/(-3 + x^3)]) + 2*Log[x]*(-3*
E^5 + Log[(x^2*(E + x))/(-3 + x^3)]) - PolyLog[2, (3^(1/3) - x)/((-3)^(1/3) + 3^(1/3))] + PolyLog[2, ((-1)^(2/
3)*3^(1/3) - x)/((-1)^(2/3)*3^(1/3) + E)] + 2*PolyLog[2, -((-1/3)^(1/3)*x)] - 2*PolyLog[2, x/3^(1/3)] + 2*Poly
Log[2, ((-1)^(2/3)*x)/3^(1/3)] - 2*PolyLog[2, -(x/E)] - PolyLog[2, ((-3)^(1/3) + x)/((-3)^(1/3) + 3^(1/3))] +
PolyLog[2, ((-3)^(1/3) + x)/((-3)^(1/3) - E)] + PolyLog[2, -((E + x)/((-3)^(1/3) - E))] - 2*PolyLog[2, (E + x)
/E] + PolyLog[2, (E + x)/((-1)^(2/3)*3^(1/3) + E)] + 2*PolyLog[2, (3 - (-3)^(2/3)*x)/3] - PolyLog[2, (3^(1/3)
- (-1)^(2/3)*x)/((-3)^(1/3) + 3^(1/3))] - PolyLog[2, ((-3)^(1/3) + (-1)^(2/3)*x)/((-3)^(1/3) + 3^(1/3))] + 2*P
olyLog[2, 1 + (-1/3)^(1/3)*x] - 2*PolyLog[2, 1 - x/3^(1/3)] - PolyLog[2, (I + Sqrt[3] + ((2*I)*x)/3^(1/3))/(3*
I + Sqrt[3])] - PolyLog[2, (((-2*I)/3)*(-3 + 3^(2/3)*x))/(3*I + Sqrt[3])])

________________________________________________________________________________________

Maple [C] Result contains higher order function than in optimal. Order 9 vs. order 3.
time = 0.60, size = 6712, normalized size = 258.15

method	result	size
norman	\(-6 \,{\mathrm e} \,{\mathrm e}^{5} \ln \left (\frac {x^{2} {\mathrm e}+x^{3}}{x^{3}-3}\right )+{\mathrm e} \ln \left (\frac {x^{2} {\mathrm e}+x^{3}}{x^{3}-3}\right )^{2}\)	\(51\)
risch	\(\text {Expression too large to display}\)	\(1571\)
default	\(\text {Expression too large to display}\)	\(6712\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-2*x^3-12)*exp(1)^2-18*x*exp(1))*ln((x^2*exp(1)+x^3)/(x^3-3))+((6*x^3+36)*exp(1)^2+54*x*exp(1))*exp(5))
/((x^4-3*x)*exp(1)+x^5-3*x^2),x,method=_RETURNVERBOSE)

[Out]

result too large to display

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 513 vs. \(2 (27) = 54\).
time = 2.91, size = 513, normalized size = 19.73 \begin {gather*} e \log \left (x^{3} - 3\right )^{2} + e \log \left (x + e\right )^{2} + 4 \, e \log \left (x + e\right ) \log \left (x\right ) + 4 \, e \log \left (x\right )^{2} - 2 \, {\left (6 \, e^{\left (-1\right )} \log \left (x\right ) - \frac {6 \cdot 3^{\frac {1}{6}} {\left (3^{\frac {1}{3}} e + 3^{\frac {2}{3}}\right )} \arctan \left (\frac {1}{3} \cdot 3^{\frac {1}{6}} {\left (2 \, x + 3^{\frac {1}{3}}\right )}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} - \frac {{\left (2 \cdot 3^{\frac {2}{3}} e^{2} - 3 \cdot 3^{\frac {1}{3}} + 3 \, e\right )} \log \left (x^{2} + 3^{\frac {1}{3}} x + 3^{\frac {2}{3}}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} - \frac {2 \, {\left (3^{\frac {2}{3}} e^{2} + 3 \cdot 3^{\frac {1}{3}} - 3 \, e\right )} \log \left (x - 3^{\frac {1}{3}}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} - \frac {18 \, \log \left (x + e\right )}{e^{4} + 3 \, e}\right )} e^{7} + {\left (\frac {6 \cdot 3^{\frac {1}{6}} {\left (3^{\frac {1}{3}} e + 3^{\frac {2}{3}}\right )} \arctan \left (\frac {1}{3} \cdot 3^{\frac {1}{6}} {\left (2 \, x + 3^{\frac {1}{3}}\right )}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} + \frac {{\left (2 \cdot 3^{\frac {2}{3}} e^{2} - 3 \cdot 3^{\frac {1}{3}} + 3 \, e\right )} \log \left (x^{2} + 3^{\frac {1}{3}} x + 3^{\frac {2}{3}}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} + \frac {2 \, {\left (3^{\frac {2}{3}} e^{2} + 3 \cdot 3^{\frac {1}{3}} - 3 \, e\right )} \log \left (x - 3^{\frac {1}{3}}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} - \frac {6 \, e^{2} \log \left (x + e\right )}{e^{3} + 3}\right )} e^{7} - 9 \, {\left (\frac {2 \cdot 3^{\frac {1}{6}} {\left (3^{\frac {2}{3}} e + 3^{\frac {1}{3}} e^{2}\right )} \arctan \left (\frac {1}{3} \cdot 3^{\frac {1}{6}} {\left (2 \, x + 3^{\frac {1}{3}}\right )}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} - \frac {{\left (3^{\frac {1}{3}} e + 2 \cdot 3^{\frac {2}{3}} - e^{2}\right )} \log \left (x^{2} + 3^{\frac {1}{3}} x + 3^{\frac {2}{3}}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} + \frac {2 \, {\left (3^{\frac {1}{3}} e - 3^{\frac {2}{3}} - e^{2}\right )} \log \left (x - 3^{\frac {1}{3}}\right )}{3^{\frac {2}{3}} e^{3} + 3 \cdot 3^{\frac {2}{3}}} + \frac {6 \, \log \left (x + e\right )}{e^{3} + 3}\right )} e^{6} - 2 \, {\left (e \log \left (x + e\right ) + 2 \, e \log \left (x\right )\right )} \log \left (x^{3} - 3\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-2*x^3-12)*exp(1)^2-18*x*exp(1))*log((x^2*exp(1)+x^3)/(x^3-3))+((6*x^3+36)*exp(1)^2+54*x*exp(1))*
exp(5))/((x^4-3*x)*exp(1)+x^5-3*x^2),x, algorithm="maxima")

[Out]

e*log(x^3 - 3)^2 + e*log(x + e)^2 + 4*e*log(x + e)*log(x) + 4*e*log(x)^2 - 2*(6*e^(-1)*log(x) - 6*3^(1/6)*(3^(
1/3)*e + 3^(2/3))*arctan(1/3*3^(1/6)*(2*x + 3^(1/3)))/(3^(2/3)*e^3 + 3*3^(2/3)) - (2*3^(2/3)*e^2 - 3*3^(1/3) +
3*e)*log(x^2 + 3^(1/3)*x + 3^(2/3))/(3^(2/3)*e^3 + 3*3^(2/3)) - 2*(3^(2/3)*e^2 + 3*3^(1/3) - 3*e)*log(x - 3^(
1/3))/(3^(2/3)*e^3 + 3*3^(2/3)) - 18*log(x + e)/(e^4 + 3*e))*e^7 + (6*3^(1/6)*(3^(1/3)*e + 3^(2/3))*arctan(1/3
*3^(1/6)*(2*x + 3^(1/3)))/(3^(2/3)*e^3 + 3*3^(2/3)) + (2*3^(2/3)*e^2 - 3*3^(1/3) + 3*e)*log(x^2 + 3^(1/3)*x +
3^(2/3))/(3^(2/3)*e^3 + 3*3^(2/3)) + 2*(3^(2/3)*e^2 + 3*3^(1/3) - 3*e)*log(x - 3^(1/3))/(3^(2/3)*e^3 + 3*3^(2/
3)) - 6*e^2*log(x + e)/(e^3 + 3))*e^7 - 9*(2*3^(1/6)*(3^(2/3)*e + 3^(1/3)*e^2)*arctan(1/3*3^(1/6)*(2*x + 3^(1/
3)))/(3^(2/3)*e^3 + 3*3^(2/3)) - (3^(1/3)*e + 2*3^(2/3) - e^2)*log(x^2 + 3^(1/3)*x + 3^(2/3))/(3^(2/3)*e^3 + 3
*3^(2/3)) + 2*(3^(1/3)*e - 3^(2/3) - e^2)*log(x - 3^(1/3))/(3^(2/3)*e^3 + 3*3^(2/3)) + 6*log(x + e)/(e^3 + 3))
*e^6 - 2*(e*log(x + e) + 2*e*log(x))*log(x^3 - 3)

________________________________________________________________________________________

Fricas [A]
time = 0.47, size = 48, normalized size = 1.85 \begin {gather*} e \log \left (\frac {x^{3} + x^{2} e}{x^{3} - 3}\right )^{2} - 6 \, e^{6} \log \left (\frac {x^{3} + x^{2} e}{x^{3} - 3}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-2*x^3-12)*exp(1)^2-18*x*exp(1))*log((x^2*exp(1)+x^3)/(x^3-3))+((6*x^3+36)*exp(1)^2+54*x*exp(1))*
exp(5))/((x^4-3*x)*exp(1)+x^5-3*x^2),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 53 vs. \(2 (22) = 44\).
time = 1.29, size = 53, normalized size = 2.04 \begin {gather*} - 12 e^{6} \log {\left (x \right )} + e \log {\left (\frac {x^{3} + e x^{2}}{x^{3} - 3} \right )}^{2} - 6 e^{6} \log {\left (x + e \right )} + 6 e^{6} \log {\left (x^{3} - 3 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-2*x**3-12)*exp(1)**2-18*x*exp(1))*ln((x**2*exp(1)+x**3)/(x**3-3))+((6*x**3+36)*exp(1)**2+54*x*ex
p(1))*exp(5))/((x**4-3*x)*exp(1)+x**5-3*x**2),x)

[Out]

-12*exp(6)*log(x) + E*log((x**3 + E*x**2)/(x**3 - 3))**2 - 6*exp(6)*log(x + E) + 6*exp(6)*log(x**3 - 3)

________________________________________________________________________________________

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((((-2*x^3-12)*exp(1)^2-18*x*exp(1))*log((x^2*exp(1)+x^3)/(x^3-3))+((6*x^3+36)*exp(1)^2+54*x*exp(1))*
exp(5))/((x^4-3*x)*exp(1)+x^5-3*x^2),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

Mupad [B]
time = 1.54, size = 50, normalized size = 1.92 \begin {gather*} \mathrm {e}\,{\ln \left (\frac {x^3+\mathrm {e}\,x^2}{x^3-3}\right )}^2+6\,{\mathrm {e}}^6\,\ln \left (x^3-3\right )-6\,{\mathrm {e}}^6\,\ln \left (x+\mathrm {e}\right )-12\,{\mathrm {e}}^6\,\ln \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log((x^2*exp(1) + x^3)/(x^3 - 3))*(18*x*exp(1) + exp(2)*(2*x^3 + 12)) - exp(5)*(54*x*exp(1) + exp(2)*(6*x
^3 + 36)))/(exp(1)*(3*x - x^4) + 3*x^2 - x^5),x)

[Out]

log((x^2*exp(1) + x^3)/(x^3 - 3))^2*exp(1) + 6*exp(6)*log(x^3 - 3) - 6*exp(6)*log(x + exp(1)) - 12*exp(6)*log(
x)

________________________________________________________________________________________