Optimal. Leaf size=27 \[ \log \left ((-2+x)^2\right ) \log \left (\frac {5-\frac {x}{2}}{-16+(5-x) x}\right ) \]
________________________________________________________________________________________
Rubi [C] time = 0.70, antiderivative size = 204, normalized size of antiderivative = 7.56, number of steps used = 30, number of rules used = 7, integrand size = 80, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.088, Rules used = {6742, 2418, 2394, 2393, 2391, 2524, 12} \begin {gather*} 2 \log \left (-\frac {10-x}{2 \left (x^2-5 x+16\right )}\right ) \log (x-2)+2 \log \left (\frac {-2 x-i \sqrt {39}+5}{1-i \sqrt {39}}\right ) \log (x-2)+2 \log \left (\frac {-2 x+i \sqrt {39}+5}{1+i \sqrt {39}}\right ) \log (x-2)-2 \log \left (\frac {10-x}{8}\right ) \log (x-2)-\log \left (\frac {-2 x-i \sqrt {39}+5}{1-i \sqrt {39}}\right ) \log \left ((x-2)^2\right )-\log \left (\frac {-2 x+i \sqrt {39}+5}{1+i \sqrt {39}}\right ) \log \left ((x-2)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((x-2)^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2391
Rule 2393
Rule 2394
Rule 2418
Rule 2524
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {\left (34-20 x+x^2\right ) \log \left ((-2+x)^2\right )}{(-10+x) \left (16-5 x+x^2\right )}+\frac {2 \log \left (\frac {-10+x}{2 \left (16-5 x+x^2\right )}\right )}{-2+x}\right ) \, dx\\ &=2 \int \frac {\log \left (\frac {-10+x}{2 \left (16-5 x+x^2\right )}\right )}{-2+x} \, dx-\int \frac {\left (34-20 x+x^2\right ) \log \left ((-2+x)^2\right )}{(-10+x) \left (16-5 x+x^2\right )} \, dx\\ &=2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )-2 \int \frac {2 \left (16-5 x+x^2\right ) \left (-\frac {(-10+x) (-5+2 x)}{2 \left (16-5 x+x^2\right )^2}+\frac {1}{2 \left (16-5 x+x^2\right )}\right ) \log (-2+x)}{-10+x} \, dx-\int \left (\frac {\log \left ((-2+x)^2\right )}{10-x}+\frac {(-5+2 x) \log \left ((-2+x)^2\right )}{16-5 x+x^2}\right ) \, dx\\ &=2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )-4 \int \frac {\left (16-5 x+x^2\right ) \left (-\frac {(-10+x) (-5+2 x)}{2 \left (16-5 x+x^2\right )^2}+\frac {1}{2 \left (16-5 x+x^2\right )}\right ) \log (-2+x)}{-10+x} \, dx-\int \frac {\log \left ((-2+x)^2\right )}{10-x} \, dx-\int \frac {(-5+2 x) \log \left ((-2+x)^2\right )}{16-5 x+x^2} \, dx\\ &=\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )-2 \int \frac {\log \left (\frac {10-x}{8}\right )}{-2+x} \, dx-4 \int \left (\frac {\log (-2+x)}{2 (-10+x)}+\frac {(5-2 x) \log (-2+x)}{2 \left (16-5 x+x^2\right )}\right ) \, dx-\int \left (\frac {2 \log \left ((-2+x)^2\right )}{-5-i \sqrt {39}+2 x}+\frac {2 \log \left ((-2+x)^2\right )}{-5+i \sqrt {39}+2 x}\right ) \, dx\\ &=\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )-2 \int \frac {\log (-2+x)}{-10+x} \, dx-2 \int \frac {(5-2 x) \log (-2+x)}{16-5 x+x^2} \, dx-2 \int \frac {\log \left ((-2+x)^2\right )}{-5-i \sqrt {39}+2 x} \, dx-2 \int \frac {\log \left ((-2+x)^2\right )}{-5+i \sqrt {39}+2 x} \, dx-2 \operatorname {Subst}\left (\int \frac {\log \left (1-\frac {x}{8}\right )}{x} \, dx,x,-2+x\right )\\ &=-2 \log \left (\frac {10-x}{8}\right ) \log (-2+x)-\log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )-\log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )+2 \text {Li}_2\left (\frac {1}{8} (-2+x)\right )+2 \int \frac {\log \left (\frac {10-x}{8}\right )}{-2+x} \, dx-2 \int \left (-\frac {2 \log (-2+x)}{-5-i \sqrt {39}+2 x}-\frac {2 \log (-2+x)}{-5+i \sqrt {39}+2 x}\right ) \, dx+2 \int \frac {\log \left (\frac {-5-i \sqrt {39}+2 x}{-1-i \sqrt {39}}\right )}{-2+x} \, dx+2 \int \frac {\log \left (\frac {-5+i \sqrt {39}+2 x}{-1+i \sqrt {39}}\right )}{-2+x} \, dx\\ &=-2 \log \left (\frac {10-x}{8}\right ) \log (-2+x)-\log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )-\log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )+2 \text {Li}_2\left (\frac {1}{8} (-2+x)\right )+2 \operatorname {Subst}\left (\int \frac {\log \left (1-\frac {x}{8}\right )}{x} \, dx,x,-2+x\right )+2 \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{-1-i \sqrt {39}}\right )}{x} \, dx,x,-2+x\right )+2 \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{-1+i \sqrt {39}}\right )}{x} \, dx,x,-2+x\right )+4 \int \frac {\log (-2+x)}{-5-i \sqrt {39}+2 x} \, dx+4 \int \frac {\log (-2+x)}{-5+i \sqrt {39}+2 x} \, dx\\ &=2 \log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log (-2+x)+2 \log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log (-2+x)-2 \log \left (\frac {10-x}{8}\right ) \log (-2+x)-\log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )-\log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )-2 \text {Li}_2\left (-\frac {2 (2-x)}{1-i \sqrt {39}}\right )-2 \text {Li}_2\left (-\frac {2 (2-x)}{1+i \sqrt {39}}\right )-2 \int \frac {\log \left (\frac {-5-i \sqrt {39}+2 x}{-1-i \sqrt {39}}\right )}{-2+x} \, dx-2 \int \frac {\log \left (\frac {-5+i \sqrt {39}+2 x}{-1+i \sqrt {39}}\right )}{-2+x} \, dx\\ &=2 \log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log (-2+x)+2 \log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log (-2+x)-2 \log \left (\frac {10-x}{8}\right ) \log (-2+x)-\log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )-\log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )-2 \text {Li}_2\left (-\frac {2 (2-x)}{1-i \sqrt {39}}\right )-2 \text {Li}_2\left (-\frac {2 (2-x)}{1+i \sqrt {39}}\right )-2 \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{-1-i \sqrt {39}}\right )}{x} \, dx,x,-2+x\right )-2 \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{-1+i \sqrt {39}}\right )}{x} \, dx,x,-2+x\right )\\ &=2 \log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log (-2+x)+2 \log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log (-2+x)-2 \log \left (\frac {10-x}{8}\right ) \log (-2+x)-\log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )-\log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [C] time = 0.18, size = 220, normalized size = 8.15 \begin {gather*} -2 \log (8) \log (-10+x)+2 \log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log (-2+x)+2 \log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log (-2+x)-\log \left (\frac {5-i \sqrt {39}-2 x}{1-i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )-\log \left (\frac {5+i \sqrt {39}-2 x}{1+i \sqrt {39}}\right ) \log \left ((-2+x)^2\right )+\log \left (\frac {10-x}{8}\right ) \log \left ((-2+x)^2\right )+2 \log (-2+x) \log \left (-\frac {10-x}{2 \left (16-5 x+x^2\right )}\right )+2 \text {Li}_2\left (\frac {10-x}{8}\right )+2 \text {Li}_2\left (\frac {1}{8} (-2+x)\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.93, size = 26, normalized size = 0.96 \begin {gather*} \log \left (x^{2} - 4 \, x + 4\right ) \log \left (\frac {x - 10}{2 \, {\left (x^{2} - 5 \, x + 16\right )}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.58, size = 60, normalized size = 2.22 \begin {gather*} -{\left (\log \left (x^{2} - 5 \, x + 16\right ) - \log \left (x - 10\right )\right )} \log \left (x^{2} - 4 \, x + 4\right ) - 2 \, \log \left (2 \, x^{2} - 10 \, x + 32\right ) \log \left (x - 2\right ) + 2 \, \log \left (x^{2} - 5 \, x + 16\right ) \log \left (x - 2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 2.54, size = 247, normalized size = 9.15
method | result | size |
default | \(-2 \ln \relax (2) \ln \left (x -2\right )+2 \ln \left (x -2\right ) \ln \left (\frac {x -10}{x^{2}-5 x +16}\right )-2 \left (\ln \left (x -2\right )-\ln \left (-\frac {1}{4}+\frac {x}{8}\right )\right ) \ln \left (\frac {5}{4}-\frac {x}{8}\right )+2 \ln \left (x -2\right ) \ln \left (\frac {i \sqrt {39}+5-2 x}{1+i \sqrt {39}}\right )+2 \ln \left (x -2\right ) \ln \left (\frac {i \sqrt {39}-5+2 x}{i \sqrt {39}-1}\right )+2 \dilog \left (\frac {i \sqrt {39}+5-2 x}{1+i \sqrt {39}}\right )+2 \dilog \left (\frac {i \sqrt {39}-5+2 x}{i \sqrt {39}-1}\right )-\left (\munderset {\underline {\hspace {1.25 ex}}\alpha =\RootOf \left (\textit {\_Z}^{2}-5 \textit {\_Z} +16\right )}{\sum }\left (\ln \left (x -\underline {\hspace {1.25 ex}}\alpha \right ) \ln \left (x^{2}-4 x +4\right )-2 \dilog \left (\frac {x -2}{-2+\underline {\hspace {1.25 ex}}\alpha }\right )-2 \ln \left (x -\underline {\hspace {1.25 ex}}\alpha \right ) \ln \left (\frac {x -2}{-2+\underline {\hspace {1.25 ex}}\alpha }\right )\right )\right )+\ln \left (x -10\right ) \ln \left (x^{2}-4 x +4\right )-2 \ln \left (x -10\right ) \ln \left (-\frac {1}{4}+\frac {x}{8}\right )\) | \(247\) |
risch | \(\text {Expression too large to display}\) | \(50326\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.87, size = 31, normalized size = 1.15 \begin {gather*} -2 \, {\left (\log \relax (2) - \log \left (x - 10\right )\right )} \log \left (x - 2\right ) - 2 \, \log \left (x^{2} - 5 \, x + 16\right ) \log \left (x - 2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.09, size = 28, normalized size = 1.04 \begin {gather*} \ln \left (x^2-4\,x+4\right )\,\left (\ln \left (x-10\right )-\ln \left (2\,x^2-10\,x+32\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.41, size = 24, normalized size = 0.89 \begin {gather*} \log {\left (\frac {x - 10}{2 x^{2} - 10 x + 32} \right )} \log {\left (x^{2} - 4 x + 4 \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________