Optimal. Leaf size=118 \[ \frac {3003}{320 (1-x)^{5/2}}+\frac {1001}{64 (1-x)^{3/2}}+\frac {3003}{64 \sqrt {1-x}}-\frac {1}{4 (1-x)^{5/2} x^4}-\frac {13}{24 (1-x)^{5/2} x^3}-\frac {143}{96 (1-x)^{5/2} x^2}-\frac {429}{64 (1-x)^{5/2} x}-\frac {3003}{64} \tanh ^{-1}\left (\sqrt {1-x}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 118, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 4, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.308, Rules used = {44, 53, 65, 212}
\begin {gather*} -\frac {1}{4 (1-x)^{5/2} x^4}-\frac {13}{24 (1-x)^{5/2} x^3}-\frac {143}{96 (1-x)^{5/2} x^2}+\frac {3003}{64 \sqrt {1-x}}-\frac {429}{64 (1-x)^{5/2} x}+\frac {1001}{64 (1-x)^{3/2}}+\frac {3003}{320 (1-x)^{5/2}}-\frac {3003}{64} \tanh ^{-1}\left (\sqrt {1-x}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 44
Rule 53
Rule 65
Rule 212
Rubi steps
\begin {align*} \int \frac {1}{(1-x)^{7/2} x^5} \, dx &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {13}{5} \int \frac {1}{(1-x)^{5/2} x^5} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {143}{15} \int \frac {1}{(1-x)^{3/2} x^5} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}+\frac {429}{5} \int \frac {1}{\sqrt {1-x} x^5} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}-\frac {429 \sqrt {1-x}}{20 x^4}+\frac {3003}{40} \int \frac {1}{\sqrt {1-x} x^4} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}-\frac {429 \sqrt {1-x}}{20 x^4}-\frac {1001 \sqrt {1-x}}{40 x^3}+\frac {1001}{16} \int \frac {1}{\sqrt {1-x} x^3} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}-\frac {429 \sqrt {1-x}}{20 x^4}-\frac {1001 \sqrt {1-x}}{40 x^3}-\frac {1001 \sqrt {1-x}}{32 x^2}+\frac {3003}{64} \int \frac {1}{\sqrt {1-x} x^2} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}-\frac {429 \sqrt {1-x}}{20 x^4}-\frac {1001 \sqrt {1-x}}{40 x^3}-\frac {1001 \sqrt {1-x}}{32 x^2}-\frac {3003 \sqrt {1-x}}{64 x}+\frac {3003}{128} \int \frac {1}{\sqrt {1-x} x} \, dx\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}-\frac {429 \sqrt {1-x}}{20 x^4}-\frac {1001 \sqrt {1-x}}{40 x^3}-\frac {1001 \sqrt {1-x}}{32 x^2}-\frac {3003 \sqrt {1-x}}{64 x}-\frac {3003}{64} \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\sqrt {1-x}\right )\\ &=\frac {2}{5 (1-x)^{5/2} x^4}+\frac {26}{15 (1-x)^{3/2} x^4}+\frac {286}{15 \sqrt {1-x} x^4}-\frac {429 \sqrt {1-x}}{20 x^4}-\frac {1001 \sqrt {1-x}}{40 x^3}-\frac {1001 \sqrt {1-x}}{32 x^2}-\frac {3003 \sqrt {1-x}}{64 x}-\frac {3003}{64} \tanh ^{-1}\left (\sqrt {1-x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.07, size = 70, normalized size = 0.59 \begin {gather*} -\frac {240+520 x+1430 x^2+6435 x^3-69069 x^4+105105 x^5-45045 x^6+45045 (1-x)^{5/2} x^4 \tanh ^{-1}\left (\sqrt {1-x}\right )}{960 (1-x)^{5/2} x^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.10, size = 157, normalized size = 1.33
method | result | size |
risch | \(\frac {45045 x^{6}-105105 x^{5}+69069 x^{4}-6435 x^{3}-1430 x^{2}-520 x -240}{960 \left (-1+x \right )^{2} \sqrt {1-x}\, x^{4}}-\frac {3003 \arctanh \left (\sqrt {1-x}\right )}{64}\) | \(59\) |
trager | \(-\frac {\left (45045 x^{6}-105105 x^{5}+69069 x^{4}-6435 x^{3}-1430 x^{2}-520 x -240\right ) \sqrt {1-x}}{960 \left (-1+x \right )^{3} x^{4}}+\frac {3003 \ln \left (\frac {-2+x +2 \sqrt {1-x}}{x}\right )}{128}\) | \(68\) |
meijerg | \(\frac {-\frac {\sqrt {\pi }}{4 x^{4}}-\frac {7 \sqrt {\pi }}{6 x^{3}}-\frac {63 \sqrt {\pi }}{16 x^{2}}-\frac {231 \sqrt {\pi }}{16 x}+\frac {3003 \left (\frac {329177}{180180}-2 \ln \left (2\right )+\ln \left (x \right )+i \pi \right ) \sqrt {\pi }}{128}+\frac {\sqrt {\pi }\, \left (-329177 x^{4}+110880 x^{3}+30240 x^{2}+8960 x +1920\right )}{7680 x^{4}}-\frac {\sqrt {\pi }\, \left (-180180 x^{6}+420420 x^{5}-276276 x^{4}+25740 x^{3}+5720 x^{2}+2080 x +960\right )}{3840 x^{4} \left (1-x \right )^{\frac {5}{2}}}-\frac {3003 \sqrt {\pi }\, \ln \left (\frac {1}{2}+\frac {\sqrt {1-x}}{2}\right )}{64}}{\sqrt {\pi }}\) | \(146\) |
derivativedivides | \(\frac {2}{5 \left (1-x \right )^{\frac {5}{2}}}+\frac {10}{3 \left (1-x \right )^{\frac {3}{2}}}+\frac {30}{\sqrt {1-x}}-\frac {1}{64 \left (\sqrt {1-x}-1\right )^{4}}+\frac {17}{96 \left (\sqrt {1-x}-1\right )^{3}}-\frac {159}{128 \left (\sqrt {1-x}-1\right )^{2}}+\frac {1083}{128 \left (\sqrt {1-x}-1\right )}+\frac {3003 \ln \left (\sqrt {1-x}-1\right )}{128}+\frac {1}{64 \left (\sqrt {1-x}+1\right )^{4}}+\frac {17}{96 \left (\sqrt {1-x}+1\right )^{3}}+\frac {159}{128 \left (\sqrt {1-x}+1\right )^{2}}+\frac {1083}{128 \left (\sqrt {1-x}+1\right )}-\frac {3003 \ln \left (\sqrt {1-x}+1\right )}{128}\) | \(157\) |
default | \(\frac {2}{5 \left (1-x \right )^{\frac {5}{2}}}+\frac {10}{3 \left (1-x \right )^{\frac {3}{2}}}+\frac {30}{\sqrt {1-x}}-\frac {1}{64 \left (\sqrt {1-x}-1\right )^{4}}+\frac {17}{96 \left (\sqrt {1-x}-1\right )^{3}}-\frac {159}{128 \left (\sqrt {1-x}-1\right )^{2}}+\frac {1083}{128 \left (\sqrt {1-x}-1\right )}+\frac {3003 \ln \left (\sqrt {1-x}-1\right )}{128}+\frac {1}{64 \left (\sqrt {1-x}+1\right )^{4}}+\frac {17}{96 \left (\sqrt {1-x}+1\right )^{3}}+\frac {159}{128 \left (\sqrt {1-x}+1\right )^{2}}+\frac {1083}{128 \left (\sqrt {1-x}+1\right )}-\frac {3003 \ln \left (\sqrt {1-x}+1\right )}{128}\) | \(157\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 1.24, size = 111, normalized size = 0.94 \begin {gather*} \frac {45045 \, {\left (x - 1\right )}^{6} + 165165 \, {\left (x - 1\right )}^{5} + 219219 \, {\left (x - 1\right )}^{4} + 119691 \, {\left (x - 1\right )}^{3} + 18304 \, {\left (x - 1\right )}^{2} - 1664 \, x + 2048}{960 \, {\left ({\left (-x + 1\right )}^{\frac {13}{2}} - 4 \, {\left (-x + 1\right )}^{\frac {11}{2}} + 6 \, {\left (-x + 1\right )}^{\frac {9}{2}} - 4 \, {\left (-x + 1\right )}^{\frac {7}{2}} + {\left (-x + 1\right )}^{\frac {5}{2}}\right )}} - \frac {3003}{128} \, \log \left (\sqrt {-x + 1} + 1\right ) + \frac {3003}{128} \, \log \left (\sqrt {-x + 1} - 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 125, normalized size = 1.06 \begin {gather*} -\frac {45045 \, {\left (x^{7} - 3 \, x^{6} + 3 \, x^{5} - x^{4}\right )} \log \left (\sqrt {-x + 1} + 1\right ) - 45045 \, {\left (x^{7} - 3 \, x^{6} + 3 \, x^{5} - x^{4}\right )} \log \left (\sqrt {-x + 1} - 1\right ) + 2 \, {\left (45045 \, x^{6} - 105105 \, x^{5} + 69069 \, x^{4} - 6435 \, x^{3} - 1430 \, x^{2} - 520 \, x - 240\right )} \sqrt {-x + 1}}{1920 \, {\left (x^{7} - 3 \, x^{6} + 3 \, x^{5} - x^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.50, size = 104, normalized size = 0.88 \begin {gather*} \frac {2 \, {\left (225 \, {\left (x - 1\right )}^{2} - 25 \, x + 28\right )}}{15 \, {\left (x - 1\right )}^{2} \sqrt {-x + 1}} - \frac {3249 \, {\left (x - 1\right )}^{3} \sqrt {-x + 1} + 10633 \, {\left (x - 1\right )}^{2} \sqrt {-x + 1} - 11767 \, {\left (-x + 1\right )}^{\frac {3}{2}} + 4431 \, \sqrt {-x + 1}}{192 \, x^{4}} - \frac {3003}{128} \, \log \left (\sqrt {-x + 1} + 1\right ) + \frac {3003}{128} \, \log \left ({\left | \sqrt {-x + 1} - 1 \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.21, size = 96, normalized size = 0.81 \begin {gather*} \frac {\frac {286\,{\left (x-1\right )}^2}{15}-\frac {26\,x}{15}+\frac {39897\,{\left (x-1\right )}^3}{320}+\frac {73073\,{\left (x-1\right )}^4}{320}+\frac {11011\,{\left (x-1\right )}^5}{64}+\frac {3003\,{\left (x-1\right )}^6}{64}+\frac {32}{15}}{{\left (1-x\right )}^{5/2}-4\,{\left (1-x\right )}^{7/2}+6\,{\left (1-x\right )}^{9/2}-4\,{\left (1-x\right )}^{11/2}+{\left (1-x\right )}^{13/2}}-\frac {3003\,\mathrm {atanh}\left (\sqrt {1-x}\right )}{64} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________