Integrand size = 64, antiderivative size = 20 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=(4-x) \log ^2\left ((-4+x) \left (28+16 x^2\right )\right ) \]
[Out]
Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
Time = 1.41 (sec) , antiderivative size = 1101, normalized size of antiderivative = 55.05, number of steps used = 86, number of rules used = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.219, Rules used = {6857, 2608, 2603, 2100, 209, 2604, 2465, 2441, 2440, 2438, 266, 2463, 2437, 2338} \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=-\frac {1}{2} \left (8-i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}-2 x\right )-\frac {1}{2} i \sqrt {7} \log ^2\left (i \sqrt {7}-2 x\right )-\left (8-i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right ) \log \left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right ) \log \left (i \sqrt {7}-2 x\right )-\left (8-i \sqrt {7}\right ) \log \left (-\frac {i \left (2 x+i \sqrt {7}\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (-\frac {i \left (2 x+i \sqrt {7}\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}-2 x\right )+\left (8-i \sqrt {7}\right ) \log \left (-4 \left (-4 x^3+16 x^2-7 x+28\right )\right ) \log \left (i \sqrt {7}-2 x\right )+i \sqrt {7} \log \left (-4 \left (-4 x^3+16 x^2-7 x+28\right )\right ) \log \left (i \sqrt {7}-2 x\right )-4 \log ^2(x-4)-\frac {1}{2} \left (8+i \sqrt {7}\right ) \log ^2\left (2 x+i \sqrt {7}\right )+\frac {1}{2} i \sqrt {7} \log ^2\left (2 x+i \sqrt {7}\right )-x \log ^2\left (-4 \left (-4 x^3+16 x^2-7 x+28\right )\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (x-4)-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (2 x+i \sqrt {7}\right )+i \sqrt {7} \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (2 x+i \sqrt {7}\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (2 x+i \sqrt {7}\right )+i \sqrt {7} \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (2 x+i \sqrt {7}\right )-8 \log (x-4) \log \left (\frac {2 x+i \sqrt {7}}{8+i \sqrt {7}}\right )+8 \log (x-4) \log \left (-4 \left (-4 x^3+16 x^2-7 x+28\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (2 x+i \sqrt {7}\right ) \log \left (-4 \left (-4 x^3+16 x^2-7 x+28\right )\right )-i \sqrt {7} \log \left (2 x+i \sqrt {7}\right ) \log \left (-4 \left (-4 x^3+16 x^2-7 x+28\right )\right )-8 \operatorname {PolyLog}\left (2,\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \operatorname {PolyLog}\left (2,\frac {2 (4-x)}{8+i \sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \operatorname {PolyLog}\left (2,-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )+i \sqrt {7} \operatorname {PolyLog}\left (2,-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \operatorname {PolyLog}\left (2,\frac {2 i x+\sqrt {7}}{8 i+\sqrt {7}}\right )-i \sqrt {7} \operatorname {PolyLog}\left (2,\frac {2 i x+\sqrt {7}}{8 i+\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \operatorname {PolyLog}\left (2,\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )+i \sqrt {7} \operatorname {PolyLog}\left (2,\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \operatorname {PolyLog}\left (2,\frac {i x}{\sqrt {7}}+\frac {1}{2}\right )-i \sqrt {7} \operatorname {PolyLog}\left (2,\frac {i x}{\sqrt {7}}+\frac {1}{2}\right ) \]
[In]
[Out]
Rule 209
Rule 266
Rule 2100
Rule 2338
Rule 2437
Rule 2438
Rule 2440
Rule 2441
Rule 2463
Rule 2465
Rule 2603
Rule 2604
Rule 2608
Rule 6857
Rubi steps \begin{align*} \text {integral}& = \int \left (-\frac {2 \left (7-32 x+12 x^2\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{7+4 x^2}-\log ^2\left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )\right ) \, dx \\ & = -\left (2 \int \frac {\left (7-32 x+12 x^2\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{7+4 x^2} \, dx\right )-\int \log ^2\left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right ) \, dx \\ & = -x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+2 \int \frac {x \left (7-32 x+12 x^2\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{-28+7 x-16 x^2+4 x^3} \, dx-2 \int \left (3 \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )-\frac {2 (7+16 x) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{7+4 x^2}\right ) \, dx \\ & = -x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+2 \int \left (3 \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )+\frac {2 \left (42-7 x+8 x^2\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{-28+7 x-16 x^2+4 x^3}\right ) \, dx+4 \int \frac {(7+16 x) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{7+4 x^2} \, dx-6 \int \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right ) \, dx \\ & = -6 x \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+4 \int \frac {\left (42-7 x+8 x^2\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{-28+7 x-16 x^2+4 x^3} \, dx+4 \int \left (\frac {\left (-56+7 i \sqrt {7}\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{14 \left (i \sqrt {7}-2 x\right )}+\frac {\left (56+7 i \sqrt {7}\right ) \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{14 \left (i \sqrt {7}+2 x\right )}\right ) \, dx+6 \int \frac {x \left (7-32 x+12 x^2\right )}{-28+7 x-16 x^2+4 x^3} \, dx+6 \int \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right ) \, dx \\ & = -x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+4 \int \left (\frac {2 \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{-4+x}-\frac {7 \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{7+4 x^2}\right ) \, dx-6 \int \frac {x \left (7-32 x+12 x^2\right )}{-28+7 x-16 x^2+4 x^3} \, dx+6 \int \left (3+\frac {4}{-4+x}-\frac {14}{7+4 x^2}\right ) \, dx-\left (2 \left (8-i \sqrt {7}\right )\right ) \int \frac {\log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{i \sqrt {7}-2 x} \, dx+\left (2 \left (8+i \sqrt {7}\right )\right ) \int \frac {\log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{i \sqrt {7}+2 x} \, dx \\ & = 18 x+24 \log (4-x)+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-6 \int \left (3+\frac {4}{-4+x}-\frac {14}{7+4 x^2}\right ) \, dx+8 \int \frac {\log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{-4+x} \, dx-28 \int \frac {\log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{7+4 x^2} \, dx-84 \int \frac {1}{7+4 x^2} \, dx+\left (-8-i \sqrt {7}\right ) \int \frac {\left (7-32 x+12 x^2\right ) \log \left (i \sqrt {7}+2 x\right )}{-28+7 x-16 x^2+4 x^3} \, dx-\left (8-i \sqrt {7}\right ) \int \frac {\left (7-32 x+12 x^2\right ) \log \left (i \sqrt {7}-2 x\right )}{-28+7 x-16 x^2+4 x^3} \, dx \\ & = -6 \sqrt {7} \tan ^{-1}\left (\frac {2 x}{\sqrt {7}}\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \int \frac {\left (7-32 x+12 x^2\right ) \log (-4+x)}{-28+7 x-16 x^2+4 x^3} \, dx-28 \int \left (\frac {i \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{2 \sqrt {7} \left (i \sqrt {7}-2 x\right )}+\frac {i \log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{2 \sqrt {7} \left (i \sqrt {7}+2 x\right )}\right ) \, dx+84 \int \frac {1}{7+4 x^2} \, dx+\left (-8-i \sqrt {7}\right ) \int \left (\frac {\log \left (i \sqrt {7}+2 x\right )}{-4+x}+\frac {8 x \log \left (i \sqrt {7}+2 x\right )}{7+4 x^2}\right ) \, dx-\left (8-i \sqrt {7}\right ) \int \left (\frac {\log \left (i \sqrt {7}-2 x\right )}{-4+x}+\frac {8 x \log \left (i \sqrt {7}-2 x\right )}{7+4 x^2}\right ) \, dx \\ & = \left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \int \left (\frac {\log (-4+x)}{-4+x}+\frac {8 x \log (-4+x)}{7+4 x^2}\right ) \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{i \sqrt {7}-2 x} \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )}{i \sqrt {7}+2 x} \, dx+\left (-8-i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}+2 x\right )}{-4+x} \, dx-\left (8-i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}-2 x\right )}{-4+x} \, dx-\left (8 \left (8-i \sqrt {7}\right )\right ) \int \frac {x \log \left (i \sqrt {7}-2 x\right )}{7+4 x^2} \, dx-\left (8 \left (8+i \sqrt {7}\right )\right ) \int \frac {x \log \left (i \sqrt {7}+2 x\right )}{7+4 x^2} \, dx \\ & = -\left (\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \int \frac {\log (-4+x)}{-4+x} \, dx-64 \int \frac {x \log (-4+x)}{7+4 x^2} \, dx-\left (i \sqrt {7}\right ) \int \frac {\left (7-32 x+12 x^2\right ) \log \left (i \sqrt {7}-2 x\right )}{-28+7 x-16 x^2+4 x^3} \, dx+\left (i \sqrt {7}\right ) \int \frac {\left (7-32 x+12 x^2\right ) \log \left (i \sqrt {7}+2 x\right )}{-28+7 x-16 x^2+4 x^3} \, dx-\left (2 \left (8-i \sqrt {7}\right )\right ) \int \frac {\log \left (-\frac {2 (-4+x)}{8-i \sqrt {7}}\right )}{i \sqrt {7}-2 x} \, dx-\left (8 \left (8-i \sqrt {7}\right )\right ) \int \left (-\frac {\log \left (i \sqrt {7}-2 x\right )}{4 \left (i \sqrt {7}-2 x\right )}+\frac {\log \left (i \sqrt {7}-2 x\right )}{4 \left (i \sqrt {7}+2 x\right )}\right ) \, dx+\left (2 \left (8+i \sqrt {7}\right )\right ) \int \frac {\log \left (\frac {2 (-4+x)}{-8-i \sqrt {7}}\right )}{i \sqrt {7}+2 x} \, dx-\left (8 \left (8+i \sqrt {7}\right )\right ) \int \left (-\frac {\log \left (i \sqrt {7}+2 x\right )}{4 \left (i \sqrt {7}-2 x\right )}+\frac {\log \left (i \sqrt {7}+2 x\right )}{4 \left (i \sqrt {7}+2 x\right )}\right ) \, dx \\ & = -\left (\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,-4+x\right )-64 \int \left (-\frac {\log (-4+x)}{4 \left (i \sqrt {7}-2 x\right )}+\frac {\log (-4+x)}{4 \left (i \sqrt {7}+2 x\right )}\right ) \, dx-\left (i \sqrt {7}\right ) \int \left (\frac {\log \left (i \sqrt {7}-2 x\right )}{-4+x}+\frac {8 x \log \left (i \sqrt {7}-2 x\right )}{7+4 x^2}\right ) \, dx+\left (i \sqrt {7}\right ) \int \left (\frac {\log \left (i \sqrt {7}+2 x\right )}{-4+x}+\frac {8 x \log \left (i \sqrt {7}+2 x\right )}{7+4 x^2}\right ) \, dx+\left (2 \left (8-i \sqrt {7}\right )\right ) \int \frac {\log \left (i \sqrt {7}-2 x\right )}{i \sqrt {7}-2 x} \, dx-\left (2 \left (8-i \sqrt {7}\right )\right ) \int \frac {\log \left (i \sqrt {7}-2 x\right )}{i \sqrt {7}+2 x} \, dx-\left (-8+i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{8-i \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}-2 x\right )+\left (8+i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{-8-i \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}+2 x\right )+\left (2 \left (8+i \sqrt {7}\right )\right ) \int \frac {\log \left (i \sqrt {7}+2 x\right )}{i \sqrt {7}-2 x} \, dx-\left (2 \left (8+i \sqrt {7}\right )\right ) \int \frac {\log \left (i \sqrt {7}+2 x\right )}{i \sqrt {7}+2 x} \, dx \\ & = -\left (\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )\right )-4 \log ^2(-4+x)-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )+16 \int \frac {\log (-4+x)}{i \sqrt {7}-2 x} \, dx-16 \int \frac {\log (-4+x)}{i \sqrt {7}+2 x} \, dx-\left (i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}-2 x\right )}{-4+x} \, dx+\left (i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}+2 x\right )}{-4+x} \, dx-\left (8 i \sqrt {7}\right ) \int \frac {x \log \left (i \sqrt {7}-2 x\right )}{7+4 x^2} \, dx+\left (8 i \sqrt {7}\right ) \int \frac {x \log \left (i \sqrt {7}+2 x\right )}{7+4 x^2} \, dx-\left (2 \left (8-i \sqrt {7}\right )\right ) \int \frac {\log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )}{i \sqrt {7}-2 x} \, dx+\left (-8+i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,i \sqrt {7}-2 x\right )-\left (8+i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,i \sqrt {7}+2 x\right )+\left (2 \left (8+i \sqrt {7}\right )\right ) \int \frac {\log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right )}{i \sqrt {7}+2 x} \, dx \\ & = -\frac {1}{2} \left (8-i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (-4+x)-4 \log ^2(-4+x)-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\frac {1}{2} \left (8+i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}+2 x\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \log (-4+x) \log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )+8 \int \frac {\log \left (\frac {i \sqrt {7}-2 x}{-8+i \sqrt {7}}\right )}{-4+x} \, dx+8 \int \frac {\log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )}{-4+x} \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (\frac {2 (-4+x)}{-8-i \sqrt {7}}\right )}{i \sqrt {7}+2 x} \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (-\frac {2 (-4+x)}{8-i \sqrt {7}}\right )}{i \sqrt {7}-2 x} \, dx-\left (8 i \sqrt {7}\right ) \int \left (-\frac {\log \left (i \sqrt {7}-2 x\right )}{4 \left (i \sqrt {7}-2 x\right )}+\frac {\log \left (i \sqrt {7}-2 x\right )}{4 \left (i \sqrt {7}+2 x\right )}\right ) \, dx+\left (8 i \sqrt {7}\right ) \int \left (-\frac {\log \left (i \sqrt {7}+2 x\right )}{4 \left (i \sqrt {7}-2 x\right )}+\frac {\log \left (i \sqrt {7}+2 x\right )}{4 \left (i \sqrt {7}+2 x\right )}\right ) \, dx-\left (-8+i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {i x}{2 \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}-2 x\right )+\left (8+i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {i x}{2 \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}+2 x\right ) \\ & = -\frac {1}{2} \left (8-i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (-4+x)-4 \log ^2(-4+x)-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\frac {1}{2} \left (8+i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}+2 x\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \log (-4+x) \log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}+\frac {i x}{\sqrt {7}}\right )+8 \text {Subst}\left (\int \frac {\log \left (1-\frac {2 x}{-8+i \sqrt {7}}\right )}{x} \, dx,x,-4+x\right )+8 \text {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{8+i \sqrt {7}}\right )}{x} \, dx,x,-4+x\right )-\left (i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{-8-i \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}+2 x\right )+\left (i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{8-i \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}-2 x\right )+\left (2 i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}-2 x\right )}{i \sqrt {7}-2 x} \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}-2 x\right )}{i \sqrt {7}+2 x} \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}+2 x\right )}{i \sqrt {7}-2 x} \, dx+\left (2 i \sqrt {7}\right ) \int \frac {\log \left (i \sqrt {7}+2 x\right )}{i \sqrt {7}+2 x} \, dx \\ & = -\frac {1}{2} \left (8-i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (-4+x)-4 \log ^2(-4+x)+i \sqrt {7} \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\frac {1}{2} \left (8+i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}+2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \log (-4+x) \log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \text {Li}_2\left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \text {Li}_2\left (\frac {2 (4-x)}{8+i \sqrt {7}}\right )+i \sqrt {7} \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-i \sqrt {7} \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}+\frac {i x}{\sqrt {7}}\right )-\left (i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,i \sqrt {7}-2 x\right )+\left (i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,i \sqrt {7}+2 x\right )-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right )}{i \sqrt {7}+2 x} \, dx-\left (2 i \sqrt {7}\right ) \int \frac {\log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )}{i \sqrt {7}-2 x} \, dx \\ & = -\frac {1}{2} i \sqrt {7} \log ^2\left (i \sqrt {7}-2 x\right )-\frac {1}{2} \left (8-i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (-4+x)-4 \log ^2(-4+x)+i \sqrt {7} \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+\frac {1}{2} i \sqrt {7} \log ^2\left (i \sqrt {7}+2 x\right )-\frac {1}{2} \left (8+i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}+2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \log (-4+x) \log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \text {Li}_2\left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \text {Li}_2\left (\frac {2 (4-x)}{8+i \sqrt {7}}\right )+i \sqrt {7} \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-i \sqrt {7} \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}+\frac {i x}{\sqrt {7}}\right )+\left (i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {i x}{2 \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}-2 x\right )-\left (i \sqrt {7}\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {i x}{2 \sqrt {7}}\right )}{x} \, dx,x,i \sqrt {7}+2 x\right ) \\ & = -\frac {1}{2} i \sqrt {7} \log ^2\left (i \sqrt {7}-2 x\right )-\frac {1}{2} \left (8-i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}-2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (-4+x)-4 \log ^2(-4+x)+i \sqrt {7} \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+i \sqrt {7} \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-\left (8+i \sqrt {7}\right ) \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )+\frac {1}{2} i \sqrt {7} \log ^2\left (i \sqrt {7}+2 x\right )-\frac {1}{2} \left (8+i \sqrt {7}\right ) \log ^2\left (i \sqrt {7}+2 x\right )-i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \log (-4+x) \log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )+i \sqrt {7} \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8-i \sqrt {7}\right ) \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-i \sqrt {7} \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+\left (8+i \sqrt {7}\right ) \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-8 \text {Li}_2\left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \text {Li}_2\left (\frac {2 (4-x)}{8+i \sqrt {7}}\right )+i \sqrt {7} \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (-\frac {\sqrt {7}-2 i x}{8 i-\sqrt {7}}\right )-i \sqrt {7} \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {\sqrt {7}+2 i x}{8 i+\sqrt {7}}\right )+i \sqrt {7} \text {Li}_2\left (\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )-\left (8+i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}-\frac {i x}{\sqrt {7}}\right )-i \sqrt {7} \text {Li}_2\left (\frac {1}{2}+\frac {i x}{\sqrt {7}}\right )-\left (8-i \sqrt {7}\right ) \text {Li}_2\left (\frac {1}{2}+\frac {i x}{\sqrt {7}}\right ) \\ \end{align*}
Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
Time = 0.44 (sec) , antiderivative size = 552, normalized size of antiderivative = 27.60 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=-4 \log ^2\left (i \sqrt {7}-2 x\right )-8 \log \left (i \sqrt {7}-2 x\right ) \log \left (\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \log \left (-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right ) \log (-4+x)-4 \log ^2(-4+x)-8 \log \left (-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-8 \log \left (\frac {2 (4-x)}{8+i \sqrt {7}}\right ) \log \left (i \sqrt {7}+2 x\right )-4 \log ^2\left (i \sqrt {7}+2 x\right )-8 \log \left (i \sqrt {7}-2 x\right ) \log \left (-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \log (-4+x) \log \left (\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right )+8 \log \left (i \sqrt {7}-2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log (-4+x) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )+8 \log \left (i \sqrt {7}+2 x\right ) \log \left (-4 \left (28-7 x+16 x^2-4 x^3\right )\right )-x \log ^2\left (4 \left (-28+7 x-16 x^2+4 x^3\right )\right )-8 \operatorname {PolyLog}\left (2,-\frac {i \left (i \sqrt {7}-2 x\right )}{2 \sqrt {7}}\right )-8 \operatorname {PolyLog}\left (2,-\frac {i \sqrt {7}-2 x}{8-i \sqrt {7}}\right )-8 \operatorname {PolyLog}\left (2,\frac {2 (4-x)}{8-i \sqrt {7}}\right )-8 \operatorname {PolyLog}\left (2,\frac {2 (4-x)}{8+i \sqrt {7}}\right )-8 \operatorname {PolyLog}\left (2,-\frac {i \left (i \sqrt {7}+2 x\right )}{2 \sqrt {7}}\right )-8 \operatorname {PolyLog}\left (2,\frac {i \sqrt {7}+2 x}{8+i \sqrt {7}}\right ) \]
[In]
[Out]
Time = 1.62 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.25
method | result | size |
risch | \(\left (-x +4\right ) \ln \left (16 x^{3}-64 x^{2}+28 x -112\right )^{2}\) | \(25\) |
norman | \(4 \ln \left (16 x^{3}-64 x^{2}+28 x -112\right )^{2}-x \ln \left (16 x^{3}-64 x^{2}+28 x -112\right )^{2}\) | \(43\) |
parallelrisch | \(4 \ln \left (16 x^{3}-64 x^{2}+28 x -112\right )^{2}-x \ln \left (16 x^{3}-64 x^{2}+28 x -112\right )^{2}\) | \(43\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.15 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=-{\left (x - 4\right )} \log \left (16 \, x^{3} - 64 \, x^{2} + 28 \, x - 112\right )^{2} \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.00 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=\left (4 - x\right ) \log {\left (16 x^{3} - 64 x^{2} + 28 x - 112 \right )}^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 77 vs. \(2 (20) = 40\).
Time = 0.63 (sec) , antiderivative size = 77, normalized size of antiderivative = 3.85 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=-4 \, x \log \left (2\right )^{2} - {\left (x - 4\right )} \log \left (4 \, x^{2} + 7\right )^{2} - {\left (x - 4\right )} \log \left (x - 4\right )^{2} - 2 \, {\left (2 \, x \log \left (2\right ) + {\left (x - 4\right )} \log \left (x - 4\right ) - 8 \, \log \left (2\right )\right )} \log \left (4 \, x^{2} + 7\right ) - 4 \, {\left (x \log \left (2\right ) - 4 \, \log \left (2\right )\right )} \log \left (x - 4\right ) \]
[In]
[Out]
none
Time = 0.33 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.15 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=-{\left (x - 4\right )} \log \left (16 \, x^{3} - 64 \, x^{2} + 28 \, x - 112\right )^{2} \]
[In]
[Out]
Time = 10.66 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.15 \[ \int \frac {\left (-14+64 x-24 x^2\right ) \log \left (-112+28 x-64 x^2+16 x^3\right )+\left (-7-4 x^2\right ) \log ^2\left (-112+28 x-64 x^2+16 x^3\right )}{7+4 x^2} \, dx=-{\ln \left (16\,x^3-64\,x^2+28\,x-112\right )}^2\,\left (x-4\right ) \]
[In]
[Out]