3.31.54 \(\int \frac {(-d+c x^2) \sqrt {a x^2+\sqrt {b+a^2 x^4}}}{d+c x^2} \, dx\) [3054]

Optimal. Leaf size=463 \[ \frac {1}{2} x \sqrt {a x^2+\sqrt {b+a^2 x^4}}+\frac {\sqrt {b} \text {ArcTan}\left (\frac {a x^2}{\sqrt {b}}+\frac {\sqrt {b+a^2 x^4}}{\sqrt {b}}+\frac {\sqrt {2} \sqrt {a} x \sqrt {a x^2+\sqrt {b+a^2 x^4}}}{\sqrt {b}}\right )}{\sqrt {2} \sqrt {a}}-\frac {\sqrt {2} \sqrt {a} d \log \left (a x^2+\sqrt {b+a^2 x^4}+\sqrt {2} \sqrt {a} x \sqrt {a x^2+\sqrt {b+a^2 x^4}}\right )}{c}+\frac {\sqrt {2} \sqrt {a} d \text {RootSum}\left [b^2 c+4 a b d \text {$\#$1}-2 b c \text {$\#$1}^2+4 a d \text {$\#$1}^3+c \text {$\#$1}^4\& ,\frac {a b d \log \left (a x^2+\sqrt {b+a^2 x^4}+\sqrt {2} \sqrt {a} x \sqrt {a x^2+\sqrt {b+a^2 x^4}}-\text {$\#$1}\right )-2 b c \log \left (a x^2+\sqrt {b+a^2 x^4}+\sqrt {2} \sqrt {a} x \sqrt {a x^2+\sqrt {b+a^2 x^4}}-\text {$\#$1}\right ) \text {$\#$1}+a d \log \left (a x^2+\sqrt {b+a^2 x^4}+\sqrt {2} \sqrt {a} x \sqrt {a x^2+\sqrt {b+a^2 x^4}}-\text {$\#$1}\right ) \text {$\#$1}^2}{a b d-b c \text {$\#$1}+3 a d \text {$\#$1}^2+c \text {$\#$1}^3}\& \right ]}{c} \]

[Out]

Unintegrable

________________________________________________________________________________________

Rubi [F]
time = 0.53, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {\left (-d+c x^2\right ) \sqrt {a x^2+\sqrt {b+a^2 x^4}}}{d+c x^2} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

Defer[Int][Sqrt[a*x^2 + Sqrt[b + a^2*x^4]], x] - Sqrt[d]*Defer[Int][Sqrt[a*x^2 + Sqrt[b + a^2*x^4]]/(Sqrt[d] -
Sqrt[-c]*x), x] - Sqrt[d]*Defer[Int][Sqrt[a*x^2 + Sqrt[b + a^2*x^4]]/(Sqrt[d] + Sqrt[-c]*x), x]

Rubi steps

\begin {align*} \int \frac {\left (-d+c x^2\right ) \sqrt {a x^2+\sqrt {b+a^2 x^4}}}{d+c x^2} \, dx &=\int \left (\sqrt {a x^2+\sqrt {b+a^2 x^4}}-\frac {2 d \sqrt {a x^2+\sqrt {b+a^2 x^4}}}{d+c x^2}\right ) \, dx\\ &=-\left ((2 d) \int \frac {\sqrt {a x^2+\sqrt {b+a^2 x^4}}}{d+c x^2} \, dx\right )+\int \sqrt {a x^2+\sqrt {b+a^2 x^4}} \, dx\\ &=-\left ((2 d) \int \left (\frac {\sqrt {a x^2+\sqrt {b+a^2 x^4}}}{2 \sqrt {d} \left (\sqrt {d}-\sqrt {-c} x\right )}+\frac {\sqrt {a x^2+\sqrt {b+a^2 x^4}}}{2 \sqrt {d} \left (\sqrt {d}+\sqrt {-c} x\right )}\right ) \, dx\right )+\int \sqrt {a x^2+\sqrt {b+a^2 x^4}} \, dx\\ &=-\left (\sqrt {d} \int \frac {\sqrt {a x^2+\sqrt {b+a^2 x^4}}}{\sqrt {d}-\sqrt {-c} x} \, dx\right )-\sqrt {d} \int \frac {\sqrt {a x^2+\sqrt {b+a^2 x^4}}}{\sqrt {d}+\sqrt {-c} x} \, dx+\int \sqrt {a x^2+\sqrt {b+a^2 x^4}} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [F]
time = 10.16, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (-d+c x^2\right ) \sqrt {a x^2+\sqrt {b+a^2 x^4}}}{d+c x^2} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

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

________________________________________________________________________________________

Maple [F]
time = 180.00, size = 0, normalized size = 0.00 \[\int \frac {\left (c \,x^{2}-d \right ) \sqrt {a \,x^{2}+\sqrt {a^{2} x^{4}+b}}}{c \,x^{2}+d}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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((c*x^2-d)*(a*x^2+(a^2*x^4+b)^(1/2))^(1/2)/(c*x^2+d),x, algorithm="maxima")

[Out]

integrate(sqrt(a*x^2 + sqrt(a^2*x^4 + b))*(c*x^2 - d)/(c*x^2 + d), x)

________________________________________________________________________________________

Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Timed out

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {a x^{2} + \sqrt {a^{2} x^{4} + b}} \left (c x^{2} - d\right )}{c x^{2} + d}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Integral(sqrt(a*x**2 + sqrt(a**2*x**4 + b))*(c*x**2 - d)/(c*x**2 + d), x)

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(sqrt(a*x^2 + sqrt(a^2*x^4 + b))*(c*x^2 - d)/(c*x^2 + d), x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int -\frac {\sqrt {\sqrt {a^2\,x^4+b}+a\,x^2}\,\left (d-c\,x^2\right )}{c\,x^2+d} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________