3.2.21 \(\int \frac {1}{(a+8 x-8 x^2+4 x^3-x^4)^2} \, dx\) [121]
Optimal. Leaf size=169 \[ \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}}} \]
[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.21, 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 = {1120, 1106,
1180, 210} \begin {gather*} \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 ) \text {ArcTan}\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 ) \text {ArcTan}\left (\frac {x-1}{\sqrt {\sqrt {a+4}+1}}\right )}{8 (a+3) (a+4)^{3/2} \sqrt {\sqrt {a+4}+1}} \end {gather*}
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 210
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(-(Rt[-a, 2]*Rt[-b, 2])^(-1))*ArcTan[Rt[-b, 2]*(x/Rt[-a, 2])
], x] /; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])
Rule 1106
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 1120
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 1180
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 &=\text {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 {\text {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 ) \text {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 ) \text {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] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.04, size = 150, normalized size = 0.89 \begin {gather*} \frac {(-1+x) \left (6+a-2 x+x^2\right )}{4 (3+a) (4+a) \left (a-x \left (-8+8 x-4 x^2+x^3\right )\right )}-\frac {\text {RootSum}\left [a+8 \text {$\#$1}-8 \text {$\#$1}^2+4 \text {$\#$1}^3-\text {$\#$1}^4\&,\frac {12 \log (x-\text {$\#$1})+3 a \log (x-\text {$\#$1})-2 \log (x-\text {$\#$1}) \text {$\#$1}+\log (x-\text {$\#$1}) \text {$\#$1}^2}{-2+4 \text {$\#$1}-3 \text {$\#$1}^2+\text {$\#$1}^3}\&\right ]}{16 \left (12+7 a+a^2\right )} \end {gather*}
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))
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.03, size = 158, normalized size = 0.93
| | |
method |
result |
size |
| | |
default |
\(\frac {\frac {x^{3}}{4 a^{2}+28 a +48}-\frac {3 x^{2}}{4 \left (4+a \right ) \left (3+a \right )}+\frac {\left (a +8\right ) x}{4 a^{2}+28 a +48}-\frac {6+a}{4 \left (a^{2}+7 a +12\right )}}{-x^{4}+4 x^{3}-8 x^{2}+a +8 x}+\frac {\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )}{\sum }\frac {\left (\textit {\_R}^{2}-2 \textit {\_R} +3 a +12\right ) \ln \left (x -\textit {\_R} \right )}{-\textit {\_R}^{3}+3 \textit {\_R}^{2}-4 \textit {\_R} +2}}{16 \left (4+a \right ) \left (3+a \right )}\) |
\(158\) |
risch |
\(\frac {\frac {x^{3}}{4 a^{2}+28 a +48}-\frac {3 x^{2}}{4 \left (4+a \right ) \left (3+a \right )}+\frac {\left (a +8\right ) x}{4 a^{2}+28 a +48}-\frac {6+a}{4 \left (a^{2}+7 a +12\right )}}{-x^{4}+4 x^{3}-8 x^{2}+a +8 x}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{4}-4 \textit {\_Z}^{3}+8 \textit {\_Z}^{2}-8 \textit {\_Z} -a \right )}{\sum }\frac {\left (\frac {\textit {\_R}^{2}}{a^{2}+7 a +12}-\frac {2 \textit {\_R}}{a^{2}+7 a +12}+\frac {3}{3+a}\right ) \ln \left (x -\textit {\_R} \right )}{-\textit {\_R}^{3}+3 \textit {\_R}^{2}-4 \textit {\_R} +2}\right )}{16}\) |
\(172\) |
| | |
|
|
|
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,method=_RETURNVERBOSE)
[Out]
(1/4/(a^2+7*a+12)*x^3-3/4/(4+a)/(3+a)*x^2+1/4*(a+8)/(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/(4+a)/(3+a)*sum((_R^2-2*_R+3*a+12)/(-_R^3+3*_R^2-4*_R+2)*ln(x-_R),_R=RootOf(_Z^4-4*_Z^3+8*_Z^2-8*_Z
-a))
________________________________________________________________________________________
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/(-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)
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1948 vs.
\(2 (139) = 278\).
time = 0.39, size = 1948, normalized size = 11.53 \begin {gather*} \text {Too large to display} \end {gather*}
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)
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 294 vs.
\(2 (144) = 288\).
time = 3.77, size = 294, normalized size = 1.74 \begin {gather*} \frac {a - x^{3} + 3 x^{2} + x \left (- a - 8\right ) + 6}{- 4 a^{3} - 28 a^{2} - 48 a + x^{4} \cdot \left (4 a^{2} + 28 a + 48\right ) + x^{3} \left (- 16 a^{2} - 112 a - 192\right ) + x^{2} \cdot \left (32 a^{2} + 224 a + 384\right ) + x \left (- 32 a^{2} - 224 a - 384\right )} + \operatorname {RootSum} {\left (t^{4} \cdot \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 )} \end {gather*}
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))))
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: NotImplementedError} \end {gather*}
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 [sageVARa]=[86]Warning
, need to choose a br
________________________________________________________________________________________
Mupad [B]
time = 5.35, size = 2500, normalized size = 14.79 \begin {gather*} \text {Too large to display} \end {gather*}
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)))))*((155...
________________________________________________________________________________________