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

Optimal result

Integrand size = 108, antiderivative size = 25 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=x \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right ) \]

[Out]

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

Rubi [A] (verified)

Time = 29.42 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.20, number of steps used = 83, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.046, Rules used = {6874, 6820, 1864, 2629, 12} \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x^3+x\right )} (3-x)-\log (x)}\right ) \]

[In]

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

[Out]

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

Rule 12

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

Rule 1864

Int[(Pq_)*((a_) + (b_.)*(x_)^(n_.))^(p_.), x_Symbol] :> Int[ExpandIntegrand[Pq*(a + b*x^n)^p, x], x] /; FreeQ[
{a, b, n}, x] && PolyQ[Pq, x] && (IGtQ[p, 0] || EqQ[n, 1])

Rule 2629

Int[Log[u_], x_Symbol] :> Simp[x*Log[u], x] - Int[SimplifyIntegrand[x*Simplify[D[u, x]/u], x], x] /; ProductQ[
u]

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{align*} \text {integral}& = \int \left (\frac {6-2 x-x \log (x)+x^2 \log (x)-9 x^3 \log (x)+3 x^4 \log (x)}{2 (-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {-6+3 x-x^2+9 x^3-3 x^4-6 \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )+2 x \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{2 (-3+x)}\right ) \, dx \\ & = \frac {1}{2} \int \frac {6-2 x-x \log (x)+x^2 \log (x)-9 x^3 \log (x)+3 x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {1}{2} \int \frac {-6+3 x-x^2+9 x^3-3 x^4-6 \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )+2 x \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{-3+x} \, dx \\ & = \frac {1}{2} \int \frac {-6+2 x-x \left (-1+x-9 x^2+3 x^3\right ) \log (x)}{(3-x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {1}{2} \int \frac {6-3 x+x^2-9 x^3+3 x^4-2 (-3+x) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{3-x} \, dx \\ & = \frac {1}{2} \int \left (\frac {6}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}-\frac {2 x}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}-\frac {x \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {x^2 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}-\frac {9 x^3 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {3 x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx+\frac {1}{2} \int \left (\frac {-6+3 x-x^2+9 x^3-3 x^4}{-3+x}+2 \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )\right ) \, dx \\ & = \frac {1}{2} \int \frac {-6+3 x-x^2+9 x^3-3 x^4}{-3+x} \, dx-\frac {1}{2} \int \frac {x \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {1}{2} \int \frac {x^2 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+3 \int \frac {1}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\frac {9}{2} \int \frac {x^3 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\int \frac {x}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\int \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right ) \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )+\frac {1}{2} \int \left (-\frac {6}{-3+x}-x-3 x^3\right ) \, dx-\frac {1}{2} \int \frac {x \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {1}{2} \int \frac {x^2 \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^4 \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+3 \int \frac {1}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\frac {9}{2} \int \frac {x^3 \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\int \frac {x}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\int -\frac {2+e^{\frac {1}{2} \left (x+x^3\right )} \left (6-3 x+x^2-9 x^3+3 x^4\right )-2 \log (x)}{2 \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx \\ & = -\frac {x^2}{4}-\frac {3 x^4}{8}-3 \log (3-x)+x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )+\frac {1}{2} \int \frac {2+e^{\frac {1}{2} \left (x+x^3\right )} \left (6-3 x+x^2-9 x^3+3 x^4\right )-2 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {1}{2} \int \left (\frac {\log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {3 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx+\frac {1}{2} \int \left (\frac {3 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {9 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}\right ) \, dx+\frac {3}{2} \int \left (\frac {27 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {81 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {9 x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {3 x^2 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {x^3 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}\right ) \, dx+3 \int \frac {1}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\frac {9}{2} \int \left (\frac {9 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {27 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {3 x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {x^2 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}\right ) \, dx-\int \left (\frac {1}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {3}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx \\ & = -\frac {x^2}{4}-\frac {3 x^4}{8}-3 \log (3-x)+x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )-\frac {1}{2} \int \frac {\log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx+\frac {1}{2} \int \left (\frac {6-3 x+x^2-9 x^3+3 x^4}{-3+x}-\frac {6-2 x-x \log (x)+x^2 \log (x)-9 x^3 \log (x)+3 x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx+\frac {3}{2} \int \frac {\log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx+3 \int \frac {1}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-3 \int \frac {1}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\int \frac {1}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx \\ & = -\frac {x^2}{4}-\frac {3 x^4}{8}-3 \log (3-x)+x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )+\frac {1}{2} \int \frac {6-3 x+x^2-9 x^3+3 x^4}{-3+x} \, dx-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {1}{2} \int \frac {6-2 x-x \log (x)+x^2 \log (x)-9 x^3 \log (x)+3 x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx \\ & = -\frac {x^2}{4}-\frac {3 x^4}{8}-3 \log (3-x)+x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )+\frac {1}{2} \int \left (\frac {6}{-3+x}+x+3 x^3\right ) \, dx-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {1}{2} \int \frac {-6+2 x-x \left (-1+x-9 x^2+3 x^3\right ) \log (x)}{(3-x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {1}{2} \int \left (\frac {6}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}-\frac {2 x}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}-\frac {x \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {x^2 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}-\frac {9 x^3 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {3 x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\frac {1}{2} \int \frac {x^2 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {x^4 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-3 \int \frac {1}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {x^3 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\int \frac {x}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\frac {1}{2} \int \frac {x^2 \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {x^4 \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-3 \int \frac {1}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {x^3 \log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\int \frac {x}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \left (\frac {\log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {3 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx-\frac {1}{2} \int \left (\frac {3 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {9 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}\right ) \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \left (\frac {27 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {81 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {9 x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {3 x^2 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {x^3 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}\right ) \, dx-3 \int \frac {1}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {9}{2} \int \left (\frac {9 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {27 \log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}+\frac {3 x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {x^2 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}\right ) \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\int \left (\frac {1}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)}+\frac {3}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )}\right ) \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right )-\frac {1}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {x \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\frac {1}{2} \int \frac {\log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx-\frac {1}{2} \int \frac {x \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx+\frac {3}{2} \int \frac {\log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+\frac {3}{2} \int \frac {x^3 \log (x)}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx-\frac {3}{2} \int \frac {\log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx+\frac {3}{2} \int \frac {\log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\frac {3}{2} \int \frac {x^3 \log (x)}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx-3 \int \frac {1}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx+3 \int \frac {1}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx+\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)\right )} \, dx-\frac {9}{2} \int \frac {\log (x)}{(-3+x) \left (-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)\right )} \, dx-\int \frac {1}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)} \, dx+\int \frac {1}{-3 e^{\frac {x}{2}+\frac {x^3}{2}}+e^{\frac {x}{2}+\frac {x^3}{2}} x+\log (x)} \, dx \\ & = x \log \left (-\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (3-x)-\log (x)}\right ) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.16 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.16 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=x \log \left (\frac {x}{e^{\frac {x}{2}+\frac {x^3}{2}} (-3+x)+\log (x)}\right ) \]

[In]

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

[Out]

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

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(103\) vs. \(2(24)=48\).

Time = 3.24 (sec) , antiderivative size = 104, normalized size of antiderivative = 4.16

method	result	size
parallelrisch	\(x \ln \left (\frac {x}{{\mathrm e}^{\frac {1}{2} x^{3}+\frac {1}{2} x} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {1}{2} x^{3}+\frac {1}{2} x}}\right )+3 \ln \left ({\mathrm e}^{\frac {1}{2} x^{3}+\frac {1}{2} x} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {1}{2} x^{3}+\frac {1}{2} x}\right )-3 \ln \left (x \right )+3 \ln \left (\frac {x}{{\mathrm e}^{\frac {1}{2} x^{3}+\frac {1}{2} x} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {1}{2} x^{3}+\frac {1}{2} x}}\right )\)	\(104\)
risch	\(-x \ln \left ({\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}\right )+x \ln \left (x \right )+\frac {i \pi x \,\operatorname {csgn}\left (\frac {i}{{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}}\right ) \operatorname {csgn}\left (\frac {i x}{{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}}\right )^{2}}{2}-\frac {i \pi x \,\operatorname {csgn}\left (\frac {i}{{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}}\right ) \operatorname {csgn}\left (\frac {i x}{{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}}\right ) \operatorname {csgn}\left (i x \right )}{2}-\frac {i \pi x \operatorname {csgn}\left (\frac {i x}{{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}}\right )^{3}}{2}+\frac {i \pi x \operatorname {csgn}\left (\frac {i x}{{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}} x +\ln \left (x \right )-3 \,{\mathrm e}^{\frac {x \left (x^{2}+1\right )}{2}}}\right )^{2} \operatorname {csgn}\left (i x \right )}{2}\)	\(261\)

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=x \log \left (\frac {x}{{\left (x - 3\right )} e^{\left (\frac {1}{2} \, x^{3} + \frac {1}{2} \, x\right )} + \log \left (x\right )}\right ) \]

[In]

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

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.90 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.80 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=x \log {\left (\frac {x}{\left (x - 3\right ) e^{\frac {x^{3}}{2} + \frac {x}{2}} + \log {\left (x \right )}} \right )} \]

[In]

integrate((((2*x-6)*exp(1/2*x**3+1/2*x)+2*ln(x))*ln(x/((-3+x)*exp(1/2*x**3+1/2*x)+ln(x)))+((-3*x+9)*x**3-x**2+
3*x-6)*exp(1/2*x**3+1/2*x)+2*ln(x)-2)/((2*x-6)*exp(1/2*x**3+1/2*x)+2*ln(x)),x)

[Out]

x*log(x/((x - 3)*exp(x**3/2 + x/2) + log(x)))

Maxima [A] (verification not implemented)

none

Time = 0.23 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.04 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=-x \log \left ({\left (x - 3\right )} e^{\left (\frac {1}{2} \, x^{3} + \frac {1}{2} \, x\right )} + \log \left (x\right )\right ) + x \log \left (x\right ) \]

[In]

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

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.49 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.44 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=-x \log \left (x e^{\left (\frac {1}{2} \, x^{3} + \frac {1}{2} \, x\right )} - 3 \, e^{\left (\frac {1}{2} \, x^{3} + \frac {1}{2} \, x\right )} + \log \left (x\right )\right ) + x \log \left (x\right ) \]

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 13.16 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96 \[ \int \frac {-2+e^{\frac {1}{2} \left (x+x^3\right )} \left (-6+3 x-x^2+(9-3 x) x^3\right )+2 \log (x)+\left (e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)\right ) \log \left (\frac {x}{e^{\frac {1}{2} \left (x+x^3\right )} (-3+x)+\log (x)}\right )}{e^{\frac {1}{2} \left (x+x^3\right )} (-6+2 x)+2 \log (x)} \, dx=x\,\ln \left (\frac {x}{\ln \left (x\right )+{\mathrm {e}}^{x/2}\,{\mathrm {e}}^{\frac {x^3}{2}}\,\left (x-3\right )}\right ) \]

[In]

int((2*log(x) + log(x/(log(x) + exp(x/2 + x^3/2)*(x - 3)))*(2*log(x) + exp(x/2 + x^3/2)*(2*x - 6)) - exp(x/2 +
x^3/2)*(x^3*(3*x - 9) - 3*x + x^2 + 6) - 2)/(2*log(x) + exp(x/2 + x^3/2)*(2*x - 6)),x)

[Out]

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