3.73.22 e1282x+6x2x32+x2(20+160x+20x2+5x4)4+4x2+x4dx

Optimal. Leaf size=16 5e7+x162+x2

________________________________________________________________________________________

Rubi [F]  time = 0.94, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, number of rulesintegrand size = 0.000, Rules used = {} e1282x+6x2x32+x2(20+160x+20x2+5x4)4+4x2+x4dx

Verification is not applicable to the result.

[In]

Int[(E^(-1 - (28 - 2*x + 6*x^2 - x^3)/(2 + x^2))*(20 + 160*x + 20*x^2 + 5*x^4))/(4 + 4*x^2 + x^4),x]

[Out]

5*Defer[Int][E^((-30 + 2*x - 7*x^2 + x^3)/(2 + x^2)), x] + 160*Defer[Int][(E^((-30 + 2*x - 7*x^2 + x^3)/(2 + x
^2))*x)/(2 + x^2)^2, x]

Rubi steps

integral=e1282x+6x2x32+x2(20+160x+20x2+5x4)(2+x2)2dx=e30+2x7x2+x32+x2(20+160x+20x2+5x4)(2+x2)2dx=(5e30+2x7x2+x32+x2+160e30+2x7x2+x32+x2x(2+x2)2)dx=5e30+2x7x2+x32+x2dx+160e30+2x7x2+x32+x2x(2+x2)2dx

________________________________________________________________________________________

Mathematica [A]  time = 0.12, size = 16, normalized size = 1.00 5e7+x162+x2

Antiderivative was successfully verified.

[In]

Integrate[(E^(-1 - (28 - 2*x + 6*x^2 - x^3)/(2 + x^2))*(20 + 160*x + 20*x^2 + 5*x^4))/(4 + 4*x^2 + x^4),x]

[Out]

5*E^(-7 + x - 16/(2 + x^2))

________________________________________________________________________________________

fricas [A]  time = 0.56, size = 24, normalized size = 1.50 5e(x37x2+2x30x2+2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((5*x^4+20*x^2+160*x+20)/(x^4+4*x^2+4)/exp(1)/exp((-x^3+6*x^2-2*x+28)/(x^2+2)),x, algorithm="fricas")

[Out]

5*e^((x^3 - 7*x^2 + 2*x - 30)/(x^2 + 2))

________________________________________________________________________________________

giac [B]  time = 0.14, size = 46, normalized size = 2.88 5e(x3x2+27x2x2+2+2xx2+230x2+2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((5*x^4+20*x^2+160*x+20)/(x^4+4*x^2+4)/exp(1)/exp((-x^3+6*x^2-2*x+28)/(x^2+2)),x, algorithm="giac")

[Out]

5*e^(x^3/(x^2 + 2) - 7*x^2/(x^2 + 2) + 2*x/(x^2 + 2) - 30/(x^2 + 2))

________________________________________________________________________________________

maple [A]  time = 0.11, size = 25, normalized size = 1.56




method result size



risch 5ex37x2+2x30x2+2 25
gosper 5e1ex36x2+2x28x2+2 32
norman (10e1+5x2e1)ex3+6x22x+28x2+2x2+2 51



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((5*x^4+20*x^2+160*x+20)/(x^4+4*x^2+4)/exp(1)/exp((-x^3+6*x^2-2*x+28)/(x^2+2)),x,method=_RETURNVERBOSE)

[Out]

5*exp((x^3-7*x^2+2*x-30)/(x^2+2))

________________________________________________________________________________________

maxima [A]  time = 0.45, size = 15, normalized size = 0.94 5e(x16x2+27)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((5*x^4+20*x^2+160*x+20)/(x^4+4*x^2+4)/exp(1)/exp((-x^3+6*x^2-2*x+28)/(x^2+2)),x, algorithm="maxima")

[Out]

5*e^(x - 16/(x^2 + 2) - 7)

________________________________________________________________________________________

mupad [B]  time = 4.51, size = 24, normalized size = 1.50 5ex37x2+2x30x2+2

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(-1)*exp((2*x - 6*x^2 + x^3 - 28)/(x^2 + 2))*(160*x + 20*x^2 + 5*x^4 + 20))/(4*x^2 + x^4 + 4),x)

[Out]

5*exp((2*x - 7*x^2 + x^3 - 30)/(x^2 + 2))

________________________________________________________________________________________

sympy [A]  time = 0.31, size = 24, normalized size = 1.50 5ex3+6x22x+28x2+2e

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((5*x**4+20*x**2+160*x+20)/(x**4+4*x**2+4)/exp(1)/exp((-x**3+6*x**2-2*x+28)/(x**2+2)),x)

[Out]

5*exp(-1)*exp(-(-x**3 + 6*x**2 - 2*x + 28)/(x**2 + 2))

________________________________________________________________________________________