3.17.40
Optimal. Leaf size=32
________________________________________________________________________________________
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, = 0.000, Rules used =
{}
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
________________________________________________________________________________________
Mathematica [A] time = 1.32, size = 28, normalized size = 0.88
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
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
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 |
|
|
norman |
|
|
|
|
|
|
|
|
|
|
|
|
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
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
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
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))
________________________________________________________________________________________