3.79.35 \(\int \frac {-1+e^4 (-5-2 x^2)+e^8 (10 x+5 x^2-x^4)+e^{2+x} (5 e^4+e^8 (-10 x+5 x^2))}{5 e^4+10 e^8 x^2+5 e^{12} x^4} \, dx\)

Optimal. Leaf size=31 \[ -\frac {x}{5 e^4}+\frac {-1+e^{2+x}-x}{1+e^4 x^2} \]

________________________________________________________________________________________

Rubi [A]  time = 0.32, antiderivative size = 42, normalized size of antiderivative = 1.35, number of steps used = 7, number of rules used = 6, integrand size = 81, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.074, Rules used = {28, 6742, 2288, 1814, 21, 8} \begin {gather*} \frac {e^{x+2}}{e^4 x^2+1}-\frac {x+1}{e^4 x^2+1}-\frac {x}{5 e^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-1 + E^4*(-5 - 2*x^2) + E^8*(10*x + 5*x^2 - x^4) + E^(2 + x)*(5*E^4 + E^8*(-10*x + 5*x^2)))/(5*E^4 + 10*E
^8*x^2 + 5*E^12*x^4),x]

[Out]

-1/5*x/E^4 + E^(2 + x)/(1 + E^4*x^2) - (1 + x)/(1 + E^4*x^2)

Rule 8

Int[a_, x_Symbol] :> Simp[a*x, x] /; FreeQ[a, x]

Rule 21

Int[(u_.)*((a_) + (b_.)*(v_))^(m_.)*((c_) + (d_.)*(v_))^(n_.), x_Symbol] :> Dist[(b/d)^m, Int[u*(c + d*v)^(m +
n), x], x] /; FreeQ[{a, b, c, d, n}, x] && EqQ[b*c - a*d, 0] && IntegerQ[m] && ( !IntegerQ[n] || SimplerQ[c +
d*x, a + b*x])

Rule 28

Int[(u_.)*((a_) + (c_.)*(x_)^(n2_.) + (b_.)*(x_)^(n_))^(p_.), x_Symbol] :> Dist[1/c^p, Int[u*(b/2 + c*x^n)^(2*
p), x], x] /; FreeQ[{a, b, c, n}, x] && EqQ[n2, 2*n] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 1814

Int[(Pq_)*((a_) + (b_.)*(x_)^2)^(p_), x_Symbol] :> With[{Q = PolynomialQuotient[Pq, a + b*x^2, x], f = Coeff[P
olynomialRemainder[Pq, a + b*x^2, x], x, 0], g = Coeff[PolynomialRemainder[Pq, a + b*x^2, x], x, 1]}, Simp[((a
*g - b*f*x)*(a + b*x^2)^(p + 1))/(2*a*b*(p + 1)), x] + Dist[1/(2*a*(p + 1)), Int[(a + b*x^2)^(p + 1)*ExpandToS
um[2*a*(p + 1)*Q + f*(2*p + 3), x], x], x]] /; FreeQ[{a, b}, x] && PolyQ[Pq, x] && LtQ[p, -1]

Rule 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rule 6742

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\left (5 e^{12}\right ) \int \frac {-1+e^4 \left (-5-2 x^2\right )+e^8 \left (10 x+5 x^2-x^4\right )+e^{2+x} \left (5 e^4+e^8 \left (-10 x+5 x^2\right )\right )}{\left (5 e^8+5 e^{12} x^2\right )^2} \, dx\\ &=\left (5 e^{12}\right ) \int \left (\frac {e^{-10+x} \left (1-2 e^4 x+e^4 x^2\right )}{5 \left (1+e^4 x^2\right )^2}+\frac {-1-5 e^4+10 e^8 x-e^4 \left (2-5 e^4\right ) x^2-e^8 x^4}{25 e^{16} \left (1+e^4 x^2\right )^2}\right ) \, dx\\ &=\frac {\int \frac {-1-5 e^4+10 e^8 x-e^4 \left (2-5 e^4\right ) x^2-e^8 x^4}{\left (1+e^4 x^2\right )^2} \, dx}{5 e^4}+e^{12} \int \frac {e^{-10+x} \left (1-2 e^4 x+e^4 x^2\right )}{\left (1+e^4 x^2\right )^2} \, dx\\ &=\frac {e^{2+x}}{1+e^4 x^2}-\frac {1+x}{1+e^4 x^2}-\frac {\int \frac {2+2 e^4 x^2}{1+e^4 x^2} \, dx}{10 e^4}\\ &=\frac {e^{2+x}}{1+e^4 x^2}-\frac {1+x}{1+e^4 x^2}-\frac {\int 1 \, dx}{5 e^4}\\ &=-\frac {x}{5 e^4}+\frac {e^{2+x}}{1+e^4 x^2}-\frac {1+x}{1+e^4 x^2}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.15, size = 39, normalized size = 1.26 \begin {gather*} -\frac {-5 e^{6+x}+x+e^4 \left (5+5 x+x^3\right )}{5 e^4 \left (1+e^4 x^2\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-1 + E^4*(-5 - 2*x^2) + E^8*(10*x + 5*x^2 - x^4) + E^(2 + x)*(5*E^4 + E^8*(-10*x + 5*x^2)))/(5*E^4
+ 10*E^8*x^2 + 5*E^12*x^4),x]

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((5*x^2-10*x)*exp(4)^2+5*exp(4))*exp(2+x)+(-x^4+5*x^2+10*x)*exp(4)^2+(-2*x^2-5)*exp(4)-1)/(5*x^4*ex
p(4)^3+10*x^2*exp(4)^2+5*exp(4)),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((5*x^2-10*x)*exp(4)^2+5*exp(4))*exp(2+x)+(-x^4+5*x^2+10*x)*exp(4)^2+(-2*x^2-5)*exp(4)-1)/(5*x^4*ex
p(4)^3+10*x^2*exp(4)^2+5*exp(4)),x, algorithm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Unable to divide, perhaps due to rounding error%%%{-16/16,[1]%%%}+%%%{%%%{%%%{1,[1,1]%%%},[0]%%%},[0]%%%} /
%%%{%%%{-1

________________________________________________________________________________________

maple [A]  time = 0.38, size = 41, normalized size = 1.32

method	result	size
norman	\(\frac {x^{2} {\mathrm e}^{4}-\frac {x^{3}}{5}-\frac {{\mathrm e}^{-4} \left (5 \,{\mathrm e}^{4}+1\right ) x}{5}+{\mathrm e}^{2+x}}{1+x^{2} {\mathrm e}^{4}}\)	\(41\)
risch	\(-\frac {x \,{\mathrm e}^{-4}}{5}+\frac {\left (-5 x \,{\mathrm e}^{8}-5 \,{\mathrm e}^{8}\right ) {\mathrm e}^{-8}}{5+5 x^{2} {\mathrm e}^{4}}+\frac {{\mathrm e}^{2+x}}{1+x^{2} {\mathrm e}^{4}}\)	\(46\)
default	\(-\frac {{\mathrm e}^{8} x \,{\mathrm e}^{-4}}{2 \left (x^{2} {\mathrm e}^{8}+{\mathrm e}^{4}\right )}-\frac {{\mathrm e}^{8} {\mathrm e}^{-4} \arctan \left (\frac {x \,{\mathrm e}^{8}}{\sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}\right )}{2 \sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}+\frac {{\mathrm e}^{4} x^{2}}{1+x^{2} {\mathrm e}^{4}}+\frac {x}{5 x^{2} {\mathrm e}^{8}+5 \,{\mathrm e}^{4}}-\frac {\arctan \left (\frac {x \,{\mathrm e}^{8}}{\sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}\right )}{5 \sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}-\frac {{\mathrm e}^{4} x}{2 \left (x^{2} {\mathrm e}^{8}+{\mathrm e}^{4}\right )}+\frac {{\mathrm e}^{4} \arctan \left (\frac {x \,{\mathrm e}^{8}}{\sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}\right )}{2 \sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}-\frac {{\mathrm e}^{4} {\mathrm e}^{-8} x}{5}-\frac {{\mathrm e}^{4} x \,{\mathrm e}^{-4}}{5 \left (x^{2} {\mathrm e}^{8}+{\mathrm e}^{4}\right )}+\frac {{\mathrm e}^{4} \arctan \left (\frac {x \,{\mathrm e}^{8}}{\sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}\right ) {\mathrm e}^{-4}}{5 \sqrt {{\mathrm e}^{8} {\mathrm e}^{4}}}+{\mathrm e}^{2} {\mathrm e}^{4} \left (\frac {{\mathrm e}^{x} x \,{\mathrm e}^{-4}}{2+2 x^{2} {\mathrm e}^{4}}+\frac {i \left ({\mathrm e}^{-4}\right )^{2} \left ({\mathrm e}^{i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x -i\right ) {\mathrm e}^{-2}\right ) {\mathrm e}^{2}-{\mathrm e}^{-i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x +i\right ) {\mathrm e}^{-2}\right ) {\mathrm e}^{2}-i {\mathrm e}^{i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x -i\right ) {\mathrm e}^{-2}\right )-i {\mathrm e}^{-i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x +i\right ) {\mathrm e}^{-2}\right )\right )}{4}\right )-2 \,{\mathrm e}^{2} {\mathrm e}^{8} \left (-\frac {{\mathrm e}^{x} {\mathrm e}^{-8}}{2 \left (1+x^{2} {\mathrm e}^{4}\right )}+\frac {i {\mathrm e}^{-8} \left ({\mathrm e}^{i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x -i\right ) {\mathrm e}^{-2}\right )-{\mathrm e}^{-i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x +i\right ) {\mathrm e}^{-2}\right )\right ) {\mathrm e}^{-2}}{4}\right )+{\mathrm e}^{2} {\mathrm e}^{8} \left (-\frac {{\mathrm e}^{x} {\mathrm e}^{-8} x}{2 \left (1+x^{2} {\mathrm e}^{4}\right )}+\frac {i {\mathrm e}^{-8} \left ({\mathrm e}^{i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x -i\right ) {\mathrm e}^{-2}\right ) {\mathrm e}^{2}-{\mathrm e}^{-i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x +i\right ) {\mathrm e}^{-2}\right ) {\mathrm e}^{2}+i {\mathrm e}^{i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x -i\right ) {\mathrm e}^{-2}\right )+i {\mathrm e}^{-i {\mathrm e}^{-2}} \expIntegralEi \left (1, -\left ({\mathrm e}^{2} x +i\right ) {\mathrm e}^{-2}\right )\right ) {\mathrm e}^{-4}}{4}\right )\)	\(677\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((5*x^2-10*x)*exp(4)^2+5*exp(4))*exp(2+x)+(-x^4+5*x^2+10*x)*exp(4)^2+(-2*x^2-5)*exp(4)-1)/(5*x^4*exp(4)^3
+10*x^2*exp(4)^2+5*exp(4)),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 0.49, size = 166, normalized size = 5.35 \begin {gather*} \frac {1}{2} \, {\left (\arctan \left (x e^{2}\right ) e^{\left (-10\right )} - \frac {x}{x^{2} e^{12} + e^{8}}\right )} e^{8} - \frac {1}{10} \, {\left (2 \, x e^{\left (-12\right )} - 3 \, \arctan \left (x e^{2}\right ) e^{\left (-14\right )} + \frac {x}{x^{2} e^{16} + e^{12}}\right )} e^{8} - \frac {1}{2} \, {\left (\arctan \left (x e^{2}\right ) e^{\left (-6\right )} + \frac {x}{x^{2} e^{8} + e^{4}}\right )} e^{4} - \frac {1}{5} \, {\left (\arctan \left (x e^{2}\right ) e^{\left (-10\right )} - \frac {x}{x^{2} e^{12} + e^{8}}\right )} e^{4} - \frac {1}{10} \, \arctan \left (x e^{2}\right ) e^{\left (-6\right )} - \frac {x}{10 \, {\left (x^{2} e^{8} + e^{4}\right )}} - \frac {e^{8}}{x^{2} e^{12} + e^{8}} + \frac {e^{\left (x + 2\right )}}{x^{2} e^{4} + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((5*x^2-10*x)*exp(4)^2+5*exp(4))*exp(2+x)+(-x^4+5*x^2+10*x)*exp(4)^2+(-2*x^2-5)*exp(4)-1)/(5*x^4*ex
p(4)^3+10*x^2*exp(4)^2+5*exp(4)),x, algorithm="maxima")

[Out]

1/2*(arctan(x*e^2)*e^(-10) - x/(x^2*e^12 + e^8))*e^8 - 1/10*(2*x*e^(-12) - 3*arctan(x*e^2)*e^(-14) + x/(x^2*e^
16 + e^12))*e^8 - 1/2*(arctan(x*e^2)*e^(-6) + x/(x^2*e^8 + e^4))*e^4 - 1/5*(arctan(x*e^2)*e^(-10) - x/(x^2*e^1
2 + e^8))*e^4 - 1/10*arctan(x*e^2)*e^(-6) - 1/10*x/(x^2*e^8 + e^4) - e^8/(x^2*e^12 + e^8) + e^(x + 2)/(x^2*e^4
+ 1)

________________________________________________________________________________________

mupad [B]  time = 5.40, size = 34, normalized size = 1.10 \begin {gather*} \frac {{\mathrm {e}}^{x-2}}{x^2+{\mathrm {e}}^{-4}}-\frac {x+1}{{\mathrm {e}}^4\,x^2+1}-\frac {x\,{\mathrm {e}}^{-4}}{5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(4)*(2*x^2 + 5) - exp(8)*(10*x + 5*x^2 - x^4) - exp(x + 2)*(5*exp(4) - exp(8)*(10*x - 5*x^2)) + 1)/(5
*exp(4) + 10*x^2*exp(8) + 5*x^4*exp(12)),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.41, size = 31, normalized size = 1.00 \begin {gather*} - \frac {x}{5 e^{4}} - \frac {x + 1}{x^{2} e^{4} + 1} + \frac {e^{x + 2}}{x^{2} e^{4} + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((5*x**2-10*x)*exp(4)**2+5*exp(4))*exp(2+x)+(-x**4+5*x**2+10*x)*exp(4)**2+(-2*x**2-5)*exp(4)-1)/(5*
x**4*exp(4)**3+10*x**2*exp(4)**2+5*exp(4)),x)

[Out]

-x*exp(-4)/5 - (x + 1)/(x**2*exp(4) + 1) + exp(x + 2)/(x**2*exp(4) + 1)

________________________________________________________________________________________