3.6.83 \(\int \frac {72-18 x^2+e^{16-32 x^2+24 x^4-8 x^6+x^8} (-4+x^2) (774 x^8-1344 x^{10}+864 x^{12}-240 x^{14}+24 x^{16})}{-4 x^7+x^9} \, dx\)

Optimal. Leaf size=21 \[ 3 \left (\frac {1}{x^6}+e^{\left (-2+x^2\right )^4} \left (-4+x^2\right )\right ) \]

________________________________________________________________________________________

Rubi [C]  time = 0.98, antiderivative size = 99, normalized size of antiderivative = 4.71, number of steps used = 9, number of rules used = 7, integrand size = 73, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.096, Rules used = {1593, 6688, 6715, 2226, 2208, 2209, 2218} \begin {gather*} \frac {3}{x^6}-6 e^{\left (x^2-2\right )^4}+\frac {3 \left (2-x^2\right )^5 \Gamma \left (\frac {5}{4},-\left (2-x^2\right )^4\right )}{\left (-\left (2-x^2\right )^4\right )^{5/4}}+\frac {3 \left (2-x^2\right ) \Gamma \left (\frac {1}{4},-\left (2-x^2\right )^4\right )}{4 \sqrt [4]{-\left (2-x^2\right )^4}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(72 - 18*x^2 + E^(16 - 32*x^2 + 24*x^4 - 8*x^6 + x^8)*(-4 + x^2)*(774*x^8 - 1344*x^10 + 864*x^12 - 240*x^1
4 + 24*x^16))/(-4*x^7 + x^9),x]

[Out]

-6*E^(-2 + x^2)^4 + 3/x^6 + (3*(2 - x^2)*Gamma[1/4, -(2 - x^2)^4])/(4*(-(2 - x^2)^4)^(1/4)) + (3*(2 - x^2)^5*G
amma[5/4, -(2 - x^2)^4])/(-(2 - x^2)^4)^(5/4)

Rule 1593

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^(q - p))^n, x] /; F
reeQ[{a, b, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rule 2208

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_)), x_Symbol] :> -Simp[(F^a*(c + d*x)*Gamma[1/n, -(b*(c + d*x)
^n*Log[F])])/(d*n*(-(b*(c + d*x)^n*Log[F]))^(1/n)), x] /; FreeQ[{F, a, b, c, d, n}, x] &&  !IntegerQ[2/n]

Rule 2209

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> Simp[((e + f*x)^n*
F^(a + b*(c + d*x)^n))/(b*f*n*(c + d*x)^n*Log[F]), x] /; FreeQ[{F, a, b, c, d, e, f, n}, x] && EqQ[m, n - 1] &
& EqQ[d*e - c*f, 0]

Rule 2218

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> -Simp[(F^a*(e + f*
x)^(m + 1)*Gamma[(m + 1)/n, -(b*(c + d*x)^n*Log[F])])/(f*n*(-(b*(c + d*x)^n*Log[F]))^((m + 1)/n)), x] /; FreeQ
[{F, a, b, c, d, e, f, m, n}, x] && EqQ[d*e - c*f, 0]

Rule 2226

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*(u_), x_Symbol] :> Int[ExpandLinearProduct[F^(a + b*(c + d*
x)^n), u, c, d, x], x] /; FreeQ[{F, a, b, c, d, n}, x] && PolynomialQ[u, x]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6715

Int[(u_)*(x_)^(m_.), x_Symbol] :> Dist[1/(m + 1), Subst[Int[SubstFor[x^(m + 1), u, x], x], x, x^(m + 1)], x] /
; FreeQ[m, x] && NeQ[m, -1] && FunctionOfQ[x^(m + 1), u, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {72-18 x^2+e^{16-32 x^2+24 x^4-8 x^6+x^8} \left (-4+x^2\right ) \left (774 x^8-1344 x^{10}+864 x^{12}-240 x^{14}+24 x^{16}\right )}{x^7 \left (-4+x^2\right )} \, dx\\ &=\int \left (-\frac {18}{x^7}+6 e^{\left (-2+x^2\right )^4} x \left (129-224 x^2+144 x^4-40 x^6+4 x^8\right )\right ) \, dx\\ &=\frac {3}{x^6}+6 \int e^{\left (-2+x^2\right )^4} x \left (129-224 x^2+144 x^4-40 x^6+4 x^8\right ) \, dx\\ &=\frac {3}{x^6}+3 \operatorname {Subst}\left (\int e^{(-2+x)^4} \left (129-224 x+144 x^2-40 x^3+4 x^4\right ) \, dx,x,x^2\right )\\ &=\frac {3}{x^6}+3 \operatorname {Subst}\left (\int \left (e^{(-2+x)^4}-8 e^{(-2+x)^4} (-2+x)^3+4 e^{(-2+x)^4} (-2+x)^4\right ) \, dx,x,x^2\right )\\ &=\frac {3}{x^6}+3 \operatorname {Subst}\left (\int e^{(-2+x)^4} \, dx,x,x^2\right )+12 \operatorname {Subst}\left (\int e^{(-2+x)^4} (-2+x)^4 \, dx,x,x^2\right )-24 \operatorname {Subst}\left (\int e^{(-2+x)^4} (-2+x)^3 \, dx,x,x^2\right )\\ &=-6 e^{\left (-2+x^2\right )^4}+\frac {3}{x^6}+\frac {3 \left (2-x^2\right ) \Gamma \left (\frac {1}{4},-\left (2-x^2\right )^4\right )}{4 \sqrt [4]{-\left (2-x^2\right )^4}}+\frac {3 \left (2-x^2\right )^5 \Gamma \left (\frac {5}{4},-\left (2-x^2\right )^4\right )}{\left (-\left (2-x^2\right )^4\right )^{5/4}}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [C]  time = 0.24, size = 95, normalized size = 4.52 \begin {gather*} \frac {3}{x^6}+3 \left (-2 e^{\left (-2+x^2\right )^4}-\frac {\left (-2+x^2\right ) \Gamma \left (\frac {1}{4},-\left (-2+x^2\right )^4\right )}{4 \sqrt [4]{-\left (-2+x^2\right )^4}}+\frac {\left (2-x^2\right )^5 \Gamma \left (\frac {5}{4},-\left (2-x^2\right )^4\right )}{\left (-\left (2-x^2\right )^4\right )^{5/4}}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(72 - 18*x^2 + E^(16 - 32*x^2 + 24*x^4 - 8*x^6 + x^8)*(-4 + x^2)*(774*x^8 - 1344*x^10 + 864*x^12 - 2
40*x^14 + 24*x^16))/(-4*x^7 + x^9),x]

[Out]

3/x^6 + 3*(-2*E^(-2 + x^2)^4 - ((-2 + x^2)*Gamma[1/4, -(-2 + x^2)^4])/(4*(-(-2 + x^2)^4)^(1/4)) + ((2 - x^2)^5
*Gamma[5/4, -(2 - x^2)^4])/(-(2 - x^2)^4)^(5/4))

________________________________________________________________________________________

fricas [A]  time = 0.66, size = 38, normalized size = 1.81 \begin {gather*} \frac {3 \, {\left (x^{6} e^{\left (x^{8} - 8 \, x^{6} + 24 \, x^{4} - 32 \, x^{2} + \log \left (x^{2} - 4\right ) + 16\right )} + 1\right )}}{x^{6}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((24*x^16-240*x^14+864*x^12-1344*x^10+774*x^8)*exp(log(x^2-4)+x^8-8*x^6+24*x^4-32*x^2+16)-18*x^2+72)
/(x^9-4*x^7),x, algorithm="fricas")

[Out]

3*(x^6*e^(x^8 - 8*x^6 + 24*x^4 - 32*x^2 + log(x^2 - 4) + 16) + 1)/x^6

________________________________________________________________________________________

giac [B]  time = 1.12, size = 194, normalized size = 9.24 \begin {gather*} \frac {3 \, {\left ({\left (x^{2} - 4\right )}^{4} e^{\left ({\left (x^{2} - 4\right )}^{4} + 8 \, {\left (x^{2} - 4\right )}^{3} + 24 \, {\left (x^{2} - 4\right )}^{2} + 32 \, x^{2} - 112\right )} + 12 \, {\left (x^{2} - 4\right )}^{3} e^{\left ({\left (x^{2} - 4\right )}^{4} + 8 \, {\left (x^{2} - 4\right )}^{3} + 24 \, {\left (x^{2} - 4\right )}^{2} + 32 \, x^{2} - 112\right )} + 48 \, {\left (x^{2} - 4\right )}^{2} e^{\left ({\left (x^{2} - 4\right )}^{4} + 8 \, {\left (x^{2} - 4\right )}^{3} + 24 \, {\left (x^{2} - 4\right )}^{2} + 32 \, x^{2} - 112\right )} + 64 \, {\left (x^{2} - 4\right )} e^{\left ({\left (x^{2} - 4\right )}^{4} + 8 \, {\left (x^{2} - 4\right )}^{3} + 24 \, {\left (x^{2} - 4\right )}^{2} + 32 \, x^{2} - 112\right )} + 1\right )}}{{\left (x^{2} - 4\right )}^{3} + 12 \, {\left (x^{2} - 4\right )}^{2} + 48 \, x^{2} - 128} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((24*x^16-240*x^14+864*x^12-1344*x^10+774*x^8)*exp(log(x^2-4)+x^8-8*x^6+24*x^4-32*x^2+16)-18*x^2+72)
/(x^9-4*x^7),x, algorithm="giac")

[Out]

3*((x^2 - 4)^4*e^((x^2 - 4)^4 + 8*(x^2 - 4)^3 + 24*(x^2 - 4)^2 + 32*x^2 - 112) + 12*(x^2 - 4)^3*e^((x^2 - 4)^4
+ 8*(x^2 - 4)^3 + 24*(x^2 - 4)^2 + 32*x^2 - 112) + 48*(x^2 - 4)^2*e^((x^2 - 4)^4 + 8*(x^2 - 4)^3 + 24*(x^2 -
4)^2 + 32*x^2 - 112) + 64*(x^2 - 4)*e^((x^2 - 4)^4 + 8*(x^2 - 4)^3 + 24*(x^2 - 4)^2 + 32*x^2 - 112) + 1)/((x^2
- 4)^3 + 12*(x^2 - 4)^2 + 48*x^2 - 128)

________________________________________________________________________________________

maple [A]  time = 0.30, size = 23, normalized size = 1.10

method	result	size
risch	\(\frac {3}{x^{6}}+\left (3 x^{2}-12\right ) {\mathrm e}^{\left (x^{2}-2\right )^{4}}\)	\(23\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((24*x^16-240*x^14+864*x^12-1344*x^10+774*x^8)*exp(ln(x^2-4)+x^8-8*x^6+24*x^4-32*x^2+16)-18*x^2+72)/(x^9-4
*x^7),x,method=_RETURNVERBOSE)

[Out]

3/x^6+(3*x^2-12)*exp((x^2-2)^4)

________________________________________________________________________________________

maxima [B]  time = 0.65, size = 61, normalized size = 2.90 \begin {gather*} 3 \, {\left (x^{2} e^{16} - 4 \, e^{16}\right )} e^{\left (x^{8} - 8 \, x^{6} + 24 \, x^{4} - 32 \, x^{2}\right )} - \frac {9 \, {\left (x^{2} + 2\right )}}{16 \, x^{4}} + \frac {3 \, {\left (3 \, x^{4} + 6 \, x^{2} + 16\right )}}{16 \, x^{6}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((24*x^16-240*x^14+864*x^12-1344*x^10+774*x^8)*exp(log(x^2-4)+x^8-8*x^6+24*x^4-32*x^2+16)-18*x^2+72)
/(x^9-4*x^7),x, algorithm="maxima")

[Out]

3*(x^2*e^16 - 4*e^16)*e^(x^8 - 8*x^6 + 24*x^4 - 32*x^2) - 9/16*(x^2 + 2)/x^4 + 3/16*(3*x^4 + 6*x^2 + 16)/x^6

________________________________________________________________________________________

mupad [B]  time = 0.16, size = 61, normalized size = 2.90 \begin {gather*} \frac {3}{x^6}-12\,{\mathrm {e}}^{x^8}\,{\mathrm {e}}^{16}\,{\mathrm {e}}^{-8\,x^6}\,{\mathrm {e}}^{24\,x^4}\,{\mathrm {e}}^{-32\,x^2}+3\,x^2\,{\mathrm {e}}^{x^8}\,{\mathrm {e}}^{16}\,{\mathrm {e}}^{-8\,x^6}\,{\mathrm {e}}^{24\,x^4}\,{\mathrm {e}}^{-32\,x^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(log(x^2 - 4) - 32*x^2 + 24*x^4 - 8*x^6 + x^8 + 16)*(774*x^8 - 1344*x^10 + 864*x^12 - 240*x^14 + 24*x
^16) - 18*x^2 + 72)/(4*x^7 - x^9),x)

[Out]

3/x^6 - 12*exp(x^8)*exp(16)*exp(-8*x^6)*exp(24*x^4)*exp(-32*x^2) + 3*x^2*exp(x^8)*exp(16)*exp(-8*x^6)*exp(24*x
^4)*exp(-32*x^2)

________________________________________________________________________________________

sympy [A]  time = 0.18, size = 32, normalized size = 1.52 \begin {gather*} \left (3 x^{2} - 12\right ) e^{x^{8} - 8 x^{6} + 24 x^{4} - 32 x^{2} + 16} + \frac {3}{x^{6}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((24*x**16-240*x**14+864*x**12-1344*x**10+774*x**8)*exp(ln(x**2-4)+x**8-8*x**6+24*x**4-32*x**2+16)-1
8*x**2+72)/(x**9-4*x**7),x)

[Out]

(3*x**2 - 12)*exp(x**8 - 8*x**6 + 24*x**4 - 32*x**2 + 16) + 3/x**6

________________________________________________________________________________________