Optimal. Leaf size=171 \[ -\frac {\log \left (3 x^2-\sqrt {2} 3^{3/4} \sqrt [4]{7} x+\sqrt {21}\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\log \left (3 x^2+\sqrt {2} 3^{3/4} \sqrt [4]{7} x+\sqrt {21}\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}-\frac {\tan ^{-1}\left (1-\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\tan ^{-1}\left (\sqrt [4]{\frac {3}{7}} \sqrt {2} x+1\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.11, antiderivative size = 171, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.667, Rules used = {211, 1165, 628, 1162, 617, 204} \[ -\frac {\log \left (3 x^2-\sqrt {2} 3^{3/4} \sqrt [4]{7} x+\sqrt {21}\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\log \left (3 x^2+\sqrt {2} 3^{3/4} \sqrt [4]{7} x+\sqrt {21}\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}-\frac {\tan ^{-1}\left (1-\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\tan ^{-1}\left (\sqrt [4]{\frac {3}{7}} \sqrt {2} x+1\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 204
Rule 211
Rule 617
Rule 628
Rule 1162
Rule 1165
Rubi steps
\begin {align*} \int \frac {1}{7+3 x^4} \, dx &=\frac {\int \frac {\sqrt {7}-\sqrt {3} x^2}{7+3 x^4} \, dx}{2 \sqrt {7}}+\frac {\int \frac {\sqrt {7}+\sqrt {3} x^2}{7+3 x^4} \, dx}{2 \sqrt {7}}\\ &=-\frac {\int \frac {\sqrt {2} \sqrt [4]{\frac {7}{3}}+2 x}{-\sqrt {\frac {7}{3}}-\sqrt {2} \sqrt [4]{\frac {7}{3}} x-x^2} \, dx}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}-\frac {\int \frac {\sqrt {2} \sqrt [4]{\frac {7}{3}}-2 x}{-\sqrt {\frac {7}{3}}+\sqrt {2} \sqrt [4]{\frac {7}{3}} x-x^2} \, dx}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\int \frac {1}{\sqrt {\frac {7}{3}}-\sqrt {2} \sqrt [4]{\frac {7}{3}} x+x^2} \, dx}{4 \sqrt {21}}+\frac {\int \frac {1}{\sqrt {\frac {7}{3}}+\sqrt {2} \sqrt [4]{\frac {7}{3}} x+x^2} \, dx}{4 \sqrt {21}}\\ &=-\frac {\log \left (\sqrt {21}-\sqrt {2} 3^{3/4} \sqrt [4]{7} x+3 x^2\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\log \left (\sqrt {21}+\sqrt {2} 3^{3/4} \sqrt [4]{7} x+3 x^2\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}}-\frac {\operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}}\\ &=-\frac {\tan ^{-1}\left (1-\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\tan ^{-1}\left (1+\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )}{2 \sqrt {2} \sqrt [4]{3} 7^{3/4}}-\frac {\log \left (\sqrt {21}-\sqrt {2} 3^{3/4} \sqrt [4]{7} x+3 x^2\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}+\frac {\log \left (\sqrt {21}+\sqrt {2} 3^{3/4} \sqrt [4]{7} x+3 x^2\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.05, size = 120, normalized size = 0.70 \[ \frac {-\log \left (\sqrt {21} x^2-\sqrt {2} \sqrt [4]{3} 7^{3/4} x+7\right )+\log \left (\sqrt {21} x^2+\sqrt {2} \sqrt [4]{3} 7^{3/4} x+7\right )-2 \tan ^{-1}\left (1-\sqrt [4]{\frac {3}{7}} \sqrt {2} x\right )+2 \tan ^{-1}\left (\sqrt [4]{\frac {3}{7}} \sqrt {2} x+1\right )}{4 \sqrt {2} \sqrt [4]{3} 7^{3/4}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.43, size = 163, normalized size = 0.95 \[ -\frac {1}{2058} \cdot 1029^{\frac {3}{4}} \sqrt {2} \arctan \left (\frac {1}{147} \cdot 1029^{\frac {1}{4}} \sqrt {3} \sqrt {2} \sqrt {1029^{\frac {3}{4}} \sqrt {2} x + 147 \, x^{2} + 49 \, \sqrt {21}} - \frac {1}{7} \cdot 1029^{\frac {1}{4}} \sqrt {2} x - 1\right ) - \frac {1}{2058} \cdot 1029^{\frac {3}{4}} \sqrt {2} \arctan \left (\frac {1}{147} \cdot 1029^{\frac {1}{4}} \sqrt {3} \sqrt {2} \sqrt {-1029^{\frac {3}{4}} \sqrt {2} x + 147 \, x^{2} + 49 \, \sqrt {21}} - \frac {1}{7} \cdot 1029^{\frac {1}{4}} \sqrt {2} x + 1\right ) + \frac {1}{8232} \cdot 1029^{\frac {3}{4}} \sqrt {2} \log \left (1029^{\frac {3}{4}} \sqrt {2} x + 147 \, x^{2} + 49 \, \sqrt {21}\right ) - \frac {1}{8232} \cdot 1029^{\frac {3}{4}} \sqrt {2} \log \left (-1029^{\frac {3}{4}} \sqrt {2} x + 147 \, x^{2} + 49 \, \sqrt {21}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 1.17, size = 95, normalized size = 0.56 \[ \frac {1}{84} \cdot 756^{\frac {1}{4}} \arctan \left (\frac {3}{14} \, \left (\frac {7}{3}\right )^{\frac {3}{4}} \sqrt {2} {\left (2 \, x + \left (\frac {7}{3}\right )^{\frac {1}{4}} \sqrt {2}\right )}\right ) + \frac {1}{84} \cdot 756^{\frac {1}{4}} \arctan \left (\frac {3}{14} \, \left (\frac {7}{3}\right )^{\frac {3}{4}} \sqrt {2} {\left (2 \, x - \left (\frac {7}{3}\right )^{\frac {1}{4}} \sqrt {2}\right )}\right ) + \frac {1}{168} \cdot 756^{\frac {1}{4}} \log \left (x^{2} + \left (\frac {7}{3}\right )^{\frac {1}{4}} \sqrt {2} x + \sqrt {\frac {7}{3}}\right ) - \frac {1}{168} \cdot 756^{\frac {1}{4}} \log \left (x^{2} - \left (\frac {7}{3}\right )^{\frac {1}{4}} \sqrt {2} x + \sqrt {\frac {7}{3}}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 111, normalized size = 0.65 \[ \frac {\sqrt {3}\, 21^{\frac {1}{4}} \sqrt {2}\, \arctan \left (\frac {\sqrt {2}\, \sqrt {3}\, 21^{\frac {3}{4}} x}{21}-1\right )}{84}+\frac {\sqrt {3}\, 21^{\frac {1}{4}} \sqrt {2}\, \arctan \left (\frac {\sqrt {2}\, \sqrt {3}\, 21^{\frac {3}{4}} x}{21}+1\right )}{84}+\frac {\sqrt {3}\, 21^{\frac {1}{4}} \sqrt {2}\, \ln \left (\frac {x^{2}+\frac {\sqrt {3}\, 21^{\frac {1}{4}} \sqrt {2}\, x}{3}+\frac {\sqrt {21}}{3}}{x^{2}-\frac {\sqrt {3}\, 21^{\frac {1}{4}} \sqrt {2}\, x}{3}+\frac {\sqrt {21}}{3}}\right )}{168} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.97, size = 151, normalized size = 0.88 \[ \frac {1}{84} \cdot 7^{\frac {1}{4}} 3^{\frac {3}{4}} \sqrt {2} \arctan \left (\frac {1}{42} \cdot 7^{\frac {3}{4}} 3^{\frac {3}{4}} \sqrt {2} {\left (2 \, \sqrt {3} x + 7^{\frac {1}{4}} 3^{\frac {1}{4}} \sqrt {2}\right )}\right ) + \frac {1}{84} \cdot 7^{\frac {1}{4}} 3^{\frac {3}{4}} \sqrt {2} \arctan \left (\frac {1}{42} \cdot 7^{\frac {3}{4}} 3^{\frac {3}{4}} \sqrt {2} {\left (2 \, \sqrt {3} x - 7^{\frac {1}{4}} 3^{\frac {1}{4}} \sqrt {2}\right )}\right ) + \frac {1}{168} \cdot 7^{\frac {1}{4}} 3^{\frac {3}{4}} \sqrt {2} \log \left (\sqrt {3} x^{2} + 7^{\frac {1}{4}} 3^{\frac {1}{4}} \sqrt {2} x + \sqrt {7}\right ) - \frac {1}{168} \cdot 7^{\frac {1}{4}} 3^{\frac {3}{4}} \sqrt {2} \log \left (\sqrt {3} x^{2} - 7^{\frac {1}{4}} 3^{\frac {1}{4}} \sqrt {2} x + \sqrt {7}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.11, size = 45, normalized size = 0.26 \[ \sqrt {2}\,{189}^{1/4}\,\mathrm {atan}\left (\sqrt {2}\,{189}^{3/4}\,x\,\left (\frac {1}{126}-\frac {1}{126}{}\mathrm {i}\right )\right )\,\left (\frac {1}{84}+\frac {1}{84}{}\mathrm {i}\right )+\sqrt {2}\,{189}^{1/4}\,\mathrm {atan}\left (\sqrt {2}\,{189}^{3/4}\,x\,\left (\frac {1}{126}+\frac {1}{126}{}\mathrm {i}\right )\right )\,\left (\frac {1}{84}-\frac {1}{84}{}\mathrm {i}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.40, size = 151, normalized size = 0.88 \[ - \frac {\sqrt [4]{189} \sqrt {2} \log {\left (x^{2} - \frac {\sqrt [4]{189} \sqrt {2} x}{3} + \frac {\sqrt {21}}{3} \right )}}{168} + \frac {\sqrt [4]{189} \sqrt {2} \log {\left (x^{2} + \frac {\sqrt [4]{189} \sqrt {2} x}{3} + \frac {\sqrt {21}}{3} \right )}}{168} + \frac {\sqrt {2} \cdot 3^{\frac {3}{4}} \sqrt [4]{7} \operatorname {atan}{\left (\frac {\sqrt {2} \sqrt [4]{3} \cdot 7^{\frac {3}{4}} x}{7} - 1 \right )}}{84} + \frac {\sqrt {2} \cdot 3^{\frac {3}{4}} \sqrt [4]{7} \operatorname {atan}{\left (\frac {\sqrt {2} \sqrt [4]{3} \cdot 7^{\frac {3}{4}} x}{7} + 1 \right )}}{84} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________