Optimal. Leaf size=93 \[ \frac{1}{8} \sqrt [4]{4 x^4+3} x^7+\frac{3}{128} \sqrt [4]{4 x^4+3} x^3+\frac{27 \tan ^{-1}\left (\frac{\sqrt{2} x}{\sqrt [4]{4 x^4+3}}\right )}{512 \sqrt{2}}-\frac{27 \tanh ^{-1}\left (\frac{\sqrt{2} x}{\sqrt [4]{4 x^4+3}}\right )}{512 \sqrt{2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0285984, antiderivative size = 93, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.4, Rules used = {279, 321, 331, 298, 203, 206} \[ \frac{1}{8} \sqrt [4]{4 x^4+3} x^7+\frac{3}{128} \sqrt [4]{4 x^4+3} x^3+\frac{27 \tan ^{-1}\left (\frac{\sqrt{2} x}{\sqrt [4]{4 x^4+3}}\right )}{512 \sqrt{2}}-\frac{27 \tanh ^{-1}\left (\frac{\sqrt{2} x}{\sqrt [4]{4 x^4+3}}\right )}{512 \sqrt{2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 279
Rule 321
Rule 331
Rule 298
Rule 203
Rule 206
Rubi steps
\begin{align*} \int x^6 \sqrt [4]{3+4 x^4} \, dx &=\frac{1}{8} x^7 \sqrt [4]{3+4 x^4}+\frac{3}{8} \int \frac{x^6}{\left (3+4 x^4\right )^{3/4}} \, dx\\ &=\frac{3}{128} x^3 \sqrt [4]{3+4 x^4}+\frac{1}{8} x^7 \sqrt [4]{3+4 x^4}-\frac{27}{128} \int \frac{x^2}{\left (3+4 x^4\right )^{3/4}} \, dx\\ &=\frac{3}{128} x^3 \sqrt [4]{3+4 x^4}+\frac{1}{8} x^7 \sqrt [4]{3+4 x^4}-\frac{27}{128} \operatorname{Subst}\left (\int \frac{x^2}{1-4 x^4} \, dx,x,\frac{x}{\sqrt [4]{3+4 x^4}}\right )\\ &=\frac{3}{128} x^3 \sqrt [4]{3+4 x^4}+\frac{1}{8} x^7 \sqrt [4]{3+4 x^4}-\frac{27}{512} \operatorname{Subst}\left (\int \frac{1}{1-2 x^2} \, dx,x,\frac{x}{\sqrt [4]{3+4 x^4}}\right )+\frac{27}{512} \operatorname{Subst}\left (\int \frac{1}{1+2 x^2} \, dx,x,\frac{x}{\sqrt [4]{3+4 x^4}}\right )\\ &=\frac{3}{128} x^3 \sqrt [4]{3+4 x^4}+\frac{1}{8} x^7 \sqrt [4]{3+4 x^4}+\frac{27 \tan ^{-1}\left (\frac{\sqrt{2} x}{\sqrt [4]{3+4 x^4}}\right )}{512 \sqrt{2}}-\frac{27 \tanh ^{-1}\left (\frac{\sqrt{2} x}{\sqrt [4]{3+4 x^4}}\right )}{512 \sqrt{2}}\\ \end{align*}
Mathematica [C] time = 0.0136698, size = 43, normalized size = 0.46 \[ \frac{1}{32} x^3 \left (\left (4 x^4+3\right )^{5/4}-3 \sqrt [4]{3} \, _2F_1\left (-\frac{1}{4},\frac{3}{4};\frac{7}{4};-\frac{4 x^4}{3}\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.02, size = 42, normalized size = 0.5 \begin{align*}{\frac{{x}^{3} \left ( 16\,{x}^{4}+3 \right ) }{128}\sqrt [4]{4\,{x}^{4}+3}}-{\frac{3\,\sqrt [4]{3}{x}^{3}}{128}{\mbox{$_2$F$_1$}({\frac{3}{4}},{\frac{3}{4}};\,{\frac{7}{4}};\,-{\frac{4\,{x}^{4}}{3}})}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.43927, size = 174, normalized size = 1.87 \begin{align*} -\frac{27}{1024} \, \sqrt{2} \arctan \left (\frac{\sqrt{2}{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{2 \, x}\right ) + \frac{27}{2048} \, \sqrt{2} \log \left (-\frac{\sqrt{2} - \frac{{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{x}}{\sqrt{2} + \frac{{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{x}}\right ) - \frac{9 \,{\left (\frac{12 \,{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{x} + \frac{{\left (4 \, x^{4} + 3\right )}^{\frac{5}{4}}}{x^{5}}\right )}}{128 \,{\left (\frac{8 \,{\left (4 \, x^{4} + 3\right )}}{x^{4}} - \frac{{\left (4 \, x^{4} + 3\right )}^{2}}{x^{8}} - 16\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.89777, size = 302, normalized size = 3.25 \begin{align*} -\frac{27}{1024} \, \sqrt{2} \arctan \left (\frac{\sqrt{2}{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{2 \, x}\right ) + \frac{27}{2048} \, \sqrt{2} \log \left (8 \, x^{4} - 4 \, \sqrt{2}{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}} x^{3} + 4 \, \sqrt{4 \, x^{4} + 3} x^{2} - 2 \, \sqrt{2}{\left (4 \, x^{4} + 3\right )}^{\frac{3}{4}} x + 3\right ) + \frac{1}{128} \,{\left (16 \, x^{7} + 3 \, x^{3}\right )}{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 1.59965, size = 39, normalized size = 0.42 \begin{align*} \frac{\sqrt [4]{3} x^{7} \Gamma \left (\frac{7}{4}\right ){{}_{2}F_{1}\left (\begin{matrix} - \frac{1}{4}, \frac{7}{4} \\ \frac{11}{4} \end{matrix}\middle |{\frac{4 x^{4} e^{i \pi }}{3}} \right )}}{4 \Gamma \left (\frac{11}{4}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.10721, size = 147, normalized size = 1.58 \begin{align*} \frac{1}{128} \, x^{8}{\left (\frac{{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}{\left (\frac{3}{x^{4}} + 4\right )}}{x} + \frac{12 \,{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{x}\right )} - \frac{27}{1024} \, \sqrt{2} \arctan \left (\frac{\sqrt{2}{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{2 \, x}\right ) + \frac{27}{2048} \, \sqrt{2} \log \left (-\frac{\sqrt{2} - \frac{{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{x}}{\sqrt{2} + \frac{{\left (4 \, x^{4} + 3\right )}^{\frac{1}{4}}}{x}}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]