Integrand size = 146, antiderivative size = 33 \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\log \left (5 x+\frac {2 x+\frac {2+\frac {\log (x)}{\log \left (x^2 (4+x)\right )}}{\log (x)}}{x}\right ) \]
Leaf count is larger than twice the leaf count of optimal. \(75\) vs. \(2(33)=66\).
Time = 55.71 (sec) , antiderivative size = 75, normalized size of antiderivative = 2.27 \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\log (2+5 x)-\log (x (2+5 x))-\log (\log (x))-\log \left (\log \left (x^2 (4+x)\right )\right )+\log \left (\log (x)+2 \log \left (x^2 (4+x)\right )+2 x \log (x) \log \left (x^2 (4+x)\right )+5 x^2 \log (x) \log \left (x^2 (4+x)\right )\right ) \]
Integrate[((-8 - 3*x)*Log[x]^2 + (-4 - x)*Log[x]^2*Log[4*x^2 + x^3] + (-8 - 2*x + (-8 - 2*x)*Log[x] + (20*x^2 + 5*x^3)*Log[x]^2)*Log[4*x^2 + x^3]^2) /((4*x + x^2)*Log[x]^2*Log[4*x^2 + x^3] + ((8*x + 2*x^2)*Log[x] + (8*x^2 + 22*x^3 + 5*x^4)*Log[x]^2)*Log[4*x^2 + x^3]^2),x]
Log[2 + 5*x] - Log[x*(2 + 5*x)] - Log[Log[x]] - Log[Log[x^2*(4 + x)]] + Lo g[Log[x] + 2*Log[x^2*(4 + x)] + 2*x*Log[x]*Log[x^2*(4 + x)] + 5*x^2*Log[x] *Log[x^2*(4 + x)]]
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {(-x-4) \log \left (x^3+4 x^2\right ) \log ^2(x)+\left (\left (5 x^3+20 x^2\right ) \log ^2(x)-2 x+(-2 x-8) \log (x)-8\right ) \log ^2\left (x^3+4 x^2\right )+(-3 x-8) \log ^2(x)}{\left (x^2+4 x\right ) \log \left (x^3+4 x^2\right ) \log ^2(x)+\left (\left (2 x^2+8 x\right ) \log (x)+\left (5 x^4+22 x^3+8 x^2\right ) \log ^2(x)\right ) \log ^2\left (x^3+4 x^2\right )} \, dx\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle \int \frac {(-x-4) \log \left (x^3+4 x^2\right ) \log ^2(x)+\left (\left (5 x^3+20 x^2\right ) \log ^2(x)-2 x+(-2 x-8) \log (x)-8\right ) \log ^2\left (x^3+4 x^2\right )+(-3 x-8) \log ^2(x)}{x (x+4) \log (x) \log \left (x^2 (x+4)\right ) \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right )}dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \int \left (\frac {\left (5 x^2 \log ^2(x)-2 \log (x)-2\right ) \log \left (x^2 (x+4)\right )}{x \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right ) \log (x)}-\frac {\log (x)}{x \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right )}-\frac {(3 x+8) \log (x)}{x (x+4) \log \left (x^2 (x+4)\right ) \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right )}\right )dx\) |
\(\Big \downarrow \) 7299 |
\(\displaystyle \int \left (\frac {\left (5 x^2 \log ^2(x)-2 \log (x)-2\right ) \log \left (x^2 (x+4)\right )}{x \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right ) \log (x)}-\frac {\log (x)}{x \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right )}-\frac {(3 x+8) \log (x)}{x (x+4) \log \left (x^2 (x+4)\right ) \left (5 x^2 \log (x) \log \left (x^2 (x+4)\right )+2 x \log (x) \log \left (x^2 (x+4)\right )+2 \log \left (x^2 (x+4)\right )+\log (x)\right )}\right )dx\) |
Int[((-8 - 3*x)*Log[x]^2 + (-4 - x)*Log[x]^2*Log[4*x^2 + x^3] + (-8 - 2*x + (-8 - 2*x)*Log[x] + (20*x^2 + 5*x^3)*Log[x]^2)*Log[4*x^2 + x^3]^2)/((4*x + x^2)*Log[x]^2*Log[4*x^2 + x^3] + ((8*x + 2*x^2)*Log[x] + (8*x^2 + 22*x^ 3 + 5*x^4)*Log[x]^2)*Log[4*x^2 + x^3]^2),x]
3.1.8.3.1 Defintions of rubi rules used
Time = 1.90 (sec) , antiderivative size = 65, normalized size of antiderivative = 1.97
method | result | size |
parallelrisch | \(-\ln \left (x \right )-\ln \left (\ln \left (x \right )\right )-\ln \left (\ln \left (x^{2} \left (4+x \right )\right )\right )+\ln \left (\ln \left (x \right ) \ln \left (x^{2} \left (4+x \right )\right ) x^{2}+\frac {2 \ln \left (x \right ) \ln \left (x^{2} \left (4+x \right )\right ) x}{5}+\frac {\ln \left (x \right )}{5}+\frac {2 \ln \left (x^{2} \left (4+x \right )\right )}{5}\right )\) | \(65\) |
default | \(\text {Expression too large to display}\) | \(675\) |
risch | \(\text {Expression too large to display}\) | \(675\) |
int((((5*x^3+20*x^2)*ln(x)^2+(-2*x-8)*ln(x)-2*x-8)*ln(x^3+4*x^2)^2+(-4-x)* ln(x)^2*ln(x^3+4*x^2)+(-3*x-8)*ln(x)^2)/(((5*x^4+22*x^3+8*x^2)*ln(x)^2+(2* x^2+8*x)*ln(x))*ln(x^3+4*x^2)^2+(x^2+4*x)*ln(x)^2*ln(x^3+4*x^2)),x,method= _RETURNVERBOSE)
-ln(x)-ln(ln(x))-ln(ln(x^2*(4+x)))+ln(ln(x)*ln(x^2*(4+x))*x^2+2/5*ln(x)*ln (x^2*(4+x))*x+1/5*ln(x)+2/5*ln(x^2*(4+x)))
Leaf count of result is larger than twice the leaf count of optimal. 98 vs. \(2 (33) = 66\).
Time = 0.27 (sec) , antiderivative size = 98, normalized size of antiderivative = 2.97 \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\log \left (5 \, x + 2\right ) + \log \left (\frac {{\left ({\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right ) + 2\right )} \log \left (x^{3} + 4 \, x^{2}\right ) + \log \left (x\right )}{{\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right ) + 2}\right ) + \log \left (\frac {{\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right ) + 2}{5 \, x^{2} + 2 \, x}\right ) - \log \left (\log \left (x^{3} + 4 \, x^{2}\right )\right ) - \log \left (\log \left (x\right )\right ) \]
integrate((((5*x^3+20*x^2)*log(x)^2+(-2*x-8)*log(x)-2*x-8)*log(x^3+4*x^2)^ 2+(-4-x)*log(x)^2*log(x^3+4*x^2)+(-3*x-8)*log(x)^2)/(((5*x^4+22*x^3+8*x^2) *log(x)^2+(2*x^2+8*x)*log(x))*log(x^3+4*x^2)^2+(x^2+4*x)*log(x)^2*log(x^3+ 4*x^2)),x, algorithm=\
log(5*x + 2) + log((((5*x^2 + 2*x)*log(x) + 2)*log(x^3 + 4*x^2) + log(x))/ ((5*x^2 + 2*x)*log(x) + 2)) + log(((5*x^2 + 2*x)*log(x) + 2)/(5*x^2 + 2*x) ) - log(log(x^3 + 4*x^2)) - log(log(x))
Exception generated. \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\text {Exception raised: PolynomialError} \]
integrate((((5*x**3+20*x**2)*ln(x)**2+(-2*x-8)*ln(x)-2*x-8)*ln(x**3+4*x**2 )**2+(-4-x)*ln(x)**2*ln(x**3+4*x**2)+(-3*x-8)*ln(x)**2)/(((5*x**4+22*x**3+ 8*x**2)*ln(x)**2+(2*x**2+8*x)*ln(x))*ln(x**3+4*x**2)**2+(x**2+4*x)*ln(x)** 2*ln(x**3+4*x**2)),x)
Exception raised: PolynomialError >> 1/(25*_t0**2*x**6 + 120*_t0**2*x**5 + 84*_t0**2*x**4 + 16*_t0**2*x**3 + 20*_t0*x**4 + 88*_t0*x**3 + 32*_t0*x**2 + 4*x**2 + 16*x) contains an element of the set of generators.
Leaf count of result is larger than twice the leaf count of optimal. 108 vs. \(2 (33) = 66\).
Time = 0.25 (sec) , antiderivative size = 108, normalized size of antiderivative = 3.27 \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\log \left (5 \, x + 2\right ) + \log \left (\frac {2 \, {\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right )^{2} + {\left ({\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right ) + 2\right )} \log \left (x + 4\right ) + 5 \, \log \left (x\right )}{{\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right ) + 2}\right ) + \log \left (\frac {{\left (5 \, x^{2} + 2 \, x\right )} \log \left (x\right ) + 2}{5 \, x^{2} + 2 \, x}\right ) - \log \left (\log \left (x + 4\right ) + 2 \, \log \left (x\right )\right ) - \log \left (\log \left (x\right )\right ) \]
integrate((((5*x^3+20*x^2)*log(x)^2+(-2*x-8)*log(x)-2*x-8)*log(x^3+4*x^2)^ 2+(-4-x)*log(x)^2*log(x^3+4*x^2)+(-3*x-8)*log(x)^2)/(((5*x^4+22*x^3+8*x^2) *log(x)^2+(2*x^2+8*x)*log(x))*log(x^3+4*x^2)^2+(x^2+4*x)*log(x)^2*log(x^3+ 4*x^2)),x, algorithm=\
log(5*x + 2) + log((2*(5*x^2 + 2*x)*log(x)^2 + ((5*x^2 + 2*x)*log(x) + 2)* log(x + 4) + 5*log(x))/((5*x^2 + 2*x)*log(x) + 2)) + log(((5*x^2 + 2*x)*lo g(x) + 2)/(5*x^2 + 2*x)) - log(log(x + 4) + 2*log(x)) - log(log(x))
Leaf count of result is larger than twice the leaf count of optimal. 70 vs. \(2 (33) = 66\).
Time = 0.53 (sec) , antiderivative size = 70, normalized size of antiderivative = 2.12 \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\log \left (5 \, x^{2} \log \left (x + 4\right ) \log \left (x\right ) + 10 \, x^{2} \log \left (x\right )^{2} + 2 \, x \log \left (x + 4\right ) \log \left (x\right ) + 4 \, x \log \left (x\right )^{2} + 2 \, \log \left (x + 4\right ) + 5 \, \log \left (x\right )\right ) - \log \left (x\right ) - \log \left (\log \left (x + 4\right ) + 2 \, \log \left (x\right )\right ) - \log \left (\log \left (x\right )\right ) \]
integrate((((5*x^3+20*x^2)*log(x)^2+(-2*x-8)*log(x)-2*x-8)*log(x^3+4*x^2)^ 2+(-4-x)*log(x)^2*log(x^3+4*x^2)+(-3*x-8)*log(x)^2)/(((5*x^4+22*x^3+8*x^2) *log(x)^2+(2*x^2+8*x)*log(x))*log(x^3+4*x^2)^2+(x^2+4*x)*log(x)^2*log(x^3+ 4*x^2)),x, algorithm=\
log(5*x^2*log(x + 4)*log(x) + 10*x^2*log(x)^2 + 2*x*log(x + 4)*log(x) + 4* x*log(x)^2 + 2*log(x + 4) + 5*log(x)) - log(x) - log(log(x + 4) + 2*log(x) ) - log(log(x))
Timed out. \[ \int \frac {(-8-3 x) \log ^2(x)+(-4-x) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (-8-2 x+(-8-2 x) \log (x)+\left (20 x^2+5 x^3\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )}{\left (4 x+x^2\right ) \log ^2(x) \log \left (4 x^2+x^3\right )+\left (\left (8 x+2 x^2\right ) \log (x)+\left (8 x^2+22 x^3+5 x^4\right ) \log ^2(x)\right ) \log ^2\left (4 x^2+x^3\right )} \, dx=\int -\frac {{\ln \left (x^3+4\,x^2\right )}^2\,\left (\left (-5\,x^3-20\,x^2\right )\,{\ln \left (x\right )}^2+\left (2\,x+8\right )\,\ln \left (x\right )+2\,x+8\right )+{\ln \left (x\right )}^2\,\left (3\,x+8\right )+\ln \left (x^3+4\,x^2\right )\,{\ln \left (x\right )}^2\,\left (x+4\right )}{{\ln \left (x^3+4\,x^2\right )}^2\,\left (\left (5\,x^4+22\,x^3+8\,x^2\right )\,{\ln \left (x\right )}^2+\left (2\,x^2+8\,x\right )\,\ln \left (x\right )\right )+\ln \left (x^3+4\,x^2\right )\,{\ln \left (x\right )}^2\,\left (x^2+4\,x\right )} \,d x \]
int(-(log(4*x^2 + x^3)^2*(2*x - log(x)^2*(20*x^2 + 5*x^3) + log(x)*(2*x + 8) + 8) + log(x)^2*(3*x + 8) + log(4*x^2 + x^3)*log(x)^2*(x + 4))/(log(4*x ^2 + x^3)^2*(log(x)^2*(8*x^2 + 22*x^3 + 5*x^4) + log(x)*(8*x + 2*x^2)) + l og(4*x^2 + x^3)*log(x)^2*(4*x + x^2)),x)