Optimal. Leaf size=75 \[ \frac{2 \tanh ^{-1}\left (\frac{\sqrt{2 \sqrt{3}-3} \sqrt{a} \left (1-x \sqrt [3]{\frac{b}{a}}\right )}{\sqrt{a-b x^3}}\right )}{\sqrt{2 \sqrt{3}-3} \sqrt{a} \sqrt [3]{\frac{b}{a}}} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.337313, antiderivative size = 75, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 55, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.036 \[ \frac{2 \tanh ^{-1}\left (\frac{\sqrt{2 \sqrt{3}-3} \sqrt{a} \left (1-x \sqrt [3]{\frac{b}{a}}\right )}{\sqrt{a-b x^3}}\right )}{\sqrt{2 \sqrt{3}-3} \sqrt{a} \sqrt [3]{\frac{b}{a}}} \]
Antiderivative was successfully verified.
[In] Int[(1 + Sqrt[3] - (b/a)^(1/3)*x)/((1 - Sqrt[3] - (b/a)^(1/3)*x)*Sqrt[a - b*x^3]),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((1-(b/a)**(1/3)*x+3**(1/2))/(1-(b/a)**(1/3)*x-3**(1/2))/(-b*x**3+a)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 8.34861, size = 1486, normalized size = 19.81 \[ \text{result too large to display} \]
Warning: Unable to verify antiderivative.
[In] Integrate[(1 + Sqrt[3] - (b/a)^(1/3)*x)/((1 - Sqrt[3] - (b/a)^(1/3)*x)*Sqrt[a - b*x^3]),x]
[Out]
_______________________________________________________________________________________
Maple [F] time = 0.161, size = 0, normalized size = 0. \[ \int{1 \left ( 1-\sqrt [3]{{\frac{b}{a}}}x+\sqrt{3} \right ) \left ( 1-\sqrt [3]{{\frac{b}{a}}}x-\sqrt{3} \right ) ^{-1}{\frac{1}{\sqrt{-b{x}^{3}+a}}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((1-(b/a)^(1/3)*x+3^(1/2))/(1-(b/a)^(1/3)*x-3^(1/2))/(-b*x^3+a)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{x \left (\frac{b}{a}\right )^{\frac{1}{3}} - \sqrt{3} - 1}{\sqrt{-b x^{3} + a}{\left (x \left (\frac{b}{a}\right )^{\frac{1}{3}} + \sqrt{3} - 1\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((x*(b/a)^(1/3) - sqrt(3) - 1)/(sqrt(-b*x^3 + a)*(x*(b/a)^(1/3) + sqrt(3) - 1)),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((x*(b/a)^(1/3) - sqrt(3) - 1)/(sqrt(-b*x^3 + a)*(x*(b/a)^(1/3) + sqrt(3) - 1)),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 13.7046, size = 0, normalized size = 0. \[ \mathrm{NaN} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((1-(b/a)**(1/3)*x+3**(1/2))/(1-(b/a)**(1/3)*x-3**(1/2))/(-b*x**3+a)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.613065, size = 4, normalized size = 0.05 \[ \mathit{sage}_{0} x \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((x*(b/a)^(1/3) - sqrt(3) - 1)/(sqrt(-b*x^3 + a)*(x*(b/a)^(1/3) + sqrt(3) - 1)),x, algorithm="giac")
[Out]