Optimal. Leaf size=85 \[ -\frac {1}{3} \text {ArcTan}\left (\frac {x}{\sqrt {1+x^4}}\right )-\frac {\text {ArcTan}\left (\frac {\sqrt {2} x}{\sqrt {1+x^4}}\right )}{6 \sqrt {2}}-\frac {1}{3} \tanh ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )-\frac {\tanh ^{-1}\left (\frac {\sqrt {2} x}{\sqrt {1+x^4}}\right )}{6 \sqrt {2}} \]
[Out]
________________________________________________________________________________________
Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in
optimal.
time = 2.52, antiderivative size = 420, normalized size of antiderivative = 4.94, number of steps
used = 171, number of rules used = 18, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.818, Rules used = {1600, 6857,
1743, 1223, 1212, 226, 1210, 1225, 1713, 212, 1262, 749, 858, 221, 739, 209, 1231, 1721}
\begin {gather*} -\frac {1}{3} \text {ArcTan}\left (\frac {x}{\sqrt {x^4+1}}\right )-\frac {\text {ArcTan}\left (\frac {\sqrt {2} x}{\sqrt {x^4+1}}\right )}{6 \sqrt {2}}+\frac {\left (3+i \sqrt {3}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} F\left (2 \text {ArcTan}(x)\left |\frac {1}{2}\right .\right )}{12 \sqrt {x^4+1}}-\frac {\left (1+i \sqrt {3}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} F\left (2 \text {ArcTan}(x)\left |\frac {1}{2}\right .\right )}{6 \sqrt {x^4+1}}+\frac {\left (3-i \sqrt {3}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} F\left (2 \text {ArcTan}(x)\left |\frac {1}{2}\right .\right )}{12 \sqrt {x^4+1}}-\frac {\left (1-i \sqrt {3}\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} F\left (2 \text {ArcTan}(x)\left |\frac {1}{2}\right .\right )}{6 \sqrt {x^4+1}}-\frac {\left (-\sqrt {3}+i\right ) \left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} F\left (2 \text {ArcTan}(x)\left |\frac {1}{2}\right .\right )}{6 \left (-\sqrt {3}+3 i\right ) \sqrt {x^4+1}}-\frac {\left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} F\left (2 \text {ArcTan}(x)\left |\frac {1}{2}\right .\right )}{6 \left (1+\sqrt [3]{-1}\right ) \sqrt {x^4+1}}-\frac {1}{3} \tanh ^{-1}\left (\frac {x}{\sqrt {x^4+1}}\right )-\frac {\tanh ^{-1}\left (\frac {\sqrt {2} x}{\sqrt {x^4+1}}\right )}{6 \sqrt {2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 212
Rule 221
Rule 226
Rule 739
Rule 749
Rule 858
Rule 1210
Rule 1212
Rule 1223
Rule 1225
Rule 1231
Rule 1262
Rule 1600
Rule 1713
Rule 1721
Rule 1743
Rule 6857
Rubi steps
\begin {align*} \int \frac {1+x^{12}}{\sqrt {1+x^4} \left (-1+x^{12}\right )} \, dx &=\int \frac {\sqrt {1+x^4} \left (1-x^4+x^8\right )}{-1+x^{12}} \, dx\\ &=\int \left (-\frac {\sqrt {1+x^4}}{12 (1-x)}-\frac {\sqrt {1+x^4}}{12 (1-i x)}-\frac {\sqrt {1+x^4}}{12 (1+i x)}-\frac {\sqrt {1+x^4}}{12 (1+x)}-\frac {\left (1+\sqrt [3]{-1}+(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1-\sqrt [6]{-1} x\right )}-\frac {\left (1+\sqrt [3]{-1}+(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1+\sqrt [6]{-1} x\right )}-\frac {\left (1-\sqrt [3]{-1}-(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1-\sqrt [3]{-1} x\right )}-\frac {\left (1-\sqrt [3]{-1}-(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1+\sqrt [3]{-1} x\right )}-\frac {\left (1+\sqrt [3]{-1}+(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1-(-1)^{2/3} x\right )}-\frac {\left (1+\sqrt [3]{-1}+(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1+(-1)^{2/3} x\right )}-\frac {\left (1-\sqrt [3]{-1}-(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1-(-1)^{5/6} x\right )}-\frac {\left (1-\sqrt [3]{-1}-(-1)^{2/3}\right ) \sqrt {1+x^4}}{12 \left (1+(-1)^{5/6} x\right )}\right ) \, dx\\ &=-\left (\frac {1}{12} \int \frac {\sqrt {1+x^4}}{1-x} \, dx\right )-\frac {1}{12} \int \frac {\sqrt {1+x^4}}{1-i x} \, dx-\frac {1}{12} \int \frac {\sqrt {1+x^4}}{1+i x} \, dx-\frac {1}{12} \int \frac {\sqrt {1+x^4}}{1+x} \, dx+\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1-\sqrt [6]{-1} x} \, dx+\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1+\sqrt [6]{-1} x} \, dx+\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1-(-1)^{2/3} x} \, dx+\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1+(-1)^{2/3} x} \, dx+\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1-\sqrt [3]{-1} x} \, dx+\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1+\sqrt [3]{-1} x} \, dx+\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1-(-1)^{5/6} x} \, dx+\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1+(-1)^{5/6} x} \, dx\\ &=-2 \left (\frac {1}{12} \int \frac {\sqrt {1+x^4}}{1-x^2} \, dx\right )-2 \left (\frac {1}{12} \int \frac {\sqrt {1+x^4}}{1+x^2} \, dx\right )+2 \left (\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1-\sqrt [3]{-1} x^2} \, dx\right )+2 \left (\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1+\sqrt [3]{-1} x^2} \, dx\right )+2 \left (\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1-(-1)^{2/3} x^2} \, dx\right )+2 \left (\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {\sqrt {1+x^4}}{1+(-1)^{2/3} x^2} \, dx\right )\\ &=-2 \left (-\left (\frac {1}{12} \int \frac {1+x^2}{\sqrt {1+x^4}} \, dx\right )+\frac {1}{6} \int \frac {1}{\left (1-x^2\right ) \sqrt {1+x^4}} \, dx\right )-2 \left (-\left (\frac {1}{12} \int \frac {1-x^2}{\sqrt {1+x^4}} \, dx\right )+\frac {1}{6} \int \frac {1}{\left (1+x^2\right ) \sqrt {1+x^4}} \, dx\right )+2 \left (-\left (\frac {1}{6} \int \frac {1}{\left (1+\sqrt [3]{-1} x^2\right ) \sqrt {1+x^4}} \, dx\right )+\frac {1}{12} \left (1-i \sqrt {3}\right ) \int \frac {1-\sqrt [3]{-1} x^2}{\sqrt {1+x^4}} \, dx\right )+2 \left (-\left (\frac {1}{6} \int \frac {1}{\left (1-\sqrt [3]{-1} x^2\right ) \sqrt {1+x^4}} \, dx\right )+\frac {1}{12} \left (1-i \sqrt {3}\right ) \int \frac {1+\sqrt [3]{-1} x^2}{\sqrt {1+x^4}} \, dx\right )+2 \left (-\left (\frac {1}{6} \int \frac {1}{\left (1+(-1)^{2/3} x^2\right ) \sqrt {1+x^4}} \, dx\right )+\frac {1}{12} \left (1+i \sqrt {3}\right ) \int \frac {1-(-1)^{2/3} x^2}{\sqrt {1+x^4}} \, dx\right )+2 \left (-\left (\frac {1}{6} \int \frac {1}{\left (1-(-1)^{2/3} x^2\right ) \sqrt {1+x^4}} \, dx\right )+\frac {1}{12} \left (1+i \sqrt {3}\right ) \int \frac {1+(-1)^{2/3} x^2}{\sqrt {1+x^4}} \, dx\right )\\ &=-2 \left (\frac {x \sqrt {1+x^4}}{12 \left (1+x^2\right )}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}+\frac {1}{12} \int \frac {1}{\sqrt {1+x^4}} \, dx+\frac {1}{12} \int \frac {1-x^2}{\left (1+x^2\right ) \sqrt {1+x^4}} \, dx\right )-2 \left (\frac {1}{12} \int \frac {1}{\sqrt {1+x^4}} \, dx+\frac {1}{12} \int \frac {1-x^2}{\sqrt {1+x^4}} \, dx+\frac {1}{12} \int \frac {1+x^2}{\left (1-x^2\right ) \sqrt {1+x^4}} \, dx-\frac {1}{6} \int \frac {1}{\sqrt {1+x^4}} \, dx\right )+2 \left (\frac {1}{6} \int \frac {1-x^2}{\sqrt {1+x^4}} \, dx-\frac {\int \frac {1}{\sqrt {1+x^4}} \, dx}{6 \left (1-\sqrt [3]{-1}\right )}+\frac {\left (\sqrt [3]{-1} \left (1+\sqrt [3]{-1}\right )\right ) \int \frac {1+x^2}{\left (1+\sqrt [3]{-1} x^2\right ) \sqrt {1+x^4}} \, dx}{6 \left (1-(-1)^{2/3}\right )}+\frac {1}{12} \left (-1-i \sqrt {3}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx\right )+2 \left (-\left (\frac {1}{6} \int \frac {1-x^2}{\sqrt {1+x^4}} \, dx\right )-\frac {\int \frac {1}{\sqrt {1+x^4}} \, dx}{6 \left (1+\sqrt [3]{-1}\right )}-\frac {\sqrt [3]{-1} \int \frac {1+x^2}{\left (1-\sqrt [3]{-1} x^2\right ) \sqrt {1+x^4}} \, dx}{6 \left (1+\sqrt [3]{-1}\right )}+\frac {1}{12} \left (3-i \sqrt {3}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx\right )+2 \left (\frac {1}{6} \int \frac {1-x^2}{\sqrt {1+x^4}} \, dx-\frac {1}{6} \left (1-\sqrt [3]{-1}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx-\frac {1}{6} \left (1+(-1)^{2/3}\right ) \int \frac {1+x^2}{\left (1-(-1)^{2/3} x^2\right ) \sqrt {1+x^4}} \, dx+\frac {1}{12} \left (-1+i \sqrt {3}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx\right )+2 \left (-\left (\frac {1}{6} \int \frac {1-x^2}{\sqrt {1+x^4}} \, dx\right )-\frac {\int \frac {1+x^2}{\left (1+(-1)^{2/3} x^2\right ) \sqrt {1+x^4}} \, dx}{6 \left (1+\sqrt [3]{-1}\right )}-\frac {\left (1+(-1)^{2/3}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx}{6 \left (1+\sqrt [3]{-1}\right )}+\frac {1}{12} \left (3+i \sqrt {3}\right ) \int \frac {1}{\sqrt {1+x^4}} \, dx\right )\\ &=2 \left (-\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tan ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1-\sqrt [3]{-1}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}-\frac {\left (1-i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}-\frac {i \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {1}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{8 \sqrt {3} \sqrt {1+x^4}}\right )+2 \left (-\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tan ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \left (1-\sqrt [3]{-1}\right ) \sqrt {1+x^4}}-\frac {\left (1+i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}+\frac {i \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {1}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{8 \sqrt {3} \sqrt {1+x^4}}\right )+2 \left (\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tanh ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1+(-1)^{2/3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}+\frac {\left (3+i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}-\frac {\left (1-\sqrt [3]{-1}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {3}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}\right )+2 \left (\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tanh ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}+\frac {\left (3-i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}+\frac {\left (1-\sqrt [3]{-1}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {3}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}\right )-2 \left (-\frac {x \sqrt {1+x^4}}{12 \left (1+x^2\right )}+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}+\frac {1}{12} \text {Subst}\left (\int \frac {1}{1-2 x^2} \, dx,x,\frac {x}{\sqrt {1+x^4}}\right )\right )-2 \left (\frac {x \sqrt {1+x^4}}{12 \left (1+x^2\right )}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}+\frac {1}{12} \text {Subst}\left (\int \frac {1}{1+2 x^2} \, dx,x,\frac {x}{\sqrt {1+x^4}}\right )\right )\\ &=-2 \left (-\frac {x \sqrt {1+x^4}}{12 \left (1+x^2\right )}+\frac {\tanh ^{-1}\left (\frac {\sqrt {2} x}{\sqrt {1+x^4}}\right )}{12 \sqrt {2}}+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}\right )-2 \left (\frac {x \sqrt {1+x^4}}{12 \left (1+x^2\right )}+\frac {\tan ^{-1}\left (\frac {\sqrt {2} x}{\sqrt {1+x^4}}\right )}{12 \sqrt {2}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}\right )+2 \left (-\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tan ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1-\sqrt [3]{-1}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \sqrt {1+x^4}}-\frac {\left (1-i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}-\frac {i \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {1}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{8 \sqrt {3} \sqrt {1+x^4}}\right )+2 \left (-\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tan ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \left (1-\sqrt [3]{-1}\right ) \sqrt {1+x^4}}-\frac {\left (1+i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}+\frac {i \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {1}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{8 \sqrt {3} \sqrt {1+x^4}}\right )+2 \left (\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tanh ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1+(-1)^{2/3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}+\frac {\left (3+i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}-\frac {\left (1-\sqrt [3]{-1}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {3}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}\right )+2 \left (\frac {x \sqrt {1+x^4}}{6 \left (1+x^2\right )}-\frac {1}{12} \tanh ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} E\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{6 \sqrt {1+x^4}}-\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{12 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}+\frac {\left (3-i \sqrt {3}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \sqrt {1+x^4}}+\frac {\left (1-\sqrt [3]{-1}\right ) \left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \Pi \left (\frac {3}{4};2 \tan ^{-1}(x)|\frac {1}{2}\right )}{24 \left (1+\sqrt [3]{-1}\right ) \sqrt {1+x^4}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.31, size = 81, normalized size = 0.95 \begin {gather*} \frac {1}{12} \left (-4 \text {ArcTan}\left (\frac {x}{\sqrt {1+x^4}}\right )-\sqrt {2} \text {ArcTan}\left (\frac {\sqrt {2} x}{\sqrt {1+x^4}}\right )-4 \tanh ^{-1}\left (\frac {x}{\sqrt {1+x^4}}\right )-\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} x}{\sqrt {1+x^4}}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 1.36, size = 730, normalized size = 8.59
method | result | size |
elliptic | \(\frac {\left (\frac {\sqrt {2}\, \arctan \left (\frac {\sqrt {x^{4}+1}}{x}\right )}{3}+\frac {\arctan \left (\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{2 x}\right )}{6}-\frac {\sqrt {2}\, \arctanh \left (\frac {\sqrt {x^{4}+1}}{x}\right )}{3}-\frac {\ln \left (1+\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{2 x}\right )}{12}+\frac {\ln \left (-1+\frac {\sqrt {2}\, \sqrt {x^{4}+1}}{2 x}\right )}{12}\right ) \sqrt {2}}{2}\) | \(99\) |
trager | \(-\frac {\RootOf \left (\textit {\_Z}^{2}-2\right ) \ln \left (-\frac {\RootOf \left (\textit {\_Z}^{2}-2\right ) x +\sqrt {x^{4}+1}}{\left (-1+x \right ) \left (1+x \right )}\right )}{12}-\frac {\RootOf \left (\textit {\_Z}^{2}+2\right ) \ln \left (\frac {-\RootOf \left (\textit {\_Z}^{2}+2\right ) x +\sqrt {x^{4}+1}}{x^{2}+1}\right )}{12}-\frac {\ln \left (-\frac {x^{4}+2 \sqrt {x^{4}+1}\, x +x^{2}+1}{x^{4}-x^{2}+1}\right )}{6}-\frac {\RootOf \left (\textit {\_Z}^{2}-2\right ) \RootOf \left (\textit {\_Z}^{2}+2\right ) \ln \left (-\frac {\RootOf \left (\textit {\_Z}^{2}-2\right ) \RootOf \left (\textit {\_Z}^{2}+2\right ) x^{4}-\RootOf \left (\textit {\_Z}^{2}+2\right ) \RootOf \left (\textit {\_Z}^{2}-2\right ) x^{2}+4 \sqrt {x^{4}+1}\, x +\RootOf \left (\textit {\_Z}^{2}-2\right ) \RootOf \left (\textit {\_Z}^{2}+2\right )}{\left (x^{2}+x +1\right ) \left (x^{2}-x +1\right )}\right )}{12}\) | \(200\) |
default | \(\text {Expression too large to display}\) | \(730\) |
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*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.46, size = 120, normalized size = 1.41 \begin {gather*} -\frac {1}{12} \, \sqrt {2} \arctan \left (\frac {\sqrt {2} x}{\sqrt {x^{4} + 1}}\right ) + \frac {1}{24} \, \sqrt {2} \log \left (\frac {x^{4} - 2 \, \sqrt {2} \sqrt {x^{4} + 1} x + 2 \, x^{2} + 1}{x^{4} - 2 \, x^{2} + 1}\right ) - \frac {1}{6} \, \arctan \left (\frac {2 \, \sqrt {x^{4} + 1} x}{x^{4} - x^{2} + 1}\right ) + \frac {1}{6} \, \log \left (\frac {x^{4} + x^{2} - 2 \, \sqrt {x^{4} + 1} x + 1}{x^{4} - x^{2} + 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {x^{4} + 1} \left (x^{8} - x^{4} + 1\right )}{\left (x - 1\right ) \left (x + 1\right ) \left (x^{2} + 1\right ) \left (x^{2} - x + 1\right ) \left (x^{2} + x + 1\right ) \left (x^{4} - x^{2} + 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \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 {x^{12}+1}{\sqrt {x^4+1}\,\left (x^{12}-1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________