3.121 \(\int \frac {1}{(a+8 x-8 x^2+4 x^3-x^4)^2} \, dx\)
Optimal. Leaf size=169 \[ \frac {(x-1) \left (a+(x-1)^2+5\right )}{4 \left (a^2+7 a+12\right ) \left (a-(x-1)^4-2 (x-1)^2+3\right )}-\frac {\left (3 a+\sqrt {a+4}+10\right ) \tan ^{-1}\left (\frac {x-1}{\sqrt {1-\sqrt {a+4}}}\right )}{8 (a+3) (a+4)^{3/2} \sqrt {1-\sqrt {a+4}}}+\frac {\left (3 a-\sqrt {a+4}+10\right ) \tan ^{-1}\left (\frac {x-1}{\sqrt {\sqrt {a+4}+1}}\right )}{8 (a+3) (a+4)^{3/2} \sqrt {\sqrt {a+4}+1}} \]
[Out]
1/4*(5+a+(-1+x)^2)*(-1+x)/(a^2+7*a+12)/(3+a-2*(-1+x)^2-(-1+x)^4)-1/8*arctan((-1+x)/(1-(4+a)^(1/2))^(1/2))*(10+
3*a+(4+a)^(1/2))/(3+a)/(4+a)^(3/2)/(1-(4+a)^(1/2))^(1/2)+1/8*arctan((-1+x)/(1+(4+a)^(1/2))^(1/2))*(10+3*a-(4+a
)^(1/2))/(3+a)/(4+a)^(3/2)/(1+(4+a)^(1/2))^(1/2)
________________________________________________________________________________________
Rubi [A] time = 0.29, antiderivative size = 169, normalized size of antiderivative = 1.00,
number of steps used = 5, number of rules used = 4, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used =
{1106, 1092, 1166, 204} \[ \frac {(x-1) \left (a+(x-1)^2+5\right )}{4 \left (a^2+7 a+12\right ) \left (a-(x-1)^4-2 (x-1)^2+3\right )}-\frac {\left (3 a+\sqrt {a+4}+10\right ) \tan ^{-1}\left (\frac {x-1}{\sqrt {1-\sqrt {a+4}}}\right )}{8 (a+3) (a+4)^{3/2} \sqrt {1-\sqrt {a+4}}}+\frac {\left (3 a-\sqrt {a+4}+10\right ) \tan ^{-1}\left (\frac {x-1}{\sqrt {\sqrt {a+4}+1}}\right )}{8 (a+3) (a+4)^{3/2} \sqrt {\sqrt {a+4}+1}} \]
Antiderivative was successfully verified.
[In]
Int[(a + 8*x - 8*x^2 + 4*x^3 - x^4)^(-2),x]
[Out]
((5 + a + (-1 + x)^2)*(-1 + x))/(4*(12 + 7*a + a^2)*(3 + a - 2*(-1 + x)^2 - (-1 + x)^4)) - ((10 + 3*a + Sqrt[4
+ a])*ArcTan[(-1 + x)/Sqrt[1 - Sqrt[4 + a]]])/(8*(3 + a)*(4 + a)^(3/2)*Sqrt[1 - Sqrt[4 + a]]) + ((10 + 3*a -
Sqrt[4 + a])*ArcTan[(-1 + x)/Sqrt[1 + Sqrt[4 + a]]])/(8*(3 + a)*(4 + a)^(3/2)*Sqrt[1 + Sqrt[4 + a]])
Rule 204
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTan[(Rt[-b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[-b, 2]), x] /
; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])
Rule 1092
Int[((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_), x_Symbol] :> -Simp[(x*(b^2 - 2*a*c + b*c*x^2)*(a + b*x^2 + c*x^
4)^(p + 1))/(2*a*(p + 1)*(b^2 - 4*a*c)), x] + Dist[1/(2*a*(p + 1)*(b^2 - 4*a*c)), Int[(b^2 - 2*a*c + 2*(p + 1)
*(b^2 - 4*a*c) + b*c*(4*p + 7)*x^2)*(a + b*x^2 + c*x^4)^(p + 1), x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*
a*c, 0] && LtQ[p, -1] && IntegerQ[2*p]
Rule 1106
Int[(P4_)^(p_), x_Symbol] :> With[{a = Coeff[P4, x, 0], b = Coeff[P4, x, 1], c = Coeff[P4, x, 2], d = Coeff[P4
, x, 3], e = Coeff[P4, x, 4]}, Subst[Int[SimplifyIntegrand[(a + d^4/(256*e^3) - (b*d)/(8*e) + (c - (3*d^2)/(8*
e))*x^2 + e*x^4)^p, x], x], x, d/(4*e) + x] /; EqQ[d^3 - 4*c*d*e + 8*b*e^2, 0] && NeQ[d, 0]] /; FreeQ[p, x] &&
PolyQ[P4, x, 4] && NeQ[p, 2] && NeQ[p, 3]
Rule 1166
Int[((d_) + (e_.)*(x_)^2)/((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Di
st[e/2 + (2*c*d - b*e)/(2*q), Int[1/(b/2 - q/2 + c*x^2), x], x] + Dist[e/2 - (2*c*d - b*e)/(2*q), Int[1/(b/2 +
q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - a*e^2, 0] && PosQ[b^
2 - 4*a*c]
Rubi steps
\begin {align*} \int \frac {1}{\left (a+8 x-8 x^2+4 x^3-x^4\right )^2} \, dx &=\operatorname {Subst}\left (\int \frac {1}{\left (3+a-2 x^2-x^4\right )^2} \, dx,x,-1+x\right )\\ &=\frac {\left (5+a+(-1+x)^2\right ) (-1+x)}{4 \left (12+7 a+a^2\right ) \left (3+a-2 (-1+x)^2-(-1+x)^4\right )}-\frac {\operatorname {Subst}\left (\int \frac {4+2 (3+a)-2 (4+4 (3+a))-2 x^2}{3+a-2 x^2-x^4} \, dx,x,-1+x\right )}{8 \left (12+7 a+a^2\right )}\\ &=\frac {\left (5+a+(-1+x)^2\right ) (-1+x)}{4 \left (12+7 a+a^2\right ) \left (3+a-2 (-1+x)^2-(-1+x)^4\right )}-\frac {\left (10+3 a-\sqrt {4+a}\right ) \operatorname {Subst}\left (\int \frac {1}{-1-\sqrt {4+a}-x^2} \, dx,x,-1+x\right )}{8 (3+a) (4+a)^{3/2}}+\frac {\left (10+3 a+\sqrt {4+a}\right ) \operatorname {Subst}\left (\int \frac {1}{-1+\sqrt {4+a}-x^2} \, dx,x,-1+x\right )}{8 (3+a) (4+a)^{3/2}}\\ &=\frac {\left (5+a+(-1+x)^2\right ) (-1+x)}{4 \left (12+7 a+a^2\right ) \left (3+a-2 (-1+x)^2-(-1+x)^4\right )}+\frac {\left (10+3 a+\sqrt {4+a}\right ) \tan ^{-1}\left (\frac {1-x}{\sqrt {1-\sqrt {4+a}}}\right )}{8 (3+a) (4+a)^{3/2} \sqrt {1-\sqrt {4+a}}}-\frac {\left (10+3 a-\sqrt {4+a}\right ) \tan ^{-1}\left (\frac {1-x}{\sqrt {1+\sqrt {4+a}}}\right )}{8 (3+a) (4+a)^{3/2} \sqrt {1+\sqrt {4+a}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.07, size = 150, normalized size = 0.89 \[ \frac {(x-1) \left (a+x^2-2 x+6\right )}{4 (a+3) (a+4) \left (a-x \left (x^3-4 x^2+8 x-8\right )\right )}-\frac {\text {RootSum}\left [-\text {$\#$1}^4+4 \text {$\#$1}^3-8 \text {$\#$1}^2+8 \text {$\#$1}+a\& ,\frac {\text {$\#$1}^2 \log (x-\text {$\#$1})+3 a \log (x-\text {$\#$1})-2 \text {$\#$1} \log (x-\text {$\#$1})+12 \log (x-\text {$\#$1})}{\text {$\#$1}^3-3 \text {$\#$1}^2+4 \text {$\#$1}-2}\& \right ]}{16 \left (a^2+7 a+12\right )} \]
Antiderivative was successfully verified.
[In]
Integrate[(a + 8*x - 8*x^2 + 4*x^3 - x^4)^(-2),x]
[Out]
((-1 + x)*(6 + a - 2*x + x^2))/(4*(3 + a)*(4 + a)*(a - x*(-8 + 8*x - 4*x^2 + x^3))) - RootSum[a + 8*#1 - 8*#1^
2 + 4*#1^3 - #1^4 & , (12*Log[x - #1] + 3*a*Log[x - #1] - 2*Log[x - #1]*#1 + Log[x - #1]*#1^2)/(-2 + 4*#1 - 3*
#1^2 + #1^3) & ]/(16*(12 + 7*a + a^2))
________________________________________________________________________________________
fricas [B] time = 0.44, size = 1948, normalized size = 11.53 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(-x^4+4*x^3-8*x^2+a+8*x)^2,x, algorithm="fricas")
[Out]
-1/16*(4*x^3 - ((a^2 + 7*a + 12)*x^4 - 4*(a^2 + 7*a + 12)*x^3 - a^3 + 8*(a^2 + 7*a + 12)*x^2 - 7*a^2 - 8*(a^2
+ 7*a + 12)*x - 12*a)*sqrt((15*a^2 + (a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)*sqrt((81*a^
2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304
*a + 46656)) + 105*a + 184)/(a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728))*log(-81*a^2 + (81*a
^2 + 567*a + 992)*x + (27*a^4 + 408*a^3 + 2309*a^2 - 2*(2*a^7 + 49*a^6 + 513*a^5 + 2975*a^4 + 10321*a^3 + 2142
0*a^2 + 24624*a + 12096)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^
4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 5800*a + 5456)*sqrt((15*a^2 + (a^6 + 21*a^5 + 183*a^4 + 847
*a^3 + 2196*a^2 + 3024*a + 1728)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 +
50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 105*a + 184)/(a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 21
96*a^2 + 3024*a + 1728)) - 567*a - 992) + ((a^2 + 7*a + 12)*x^4 - 4*(a^2 + 7*a + 12)*x^3 - a^3 + 8*(a^2 + 7*a
+ 12)*x^2 - 7*a^2 - 8*(a^2 + 7*a + 12)*x - 12*a)*sqrt((15*a^2 + (a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 +
3024*a + 1728)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 11110
5*a^3 + 156492*a^2 + 128304*a + 46656)) + 105*a + 184)/(a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a +
1728))*log(-81*a^2 + (81*a^2 + 567*a + 992)*x - (27*a^4 + 408*a^3 + 2309*a^2 - 2*(2*a^7 + 49*a^6 + 513*a^5 +
2975*a^4 + 10321*a^3 + 21420*a^2 + 24624*a + 12096)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088
*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 5800*a + 5456)*sqrt((15*a^2 + (a
^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^
7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 105*a + 184)/(a^6 + 21*a
^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)) - 567*a - 992) - ((a^2 + 7*a + 12)*x^4 - 4*(a^2 + 7*a + 12
)*x^3 - a^3 + 8*(a^2 + 7*a + 12)*x^2 - 7*a^2 - 8*(a^2 + 7*a + 12)*x - 12*a)*sqrt((15*a^2 - (a^6 + 21*a^5 + 183
*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15
327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 105*a + 184)/(a^6 + 21*a^5 + 183*a^4 + 84
7*a^3 + 2196*a^2 + 3024*a + 1728))*log(-81*a^2 + (81*a^2 + 567*a + 992)*x + (27*a^4 + 408*a^3 + 2309*a^2 + 2*(
2*a^7 + 49*a^6 + 513*a^5 + 2975*a^4 + 10321*a^3 + 21420*a^2 + 24624*a + 12096)*sqrt((81*a^2 + 558*a + 961)/(a^
9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 5800*
a + 5456)*sqrt((15*a^2 - (a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)*sqrt((81*a^2 + 558*a +
961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656))
+ 105*a + 184)/(a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)) - 567*a - 992) + ((a^2 + 7*a +
12)*x^4 - 4*(a^2 + 7*a + 12)*x^3 - a^3 + 8*(a^2 + 7*a + 12)*x^2 - 7*a^2 - 8*(a^2 + 7*a + 12)*x - 12*a)*sqrt((1
5*a^2 - (a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^
8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 + 128304*a + 46656)) + 105*a + 184)/(
a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728))*log(-81*a^2 + (81*a^2 + 567*a + 992)*x - (27*a^4
+ 408*a^3 + 2309*a^2 + 2*(2*a^7 + 49*a^6 + 513*a^5 + 2975*a^4 + 10321*a^3 + 21420*a^2 + 24624*a + 12096)*sqrt
((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 156492*a^2 +
128304*a + 46656)) + 5800*a + 5456)*sqrt((15*a^2 - (a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 17
28)*sqrt((81*a^2 + 558*a + 961)/(a^9 + 30*a^8 + 399*a^7 + 3088*a^6 + 15327*a^5 + 50598*a^4 + 111105*a^3 + 1564
92*a^2 + 128304*a + 46656)) + 105*a + 184)/(a^6 + 21*a^5 + 183*a^4 + 847*a^3 + 2196*a^2 + 3024*a + 1728)) - 56
7*a - 992) + 4*(a + 8)*x - 12*x^2 - 4*a - 24)/((a^2 + 7*a + 12)*x^4 - 4*(a^2 + 7*a + 12)*x^3 - a^3 + 8*(a^2 +
7*a + 12)*x^2 - 7*a^2 - 8*(a^2 + 7*a + 12)*x - 12*a)
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: NotImplementedError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(-x^4+4*x^3-8*x^2+a+8*x)^2,x, algorithm="giac")
[Out]
Exception raised: NotImplementedError >> Unable to parse Giac output: Warning, need to choose a branch for the
root of a polynomial with parameters. This might be wrong.The choice was done assuming [a]=[86]Warning, need
to choose a branch for the root of a polynomial with parameters. This might be wrong.The choice was done assum
ing [a]=[12]Warning, need to choose a branch for the root of a polynomial with parameters. This might be wrong
.The choice was done assuming [a]=[48]Warning, need to choose a branch for the root of a polynomial with param
eters. This might be wrong.The choice was done assuming [a]=[34](x^3-3*x^2+x*a+8*x-a-6)/(-4*a^2-28*a-48)/(x^4-
4*x^3+8*x^2-8*x-a)+(sqrt(1/16)*sqrt(1/256*(256*sqrt(a+4)*(9*a^3+103*a^2+392*a+496)+3840*a^3+42240*a^2+154624*a
+188416)/(a^3+11*a^2+40*a+48))*ln(abs(243*a^10*sqrt(a+4)+324*a^10+8640*a^9*sqrt(a+4)+11466*a^9+81*a^8*sqrt(sqr
t(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-81*a^8*sqrt(sqrt(a+4)*(9*a^4
+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+138027*a^8*sqrt(a+4)+182314*a^8+81*a^7*sqrt
(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-81*a^7*sqrt(sq
rt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+2340*a^7*sqrt(sqrt(
a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-2340*a^7*sqrt(sqrt(a+4)*(9*a^4
+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+1304648*a^7*sqrt(a+4)+1715172*a^7+2016*a^6*
sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-2016*a^6*s
qrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+29518*a^6*sqr
t(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-29518*a^6*sqrt(sqrt(a+4
)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+8079749*a^6*sqrt(a+4)+10572392*a^6+
21454*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-
21454*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+21
2356*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-212356*a^5*
sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+34255200*a^5*sqrt(a+4)
+44613658*a^5+126540*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+220
8)*sqrt(a+4)*x-126540*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+22
08)*sqrt(a+4)+952845*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+220
8)*x-952845*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+100679
657*a^4*sqrt(a+4)+130513730*a^4+446685*a^3*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1
099*a^2+2548*a+2208)*sqrt(a+4)*x-446685*a^3*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+
1099*a^2+2548*a+2208)*sqrt(a+4)+2730184*a^3*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+
1099*a^2+2548*a+2208)*x-2730184*a^3*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2
+2548*a+2208)+202540404*a^3*sqrt(a+4)+261341928*a^3+943444*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+14
88)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-943444*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1
488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+4877364*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1
488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-4877364*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*
a^4+210*a^3+1099*a^2+2548*a+2208)+266882676*a^2*sqrt(a+4)+342778384*a^2+1103588*a*sqrt(sqrt(a+4)*(9*a^4+130*a^
3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-1103588*a*sqrt(sqrt(a+4)*(9*a^4+130*a^
3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+4965684*a*sqrt(sqrt(a+4)*(9*a^4+130*a^3+
701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-4965684*a*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+16
72*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+207974132*a*sqrt(a+4)+265897256*a+551332*sqrt(sqrt(a+4)*(9*a^4
+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-551332*sqrt(sqrt(a+4)*(9*a^4+13
0*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+2205328*sqrt(sqrt(a+4)*(9*a^4+130*a^
3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-2205328*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+16
72*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+72775824*sqrt(a+4)+92623776))-sqrt(1/16)*sqrt(1/256*(256*sqrt(
a+4)*(9*a^3+103*a^2+392*a+496)+3840*a^3+42240*a^2+154624*a+188416)/(a^3+11*a^2+40*a+48))*ln(abs(243*a^10*sqrt(
a+4)+324*a^10+8640*a^9*sqrt(a+4)+11466*a^9-81*a^8*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+21
0*a^3+1099*a^2+2548*a+2208)*x+81*a^8*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^
2+2548*a+2208)+138027*a^8*sqrt(a+4)+182314*a^8-81*a^7*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^
4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+81*a^7*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+2
10*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-2340*a^7*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*
a^3+1099*a^2+2548*a+2208)*x+2340*a^7*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^
2+2548*a+2208)+1304648*a^7*sqrt(a+4)+1715172*a^7-2016*a^6*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+1
5*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+2016*a^6*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15
*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-29518*a^6*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a
^4+210*a^3+1099*a^2+2548*a+2208)*x+29518*a^6*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3
+1099*a^2+2548*a+2208)+8079749*a^6*sqrt(a+4)+10572392*a^6-21454*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672
*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+21454*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672
*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-212356*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*
a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+212356*a^5*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+1
5*a^4+210*a^3+1099*a^2+2548*a+2208)+34255200*a^5*sqrt(a+4)+44613658*a^5-126540*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a
^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+126540*a^4*sqrt(sqrt(a+4)*(9*a^4+130*
a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-952845*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a
^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+952845*a^4*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^
2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+100679657*a^4*sqrt(a+4)+130513730*a^4-446685*a^3*sqrt(sqrt
(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+446685*a^3*sqrt(sqr
t(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-2730184*a^3*sqrt(sqr
t(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+2730184*a^3*sqrt(sqrt(a+4)*(
9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+202540404*a^3*sqrt(a+4)+261341928*a^3-
943444*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x
+943444*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-
4877364*a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+4877364*
a^2*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+266882676*a^2*sqrt
(a+4)+342778384*a^2-1103588*a*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*
a+2208)*sqrt(a+4)*x+1103588*a*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*
a+2208)*sqrt(a+4)-4965684*a*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+
2208)*x+4965684*a*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+2079
74132*a*sqrt(a+4)+265897256*a-551332*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^
2+2548*a+2208)*sqrt(a+4)*x+551332*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2
548*a+2208)*sqrt(a+4)-2205328*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*
a+2208)*x+2205328*sqrt(sqrt(a+4)*(9*a^4+130*a^3+701*a^2+1672*a+1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)+7277
5824*sqrt(a+4)+92623776))+sqrt(1/16)*sqrt(1/256*(-256*sqrt(a+4)*(9*a^3+103*a^2+392*a+496)+3840*a^3+42240*a^2+1
54624*a+188416)/(a^3+11*a^2+40*a+48))*ln(abs(-243*a^10*sqrt(a+4)+324*a^10-8640*a^9*sqrt(a+4)+11466*a^9+81*a^8*
sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-81*a^8*sqrt(sqrt(a+
4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-138027*a^8*sqrt(a+4)+182314*a^8-8
1*a^7*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+81*
a^7*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+2340*a^
7*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-2340*a^7*sqrt(sqr
t(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-1304648*a^7*sqrt(a+4)+1715172
*a^7-2016*a^6*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+
4)*x+2016*a^6*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+
4)+29518*a^6*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-29518*
a^6*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-8079749*a^6*sqrt(
a+4)+10572392*a^6-21454*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a
+2208)*sqrt(a+4)*x+21454*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*
a+2208)*sqrt(a+4)+212356*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*
a+2208)*x-212356*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-
34255200*a^5*sqrt(a+4)+44613658*a^5-126540*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*
a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+126540*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+21
0*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+952845*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+21
0*a^3+1099*a^2+2548*a+2208)*x-952845*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+10
99*a^2+2548*a+2208)-100679657*a^4*sqrt(a+4)+130513730*a^4-446685*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-16
72*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+446685*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-
1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+2730184*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2
-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-2730184*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a
-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-202540404*a^3*sqrt(a+4)+261341928*a^3-943444*a^2*sqrt(sqrt(a+4)*(-
9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+943444*a^2*sqrt(sqrt(a+4)*
(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+4877364*a^2*sqrt(sqrt(a+4)
*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-4877364*a^2*sqrt(sqrt(a+4)*(-9*a^
4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-266882676*a^2*sqrt(a+4)+342778384*a^2-1103
588*a*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x+110
3588*a*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)+4965
684*a*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-4965684*a*sqr
t(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-207974132*a*sqrt(a+4)+26
5897256*a-551332*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt
(a+4)*x+551332*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a
+4)+2205328*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x-2205328
*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-72775824*sqrt(a+4)+9
2623776))-sqrt(1/16)*sqrt(1/256*(-256*sqrt(a+4)*(9*a^3+103*a^2+392*a+496)+3840*a^3+42240*a^2+154624*a+188416)/
(a^3+11*a^2+40*a+48))*ln(abs(-243*a^10*sqrt(a+4)+324*a^10-8640*a^9*sqrt(a+4)+11466*a^9-81*a^8*sqrt(sqrt(a+4)*(
-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+81*a^8*sqrt(sqrt(a+4)*(-9*a^4-130*a
^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-138027*a^8*sqrt(a+4)+182314*a^8+81*a^7*sqrt(sqrt(
a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-81*a^7*sqrt(sqrt(a+
4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-2340*a^7*sqrt(sqrt(a+4)
*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+2340*a^7*sqrt(sqrt(a+4)*(-9*a^4-1
30*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-1304648*a^7*sqrt(a+4)+1715172*a^7+2016*a^6*sq
rt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-2016*a^6*sq
rt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-29518*a^6*sqr
t(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+29518*a^6*sqrt(sqrt(a+
4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-8079749*a^6*sqrt(a+4)+10572392*a^
6+21454*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)
*x-21454*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4
)-212356*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+212356
*a^5*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-34255200*a^5*sqr
t(a+4)+44613658*a^5+126540*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+254
8*a+2208)*sqrt(a+4)*x-126540*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2
548*a+2208)*sqrt(a+4)-952845*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2
548*a+2208)*x+952845*a^4*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+22
08)-100679657*a^4*sqrt(a+4)+130513730*a^4+446685*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^
4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-446685*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*
a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-2730184*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15
*a^4+210*a^3+1099*a^2+2548*a+2208)*x+2730184*a^3*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+21
0*a^3+1099*a^2+2548*a+2208)-202540404*a^3*sqrt(a+4)+261341928*a^3+943444*a^2*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-70
1*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-943444*a^2*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-
701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-4877364*a^2*sqrt(sqrt(a+4)*(-9*a^4-130*a^3
-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+4877364*a^2*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^
2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-266882676*a^2*sqrt(a+4)+342778384*a^2+1103588*a*sqrt(sqrt(
a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-1103588*a*sqrt(sqrt
(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-4965684*a*sqrt(sqrt(
a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+4965684*a*sqrt(sqrt(a+4)*(-9*
a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-207974132*a*sqrt(a+4)+265897256*a+551332
*sqrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)*x-551332*s
qrt(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*sqrt(a+4)-2205328*sqrt
(sqrt(a+4)*(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)*x+2205328*sqrt(sqrt(a+4)*
(-9*a^4-130*a^3-701*a^2-1672*a-1488)+15*a^4+210*a^3+1099*a^2+2548*a+2208)-72775824*sqrt(a+4)+92623776)))/(4*a^
2+28*a+48)
________________________________________________________________________________________
maple [C] time = 0.01, size = 158, normalized size = 0.93 \[ \frac {\left (-\RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )^{2}+2 \RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )-3 a -12\right ) \ln \left (-\RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )+x \right )}{16 \left (a +3\right ) \left (a +4\right ) \left (\RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )^{3}-3 \RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )^{2}+4 \RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )-2\right )}+\frac {-\frac {x^{3}}{4 \left (a^{2}+7 a +12\right )}+\frac {3 x^{2}}{4 \left (a^{2}+7 a +12\right )}-\frac {\left (a +8\right ) x}{4 \left (a^{2}+7 a +12\right )}+\frac {a +6}{4 a^{2}+28 a +48}}{x^{4}-4 x^{3}+8 x^{2}-a -8 x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(1/(-x^4+4*x^3-8*x^2+a+8*x)^2,x)
[Out]
(-1/4/(a^2+7*a+12)*x^3+3/4/(a^2+7*a+12)*x^2-1/4*(8+a)/(a^2+7*a+12)*x+1/4*(6+a)/(a^2+7*a+12))/(x^4-4*x^3+8*x^2-
a-8*x)+1/16/(3+a)/(4+a)*sum((-_R^2+2*_R-3*a-12)/(_R^3-3*_R^2+4*_R-2)*ln(-_R+x),_R=RootOf(_Z^4-4*_Z^3+8*_Z^2-8*
_Z-a))
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\frac {x^{3} + {\left (a + 8\right )} x - 3 \, x^{2} - a - 6}{4 \, {\left ({\left (a^{2} + 7 \, a + 12\right )} x^{4} - 4 \, {\left (a^{2} + 7 \, a + 12\right )} x^{3} - a^{3} + 8 \, {\left (a^{2} + 7 \, a + 12\right )} x^{2} - 7 \, a^{2} - 8 \, {\left (a^{2} + 7 \, a + 12\right )} x - 12 \, a\right )}} - \frac {\int \frac {x^{2} + 3 \, a - 2 \, x + 12}{x^{4} - 4 \, x^{3} + 8 \, x^{2} - a - 8 \, x}\,{d x}}{4 \, {\left (a^{2} + 7 \, a + 12\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(-x^4+4*x^3-8*x^2+a+8*x)^2,x, algorithm="maxima")
[Out]
-1/4*(x^3 + (a + 8)*x - 3*x^2 - a - 6)/((a^2 + 7*a + 12)*x^4 - 4*(a^2 + 7*a + 12)*x^3 - a^3 + 8*(a^2 + 7*a + 1
2)*x^2 - 7*a^2 - 8*(a^2 + 7*a + 12)*x - 12*a) - 1/4*integrate((x^2 + 3*a - 2*x + 12)/(x^4 - 4*x^3 + 8*x^2 - a
- 8*x), x)/(a^2 + 7*a + 12)
________________________________________________________________________________________
mupad [B] time = 5.35, size = 4591, normalized size = 27.17 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(1/(a + 8*x - 8*x^2 + 4*x^3 - x^4)^2,x)
[Out]
atan(-(((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 117
76)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110
592)))^(1/2)*((((15728640*a + 10878976*a^2 + 3997696*a^3 + 823296*a^4 + 90112*a^5 + 4096*a^6 + 9437184)/(64*(8
16*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(208896*a + 117760*a^2 + 33024*a^3 + 4608*a^4 + 256*a^5 +
147456))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2)
+ 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488
*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) - (733184*a + 396288*a^2 + 106752*a^3 + 14336*a^4 +
768*a^5 + 540672)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)))*((15552*a - 9*a*((a + 4)^9)^(1/2) -
31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^
3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (5568*a + 1552*a^2 + 144*a^3
+ 6656)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(61*a + 9*a^2 + 104))/(4*(168*a + 73*a^2 +
14*a^3 + a^4 + 144)))*1i + ((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 2
85*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7
+ 33*a^8 + a^9 + 110592)))^(1/2)*((((15728640*a + 10878976*a^2 + 3997696*a^3 + 823296*a^4 + 90112*a^5 + 4096*
a^6 + 9437184)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(208896*a + 117760*a^2 + 33024*a^3 +
4608*a^4 + 256*a^5 + 147456))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*((15552*a - 9*a*((a + 4)^9)^(1/2) -
31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^
3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (733184*a + 396288*a^2 + 106
752*a^3 + 14336*a^4 + 768*a^5 + 540672)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)))*((15552*a - 9*a
*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 3
06432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (5568*a
+ 1552*a^2 + 144*a^3 + 6656)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(61*a + 9*a^2 + 104))
/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*1i)/((9*a + 32)/(32*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 57
6)) + ((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 1177
6)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 1105
92)))^(1/2)*((((15728640*a + 10878976*a^2 + 3997696*a^3 + 823296*a^4 + 90112*a^5 + 4096*a^6 + 9437184)/(64*(81
6*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(208896*a + 117760*a^2 + 33024*a^3 + 4608*a^4 + 256*a^5 +
147456))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) +
8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*
a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) - (733184*a + 396288*a^2 + 106752*a^3 + 14336*a^4 +
768*a^5 + 540672)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)))*((15552*a - 9*a*((a + 4)^9)^(1/2) - 3
1*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3
+ 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (5568*a + 1552*a^2 + 144*a^3
+ 6656)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(61*a + 9*a^2 + 104))/(4*(168*a + 73*a^2 +
14*a^3 + a^4 + 144))) - ((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a
^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 3
3*a^8 + a^9 + 110592)))^(1/2)*((((15728640*a + 10878976*a^2 + 3997696*a^3 + 823296*a^4 + 90112*a^5 + 4096*a^6
+ 9437184)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(208896*a + 117760*a^2 + 33024*a^3 + 460
8*a^4 + 256*a^5 + 147456))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*(
(a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 +
81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (733184*a + 396288*a^2 + 106752*
a^3 + 14336*a^4 + 768*a^5 + 540672)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)))*((15552*a - 9*a*((a
+ 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 30643
2*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (5568*a + 1
552*a^2 + 144*a^3 + 6656)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(61*a + 9*a^2 + 104))/(4*
(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))))*((15552*a - 9*a*((a + 4)^9)^(1/2) - 31*((a + 4)^9)^(1/2) + 8208*a^2
+ 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115
*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)*2i + atan(-(((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)
^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4
+ 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)*((((15728640*a + 10878976*a^2 + 3997696*a^3
+ 823296*a^4 + 90112*a^5 + 4096*a^6 + 9437184)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(208
896*a + 117760*a^2 + 33024*a^3 + 4608*a^4 + 256*a^5 + 147456))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*((15
552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(2
76480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2
) - (733184*a + 396288*a^2 + 106752*a^3 + 14336*a^4 + 768*a^5 + 540672)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^
4 + a^5 + 576)))*((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15
*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 +
a^9 + 110592)))^(1/2) + (5568*a + 1552*a^2 + 144*a^3 + 6656)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 +
576)) - (x*(61*a + 9*a^2 + 104))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*1i + ((15552*a + 9*a*((a + 4)^9)^(
1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 19
7632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)*((((15728640*a + 108789
76*a^2 + 3997696*a^3 + 823296*a^4 + 90112*a^5 + 4096*a^6 + 9437184)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 +
a^5 + 576)) - (x*(208896*a + 117760*a^2 + 33024*a^3 + 4608*a^4 + 256*a^5 + 147456))/(4*(168*a + 73*a^2 + 14*a^
3 + a^4 + 144)))*((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15
*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 +
a^9 + 110592)))^(1/2) + (733184*a + 396288*a^2 + 106752*a^3 + 14336*a^4 + 768*a^5 + 540672)/(64*(816*a + 460*
a^2 + 129*a^3 + 18*a^4 + a^5 + 576)))*((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 21
64*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6
+ 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (5568*a + 1552*a^2 + 144*a^3 + 6656)/(64*(816*a + 460*a^2 + 129*
a^3 + 18*a^4 + a^5 + 576)) - (x*(61*a + 9*a^2 + 104))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*1i)/((9*a + 3
2)/(32*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) + ((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^
(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 +
22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)*((((15728640*a + 10878976*a^2 + 3997696*a^3 +
823296*a^4 + 90112*a^5 + 4096*a^6 + 9437184)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 576)) - (x*(2088
96*a + 117760*a^2 + 33024*a^3 + 4608*a^4 + 256*a^5 + 147456))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))*((155
52*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(27
6480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)
- (733184*a + 396288*a^2 + 106752*a^3 + 14336*a^4 + 768*a^5 + 540672)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4
+ a^5 + 576)))*((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*
a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 +
a^9 + 110592)))^(1/2) + (5568*a + 1552*a^2 + 144*a^3 + 6656)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5 + 5
76)) - (x*(61*a + 9*a^2 + 104))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144))) - ((15552*a + 9*a*((a + 4)^9)^(1/2)
+ 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632
*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)*((((15728640*a + 10878976*a
^2 + 3997696*a^3 + 823296*a^4 + 90112*a^5 + 4096*a^6 + 9437184)/(64*(816*a + 460*a^2 + 129*a^3 + 18*a^4 + a^5
+ 576)) - (x*(208896*a + 117760*a^2 + 33024*a^3 + 4608*a^4 + 256*a^5 + 147456))/(4*(168*a + 73*a^2 + 14*a^3 +
a^4 + 144)))*((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5
+ 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9
+ 110592)))^(1/2) + (733184*a + 396288*a^2 + 106752*a^3 + 14336*a^4 + 768*a^5 + 540672)/(64*(816*a + 460*a^2
+ 129*a^3 + 18*a^4 + a^5 + 576)))*((15552*a + 9*a*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a
^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 306432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 4
83*a^7 + 33*a^8 + a^9 + 110592)))^(1/2) + (5568*a + 1552*a^2 + 144*a^3 + 6656)/(64*(816*a + 460*a^2 + 129*a^3
+ 18*a^4 + a^5 + 576)) - (x*(61*a + 9*a^2 + 104))/(4*(168*a + 73*a^2 + 14*a^3 + a^4 + 144)))))*((15552*a + 9*a
*((a + 4)^9)^(1/2) + 31*((a + 4)^9)^(1/2) + 8208*a^2 + 2164*a^3 + 285*a^4 + 15*a^5 + 11776)/(256*(276480*a + 3
06432*a^2 + 197632*a^3 + 81744*a^4 + 22488*a^5 + 4115*a^6 + 483*a^7 + 33*a^8 + a^9 + 110592)))^(1/2)*2i + (x^3
/(4*(7*a + a^2 + 12)) - (a + 6)/(4*(a + 3)*(a + 4)) - (3*x^2)/(4*(a + 3)*(a + 4)) + (x*(a + 8))/(4*(a + 3)*(a
+ 4)))/(a + 8*x - 8*x^2 + 4*x^3 - x^4)
________________________________________________________________________________________
sympy [B] time = 6.32, size = 294, normalized size = 1.74 \[ \frac {a - x^{3} + 3 x^{2} + x \left (- a - 8\right ) + 6}{- 4 a^{3} - 28 a^{2} - 48 a + x^{4} \left (4 a^{2} + 28 a + 48\right ) + x^{3} \left (- 16 a^{2} - 112 a - 192\right ) + x^{2} \left (32 a^{2} + 224 a + 384\right ) + x \left (- 32 a^{2} - 224 a - 384\right )} + \operatorname {RootSum} {\left (t^{4} \left (65536 a^{9} + 2162688 a^{8} + 31653888 a^{7} + 269680640 a^{6} + 1473773568 a^{5} + 5357174784 a^{4} + 12952010752 a^{3} + 20082327552 a^{2} + 18119393280 a + 7247757312\right ) + t^{2} \left (- 7680 a^{5} - 145920 a^{4} - 1107968 a^{3} - 4202496 a^{2} - 7962624 a - 6029312\right ) - 81 a^{2} - 576 a - 1024, \left (t \mapsto t \log {\left (x + \frac {- 16384 t^{3} a^{7} - 401408 t^{3} a^{6} - 4202496 t^{3} a^{5} - 24371200 t^{3} a^{4} - 84549632 t^{3} a^{3} - 175472640 t^{3} a^{2} - 201719808 t^{3} a - 99090432 t^{3} + 432 t a^{4} + 7488 t a^{3} + 47024 t a^{2} + 128096 t a + 128512 t - 81 a^{2} - 567 a - 992}{81 a^{2} + 567 a + 992} \right )} \right )\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(-x**4+4*x**3-8*x**2+a+8*x)**2,x)
[Out]
(a - x**3 + 3*x**2 + x*(-a - 8) + 6)/(-4*a**3 - 28*a**2 - 48*a + x**4*(4*a**2 + 28*a + 48) + x**3*(-16*a**2 -
112*a - 192) + x**2*(32*a**2 + 224*a + 384) + x*(-32*a**2 - 224*a - 384)) + RootSum(_t**4*(65536*a**9 + 216268
8*a**8 + 31653888*a**7 + 269680640*a**6 + 1473773568*a**5 + 5357174784*a**4 + 12952010752*a**3 + 20082327552*a
**2 + 18119393280*a + 7247757312) + _t**2*(-7680*a**5 - 145920*a**4 - 1107968*a**3 - 4202496*a**2 - 7962624*a
- 6029312) - 81*a**2 - 576*a - 1024, Lambda(_t, _t*log(x + (-16384*_t**3*a**7 - 401408*_t**3*a**6 - 4202496*_t
**3*a**5 - 24371200*_t**3*a**4 - 84549632*_t**3*a**3 - 175472640*_t**3*a**2 - 201719808*_t**3*a - 99090432*_t*
*3 + 432*_t*a**4 + 7488*_t*a**3 + 47024*_t*a**2 + 128096*_t*a + 128512*_t - 81*a**2 - 567*a - 992)/(81*a**2 +
567*a + 992))))
________________________________________________________________________________________