3.83.34 \(\int \frac {-5+(-10+e^x (-8-4 x)-5 x) \log (4+2 x)}{(10+5 x) \log (4+2 x)} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.24, antiderivative size = 20, normalized size of antiderivative = 0.87, number of steps used = 7, number of rules used = 6, integrand size = 39, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.154, Rules used = {6688, 2194, 2390, 12, 2302, 29} \begin {gather*} -x-\frac {4 e^x}{5}-\log (\log (2 (x+2))) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-5 + (-10 + E^x*(-8 - 4*x) - 5*x)*Log[4 + 2*x])/((10 + 5*x)*Log[4 + 2*x]),x]

[Out]

(-4*E^x)/5 - x - Log[Log[2*(2 + 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 29

Int[(x_)^(-1), x_Symbol] :> Simp[Log[x], x]

Rule 2194

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

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 2390

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

________________________________________________________________________________________

Mathematica [A]  time = 0.05, size = 20, normalized size = 0.87 \begin {gather*} -\frac {4 e^x}{5}-x-\log (\log (2 (2+x))) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-5 + (-10 + E^x*(-8 - 4*x) - 5*x)*Log[4 + 2*x])/((10 + 5*x)*Log[4 + 2*x]),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 1.05, size = 17, normalized size = 0.74 \begin {gather*} -x - \frac {4}{5} \, e^{x} - \log \left (\log \left (2 \, x + 4\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x-8)*exp(x)-5*x-10)*log(2*x+4)-5)/(5*x+10)/log(2*x+4),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.15, size = 17, normalized size = 0.74 \begin {gather*} -x - \frac {4}{5} \, e^{x} - \log \left (\log \left (2 \, x + 4\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x-8)*exp(x)-5*x-10)*log(2*x+4)-5)/(5*x+10)/log(2*x+4),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.31, size = 18, normalized size = 0.78

method	result	size
default	\(-x -\ln \left (\ln \left (2 x +4\right )\right )-\frac {4 \,{\mathrm e}^{x}}{5}\)	\(18\)
norman	\(-x -\ln \left (\ln \left (2 x +4\right )\right )-\frac {4 \,{\mathrm e}^{x}}{5}\)	\(18\)
risch	\(-x -\ln \left (\ln \left (2 x +4\right )\right )-\frac {4 \,{\mathrm e}^{x}}{5}\)	\(18\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-4*x-8)*exp(x)-5*x-10)*ln(2*x+4)-5)/(5*x+10)/ln(2*x+4),x,method=_RETURNVERBOSE)

[Out]

-x-ln(ln(2*x+4))-4/5*exp(x)

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {8}{5} \, e^{\left (-2\right )} E_{1}\left (-x - 2\right ) + 2 \, {\left (\log \relax (2) + \log \left (x + 2\right )\right )} \log \left (\log \relax (2) + \log \left (x + 2\right )\right ) - 2 \, \log \left (2 \, x + 4\right ) \log \left (\log \relax (2) + \log \left (x + 2\right )\right ) - x - \frac {4 \, x e^{x}}{5 \, {\left (x + 2\right )}} + \frac {8}{5} \, \int \frac {e^{x}}{x^{2} + 4 \, x + 4}\,{d x} - \log \left (\log \relax (2) + \log \left (x + 2\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x-8)*exp(x)-5*x-10)*log(2*x+4)-5)/(5*x+10)/log(2*x+4),x, algorithm="maxima")

[Out]

8/5*e^(-2)*exp_integral_e(1, -x - 2) + 2*(log(2) + log(x + 2))*log(log(2) + log(x + 2)) - 2*log(2*x + 4)*log(l
og(2) + log(x + 2)) - x - 4/5*x*e^x/(x + 2) + 8/5*integrate(e^x/(x^2 + 4*x + 4), x) - log(log(2) + log(x + 2))

________________________________________________________________________________________

mupad [B]  time = 0.25, size = 17, normalized size = 0.74 \begin {gather*} -x-\ln \left (\ln \left (2\,x+4\right )\right )-\frac {4\,{\mathrm {e}}^x}{5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(2*x + 4)*(5*x + exp(x)*(4*x + 8) + 10) + 5)/(log(2*x + 4)*(5*x + 10)),x)

[Out]

- x - log(log(2*x + 4)) - (4*exp(x))/5

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x-8)*exp(x)-5*x-10)*ln(2*x+4)-5)/(5*x+10)/ln(2*x+4),x)

[Out]

-x - 4*exp(x)/5 - log(log(2*x + 4))

________________________________________________________________________________________