3.20.58 \(\int \frac {(-1+x) (-3+8 x-8 x^2+12 x^4)}{x (\frac {1-2 x^2}{1+2 x^2})^{2/3} (1+2 x^2) (3-7 x+7 x^2-6 x^3+2 x^4)} \, dx\) [1958]

3.20.58.1 Optimal result

Integrand size = 74, antiderivative size = 138 \[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\sqrt {3} \arctan \left (\frac {-\sqrt {3}+\sqrt {3} x}{-1+x-2 \sqrt [3]{\frac {1-2 x^2}{1+2 x^2}}}\right )+\log \left (-1+x+\sqrt [3]{\frac {1-2 x^2}{1+2 x^2}}\right )-\frac {1}{2} \log \left (1-2 x+x^2+(1-x) \sqrt [3]{\frac {1-2 x^2}{1+2 x^2}}+\left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3}\right ) \]

output

3^(1/2)*arctan((-3^(1/2)+x*3^(1/2))/(-1+x-2*((-2*x^2+1)/(2*x^2+1))^(1/3))) 
+ln(-1+x+((-2*x^2+1)/(2*x^2+1))^(1/3))-1/2*ln(1-2*x+x^2+(1-x)*((-2*x^2+1)/ 
(2*x^2+1))^(1/3)+((-2*x^2+1)/(2*x^2+1))^(2/3))
 

3.20.58.2 Mathematica [F]

\[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx \]

input

Integrate[((-1 + x)*(-3 + 8*x - 8*x^2 + 12*x^4))/(x*((1 - 2*x^2)/(1 + 2*x^ 
2))^(2/3)*(1 + 2*x^2)*(3 - 7*x + 7*x^2 - 6*x^3 + 2*x^4)),x]
 

output

Integrate[((-1 + x)*(-3 + 8*x - 8*x^2 + 12*x^4))/(x*((1 - 2*x^2)/(1 + 2*x^ 
2))^(2/3)*(1 + 2*x^2)*(3 - 7*x + 7*x^2 - 6*x^3 + 2*x^4)), x]
 

3.20.58.3 Rubi [F]

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 {(x-1) \left (12 x^4-8 x^2+8 x-3\right )}{x \left (\frac {1-2 x^2}{2 x^2+1}\right )^{2/3} \left (2 x^2+1\right ) \left (2 x^4-6 x^3+7 x^2-7 x+3\right )} \, dx\)

\(\Big \downarrow \) 2058

\(\displaystyle \frac {\left (1-2 x^2\right )^{2/3} \int \frac {(1-x) \left (-12 x^4+8 x^2-8 x+3\right )}{x \left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1} \left (2 x^4-6 x^3+7 x^2-7 x+3\right )}dx}{\left (\frac {1-2 x^2}{2 x^2+1}\right )^{2/3} \left (2 x^2+1\right )^{2/3}}\)

\(\Big \downarrow \) 7293

\(\displaystyle \frac {\left (1-2 x^2\right )^{2/3} \int \left (\frac {22 x^3-44 x^2+51 x-22}{\left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1} \left (2 x^4-6 x^3+7 x^2-7 x+3\right )}+\frac {1}{x \left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1}}+\frac {6}{\left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1}}\right )dx}{\left (\frac {1-2 x^2}{2 x^2+1}\right )^{2/3} \left (2 x^2+1\right )^{2/3}}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {\left (1-2 x^2\right )^{2/3} \left (-22 \int \frac {1}{\left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1} \left (2 x^4-6 x^3+7 x^2-7 x+3\right )}dx+51 \int \frac {x}{\left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1} \left (2 x^4-6 x^3+7 x^2-7 x+3\right )}dx-44 \int \frac {x^2}{\left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1} \left (2 x^4-6 x^3+7 x^2-7 x+3\right )}dx+22 \int \frac {x^3}{\left (1-2 x^2\right )^{2/3} \sqrt [3]{2 x^2+1} \left (2 x^4-6 x^3+7 x^2-7 x+3\right )}dx+6 x \operatorname {AppellF1}\left (\frac {1}{2},\frac {2}{3},\frac {1}{3},\frac {3}{2},2 x^2,-2 x^2\right )+\frac {1}{2} \sqrt {3} \arctan \left (\frac {2 \sqrt [3]{2 x^2+1}}{\sqrt {3} \sqrt [3]{1-2 x^2}}+\frac {1}{\sqrt {3}}\right )+\frac {3}{4} \log \left (\sqrt [3]{1-2 x^2}-\sqrt [3]{2 x^2+1}\right )-\frac {\log (x)}{2}\right )}{\left (\frac {1-2 x^2}{2 x^2+1}\right )^{2/3} \left (2 x^2+1\right )^{2/3}}\)

input

Int[((-1 + x)*(-3 + 8*x - 8*x^2 + 12*x^4))/(x*((1 - 2*x^2)/(1 + 2*x^2))^(2 
/3)*(1 + 2*x^2)*(3 - 7*x + 7*x^2 - 6*x^3 + 2*x^4)),x]
 

output

$Aborted
 

3.20.58.3.1 Defintions of rubi rules used

rule 2009

Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2058

Int[(u_.)*((e_.)*((a_.) + (b_.)*(x_)^(n_.))^(q_.)*((c_) + (d_.)*(x_)^(n_))^ 
(r_.))^(p_), x_Symbol] :> Simp[Simp[(e*(a + b*x^n)^q*(c + d*x^n)^r)^p/((a + 
 b*x^n)^(p*q)*(c + d*x^n)^(p*r))]   Int[u*(a + b*x^n)^(p*q)*(c + d*x^n)^(p* 
r), x], x] /; FreeQ[{a, b, c, d, e, n, p, q, r}, x]
 

rule 7293

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 

3.20.58.4 Maple [C] (verified)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 3.16 (sec) , antiderivative size = 2145, normalized size of antiderivative = 15.54

method	result	size
trager	\(\text {Expression too large to display}\)	\(2145\)

input

int((-1+x)*(12*x^4-8*x^2+8*x-3)/x/((-2*x^2+1)/(2*x^2+1))^(2/3)/(2*x^2+1)/( 
2*x^4-6*x^3+7*x^2-7*x+3),x,method=_RETURNVERBOSE)
 

output

2*RootOf(4*_Z^2+2*_Z+1)*ln((8-12*x-28*RootOf(4*_Z^2+2*_Z+1)^2-20*RootOf(4* 
_Z^2+2*_Z+1)+15*(-(2*x^2-1)/(2*x^2+1))^(2/3)+15*(-(2*x^2-1)/(2*x^2+1))^(1/ 
3)-84*RootOf(4*_Z^2+2*_Z+1)*x^4+56*RootOf(4*_Z^2+2*_Z+1)^2*x^2+98*RootOf(4 
*_Z^2+2*_Z+1)*x^3-58*RootOf(4*_Z^2+2*_Z+1)*x^2+42*RootOf(4*_Z^2+2*_Z+1)*x- 
30*x*(-(2*x^2-1)/(2*x^2+1))^(1/3)-8*x^5+12*x^2-28*x^3+24*x^4+28*RootOf(4*_ 
Z^2+2*_Z+1)*x^5+12*RootOf(4*_Z^2+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^(2/3)*x^3- 
12*RootOf(4*_Z^2+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^(1/3)*x^4-12*RootOf(4*_Z^2 
+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^(2/3)*x^2+24*RootOf(4*_Z^2+2*_Z+1)*(-(2*x^ 
2-1)/(2*x^2+1))^(1/3)*x^3-18*RootOf(4*_Z^2+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^ 
(1/3)*x^2+12*RootOf(4*_Z^2+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^(1/3)*x+6*x*Root 
Of(4*_Z^2+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^(2/3)-6*RootOf(4*_Z^2+2*_Z+1)*(-( 
2*x^2-1)/(2*x^2+1))^(2/3)-6*RootOf(4*_Z^2+2*_Z+1)*(-(2*x^2-1)/(2*x^2+1))^( 
1/3)+30*(-(2*x^2-1)/(2*x^2+1))^(1/3)*x^4-60*(-(2*x^2-1)/(2*x^2+1))^(1/3)*x 
^3+30*(-(2*x^2-1)/(2*x^2+1))^(2/3)*x^2+45*(-(2*x^2-1)/(2*x^2+1))^(1/3)*x^2 
-30*x^3*(-(2*x^2-1)/(2*x^2+1))^(2/3)-15*(-(2*x^2-1)/(2*x^2+1))^(2/3)*x)/x/ 
(2*x^4-6*x^3+7*x^2-7*x+3))-2*ln((11-33*x-28*RootOf(4*_Z^2+2*_Z+1)^2-8*Root 
Of(4*_Z^2+2*_Z+1)+18*(-(2*x^2-1)/(2*x^2+1))^(2/3)+18*(-(2*x^2-1)/(2*x^2+1) 
)^(1/3)+84*RootOf(4*_Z^2+2*_Z+1)*x^4+56*RootOf(4*_Z^2+2*_Z+1)^2*x^2-98*Roo 
tOf(4*_Z^2+2*_Z+1)*x^3+114*RootOf(4*_Z^2+2*_Z+1)*x^2-42*RootOf(4*_Z^2+2*_Z 
+1)*x-36*x*(-(2*x^2-1)/(2*x^2+1))^(1/3)-22*x^5+55*x^2-77*x^3+66*x^4-28*...
 

3.20.58.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 278 vs. \(2 (125) = 250\).

Time = 2.11 (sec) , antiderivative size = 278, normalized size of antiderivative = 2.01 \[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\sqrt {3} \arctan \left (\frac {434 \, \sqrt {3} {\left (2 \, x^{3} - 2 \, x^{2} + x - 1\right )} \left (-\frac {2 \, x^{2} - 1}{2 \, x^{2} + 1}\right )^{\frac {2}{3}} + 682 \, \sqrt {3} {\left (2 \, x^{4} - 4 \, x^{3} + 3 \, x^{2} - 2 \, x + 1\right )} \left (-\frac {2 \, x^{2} - 1}{2 \, x^{2} + 1}\right )^{\frac {1}{3}} + \sqrt {3} {\left (242 \, x^{5} - 726 \, x^{4} + 847 \, x^{3} - 1095 \, x^{2} + 363 \, x + 124\right )}}{2662 \, x^{5} - 7986 \, x^{4} + 9317 \, x^{3} - 5969 \, x^{2} + 3993 \, x - 1674}\right ) + \frac {1}{2} \, \log \left (\frac {2 \, x^{5} - 6 \, x^{4} + 7 \, x^{3} - 7 \, x^{2} + 3 \, {\left (2 \, x^{3} - 2 \, x^{2} + x - 1\right )} \left (-\frac {2 \, x^{2} - 1}{2 \, x^{2} + 1}\right )^{\frac {2}{3}} + 3 \, {\left (2 \, x^{4} - 4 \, x^{3} + 3 \, x^{2} - 2 \, x + 1\right )} \left (-\frac {2 \, x^{2} - 1}{2 \, x^{2} + 1}\right )^{\frac {1}{3}} + 3 \, x}{2 \, x^{5} - 6 \, x^{4} + 7 \, x^{3} - 7 \, x^{2} + 3 \, x}\right ) \]

input

integrate((-1+x)*(12*x^4-8*x^2+8*x-3)/x/((-2*x^2+1)/(2*x^2+1))^(2/3)/(2*x^ 
2+1)/(2*x^4-6*x^3+7*x^2-7*x+3),x, algorithm="fricas")
 

output

sqrt(3)*arctan((434*sqrt(3)*(2*x^3 - 2*x^2 + x - 1)*(-(2*x^2 - 1)/(2*x^2 + 
 1))^(2/3) + 682*sqrt(3)*(2*x^4 - 4*x^3 + 3*x^2 - 2*x + 1)*(-(2*x^2 - 1)/( 
2*x^2 + 1))^(1/3) + sqrt(3)*(242*x^5 - 726*x^4 + 847*x^3 - 1095*x^2 + 363* 
x + 124))/(2662*x^5 - 7986*x^4 + 9317*x^3 - 5969*x^2 + 3993*x - 1674)) + 1 
/2*log((2*x^5 - 6*x^4 + 7*x^3 - 7*x^2 + 3*(2*x^3 - 2*x^2 + x - 1)*(-(2*x^2 
 - 1)/(2*x^2 + 1))^(2/3) + 3*(2*x^4 - 4*x^3 + 3*x^2 - 2*x + 1)*(-(2*x^2 - 
1)/(2*x^2 + 1))^(1/3) + 3*x)/(2*x^5 - 6*x^4 + 7*x^3 - 7*x^2 + 3*x))
 

3.20.58.6 Sympy [F(-1)]

Timed out. \[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\text {Timed out} \]

input

integrate((-1+x)*(12*x**4-8*x**2+8*x-3)/x/((-2*x**2+1)/(2*x**2+1))**(2/3)/ 
(2*x**2+1)/(2*x**4-6*x**3+7*x**2-7*x+3),x)
 

output

Timed out
 

3.20.58.7 Maxima [F]

\[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\int { \frac {{\left (12 \, x^{4} - 8 \, x^{2} + 8 \, x - 3\right )} {\left (x - 1\right )}}{{\left (2 \, x^{4} - 6 \, x^{3} + 7 \, x^{2} - 7 \, x + 3\right )} {\left (2 \, x^{2} + 1\right )} x \left (-\frac {2 \, x^{2} - 1}{2 \, x^{2} + 1}\right )^{\frac {2}{3}}} \,d x } \]

input

integrate((-1+x)*(12*x^4-8*x^2+8*x-3)/x/((-2*x^2+1)/(2*x^2+1))^(2/3)/(2*x^ 
2+1)/(2*x^4-6*x^3+7*x^2-7*x+3),x, algorithm="maxima")
 

output

integrate((12*x^4 - 8*x^2 + 8*x - 3)*(x - 1)/((2*x^4 - 6*x^3 + 7*x^2 - 7*x 
 + 3)*(2*x^2 + 1)*x*(-(2*x^2 - 1)/(2*x^2 + 1))^(2/3)), x)
 

3.20.58.8 Giac [F]

\[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\int { \frac {{\left (12 \, x^{4} - 8 \, x^{2} + 8 \, x - 3\right )} {\left (x - 1\right )}}{{\left (2 \, x^{4} - 6 \, x^{3} + 7 \, x^{2} - 7 \, x + 3\right )} {\left (2 \, x^{2} + 1\right )} x \left (-\frac {2 \, x^{2} - 1}{2 \, x^{2} + 1}\right )^{\frac {2}{3}}} \,d x } \]

input

integrate((-1+x)*(12*x^4-8*x^2+8*x-3)/x/((-2*x^2+1)/(2*x^2+1))^(2/3)/(2*x^ 
2+1)/(2*x^4-6*x^3+7*x^2-7*x+3),x, algorithm="giac")
 

output

integrate((12*x^4 - 8*x^2 + 8*x - 3)*(x - 1)/((2*x^4 - 6*x^3 + 7*x^2 - 7*x 
 + 3)*(2*x^2 + 1)*x*(-(2*x^2 - 1)/(2*x^2 + 1))^(2/3)), x)
 

3.20.58.9 Mupad [F(-1)]

Timed out. \[ \int \frac {(-1+x) \left (-3+8 x-8 x^2+12 x^4\right )}{x \left (\frac {1-2 x^2}{1+2 x^2}\right )^{2/3} \left (1+2 x^2\right ) \left (3-7 x+7 x^2-6 x^3+2 x^4\right )} \, dx=\int \frac {\left (x-1\right )\,\left (12\,x^4-8\,x^2+8\,x-3\right )}{x\,\left (2\,x^2+1\right )\,{\left (-\frac {2\,x^2-1}{2\,x^2+1}\right )}^{2/3}\,\left (2\,x^4-6\,x^3+7\,x^2-7\,x+3\right )} \,d x \]

input

int(((x - 1)*(8*x - 8*x^2 + 12*x^4 - 3))/(x*(2*x^2 + 1)*(-(2*x^2 - 1)/(2*x 
^2 + 1))^(2/3)*(7*x^2 - 7*x - 6*x^3 + 2*x^4 + 3)),x)
 

output

int(((x - 1)*(8*x - 8*x^2 + 12*x^4 - 3))/(x*(2*x^2 + 1)*(-(2*x^2 - 1)/(2*x 
^2 + 1))^(2/3)*(7*x^2 - 7*x - 6*x^3 + 2*x^4 + 3)), x)