Optimal. Leaf size=54 \[ 12 \sqrt [4]{1-2 e^{x/3}}-6 \tan ^{-1}\left (\sqrt [4]{1-2 e^{x/3}}\right )-6 \tanh ^{-1}\left (\sqrt [4]{1-2 e^{x/3}}\right ) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0507944, antiderivative size = 54, 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 \[ 12 \sqrt [4]{1-2 e^{x/3}}-6 \tan ^{-1}\left (\sqrt [4]{1-2 e^{x/3}}\right )-6 \tanh ^{-1}\left (\sqrt [4]{1-2 e^{x/3}}\right ) \]
Antiderivative was successfully verified.
[In] Int[(1 - 2*E^(x/3))^(1/4),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 2.53313, size = 42, normalized size = 0.78 \[ 12 \sqrt [4]{- 2 e^{\frac{x}{3}} + 1} - 6 \operatorname{atan}{\left (\sqrt [4]{- 2 e^{\frac{x}{3}} + 1} \right )} - 6 \operatorname{atanh}{\left (\sqrt [4]{- 2 e^{\frac{x}{3}} + 1} \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((1-2*exp(1/3*x))**(1/4),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 0.0568485, size = 70, normalized size = 1.3 \[ -\frac{2 \left (\sqrt [4]{2} \left (2-e^{-x/3}\right )^{3/4} \, _2F_1\left (\frac{3}{4},\frac{3}{4};\frac{7}{4};\frac{e^{-x/3}}{2}\right )+12 e^{x/3}-6\right )}{\left (1-2 e^{x/3}\right )^{3/4}} \]
Antiderivative was successfully verified.
[In] Integrate[(1 - 2*E^(x/3))^(1/4),x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.01, size = 57, normalized size = 1.1 \[ 12\,\sqrt [4]{1-2\,{{\rm e}^{x/3}}}+3\,\ln \left ( -1+\sqrt [4]{1-2\,{{\rm e}^{x/3}}} \right ) -3\,\ln \left ( 1+\sqrt [4]{1-2\,{{\rm e}^{x/3}}} \right ) -6\,\arctan \left ( \sqrt [4]{1-2\,{{\rm e}^{x/3}}} \right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((1-2*exp(1/3*x))^(1/4),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.56773, size = 76, normalized size = 1.41 \[ 12 \,{\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} - 6 \, \arctan \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}}\right ) - 3 \, \log \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} + 1\right ) + 3 \, \log \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((-2*e^(1/3*x) + 1)^(1/4),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.223122, size = 76, normalized size = 1.41 \[ 12 \,{\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} - 6 \, \arctan \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}}\right ) - 3 \, \log \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} + 1\right ) + 3 \, \log \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((-2*e^(1/3*x) + 1)^(1/4),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \sqrt [4]{- 2 e^{\frac{x}{3}} + 1}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((1-2*exp(1/3*x))**(1/4),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.209881, size = 77, normalized size = 1.43 \[ 12 \,{\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} - 6 \, \arctan \left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}}\right ) - 3 \,{\rm ln}\left ({\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} + 1\right ) + 3 \,{\rm ln}\left ({\left |{\left (-2 \, e^{\left (\frac{1}{3} \, x\right )} + 1\right )}^{\frac{1}{4}} - 1 \right |}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((-2*e^(1/3*x) + 1)^(1/4),x, algorithm="giac")
[Out]