3.67 \(\int \frac {\sqrt {1+p x^2+x^4}}{1-x^4} \, dx\)

Optimal. Leaf size=75 \[ \frac {1}{4} \sqrt {2-p} \tan ^{-1}\left (\frac {\sqrt {2-p} x}{\sqrt {p x^2+x^4+1}}\right )+\frac {1}{4} \sqrt {p+2} \tanh ^{-1}\left (\frac {\sqrt {p+2} x}{\sqrt {p x^2+x^4+1}}\right ) \]

[Out]

1/4*arctan(x*(2-p)^(1/2)/(x^4+p*x^2+1)^(1/2))*(2-p)^(1/2)+1/4*arctanh(x*(2+p)^(1/2)/(x^4+p*x^2+1)^(1/2))*(2+p)
^(1/2)

________________________________________________________________________________________

Rubi [A]  time = 0.09, antiderivative size = 75, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {2071, 1093, 205, 208} \[ \frac {1}{4} \sqrt {2-p} \tan ^{-1}\left (\frac {\sqrt {2-p} x}{\sqrt {p x^2+x^4+1}}\right )+\frac {1}{4} \sqrt {p+2} \tanh ^{-1}\left (\frac {\sqrt {p+2} x}{\sqrt {p x^2+x^4+1}}\right ) \]

Antiderivative was successfully verified.

[In]

Int[Sqrt[1 + p*x^2 + x^4]/(1 - x^4),x]

[Out]

(Sqrt[2 - p]*ArcTan[(Sqrt[2 - p]*x)/Sqrt[1 + p*x^2 + x^4]])/4 + (Sqrt[2 + p]*ArcTanh[(Sqrt[2 + p]*x)/Sqrt[1 +
p*x^2 + x^4]])/4

Rule 205

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

Rule 208

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-(a/b), 2]*ArcTanh[x/Rt[-(a/b), 2]])/a, x] /; FreeQ[{a,
b}, x] && NegQ[a/b]

Rule 1093

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

Rule 2071

Int[Sqrt[v_]/((d_) + (e_.)*(x_)^4), x_Symbol] :> With[{a = Coeff[v, x, 0], b = Coeff[v, x, 2], c = Coeff[v, x,
4]}, Dist[a/d, Subst[Int[1/(1 - 2*b*x^2 + (b^2 - 4*a*c)*x^4), x], x, x/Sqrt[v]], x] /; EqQ[c*d + a*e, 0] && P
osQ[a*c]] /; FreeQ[{d, e}, x] && PolyQ[v, x^2, 2]

Rubi steps

\begin {align*} \int \frac {\sqrt {1+p x^2+x^4}}{1-x^4} \, dx &=\operatorname {Subst}\left (\int \frac {1}{1-2 p x^2+\left (-4+p^2\right ) x^4} \, dx,x,\frac {x}{\sqrt {1+p x^2+x^4}}\right )\\ &=\frac {1}{4} \left (-4+p^2\right ) \operatorname {Subst}\left (\int \frac {1}{-2-p+\left (-4+p^2\right ) x^2} \, dx,x,\frac {x}{\sqrt {1+p x^2+x^4}}\right )-\frac {1}{4} \left (-4+p^2\right ) \operatorname {Subst}\left (\int \frac {1}{2-p+\left (-4+p^2\right ) x^2} \, dx,x,\frac {x}{\sqrt {1+p x^2+x^4}}\right )\\ &=\frac {1}{4} \sqrt {2-p} \tan ^{-1}\left (\frac {\sqrt {2-p} x}{\sqrt {1+p x^2+x^4}}\right )+\frac {1}{4} \sqrt {2+p} \tanh ^{-1}\left (\frac {\sqrt {2+p} x}{\sqrt {1+p x^2+x^4}}\right )\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 7.08, size = 5727, normalized size = 76.36 \[ \text {Result too large to show} \]

Antiderivative was successfully verified.

[In]

Integrate[Sqrt[1 + p*x^2 + x^4]/(1 - x^4),x]

[Out]

Result too large to show

________________________________________________________________________________________

fricas [A]  time = 0.75, size = 359, normalized size = 4.79 \[ \left [\frac {1}{8} \, \sqrt {p - 2} \log \left (\frac {x^{4} + 2 \, {\left (p - 1\right )} x^{2} - 2 \, \sqrt {x^{4} + p x^{2} + 1} \sqrt {p - 2} x + 1}{x^{4} + 2 \, x^{2} + 1}\right ) + \frac {1}{8} \, \sqrt {p + 2} \log \left (\frac {x^{4} + 2 \, {\left (p + 1\right )} x^{2} + 2 \, \sqrt {x^{4} + p x^{2} + 1} \sqrt {p + 2} x + 1}{x^{4} - 2 \, x^{2} + 1}\right ), \frac {1}{4} \, \sqrt {-p + 2} \arctan \left (\frac {\sqrt {-p + 2} x}{\sqrt {x^{4} + p x^{2} + 1}}\right ) + \frac {1}{8} \, \sqrt {p + 2} \log \left (\frac {x^{4} + 2 \, {\left (p + 1\right )} x^{2} + 2 \, \sqrt {x^{4} + p x^{2} + 1} \sqrt {p + 2} x + 1}{x^{4} - 2 \, x^{2} + 1}\right ), -\frac {1}{4} \, \sqrt {-p - 2} \arctan \left (\frac {\sqrt {x^{4} + p x^{2} + 1} \sqrt {-p - 2}}{{\left (p + 2\right )} x}\right ) + \frac {1}{8} \, \sqrt {p - 2} \log \left (\frac {x^{4} + 2 \, {\left (p - 1\right )} x^{2} - 2 \, \sqrt {x^{4} + p x^{2} + 1} \sqrt {p - 2} x + 1}{x^{4} + 2 \, x^{2} + 1}\right ), \frac {1}{4} \, \sqrt {-p + 2} \arctan \left (\frac {\sqrt {-p + 2} x}{\sqrt {x^{4} + p x^{2} + 1}}\right ) - \frac {1}{4} \, \sqrt {-p - 2} \arctan \left (\frac {\sqrt {x^{4} + p x^{2} + 1} \sqrt {-p - 2}}{{\left (p + 2\right )} x}\right )\right ] \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

[1/8*sqrt(p - 2)*log((x^4 + 2*(p - 1)*x^2 - 2*sqrt(x^4 + p*x^2 + 1)*sqrt(p - 2)*x + 1)/(x^4 + 2*x^2 + 1)) + 1/
8*sqrt(p + 2)*log((x^4 + 2*(p + 1)*x^2 + 2*sqrt(x^4 + p*x^2 + 1)*sqrt(p + 2)*x + 1)/(x^4 - 2*x^2 + 1)), 1/4*sq
rt(-p + 2)*arctan(sqrt(-p + 2)*x/sqrt(x^4 + p*x^2 + 1)) + 1/8*sqrt(p + 2)*log((x^4 + 2*(p + 1)*x^2 + 2*sqrt(x^
4 + p*x^2 + 1)*sqrt(p + 2)*x + 1)/(x^4 - 2*x^2 + 1)), -1/4*sqrt(-p - 2)*arctan(sqrt(x^4 + p*x^2 + 1)*sqrt(-p -
2)/((p + 2)*x)) + 1/8*sqrt(p - 2)*log((x^4 + 2*(p - 1)*x^2 - 2*sqrt(x^4 + p*x^2 + 1)*sqrt(p - 2)*x + 1)/(x^4
+ 2*x^2 + 1)), 1/4*sqrt(-p + 2)*arctan(sqrt(-p + 2)*x/sqrt(x^4 + p*x^2 + 1)) - 1/4*sqrt(-p - 2)*arctan(sqrt(x^
4 + p*x^2 + 1)*sqrt(-p - 2)/((p + 2)*x))]

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int -\frac {\sqrt {x^{4} + p x^{2} + 1}}{x^{4} - 1}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(-sqrt(x^4 + p*x^2 + 1)/(x^4 - 1), x)

________________________________________________________________________________________

maple [C]  time = 0.09, size = 1512, normalized size = 20.16 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x^4+p*x^2+1)^(1/2)/(-x^4+1),x)

[Out]

1/2*(-p-1)/(-2*p+2*(p^2-4)^(1/2))^(1/2)*(1-(-1/2*p+1/2*(p^2-4)^(1/2))*x^2)^(1/2)*(1-(-1/2*p-1/2*(p^2-4)^(1/2))
*x^2)^(1/2)/(x^4+p*x^2+1)^(1/2)*EllipticF(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1/2*(p^2-4)^(1/2)))
^(1/2))+2/(-2*p+2*(p^2-4)^(1/2))^(1/2)*(1-(-1/2*p+1/2*(p^2-4)^(1/2))*x^2)^(1/2)*(1-(-1/2*p-1/2*(p^2-4)^(1/2))*
x^2)^(1/2)/(x^4+p*x^2+1)^(1/2)/(p+(p^2-4)^(1/2))*(EllipticF(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1
/2*(p^2-4)^(1/2)))^(1/2))-EllipticE(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1/2*(p^2-4)^(1/2)))^(1/2)
))+1/4*(p+2)*(-1/2/(p+2)^(1/2)*arctanh(1/2*(p*x^2+2*x^2+p+2)/(p+2)^(1/2)/(x^4+p*x^2+1)^(1/2))+1/(-1/2*p+1/2*(p
^2-4)^(1/2))^(1/2)*(1-(-1/2*p+1/2*(p^2-4)^(1/2))*x^2)^(1/2)*(1-(-1/2*p-1/2*(p^2-4)^(1/2))*x^2)^(1/2)/(x^4+p*x^
2+1)^(1/2)*EllipticPi((-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)*x,1/(-1/2*p+1/2*(p^2-4)^(1/2)),(-1/2*p-1/2*(p^2-4)^(1/2
))^(1/2)/(-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)))-1/2*(p+1)/(-2*p+2*(p^2-4)^(1/2))^(1/2)*(1-(-1/2*p+1/2*(p^2-4)^(1/2
))*x^2)^(1/2)*(1-(-1/2*p-1/2*(p^2-4)^(1/2))*x^2)^(1/2)/(x^4+p*x^2+1)^(1/2)*EllipticF(1/2*x*(-2*p+2*(p^2-4)^(1/
2))^(1/2),(-1-p*(-1/2*p-1/2*(p^2-4)^(1/2)))^(1/2))-1/4*(p+2)*(-1/2/(p+2)^(1/2)*arctanh(1/2*(p*x^2+2*x^2+p+2)/(
p+2)^(1/2)/(x^4+p*x^2+1)^(1/2))-1/(-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)*(1-(-1/2*p+1/2*(p^2-4)^(1/2))*x^2)^(1/2)*(1
-(-1/2*p-1/2*(p^2-4)^(1/2))*x^2)^(1/2)/(x^4+p*x^2+1)^(1/2)*EllipticPi((-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)*x,1/(-1
/2*p+1/2*(p^2-4)^(1/2)),(-1/2*p-1/2*(p^2-4)^(1/2))^(1/2)/(-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)))+1/(-2*p+2*(p^2-4)^
(1/2))^(1/2)*(1+1/2*p*x^2-1/2*x^2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2+1/2*x^2*(p^2-4)^(1/2))^(1/2)/(x^4+p*x^2+1)
^(1/2)*EllipticF(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1/2*(p^2-4)^(1/2)))^(1/2))*p-1/(-2*p+2*(p^2-
4)^(1/2))^(1/2)*(1+1/2*p*x^2-1/2*x^2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2+1/2*x^2*(p^2-4)^(1/2))^(1/2)/(x^4+p*x^2
+1)^(1/2)*EllipticF(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1/2*(p^2-4)^(1/2)))^(1/2))-2/(-2*p+2*(p^2
-4)^(1/2))^(1/2)*(1+1/2*p*x^2-1/2*x^2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2+1/2*x^2*(p^2-4)^(1/2))^(1/2)/(x^4+p*x^
2+1)^(1/2)/(p+(p^2-4)^(1/2))*EllipticF(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1/2*(p^2-4)^(1/2)))^(1
/2))+2/(-2*p+2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2-1/2*x^2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2+1/2*x^2*(p^2-4)^(1/
2))^(1/2)/(x^4+p*x^2+1)^(1/2)/(p+(p^2-4)^(1/2))*EllipticE(1/2*x*(-2*p+2*(p^2-4)^(1/2))^(1/2),(-1-p*(-1/2*p-1/2
*(p^2-4)^(1/2)))^(1/2))+1/(-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2-1/2*x^2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*
x^2+1/2*x^2*(p^2-4)^(1/2))^(1/2)/(x^4+p*x^2+1)^(1/2)*EllipticPi((-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)*x,-1/(-1/2*p+
1/2*(p^2-4)^(1/2)),(-1/2*p-1/2*(p^2-4)^(1/2))^(1/2)/(-1/2*p+1/2*(p^2-4)^(1/2))^(1/2))-1/2*p/(-1/2*p+1/2*(p^2-4
)^(1/2))^(1/2)*(1+1/2*p*x^2-1/2*x^2*(p^2-4)^(1/2))^(1/2)*(1+1/2*p*x^2+1/2*x^2*(p^2-4)^(1/2))^(1/2)/(x^4+p*x^2+
1)^(1/2)*EllipticPi((-1/2*p+1/2*(p^2-4)^(1/2))^(1/2)*x,-1/(-1/2*p+1/2*(p^2-4)^(1/2)),(-1/2*p-1/2*(p^2-4)^(1/2)
)^(1/2)/(-1/2*p+1/2*(p^2-4)^(1/2))^(1/2))

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ -\int \frac {\sqrt {x^{4} + p x^{2} + 1}}{x^{4} - 1}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

-integrate(sqrt(x^4 + p*x^2 + 1)/(x^4 - 1), x)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.01 \[ -\int \frac {\sqrt {x^4+p\,x^2+1}}{x^4-1} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(p*x^2 + x^4 + 1)^(1/2)/(x^4 - 1),x)

[Out]

-int((p*x^2 + x^4 + 1)^(1/2)/(x^4 - 1), x)

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ - \int \frac {\sqrt {p x^{2} + x^{4} + 1}}{x^{4} - 1}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x**4+p*x**2+1)**(1/2)/(-x**4+1),x)

[Out]

-Integral(sqrt(p*x**2 + x**4 + 1)/(x**4 - 1), x)

________________________________________________________________________________________