3.66.56 \(\int \frac {20+e^{12+2 x} (-8-40 x) \log (2+10 x)}{e^{12+2 x} (-1-5 x) \log (2+10 x)+(1+5 x) \log (2+10 x) \log (\log (2+10 x))} \, dx\)

Optimal. Leaf size=20 \[ 4 \log \left (e^{12+2 x}-\log (\log (2+10 x))\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.51, antiderivative size = 20, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 63, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.032, Rules used = {6741, 6684} \begin {gather*} 4 \log \left (e^{2 x+12}-\log (\log (10 x+2))\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(20 + E^(12 + 2*x)*(-8 - 40*x)*Log[2 + 10*x])/(E^(12 + 2*x)*(-1 - 5*x)*Log[2 + 10*x] + (1 + 5*x)*Log[2 + 1
0*x]*Log[Log[2 + 10*x]]),x]

[Out]

4*Log[E^(12 + 2*x) - Log[Log[2 + 10*x]]]

Rule 6684

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6741

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-20-e^{12+2 x} (-8-40 x) \log (2+10 x)}{(1+5 x) \log (2+10 x) \left (e^{12+2 x}-\log (\log (2+10 x))\right )} \, dx\\ &=4 \log \left (e^{12+2 x}-\log (\log (2+10 x))\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.42, size = 20, normalized size = 1.00 \begin {gather*} 4 \log \left (e^{2 (6+x)}-\log (\log (2+10 x))\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(20 + E^(12 + 2*x)*(-8 - 40*x)*Log[2 + 10*x])/(E^(12 + 2*x)*(-1 - 5*x)*Log[2 + 10*x] + (1 + 5*x)*Log
[2 + 10*x]*Log[Log[2 + 10*x]]),x]

[Out]

4*Log[E^(2*(6 + x)) - Log[Log[2 + 10*x]]]

________________________________________________________________________________________

fricas [A]  time = 0.83, size = 19, normalized size = 0.95 \begin {gather*} 4 \, \log \left (-e^{\left (2 \, x + 12\right )} + \log \left (\log \left (10 \, x + 2\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-40*x-8)*exp(x+6)^2*log(10*x+2)+20)/((1+5*x)*log(10*x+2)*log(log(10*x+2))+(-5*x-1)*exp(x+6)^2*log(
10*x+2)),x, algorithm="fricas")

[Out]

4*log(-e^(2*x + 12) + log(log(10*x + 2)))

________________________________________________________________________________________

giac [A]  time = 0.26, size = 19, normalized size = 0.95 \begin {gather*} 4 \, \log \left (-e^{\left (2 \, x + 12\right )} + \log \left (\log \left (10 \, x + 2\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-40*x-8)*exp(x+6)^2*log(10*x+2)+20)/((1+5*x)*log(10*x+2)*log(log(10*x+2))+(-5*x-1)*exp(x+6)^2*log(
10*x+2)),x, algorithm="giac")

[Out]

4*log(-e^(2*x + 12) + log(log(10*x + 2)))

________________________________________________________________________________________

maple [A]  time = 0.05, size = 20, normalized size = 1.00

method	result	size
risch	\(4 \ln \left (-{\mathrm e}^{2 x +12}+\ln \left (\ln \left (10 x +2\right )\right )\right )\)	\(20\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-40*x-8)*exp(x+6)^2*ln(10*x+2)+20)/((1+5*x)*ln(10*x+2)*ln(ln(10*x+2))+(-5*x-1)*exp(x+6)^2*ln(10*x+2)),x,
method=_RETURNVERBOSE)

[Out]

4*ln(-exp(2*x+12)+ln(ln(10*x+2)))

________________________________________________________________________________________

maxima [A]  time = 0.52, size = 22, normalized size = 1.10 \begin {gather*} 4 \, \log \left (-e^{\left (2 \, x + 12\right )} + \log \left (\log \relax (2) + \log \left (5 \, x + 1\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-40*x-8)*exp(x+6)^2*log(10*x+2)+20)/((1+5*x)*log(10*x+2)*log(log(10*x+2))+(-5*x-1)*exp(x+6)^2*log(
10*x+2)),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 4.22, size = 19, normalized size = 0.95 \begin {gather*} 4\,\ln \left (\ln \left (\ln \left (10\,x+2\right )\right )-{\mathrm {e}}^{2\,x+12}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(2*x + 12)*log(10*x + 2)*(40*x + 8) - 20)/(log(log(10*x + 2))*log(10*x + 2)*(5*x + 1) - exp(2*x + 12)
*log(10*x + 2)*(5*x + 1)),x)

[Out]

4*log(log(log(10*x + 2)) - exp(2*x + 12))

________________________________________________________________________________________

sympy [A]  time = 0.48, size = 17, normalized size = 0.85 \begin {gather*} 4 \log {\left (e^{2 x + 12} - \log {\left (\log {\left (10 x + 2 \right )} \right )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-40*x-8)*exp(x+6)**2*ln(10*x+2)+20)/((1+5*x)*ln(10*x+2)*ln(ln(10*x+2))+(-5*x-1)*exp(x+6)**2*ln(10*
x+2)),x)

[Out]

4*log(exp(2*x + 12) - log(log(10*x + 2)))

________________________________________________________________________________________