3.85.25
Optimal. Leaf size=24
________________________________________________________________________________________
Rubi [F] time = 1.64, 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[(4*E^2 + E*(-16 - 16*x) + 28*x + 16*x^2 + (4*E^2 - 8*E*x)*Log[x])/(18*x + E^2*x + 14*x^2 + 4*x^3 + E*(-8*x
- 4*x^2) + (2*E^2*x + E*(-8*x - 4*x^2))*Log[x] + E^2*x*Log[x]^2),x]
[Out]
-4*(7 - 4*E)*Defer[Int][(-18*(1 + ((-8 + E)*E)/18) - 14*(1 - (2*E)/7)*x - 4*x^2 + 8*(1 - E/4)*E*Log[x] + 4*E*x
*Log[x] - E^2*Log[x]^2)^(-1), x] + 4*(4 - E)*E*Defer[Int][1/(x*(-18*(1 + ((-8 + E)*E)/18) - 14*(1 - (2*E)/7)*x
- 4*x^2 + 8*(1 - E/4)*E*Log[x] + 4*E*x*Log[x] - E^2*Log[x]^2)), x] + 8*E*Defer[Int][Log[x]/(-18*(1 + ((-8 + E
)*E)/18) - 14*(1 - (2*E)/7)*x - 4*x^2 + 8*(1 - E/4)*E*Log[x] + 4*E*x*Log[x] - E^2*Log[x]^2), x] + 16*Defer[Int
][x/(18*(1 + ((-8 + E)*E)/18) + 14*(1 - (2*E)/7)*x + 4*x^2 - 8*(1 - E/4)*E*Log[x] - 4*E*x*Log[x] + E^2*Log[x]^
2), x] + 4*E^2*Defer[Int][Log[x]/(x*(18*(1 + ((-8 + E)*E)/18) + 14*(1 - (2*E)/7)*x + 4*x^2 - 8*(1 - E/4)*E*Log
[x] - 4*E*x*Log[x] + E^2*Log[x]^2)), x]
Rubi steps
________________________________________________________________________________________
Mathematica [B] time = 1.47, size = 49, normalized size = 2.04
Antiderivative was successfully verified.
[In]
Integrate[(4*E^2 + E*(-16 - 16*x) + 28*x + 16*x^2 + (4*E^2 - 8*E*x)*Log[x])/(18*x + E^2*x + 14*x^2 + 4*x^3 + E
*(-8*x - 4*x^2) + (2*E^2*x + E*(-8*x - 4*x^2))*Log[x] + E^2*x*Log[x]^2),x]
[Out]
2*Log[18 - 8*E + E^2 + 14*x - 4*E*x + 4*x^2 - 8*E*Log[x] + 2*E^2*Log[x] - 4*E*x*Log[x] + E^2*Log[x]^2]
________________________________________________________________________________________
fricas [B] time = 0.65, size = 45, normalized size = 1.88
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*exp(1)^2-8*x*exp(1))*log(x)+4*exp(1)^2+(-16*x-16)*exp(1)+16*x^2+28*x)/(x*exp(1)^2*log(x)^2+(2*x*
exp(1)^2+(-4*x^2-8*x)*exp(1))*log(x)+x*exp(1)^2+(-4*x^2-8*x)*exp(1)+4*x^3+14*x^2+18*x),x, algorithm="fricas")
[Out]
2*log(e^2*log(x)^2 + 4*x^2 - 4*(x + 2)*e - 2*(2*(x + 2)*e - e^2)*log(x) + 14*x + e^2 + 18)
________________________________________________________________________________________
giac [B] time = 0.23, size = 50, normalized size = 2.08
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*exp(1)^2-8*x*exp(1))*log(x)+4*exp(1)^2+(-16*x-16)*exp(1)+16*x^2+28*x)/(x*exp(1)^2*log(x)^2+(2*x*
exp(1)^2+(-4*x^2-8*x)*exp(1))*log(x)+x*exp(1)^2+(-4*x^2-8*x)*exp(1)+4*x^3+14*x^2+18*x),x, algorithm="giac")
[Out]
2*log(-4*x*e*log(x) + e^2*log(x)^2 + 4*x^2 - 4*x*e + 2*e^2*log(x) - 8*e*log(x) + 14*x + e^2 - 8*e + 18)
________________________________________________________________________________________
maple [A] time = 0.09, size = 46, normalized size = 1.92
|
|
|
method |
result |
size |
|
|
|
risch |
|
|
norman |
|
|
|
|
|
|
|
|
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((4*exp(1)^2-8*x*exp(1))*ln(x)+4*exp(1)^2+(-16*x-16)*exp(1)+16*x^2+28*x)/(x*exp(1)^2*ln(x)^2+(2*x*exp(1)^2
+(-4*x^2-8*x)*exp(1))*ln(x)+x*exp(1)^2+(-4*x^2-8*x)*exp(1)+4*x^3+14*x^2+18*x),x,method=_RETURNVERBOSE)
[Out]
2*ln(ln(x)^2+2*exp(-1)*(exp(1)-2*x-4)*ln(x)+(exp(2)-4*x*exp(1)+4*x^2-8*exp(1)+14*x+18)*exp(-2))
________________________________________________________________________________________
maxima [B] time = 0.84, size = 53, normalized size = 2.21
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*exp(1)^2-8*x*exp(1))*log(x)+4*exp(1)^2+(-16*x-16)*exp(1)+16*x^2+28*x)/(x*exp(1)^2*log(x)^2+(2*x*
exp(1)^2+(-4*x^2-8*x)*exp(1))*log(x)+x*exp(1)^2+(-4*x^2-8*x)*exp(1)+4*x^3+14*x^2+18*x),x, algorithm="maxima")
[Out]
2*log((e^2*log(x)^2 + 4*x^2 - 2*x*(2*e - 7) - 2*(2*x*e - e^2 + 4*e)*log(x) + e^2 - 8*e + 18)*e^(-2))
________________________________________________________________________________________
mupad [B] time = 5.67, size = 50, normalized size = 2.08
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((28*x + 4*exp(2) + log(x)*(4*exp(2) - 8*x*exp(1)) + 16*x^2 - exp(1)*(16*x + 16))/(18*x - log(x)*(exp(1)*(8
*x + 4*x^2) - 2*x*exp(2)) - exp(1)*(8*x + 4*x^2) + x*exp(2) + 14*x^2 + 4*x^3 + x*exp(2)*log(x)^2),x)
[Out]
2*log(14*x - 8*exp(1) + exp(2) + exp(2)*log(x)^2 - 4*x*exp(1) - 8*exp(1)*log(x) + 2*exp(2)*log(x) + 4*x^2 - 4*
x*exp(1)*log(x) + 18)
________________________________________________________________________________________
sympy [B] time = 0.31, size = 53, normalized size = 2.21
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*exp(1)**2-8*x*exp(1))*ln(x)+4*exp(1)**2+(-16*x-16)*exp(1)+16*x**2+28*x)/(x*exp(1)**2*ln(x)**2+(2
*x*exp(1)**2+(-4*x**2-8*x)*exp(1))*ln(x)+x*exp(1)**2+(-4*x**2-8*x)*exp(1)+4*x**3+14*x**2+18*x),x)
[Out]
2*log((-4*x - 8 + 2*E)*exp(-1)*log(x) + (4*x**2 - 4*E*x + 14*x - 8*E + exp(2) + 18)*exp(-2) + log(x)**2)
________________________________________________________________________________________