Integrand size = 27, antiderivative size = 75 \[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=-\frac {\arctan \left (\frac {\sqrt {2} x \sqrt {1+x^4}}{1-x^2+x^4}\right )}{2 \sqrt {2}}-\frac {\text {arctanh}\left (\frac {\sqrt {2} x \sqrt {1+x^4}}{1+x^2+x^4}\right )}{2 \sqrt {2}} \]
[Out]
Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
Time = 2.12 (sec) , antiderivative size = 1128, normalized size of antiderivative = 15.04, number of steps used = 20, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {6860, 415, 226, 418, 1231, 1721} \[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=-\frac {\sqrt [4]{-1} \left (2 i-\sqrt {6-2 \sqrt {5}}\right ) \left (2 i-\sqrt {2 \left (3+\sqrt {5}\right )}\right ) \arctan \left (\frac {\sqrt [4]{-1} x}{\sqrt {x^4+1}}\right )}{16 \sqrt {5}}-\frac {\left (\frac {1}{4}-\frac {i}{4}\right ) \arctan \left (\frac {\sqrt [4]{-1} x}{\sqrt {x^4+1}}\right )}{\sqrt {2}}+\frac {\left (\frac {1}{16}+\frac {i}{16}\right ) \left (2 i+\sqrt {6-2 \sqrt {5}}\right ) \left (2-i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \arctan \left (\frac {(-1)^{3/4} x}{\sqrt {x^4+1}}\right )}{\sqrt {10}}+\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) \arctan \left (\frac {(-1)^{3/4} x}{\sqrt {x^4+1}}\right )}{\sqrt {2}}-\frac {\left (3-\sqrt {5}\right ) \left (2+i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{8 \left (5-\sqrt {5}\right ) \sqrt {x^4+1}}-\frac {\left (3-\sqrt {5}\right ) \left (2-i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{8 \left (5-\sqrt {5}\right ) \sqrt {x^4+1}}-\frac {\left (3+\sqrt {5}\right ) \left (1+i \sqrt {\frac {2}{3+\sqrt {5}}}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \left (5+\sqrt {5}\right ) \sqrt {x^4+1}}-\frac {\left (3+\sqrt {5}\right ) \left (1-i \sqrt {\frac {2}{3+\sqrt {5}}}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \left (5+\sqrt {5}\right ) \sqrt {x^4+1}}+\frac {\left (1+\sqrt {5}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \sqrt {x^4+1}}+\frac {\left (1-\sqrt {5}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \sqrt {x^4+1}}+\frac {\left (5-2 \sqrt {5}\right ) \left (3+\sqrt {5}\right ) \left (1+\sqrt {5}-2 i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticPi}\left (\frac {1}{4} i \sqrt {\frac {1}{2} \left (3+\sqrt {5}\right )} \left (i-\sqrt {\frac {2}{3+\sqrt {5}}}\right )^2,2 \arctan (x),\frac {1}{2}\right )}{160 \sqrt {x^4+1}}+\frac {\left (5-2 \sqrt {5}\right ) \left (3+\sqrt {5}\right ) \left (1+\sqrt {5}+2 i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticPi}\left (-\frac {1}{4} i \sqrt {\frac {1}{2} \left (3+\sqrt {5}\right )} \left (i+\sqrt {\frac {2}{3+\sqrt {5}}}\right )^2,2 \arctan (x),\frac {1}{2}\right )}{160 \sqrt {x^4+1}}-\frac {\left (2+i \sqrt {6-2 \sqrt {5}}\right ) \left (2 i+\sqrt {2 \left (3+\sqrt {5}\right )}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticPi}\left (\frac {1}{16} i \sqrt {\frac {1}{2} \left (3-\sqrt {5}\right )} \left (2 i-\sqrt {2 \left (3+\sqrt {5}\right )}\right )^2,2 \arctan (x),\frac {1}{2}\right )}{32 \sqrt {5} \sqrt {x^4+1}}+\frac {\left (2 i+\sqrt {6-2 \sqrt {5}}\right ) \left (2+i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticPi}\left (-\frac {1}{16} i \sqrt {\frac {1}{2} \left (3-\sqrt {5}\right )} \left (2 i+\sqrt {2 \left (3+\sqrt {5}\right )}\right )^2,2 \arctan (x),\frac {1}{2}\right )}{32 \sqrt {5} \sqrt {x^4+1}} \]
[In]
[Out]
Rule 226
Rule 415
Rule 418
Rule 1231
Rule 1721
Rule 6860
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {\left (1-\sqrt {5}\right ) \sqrt {1+x^4}}{3-\sqrt {5}+2 x^4}+\frac {\left (1+\sqrt {5}\right ) \sqrt {1+x^4}}{3+\sqrt {5}+2 x^4}\right ) \, dx \\ & = \left (1-\sqrt {5}\right ) \int \frac {\sqrt {1+x^4}}{3-\sqrt {5}+2 x^4} \, dx+\left (1+\sqrt {5}\right ) \int \frac {\sqrt {1+x^4}}{3+\sqrt {5}+2 x^4} \, dx \\ & = \left (-3-\sqrt {5}\right ) \int \frac {1}{\sqrt {1+x^4} \left (3+\sqrt {5}+2 x^4\right )} \, dx+\frac {1}{2} \left (1-\sqrt {5}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx+\left (-3+\sqrt {5}\right ) \int \frac {1}{\sqrt {1+x^4} \left (3-\sqrt {5}+2 x^4\right )} \, dx+\frac {1}{2} \left (1+\sqrt {5}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx \\ & = \frac {\left (1-\sqrt {5}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \sqrt {1+x^4}}+\frac {\left (1+\sqrt {5}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \sqrt {1+x^4}}-\frac {1}{2} \int \frac {1}{\left (1-i \sqrt {\frac {2}{3-\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx-\frac {1}{2} \int \frac {1}{\left (1+i \sqrt {\frac {2}{3-\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx-\frac {1}{2} \int \frac {1}{\left (1-i \sqrt {\frac {2}{3+\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx-\frac {1}{2} \int \frac {1}{\left (1+i \sqrt {\frac {2}{3+\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx \\ & = \frac {\left (1-\sqrt {5}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \sqrt {1+x^4}}+\frac {\left (1+\sqrt {5}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{4 \sqrt {1+x^4}}-\frac {\left (1-i \sqrt {\frac {2}{3-\sqrt {5}}}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx}{2 \left (1+\frac {2}{3-\sqrt {5}}\right )}-\frac {\left (1+i \sqrt {\frac {2}{3-\sqrt {5}}}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx}{2 \left (1+\frac {2}{3-\sqrt {5}}\right )}-\frac {\left (\left (3+\sqrt {5}\right ) \left (1-i \sqrt {\frac {2}{3+\sqrt {5}}}\right )\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx}{2 \left (5+\sqrt {5}\right )}-\frac {\left (\left (3+\sqrt {5}\right ) \left (1+i \sqrt {\frac {2}{3+\sqrt {5}}}\right )\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx}{2 \left (5+\sqrt {5}\right )}-\frac {\left (i+\sqrt {\frac {1}{2} \left (3+\sqrt {5}\right )}\right ) \int \frac {1+x^2}{\left (1-i \sqrt {\frac {2}{3-\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx}{2 \sqrt {5}}+\frac {\left (2 i-\sqrt {2 \left (3+\sqrt {5}\right )}\right ) \int \frac {1+x^2}{\left (1+i \sqrt {\frac {2}{3-\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx}{4 \sqrt {5}}-\frac {\left (2-i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \int \frac {1+x^2}{\left (1+i \sqrt {\frac {2}{3+\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx}{2 \left (5+\sqrt {5}\right )}-\frac {\left (2+i \sqrt {2 \left (3+\sqrt {5}\right )}\right ) \int \frac {1+x^2}{\left (1-i \sqrt {\frac {2}{3+\sqrt {5}}} x^2\right ) \sqrt {1+x^4}} \, dx}{2 \left (5+\sqrt {5}\right )} \\ & = \text {Too large to display} \\ \end{align*}
Time = 0.27 (sec) , antiderivative size = 66, normalized size of antiderivative = 0.88 \[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=-\frac {\arctan \left (\frac {\sqrt {2} x \sqrt {1+x^4}}{1-x^2+x^4}\right )+\text {arctanh}\left (\frac {\sqrt {2} x \sqrt {1+x^4}}{1+x^2+x^4}\right )}{2 \sqrt {2}} \]
[In]
[Out]
Time = 9.21 (sec) , antiderivative size = 94, normalized size of antiderivative = 1.25
method | result | size |
pseudoelliptic | \(\frac {\sqrt {2}\, \left (\ln \left (\frac {x^{4}-\sqrt {2}\, x \sqrt {x^{4}+1}+x^{2}+1}{x^{4}+\sqrt {2}\, x \sqrt {x^{4}+1}+x^{2}+1}\right )+2 \arctan \left (\frac {\sqrt {x^{4}+1}\, \sqrt {2}+x}{x}\right )+2 \arctan \left (\frac {\sqrt {x^{4}+1}\, \sqrt {2}-x}{x}\right )\right )}{8}\) | \(94\) |
default | \(\frac {\left (\frac {\ln \left (\frac {x^{4}+1}{x^{2}}-\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}+1\right )}{4}+\frac {\arctan \left (-1+\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}\right )}{2}-\frac {\ln \left (\frac {x^{4}+1}{x^{2}}+\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}+1\right )}{4}+\frac {\arctan \left (\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}+1\right )}{2}\right ) \sqrt {2}}{2}\) | \(102\) |
elliptic | \(\frac {\left (\frac {\ln \left (\frac {x^{4}+1}{x^{2}}-\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}+1\right )}{4}+\frac {\arctan \left (-1+\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}\right )}{2}-\frac {\ln \left (\frac {x^{4}+1}{x^{2}}+\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}+1\right )}{4}+\frac {\arctan \left (\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{x}+1\right )}{2}\right ) \sqrt {2}}{2}\) | \(102\) |
trager | \(\frac {\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right ) \ln \left (\frac {\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{3} x^{2}-\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right ) x^{4}+2 \sqrt {x^{4}+1}\, x -\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )}{\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{2} x^{2}+x^{4}+1}\right )}{4}+\frac {\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{3} \ln \left (-\frac {\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{5} x^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{3} x^{4}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{3}-2 \sqrt {x^{4}+1}\, x}{\operatorname {RootOf}\left (\textit {\_Z}^{4}+1\right )^{2} x^{2}-x^{4}-1}\right )}{4}\) | \(150\) |
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.35 (sec) , antiderivative size = 261, normalized size of antiderivative = 3.48 \[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=-\left (\frac {1}{16} i + \frac {1}{16}\right ) \, \sqrt {2} \log \left (\frac {\sqrt {2} {\left (\left (i + 1\right ) \, x^{8} - \left (2 i - 2\right ) \, x^{6} + \left (i + 1\right ) \, x^{4} - \left (2 i - 2\right ) \, x^{2} + i + 1\right )} + 4 \, {\left (x^{5} - i \, x^{3} + x\right )} \sqrt {x^{4} + 1}}{x^{8} + 3 \, x^{4} + 1}\right ) + \left (\frac {1}{16} i - \frac {1}{16}\right ) \, \sqrt {2} \log \left (\frac {\sqrt {2} {\left (-\left (i - 1\right ) \, x^{8} + \left (2 i + 2\right ) \, x^{6} - \left (i - 1\right ) \, x^{4} + \left (2 i + 2\right ) \, x^{2} - i + 1\right )} + 4 \, {\left (x^{5} + i \, x^{3} + x\right )} \sqrt {x^{4} + 1}}{x^{8} + 3 \, x^{4} + 1}\right ) - \left (\frac {1}{16} i - \frac {1}{16}\right ) \, \sqrt {2} \log \left (\frac {\sqrt {2} {\left (\left (i - 1\right ) \, x^{8} - \left (2 i + 2\right ) \, x^{6} + \left (i - 1\right ) \, x^{4} - \left (2 i + 2\right ) \, x^{2} + i - 1\right )} + 4 \, {\left (x^{5} + i \, x^{3} + x\right )} \sqrt {x^{4} + 1}}{x^{8} + 3 \, x^{4} + 1}\right ) + \left (\frac {1}{16} i + \frac {1}{16}\right ) \, \sqrt {2} \log \left (\frac {\sqrt {2} {\left (-\left (i + 1\right ) \, x^{8} + \left (2 i - 2\right ) \, x^{6} - \left (i + 1\right ) \, x^{4} + \left (2 i - 2\right ) \, x^{2} - i - 1\right )} + 4 \, {\left (x^{5} - i \, x^{3} + x\right )} \sqrt {x^{4} + 1}}{x^{8} + 3 \, x^{4} + 1}\right ) \]
[In]
[Out]
\[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=\int \frac {\left (x - 1\right ) \left (x + 1\right ) \left (x^{2} + 1\right ) \sqrt {x^{4} + 1}}{x^{8} + 3 x^{4} + 1}\, dx \]
[In]
[Out]
\[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=\int { \frac {\sqrt {x^{4} + 1} {\left (x^{4} - 1\right )}}{x^{8} + 3 \, x^{4} + 1} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=\int { \frac {\sqrt {x^{4} + 1} {\left (x^{4} - 1\right )}}{x^{8} + 3 \, x^{4} + 1} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\left (-1+x^4\right ) \sqrt {1+x^4}}{1+3 x^4+x^8} \, dx=\int \frac {\left (x^4-1\right )\,\sqrt {x^4+1}}{x^8+3\,x^4+1} \,d x \]
[In]
[Out]