3.88.64 \(\int \frac {-2+5 x+7 x^2+e (x+x^2)+(3 x+21 x^2+e (x+3 x^2)) \log (x)}{(-2 x+5 x^2+7 x^3+e (x^2+x^3)) \log (x)} \, dx\)

Optimal. Leaf size=20 \[ \log \left ((1+x)^2\right )+\log \left (\left (7+e-\frac {2}{x}\right ) x \log (x)\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.18, antiderivative size = 19, normalized size of antiderivative = 0.95, number of steps used = 6, number of rules used = 4, integrand size = 68, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {6688, 72, 2302, 29} \begin {gather*} 2 \log (x+1)+\log (2-(7+e) x)+\log (\log (x)) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

2*Log[1 + x] + Log[2 - (7 + E)*x] + Log[Log[x]]

Rule 29

Int[(x_)^(-1), x_Symbol] :> Simp[Log[x], 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 2302

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/(x_), x_Symbol] :> Dist[1/(b*n), Subst[Int[x^p, x], x, a + b*L
og[c*x^n]], x] /; FreeQ[{a, b, c, n, p}, x]

Rule 6688

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 \left (\frac {3+e+3 (7+e) x}{(1+x) (-2+(7+e) x)}+\frac {1}{x \log (x)}\right ) \, dx\\ &=\int \frac {3+e+3 (7+e) x}{(1+x) (-2+(7+e) x)} \, dx+\int \frac {1}{x \log (x)} \, dx\\ &=\int \left (\frac {2}{1+x}+\frac {-7-e}{2-(7+e) x}\right ) \, dx+\operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,\log (x)\right )\\ &=2 \log (1+x)+\log (2-(7+e) x)+\log (\log (x))\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 25, normalized size = 1.25 \begin {gather*} 2 \log (1+x)+\log (9+e-7 (1+x)-e (1+x))+\log (\log (x)) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

2*Log[1 + x] + Log[9 + E - 7*(1 + x) - E*(1 + x)] + Log[Log[x]]

________________________________________________________________________________________

fricas [A]  time = 0.54, size = 20, normalized size = 1.00 \begin {gather*} \log \left (x e + 7 \, x - 2\right ) + 2 \, \log \left (x + 1\right ) + \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

log(x*e + 7*x - 2) + 2*log(x + 1) + log(log(x))

________________________________________________________________________________________

giac [A]  time = 0.17, size = 20, normalized size = 1.00 \begin {gather*} \log \left (x e + 7 \, x - 2\right ) + 2 \, \log \left (x + 1\right ) + \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

log(x*e + 7*x - 2) + 2*log(x + 1) + log(log(x))

________________________________________________________________________________________

maple [A]  time = 0.13, size = 21, normalized size = 1.05

method	result	size
default	\(\ln \left (\ln \relax (x )\right )+\ln \left (x \,{\mathrm e}+7 x -2\right )+2 \ln \left (x +1\right )\)	\(21\)
norman	\(\ln \left (\ln \relax (x )\right )+\ln \left (x \,{\mathrm e}+7 x -2\right )+2 \ln \left (x +1\right )\)	\(21\)
risch	\(2 \ln \left (-x -1\right )+\ln \left (x \left (7+{\mathrm e}\right )-2\right )+\ln \left (\ln \relax (x )\right )\)	\(22\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

ln(ln(x))+ln(x*exp(1)+7*x-2)+2*ln(x+1)

________________________________________________________________________________________

maxima [A]  time = 0.39, size = 19, normalized size = 0.95 \begin {gather*} \log \left (x {\left (e + 7\right )} - 2\right ) + 2 \, \log \left (x + 1\right ) + \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

log(x*(e + 7) - 2) + 2*log(x + 1) + log(log(x))

________________________________________________________________________________________

mupad [B]  time = 5.91, size = 20, normalized size = 1.00 \begin {gather*} 2\,\ln \left (x+1\right )+\ln \left (\ln \relax (x)\right )+\ln \left (7\,x+x\,\mathrm {e}-2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((5*x + exp(1)*(x + x^2) + log(x)*(3*x + exp(1)*(x + 3*x^2) + 21*x^2) + 7*x^2 - 2)/(log(x)*(exp(1)*(x^2 + x
^3) - 2*x + 5*x^2 + 7*x^3)),x)

[Out]

2*log(x + 1) + log(log(x)) + log(7*x + x*exp(1) - 2)

________________________________________________________________________________________

sympy [A]  time = 0.83, size = 20, normalized size = 1.00 \begin {gather*} 2 \log {\left (x + 1 \right )} + \log {\left (x - \frac {2}{e + 7} \right )} + \log {\left (\log {\relax (x )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((3*x**2+x)*exp(1)+21*x**2+3*x)*ln(x)+(x**2+x)*exp(1)+7*x**2+5*x-2)/((x**3+x**2)*exp(1)+7*x**3+5*x*
*2-2*x)/ln(x),x)

[Out]

2*log(x + 1) + log(x - 2/(E + 7)) + log(log(x))

________________________________________________________________________________________