3.93.95 \(\int \frac {-6+x+x^2+e (3+x)+x \log (\frac {e^{-x}}{x^3})}{4 x+e^2 x-4 x^2+x^3+e (-4 x+2 x^2)} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.28, antiderivative size = 21, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 5, integrand size = 54, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.093, Rules used = {6, 6688, 6742, 72, 2551} \begin {gather*} \frac {\log \left (\frac {e^{-x}}{x^3}\right )}{-x-e+2} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 72

Int[((e_.) + (f_.)*(x_))^(p_.)/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))), x_Symbol] :> Int[ExpandIntegrand[(
e + f*x)^p/((a + b*x)*(c + d*x)), x], x] /; FreeQ[{a, b, c, d, e, f}, x] && IntegerQ[p]

Rule 2551

Int[Log[u_]*((a_.) + (b_.)*(x_))^(m_.), x_Symbol] :> Simp[((a + b*x)^(m + 1)*Log[u])/(b*(m + 1)), x] - Dist[1/
(b*(m + 1)), Int[SimplifyIntegrand[((a + b*x)^(m + 1)*D[u, x])/u, x], x], x] /; FreeQ[{a, b, m}, x] && Inverse
FunctionFreeQ[u, x] && NeQ[m, -1]

Rule 6688

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

Rule 6742

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

Rubi steps

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

________________________________________________________________________________________

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

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.58, size = 18, normalized size = 0.86 \begin {gather*} -\frac {\log \left (\frac {e^{\left (-x\right )}}{x^{3}}\right )}{x + e - 2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.24, size = 17, normalized size = 0.81 \begin {gather*} -\frac {e - 3 \, \log \relax (x) - 2}{x + e - 2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.30, size = 19, normalized size = 0.90

method	result	size
norman	\(-\frac {\ln \left (\frac {{\mathrm e}^{-x}}{x^{3}}\right )}{{\mathrm e}-2+x}\)	\(19\)
risch	\(-\frac {\ln \left ({\mathrm e}^{-x}\right )}{{\mathrm e}-2+x}+\frac {i \pi \,\mathrm {csgn}\left (\frac {i}{x^{3}}\right ) \mathrm {csgn}\left (i {\mathrm e}^{-x}\right ) \mathrm {csgn}\left (\frac {i {\mathrm e}^{-x}}{x^{3}}\right )-i \pi \,\mathrm {csgn}\left (\frac {i}{x^{3}}\right ) \mathrm {csgn}\left (\frac {i {\mathrm e}^{-x}}{x^{3}}\right )^{2}-i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x \right )^{2}+2 i \pi \mathrm {csgn}\left (i x^{2}\right )^{2} \mathrm {csgn}\left (i x \right )-i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{3}\right )+i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{3}\right )^{2}-i \pi \mathrm {csgn}\left (i x^{2}\right )^{3}+i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{3}\right )^{2}-i \pi \mathrm {csgn}\left (i x^{3}\right )^{3}-i \pi \,\mathrm {csgn}\left (i {\mathrm e}^{-x}\right ) \mathrm {csgn}\left (\frac {i {\mathrm e}^{-x}}{x^{3}}\right )^{2}+i \pi \mathrm {csgn}\left (\frac {i {\mathrm e}^{-x}}{x^{3}}\right )^{3}+6 \ln \relax (x )}{2 \,{\mathrm e}-4+2 x}\)	\(249\)
default	\(-\frac {{\mathrm e}}{{\mathrm e}-2+x}+\frac {2}{{\mathrm e}-2+x}-\frac {\ln \left (\frac {{\mathrm e}^{-x}}{x^{3}}\right )+x +3 \ln \relax (x )}{{\mathrm e}-2+x}-\ln \left ({\mathrm e}-2+x \right )+\frac {3 \ln \relax (x ) \left (-\ln \left (\frac {{\mathrm e}-2-\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}+x}{{\mathrm e}-2-\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}\right )+\ln \left (\frac {{\mathrm e}-2+\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}+x}{{\mathrm e}-2+\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}\right )\right )}{2 \sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}-\frac {3 \dilog \left (\frac {{\mathrm e}-2-\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}+x}{{\mathrm e}-2-\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}\right )}{2 \sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}+\frac {3 \dilog \left (\frac {{\mathrm e}-2+\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}+x}{{\mathrm e}-2+\sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}\right )}{2 \sqrt {\left ({\mathrm e}\right )^{2}-{\mathrm e}^{2}}}+\frac {3 \ln \relax (x )}{{\mathrm e}-2}-\frac {5 \ln \left ({\mathrm e}-2+x \right )}{{\mathrm e}-2}+\frac {\ln \left ({\mathrm e}-2+x \right ) {\mathrm e}}{{\mathrm e}-2}\)	\(285\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x*ln(exp(-x)/x^3)+(3+x)*exp(1)+x^2+x-6)/(x*exp(1)^2+(2*x^2-4*x)*exp(1)+x^3-4*x^2+4*x),x,method=_RETURNVER
BOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 0.35, size = 189, normalized size = 9.00 \begin {gather*} -3 \, {\left (\frac {\log \left (x + e - 2\right )}{e^{2} - 4 \, e + 4} - \frac {\log \relax (x)}{e^{2} - 4 \, e + 4} - \frac {1}{x {\left (e - 2\right )} + e^{2} - 4 \, e + 4}\right )} e - \frac {{\left (e - 5\right )} \log \left (x + e - 2\right )}{e - 2} + \frac {e - 2}{x + e - 2} - \frac {e}{x + e - 2} + \frac {6 \, \log \left (x + e - 2\right )}{e^{2} - 4 \, e + 4} - \frac {6 \, \log \relax (x)}{e^{2} - 4 \, e + 4} - \frac {3 \, \log \relax (x)}{e - 2} - \frac {\log \left (\frac {e^{\left (-x\right )}}{x^{3}}\right )}{x + e - 2} - \frac {6}{x {\left (e - 2\right )} + e^{2} - 4 \, e + 4} - \frac {1}{x + e - 2} + \log \left (x + e - 2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 6.32, size = 16, normalized size = 0.76 \begin {gather*} \frac {x-\ln \left (\frac {1}{x^3}\right )}{x+\mathrm {e}-2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.23, size = 17, normalized size = 0.81 \begin {gather*} - \frac {\log {\left (\frac {e^{- x}}{x^{3}} \right )}}{x - 2 + e} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________