\(\int \sqrt {a-c x^4} (A+B x^2+C x^4) \, dx\) [29]

Optimal result

Integrand size = 25, antiderivative size = 195 \[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\frac {x \left (5 (7 A c+a C)+21 B c x^2\right ) \sqrt {a-c x^4}}{105 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}+\frac {2 a^{7/4} B \sqrt {1-\frac {c x^4}{a}} E\left (\left .\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right )\right |-1\right )}{5 c^{3/4} \sqrt {a-c x^4}}-\frac {2 a^{5/4} \left (21 \sqrt {a} B \sqrt {c}-35 A c-5 a C\right ) \sqrt {1-\frac {c x^4}{a}} \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right ),-1\right )}{105 c^{5/4} \sqrt {a-c x^4}} \] Output:

1/105*x*(21*B*c*x^2+35*A*c+5*C*a)*(-c*x^4+a)^(1/2)/c-1/7*C*x*(-c*x^4+a)^(3 
/2)/c+2/5*a^(7/4)*B*(1-c*x^4/a)^(1/2)*EllipticE(c^(1/4)*x/a^(1/4),I)/c^(3/ 
4)/(-c*x^4+a)^(1/2)-2/105*a^(5/4)*(21*a^(1/2)*B*c^(1/2)-35*A*c-5*a*C)*(1-c 
*x^4/a)^(1/2)*EllipticF(c^(1/4)*x/a^(1/4),I)/c^(5/4)/(-c*x^4+a)^(1/2)
 

Mathematica [C] (verified)

Result contains higher order function than in optimal. Order 5 vs. order 4 in optimal.

Time = 10.10 (sec) , antiderivative size = 115, normalized size of antiderivative = 0.59 \[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\frac {x \sqrt {a-c x^4} \left (-3 C \left (a-c x^4\right ) \sqrt {1-\frac {c x^4}{a}}+3 (7 A c+a C) \operatorname {Hypergeometric2F1}\left (-\frac {1}{2},\frac {1}{4},\frac {5}{4},\frac {c x^4}{a}\right )+7 B c x^2 \operatorname {Hypergeometric2F1}\left (-\frac {1}{2},\frac {3}{4},\frac {7}{4},\frac {c x^4}{a}\right )\right )}{21 c \sqrt {1-\frac {c x^4}{a}}} \] Input:

Integrate[Sqrt[a - c*x^4]*(A + B*x^2 + C*x^4),x]
 

Output:

(x*Sqrt[a - c*x^4]*(-3*C*(a - c*x^4)*Sqrt[1 - (c*x^4)/a] + 3*(7*A*c + a*C) 
*Hypergeometric2F1[-1/2, 1/4, 5/4, (c*x^4)/a] + 7*B*c*x^2*Hypergeometric2F 
1[-1/2, 3/4, 7/4, (c*x^4)/a]))/(21*c*Sqrt[1 - (c*x^4)/a])
 

Rubi [A] (verified)

Time = 0.47 (sec) , antiderivative size = 202, normalized size of antiderivative = 1.04, number of steps used = 11, number of rules used = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.440, Rules used = {2427, 25, 1491, 27, 1513, 27, 765, 762, 1390, 1389, 327}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx\)

\(\Big \downarrow \) 2427

\(\displaystyle -\frac {\int -\left (\left (7 B c x^2+7 A c+a C\right ) \sqrt {a-c x^4}\right )dx}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {\int \left (7 B c x^2+7 A c+a C\right ) \sqrt {a-c x^4}dx}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 1491

\(\displaystyle \frac {\frac {1}{15} \int \frac {2 a \left (21 B c x^2+5 (7 A c+a C)\right )}{\sqrt {a-c x^4}}dx+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {2}{15} a \int \frac {21 B c x^2+5 (7 A c+a C)}{\sqrt {a-c x^4}}dx+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 1513

\(\displaystyle \frac {\frac {2}{15} a \left (21 \sqrt {a} B \sqrt {c} \int \frac {\sqrt {c} x^2+\sqrt {a}}{\sqrt {a} \sqrt {a-c x^4}}dx-\left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \int \frac {1}{\sqrt {a-c x^4}}dx\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {2}{15} a \left (21 B \sqrt {c} \int \frac {\sqrt {c} x^2+\sqrt {a}}{\sqrt {a-c x^4}}dx-\left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \int \frac {1}{\sqrt {a-c x^4}}dx\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 765

\(\displaystyle \frac {\frac {2}{15} a \left (21 B \sqrt {c} \int \frac {\sqrt {c} x^2+\sqrt {a}}{\sqrt {a-c x^4}}dx-\frac {\sqrt {1-\frac {c x^4}{a}} \left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \int \frac {1}{\sqrt {1-\frac {c x^4}{a}}}dx}{\sqrt {a-c x^4}}\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 762

\(\displaystyle \frac {\frac {2}{15} a \left (21 B \sqrt {c} \int \frac {\sqrt {c} x^2+\sqrt {a}}{\sqrt {a-c x^4}}dx-\frac {\sqrt [4]{a} \sqrt {1-\frac {c x^4}{a}} \left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right ),-1\right )}{\sqrt [4]{c} \sqrt {a-c x^4}}\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 1390

\(\displaystyle \frac {\frac {2}{15} a \left (\frac {21 B \sqrt {c} \sqrt {1-\frac {c x^4}{a}} \int \frac {\sqrt {c} x^2+\sqrt {a}}{\sqrt {1-\frac {c x^4}{a}}}dx}{\sqrt {a-c x^4}}-\frac {\sqrt [4]{a} \sqrt {1-\frac {c x^4}{a}} \left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right ),-1\right )}{\sqrt [4]{c} \sqrt {a-c x^4}}\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 1389

\(\displaystyle \frac {\frac {2}{15} a \left (\frac {21 \sqrt {a} B \sqrt {c} \sqrt {1-\frac {c x^4}{a}} \int \frac {\sqrt {\frac {\sqrt {c} x^2}{\sqrt {a}}+1}}{\sqrt {1-\frac {\sqrt {c} x^2}{\sqrt {a}}}}dx}{\sqrt {a-c x^4}}-\frac {\sqrt [4]{a} \sqrt {1-\frac {c x^4}{a}} \left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right ),-1\right )}{\sqrt [4]{c} \sqrt {a-c x^4}}\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

\(\Big \downarrow \) 327

\(\displaystyle \frac {\frac {2}{15} a \left (\frac {21 a^{3/4} B \sqrt [4]{c} \sqrt {1-\frac {c x^4}{a}} E\left (\left .\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right )\right |-1\right )}{\sqrt {a-c x^4}}-\frac {\sqrt [4]{a} \sqrt {1-\frac {c x^4}{a}} \left (21 \sqrt {a} B \sqrt {c}-5 a C-35 A c\right ) \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [4]{c} x}{\sqrt [4]{a}}\right ),-1\right )}{\sqrt [4]{c} \sqrt {a-c x^4}}\right )+\frac {1}{15} x \sqrt {a-c x^4} \left (5 (a C+7 A c)+21 B c x^2\right )}{7 c}-\frac {C x \left (a-c x^4\right )^{3/2}}{7 c}\)

Input:

Int[Sqrt[a - c*x^4]*(A + B*x^2 + C*x^4),x]
 

Output:

-1/7*(C*x*(a - c*x^4)^(3/2))/c + ((x*(5*(7*A*c + a*C) + 21*B*c*x^2)*Sqrt[a 
 - c*x^4])/15 + (2*a*((21*a^(3/4)*B*c^(1/4)*Sqrt[1 - (c*x^4)/a]*EllipticE[ 
ArcSin[(c^(1/4)*x)/a^(1/4)], -1])/Sqrt[a - c*x^4] - (a^(1/4)*(21*Sqrt[a]*B 
*Sqrt[c] - 35*A*c - 5*a*C)*Sqrt[1 - (c*x^4)/a]*EllipticF[ArcSin[(c^(1/4)*x 
)/a^(1/4)], -1])/(c^(1/4)*Sqrt[a - c*x^4])))/15)/(7*c)
 

Defintions of rubi rules used

rule 25

Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27

Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 327

Int[Sqrt[(a_) + (b_.)*(x_)^2]/Sqrt[(c_) + (d_.)*(x_)^2], x_Symbol] :> Simp[ 
(Sqrt[a]/(Sqrt[c]*Rt[-d/c, 2]))*EllipticE[ArcSin[Rt[-d/c, 2]*x], b*(c/(a*d) 
)], x] /; FreeQ[{a, b, c, d}, x] && NegQ[d/c] && GtQ[c, 0] && GtQ[a, 0]
 

rule 762

Int[1/Sqrt[(a_) + (b_.)*(x_)^4], x_Symbol] :> Simp[(1/(Sqrt[a]*Rt[-b/a, 4]) 
)*EllipticF[ArcSin[Rt[-b/a, 4]*x], -1], x] /; FreeQ[{a, b}, x] && NegQ[b/a] 
 && GtQ[a, 0]
 

rule 765

Int[1/Sqrt[(a_) + (b_.)*(x_)^4], x_Symbol] :> Simp[Sqrt[1 + b*(x^4/a)]/Sqrt 
[a + b*x^4]   Int[1/Sqrt[1 + b*(x^4/a)], x], x] /; FreeQ[{a, b}, x] && NegQ 
[b/a] &&  !GtQ[a, 0]
 

rule 1389

Int[((d_) + (e_.)*(x_)^2)/Sqrt[(a_) + (c_.)*(x_)^4], x_Symbol] :> Simp[d/Sq 
rt[a]   Int[Sqrt[1 + e*(x^2/d)]/Sqrt[1 - e*(x^2/d)], x], x] /; FreeQ[{a, c, 
 d, e}, x] && EqQ[c*d^2 + a*e^2, 0] && NegQ[c/a] && GtQ[a, 0]
 

rule 1390

Int[((d_) + (e_.)*(x_)^2)/Sqrt[(a_) + (c_.)*(x_)^4], x_Symbol] :> Simp[Sqrt 
[1 + c*(x^4/a)]/Sqrt[a + c*x^4]   Int[(d + e*x^2)/Sqrt[1 + c*(x^4/a)], x], 
x] /; FreeQ[{a, c, d, e}, x] && EqQ[c*d^2 + a*e^2, 0] && NegQ[c/a] &&  !GtQ 
[a, 0] &&  !(LtQ[a, 0] && GtQ[c, 0])
 

rule 1491

Int[((d_) + (e_.)*(x_)^2)*((a_) + (c_.)*(x_)^4)^(p_), x_Symbol] :> Simp[x*( 
d*(4*p + 3) + e*(4*p + 1)*x^2)*((a + c*x^4)^p/((4*p + 1)*(4*p + 3))), x] + 
Simp[2*(p/((4*p + 1)*(4*p + 3)))   Int[Simp[2*a*d*(4*p + 3) + (2*a*e*(4*p + 
 1))*x^2, x]*(a + c*x^4)^(p - 1), x], x] /; FreeQ[{a, c, d, e}, x] && NeQ[c 
*d^2 + a*e^2, 0] && GtQ[p, 0] && FractionQ[p] && IntegerQ[2*p]
 

rule 1513

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

rule 2427

Int[(Pq_)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> With[{q = Expon[Pq, x 
]}, With[{Pqq = Coeff[Pq, x, q]}, Simp[Pqq*x^(q - n + 1)*((a + b*x^n)^(p + 
1)/(b*(q + n*p + 1))), x] + Simp[1/(b*(q + n*p + 1))   Int[ExpandToSum[b*(q 
 + n*p + 1)*(Pq - Pqq*x^q) - a*Pqq*(q - n + 1)*x^(q - n), x]*(a + b*x^n)^p, 
 x], x]] /; NeQ[q + n*p + 1, 0] && q - n >= 0 && (IntegerQ[2*p] || IntegerQ 
[p + (q + 1)/(2*n)])] /; FreeQ[{a, b, p}, x] && PolyQ[Pq, x] && IGtQ[n, 0]
 

Maple [A] (verified)

Time = 0.73 (sec) , antiderivative size = 229, normalized size of antiderivative = 1.17

method	result	size
elliptic	\(\frac {C \,x^{5} \sqrt {-c \,x^{4}+a}}{7}+\frac {B \,x^{3} \sqrt {-c \,x^{4}+a}}{5}-\frac {\left (-A c +\frac {2 C a}{7}\right ) x \sqrt {-c \,x^{4}+a}}{3 c}+\frac {\left (A a +\frac {a \left (-A c +\frac {2 C a}{7}\right )}{3 c}\right ) \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )}{\sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}}-\frac {2 B \,a^{\frac {3}{2}} \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \left (\operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )-\operatorname {EllipticE}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )\right )}{5 \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}\, \sqrt {c}}\)	\(229\)
risch	\(\frac {x \left (15 C c \,x^{4}+21 B \,x^{2} c +35 A c -10 C a \right ) \sqrt {-c \,x^{4}+a}}{105 c}+\frac {2 a \left (\frac {35 A c \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )}{\sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}}+\frac {5 C a \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )}{\sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}}-\frac {21 B \sqrt {c}\, \sqrt {a}\, \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \left (\operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )-\operatorname {EllipticE}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )\right )}{\sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}}\right )}{105 c}\)	\(268\)
default	\(A \left (\frac {x \sqrt {-c \,x^{4}+a}}{3}+\frac {2 a \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )}{3 \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}}\right )+B \left (\frac {x^{3} \sqrt {-c \,x^{4}+a}}{5}-\frac {2 a^{\frac {3}{2}} \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \left (\operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )-\operatorname {EllipticE}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )\right )}{5 \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}\, \sqrt {c}}\right )+C \left (\frac {x^{5} \sqrt {-c \,x^{4}+a}}{7}-\frac {2 a x \sqrt {-c \,x^{4}+a}}{21 c}+\frac {2 a^{2} \sqrt {1-\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {\sqrt {c}\, x^{2}}{\sqrt {a}}}\, \operatorname {EllipticF}\left (x \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}, i\right )}{21 c \sqrt {\frac {\sqrt {c}}{\sqrt {a}}}\, \sqrt {-c \,x^{4}+a}}\right )\)	\(293\)

Input:

int((-c*x^4+a)^(1/2)*(C*x^4+B*x^2+A),x,method=_RETURNVERBOSE)
                                                                                    
                                                                                    
 

Output:

1/7*C*x^5*(-c*x^4+a)^(1/2)+1/5*B*x^3*(-c*x^4+a)^(1/2)-1/3*(-A*c+2/7*C*a)/c 
*x*(-c*x^4+a)^(1/2)+(A*a+1/3*a/c*(-A*c+2/7*C*a))/(c^(1/2)/a^(1/2))^(1/2)*( 
1-c^(1/2)*x^2/a^(1/2))^(1/2)*(1+c^(1/2)*x^2/a^(1/2))^(1/2)/(-c*x^4+a)^(1/2 
)*EllipticF(x*(c^(1/2)/a^(1/2))^(1/2),I)-2/5*B*a^(3/2)/(c^(1/2)/a^(1/2))^( 
1/2)*(1-c^(1/2)*x^2/a^(1/2))^(1/2)*(1+c^(1/2)*x^2/a^(1/2))^(1/2)/(-c*x^4+a 
)^(1/2)/c^(1/2)*(EllipticF(x*(c^(1/2)/a^(1/2))^(1/2),I)-EllipticE(x*(c^(1/ 
2)/a^(1/2))^(1/2),I))
 

Fricas [A] (verification not implemented)

Time = 0.09 (sec) , antiderivative size = 128, normalized size of antiderivative = 0.66 \[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=-\frac {42 \, B a \sqrt {-c} x \left (\frac {a}{c}\right )^{\frac {3}{4}} E(\arcsin \left (\frac {\left (\frac {a}{c}\right )^{\frac {1}{4}}}{x}\right )\,|\,-1) - 2 \, {\left ({\left (21 \, B + 5 \, C\right )} a + 35 \, A c\right )} \sqrt {-c} x \left (\frac {a}{c}\right )^{\frac {3}{4}} F(\arcsin \left (\frac {\left (\frac {a}{c}\right )^{\frac {1}{4}}}{x}\right )\,|\,-1) - {\left (15 \, C c x^{6} + 21 \, B c x^{4} - 5 \, {\left (2 \, C a - 7 \, A c\right )} x^{2} - 42 \, B a\right )} \sqrt {-c x^{4} + a}}{105 \, c x} \] Input:

integrate((-c*x^4+a)^(1/2)*(C*x^4+B*x^2+A),x, algorithm="fricas")
 

Output:

-1/105*(42*B*a*sqrt(-c)*x*(a/c)^(3/4)*elliptic_e(arcsin((a/c)^(1/4)/x), -1 
) - 2*((21*B + 5*C)*a + 35*A*c)*sqrt(-c)*x*(a/c)^(3/4)*elliptic_f(arcsin(( 
a/c)^(1/4)/x), -1) - (15*C*c*x^6 + 21*B*c*x^4 - 5*(2*C*a - 7*A*c)*x^2 - 42 
*B*a)*sqrt(-c*x^4 + a))/(c*x)
 

Sympy [A] (verification not implemented)

Time = 1.64 (sec) , antiderivative size = 129, normalized size of antiderivative = 0.66 \[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\frac {A \sqrt {a} x \Gamma \left (\frac {1}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {1}{4} \\ \frac {5}{4} \end {matrix}\middle | {\frac {c x^{4} e^{2 i \pi }}{a}} \right )}}{4 \Gamma \left (\frac {5}{4}\right )} + \frac {B \sqrt {a} x^{3} \Gamma \left (\frac {3}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {3}{4} \\ \frac {7}{4} \end {matrix}\middle | {\frac {c x^{4} e^{2 i \pi }}{a}} \right )}}{4 \Gamma \left (\frac {7}{4}\right )} + \frac {C \sqrt {a} x^{5} \Gamma \left (\frac {5}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {5}{4} \\ \frac {9}{4} \end {matrix}\middle | {\frac {c x^{4} e^{2 i \pi }}{a}} \right )}}{4 \Gamma \left (\frac {9}{4}\right )} \] Input:

integrate((-c*x**4+a)**(1/2)*(C*x**4+B*x**2+A),x)
 

Output:

A*sqrt(a)*x*gamma(1/4)*hyper((-1/2, 1/4), (5/4,), c*x**4*exp_polar(2*I*pi) 
/a)/(4*gamma(5/4)) + B*sqrt(a)*x**3*gamma(3/4)*hyper((-1/2, 3/4), (7/4,), 
c*x**4*exp_polar(2*I*pi)/a)/(4*gamma(7/4)) + C*sqrt(a)*x**5*gamma(5/4)*hyp 
er((-1/2, 5/4), (9/4,), c*x**4*exp_polar(2*I*pi)/a)/(4*gamma(9/4))
 

Maxima [F]

\[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\int { {\left (C x^{4} + B x^{2} + A\right )} \sqrt {-c x^{4} + a} \,d x } \] Input:

integrate((-c*x^4+a)^(1/2)*(C*x^4+B*x^2+A),x, algorithm="maxima")
 

Output:

integrate((C*x^4 + B*x^2 + A)*sqrt(-c*x^4 + a), x)
 

Giac [F]

\[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\int { {\left (C x^{4} + B x^{2} + A\right )} \sqrt {-c x^{4} + a} \,d x } \] Input:

integrate((-c*x^4+a)^(1/2)*(C*x^4+B*x^2+A),x, algorithm="giac")
 

Output:

integrate((C*x^4 + B*x^2 + A)*sqrt(-c*x^4 + a), x)
                                                                                    
                                                                                    
 

Mupad [F(-1)]

Timed out. \[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\int \sqrt {a-c\,x^4}\,\left (C\,x^4+B\,x^2+A\right ) \,d x \] Input:

int((a - c*x^4)^(1/2)*(A + B*x^2 + C*x^4),x)
 

Output:

int((a - c*x^4)^(1/2)*(A + B*x^2 + C*x^4), x)
 

Reduce [F]

\[ \int \sqrt {a-c x^4} \left (A+B x^2+C x^4\right ) \, dx=\frac {5 \sqrt {-c \,x^{4}+a}\, a x}{21}+\frac {\sqrt {-c \,x^{4}+a}\, b \,x^{3}}{5}+\frac {\sqrt {-c \,x^{4}+a}\, c \,x^{5}}{7}+\frac {16 \left (\int \frac {\sqrt {-c \,x^{4}+a}}{-c \,x^{4}+a}d x \right ) a^{2}}{21}+\frac {2 \left (\int \frac {\sqrt {-c \,x^{4}+a}\, x^{2}}{-c \,x^{4}+a}d x \right ) a b}{5} \] Input:

int((-c*x^4+a)^(1/2)*(C*x^4+B*x^2+A),x)
 

Output:

(25*sqrt(a - c*x**4)*a*x + 21*sqrt(a - c*x**4)*b*x**3 + 15*sqrt(a - c*x**4 
)*c*x**5 + 80*int(sqrt(a - c*x**4)/(a - c*x**4),x)*a**2 + 42*int((sqrt(a - 
 c*x**4)*x**2)/(a - c*x**4),x)*a*b)/105