Optimal. Leaf size=184 \[ \sqrt {2} \text {RootSum}\left [\text {$\#$1}^4+16 \text {$\#$1}^3-80 \text {$\#$1}^2+128 \text {$\#$1}-64\& ,\frac {\text {$\#$1}^2 \log \left (-\text {$\#$1}+4 x^4+2 \sqrt {2} \sqrt {2 x^4-1} x^2\right )-2 \text {$\#$1} \log \left (-\text {$\#$1}+4 x^4+2 \sqrt {2} \sqrt {2 x^4-1} x^2\right )+2 \log \left (-\text {$\#$1}+4 x^4+2 \sqrt {2} \sqrt {2 x^4-1} x^2\right )}{\text {$\#$1}^3+12 \text {$\#$1}^2-40 \text {$\#$1}+32}\& \right ]+\frac {\sqrt {2 x^4-1} \left (-4 x^4-1\right )}{6 x^6} \]
________________________________________________________________________________________
Rubi [A] time = 0.91, antiderivative size = 226, normalized size of antiderivative = 1.23, number of steps used = 20, number of rules used = 11, integrand size = 34, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.324, Rules used = {6728, 264, 275, 277, 217, 206, 6715, 1692, 402, 377, 204} \begin {gather*} \frac {\left (2 x^4-1\right )^{3/2}}{6 x^6}-\frac {\sqrt {2 x^4-1}}{x^2}-\frac {1}{4} \sqrt {\frac {1}{2} \left (5 \sqrt {2}-1\right )} \tan ^{-1}\left (\frac {\sqrt {\sqrt {2}-1} x^2}{\sqrt {2 x^4-1}}\right )-\frac {1}{4} \left (1+2 \sqrt {2}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {2 x^4-1}}\right )+\frac {1}{4} \left (1-2 \sqrt {2}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {2 x^4-1}}\right )+\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {2 x^4-1}}\right )+\frac {1}{4} \sqrt {\frac {1}{2} \left (1+5 \sqrt {2}\right )} \tanh ^{-1}\left (\frac {\sqrt {1+\sqrt {2}} x^2}{\sqrt {2 x^4-1}}\right ) \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
Rule 204
Rule 206
Rule 217
Rule 264
Rule 275
Rule 277
Rule 377
Rule 402
Rule 1692
Rule 6715
Rule 6728
Rubi steps
\begin {align*} \int \frac {\sqrt {-1+2 x^4} \left (-1+2 x^8\right )}{x^7 \left (-1+2 x^4+x^8\right )} \, dx &=\int \left (\frac {\sqrt {-1+2 x^4}}{x^7}+\frac {2 \sqrt {-1+2 x^4}}{x^3}-\frac {x \sqrt {-1+2 x^4} \left (3+2 x^4\right )}{-1+2 x^4+x^8}\right ) \, dx\\ &=2 \int \frac {\sqrt {-1+2 x^4}}{x^3} \, dx+\int \frac {\sqrt {-1+2 x^4}}{x^7} \, dx-\int \frac {x \sqrt {-1+2 x^4} \left (3+2 x^4\right )}{-1+2 x^4+x^8} \, dx\\ &=\frac {\left (-1+2 x^4\right )^{3/2}}{6 x^6}-\frac {1}{2} \operatorname {Subst}\left (\int \frac {\sqrt {-1+2 x^2} \left (3+2 x^2\right )}{-1+2 x^2+x^4} \, dx,x,x^2\right )+\operatorname {Subst}\left (\int \frac {\sqrt {-1+2 x^2}}{x^2} \, dx,x,x^2\right )\\ &=-\frac {\sqrt {-1+2 x^4}}{x^2}+\frac {\left (-1+2 x^4\right )^{3/2}}{6 x^6}-\frac {1}{2} \operatorname {Subst}\left (\int \left (\frac {\left (2+\frac {1}{\sqrt {2}}\right ) \sqrt {-1+2 x^2}}{2-2 \sqrt {2}+2 x^2}+\frac {\left (2-\frac {1}{\sqrt {2}}\right ) \sqrt {-1+2 x^2}}{2+2 \sqrt {2}+2 x^2}\right ) \, dx,x,x^2\right )+2 \operatorname {Subst}\left (\int \frac {1}{\sqrt {-1+2 x^2}} \, dx,x,x^2\right )\\ &=-\frac {\sqrt {-1+2 x^4}}{x^2}+\frac {\left (-1+2 x^4\right )^{3/2}}{6 x^6}+2 \operatorname {Subst}\left (\int \frac {1}{1-2 x^2} \, dx,x,\frac {x^2}{\sqrt {-1+2 x^4}}\right )-\frac {1}{4} \left (4-\sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {-1+2 x^2}}{2+2 \sqrt {2}+2 x^2} \, dx,x,x^2\right )-\frac {1}{4} \left (4+\sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {-1+2 x^2}}{2-2 \sqrt {2}+2 x^2} \, dx,x,x^2\right )\\ &=-\frac {\sqrt {-1+2 x^4}}{x^2}+\frac {\left (-1+2 x^4\right )^{3/2}}{6 x^6}+\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {-1+2 x^4}}\right )+\frac {1}{4} \left (8-5 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-1+2 x^2} \left (2-2 \sqrt {2}+2 x^2\right )} \, dx,x,x^2\right )-\frac {1}{4} \left (4-\sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-1+2 x^2}} \, dx,x,x^2\right )-\frac {1}{4} \left (4+\sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-1+2 x^2}} \, dx,x,x^2\right )+\frac {1}{4} \left (8+5 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-1+2 x^2} \left (2+2 \sqrt {2}+2 x^2\right )} \, dx,x,x^2\right )\\ &=-\frac {\sqrt {-1+2 x^4}}{x^2}+\frac {\left (-1+2 x^4\right )^{3/2}}{6 x^6}+\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {-1+2 x^4}}\right )+\frac {1}{4} \left (8-5 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{2-2 \sqrt {2}-\left (2+2 \left (2-2 \sqrt {2}\right )\right ) x^2} \, dx,x,\frac {x^2}{\sqrt {-1+2 x^4}}\right )-\frac {1}{4} \left (4-\sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{1-2 x^2} \, dx,x,\frac {x^2}{\sqrt {-1+2 x^4}}\right )-\frac {1}{4} \left (4+\sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{1-2 x^2} \, dx,x,\frac {x^2}{\sqrt {-1+2 x^4}}\right )+\frac {1}{4} \left (8+5 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{2+2 \sqrt {2}-\left (2+2 \left (2+2 \sqrt {2}\right )\right ) x^2} \, dx,x,\frac {x^2}{\sqrt {-1+2 x^4}}\right )\\ &=-\frac {\sqrt {-1+2 x^4}}{x^2}+\frac {\left (-1+2 x^4\right )^{3/2}}{6 x^6}-\frac {1}{8} \sqrt {-2+10 \sqrt {2}} \tan ^{-1}\left (\frac {\sqrt {-1+\sqrt {2}} x^2}{\sqrt {-1+2 x^4}}\right )+\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {-1+2 x^4}}\right )+\frac {1}{4} \left (1-2 \sqrt {2}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {-1+2 x^4}}\right )-\frac {1}{4} \left (1+2 \sqrt {2}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} x^2}{\sqrt {-1+2 x^4}}\right )+\frac {1}{8} \sqrt {2+10 \sqrt {2}} \tanh ^{-1}\left (\frac {\sqrt {1+\sqrt {2}} x^2}{\sqrt {-1+2 x^4}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.67, size = 116, normalized size = 0.63 \begin {gather*} \frac {1}{8} \left (\sqrt {2+10 \sqrt {2}} \tanh ^{-1}\left (\frac {x^2}{\sqrt {\sqrt {2}-1} \sqrt {2 x^4-1}}\right )-\sqrt {10 \sqrt {2}-2} \tan ^{-1}\left (\frac {x^2}{\sqrt {1+\sqrt {2}} \sqrt {2 x^4-1}}\right )\right )+\sqrt {2 x^4-1} \left (-\frac {1}{6 x^6}-\frac {2}{3 x^2}\right ) \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.44, size = 138, normalized size = 0.75 \begin {gather*} \frac {\left (-1-4 x^4\right ) \sqrt {-1+2 x^4}}{6 x^6}+\sqrt {2} \text {RootSum}\left [1+20 \text {$\#$1}^2-26 \text {$\#$1}^4+20 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {\log \left (\sqrt {2} x^2+\sqrt {-1+2 x^4}-\text {$\#$1}\right )+\log \left (\sqrt {2} x^2+\sqrt {-1+2 x^4}-\text {$\#$1}\right ) \text {$\#$1}^4}{5-13 \text {$\#$1}^2+15 \text {$\#$1}^4+\text {$\#$1}^6}\&\right ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.57, size = 292, normalized size = 1.59 \begin {gather*} -\frac {12 \, \sqrt {2} x^{6} \sqrt {5 \, \sqrt {2} - 1} \arctan \left (\frac {{\left (\sqrt {2} x^{4} + 3 \, x^{4}\right )} \sqrt {2 \, x^{4} - 1} \sqrt {5 \, \sqrt {2} - 1} \sqrt {\frac {3 \, x^{8} - 2 \, x^{4} + 2 \, \sqrt {2} {\left (x^{8} - x^{4}\right )} + 1}{x^{8}}} - {\left (7 \, x^{4} - \sqrt {2} - 3\right )} \sqrt {2 \, x^{4} - 1} \sqrt {5 \, \sqrt {2} - 1}}{14 \, {\left (2 \, x^{6} - x^{2}\right )}}\right ) - 3 \, \sqrt {2} x^{6} \sqrt {5 \, \sqrt {2} + 1} \log \left (\frac {7 \, \sqrt {2} x^{4} + 21 \, x^{4} + 2 \, \sqrt {2 \, x^{4} - 1} {\left (2 \, \sqrt {2} x^{2} + x^{2}\right )} \sqrt {5 \, \sqrt {2} + 1} - 7}{x^{4}}\right ) + 3 \, \sqrt {2} x^{6} \sqrt {5 \, \sqrt {2} + 1} \log \left (\frac {7 \, \sqrt {2} x^{4} + 21 \, x^{4} - 2 \, \sqrt {2 \, x^{4} - 1} {\left (2 \, \sqrt {2} x^{2} + x^{2}\right )} \sqrt {5 \, \sqrt {2} + 1} - 7}{x^{4}}\right ) + 16 \, {\left (4 \, x^{4} + 1\right )} \sqrt {2 \, x^{4} - 1}}{96 \, x^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.47, size = 55, normalized size = 0.30 \begin {gather*} -\frac {4 \, \sqrt {2} {\left (3 \, {\left (\sqrt {2} x^{2} - \sqrt {2 \, x^{4} - 1}\right )}^{2} + 1\right )}}{3 \, {\left ({\left (\sqrt {2} x^{2} - \sqrt {2 \, x^{4} - 1}\right )}^{2} + 1\right )}^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 7.71, size = 241, normalized size = 1.31
method | result | size |
risch | \(-\frac {8 x^{8}-2 x^{4}-1}{6 x^{6} \sqrt {2 x^{4}-1}}-\frac {\arctan \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}-8 \sqrt {2}+10}{4 \sqrt {-14+10 \sqrt {2}}}\right ) \sqrt {2}}{\sqrt {-14+10 \sqrt {2}}}+\frac {5 \arctan \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}-8 \sqrt {2}+10}{4 \sqrt {-14+10 \sqrt {2}}}\right )}{4 \sqrt {-14+10 \sqrt {2}}}+\frac {\arctanh \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}+10+8 \sqrt {2}}{4 \sqrt {14+10 \sqrt {2}}}\right ) \sqrt {2}}{\sqrt {14+10 \sqrt {2}}}+\frac {5 \arctanh \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}+10+8 \sqrt {2}}{4 \sqrt {14+10 \sqrt {2}}}\right )}{4 \sqrt {14+10 \sqrt {2}}}\) | \(241\) |
elliptic | \(-\frac {\arctan \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}-8 \sqrt {2}+10}{4 \sqrt {-14+10 \sqrt {2}}}\right ) \sqrt {2}}{\sqrt {-14+10 \sqrt {2}}}+\frac {5 \arctan \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}-8 \sqrt {2}+10}{4 \sqrt {-14+10 \sqrt {2}}}\right )}{4 \sqrt {-14+10 \sqrt {2}}}+\frac {\arctanh \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}+10+8 \sqrt {2}}{4 \sqrt {14+10 \sqrt {2}}}\right ) \sqrt {2}}{\sqrt {14+10 \sqrt {2}}}+\frac {5 \arctanh \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}+10+8 \sqrt {2}}{4 \sqrt {14+10 \sqrt {2}}}\right )}{4 \sqrt {14+10 \sqrt {2}}}-\frac {\sqrt {2 x^{4}-1}}{6 x^{6}}-\frac {2 \sqrt {2 x^{4}-1}}{3 x^{2}}\) | \(243\) |
default | \(-\frac {\arctan \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}-8 \sqrt {2}+10}{4 \sqrt {-14+10 \sqrt {2}}}\right ) \sqrt {2}}{\sqrt {-14+10 \sqrt {2}}}+\frac {5 \arctan \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}-8 \sqrt {2}+10}{4 \sqrt {-14+10 \sqrt {2}}}\right )}{4 \sqrt {-14+10 \sqrt {2}}}+\frac {\arctanh \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}+10+8 \sqrt {2}}{4 \sqrt {14+10 \sqrt {2}}}\right ) \sqrt {2}}{\sqrt {14+10 \sqrt {2}}}+\frac {5 \arctanh \left (\frac {2 \left (\sqrt {2 x^{4}-1}-\sqrt {2}\, x^{2}\right )^{2}+10+8 \sqrt {2}}{4 \sqrt {14+10 \sqrt {2}}}\right )}{4 \sqrt {14+10 \sqrt {2}}}+\frac {\left (2 x^{4}-1\right )^{\frac {3}{2}}}{6 x^{6}}+\frac {\left (2 x^{4}-1\right )^{\frac {3}{2}}}{x^{2}}-2 \sqrt {2 x^{4}-1}\, x^{2}\) | \(256\) |
trager | \(-\frac {\left (4 x^{4}+1\right ) \sqrt {2 x^{4}-1}}{6 x^{6}}+\frac {\RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right ) \ln \left (-\frac {490 \left (49152 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{4} \RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right ) x^{4}+6400 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2} \RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right ) x^{4}-49152 \RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right ) \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{4}-133 \RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right ) x^{4}-1792 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2} \sqrt {2 x^{4}-1}\, x^{2}-2560 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2} \RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right )-546 \sqrt {2 x^{4}-1}\, x^{2}+63 \RootOf \left (\textit {\_Z}^{2}+64 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-1\right )\right )}{\left (4096 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{3} x^{2}+896 x^{2} \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-4096 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{3}+48 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right ) x^{2}-896 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}+63 x^{2}-48 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )+7\right ) \left (4096 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{3} x^{2}-896 x^{2} \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-4096 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{3}+48 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right ) x^{2}+896 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}-63 x^{2}-48 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )-7\right )}\right )}{8}-\RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right ) \ln \left (-\frac {196608 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{5} x^{4}-31744 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{3} x^{4}-196608 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{5}-896 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2} \sqrt {2 x^{4}-1}\, x^{2}-84 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right ) x^{4}+16384 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{3}+287 \sqrt {2 x^{4}-1}\, x^{2}+44 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )}{128 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2} x^{4}-11 x^{4}-128 \RootOf \left (16384 \textit {\_Z}^{4}-256 \textit {\_Z}^{2}-49\right )^{2}+1}\right )\) | \(761\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (2 \, x^{8} - 1\right )} \sqrt {2 \, x^{4} - 1}}{{\left (x^{8} + 2 \, x^{4} - 1\right )} x^{7}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\sqrt {2\,x^4-1}\,\left (2\,x^8-1\right )}{x^7\,\left (x^8+2\,x^4-1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] 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]
________________________________________________________________________________________