3.23.32 \(\int \frac {32 e^8+128 x^4+e^4 (24+128 x^2)}{9 x^3+16 e^8 x^3+48 x^5+64 x^7+e^4 (24 x^3+64 x^5)} \, dx\)

Optimal. Leaf size=26 \[ -\frac {4}{4 x^2+\frac {3 x}{\frac {e^4}{x}+2 x}} \]

________________________________________________________________________________________

Rubi [A]  time = 0.07, antiderivative size = 43, normalized size of antiderivative = 1.65, number of steps used = 4, number of rules used = 3, integrand size = 64, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.047, Rules used = {6, 2074, 261} \begin {gather*} -\frac {4 e^4}{\left (3+4 e^4\right ) x^2}-\frac {24}{\left (3+4 e^4\right ) \left (8 x^2+4 e^4+3\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(32*E^8 + 128*x^4 + E^4*(24 + 128*x^2))/(9*x^3 + 16*E^8*x^3 + 48*x^5 + 64*x^7 + E^4*(24*x^3 + 64*x^5)),x]

[Out]

(-4*E^4)/((3 + 4*E^4)*x^2) - 24/((3 + 4*E^4)*(3 + 4*E^4 + 8*x^2))

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 261

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(a + b*x^n)^(p + 1)/(b*n*(p + 1)), x] /; FreeQ
[{a, b, m, n, p}, x] && EqQ[m, n - 1] && NeQ[p, -1]

Rule 2074

Int[(P_)^(p_)*(Q_)^(q_.), x_Symbol] :> With[{PP = Factor[P]}, Int[ExpandIntegrand[PP^p*Q^q, x], x] /;  !SumQ[N
onfreeFactors[PP, x]]] /; FreeQ[q, x] && PolyQ[P, x] && PolyQ[Q, x] && IntegerQ[p] && NeQ[P, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {32 e^8+128 x^4+e^4 \left (24+128 x^2\right )}{\left (9+16 e^8\right ) x^3+48 x^5+64 x^7+e^4 \left (24 x^3+64 x^5\right )} \, dx\\ &=\int \left (\frac {8 e^4}{\left (3+4 e^4\right ) x^3}+\frac {384 x}{\left (3+4 e^4\right ) \left (3+4 e^4+8 x^2\right )^2}\right ) \, dx\\ &=-\frac {4 e^4}{\left (3+4 e^4\right ) x^2}+\frac {384 \int \frac {x}{\left (3+4 e^4+8 x^2\right )^2} \, dx}{3+4 e^4}\\ &=-\frac {4 e^4}{\left (3+4 e^4\right ) x^2}-\frac {24}{\left (3+4 e^4\right ) \left (3+4 e^4+8 x^2\right )}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.02, size = 28, normalized size = 1.08 \begin {gather*} -\frac {4 \left (e^4+2 x^2\right )}{x^2 \left (3+4 e^4+8 x^2\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(32*E^8 + 128*x^4 + E^4*(24 + 128*x^2))/(9*x^3 + 16*E^8*x^3 + 48*x^5 + 64*x^7 + E^4*(24*x^3 + 64*x^5
)),x]

[Out]

(-4*(E^4 + 2*x^2))/(x^2*(3 + 4*E^4 + 8*x^2))

________________________________________________________________________________________

fricas [A]  time = 0.83, size = 30, normalized size = 1.15 \begin {gather*} -\frac {4 \, {\left (2 \, x^{2} + e^{4}\right )}}{8 \, x^{4} + 4 \, x^{2} e^{4} + 3 \, x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((32*exp(4)^2+(128*x^2+24)*exp(4)+128*x^4)/(16*x^3*exp(4)^2+(64*x^5+24*x^3)*exp(4)+64*x^7+48*x^5+9*x^
3),x, algorithm="fricas")

[Out]

-4*(2*x^2 + e^4)/(8*x^4 + 4*x^2*e^4 + 3*x^2)

________________________________________________________________________________________

giac [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: NotImplementedError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((32*exp(4)^2+(128*x^2+24)*exp(4)+128*x^4)/(16*x^3*exp(4)^2+(64*x^5+24*x^3)*exp(4)+64*x^7+48*x^5+9*x^
3),x, algorithm="giac")

[Out]

Exception raised: NotImplementedError >> Unable to parse Giac output: 8*((-48*exp(4)^2+48*exp(8))/(576*exp(4)^
2+768*exp(4)*exp(8)+432*exp(4)+256*exp(8)^2+288*exp(8)+81)*ln(64*sageVARx^4+64*sageVARx^2*exp(4)+48*sageVARx^2
+24*exp(4)+16*exp(8)+

________________________________________________________________________________________

maple [A]  time = 0.13, size = 27, normalized size = 1.04

method	result	size
gosper	\(-\frac {4 \left (2 x^{2}+{\mathrm e}^{4}\right )}{x^{2} \left (8 x^{2}+4 \,{\mathrm e}^{4}+3\right )}\)	\(27\)
norman	\(\frac {-8 x^{2}-4 \,{\mathrm e}^{4}}{x^{2} \left (8 x^{2}+4 \,{\mathrm e}^{4}+3\right )}\)	\(28\)
risch	\(\frac {-8 x^{2}-4 \,{\mathrm e}^{4}}{x^{2} \left (8 x^{2}+4 \,{\mathrm e}^{4}+3\right )}\)	\(29\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((32*exp(4)^2+(128*x^2+24)*exp(4)+128*x^4)/(16*x^3*exp(4)^2+(64*x^5+24*x^3)*exp(4)+64*x^7+48*x^5+9*x^3),x,m
ethod=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.51, size = 28, normalized size = 1.08 \begin {gather*} -\frac {4 \, {\left (2 \, x^{2} + e^{4}\right )}}{8 \, x^{4} + x^{2} {\left (4 \, e^{4} + 3\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((32*exp(4)^2+(128*x^2+24)*exp(4)+128*x^4)/(16*x^3*exp(4)^2+(64*x^5+24*x^3)*exp(4)+64*x^7+48*x^5+9*x^
3),x, algorithm="maxima")

[Out]

-4*(2*x^2 + e^4)/(8*x^4 + x^2*(4*e^4 + 3))

________________________________________________________________________________________

mupad [B]  time = 1.32, size = 26, normalized size = 1.00 \begin {gather*} -\frac {4\,\left (2\,x^2+{\mathrm {e}}^4\right )}{x^2\,\left (8\,x^2+4\,{\mathrm {e}}^4+3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((32*exp(8) + exp(4)*(128*x^2 + 24) + 128*x^4)/(exp(4)*(24*x^3 + 64*x^5) + 16*x^3*exp(8) + 9*x^3 + 48*x^5 +
64*x^7),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.58, size = 26, normalized size = 1.00 \begin {gather*} \frac {- 8 x^{2} - 4 e^{4}}{8 x^{4} + x^{2} \left (3 + 4 e^{4}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((32*exp(4)**2+(128*x**2+24)*exp(4)+128*x**4)/(16*x**3*exp(4)**2+(64*x**5+24*x**3)*exp(4)+64*x**7+48*
x**5+9*x**3),x)

[Out]

(-8*x**2 - 4*exp(4))/(8*x**4 + x**2*(3 + 4*exp(4)))

________________________________________________________________________________________