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\)
Optimal. Leaf size=20 \[ \frac {1}{-x+\log \left (\log \left (\frac {2}{\log \left (5+\frac {47 x}{2}\right )}\right )\right )} \]
________________________________________________________________________________________
Rubi [A] time = 0.15, 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
= {6688, 6686} \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 6686
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 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 \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)
________________________________________________________________________________________
fricas [A] time = 0.63, 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))))
________________________________________________________________________________________
giac [B] time = 21.78, size = 590, normalized size = 29.50 result too large to
display
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))))
________________________________________________________________________________________
maple [A] time = 0.12, size = 22, normalized size = 1.10
|
|
|
| method |
result |
size |
|
|
|
| risch |
\(-\frac {1}{-\ln \left (\ln \relax (2)-\ln \left (\ln \left (\frac {47 x}{2}+5\right )\right )\right )+x}\) |
\(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/(-ln(ln(2)-ln(ln(47/2*x+5)))+x)
________________________________________________________________________________________
maxima [A] time = 0.76, size = 26, normalized size = 1.30 \begin {gather*} -\frac {1}{x - \log \left (\log \relax (2) - \log \left (-\log \relax (2) + \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))))
________________________________________________________________________________________
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))))
________________________________________________________________________________________
sympy [A] time = 0.45, 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))))
________________________________________________________________________________________