3.68.80 \(\int \frac {47+(10+47 x) \log (\frac {1}{2} (10+47 x)) \log (\frac {2}{\log (\frac {1}{2} (10+47 x))})}{(10 x^2+47 x^3) \log (\frac {1}{2} (10+47 x)) \log (\frac {2}{\log (\frac {1}{2} (10+47 x))})+(-20 x-94 x^2) \log (\frac {1}{2} (10+47 x)) \log (\frac {2}{\log (\frac {1}{2} (10+47 x))}) \log (\log (\frac {2}{\log (\frac {1}{2} (10+47 x))}))+(10+47 x) \log (\frac {1}{2} (10+47 x)) \log (\frac {2}{\log (\frac {1}{2} (10+47 x))}) \log ^2(\log (\frac {2}{\log (\frac {1}{2} (10+47 x))}))} \, dx\) [6780]

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

[Out]

1/(ln(ln(2/ln(47/2*x+5)))-x)

________________________________________________________________________________________

Rubi [A]
time = 0.10, antiderivative size = 22, normalized size of antiderivative = 1.10, number of steps used = 2, number of rules used = 2, integrand size = 174, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.011, Rules used = {6820, 6818} \begin {gather*} -\frac {1}{x-\log \left (\log \left (\frac {2}{\log \left (\frac {47 x}{2}+5\right )}\right )\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(47 + (10 + 47*x)*Log[(10 + 47*x)/2]*Log[2/Log[(10 + 47*x)/2]])/((10*x^2 + 47*x^3)*Log[(10 + 47*x)/2]*Log[
2/Log[(10 + 47*x)/2]] + (-20*x - 94*x^2)*Log[(10 + 47*x)/2]*Log[2/Log[(10 + 47*x)/2]]*Log[Log[2/Log[(10 + 47*x
)/2]]] + (10 + 47*x)*Log[(10 + 47*x)/2]*Log[2/Log[(10 + 47*x)/2]]*Log[Log[2/Log[(10 + 47*x)/2]]]^2),x]

[Out]

-(x - Log[Log[2/Log[5 + (47*x)/2]]])^(-1)

Rule 6818

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*(y^(m + 1)/(m + 1)), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rule 6820

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

________________________________________________________________________________________

Mathematica [A]
time = 0.03, size = 22, normalized size = 1.10 \begin {gather*} -\frac {1}{x-\log \left (\log \left (\frac {2}{\log \left (5+\frac {47 x}{2}\right )}\right )\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(47 + (10 + 47*x)*Log[(10 + 47*x)/2]*Log[2/Log[(10 + 47*x)/2]])/((10*x^2 + 47*x^3)*Log[(10 + 47*x)/2
]*Log[2/Log[(10 + 47*x)/2]] + (-20*x - 94*x^2)*Log[(10 + 47*x)/2]*Log[2/Log[(10 + 47*x)/2]]*Log[Log[2/Log[(10
+ 47*x)/2]]] + (10 + 47*x)*Log[(10 + 47*x)/2]*Log[2/Log[(10 + 47*x)/2]]*Log[Log[2/Log[(10 + 47*x)/2]]]^2),x]

[Out]

-(x - Log[Log[2/Log[5 + (47*x)/2]]])^(-1)

________________________________________________________________________________________

Maple [A]
time = 60.39, size = 22, normalized size = 1.10

method	result	size
risch	\(-\frac {1}{x -\ln \left (\ln \left (2\right )-\ln \left (\ln \left (\frac {47 x}{2}+5\right )\right )\right )}\)	\(22\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((47*x+10)*ln(47/2*x+5)*ln(2/ln(47/2*x+5))+47)/((47*x+10)*ln(47/2*x+5)*ln(2/ln(47/2*x+5))*ln(ln(2/ln(47/2*
x+5)))^2+(-94*x^2-20*x)*ln(47/2*x+5)*ln(2/ln(47/2*x+5))*ln(ln(2/ln(47/2*x+5)))+(47*x^3+10*x^2)*ln(47/2*x+5)*ln
(2/ln(47/2*x+5))),x,method=_RETURNVERBOSE)

[Out]

-1/(x-ln(ln(2)-ln(ln(47/2*x+5))))

________________________________________________________________________________________

Maxima [A]
time = 0.56, size = 26, normalized size = 1.30 \begin {gather*} -\frac {1}{x - \log \left (\log \left (2\right ) - \log \left (-\log \left (2\right ) + \log \left (47 \, x + 10\right )\right )\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((47*x+10)*log(47/2*x+5)*log(2/log(47/2*x+5))+47)/((47*x+10)*log(47/2*x+5)*log(2/log(47/2*x+5))*log(
log(2/log(47/2*x+5)))^2+(-94*x^2-20*x)*log(47/2*x+5)*log(2/log(47/2*x+5))*log(log(2/log(47/2*x+5)))+(47*x^3+10
*x^2)*log(47/2*x+5)*log(2/log(47/2*x+5))),x, algorithm="maxima")

[Out]

-1/(x - log(log(2) - log(-log(2) + log(47*x + 10))))

________________________________________________________________________________________

Fricas [A]
time = 0.34, size = 20, normalized size = 1.00 \begin {gather*} -\frac {1}{x - \log \left (\log \left (\frac {2}{\log \left (\frac {47}{2} \, x + 5\right )}\right )\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((47*x+10)*log(47/2*x+5)*log(2/log(47/2*x+5))+47)/((47*x+10)*log(47/2*x+5)*log(2/log(47/2*x+5))*log(
log(2/log(47/2*x+5)))^2+(-94*x^2-20*x)*log(47/2*x+5)*log(2/log(47/2*x+5))*log(log(2/log(47/2*x+5)))+(47*x^3+10
*x^2)*log(47/2*x+5)*log(2/log(47/2*x+5))),x, algorithm="fricas")

[Out]

-1/(x - log(log(2/log(47/2*x + 5))))

________________________________________________________________________________________

Sympy [A]
time = 0.15, size = 15, normalized size = 0.75 \begin {gather*} \frac {1}{- x + \log {\left (\log {\left (\frac {2}{\log {\left (\frac {47 x}{2} + 5 \right )}} \right )} \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((47*x+10)*ln(47/2*x+5)*ln(2/ln(47/2*x+5))+47)/((47*x+10)*ln(47/2*x+5)*ln(2/ln(47/2*x+5))*ln(ln(2/ln
(47/2*x+5)))**2+(-94*x**2-20*x)*ln(47/2*x+5)*ln(2/ln(47/2*x+5))*ln(ln(2/ln(47/2*x+5)))+(47*x**3+10*x**2)*ln(47
/2*x+5)*ln(2/ln(47/2*x+5))),x)

[Out]

1/(-x + log(log(2/log(47*x/2 + 5))))

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 590 vs. \(2 (20) = 40\).
time = 2.60, size = 590, normalized size = 29.50 \begin {gather*} -\frac {47 \, x \log \left (2\right )^{2} \log \left (\frac {47}{2} \, x + 5\right ) - 47 \, x \log \left (2\right ) \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) - 47 \, x \log \left (2\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 47 \, x \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 10 \, \log \left (2\right )^{2} \log \left (\frac {47}{2} \, x + 5\right ) - 10 \, \log \left (2\right ) \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) - 10 \, \log \left (2\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 10 \, \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) - 47 \, \log \left (\frac {47}{2} \, x + 5\right )}{47 \, x^{2} \log \left (2\right )^{2} \log \left (\frac {47}{2} \, x + 5\right ) - 47 \, x^{2} \log \left (2\right ) \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) - 47 \, x \log \left (2\right )^{2} \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) + 47 \, x \log \left (2\right ) \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) - 47 \, x^{2} \log \left (2\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 47 \, x^{2} \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 47 \, x \log \left (2\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) - 47 \, x \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 10 \, x \log \left (2\right )^{2} \log \left (\frac {47}{2} \, x + 5\right ) - 10 \, x \log \left (2\right ) \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) - 10 \, \log \left (2\right )^{2} \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) + 10 \, \log \left (2\right ) \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) - 10 \, x \log \left (2\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 10 \, x \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 10 \, \log \left (2\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) - 10 \, \log \left (47 \, x + 10\right ) \log \left (\frac {47}{2} \, x + 5\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right ) + 47 \, x \log \left (2\right ) - 47 \, x \log \left (47 \, x + 10\right ) - 47 \, \log \left (2\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right ) + 47 \, \log \left (47 \, x + 10\right ) \log \left (\log \left (2\right ) - \log \left (\log \left (\frac {47}{2} \, x + 5\right )\right )\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((47*x+10)*log(47/2*x+5)*log(2/log(47/2*x+5))+47)/((47*x+10)*log(47/2*x+5)*log(2/log(47/2*x+5))*log(
log(2/log(47/2*x+5)))^2+(-94*x^2-20*x)*log(47/2*x+5)*log(2/log(47/2*x+5))*log(log(2/log(47/2*x+5)))+(47*x^3+10
*x^2)*log(47/2*x+5)*log(2/log(47/2*x+5))),x, algorithm="giac")

[Out]

-(47*x*log(2)^2*log(47/2*x + 5) - 47*x*log(2)*log(47*x + 10)*log(47/2*x + 5) - 47*x*log(2)*log(47/2*x + 5)*log
(log(47/2*x + 5)) + 47*x*log(47*x + 10)*log(47/2*x + 5)*log(log(47/2*x + 5)) + 10*log(2)^2*log(47/2*x + 5) - 1
0*log(2)*log(47*x + 10)*log(47/2*x + 5) - 10*log(2)*log(47/2*x + 5)*log(log(47/2*x + 5)) + 10*log(47*x + 10)*l
og(47/2*x + 5)*log(log(47/2*x + 5)) - 47*log(47/2*x + 5))/(47*x^2*log(2)^2*log(47/2*x + 5) - 47*x^2*log(2)*log
(47*x + 10)*log(47/2*x + 5) - 47*x*log(2)^2*log(47/2*x + 5)*log(log(2) - log(log(47/2*x + 5))) + 47*x*log(2)*l
og(47*x + 10)*log(47/2*x + 5)*log(log(2) - log(log(47/2*x + 5))) - 47*x^2*log(2)*log(47/2*x + 5)*log(log(47/2*
x + 5)) + 47*x^2*log(47*x + 10)*log(47/2*x + 5)*log(log(47/2*x + 5)) + 47*x*log(2)*log(47/2*x + 5)*log(log(2)
- log(log(47/2*x + 5)))*log(log(47/2*x + 5)) - 47*x*log(47*x + 10)*log(47/2*x + 5)*log(log(2) - log(log(47/2*x
+ 5)))*log(log(47/2*x + 5)) + 10*x*log(2)^2*log(47/2*x + 5) - 10*x*log(2)*log(47*x + 10)*log(47/2*x + 5) - 10
*log(2)^2*log(47/2*x + 5)*log(log(2) - log(log(47/2*x + 5))) + 10*log(2)*log(47*x + 10)*log(47/2*x + 5)*log(lo
g(2) - log(log(47/2*x + 5))) - 10*x*log(2)*log(47/2*x + 5)*log(log(47/2*x + 5)) + 10*x*log(47*x + 10)*log(47/2
*x + 5)*log(log(47/2*x + 5)) + 10*log(2)*log(47/2*x + 5)*log(log(2) - log(log(47/2*x + 5)))*log(log(47/2*x + 5
)) - 10*log(47*x + 10)*log(47/2*x + 5)*log(log(2) - log(log(47/2*x + 5)))*log(log(47/2*x + 5)) + 47*x*log(2) -
47*x*log(47*x + 10) - 47*log(2)*log(log(2) - log(log(47/2*x + 5))) + 47*log(47*x + 10)*log(log(2) - log(log(4
7/2*x + 5))))

________________________________________________________________________________________

Mupad [B]
time = 5.01, size = 20, normalized size = 1.00 \begin {gather*} -\frac {1}{x-\ln \left (\ln \left (\frac {2}{\ln \left (\frac {47\,x}{2}+5\right )}\right )\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log((47*x)/2 + 5)*log(2/log((47*x)/2 + 5))*(47*x + 10) + 47)/(log((47*x)/2 + 5)*log(2/log((47*x)/2 + 5))*
(10*x^2 + 47*x^3) - log(log(2/log((47*x)/2 + 5)))*log((47*x)/2 + 5)*log(2/log((47*x)/2 + 5))*(20*x + 94*x^2) +
log(log(2/log((47*x)/2 + 5)))^2*log((47*x)/2 + 5)*log(2/log((47*x)/2 + 5))*(47*x + 10)),x)

[Out]

-1/(x - log(log(2/log((47*x)/2 + 5))))

________________________________________________________________________________________