Optimal. Leaf size=304 \[ \frac {1}{6} \sqrt {x+1} \left (1-x^2\right )^{5/4}+\frac {x \left (1-x^2\right )^{5/4}}{6 \sqrt {1-x}}+\frac {7 \left (1-x^2\right )^{5/4}}{24 \sqrt {1-x}}+\frac {1}{24} (x+1)^{3/4} (1-x)^{5/4}+\frac {5}{16} \sqrt [4]{x+1} (1-x)^{3/4}-\frac {1}{16} (x+1)^{3/4} \sqrt [4]{1-x}+\frac {\log \left (\frac {\sqrt {1-x}}{\sqrt {x+1}}-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}+1\right )}{8 \sqrt {2}}-\frac {\log \left (\frac {\sqrt {1-x}}{\sqrt {x+1}}+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}+1\right )}{8 \sqrt {2}}-\frac {3 \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}\right )}{8 \sqrt {2}}+\frac {3 \tan ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}+1\right )}{8 \sqrt {2}} \]
________________________________________________________________________________________
Rubi [A] time = 0.82, antiderivative size = 319, normalized size of antiderivative = 1.05, number of steps used = 33, number of rules used = 16, integrand size = 52, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.308, Rules used = {2103, 795, 675, 50, 63, 240, 211, 1165, 628, 1162, 617, 204, 1633, 793, 331, 297} \[ \frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}+\frac {1}{6} \sqrt {x+1} \left (1-x^2\right )^{5/4}+\frac {1}{6} (1-x)^{7/4} (x+1)^{5/4}+\frac {1}{24} (1-x)^{5/4} (x+1)^{3/4}-\frac {1}{16} \sqrt [4]{1-x} (x+1)^{3/4}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{x+1}-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{x+1}+\frac {\log \left (\frac {\sqrt {1-x}}{\sqrt {x+1}}-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}+1\right )}{8 \sqrt {2}}-\frac {\log \left (\frac {\sqrt {1-x}}{\sqrt {x+1}}+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}+1\right )}{8 \sqrt {2}}-\frac {3 \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}\right )}{8 \sqrt {2}}+\frac {3 \tan ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{x+1}}+1\right )}{8 \sqrt {2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 50
Rule 63
Rule 204
Rule 211
Rule 240
Rule 297
Rule 331
Rule 617
Rule 628
Rule 675
Rule 793
Rule 795
Rule 1162
Rule 1165
Rule 1633
Rule 2103
Rubi steps
\begin {align*} \int \frac {x^2 \sqrt {1+x} \sqrt [4]{1-x^2}}{\sqrt {1-x} \left (\sqrt {1-x}-\sqrt {1+x}\right )} \, dx &=-\left (\frac {1}{2} \int x \sqrt {1+x} \sqrt [4]{1-x^2} \, dx\right )-\frac {1}{2} \int \frac {x (1+x) \sqrt [4]{1-x^2}}{\sqrt {1-x}} \, dx\\ &=\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}-\frac {1}{12} \int \sqrt {1+x} \sqrt [4]{1-x^2} \, dx-\frac {1}{2} \int \frac {x \left (1-x^2\right )^{5/4}}{(1-x)^{3/2}} \, dx\\ &=\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {1}{12} \int \sqrt [4]{1-x} (1+x)^{3/4} \, dx-\frac {1}{2} \int \frac {\left (1-x^2\right )^{5/4}}{\sqrt {1-x}} \, dx\\ &=\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {1}{16} \int \frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}} \, dx-\frac {1}{2} \int (1-x)^{3/4} (1+x)^{5/4} \, dx\\ &=-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {1}{32} \int \frac {1}{(1-x)^{3/4} \sqrt [4]{1+x}} \, dx-\frac {5}{12} \int (1-x)^{3/4} \sqrt [4]{1+x} \, dx\\ &=\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {5}{48} \int \frac {(1-x)^{3/4}}{(1+x)^{3/4}} \, dx+\frac {1}{8} \operatorname {Subst}\left (\int \frac {1}{\sqrt [4]{2-x^4}} \, dx,x,\sqrt [4]{1-x}\right )\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}+\frac {1}{8} \operatorname {Subst}\left (\int \frac {1}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )-\frac {5}{32} \int \frac {1}{\sqrt [4]{1-x} (1+x)^{3/4}} \, dx\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}+\frac {1}{16} \operatorname {Subst}\left (\int \frac {1-x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {1}{16} \operatorname {Subst}\left (\int \frac {1+x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {5}{8} \operatorname {Subst}\left (\int \frac {x^2}{\left (2-x^4\right )^{3/4}} \, dx,x,\sqrt [4]{1-x}\right )\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}+\frac {1}{32} \operatorname {Subst}\left (\int \frac {1}{1-\sqrt {2} x+x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {1}{32} \operatorname {Subst}\left (\int \frac {1}{1+\sqrt {2} x+x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {5}{8} \operatorname {Subst}\left (\int \frac {x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )-\frac {\operatorname {Subst}\left (\int \frac {\sqrt {2}+2 x}{-1-\sqrt {2} x-x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}-\frac {\operatorname {Subst}\left (\int \frac {\sqrt {2}-2 x}{-1+\sqrt {2} x-x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}+\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}-\frac {5}{16} \operatorname {Subst}\left (\int \frac {1-x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {5}{16} \operatorname {Subst}\left (\int \frac {1+x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {\operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}-\frac {\operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {\tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}+\frac {\tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}-\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}+\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}+\frac {5}{32} \operatorname {Subst}\left (\int \frac {1}{1-\sqrt {2} x+x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {5}{32} \operatorname {Subst}\left (\int \frac {1}{1+\sqrt {2} x+x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )+\frac {5 \operatorname {Subst}\left (\int \frac {\sqrt {2}+2 x}{-1-\sqrt {2} x-x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}+\frac {5 \operatorname {Subst}\left (\int \frac {\sqrt {2}-2 x}{-1+\sqrt {2} x-x^2} \, dx,x,\frac {\sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{32 \sqrt {2}}\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {\tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}+\frac {\tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}+\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{8 \sqrt {2}}-\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{8 \sqrt {2}}+\frac {5 \operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}-\frac {5 \operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{16 \sqrt {2}}\\ &=-\frac {5}{48} (1-x)^{3/4} \sqrt [4]{1+x}+\frac {5}{24} (1-x)^{7/4} \sqrt [4]{1+x}-\frac {1}{16} \sqrt [4]{1-x} (1+x)^{3/4}+\frac {1}{24} (1-x)^{5/4} (1+x)^{3/4}+\frac {1}{6} (1-x)^{7/4} (1+x)^{5/4}+\frac {1}{6} \sqrt {1+x} \left (1-x^2\right )^{5/4}+\frac {\left (1-x^2\right )^{9/4}}{3 (1-x)^{3/2}}-\frac {3 \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{8 \sqrt {2}}+\frac {3 \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{8 \sqrt {2}}+\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}-\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{8 \sqrt {2}}-\frac {\log \left (1+\frac {\sqrt {1-x}}{\sqrt {1+x}}+\frac {\sqrt {2} \sqrt [4]{1-x}}{\sqrt [4]{1+x}}\right )}{8 \sqrt {2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.51, size = 153, normalized size = 0.50 \[ \frac {\sqrt [4]{1-x^2} \, _2F_1\left (\frac {1}{4},\frac {1}{4};\frac {5}{4};\frac {1-x}{2}\right )}{8 \sqrt [4]{2} \sqrt [4]{x+1}}+\frac {5 \left (1-x^2\right )^{3/4} \, _2F_1\left (\frac {3}{4},\frac {3}{4};\frac {7}{4};\frac {1-x}{2}\right )}{24\ 2^{3/4} (x+1)^{3/4}}-\frac {1}{48} \sqrt {x+1} \sqrt [4]{1-x^2} \left (8 x^2-\frac {\sqrt {1-x^2} \left (8 x^2+22 x+29\right )}{x+1}+2 x-7\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 42.80, size = 294, normalized size = 0.97 \[ \frac {1}{48} \sqrt {x+1} \sqrt [4]{1-x^2} \left (-8 x^2-2 x+7\right )+\frac {1}{48} \sqrt {1-x} \sqrt [4]{1-x^2} \left (8 x^2+22 x+29\right )-\frac {\tan ^{-1}\left (\frac {-\frac {\sqrt {1-x^2}}{\sqrt {2}}+\frac {x}{\sqrt {2}}+\frac {1}{\sqrt {2}}}{\sqrt {x+1} \sqrt [4]{1-x^2}}\right )}{16 \sqrt {2}}-\frac {5 \tan ^{-1}\left (\frac {\frac {\sqrt {1-x^2}}{\sqrt {2}}+\frac {x}{\sqrt {2}}-\frac {1}{\sqrt {2}}}{\sqrt {1-x} \sqrt [4]{1-x^2}}\right )}{16 \sqrt {2}}+\frac {5 \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {1-x} \sqrt [4]{1-x^2}}{-\sqrt {1-x^2}+x-1}\right )}{16 \sqrt {2}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {x+1} \sqrt [4]{1-x^2}}{\sqrt {1-x^2}+x+1}\right )}{16 \sqrt {2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.29, size = 577, normalized size = 1.90 \[ -\frac {1}{48} \, {\left (8 \, x^{2} + 2 \, x - 7\right )} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} + \frac {1}{48} \, {\left (8 \, x^{2} + 22 \, x + 29\right )} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} - \frac {1}{16} \, \sqrt {2} \arctan \left (\frac {\sqrt {2} {\left (x + 1\right )} \sqrt {\frac {\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} + x + \sqrt {-x^{2} + 1} + 1}{x + 1}} - \sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} - x - 1}{x + 1}\right ) - \frac {1}{16} \, \sqrt {2} \arctan \left (\frac {\sqrt {2} {\left (x + 1\right )} \sqrt {-\frac {\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} - x - \sqrt {-x^{2} + 1} - 1}{x + 1}} - \sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} + x + 1}{x + 1}\right ) - \frac {5}{16} \, \sqrt {2} \arctan \left (\frac {\sqrt {2} {\left (x - 1\right )} \sqrt {\frac {\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} + x - \sqrt {-x^{2} + 1} - 1}{x - 1}} - \sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} - x + 1}{x - 1}\right ) - \frac {5}{16} \, \sqrt {2} \arctan \left (\frac {\sqrt {2} {\left (x - 1\right )} \sqrt {-\frac {\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} - x + \sqrt {-x^{2} + 1} + 1}{x - 1}} - \sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} + x - 1}{x - 1}\right ) + \frac {1}{64} \, \sqrt {2} \log \left (\frac {4 \, {\left (\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} + x + \sqrt {-x^{2} + 1} + 1\right )}}{x + 1}\right ) - \frac {1}{64} \, \sqrt {2} \log \left (-\frac {4 \, {\left (\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} - x - \sqrt {-x^{2} + 1} - 1\right )}}{x + 1}\right ) + \frac {5}{64} \, \sqrt {2} \log \left (\frac {4 \, {\left (\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} + x - \sqrt {-x^{2} + 1} - 1\right )}}{x - 1}\right ) - \frac {5}{64} \, \sqrt {2} \log \left (-\frac {4 \, {\left (\sqrt {2} {\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {-x + 1} - x + \sqrt {-x^{2} + 1} + 1\right )}}{x - 1}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int -\frac {{\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} x^{2}}{\sqrt {-x + 1} {\left (\sqrt {x + 1} - \sqrt {-x + 1}\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.04, size = 0, normalized size = 0.00 \[\int \frac {x^{2} \left (-x^{2}+1\right )^{\frac {1}{4}} \sqrt {1+x}}{\sqrt {1-x}\, \left (\sqrt {1-x}-\sqrt {1+x}\right )}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\int \frac {{\left (-x^{2} + 1\right )}^{\frac {1}{4}} \sqrt {x + 1} x^{2}}{\sqrt {-x + 1} {\left (\sqrt {x + 1} - \sqrt {-x + 1}\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ -\int \frac {x^2\,{\left (1-x^2\right )}^{1/4}\,\sqrt {x+1}}{\left (\sqrt {x+1}-\sqrt {1-x}\right )\,\sqrt {1-x}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________