Optimal. Leaf size=127 \[ -\frac {6237 x^{10}}{156250000}+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {11}{100} x^{10} \log ^9(x)-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^3(x)}{312500}-\frac {6237 x^{10} \log ^2(x)}{3125000}+\frac {6237 x^{10} \log (x)}{15625000} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 127, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 2, integrand size = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {2305, 2304} \[ -\frac {6237 x^{10}}{156250000}+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {11}{100} x^{10} \log ^9(x)-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^3(x)}{312500}-\frac {6237 x^{10} \log ^2(x)}{3125000}+\frac {6237 x^{10} \log (x)}{15625000} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2304
Rule 2305
Rubi steps
\begin {align*} \int x^9 \log ^{11}(x) \, dx &=\frac {1}{10} x^{10} \log ^{11}(x)-\frac {11}{10} \int x^9 \log ^{10}(x) \, dx\\ &=-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)+\frac {11}{10} \int x^9 \log ^9(x) \, dx\\ &=\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {99}{100} \int x^9 \log ^8(x) \, dx\\ &=-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)+\frac {99}{125} \int x^9 \log ^7(x) \, dx\\ &=\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {693 \int x^9 \log ^6(x) \, dx}{1250}\\ &=-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)+\frac {2079 \int x^9 \log ^5(x) \, dx}{6250}\\ &=\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {2079 \int x^9 \log ^4(x) \, dx}{12500}\\ &=-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)+\frac {2079 \int x^9 \log ^3(x) \, dx}{31250}\\ &=\frac {2079 x^{10} \log ^3(x)}{312500}-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {6237 \int x^9 \log ^2(x) \, dx}{312500}\\ &=-\frac {6237 x^{10} \log ^2(x)}{3125000}+\frac {2079 x^{10} \log ^3(x)}{312500}-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)+\frac {6237 \int x^9 \log (x) \, dx}{1562500}\\ &=-\frac {6237 x^{10}}{156250000}+\frac {6237 x^{10} \log (x)}{15625000}-\frac {6237 x^{10} \log ^2(x)}{3125000}+\frac {2079 x^{10} \log ^3(x)}{312500}-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {11}{100} x^{10} \log ^9(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {1}{10} x^{10} \log ^{11}(x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 127, normalized size = 1.00 \[ -\frac {6237 x^{10}}{156250000}+\frac {1}{10} x^{10} \log ^{11}(x)-\frac {11}{100} x^{10} \log ^{10}(x)+\frac {11}{100} x^{10} \log ^9(x)-\frac {99 x^{10} \log ^8(x)}{1000}+\frac {99 x^{10} \log ^7(x)}{1250}-\frac {693 x^{10} \log ^6(x)}{12500}+\frac {2079 x^{10} \log ^5(x)}{62500}-\frac {2079 x^{10} \log ^4(x)}{125000}+\frac {2079 x^{10} \log ^3(x)}{312500}-\frac {6237 x^{10} \log ^2(x)}{3125000}+\frac {6237 x^{10} \log (x)}{15625000} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.43, size = 103, normalized size = 0.81 \[ \frac {1}{10} \, x^{10} \log \relax (x)^{11} - \frac {11}{100} \, x^{10} \log \relax (x)^{10} + \frac {11}{100} \, x^{10} \log \relax (x)^{9} - \frac {99}{1000} \, x^{10} \log \relax (x)^{8} + \frac {99}{1250} \, x^{10} \log \relax (x)^{7} - \frac {693}{12500} \, x^{10} \log \relax (x)^{6} + \frac {2079}{62500} \, x^{10} \log \relax (x)^{5} - \frac {2079}{125000} \, x^{10} \log \relax (x)^{4} + \frac {2079}{312500} \, x^{10} \log \relax (x)^{3} - \frac {6237}{3125000} \, x^{10} \log \relax (x)^{2} + \frac {6237}{15625000} \, x^{10} \log \relax (x) - \frac {6237}{156250000} \, x^{10} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 1.02, size = 103, normalized size = 0.81 \[ \frac {1}{10} \, x^{10} \log \relax (x)^{11} - \frac {11}{100} \, x^{10} \log \relax (x)^{10} + \frac {11}{100} \, x^{10} \log \relax (x)^{9} - \frac {99}{1000} \, x^{10} \log \relax (x)^{8} + \frac {99}{1250} \, x^{10} \log \relax (x)^{7} - \frac {693}{12500} \, x^{10} \log \relax (x)^{6} + \frac {2079}{62500} \, x^{10} \log \relax (x)^{5} - \frac {2079}{125000} \, x^{10} \log \relax (x)^{4} + \frac {2079}{312500} \, x^{10} \log \relax (x)^{3} - \frac {6237}{3125000} \, x^{10} \log \relax (x)^{2} + \frac {6237}{15625000} \, x^{10} \log \relax (x) - \frac {6237}{156250000} \, x^{10} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.00, size = 104, normalized size = 0.82 \[ \frac {x^{10} \ln \relax (x )^{11}}{10}-\frac {11 x^{10} \ln \relax (x )^{10}}{100}+\frac {11 x^{10} \ln \relax (x )^{9}}{100}-\frac {99 x^{10} \ln \relax (x )^{8}}{1000}+\frac {99 x^{10} \ln \relax (x )^{7}}{1250}-\frac {693 x^{10} \ln \relax (x )^{6}}{12500}+\frac {2079 x^{10} \ln \relax (x )^{5}}{62500}-\frac {2079 x^{10} \ln \relax (x )^{4}}{125000}+\frac {2079 x^{10} \ln \relax (x )^{3}}{312500}-\frac {6237 x^{10} \ln \relax (x )^{2}}{3125000}+\frac {6237 x^{10} \ln \relax (x )}{15625000}-\frac {6237 x^{10}}{156250000} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.42, size = 71, normalized size = 0.56 \[ \frac {1}{156250000} \, {\left (15625000 \, \log \relax (x)^{11} - 17187500 \, \log \relax (x)^{10} + 17187500 \, \log \relax (x)^{9} - 15468750 \, \log \relax (x)^{8} + 12375000 \, \log \relax (x)^{7} - 8662500 \, \log \relax (x)^{6} + 5197500 \, \log \relax (x)^{5} - 2598750 \, \log \relax (x)^{4} + 1039500 \, \log \relax (x)^{3} - 311850 \, \log \relax (x)^{2} + 62370 \, \log \relax (x) - 6237\right )} x^{10} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.18, size = 71, normalized size = 0.56 \[ \frac {6237\,x^{10}\,\left (\frac {15625000\,{\ln \relax (x)}^{11}}{6237}-\frac {1562500\,{\ln \relax (x)}^{10}}{567}+\frac {1562500\,{\ln \relax (x)}^9}{567}-\frac {156250\,{\ln \relax (x)}^8}{63}+\frac {125000\,{\ln \relax (x)}^7}{63}-\frac {12500\,{\ln \relax (x)}^6}{9}+\frac {2500\,{\ln \relax (x)}^5}{3}-\frac {1250\,{\ln \relax (x)}^4}{3}+\frac {500\,{\ln \relax (x)}^3}{3}-50\,{\ln \relax (x)}^2+10\,\ln \relax (x)-1\right )}{156250000} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.29, size = 133, normalized size = 1.05 \[ \frac {x^{10} \log {\relax (x )}^{11}}{10} - \frac {11 x^{10} \log {\relax (x )}^{10}}{100} + \frac {11 x^{10} \log {\relax (x )}^{9}}{100} - \frac {99 x^{10} \log {\relax (x )}^{8}}{1000} + \frac {99 x^{10} \log {\relax (x )}^{7}}{1250} - \frac {693 x^{10} \log {\relax (x )}^{6}}{12500} + \frac {2079 x^{10} \log {\relax (x )}^{5}}{62500} - \frac {2079 x^{10} \log {\relax (x )}^{4}}{125000} + \frac {2079 x^{10} \log {\relax (x )}^{3}}{312500} - \frac {6237 x^{10} \log {\relax (x )}^{2}}{3125000} + \frac {6237 x^{10} \log {\relax (x )}}{15625000} - \frac {6237 x^{10}}{156250000} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________