3.24.5 \(\int \frac {1}{(1+x) \sqrt [3]{1-x+x^2}} \, dx\) [2305]
Optimal. Leaf size=177 \[ -\frac {\text {ArcTan}\left (\frac {\frac {4}{3 \sqrt [6]{3}}-\frac {2 x}{3 \sqrt [6]{3}}+\frac {\sqrt [3]{1-x+x^2}}{\sqrt {3}}}{\sqrt [3]{1-x+x^2}}\right )}{3^{5/6}}+\frac {\log \left (-2 \sqrt [3]{3}+\sqrt [3]{3} x+3 \sqrt [3]{1-x+x^2}\right )}{3 \sqrt [3]{3}}-\frac {\log \left (4\ 3^{2/3}-4\ 3^{2/3} x+3^{2/3} x^2+\left (6 \sqrt [3]{3}-3 \sqrt [3]{3} x\right ) \sqrt [3]{1-x+x^2}+9 \left (1-x+x^2\right )^{2/3}\right )}{6 \sqrt [3]{3}} \]
[Out]
-1/3*arctan((4/9*3^(5/6)-2/9*x*3^(5/6)+1/3*(x^2-x+1)^(1/3)*3^(1/2))/(x^2-x+1)^(1/3))*3^(1/6)+1/9*ln(-2*3^(1/3)
+3^(1/3)*x+3*(x^2-x+1)^(1/3))*3^(2/3)-1/18*ln(4*3^(2/3)-4*3^(2/3)*x+3^(2/3)*x^2+(6*3^(1/3)-3*3^(1/3)*x)*(x^2-x
+1)^(1/3)+9*(x^2-x+1)^(2/3))*3^(2/3)
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 88, normalized size of antiderivative = 0.50, number of steps
used = 1, number of rules used = 1, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.056, Rules used = {764}
\begin {gather*} -\frac {\text {ArcTan}\left (\frac {2 (2-x)}{3 \sqrt [6]{3} \sqrt [3]{x^2-x+1}}+\frac {1}{\sqrt {3}}\right )}{3^{5/6}}+\frac {\log \left (-3^{2/3} \sqrt [3]{x^2-x+1}-x+2\right )}{2 \sqrt [3]{3}}-\frac {\log (x+1)}{2 \sqrt [3]{3}} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[1/((1 + x)*(1 - x + x^2)^(1/3)),x]
[Out]
-(ArcTan[1/Sqrt[3] + (2*(2 - x))/(3*3^(1/6)*(1 - x + x^2)^(1/3))]/3^(5/6)) - Log[1 + x]/(2*3^(1/3)) + Log[2 -
x - 3^(2/3)*(1 - x + x^2)^(1/3)]/(2*3^(1/3))
Rule 764
Int[1/(((d_.) + (e_.)*(x_))*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(1/3)), x_Symbol] :> With[{q = Rt[3*c*e^2*(2*c*
d - b*e), 3]}, Simp[(-Sqrt[3])*c*e*(ArcTan[1/Sqrt[3] + 2*((c*d - b*e - c*e*x)/(Sqrt[3]*q*(a + b*x + c*x^2)^(1/
3)))]/q^2), x] + (-Simp[3*c*e*(Log[d + e*x]/(2*q^2)), x] + Simp[3*c*e*(Log[c*d - b*e - c*e*x - q*(a + b*x + c*
x^2)^(1/3)]/(2*q^2)), x])] /; FreeQ[{a, b, c, d, e}, x] && NeQ[2*c*d - b*e, 0] && EqQ[c^2*d^2 - b*c*d*e + b^2*
e^2 - 3*a*c*e^2, 0] && PosQ[c*e^2*(2*c*d - b*e)]
Rubi steps
\begin {align*} \int \frac {1}{(1+x) \sqrt [3]{1-x+x^2}} \, dx &=-\frac {\tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 (2-x)}{3 \sqrt [6]{3} \sqrt [3]{1-x+x^2}}\right )}{3^{5/6}}-\frac {\log (1+x)}{2 \sqrt [3]{3}}+\frac {\log \left (2-x-3^{2/3} \sqrt [3]{1-x+x^2}\right )}{2 \sqrt [3]{3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.19, size = 167, normalized size = 0.94 \begin {gather*} \frac {-6 \text {ArcTan}\left (\frac {4\ 3^{5/6}-2\ 3^{5/6} x+3 \sqrt {3} \sqrt [3]{1-x+x^2}}{9 \sqrt [3]{1-x+x^2}}\right )+\sqrt {3} \left (2 \log \left (-2 \sqrt [3]{3}+\sqrt [3]{3} x+3 \sqrt [3]{1-x+x^2}\right )-\log \left (4\ 3^{2/3}-4\ 3^{2/3} x+3^{2/3} x^2-3 \sqrt [3]{3} (-2+x) \sqrt [3]{1-x+x^2}+9 \left (1-x+x^2\right )^{2/3}\right )\right )}{6\ 3^{5/6}} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[1/((1 + x)*(1 - x + x^2)^(1/3)),x]
[Out]
(-6*ArcTan[(4*3^(5/6) - 2*3^(5/6)*x + 3*Sqrt[3]*(1 - x + x^2)^(1/3))/(9*(1 - x + x^2)^(1/3))] + Sqrt[3]*(2*Log
[-2*3^(1/3) + 3^(1/3)*x + 3*(1 - x + x^2)^(1/3)] - Log[4*3^(2/3) - 4*3^(2/3)*x + 3^(2/3)*x^2 - 3*3^(1/3)*(-2 +
x)*(1 - x + x^2)^(1/3) + 9*(1 - x + x^2)^(2/3)]))/(6*3^(5/6))
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 8.46, size = 1417, normalized size = 8.01
| | |
| method |
result |
size |
| | |
| trager |
\(\text {Expression too large to display}\) |
\(1417\) |
| | |
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(1/(1+x)/(x^2-x+1)^(1/3),x,method=_RETURNVERBOSE)
[Out]
1/3*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*ln(-(21999*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)
+9*_Z^2)*RootOf(_Z^3-9)^3*x^3+184770*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)^2*RootOf(_Z^3-9)^2*x^
3+967776*(x^2-x+1)^(2/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)^2*x+43998*RootOf(R
ootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)^3*x^2+369540*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z
^3-9)+9*_Z^2)^2*RootOf(_Z^3-9)^2*x^2-1935552*(x^2-x+1)^(2/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^
2)*RootOf(_Z^3-9)^2+322592*(x^2-x+1)^(1/3)*RootOf(_Z^3-9)^2*x^2-611565*(x^2-x+1)^(1/3)*RootOf(RootOf(_Z^3-9)^2
+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)*x^2+87996*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*Root
Of(_Z^3-9)^3*x+739080*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)^2*RootOf(_Z^3-9)^2*x-1290368*(x^2-x+
1)^(1/3)*RootOf(_Z^3-9)^2*x+2446260*(x^2-x+1)^(1/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf
(_Z^3-9)*x-58664*RootOf(_Z^3-9)*x^3-492720*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*x^3+4738023*(x^
2-x+1)^(2/3)*x+1290368*(x^2-x+1)^(1/3)*RootOf(_Z^3-9)^2-2446260*(x^2-x+1)^(1/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*R
ootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)+1473933*RootOf(_Z^3-9)*x^2+12379590*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_
Z^3-9)+9*_Z^2)*x^2-9476046*(x^2-x+1)^(2/3)-1825917*RootOf(_Z^3-9)*x-15335910*RootOf(RootOf(_Z^3-9)^2+3*_Z*Root
Of(_Z^3-9)+9*_Z^2)*x+1591261*RootOf(_Z^3-9)+13365030*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2))/(1+x
)^3)+1/9*RootOf(_Z^3-9)*ln((61590*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)^3*x^3+659
97*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)^2*RootOf(_Z^3-9)^2*x^3+967776*(x^2-x+1)^(2/3)*RootOf(Ro
otOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)^2*x+123180*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-
9)+9*_Z^2)*RootOf(_Z^3-9)^3*x^2+131994*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)^2*RootOf(_Z^3-9)^2*
x^2-1935552*(x^2-x+1)^(2/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)^2+322592*(x^2-x
+1)^(1/3)*RootOf(_Z^3-9)^2*x^2+1579341*(x^2-x+1)^(1/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*Roo
tOf(_Z^3-9)*x^2+246360*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)^3*x+263988*RootOf(Ro
otOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)^2*RootOf(_Z^3-9)^2*x-1290368*(x^2-x+1)^(1/3)*RootOf(_Z^3-9)^2*x-631
7364*(x^2-x+1)^(1/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_Z^3-9)*x+349010*RootOf(_Z^3-9
)*x^3+373983*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*x^3-1834695*(x^2-x+1)^(2/3)*x+1290368*(x^2-x+
1)^(1/3)*RootOf(_Z^3-9)^2+6317364*(x^2-x+1)^(1/3)*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*RootOf(_
Z^3-9)-3756990*RootOf(_Z^3-9)*x^2-4025817*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*x^2+3669390*(x^2
-x+1)^(2/3)+5851050*RootOf(_Z^3-9)*x+6269715*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2)*x-4455010*Roo
tOf(_Z^3-9)-4773783*RootOf(RootOf(_Z^3-9)^2+3*_Z*RootOf(_Z^3-9)+9*_Z^2))/(1+x)^3)
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(1+x)/(x^2-x+1)^(1/3),x, algorithm="maxima")
[Out]
integrate(1/((x^2 - x + 1)^(1/3)*(x + 1)), x)
________________________________________________________________________________________
Fricas [A]
time = 1.55, size = 175, normalized size = 0.99 \begin {gather*} -\frac {1}{18} \cdot 3^{\frac {2}{3}} \log \left (\frac {3 \cdot 3^{\frac {2}{3}} {\left (x^{2} - x + 1\right )}^{\frac {2}{3}} + 3^{\frac {1}{3}} {\left (x^{2} - 4 \, x + 4\right )} - 3 \, {\left (x^{2} - x + 1\right )}^{\frac {1}{3}} {\left (x - 2\right )}}{x^{2} + 2 \, x + 1}\right ) + \frac {1}{9} \cdot 3^{\frac {2}{3}} \log \left (\frac {3^{\frac {1}{3}} {\left (x - 2\right )} + 3 \, {\left (x^{2} - x + 1\right )}^{\frac {1}{3}}}{x + 1}\right ) - \frac {1}{3} \cdot 3^{\frac {1}{6}} \arctan \left (\frac {3^{\frac {1}{6}} {\left (6 \cdot 3^{\frac {2}{3}} {\left (x^{2} - x + 1\right )}^{\frac {2}{3}} {\left (x - 2\right )} + 3^{\frac {1}{3}} {\left (x^{3} + 3 \, x^{2} + 3 \, x + 1\right )} + 6 \, {\left (x^{2} - x + 1\right )}^{\frac {1}{3}} {\left (x^{2} - 4 \, x + 4\right )}\right )}}{3 \, {\left (x^{3} - 15 \, x^{2} + 21 \, x - 17\right )}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(1+x)/(x^2-x+1)^(1/3),x, algorithm="fricas")
[Out]
-1/18*3^(2/3)*log((3*3^(2/3)*(x^2 - x + 1)^(2/3) + 3^(1/3)*(x^2 - 4*x + 4) - 3*(x^2 - x + 1)^(1/3)*(x - 2))/(x
^2 + 2*x + 1)) + 1/9*3^(2/3)*log((3^(1/3)*(x - 2) + 3*(x^2 - x + 1)^(1/3))/(x + 1)) - 1/3*3^(1/6)*arctan(1/3*3
^(1/6)*(6*3^(2/3)*(x^2 - x + 1)^(2/3)*(x - 2) + 3^(1/3)*(x^3 + 3*x^2 + 3*x + 1) + 6*(x^2 - x + 1)^(1/3)*(x^2 -
4*x + 4))/(x^3 - 15*x^2 + 21*x - 17))
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\left (x + 1\right ) \sqrt [3]{x^{2} - x + 1}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(1+x)/(x**2-x+1)**(1/3),x)
[Out]
Integral(1/((x + 1)*(x**2 - x + 1)**(1/3)), x)
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(1+x)/(x^2-x+1)^(1/3),x, algorithm="giac")
[Out]
integrate(1/((x^2 - x + 1)^(1/3)*(x + 1)), x)
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{\left (x+1\right )\,{\left (x^2-x+1\right )}^{1/3}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(1/((x + 1)*(x^2 - x + 1)^(1/3)),x)
[Out]
int(1/((x + 1)*(x^2 - x + 1)^(1/3)), x)
________________________________________________________________________________________