Integrand size = 150, antiderivative size = 32 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=\log \left (\log (4) \left (e^{12 x}-x^2+\frac {5}{\log \left (x-\frac {4+x}{1+x}\right )}\right )\right ) \] Output:
ln(2*ln(2)*(exp(12*x)+5/ln(x-(4+x)/(1+x))-x^2))
Time = 0.70 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.69 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=-\log \left (\log \left (\frac {-4+x^2}{1+x}\right )\right )+\log \left (5+e^{12 x} \log \left (\frac {-4+x^2}{1+x}\right )-x^2 \log \left (\frac {-4+x^2}{1+x}\right )\right ) \] Input:
Integrate[(-20 - 10*x - 5*x^2 + (8*x + 8*x^2 - 2*x^3 - 2*x^4 + E^(12*x)*(- 48 - 48*x + 12*x^2 + 12*x^3))*Log[(-4 + x^2)/(1 + x)]^2)/((-20 - 20*x + 5* x^2 + 5*x^3)*Log[(-4 + x^2)/(1 + x)] + (4*x^2 + 4*x^3 - x^4 - x^5 + E^(12* x)*(-4 - 4*x + x^2 + x^3))*Log[(-4 + x^2)/(1 + x)]^2),x]
Output:
-Log[Log[(-4 + x^2)/(1 + x)]] + Log[5 + E^(12*x)*Log[(-4 + x^2)/(1 + x)] - x^2*Log[(-4 + x^2)/(1 + 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 {-5 x^2+\left (-2 x^4-2 x^3+8 x^2+e^{12 x} \left (12 x^3+12 x^2-48 x-48\right )+8 x\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )-10 x-20}{\left (5 x^3+5 x^2-20 x-20\right ) \log \left (\frac {x^2-4}{x+1}\right )+\left (-x^5-x^4+4 x^3+4 x^2+e^{12 x} \left (x^3+x^2-4 x-4\right )\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )} \, dx\) |
| \(\Big \downarrow \) 7292 |
| \(\displaystyle \int \frac {5 x^2-\left (-2 x^4-2 x^3+8 x^2+e^{12 x} \left (12 x^3+12 x^2-48 x-48\right )+8 x\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x+20}{\left (-x^3-x^2+4 x+4\right ) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \left (-\log \left (\frac {x^2-4}{x+1}\right )\right )+e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )+5\right )}dx\) |
| \(\Big \downarrow \) 2463 |
| \(\displaystyle \int \left (-\frac {5 x^2-\left (-2 x^4-2 x^3+8 x^2+e^{12 x} \left (12 x^3+12 x^2-48 x-48\right )+8 x\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x+20}{12 (x-2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \left (-\log \left (\frac {x^2-4}{x+1}\right )\right )+e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )+5\right )}+\frac {5 x^2-\left (-2 x^4-2 x^3+8 x^2+e^{12 x} \left (12 x^3+12 x^2-48 x-48\right )+8 x\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x+20}{3 (x+1) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \left (-\log \left (\frac {x^2-4}{x+1}\right )\right )+e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )+5\right )}-\frac {5 x^2-\left (-2 x^4-2 x^3+8 x^2+e^{12 x} \left (12 x^3+12 x^2-48 x-48\right )+8 x\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x+20}{4 (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \left (-\log \left (\frac {x^2-4}{x+1}\right )\right )+e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )+5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {5 \left (x^2+2 x+4\right )-2 \left (6 e^{12 x}-x\right ) \left (x^3+x^2-4 x-4\right ) \log ^2\left (\frac {x^2-4}{x+1}\right )}{(2-x) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (5-\left (x^2-e^{12 x}\right ) \log \left (\frac {x^2-4}{x+1}\right )\right )}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle \int \left (12-\frac {-5 x^2-40 x^2 \log ^2\left (\frac {x^2-4}{x+1}\right )+8 x \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^2 \log \left (\frac {x^2-4}{x+1}\right )+240 x \log \left (\frac {x^2-4}{x+1}\right )+240 \log \left (\frac {x^2-4}{x+1}\right )+12 x^5 \log ^2\left (\frac {x^2-4}{x+1}\right )+10 x^4 \log ^2\left (\frac {x^2-4}{x+1}\right )-50 x^3 \log ^2\left (\frac {x^2-4}{x+1}\right )-60 x^3 \log \left (\frac {x^2-4}{x+1}\right )-10 x-20}{(x-2) (x+1) (x+2) \log \left (\frac {x^2-4}{x+1}\right ) \left (x^2 \log \left (\frac {x^2-4}{x+1}\right )-e^{12 x} \log \left (\frac {x^2-4}{x+1}\right )-5\right )}\right )dx\) |
Input:
Int[(-20 - 10*x - 5*x^2 + (8*x + 8*x^2 - 2*x^3 - 2*x^4 + E^(12*x)*(-48 - 4 8*x + 12*x^2 + 12*x^3))*Log[(-4 + x^2)/(1 + x)]^2)/((-20 - 20*x + 5*x^2 + 5*x^3)*Log[(-4 + x^2)/(1 + x)] + (4*x^2 + 4*x^3 - x^4 - x^5 + E^(12*x)*(-4 - 4*x + x^2 + x^3))*Log[(-4 + x^2)/(1 + x)]^2),x]
Output:
$Aborted
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.02 (sec) , antiderivative size = 433, normalized size of antiderivative = 13.53
\[\ln \left (-x^{2}+{\mathrm e}^{12 x}\right )+\ln \left (\ln \left (x^{2}-4\right )-\frac {i \left (\pi \,x^{2} \operatorname {csgn}\left (\frac {i}{1+x}\right ) \operatorname {csgn}\left (i \left (x^{2}-4\right )\right ) \operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )-\pi \,x^{2} \operatorname {csgn}\left (\frac {i}{1+x}\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{2}-\pi \,x^{2} \operatorname {csgn}\left (i \left (x^{2}-4\right )\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{2}+\pi \,x^{2} {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{3}-\pi \,\operatorname {csgn}\left (\frac {i}{1+x}\right ) \operatorname {csgn}\left (i \left (x^{2}-4\right )\right ) \operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right ) {\mathrm e}^{12 x}+\pi \,\operatorname {csgn}\left (\frac {i}{1+x}\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{2} {\mathrm e}^{12 x}+\pi \,\operatorname {csgn}\left (i \left (x^{2}-4\right )\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{2} {\mathrm e}^{12 x}-\pi {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{3} {\mathrm e}^{12 x}-2 i x^{2} \ln \left (1+x \right )+2 i {\mathrm e}^{12 x} \ln \left (1+x \right )-10 i\right )}{2 \left (x^{2}-{\mathrm e}^{12 x}\right )}\right )-\ln \left (\ln \left (x^{2}-4\right )-\frac {i \left (\pi \,\operatorname {csgn}\left (\frac {i}{1+x}\right ) \operatorname {csgn}\left (i \left (x^{2}-4\right )\right ) \operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )-\pi \,\operatorname {csgn}\left (\frac {i}{1+x}\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{2}-\pi \,\operatorname {csgn}\left (i \left (x^{2}-4\right )\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{2}+\pi {\operatorname {csgn}\left (\frac {i \left (x^{2}-4\right )}{1+x}\right )}^{3}-2 i \ln \left (1+x \right )\right )}{2}\right )\]
Input:
int((((12*x^3+12*x^2-48*x-48)*exp(12*x)-2*x^4-2*x^3+8*x^2+8*x)*ln((x^2-4)/ (1+x))^2-5*x^2-10*x-20)/(((x^3+x^2-4*x-4)*exp(12*x)-x^5-x^4+4*x^3+4*x^2)*l n((x^2-4)/(1+x))^2+(5*x^3+5*x^2-20*x-20)*ln((x^2-4)/(1+x))),x)
Output:
ln(-x^2+exp(12*x))+ln(ln(x^2-4)-1/2*I*(Pi*x^2*csgn(I/(1+x))*csgn(I*(x^2-4) )*csgn(I/(1+x)*(x^2-4))-Pi*x^2*csgn(I/(1+x))*csgn(I/(1+x)*(x^2-4))^2-Pi*x^ 2*csgn(I*(x^2-4))*csgn(I/(1+x)*(x^2-4))^2+Pi*x^2*csgn(I/(1+x)*(x^2-4))^3-P i*csgn(I/(1+x))*csgn(I*(x^2-4))*csgn(I/(1+x)*(x^2-4))*exp(12*x)+Pi*csgn(I/ (1+x))*csgn(I/(1+x)*(x^2-4))^2*exp(12*x)+Pi*csgn(I*(x^2-4))*csgn(I/(1+x)*( x^2-4))^2*exp(12*x)-Pi*csgn(I/(1+x)*(x^2-4))^3*exp(12*x)-2*I*x^2*ln(1+x)+2 *I*exp(12*x)*ln(1+x)-10*I)/(x^2-exp(12*x)))-ln(ln(x^2-4)-1/2*I*(Pi*csgn(I/ (1+x))*csgn(I*(x^2-4))*csgn(I/(1+x)*(x^2-4))-Pi*csgn(I/(1+x))*csgn(I/(1+x) *(x^2-4))^2-Pi*csgn(I*(x^2-4))*csgn(I/(1+x)*(x^2-4))^2+Pi*csgn(I/(1+x)*(x^ 2-4))^3-2*I*ln(1+x)))
Leaf count of result is larger than twice the leaf count of optimal. 66 vs. \(2 (32) = 64\).
Time = 0.10 (sec) , antiderivative size = 66, normalized size of antiderivative = 2.06 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=\log \left (-x^{2} + e^{\left (12 \, x\right )}\right ) + \log \left (\frac {{\left (x^{2} - e^{\left (12 \, x\right )}\right )} \log \left (\frac {x^{2} - 4}{x + 1}\right ) - 5}{x^{2} - e^{\left (12 \, x\right )}}\right ) - \log \left (\log \left (\frac {x^{2} - 4}{x + 1}\right )\right ) \] Input:
integrate((((12*x^3+12*x^2-48*x-48)*exp(12*x)-2*x^4-2*x^3+8*x^2+8*x)*log(( x^2-4)/(1+x))^2-5*x^2-10*x-20)/(((x^3+x^2-4*x-4)*exp(12*x)-x^5-x^4+4*x^3+4 *x^2)*log((x^2-4)/(1+x))^2+(5*x^3+5*x^2-20*x-20)*log((x^2-4)/(1+x))),x, al gorithm="fricas")
Output:
log(-x^2 + e^(12*x)) + log(((x^2 - e^(12*x))*log((x^2 - 4)/(x + 1)) - 5)/( x^2 - e^(12*x))) - log(log((x^2 - 4)/(x + 1)))
Time = 0.64 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.97 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=\log {\left (\frac {- x^{2} \log {\left (\frac {x^{2} - 4}{x + 1} \right )} + 5}{\log {\left (\frac {x^{2} - 4}{x + 1} \right )}} + e^{12 x} \right )} \] Input:
integrate((((12*x**3+12*x**2-48*x-48)*exp(12*x)-2*x**4-2*x**3+8*x**2+8*x)* ln((x**2-4)/(1+x))**2-5*x**2-10*x-20)/(((x**3+x**2-4*x-4)*exp(12*x)-x**5-x **4+4*x**3+4*x**2)*ln((x**2-4)/(1+x))**2+(5*x**3+5*x**2-20*x-20)*ln((x**2- 4)/(1+x))),x)
Output:
log((-x**2*log((x**2 - 4)/(x + 1)) + 5)/log((x**2 - 4)/(x + 1)) + exp(12*x ))
Leaf count of result is larger than twice the leaf count of optimal. 97 vs. \(2 (32) = 64\).
Time = 0.13 (sec) , antiderivative size = 97, normalized size of antiderivative = 3.03 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=\log \left (x + e^{\left (6 \, x\right )}\right ) + \log \left (-x + e^{\left (6 \, x\right )}\right ) + \log \left (\frac {{\left (x^{2} - e^{\left (12 \, x\right )}\right )} \log \left (x + 2\right ) - {\left (x^{2} - e^{\left (12 \, x\right )}\right )} \log \left (x + 1\right ) + {\left (x^{2} - e^{\left (12 \, x\right )}\right )} \log \left (x - 2\right ) - 5}{x^{2} - e^{\left (12 \, x\right )}}\right ) - \log \left (\log \left (x + 2\right ) - \log \left (x + 1\right ) + \log \left (x - 2\right )\right ) \] Input:
integrate((((12*x^3+12*x^2-48*x-48)*exp(12*x)-2*x^4-2*x^3+8*x^2+8*x)*log(( x^2-4)/(1+x))^2-5*x^2-10*x-20)/(((x^3+x^2-4*x-4)*exp(12*x)-x^5-x^4+4*x^3+4 *x^2)*log((x^2-4)/(1+x))^2+(5*x^3+5*x^2-20*x-20)*log((x^2-4)/(1+x))),x, al gorithm="maxima")
Output:
log(x + e^(6*x)) + log(-x + e^(6*x)) + log(((x^2 - e^(12*x))*log(x + 2) - (x^2 - e^(12*x))*log(x + 1) + (x^2 - e^(12*x))*log(x - 2) - 5)/(x^2 - e^(1 2*x))) - log(log(x + 2) - log(x + 1) + log(x - 2))
Time = 0.58 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.66 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=\log \left (-x^{2} \log \left (\frac {x^{2} - 4}{x + 1}\right ) + e^{\left (12 \, x\right )} \log \left (\frac {x^{2} - 4}{x + 1}\right ) + 5\right ) - \log \left (\log \left (\frac {x^{2} - 4}{x + 1}\right )\right ) \] Input:
integrate((((12*x^3+12*x^2-48*x-48)*exp(12*x)-2*x^4-2*x^3+8*x^2+8*x)*log(( x^2-4)/(1+x))^2-5*x^2-10*x-20)/(((x^3+x^2-4*x-4)*exp(12*x)-x^5-x^4+4*x^3+4 *x^2)*log((x^2-4)/(1+x))^2+(5*x^3+5*x^2-20*x-20)*log((x^2-4)/(1+x))),x, al gorithm="giac")
Output:
log(-x^2*log((x^2 - 4)/(x + 1)) + e^(12*x)*log((x^2 - 4)/(x + 1)) + 5) - l og(log((x^2 - 4)/(x + 1)))
Timed out. \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=\int \frac {10\,x+{\ln \left (\frac {x^2-4}{x+1}\right )}^2\,\left ({\mathrm {e}}^{12\,x}\,\left (-12\,x^3-12\,x^2+48\,x+48\right )-8\,x-8\,x^2+2\,x^3+2\,x^4\right )+5\,x^2+20}{\left ({\mathrm {e}}^{12\,x}\,\left (-x^3-x^2+4\,x+4\right )-4\,x^2-4\,x^3+x^4+x^5\right )\,{\ln \left (\frac {x^2-4}{x+1}\right )}^2+\left (-5\,x^3-5\,x^2+20\,x+20\right )\,\ln \left (\frac {x^2-4}{x+1}\right )} \,d x \] Input:
int((10*x + log((x^2 - 4)/(x + 1))^2*(exp(12*x)*(48*x - 12*x^2 - 12*x^3 + 48) - 8*x - 8*x^2 + 2*x^3 + 2*x^4) + 5*x^2 + 20)/(log((x^2 - 4)/(x + 1))*( 20*x - 5*x^2 - 5*x^3 + 20) + log((x^2 - 4)/(x + 1))^2*(exp(12*x)*(4*x - x^ 2 - x^3 + 4) - 4*x^2 - 4*x^3 + x^4 + x^5)),x)
Output:
int((10*x + log((x^2 - 4)/(x + 1))^2*(exp(12*x)*(48*x - 12*x^2 - 12*x^3 + 48) - 8*x - 8*x^2 + 2*x^3 + 2*x^4) + 5*x^2 + 20)/(log((x^2 - 4)/(x + 1))*( 20*x - 5*x^2 - 5*x^3 + 20) + log((x^2 - 4)/(x + 1))^2*(exp(12*x)*(4*x - x^ 2 - x^3 + 4) - 4*x^2 - 4*x^3 + x^4 + x^5)), x)
Time = 0.20 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.69 \[ \int \frac {-20-10 x-5 x^2+\left (8 x+8 x^2-2 x^3-2 x^4+e^{12 x} \left (-48-48 x+12 x^2+12 x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )}{\left (-20-20 x+5 x^2+5 x^3\right ) \log \left (\frac {-4+x^2}{1+x}\right )+\left (4 x^2+4 x^3-x^4-x^5+e^{12 x} \left (-4-4 x+x^2+x^3\right )\right ) \log ^2\left (\frac {-4+x^2}{1+x}\right )} \, dx=-\mathrm {log}\left (\mathrm {log}\left (\frac {x^{2}-4}{x +1}\right )\right )+\mathrm {log}\left (e^{12 x} \mathrm {log}\left (\frac {x^{2}-4}{x +1}\right )-\mathrm {log}\left (\frac {x^{2}-4}{x +1}\right ) x^{2}+5\right ) \] Input:
int((((12*x^3+12*x^2-48*x-48)*exp(12*x)-2*x^4-2*x^3+8*x^2+8*x)*log((x^2-4) /(1+x))^2-5*x^2-10*x-20)/(((x^3+x^2-4*x-4)*exp(12*x)-x^5-x^4+4*x^3+4*x^2)* log((x^2-4)/(1+x))^2+(5*x^3+5*x^2-20*x-20)*log((x^2-4)/(1+x))),x)
Output:
- log(log((x**2 - 4)/(x + 1))) + log(e**(12*x)*log((x**2 - 4)/(x + 1)) - log((x**2 - 4)/(x + 1))*x**2 + 5)