3.47.33 \(\int \frac {-8 x-6 e x+2 e^4 x-4 e^2 x^2}{16+9 e^2+e^8-8 e^6 x-32 x^2+16 x^4+e (24-24 x^2)+e^4 (-8-6 e+24 x^2)+e^2 (32 x+24 e x-32 x^3)} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.15, antiderivative size = 40, normalized size of antiderivative = 1.82, number of steps used = 5, number of rules used = 4, integrand size = 91, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.044, Rules used = {6, 1593, 1680, 776} \begin {gather*} -\frac {4 e^2 x-e^4+3 e+4}{4 \left (-4 \left (x-\frac {e^2}{2}\right )^2+3 e+4\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-8*x - 6*E*x + 2*E^4*x - 4*E^2*x^2)/(16 + 9*E^2 + E^8 - 8*E^6*x - 32*x^2 + 16*x^4 + E*(24 - 24*x^2) + E^4
*(-8 - 6*E + 24*x^2) + E^2*(32*x + 24*E*x - 32*x^3)),x]

[Out]

-1/4*(4 + 3*E - E^4 + 4*E^2*x)/(4 + 3*E - 4*(-1/2*E^2 + 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 776

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

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 1680

Int[(Pq_)*(Q4_)^(p_), x_Symbol] :> With[{a = Coeff[Q4, x, 0], b = Coeff[Q4, x, 1], c = Coeff[Q4, x, 2], d = Co
eff[Q4, x, 3], e = Coeff[Q4, x, 4]}, Subst[Int[SimplifyIntegrand[(Pq /. x -> -(d/(4*e)) + x)*(a + d^4/(256*e^3
) - (b*d)/(8*e) + (c - (3*d^2)/(8*e))*x^2 + e*x^4)^p, x], x], x, d/(4*e) + x] /; EqQ[d^3 - 4*c*d*e + 8*b*e^2,
0] && NeQ[d, 0]] /; FreeQ[p, x] && PolyQ[Pq, x] && PolyQ[Q4, x, 4] &&  !IGtQ[p, 0]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {(-8-6 e) x+2 e^4 x-4 e^2 x^2}{16+9 e^2+e^8-8 e^6 x-32 x^2+16 x^4+e \left (24-24 x^2\right )+e^4 \left (-8-6 e+24 x^2\right )+e^2 \left (32 x+24 e x-32 x^3\right )} \, dx\\ &=\int \frac {\left (-8-6 e+2 e^4\right ) x-4 e^2 x^2}{16+9 e^2+e^8-8 e^6 x-32 x^2+16 x^4+e \left (24-24 x^2\right )+e^4 \left (-8-6 e+24 x^2\right )+e^2 \left (32 x+24 e x-32 x^3\right )} \, dx\\ &=\int \frac {x \left (-8-6 e+2 e^4-4 e^2 x\right )}{16+9 e^2+e^8-8 e^6 x-32 x^2+16 x^4+e \left (24-24 x^2\right )+e^4 \left (-8-6 e+24 x^2\right )+e^2 \left (32 x+24 e x-32 x^3\right )} \, dx\\ &=\operatorname {Subst}\left (\int \frac {\left (e^2+2 x\right ) \left (-4-3 e-2 e^2 x\right )}{\left (4+3 e-4 x^2\right )^2} \, dx,x,-\frac {e^2}{2}+x\right )\\ &=-\frac {4+3 e-e^4+4 e^2 x}{4 \left (4+3 e-4 \left (-\frac {e^2}{2}+x\right )^2\right )}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

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

Antiderivative was successfully verified.

[In]

Integrate[(-8*x - 6*E*x + 2*E^4*x - 4*E^2*x^2)/(16 + 9*E^2 + E^8 - 8*E^6*x - 32*x^2 + 16*x^4 + E*(24 - 24*x^2)
+ E^4*(-8 - 6*E + 24*x^2) + E^2*(32*x + 24*E*x - 32*x^3)),x]

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x*exp(2)^2-4*x^2*exp(2)-6*x*exp(1)-8*x)/(exp(2)^4-8*x*exp(2)^3+(-6*exp(1)+24*x^2-8)*exp(2)^2+(24*
x*exp(1)-32*x^3+32*x)*exp(2)+9*exp(1)^2+(-24*x^2+24)*exp(1)+16*x^4-32*x^2+16),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.27, size = 25, normalized size = 1.14 \begin {gather*} -402220.435284000 \, \log \left (x - 1.95133771141000\right ) + 402220.278650000 \, \log \left (x - 1.95133839025000\right ) + 1.04691448776000 \times 10^{6} \, \log \left (x - 5.43771703546000\right ) - 1.04691400222400 \times 10^{6} \, \log \left (x - 5.43771906075000\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x*exp(2)^2-4*x^2*exp(2)-6*x*exp(1)-8*x)/(exp(2)^4-8*x*exp(2)^3+(-6*exp(1)+24*x^2-8)*exp(2)^2+(24*
x*exp(1)-32*x^3+32*x)*exp(2)+9*exp(1)^2+(-24*x^2+24)*exp(1)+16*x^4-32*x^2+16),x, algorithm="giac")

[Out]

-402220.435284000*log(x - 1.95133771141000) + 402220.278650000*log(x - 1.95133839025000) + 1.04691448776000e6*
log(x - 5.43771703546000) - 1.04691400222400e6*log(x - 5.43771906075000)

________________________________________________________________________________________

maple [A]  time = 0.17, size = 36, normalized size = 1.64

method	result	size
risch	\(\frac {{\mathrm e}^{2} x -\frac {{\mathrm e}^{4}}{4}+\frac {3 \,{\mathrm e}}{4}+1}{{\mathrm e}^{4}-4 \,{\mathrm e}^{2} x +4 x^{2}-3 \,{\mathrm e}-4}\)	\(36\)
gosper	\(-\frac {{\mathrm e}^{4}-4 \,{\mathrm e}^{2} x -3 \,{\mathrm e}-4}{4 \left ({\mathrm e}^{4}-4 \,{\mathrm e}^{2} x +4 x^{2}-3 \,{\mathrm e}-4\right )}\)	\(40\)
norman	\(\frac {{\mathrm e}^{2} x -\frac {{\mathrm e}^{4}}{4}+\frac {3 \,{\mathrm e}}{4}+1}{{\mathrm e}^{4}-4 \,{\mathrm e}^{2} x +4 x^{2}-3 \,{\mathrm e}-4}\)	\(40\)
default	\(\frac {\left (\munderset {\textit {\_R} =\RootOf \left (16 \textit {\_Z}^{4}-32 \textit {\_Z}^{3} {\mathrm e}^{2}+\left (24 \,{\mathrm e}^{4}-24 \,{\mathrm e}-32\right ) \textit {\_Z}^{2}+\left (32 \,{\mathrm e}^{2}+24 \,{\mathrm e}^{3}-8 \,{\mathrm e}^{6}\right ) \textit {\_Z} -6 \,{\mathrm e}^{5}+9 \,{\mathrm e}^{2}-8 \,{\mathrm e}^{4}+24 \,{\mathrm e}+{\mathrm e}^{8}+16\right )}{\sum }\frac {\left (2 \textit {\_R}^{2} {\mathrm e}^{2}+\left (4-{\mathrm e}^{4}+3 \,{\mathrm e}\right ) \textit {\_R} \right ) \ln \left (x -\textit {\_R} \right )}{12 \textit {\_R}^{2} {\mathrm e}^{2}-8 \textit {\_R}^{3}-6 \textit {\_R} \,{\mathrm e}^{4}+6 \textit {\_R} \,{\mathrm e}-4 \,{\mathrm e}^{2}-3 \,{\mathrm e}^{3}+{\mathrm e}^{6}+8 \textit {\_R}}\right )}{4}\)	\(133\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*x*exp(2)^2-4*x^2*exp(2)-6*x*exp(1)-8*x)/(exp(2)^4-8*x*exp(2)^3+(-6*exp(1)+24*x^2-8)*exp(2)^2+(24*x*exp(
1)-32*x^3+32*x)*exp(2)+9*exp(1)^2+(-24*x^2+24)*exp(1)+16*x^4-32*x^2+16),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x*exp(2)^2-4*x^2*exp(2)-6*x*exp(1)-8*x)/(exp(2)^4-8*x*exp(2)^3+(-6*exp(1)+24*x^2-8)*exp(2)^2+(24*
x*exp(1)-32*x^3+32*x)*exp(2)+9*exp(1)^2+(-24*x^2+24)*exp(1)+16*x^4-32*x^2+16),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 0.20, size = 38, normalized size = 1.73 \begin {gather*} -\frac {\frac {3\,\mathrm {e}}{4}-\frac {{\mathrm {e}}^4}{4}+x\,{\mathrm {e}}^2+1}{-4\,x^2+4\,{\mathrm {e}}^2\,x+3\,\mathrm {e}-{\mathrm {e}}^4+4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(8*x + 6*x*exp(1) - 2*x*exp(4) + 4*x^2*exp(2))/(9*exp(2) + exp(8) - exp(4)*(6*exp(1) - 24*x^2 + 8) - 8*x*
exp(6) - exp(1)*(24*x^2 - 24) + exp(2)*(32*x + 24*x*exp(1) - 32*x^3) - 32*x^2 + 16*x^4 + 16),x)

[Out]

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

________________________________________________________________________________________

sympy [B]  time = 0.93, size = 41, normalized size = 1.86 \begin {gather*} - \frac {- 4 x e^{2} - 3 e - 4 + e^{4}}{16 x^{2} - 16 x e^{2} - 12 e - 16 + 4 e^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x*exp(2)**2-4*x**2*exp(2)-6*x*exp(1)-8*x)/(exp(2)**4-8*x*exp(2)**3+(-6*exp(1)+24*x**2-8)*exp(2)**
2+(24*x*exp(1)-32*x**3+32*x)*exp(2)+9*exp(1)**2+(-24*x**2+24)*exp(1)+16*x**4-32*x**2+16),x)

[Out]

-(-4*x*exp(2) - 3*E - 4 + exp(4))/(16*x**2 - 16*x*exp(2) - 12*E - 16 + 4*exp(4))

________________________________________________________________________________________