3.17.40 875350x+100x2+68x3+13x4+(2510x+5x2+2x3)log(5x2)e3(61252800x+1255x2+640x311x416x5+x6)+e3(35080x+80x2+16x32x4)log(5x2)+e3(5+x2)log2(5x2)dx

Optimal. Leaf size=32 1+xe3(7+xx2+log(5x2)5+x)

________________________________________________________________________________________

Rubi [F]  time = 1.69, 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 = {} 875350x+100x2+68x3+13x4+(2510x+5x2+2x3)log(5x2)e3(61252800x+1255x2+640x311x416x5+x6)+e3(35080x+80x2+16x32x4)log(5x2)+e3(5+x2)log2(5x2)dx

Verification is not applicable to the result.

[In]

Int[(-875 - 350*x + 100*x^2 + 68*x^3 + 13*x^4 + (-25 - 10*x + 5*x^2 + 2*x^3)*Log[5 - x^2])/(E^3*(-6125 - 2800*
x + 1255*x^2 + 640*x^3 - 11*x^4 - 16*x^5 + x^6) + E^3*(-350 - 80*x + 80*x^2 + 16*x^3 - 2*x^4)*Log[5 - x^2] + E
^3*(-5 + x^2)*Log[5 - x^2]^2),x]

[Out]

(-10*Defer[Int][(-35 - 8*x + x^2 - Log[5 - x^2])^(-2), x])/E^3 + (5*Defer[Int][1/((Sqrt[5] - x)*(-35 - 8*x + x
^2 - Log[5 - x^2])^2), x])/E^3 + (5*Sqrt[5]*Defer[Int][1/((Sqrt[5] - x)*(-35 - 8*x + x^2 - Log[5 - x^2])^2), x
])/E^3 - (42*Defer[Int][x/(-35 - 8*x + x^2 - Log[5 - x^2])^2, x])/E^3 + (2*Defer[Int][x^2/(-35 - 8*x + x^2 - L
og[5 - x^2])^2, x])/E^3 + (2*Defer[Int][x^3/(-35 - 8*x + x^2 - Log[5 - x^2])^2, x])/E^3 - (5*Defer[Int][1/((Sq
rt[5] + x)*(-35 - 8*x + x^2 - Log[5 - x^2])^2), x])/E^3 + (5*Sqrt[5]*Defer[Int][1/((Sqrt[5] + x)*(-35 - 8*x +
x^2 - Log[5 - x^2])^2), x])/E^3 - (5*Defer[Int][(-35 - 8*x + x^2 - Log[5 - x^2])^(-1), x])/E^3 - (2*Defer[Int]
[x/(-35 - 8*x + x^2 - Log[5 - x^2]), x])/E^3

Rubi steps

integral=875+350x100x268x313x4(2510x+5x2+2x3)log(5x2)e3(5x2)(35+8xx2+log(5x2))2dx=875+350x100x268x313x4(2510x+5x2+2x3)log(5x2)(5x2)(35+8xx2+log(5x2))2dxe3=(2x(10010x26x2+x3+x4)(5+x2)(358x+x2log(5x2))2+52x358x+x2log(5x2))dxe3=52x358x+x2log(5x2)dxe3+2x(10010x26x2+x3+x4)(5+x2)(358x+x2log(5x2))2dxe3=(5358x+x2log(5x2)2x358x+x2log(5x2))dxe3+2(5(358x+x2log(5x2))221x(358x+x2log(5x2))2+x2(358x+x2log(5x2))2+x3(358x+x2log(5x2))25(5+x)(5+x2)(358x+x2log(5x2))2)dxe3=2x2(358x+x2log(5x2))2dxe3+2x3(358x+x2log(5x2))2dxe32x358x+x2log(5x2)dxe351358x+x2log(5x2)dxe3101(358x+x2log(5x2))2dxe3105+x(5+x2)(358x+x2log(5x2))2dxe342x(358x+x2log(5x2))2dxe3=2x2(358x+x2log(5x2))2dxe3+2x3(358x+x2log(5x2))2dxe32x358x+x2log(5x2)dxe351358x+x2log(5x2)dxe310(5(5+x2)(358x+x2log(5x2))2+x(5+x2)(358x+x2log(5x2))2)dxe3101(358x+x2log(5x2))2dxe342x(358x+x2log(5x2))2dxe3=2x2(358x+x2log(5x2))2dxe3+2x3(358x+x2log(5x2))2dxe32x358x+x2log(5x2)dxe351358x+x2log(5x2)dxe3101(358x+x2log(5x2))2dxe310x(5+x2)(358x+x2log(5x2))2dxe342x(358x+x2log(5x2))2dxe3501(5+x2)(358x+x2log(5x2))2dxe3=2x2(358x+x2log(5x2))2dxe3+2x3(358x+x2log(5x2))2dxe32x358x+x2log(5x2)dxe351358x+x2log(5x2)dxe310(12(5x)(358x+x2log(5x2))2+12(5+x)(358x+x2log(5x2))2)dxe3101(358x+x2log(5x2))2dxe342x(358x+x2log(5x2))2dxe350(125(5x)(358x+x2log(5x2))2125(5+x)(358x+x2log(5x2))2)dxe3=2x2(358x+x2log(5x2))2dxe3+2x3(358x+x2log(5x2))2dxe32x358x+x2log(5x2)dxe3+51(5x)(358x+x2log(5x2))2dxe351(5+x)(358x+x2log(5x2))2dxe351358x+x2log(5x2)dxe3101(358x+x2log(5x2))2dxe342x(358x+x2log(5x2))2dxe3+(55)1(5x)(358x+x2log(5x2))2dxe3+(55)1(5+x)(358x+x2log(5x2))2dxe3

________________________________________________________________________________________

Mathematica [A]  time = 1.32, size = 28, normalized size = 0.88 x(5+x)e3(35+8xx2+log(5x2))

Antiderivative was successfully verified.

[In]

Integrate[(-875 - 350*x + 100*x^2 + 68*x^3 + 13*x^4 + (-25 - 10*x + 5*x^2 + 2*x^3)*Log[5 - x^2])/(E^3*(-6125 -
 2800*x + 1255*x^2 + 640*x^3 - 11*x^4 - 16*x^5 + x^6) + E^3*(-350 - 80*x + 80*x^2 + 16*x^3 - 2*x^4)*Log[5 - x^
2] + E^3*(-5 + x^2)*Log[5 - x^2]^2),x]

[Out]

(x*(5 + x))/(E^3*(35 + 8*x - x^2 + Log[5 - x^2]))

________________________________________________________________________________________

fricas [A]  time = 0.66, size = 35, normalized size = 1.09 x2+5x(x28x35)e3e3log(x2+5)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x^3+5*x^2-10*x-25)*log(-x^2+5)+13*x^4+68*x^3+100*x^2-350*x-875)/((x^2-5)*exp(3)*log(-x^2+5)^2+(-
2*x^4+16*x^3+80*x^2-80*x-350)*exp(3)*log(-x^2+5)+(x^6-16*x^5-11*x^4+640*x^3+1255*x^2-2800*x-6125)*exp(3)),x, a
lgorithm="fricas")

[Out]

-(x^2 + 5*x)/((x^2 - 8*x - 35)*e^3 - e^3*log(-x^2 + 5))

________________________________________________________________________________________

giac [A]  time = 0.38, size = 39, normalized size = 1.22 x2+5xx2e38xe3e3log(x2+5)35e3

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x^3+5*x^2-10*x-25)*log(-x^2+5)+13*x^4+68*x^3+100*x^2-350*x-875)/((x^2-5)*exp(3)*log(-x^2+5)^2+(-
2*x^4+16*x^3+80*x^2-80*x-350)*exp(3)*log(-x^2+5)+(x^6-16*x^5-11*x^4+640*x^3+1255*x^2-2800*x-6125)*exp(3)),x, a
lgorithm="giac")

[Out]

-(x^2 + 5*x)/(x^2*e^3 - 8*x*e^3 - e^3*log(-x^2 + 5) - 35*e^3)

________________________________________________________________________________________

maple [A]  time = 0.23, size = 29, normalized size = 0.91




method result size



risch (5+x)xe3x28xln(x2+5)35 29
norman 13xe3e3ln(x2+5)35e3x28xln(x2+5)35 50



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((2*x^3+5*x^2-10*x-25)*ln(-x^2+5)+13*x^4+68*x^3+100*x^2-350*x-875)/((x^2-5)*exp(3)*ln(-x^2+5)^2+(-2*x^4+16
*x^3+80*x^2-80*x-350)*exp(3)*ln(-x^2+5)+(x^6-16*x^5-11*x^4+640*x^3+1255*x^2-2800*x-6125)*exp(3)),x,method=_RET
URNVERBOSE)

[Out]

-(5+x)*x*exp(-3)/(x^2-8*x-ln(-x^2+5)-35)

________________________________________________________________________________________

maxima [A]  time = 0.89, size = 39, normalized size = 1.22 x2+5xx2e38xe3e3log(x2+5)35e3

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x^3+5*x^2-10*x-25)*log(-x^2+5)+13*x^4+68*x^3+100*x^2-350*x-875)/((x^2-5)*exp(3)*log(-x^2+5)^2+(-
2*x^4+16*x^3+80*x^2-80*x-350)*exp(3)*log(-x^2+5)+(x^6-16*x^5-11*x^4+640*x^3+1255*x^2-2800*x-6125)*exp(3)),x, a
lgorithm="maxima")

[Out]

-(x^2 + 5*x)/(x^2*e^3 - 8*x*e^3 - e^3*log(-x^2 + 5) - 35*e^3)

________________________________________________________________________________________

mupad [B]  time = 1.65, size = 36, normalized size = 1.12 e3(13x+ln(5x2)+35)8x+ln(5x2)x2+35

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((350*x + log(5 - x^2)*(10*x - 5*x^2 - 2*x^3 + 25) - 100*x^2 - 68*x^3 - 13*x^4 + 875)/(exp(3)*(2800*x - 125
5*x^2 - 640*x^3 + 11*x^4 + 16*x^5 - x^6 + 6125) - log(5 - x^2)^2*exp(3)*(x^2 - 5) + log(5 - x^2)*exp(3)*(80*x
- 80*x^2 - 16*x^3 + 2*x^4 + 350)),x)

[Out]

(exp(-3)*(13*x + log(5 - x^2) + 35))/(8*x + log(5 - x^2) - x^2 + 35)

________________________________________________________________________________________

sympy [A]  time = 0.19, size = 34, normalized size = 1.06 x2+5xx2e3+8xe3+e3log(5x2)+35e3

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x**3+5*x**2-10*x-25)*ln(-x**2+5)+13*x**4+68*x**3+100*x**2-350*x-875)/((x**2-5)*exp(3)*ln(-x**2+5
)**2+(-2*x**4+16*x**3+80*x**2-80*x-350)*exp(3)*ln(-x**2+5)+(x**6-16*x**5-11*x**4+640*x**3+1255*x**2-2800*x-612
5)*exp(3)),x)

[Out]

(x**2 + 5*x)/(-x**2*exp(3) + 8*x*exp(3) + exp(3)*log(5 - x**2) + 35*exp(3))

________________________________________________________________________________________