Integrand size = 24, antiderivative size = 131 \[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=-\frac {3 b \left (-x+x^3\right )^{2/3}}{4 x^2}+\frac {1}{4} \left (a-i \sqrt {3} a\right ) \log \left (-i x+\sqrt {3} x-2 i \sqrt [3]{-x+x^3}\right )+\frac {1}{4} \left (a+i \sqrt {3} a\right ) \log \left (i x+\sqrt {3} x+2 i \sqrt [3]{-x+x^3}\right )-\frac {1}{2} a \log \left (-x+\sqrt [3]{-x+x^3}\right ) \]
-3/4*b*(x^3-x)^(2/3)/x^2+1/4*(a-I*3^(1/2)*a)*ln(-I*x+x*3^(1/2)-2*I*(x^3-x) ^(1/3))+1/4*(a+I*3^(1/2)*a)*ln(I*x+x*3^(1/2)+2*I*(x^3-x)^(1/3))-1/2*a*ln(- x+(x^3-x)^(1/3))
Time = 1.33 (sec) , antiderivative size = 163, normalized size of antiderivative = 1.24 \[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=\frac {3 b-3 b x^2+2 \sqrt {3} a x^{4/3} \sqrt [3]{-1+x^2} \arctan \left (\frac {\sqrt {3} x^{2/3}}{x^{2/3}+2 \sqrt [3]{-1+x^2}}\right )-2 a x^{4/3} \sqrt [3]{-1+x^2} \log \left (-x^{2/3}+\sqrt [3]{-1+x^2}\right )+a x^{4/3} \sqrt [3]{-1+x^2} \log \left (x^{4/3}+x^{2/3} \sqrt [3]{-1+x^2}+\left (-1+x^2\right )^{2/3}\right )}{4 x \sqrt [3]{x \left (-1+x^2\right )}} \]
(3*b - 3*b*x^2 + 2*Sqrt[3]*a*x^(4/3)*(-1 + x^2)^(1/3)*ArcTan[(Sqrt[3]*x^(2 /3))/(x^(2/3) + 2*(-1 + x^2)^(1/3))] - 2*a*x^(4/3)*(-1 + x^2)^(1/3)*Log[-x ^(2/3) + (-1 + x^2)^(1/3)] + a*x^(4/3)*(-1 + x^2)^(1/3)*Log[x^(4/3) + x^(2 /3)*(-1 + x^2)^(1/3) + (-1 + x^2)^(2/3)])/(4*x*(x*(-1 + x^2))^(1/3))
Time = 0.24 (sec) , antiderivative size = 100, normalized size of antiderivative = 0.76, number of steps used = 6, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.208, Rules used = {1944, 1917, 266, 807, 769}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {a x^2-b}{x^2 \sqrt [3]{x^3-x}} \, dx\) |
\(\Big \downarrow \) 1944 |
\(\displaystyle a \int \frac {1}{\sqrt [3]{x^3-x}}dx-\frac {3 b \left (x^3-x\right )^{2/3}}{4 x^2}\) |
\(\Big \downarrow \) 1917 |
\(\displaystyle \frac {a \sqrt [3]{x} \sqrt [3]{x^2-1} \int \frac {1}{\sqrt [3]{x} \sqrt [3]{x^2-1}}dx}{\sqrt [3]{x^3-x}}-\frac {3 b \left (x^3-x\right )^{2/3}}{4 x^2}\) |
\(\Big \downarrow \) 266 |
\(\displaystyle \frac {3 a \sqrt [3]{x} \sqrt [3]{x^2-1} \int \frac {\sqrt [3]{x}}{\sqrt [3]{x^2-1}}d\sqrt [3]{x}}{\sqrt [3]{x^3-x}}-\frac {3 b \left (x^3-x\right )^{2/3}}{4 x^2}\) |
\(\Big \downarrow \) 807 |
\(\displaystyle \frac {3 a \sqrt [3]{x} \sqrt [3]{x^2-1} \int \frac {1}{\sqrt [3]{x-1}}dx^{2/3}}{2 \sqrt [3]{x^3-x}}-\frac {3 b \left (x^3-x\right )^{2/3}}{4 x^2}\) |
\(\Big \downarrow \) 769 |
\(\displaystyle \frac {3 a \sqrt [3]{x} \sqrt [3]{x^2-1} \left (\frac {\arctan \left (\frac {\frac {2 x^{2/3}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right )}{\sqrt {3}}-\frac {1}{2} \log \left (\sqrt [3]{x-1}-x^{2/3}\right )\right )}{2 \sqrt [3]{x^3-x}}-\frac {3 b \left (x^3-x\right )^{2/3}}{4 x^2}\) |
(-3*b*(-x + x^3)^(2/3))/(4*x^2) + (3*a*x^(1/3)*(-1 + x^2)^(1/3)*(ArcTan[(1 + (2*x^(2/3))/(-1 + x)^(1/3))/Sqrt[3]]/Sqrt[3] - Log[(-1 + x)^(1/3) - x^( 2/3)]/2))/(2*(-x + x^3)^(1/3))
3.19.90.3.1 Defintions of rubi rules used
Int[((c_.)*(x_))^(m_)*((a_) + (b_.)*(x_)^2)^(p_), x_Symbol] :> With[{k = De nominator[m]}, Simp[k/c Subst[Int[x^(k*(m + 1) - 1)*(a + b*(x^(2*k)/c^2)) ^p, x], x, (c*x)^(1/k)], x]] /; FreeQ[{a, b, c, p}, x] && FractionQ[m] && I ntBinomialQ[a, b, c, 2, m, p, x]
Int[((a_) + (b_.)*(x_)^3)^(-1/3), x_Symbol] :> Simp[ArcTan[(1 + 2*Rt[b, 3]* (x/(a + b*x^3)^(1/3)))/Sqrt[3]]/(Sqrt[3]*Rt[b, 3]), x] - Simp[Log[(a + b*x^ 3)^(1/3) - Rt[b, 3]*x]/(2*Rt[b, 3]), x] /; FreeQ[{a, b}, x]
Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> With[{k = GCD[m + 1, n]}, Simp[1/k Subst[Int[x^((m + 1)/k - 1)*(a + b*x^(n/k))^p, x], x, x^k], x] /; k != 1] /; FreeQ[{a, b, p}, x] && IGtQ[n, 0] && IntegerQ[m]
Int[((a_.)*(x_)^(j_.) + (b_.)*(x_)^(n_.))^(p_), x_Symbol] :> Simp[(a*x^j + b*x^n)^FracPart[p]/(x^(j*FracPart[p])*(a + b*x^(n - j))^FracPart[p]) Int[ x^(j*p)*(a + b*x^(n - j))^p, x], x] /; FreeQ[{a, b, j, n, p}, x] && !Integ erQ[p] && NeQ[n, j] && PosQ[n - j]
Int[((e_.)*(x_))^(m_.)*((a_.)*(x_)^(j_.) + (b_.)*(x_)^(jn_.))^(p_)*((c_) + (d_.)*(x_)^(n_.)), x_Symbol] :> Simp[c*e^(j - 1)*(e*x)^(m - j + 1)*((a*x^j + b*x^(j + n))^(p + 1)/(a*(m + j*p + 1))), x] + Simp[(a*d*(m + j*p + 1) - b *c*(m + n + p*(j + n) + 1))/(a*e^n*(m + j*p + 1)) Int[(e*x)^(m + n)*(a*x^ j + b*x^(j + n))^p, x], x] /; FreeQ[{a, b, c, d, e, j, p}, x] && EqQ[jn, j + n] && !IntegerQ[p] && NeQ[b*c - a*d, 0] && GtQ[n, 0] && (LtQ[m + j*p, -1 ] || (IntegersQ[m - 1/2, p - 1/2] && LtQ[p, 0] && LtQ[m, (-n)*p - 1])) && ( GtQ[e, 0] || IntegersQ[j, n]) && NeQ[m + j*p + 1, 0] && NeQ[m - n + j*p + 1 , 0]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.98 (sec) , antiderivative size = 55, normalized size of antiderivative = 0.42
method | result | size |
risch | \(-\frac {3 b \left (x^{2}-1\right )}{4 x {\left (x \left (x^{2}-1\right )\right )}^{\frac {1}{3}}}+\frac {3 a {\left (-\operatorname {signum}\left (x^{2}-1\right )\right )}^{\frac {1}{3}} x^{\frac {2}{3}} \operatorname {hypergeom}\left (\left [\frac {1}{3}, \frac {1}{3}\right ], \left [\frac {4}{3}\right ], x^{2}\right )}{2 \operatorname {signum}\left (x^{2}-1\right )^{\frac {1}{3}}}\) | \(55\) |
meijerg | \(\frac {3 a {\left (-\operatorname {signum}\left (x^{2}-1\right )\right )}^{\frac {1}{3}} x^{\frac {2}{3}} \operatorname {hypergeom}\left (\left [\frac {1}{3}, \frac {1}{3}\right ], \left [\frac {4}{3}\right ], x^{2}\right )}{2 \operatorname {signum}\left (x^{2}-1\right )^{\frac {1}{3}}}+\frac {3 b {\left (-\operatorname {signum}\left (x^{2}-1\right )\right )}^{\frac {1}{3}} \left (-x^{2}+1\right )^{\frac {2}{3}}}{4 \operatorname {signum}\left (x^{2}-1\right )^{\frac {1}{3}} x^{\frac {4}{3}}}\) | \(68\) |
pseudoelliptic | \(\frac {-3 b \left (x^{3}-x \right )^{\frac {2}{3}}-2 \left (\sqrt {3}\, \arctan \left (\frac {\sqrt {3}\, \left (x +2 \left (x^{3}-x \right )^{\frac {1}{3}}\right )}{3 x}\right )-\frac {\ln \left (\frac {x^{2}+x \left (x^{3}-x \right )^{\frac {1}{3}}+\left (x^{3}-x \right )^{\frac {2}{3}}}{x^{2}}\right )}{2}+\ln \left (\frac {-x +\left (x^{3}-x \right )^{\frac {1}{3}}}{x}\right )\right ) x^{2} a}{4 x^{2}}\) | \(101\) |
trager | \(-\frac {3 b \left (x^{3}-x \right )^{\frac {2}{3}}}{4 x^{2}}+\frac {a \left (72 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \ln \left (803520 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )^{2} x^{2}+162432 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \left (x^{3}-x \right )^{\frac {2}{3}}+162432 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \left (x^{3}-x \right )^{\frac {1}{3}} x +151272 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) x^{2}-3214080 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )^{2}+5355 \left (x^{3}-x \right )^{\frac {2}{3}}+5355 x \left (x^{3}-x \right )^{\frac {1}{3}}+5510 x^{2}-192168 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )-1653\right )-72 \ln \left (803520 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )^{2} x^{2}-162432 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \left (x^{3}-x \right )^{\frac {2}{3}}-162432 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \left (x^{3}-x \right )^{\frac {1}{3}} x -173592 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) x^{2}-3214080 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )^{2}+7611 \left (x^{3}-x \right )^{\frac {2}{3}}+7611 x \left (x^{3}-x \right )^{\frac {1}{3}}+7766 x^{2}+281448 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )-4942\right ) \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )+\ln \left (803520 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )^{2} x^{2}-162432 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \left (x^{3}-x \right )^{\frac {2}{3}}-162432 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) \left (x^{3}-x \right )^{\frac {1}{3}} x -173592 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right ) x^{2}-3214080 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )^{2}+7611 \left (x^{3}-x \right )^{\frac {2}{3}}+7611 x \left (x^{3}-x \right )^{\frac {1}{3}}+7766 x^{2}+281448 \operatorname {RootOf}\left (5184 \textit {\_Z}^{2}-72 \textit {\_Z} +1\right )-4942\right )\right )}{2}\) | \(461\) |
-3/4*b*(x^2-1)/x/(x*(x^2-1))^(1/3)+3/2*a/signum(x^2-1)^(1/3)*(-signum(x^2- 1))^(1/3)*x^(2/3)*hypergeom([1/3,1/3],[4/3],x^2)
Time = 0.88 (sec) , antiderivative size = 112, normalized size of antiderivative = 0.85 \[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=\frac {2 \, \sqrt {3} a x^{2} \arctan \left (-\frac {44032959556 \, \sqrt {3} {\left (x^{3} - x\right )}^{\frac {1}{3}} x + \sqrt {3} {\left (16754327161 \, x^{2} - 2707204793\right )} - 10524305234 \, \sqrt {3} {\left (x^{3} - x\right )}^{\frac {2}{3}}}{81835897185 \, x^{2} - 1102302937}\right ) - a x^{2} \log \left (-3 \, {\left (x^{3} - x\right )}^{\frac {1}{3}} x + 3 \, {\left (x^{3} - x\right )}^{\frac {2}{3}} + 1\right ) - 3 \, {\left (x^{3} - x\right )}^{\frac {2}{3}} b}{4 \, x^{2}} \]
1/4*(2*sqrt(3)*a*x^2*arctan(-(44032959556*sqrt(3)*(x^3 - x)^(1/3)*x + sqrt (3)*(16754327161*x^2 - 2707204793) - 10524305234*sqrt(3)*(x^3 - x)^(2/3))/ (81835897185*x^2 - 1102302937)) - a*x^2*log(-3*(x^3 - x)^(1/3)*x + 3*(x^3 - x)^(2/3) + 1) - 3*(x^3 - x)^(2/3)*b)/x^2
\[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=\int \frac {a x^{2} - b}{x^{2} \sqrt [3]{x \left (x - 1\right ) \left (x + 1\right )}}\, dx \]
\[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=\int { \frac {a x^{2} - b}{{\left (x^{3} - x\right )}^{\frac {1}{3}} x^{2}} \,d x } \]
Time = 0.30 (sec) , antiderivative size = 78, normalized size of antiderivative = 0.60 \[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=-\frac {1}{2} \, \sqrt {3} a \arctan \left (\frac {1}{3} \, \sqrt {3} {\left (2 \, {\left (-\frac {1}{x^{2}} + 1\right )}^{\frac {1}{3}} + 1\right )}\right ) + \frac {1}{4} \, a \log \left ({\left (-\frac {1}{x^{2}} + 1\right )}^{\frac {2}{3}} + {\left (-\frac {1}{x^{2}} + 1\right )}^{\frac {1}{3}} + 1\right ) - \frac {1}{2} \, a \log \left ({\left | {\left (-\frac {1}{x^{2}} + 1\right )}^{\frac {1}{3}} - 1 \right |}\right ) - \frac {3}{4} \, b {\left (-\frac {1}{x^{2}} + 1\right )}^{\frac {2}{3}} \]
-1/2*sqrt(3)*a*arctan(1/3*sqrt(3)*(2*(-1/x^2 + 1)^(1/3) + 1)) + 1/4*a*log( (-1/x^2 + 1)^(2/3) + (-1/x^2 + 1)^(1/3) + 1) - 1/2*a*log(abs((-1/x^2 + 1)^ (1/3) - 1)) - 3/4*b*(-1/x^2 + 1)^(2/3)
Time = 5.73 (sec) , antiderivative size = 46, normalized size of antiderivative = 0.35 \[ \int \frac {-b+a x^2}{x^2 \sqrt [3]{-x+x^3}} \, dx=\frac {3\,a\,x\,{\left (1-x^2\right )}^{1/3}\,{{}}_2{\mathrm {F}}_1\left (\frac {1}{3},\frac {1}{3};\ \frac {4}{3};\ x^2\right )}{2\,{\left (x^3-x\right )}^{1/3}}-\frac {3\,b\,{\left (x^3-x\right )}^{2/3}}{4\,x^2} \]