\(\int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} (b^{12}+a^{12} x^{12})} \, dx\) [2920]

Optimal result

Integrand size = 42, antiderivative size = 333 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=-\frac {x}{3 \sqrt {b^4+a^4 x^4}}+\frac {1}{6} \text {RootSum}\left [16 a^8 b^8-32 a^6 b^6 \text {$\#$1}^2-24 a^4 b^4 \text {$\#$1}^4-8 a^2 b^2 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {8 a^6 b^6 \log (x)-8 a^6 b^6 \log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right )-4 a^4 b^4 \log (x) \text {$\#$1}^2+4 a^4 b^4 \log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^2-2 a^2 b^2 \log (x) \text {$\#$1}^4+2 a^2 b^2 \log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^4+\log (x) \text {$\#$1}^6-\log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^6}{8 a^6 b^6 \text {$\#$1}+12 a^4 b^4 \text {$\#$1}^3+6 a^2 b^2 \text {$\#$1}^5-\text {$\#$1}^7}\&\right ] \]

[Out]

Unintegrable

Rubi [B] (warning: unable to verify)

Leaf count is larger than twice the leaf count of optimal. \(2431\) vs. \(2(333)=666\).

Time = 7.81 (sec) , antiderivative size = 2431, normalized size of antiderivative = 7.30, number of steps used = 25, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.190, Rules used = {6857, 226, 2098, 425, 537, 418, 1231, 1721} \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=-\frac {2 \sqrt [4]{2} \arctan \left (\frac {\sqrt {3 a^4-\sqrt {3} \sqrt {-a^8}} b x}{\sqrt [4]{2} \sqrt [4]{a^4-\sqrt {3} \sqrt {-a^8}} \sqrt {b^4+a^4 x^4}}\right ) a^{12}}{\sqrt {3} \sqrt {-a^8} \left (a^4-\sqrt {3} \sqrt {-a^8}\right )^{3/4} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right )^{3/2} b}+\frac {2 \sqrt [4]{2} \arctan \left (\frac {\sqrt {\sqrt {3} \sqrt {-a^8}-3 a^4} b x}{\sqrt [4]{2} \sqrt [4]{a^4-\sqrt {3} \sqrt {-a^8}} \sqrt {b^4+a^4 x^4}}\right ) a^{12}}{\sqrt {3} \sqrt {-a^8} \left (a^4-\sqrt {3} \sqrt {-a^8}\right )^{3/4} \left (\sqrt {3} \sqrt {-a^8}-3 a^4\right )^{3/2} b}-\frac {2 \sqrt [4]{2} \arctan \left (\frac {\sqrt {-3 a^4-\sqrt {3} \sqrt {-a^8}} b x}{\sqrt [4]{2} \sqrt [4]{a^4+\sqrt {3} \sqrt {-a^8}} \sqrt {b^4+a^4 x^4}}\right ) a^{12}}{\sqrt {3} \sqrt {-a^8} \left (-3 a^4-\sqrt {3} \sqrt {-a^8}\right )^{3/2} \left (a^4+\sqrt {3} \sqrt {-a^8}\right )^{3/4} b}+\frac {2 \sqrt [4]{2} \arctan \left (\frac {\sqrt {3 a^4+\sqrt {3} \sqrt {-a^8}} b x}{\sqrt [4]{2} \sqrt [4]{a^4+\sqrt {3} \sqrt {-a^8}} \sqrt {b^4+a^4 x^4}}\right ) a^{12}}{\sqrt {3} \sqrt {-a^8} \left (a^4+\sqrt {3} \sqrt {-a^8}\right )^{3/4} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right )^{3/2} b}+\frac {\left (1-\frac {\sqrt {2} a^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}}\right ) \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right ) a^7}{\sqrt {3} \sqrt {-a^8} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}+\frac {\left (\frac {\sqrt {2} a^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}}+1\right ) \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right ) a^7}{\sqrt {3} \sqrt {-a^8} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {\left (1-\frac {\sqrt {2} a^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}}\right ) \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right ) a^7}{\sqrt {3} \sqrt {-a^8} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {\left (\frac {\sqrt {2} a^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}}+1\right ) \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right ) a^7}{\sqrt {3} \sqrt {-a^8} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {2 x a^4}{\sqrt {3} \left (\sqrt {3} a^4-3 \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}-\frac {2 x a^4}{\sqrt {3} \left (\sqrt {3} a^4+3 \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}-\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right ) a^3}{\sqrt {3} \left (\sqrt {3} a^4-3 \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right ) a^3}{\sqrt {3} \left (\sqrt {3} a^4+3 \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}+\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 b \sqrt {b^4+a^4 x^4} a}-\frac {\left (\sqrt {2} a^2+\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}\right )^2 \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticPi}\left (-\frac {\left (\sqrt {2} a^2-\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}\right )^2}{4 \sqrt {2} a^2 \sqrt {a^4-\sqrt {3} \sqrt {-a^8}}},2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{4 \sqrt {3} \left (\sqrt {3} a^4+3 \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4} a}-\frac {\left (\sqrt {2} a^2-\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}\right )^2 \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticPi}\left (\frac {\left (\sqrt {2} a^2+\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}\right )^2}{4 \sqrt {2} a^2 \sqrt {a^4-\sqrt {3} \sqrt {-a^8}}},2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{4 \sqrt {3} \left (\sqrt {3} a^4+3 \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4} a}-\frac {\left (\sqrt {2} a^2+\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}\right )^2 \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticPi}\left (-\frac {\left (\sqrt {2} a^2-\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}\right )^2}{4 \sqrt {2} a^2 \sqrt {a^4+\sqrt {3} \sqrt {-a^8}}},2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{4 \sqrt {3} \left (\sqrt {3} a^4-3 \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4} a}-\frac {\left (\sqrt {2} a^2-\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}\right )^2 \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticPi}\left (\frac {\left (\sqrt {2} a^2+\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}\right )^2}{4 \sqrt {2} a^2 \sqrt {a^4+\sqrt {3} \sqrt {-a^8}}},2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{4 \sqrt {3} \left (\sqrt {3} a^4-3 \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4} a} \]

[In]

Int[(-b^12 + a^12*x^12)/(Sqrt[b^4 + a^4*x^4]*(b^12 + a^12*x^12)),x]

[Out]

(-2*a^4*x)/(Sqrt[3]*(Sqrt[3]*a^4 - 3*Sqrt[-a^8])*Sqrt[b^4 + a^4*x^4]) - (2*a^4*x)/(Sqrt[3]*(Sqrt[3]*a^4 + 3*Sq
rt[-a^8])*Sqrt[b^4 + a^4*x^4]) - (2*2^(1/4)*a^12*ArcTan[(Sqrt[3*a^4 - Sqrt[3]*Sqrt[-a^8]]*b*x)/(2^(1/4)*(a^4 -
Sqrt[3]*Sqrt[-a^8])^(1/4)*Sqrt[b^4 + a^4*x^4])])/(Sqrt[3]*Sqrt[-a^8]*(a^4 - Sqrt[3]*Sqrt[-a^8])^(3/4)*(3*a^4
- Sqrt[3]*Sqrt[-a^8])^(3/2)*b) + (2*2^(1/4)*a^12*ArcTan[(Sqrt[-3*a^4 + Sqrt[3]*Sqrt[-a^8]]*b*x)/(2^(1/4)*(a^4
- Sqrt[3]*Sqrt[-a^8])^(1/4)*Sqrt[b^4 + a^4*x^4])])/(Sqrt[3]*Sqrt[-a^8]*(a^4 - Sqrt[3]*Sqrt[-a^8])^(3/4)*(-3*a^
4 + Sqrt[3]*Sqrt[-a^8])^(3/2)*b) - (2*2^(1/4)*a^12*ArcTan[(Sqrt[-3*a^4 - Sqrt[3]*Sqrt[-a^8]]*b*x)/(2^(1/4)*(a^
4 + Sqrt[3]*Sqrt[-a^8])^(1/4)*Sqrt[b^4 + a^4*x^4])])/(Sqrt[3]*Sqrt[-a^8]*(-3*a^4 - Sqrt[3]*Sqrt[-a^8])^(3/2)*(
a^4 + Sqrt[3]*Sqrt[-a^8])^(3/4)*b) + (2*2^(1/4)*a^12*ArcTan[(Sqrt[3*a^4 + Sqrt[3]*Sqrt[-a^8]]*b*x)/(2^(1/4)*(a
^4 + Sqrt[3]*Sqrt[-a^8])^(1/4)*Sqrt[b^4 + a^4*x^4])])/(Sqrt[3]*Sqrt[-a^8]*(a^4 + Sqrt[3]*Sqrt[-a^8])^(3/4)*(3*
a^4 + Sqrt[3]*Sqrt[-a^8])^(3/2)*b) + ((b^2 + a^2*x^2)*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticF[2*ArcT
an[(a*x)/b], 1/2])/(2*a*b*Sqrt[b^4 + a^4*x^4]) - (a^3*(b^2 + a^2*x^2)*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*
EllipticF[2*ArcTan[(a*x)/b], 1/2])/(Sqrt[3]*(Sqrt[3]*a^4 - 3*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) - (a^3*(b^2 +
a^2*x^2)*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticF[2*ArcTan[(a*x)/b], 1/2])/(Sqrt[3]*(Sqrt[3]*a^4 + 3*
Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) + (a^7*(1 - (Sqrt[2]*a^2)/Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]])*(b^2 + a^2*x^2)*S
qrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticF[2*ArcTan[(a*x)/b], 1/2])/(Sqrt[3]*Sqrt[-a^8]*(3*a^4 + Sqrt[3]
*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) + (a^7*(1 + (Sqrt[2]*a^2)/Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]])*(b^2 + a^2*x^2)*
Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticF[2*ArcTan[(a*x)/b], 1/2])/(Sqrt[3]*Sqrt[-a^8]*(3*a^4 + Sqrt[3
]*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) - (a^7*(1 - (Sqrt[2]*a^2)/Sqrt[a^4 + Sqrt[3]*Sqrt[-a^8]])*(b^2 + a^2*x^2)
*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticF[2*ArcTan[(a*x)/b], 1/2])/(Sqrt[3]*Sqrt[-a^8]*(3*a^4 - Sqrt[
3]*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) - (a^7*(1 + (Sqrt[2]*a^2)/Sqrt[a^4 + Sqrt[3]*Sqrt[-a^8]])*(b^2 + a^2*x^2
)*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticF[2*ArcTan[(a*x)/b], 1/2])/(Sqrt[3]*Sqrt[-a^8]*(3*a^4 - Sqrt
[3]*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) - ((Sqrt[2]*a^2 + Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]])^2*(b^2 + a^2*x^2)*Sqr
t[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticPi[-1/4*(Sqrt[2]*a^2 - Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]])^2/(Sqrt[2]
*a^2*Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]]), 2*ArcTan[(a*x)/b], 1/2])/(4*Sqrt[3]*a*(Sqrt[3]*a^4 + 3*Sqrt[-a^8])*b*Sqr
t[b^4 + a^4*x^4]) - ((Sqrt[2]*a^2 - Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]])^2*(b^2 + a^2*x^2)*Sqrt[(b^4 + a^4*x^4)/(b^
2 + a^2*x^2)^2]*EllipticPi[(Sqrt[2]*a^2 + Sqrt[a^4 - Sqrt[3]*Sqrt[-a^8]])^2/(4*Sqrt[2]*a^2*Sqrt[a^4 - Sqrt[3]*
Sqrt[-a^8]]), 2*ArcTan[(a*x)/b], 1/2])/(4*Sqrt[3]*a*(Sqrt[3]*a^4 + 3*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) - ((Sq
rt[2]*a^2 + Sqrt[a^4 + Sqrt[3]*Sqrt[-a^8]])^2*(b^2 + a^2*x^2)*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*Elliptic
Pi[-1/4*(Sqrt[2]*a^2 - Sqrt[a^4 + Sqrt[3]*Sqrt[-a^8]])^2/(Sqrt[2]*a^2*Sqrt[a^4 + Sqrt[3]*Sqrt[-a^8]]), 2*ArcTa
n[(a*x)/b], 1/2])/(4*Sqrt[3]*a*(Sqrt[3]*a^4 - 3*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4]) - ((Sqrt[2]*a^2 - Sqrt[a^4
+ Sqrt[3]*Sqrt[-a^8]])^2*(b^2 + a^2*x^2)*Sqrt[(b^4 + a^4*x^4)/(b^2 + a^2*x^2)^2]*EllipticPi[(Sqrt[2]*a^2 + Sqr
t[a^4 + Sqrt[3]*Sqrt[-a^8]])^2/(4*Sqrt[2]*a^2*Sqrt[a^4 + Sqrt[3]*Sqrt[-a^8]]), 2*ArcTan[(a*x)/b], 1/2])/(4*Sqr
t[3]*a*(Sqrt[3]*a^4 - 3*Sqrt[-a^8])*b*Sqrt[b^4 + a^4*x^4])

Rule 226

Int[1/Sqrt[(a_) + (b_.)*(x_)^4], x_Symbol] :> With[{q = Rt[b/a, 4]}, Simp[(1 + q^2*x^2)*(Sqrt[(a + b*x^4)/(a*(
1 + q^2*x^2)^2)]/(2*q*Sqrt[a + b*x^4]))*EllipticF[2*ArcTan[q*x], 1/2], x]] /; FreeQ[{a, b}, x] && PosQ[b/a]

Rule 418

Int[1/(Sqrt[(a_) + (b_.)*(x_)^4]*((c_) + (d_.)*(x_)^4)), x_Symbol] :> Dist[1/(2*c), Int[1/(Sqrt[a + b*x^4]*(1
- Rt[-d/c, 2]*x^2)), x], x] + Dist[1/(2*c), Int[1/(Sqrt[a + b*x^4]*(1 + Rt[-d/c, 2]*x^2)), x], x] /; FreeQ[{a,
b, c, d}, x] && NeQ[b*c - a*d, 0]

Rule 425

Int[((a_) + (b_.)*(x_)^(n_))^(p_)*((c_) + (d_.)*(x_)^(n_))^(q_), x_Symbol] :> Simp[(-b)*x*(a + b*x^n)^(p + 1)*
((c + d*x^n)^(q + 1)/(a*n*(p + 1)*(b*c - a*d))), x] + Dist[1/(a*n*(p + 1)*(b*c - a*d)), Int[(a + b*x^n)^(p + 1
)*(c + d*x^n)^q*Simp[b*c + n*(p + 1)*(b*c - a*d) + d*b*(n*(p + q + 2) + 1)*x^n, x], x], x] /; FreeQ[{a, b, c,
d, n, q}, x] && NeQ[b*c - a*d, 0] && LtQ[p, -1] &&  !( !IntegerQ[p] && IntegerQ[q] && LtQ[q, -1]) && IntBinomi
alQ[a, b, c, d, n, p, q, x]

Rule 537

Int[((e_) + (f_.)*(x_)^(n_))/(((a_) + (b_.)*(x_)^(n_))*Sqrt[(c_) + (d_.)*(x_)^(n_)]), x_Symbol] :> Dist[f/b, I
nt[1/Sqrt[c + d*x^n], x], x] + Dist[(b*e - a*f)/b, Int[1/((a + b*x^n)*Sqrt[c + d*x^n]), x], x] /; FreeQ[{a, b,
c, d, e, f, n}, x]

Rule 1231

Int[1/(((d_) + (e_.)*(x_)^2)*Sqrt[(a_) + (c_.)*(x_)^4]), x_Symbol] :> With[{q = Rt[c/a, 2]}, Dist[(c*d + a*e*q
)/(c*d^2 - a*e^2), Int[1/Sqrt[a + c*x^4], x], x] - Dist[(a*e*(e + d*q))/(c*d^2 - a*e^2), Int[(1 + q*x^2)/((d +
e*x^2)*Sqrt[a + c*x^4]), x], x]] /; FreeQ[{a, c, d, e}, x] && NeQ[c*d^2 + a*e^2, 0] && NeQ[c*d^2 - a*e^2, 0]
&& PosQ[c/a]

Rule 1721

Int[((A_) + (B_.)*(x_)^2)/(((d_) + (e_.)*(x_)^2)*Sqrt[(a_) + (c_.)*(x_)^4]), x_Symbol] :> With[{q = Rt[B/A, 2]
}, Simp[(-(B*d - A*e))*(ArcTan[Rt[c*(d/e) + a*(e/d), 2]*(x/Sqrt[a + c*x^4])]/(2*d*e*Rt[c*(d/e) + a*(e/d), 2]))
, x] + Simp[(B*d + A*e)*(A + B*x^2)*(Sqrt[A^2*((a + c*x^4)/(a*(A + B*x^2)^2))]/(4*d*e*A*q*Sqrt[a + c*x^4]))*El
lipticPi[Cancel[-(B*d - A*e)^2/(4*d*e*A*B)], 2*ArcTan[q*x], 1/2], x]] /; FreeQ[{a, c, d, e, A, B}, x] && NeQ[c
*d^2 + a*e^2, 0] && NeQ[c*d^2 - a*e^2, 0] && PosQ[c/a] && EqQ[c*A^2 - a*B^2, 0]

Rule 2098

Int[(P_)^(p_)*(Q_)^(q_.), x_Symbol] :> With[{PP = Factor[P /. x -> Sqrt[x]]}, Int[ExpandIntegrand[(PP /. x ->
x^2)^p*Q^q, x], x] /;  !SumQ[NonfreeFactors[PP, x]]] /; FreeQ[q, x] && PolyQ[P, x^2] && PolyQ[Q, x] && ILtQ[p,
0]

Rule 6857

Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a + b*x^n), x]}, Int[v, x]
/; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ[n, 0]

Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {1}{\sqrt {b^4+a^4 x^4}}-\frac {2 b^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )}\right ) \, dx \\ & = -\left (\left (2 b^{12}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx\right )+\int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx \\ & = \frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 a b \sqrt {b^4+a^4 x^4}}-\left (2 b^{12}\right ) \int \left (-\frac {2 a^8}{\sqrt {3} \sqrt {-a^8} b^4 \left (b^4+a^4 x^4\right )^{3/2} \left (a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4-2 a^8 x^4\right )}-\frac {2 a^8}{\sqrt {3} \sqrt {-a^8} b^4 \left (b^4+a^4 x^4\right )^{3/2} \left (-a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4+2 a^8 x^4\right )}\right ) \, dx \\ & = \frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 a b \sqrt {b^4+a^4 x^4}}-\frac {\left (4 \sqrt {-a^8} b^8\right ) \int \frac {1}{\left (b^4+a^4 x^4\right )^{3/2} \left (a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4-2 a^8 x^4\right )} \, dx}{\sqrt {3}}-\frac {\left (4 \sqrt {-a^8} b^8\right ) \int \frac {1}{\left (b^4+a^4 x^4\right )^{3/2} \left (-a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4+2 a^8 x^4\right )} \, dx}{\sqrt {3}} \\ & = \frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}-\frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}+\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 a b \sqrt {b^4+a^4 x^4}}-\frac {\left (2 \sqrt {-a^8}\right ) \int \frac {a^4 \left (5 a^4-\sqrt {3} \sqrt {-a^8}\right ) b^4-2 a^{12} x^4}{\sqrt {b^4+a^4 x^4} \left (-a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4+2 a^8 x^4\right )} \, dx}{\sqrt {3} a^4 \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right )}+\frac {\left (2 \sqrt {-a^8}\right ) \int \frac {-a^4 \left (5 a^4+\sqrt {3} \sqrt {-a^8}\right ) b^4+2 a^{12} x^4}{\sqrt {b^4+a^4 x^4} \left (a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4-2 a^8 x^4\right )} \, dx}{\sqrt {3} a^4 \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right )} \\ & = \frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}-\frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}+\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 a b \sqrt {b^4+a^4 x^4}}+\frac {\left (2 \sqrt {-a^8}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx}{\sqrt {3} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right )}-\frac {\left (2 \sqrt {-a^8}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx}{\sqrt {3} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right )}-\frac {\left (8 a^4 \sqrt {-a^8} b^4\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4} \left (-a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4+2 a^8 x^4\right )} \, dx}{\sqrt {3} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right )}-\frac {\left (8 a^4 \sqrt {-a^8} b^4\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4} \left (a^4 b^4+\sqrt {3} \sqrt {-a^8} b^4-2 a^8 x^4\right )} \, dx}{\sqrt {3} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right )} \\ & = \frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}-\frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}+\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 a b \sqrt {b^4+a^4 x^4}}+\frac {\sqrt {-a^8} \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{\sqrt {3} a \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {\sqrt {-a^8} \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{\sqrt {3} a \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {1}{3} \int \frac {1}{\left (1-\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx-\frac {1}{3} \int \frac {1}{\left (1+\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx-\frac {1}{3} \int \frac {1}{\left (1-\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx-\frac {1}{3} \int \frac {1}{\left (1+\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx \\ & = \frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}-\frac {2 \sqrt {-a^8} x}{\sqrt {3} \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) \sqrt {b^4+a^4 x^4}}+\frac {\left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{2 a b \sqrt {b^4+a^4 x^4}}+\frac {\sqrt {-a^8} \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{\sqrt {3} a \left (3 a^4-\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {\sqrt {-a^8} \left (b^2+a^2 x^2\right ) \sqrt {\frac {b^4+a^4 x^4}{\left (b^2+a^2 x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan \left (\frac {a x}{b}\right ),\frac {1}{2}\right )}{\sqrt {3} a \left (3 a^4+\sqrt {3} \sqrt {-a^8}\right ) b \sqrt {b^4+a^4 x^4}}-\frac {\left (1-\frac {\sqrt {2} a^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx}{3 \left (1-\frac {2 a^4}{a^4-\sqrt {3} \sqrt {-a^8}}\right )}-\frac {\left (1+\frac {\sqrt {2} a^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}}}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx}{3 \left (1-\frac {2 a^4}{a^4-\sqrt {3} \sqrt {-a^8}}\right )}-\frac {\left (a^2 \left (2 a^2-\sqrt {2} \sqrt {a^4-\sqrt {3} \sqrt {-a^8}}\right )\right ) \int \frac {1+\frac {a^2 x^2}{b^2}}{\left (1-\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx}{3 \left (a^4+\sqrt {3} \sqrt {-a^8}\right )}-\frac {\left (a^2 \left (2 a^2+\sqrt {2} \sqrt {a^4-\sqrt {3} \sqrt {-a^8}}\right )\right ) \int \frac {1+\frac {a^2 x^2}{b^2}}{\left (1+\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4-\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx}{3 \left (a^4+\sqrt {3} \sqrt {-a^8}\right )}-\frac {\left (1-\frac {\sqrt {2} a^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx}{3 \left (1-\frac {2 a^4}{a^4+\sqrt {3} \sqrt {-a^8}}\right )}-\frac {\left (1+\frac {\sqrt {2} a^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}}}\right ) \int \frac {1}{\sqrt {b^4+a^4 x^4}} \, dx}{3 \left (1-\frac {2 a^4}{a^4+\sqrt {3} \sqrt {-a^8}}\right )}-\frac {\left (a^2 \left (2 a^2-\sqrt {2} \sqrt {a^4+\sqrt {3} \sqrt {-a^8}}\right )\right ) \int \frac {1+\frac {a^2 x^2}{b^2}}{\left (1-\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx}{3 \left (a^4-\sqrt {3} \sqrt {-a^8}\right )}-\frac {\left (a^2 \left (2 a^2+\sqrt {2} \sqrt {a^4+\sqrt {3} \sqrt {-a^8}}\right )\right ) \int \frac {1+\frac {a^2 x^2}{b^2}}{\left (1+\frac {\sqrt {2} a^4 x^2}{\sqrt {a^4+\sqrt {3} \sqrt {-a^8}} b^2}\right ) \sqrt {b^4+a^4 x^4}} \, dx}{3 \left (a^4-\sqrt {3} \sqrt {-a^8}\right )} \\ & = \text {Too large to display} \\ \end{align*}

Mathematica [A] (verified)

Time = 1.06 (sec) , antiderivative size = 331, normalized size of antiderivative = 0.99 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=-\frac {x}{3 \sqrt {b^4+a^4 x^4}}+\frac {1}{6} \text {RootSum}\left [16 a^8 b^8-32 a^6 b^6 \text {$\#$1}^2-24 a^4 b^4 \text {$\#$1}^4-8 a^2 b^2 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {-8 a^6 b^6 \log (x)+8 a^6 b^6 \log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right )+4 a^4 b^4 \log (x) \text {$\#$1}^2-4 a^4 b^4 \log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^2+2 a^2 b^2 \log (x) \text {$\#$1}^4-2 a^2 b^2 \log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^4-\log (x) \text {$\#$1}^6+\log \left (b^2+a^2 x^2+\sqrt {b^4+a^4 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^6}{-8 a^6 b^6 \text {$\#$1}-12 a^4 b^4 \text {$\#$1}^3-6 a^2 b^2 \text {$\#$1}^5+\text {$\#$1}^7}\&\right ] \]

[In]

Integrate[(-b^12 + a^12*x^12)/(Sqrt[b^4 + a^4*x^4]*(b^12 + a^12*x^12)),x]

[Out]

-1/3*x/Sqrt[b^4 + a^4*x^4] + RootSum[16*a^8*b^8 - 32*a^6*b^6*#1^2 - 24*a^4*b^4*#1^4 - 8*a^2*b^2*#1^6 + #1^8 &
, (-8*a^6*b^6*Log[x] + 8*a^6*b^6*Log[b^2 + a^2*x^2 + Sqrt[b^4 + a^4*x^4] - x*#1] + 4*a^4*b^4*Log[x]*#1^2 - 4*a
^4*b^4*Log[b^2 + a^2*x^2 + Sqrt[b^4 + a^4*x^4] - x*#1]*#1^2 + 2*a^2*b^2*Log[x]*#1^4 - 2*a^2*b^2*Log[b^2 + a^2*
x^2 + Sqrt[b^4 + a^4*x^4] - x*#1]*#1^4 - Log[x]*#1^6 + Log[b^2 + a^2*x^2 + Sqrt[b^4 + a^4*x^4] - x*#1]*#1^6)/(
-8*a^6*b^6*#1 - 12*a^4*b^4*#1^3 - 6*a^2*b^2*#1^5 + #1^7) & ]/6

Maple [N/A] (verified)

Time = 3.82 (sec) , antiderivative size = 172, normalized size of antiderivative = 0.52

method	result	size
elliptic	\(\frac {\left (-\frac {\sqrt {2}\, x}{3 \sqrt {a^{4} x^{4}+b^{4}}}+\frac {\sqrt {2}\, \left (2 \arctan \left (\frac {\sqrt {a^{4} x^{4}+b^{4}}}{x \sqrt {\sqrt {3}\, \sqrt {a^{4} b^{4}}}}\right )-\ln \left (\frac {\frac {\sqrt {a^{4} x^{4}+b^{4}}\, \sqrt {2}}{2 x}+\frac {\sqrt {2}\, \sqrt {\sqrt {3}\, \sqrt {a^{4} b^{4}}}}{2}}{\frac {\sqrt {a^{4} x^{4}+b^{4}}\, \sqrt {2}}{2 x}-\frac {\sqrt {2}\, \sqrt {\sqrt {3}\, \sqrt {a^{4} b^{4}}}}{2}}\right )\right )}{6 \sqrt {\sqrt {3}\, \sqrt {a^{4} b^{4}}}}\right ) \sqrt {2}}{2}\)	\(172\)
pseudoelliptic	\(-\frac {6 \sqrt {a^{4} x^{4}+b^{4}}\, \left (a^{4} b^{4}\right )^{\frac {1}{4}} x +3^{\frac {3}{4}} \left (a^{4} x^{4}+b^{4}\right ) \left (-2 \arctan \left (\frac {\sqrt {a^{4} x^{4}+b^{4}}\, 3^{\frac {3}{4}}}{3 x \left (a^{4} b^{4}\right )^{\frac {1}{4}}}\right )+\ln \left (\frac {x 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}}+\sqrt {a^{4} x^{4}+b^{4}}}{-x 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}}+\sqrt {a^{4} x^{4}+b^{4}}}\right )\right )}{18 \left (a^{4} b^{4}\right )^{\frac {1}{4}} \left (a^{2} x^{2}-\sqrt {2}\, \sqrt {a^{2} b^{2}}\, x +b^{2}\right ) \left (a^{2} x^{2}+\sqrt {2}\, \sqrt {a^{2} b^{2}}\, x +b^{2}\right )}\)	\(203\)
default	\(\frac {\left (2 \arctan \left (\frac {\sqrt {a^{4} x^{4}+b^{4}}\, 3^{\frac {3}{4}}}{3 x \left (a^{4} b^{4}\right )^{\frac {1}{4}}}\right ) a^{4} x^{4}-\ln \left (\frac {x 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}}+\sqrt {a^{4} x^{4}+b^{4}}}{-x 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}}+\sqrt {a^{4} x^{4}+b^{4}}}\right ) a^{4} x^{4}+2 \arctan \left (\frac {\sqrt {a^{4} x^{4}+b^{4}}\, 3^{\frac {3}{4}}}{3 x \left (a^{4} b^{4}\right )^{\frac {1}{4}}}\right ) b^{4}-\ln \left (\frac {x 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}}+\sqrt {a^{4} x^{4}+b^{4}}}{-x 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}}+\sqrt {a^{4} x^{4}+b^{4}}}\right ) b^{4}-2 \sqrt {a^{4} x^{4}+b^{4}}\, 3^{\frac {1}{4}} \left (a^{4} b^{4}\right )^{\frac {1}{4}} x \right ) 3^{\frac {3}{4}}}{18 \left (a^{4} b^{4}\right )^{\frac {1}{4}} \left (a^{2} x^{2}-\sqrt {2}\, \sqrt {a^{2} b^{2}}\, x +b^{2}\right ) \left (a^{2} x^{2}+\sqrt {2}\, \sqrt {a^{2} b^{2}}\, x +b^{2}\right )}\)	\(309\)

[In]

int((a^12*x^12-b^12)/(a^4*x^4+b^4)^(1/2)/(a^12*x^12+b^12),x,method=_RETURNVERBOSE)

[Out]

1/2*(-1/3/(a^4*x^4+b^4)^(1/2)*2^(1/2)*x+1/6*2^(1/2)/(3^(1/2)*(a^4*b^4)^(1/2))^(1/2)*(2*arctan((a^4*x^4+b^4)^(1
/2)/x/(3^(1/2)*(a^4*b^4)^(1/2))^(1/2))-ln((1/2*(a^4*x^4+b^4)^(1/2)*2^(1/2)/x+1/2*2^(1/2)*(3^(1/2)*(a^4*b^4)^(1
/2))^(1/2))/(1/2*(a^4*x^4+b^4)^(1/2)*2^(1/2)/x-1/2*2^(1/2)*(3^(1/2)*(a^4*b^4)^(1/2))^(1/2)))))*2^(1/2)

Fricas [C] (verification not implemented)

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

Time = 1.77 (sec) , antiderivative size = 745, normalized size of antiderivative = 2.24 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=-\frac {\left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (a^{4} x^{4} + b^{4}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}} \log \left (-\frac {6 \, \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (a^{8} b^{4} x^{6} + a^{4} b^{8} x^{2}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {3}{4}} + 2 \, {\left (3 \, \sqrt {\frac {1}{3}} a^{4} b^{4} x^{3} \sqrt {\frac {1}{a^{4} b^{4}}} + a^{4} x^{5} + b^{4} x\right )} \sqrt {a^{4} x^{4} + b^{4}} + \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (a^{8} x^{8} + 5 \, a^{4} b^{4} x^{4} + b^{8}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}}}{2 \, {\left (a^{8} x^{8} - a^{4} b^{4} x^{4} + b^{8}\right )}}\right ) - \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (a^{4} x^{4} + b^{4}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}} \log \left (\frac {6 \, \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (a^{8} b^{4} x^{6} + a^{4} b^{8} x^{2}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {3}{4}} - 2 \, {\left (3 \, \sqrt {\frac {1}{3}} a^{4} b^{4} x^{3} \sqrt {\frac {1}{a^{4} b^{4}}} + a^{4} x^{5} + b^{4} x\right )} \sqrt {a^{4} x^{4} + b^{4}} + \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (a^{8} x^{8} + 5 \, a^{4} b^{4} x^{4} + b^{8}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}}}{2 \, {\left (a^{8} x^{8} - a^{4} b^{4} x^{4} + b^{8}\right )}}\right ) + \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (-i \, a^{4} x^{4} - i \, b^{4}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}} \log \left (-\frac {6 \, \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (i \, a^{8} b^{4} x^{6} + i \, a^{4} b^{8} x^{2}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {3}{4}} - 2 \, {\left (3 \, \sqrt {\frac {1}{3}} a^{4} b^{4} x^{3} \sqrt {\frac {1}{a^{4} b^{4}}} - a^{4} x^{5} - b^{4} x\right )} \sqrt {a^{4} x^{4} + b^{4}} + \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (-i \, a^{8} x^{8} - 5 i \, a^{4} b^{4} x^{4} - i \, b^{8}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}}}{2 \, {\left (a^{8} x^{8} - a^{4} b^{4} x^{4} + b^{8}\right )}}\right ) + \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (i \, a^{4} x^{4} + i \, b^{4}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}} \log \left (-\frac {6 \, \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (-i \, a^{8} b^{4} x^{6} - i \, a^{4} b^{8} x^{2}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {3}{4}} - 2 \, {\left (3 \, \sqrt {\frac {1}{3}} a^{4} b^{4} x^{3} \sqrt {\frac {1}{a^{4} b^{4}}} - a^{4} x^{5} - b^{4} x\right )} \sqrt {a^{4} x^{4} + b^{4}} + \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (i \, a^{8} x^{8} + 5 i \, a^{4} b^{4} x^{4} + i \, b^{8}\right )} \left (\frac {1}{a^{4} b^{4}}\right )^{\frac {1}{4}}}{2 \, {\left (a^{8} x^{8} - a^{4} b^{4} x^{4} + b^{8}\right )}}\right ) + 4 \, \sqrt {a^{4} x^{4} + b^{4}} x}{12 \, {\left (a^{4} x^{4} + b^{4}\right )}} \]

[In]

integrate((a^12*x^12-b^12)/(a^4*x^4+b^4)^(1/2)/(a^12*x^12+b^12),x, algorithm="fricas")

[Out]

-1/12*((1/3)^(1/4)*(a^4*x^4 + b^4)*(1/(a^4*b^4))^(1/4)*log(-1/2*(6*(1/3)^(3/4)*(a^8*b^4*x^6 + a^4*b^8*x^2)*(1/
(a^4*b^4))^(3/4) + 2*(3*sqrt(1/3)*a^4*b^4*x^3*sqrt(1/(a^4*b^4)) + a^4*x^5 + b^4*x)*sqrt(a^4*x^4 + b^4) + (1/3)
^(1/4)*(a^8*x^8 + 5*a^4*b^4*x^4 + b^8)*(1/(a^4*b^4))^(1/4))/(a^8*x^8 - a^4*b^4*x^4 + b^8)) - (1/3)^(1/4)*(a^4*
x^4 + b^4)*(1/(a^4*b^4))^(1/4)*log(1/2*(6*(1/3)^(3/4)*(a^8*b^4*x^6 + a^4*b^8*x^2)*(1/(a^4*b^4))^(3/4) - 2*(3*s
qrt(1/3)*a^4*b^4*x^3*sqrt(1/(a^4*b^4)) + a^4*x^5 + b^4*x)*sqrt(a^4*x^4 + b^4) + (1/3)^(1/4)*(a^8*x^8 + 5*a^4*b
^4*x^4 + b^8)*(1/(a^4*b^4))^(1/4))/(a^8*x^8 - a^4*b^4*x^4 + b^8)) + (1/3)^(1/4)*(-I*a^4*x^4 - I*b^4)*(1/(a^4*b
^4))^(1/4)*log(-1/2*(6*(1/3)^(3/4)*(I*a^8*b^4*x^6 + I*a^4*b^8*x^2)*(1/(a^4*b^4))^(3/4) - 2*(3*sqrt(1/3)*a^4*b^
4*x^3*sqrt(1/(a^4*b^4)) - a^4*x^5 - b^4*x)*sqrt(a^4*x^4 + b^4) + (1/3)^(1/4)*(-I*a^8*x^8 - 5*I*a^4*b^4*x^4 - I
*b^8)*(1/(a^4*b^4))^(1/4))/(a^8*x^8 - a^4*b^4*x^4 + b^8)) + (1/3)^(1/4)*(I*a^4*x^4 + I*b^4)*(1/(a^4*b^4))^(1/4
)*log(-1/2*(6*(1/3)^(3/4)*(-I*a^8*b^4*x^6 - I*a^4*b^8*x^2)*(1/(a^4*b^4))^(3/4) - 2*(3*sqrt(1/3)*a^4*b^4*x^3*sq
rt(1/(a^4*b^4)) - a^4*x^5 - b^4*x)*sqrt(a^4*x^4 + b^4) + (1/3)^(1/4)*(I*a^8*x^8 + 5*I*a^4*b^4*x^4 + I*b^8)*(1/
(a^4*b^4))^(1/4))/(a^8*x^8 - a^4*b^4*x^4 + b^8)) + 4*sqrt(a^4*x^4 + b^4)*x)/(a^4*x^4 + b^4)

Sympy [N/A]

Not integrable

Time = 127.47 (sec) , antiderivative size = 105, normalized size of antiderivative = 0.32 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=\int \frac {\left (a x - b\right ) \left (a x + b\right ) \left (a^{2} x^{2} + b^{2}\right ) \left (a^{2} x^{2} - a b x + b^{2}\right ) \left (a^{2} x^{2} + a b x + b^{2}\right ) \left (a^{4} x^{4} - a^{2} b^{2} x^{2} + b^{4}\right )}{\left (a^{4} x^{4} + b^{4}\right )^{\frac {3}{2}} \left (a^{8} x^{8} - a^{4} b^{4} x^{4} + b^{8}\right )}\, dx \]

[In]

integrate((a**12*x**12-b**12)/(a**4*x**4+b**4)**(1/2)/(a**12*x**12+b**12),x)

[Out]

Integral((a*x - b)*(a*x + b)*(a**2*x**2 + b**2)*(a**2*x**2 - a*b*x + b**2)*(a**2*x**2 + a*b*x + b**2)*(a**4*x*
*4 - a**2*b**2*x**2 + b**4)/((a**4*x**4 + b**4)**(3/2)*(a**8*x**8 - a**4*b**4*x**4 + b**8)), x)

Maxima [N/A]

Not integrable

Time = 0.25 (sec) , antiderivative size = 42, normalized size of antiderivative = 0.13 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=\int { \frac {a^{12} x^{12} - b^{12}}{{\left (a^{12} x^{12} + b^{12}\right )} \sqrt {a^{4} x^{4} + b^{4}}} \,d x } \]

[In]

integrate((a^12*x^12-b^12)/(a^4*x^4+b^4)^(1/2)/(a^12*x^12+b^12),x, algorithm="maxima")

[Out]

integrate((a^12*x^12 - b^12)/((a^12*x^12 + b^12)*sqrt(a^4*x^4 + b^4)), x)

Giac [N/A]

Not integrable

Time = 0.35 (sec) , antiderivative size = 42, normalized size of antiderivative = 0.13 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=\int { \frac {a^{12} x^{12} - b^{12}}{{\left (a^{12} x^{12} + b^{12}\right )} \sqrt {a^{4} x^{4} + b^{4}}} \,d x } \]

[In]

integrate((a^12*x^12-b^12)/(a^4*x^4+b^4)^(1/2)/(a^12*x^12+b^12),x, algorithm="giac")

[Out]

integrate((a^12*x^12 - b^12)/((a^12*x^12 + b^12)*sqrt(a^4*x^4 + b^4)), x)

Mupad [N/A]

Not integrable

Time = 7.68 (sec) , antiderivative size = 42, normalized size of antiderivative = 0.13 \[ \int \frac {-b^{12}+a^{12} x^{12}}{\sqrt {b^4+a^4 x^4} \left (b^{12}+a^{12} x^{12}\right )} \, dx=\int -\frac {b^{12}-a^{12}\,x^{12}}{\sqrt {a^4\,x^4+b^4}\,\left (a^{12}\,x^{12}+b^{12}\right )} \,d x \]

[In]

int(-(b^12 - a^12*x^12)/((b^4 + a^4*x^4)^(1/2)*(b^12 + a^12*x^12)),x)

[Out]

int(-(b^12 - a^12*x^12)/((b^4 + a^4*x^4)^(1/2)*(b^12 + a^12*x^12)), x)