3.89.36
Optimal. Leaf size=32
________________________________________________________________________________________
Rubi [F] time = 18.71, 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[(-800*x + 80*E^(2*x)*x - 2*E^(4*x)*x + (-800 + 80*E^(2*x) - 800*x^2 + E^(4*x)*(-2 + 2*x^2))*Log[x] + (800
+ 1600*x + 2400*x^2 + E^(2*x)*(-80 - 320*x - 400*x^2 - 160*x^3) + E^(4*x)*(2 + 12*x + 14*x^2 + 8*x^3))*Log[x]^
2 + (675 + 2400*x + 2400*x^2 + 1600*x^3 + E^(2*x)*(-160 - 400*x - 480*x^2 - 320*x^3 - 80*x^4) + E^(4*x)*(6 + 1
4*x + 18*x^2 + 12*x^3 + 4*x^4))*Log[x]^3)/(25*Log[x]^3),x]
[Out]
(-8*E^(2*x))/5 + E^(4*x)/25 + 27*x - (16*E^(2*x)*x)/5 + (2*E^(4*x)*x)/25 + 48*x^2 - (24*E^(2*x)*x^2)/5 + (3*E^
(4*x)*x^2)/25 + 32*x^3 - (16*E^(2*x)*x^3)/5 + (2*E^(4*x)*x^3)/25 + 16*x^4 - (8*E^(2*x)*x^4)/5 + (E^(4*x)*x^4)/
25 + (16*x^2)/Log[x]^2 + (32*x)/Log[x] + (32*x^2)/Log[x] + (32*x^3)/Log[x] + (16*Defer[Int][(E^(2*x)*x)/Log[x]
^3, x])/5 - (2*Defer[Int][(E^(4*x)*x)/Log[x]^3, x])/25 + (16*Defer[Int][E^(2*x)/Log[x]^2, x])/5 - (2*Defer[Int
][E^(4*x)/Log[x]^2, x])/25 + (2*Defer[Int][(E^(4*x)*x^2)/Log[x]^2, x])/25 - (16*Defer[Int][E^(2*x)/Log[x], x])
/5 + (2*Defer[Int][E^(4*x)/Log[x], x])/25 - (64*Defer[Int][(E^(2*x)*x)/Log[x], x])/5 + (12*Defer[Int][(E^(4*x)
*x)/Log[x], x])/25 - 16*Defer[Int][(E^(2*x)*x^2)/Log[x], x] + (14*Defer[Int][(E^(4*x)*x^2)/Log[x], x])/25 - (3
2*Defer[Int][(E^(2*x)*x^3)/Log[x], x])/5 + (8*Defer[Int][(E^(4*x)*x^3)/Log[x], x])/25
Rubi steps
________________________________________________________________________________________
Mathematica [B] time = 0.16, size = 91, normalized size = 2.84
Antiderivative was successfully verified.
[In]
Integrate[(-800*x + 80*E^(2*x)*x - 2*E^(4*x)*x + (-800 + 80*E^(2*x) - 800*x^2 + E^(4*x)*(-2 + 2*x^2))*Log[x] +
(800 + 1600*x + 2400*x^2 + E^(2*x)*(-80 - 320*x - 400*x^2 - 160*x^3) + E^(4*x)*(2 + 12*x + 14*x^2 + 8*x^3))*L
og[x]^2 + (675 + 2400*x + 2400*x^2 + 1600*x^3 + E^(2*x)*(-160 - 400*x - 480*x^2 - 320*x^3 - 80*x^4) + E^(4*x)*
(6 + 14*x + 18*x^2 + 12*x^3 + 4*x^4))*Log[x]^3)/(25*Log[x]^3),x]
[Out]
(675*x + 1200*x^2 + 800*x^3 + 400*x^4 - 40*E^(2*x)*(1 + x + x^2)^2 + E^(4*x)*(1 + x + x^2)^2 + ((-20 + E^(2*x)
)^2*x^2)/Log[x]^2 + (2*(-20 + E^(2*x))^2*x*(1 + x + x^2))/Log[x])/25
________________________________________________________________________________________
fricas [B] time = 0.52, size = 145, normalized size = 4.53
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/25*(((4*x^4+12*x^3+18*x^2+14*x+6)*exp(x)^4+(-80*x^4-320*x^3-480*x^2-400*x-160)*exp(x)^2+1600*x^3+2
400*x^2+2400*x+675)*log(x)^3+((8*x^3+14*x^2+12*x+2)*exp(x)^4+(-160*x^3-400*x^2-320*x-80)*exp(x)^2+2400*x^2+160
0*x+800)*log(x)^2+((2*x^2-2)*exp(x)^4+80*exp(x)^2-800*x^2-800)*log(x)-2*x*exp(x)^4+80*x*exp(x)^2-800*x)/log(x)
^3,x, algorithm="fricas")
[Out]
1/25*(x^2*e^(4*x) - 40*x^2*e^(2*x) + (400*x^4 + 800*x^3 + 1200*x^2 + (x^4 + 2*x^3 + 3*x^2 + 2*x + 1)*e^(4*x) -
40*(x^4 + 2*x^3 + 3*x^2 + 2*x + 1)*e^(2*x) + 675*x)*log(x)^2 + 400*x^2 + 2*(400*x^3 + 400*x^2 + (x^3 + x^2 +
x)*e^(4*x) - 40*(x^3 + x^2 + x)*e^(2*x) + 400*x)*log(x))/log(x)^2
________________________________________________________________________________________
giac [B] time = 0.27, size = 294, normalized size = 9.19
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/25*(((4*x^4+12*x^3+18*x^2+14*x+6)*exp(x)^4+(-80*x^4-320*x^3-480*x^2-400*x-160)*exp(x)^2+1600*x^3+2
400*x^2+2400*x+675)*log(x)^3+((8*x^3+14*x^2+12*x+2)*exp(x)^4+(-160*x^3-400*x^2-320*x-80)*exp(x)^2+2400*x^2+160
0*x+800)*log(x)^2+((2*x^2-2)*exp(x)^4+80*exp(x)^2-800*x^2-800)*log(x)-2*x*exp(x)^4+80*x*exp(x)^2-800*x)/log(x)
^3,x, algorithm="giac")
[Out]
16*x^4 + 32*x^3 + 48*x^2 + 1/800*(32*x^4 - 32*x^3 + 24*x^2 - 12*x + 3)*e^(4*x) + 3/800*(32*x^3 - 24*x^2 + 12*x
- 3)*e^(4*x) + 9/400*(8*x^2 - 4*x + 1)*e^(4*x) + 7/200*(4*x - 1)*e^(4*x) - 4/5*(2*x^4 - 4*x^3 + 6*x^2 - 6*x +
3)*e^(2*x) - 8/5*(4*x^3 - 6*x^2 + 6*x - 3)*e^(2*x) - 24/5*(2*x^2 - 2*x + 1)*e^(2*x) - 4*(2*x - 1)*e^(2*x) + 2
7*x + 1/25*(2*x^3*e^(4*x)*log(x) - 80*x^3*e^(2*x)*log(x) + 2*x^2*e^(4*x)*log(x) - 80*x^2*e^(2*x)*log(x) + x^2*
e^(4*x) - 40*x^2*e^(2*x) + 2*x*e^(4*x)*log(x) - 80*x*e^(2*x)*log(x))/log(x)^2 + 16*(2*x^3*log(x) + 2*x^2*log(x
) + x^2 + 2*x*log(x))/log(x)^2 + 3/50*e^(4*x) - 16/5*e^(2*x)
________________________________________________________________________________________
maple [B] time = 0.07, size = 196, normalized size = 6.12
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(1/25*(((4*x^4+12*x^3+18*x^2+14*x+6)*exp(x)^4+(-80*x^4-320*x^3-480*x^2-400*x-160)*exp(x)^2+1600*x^3+2400*x^
2+2400*x+675)*ln(x)^3+((8*x^3+14*x^2+12*x+2)*exp(x)^4+(-160*x^3-400*x^2-320*x-80)*exp(x)^2+2400*x^2+1600*x+800
)*ln(x)^2+((2*x^2-2)*exp(x)^4+80*exp(x)^2-800*x^2-800)*ln(x)-2*x*exp(x)^4+80*x*exp(x)^2-800*x)/ln(x)^3,x,metho
d=_RETURNVERBOSE)
[Out]
1/25*x^4*exp(4*x)+2/25*x^3*exp(4*x)-8/5*exp(2*x)*x^4+3/25*x^2*exp(4*x)-16/5*exp(2*x)*x^3+2/25*x*exp(4*x)+16*x^
4-24/5*exp(2*x)*x^2+1/25*exp(4*x)+32*x^3-16/5*x*exp(2*x)+48*x^2-8/5*exp(2*x)+27*x+1/25*x*(2*ln(x)*exp(4*x)*x^2
+2*x*exp(4*x)*ln(x)-80*x^2*exp(2*x)*ln(x)+x*exp(4*x)+2*ln(x)*exp(4*x)-80*x*exp(2*x)*ln(x)+800*x^2*ln(x)-40*x*e
xp(2*x)-80*ln(x)*exp(2*x)+800*x*ln(x)+400*x+800*ln(x))/ln(x)^2
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/25*(((4*x^4+12*x^3+18*x^2+14*x+6)*exp(x)^4+(-80*x^4-320*x^3-480*x^2-400*x-160)*exp(x)^2+1600*x^3+2
400*x^2+2400*x+675)*log(x)^3+((8*x^3+14*x^2+12*x+2)*exp(x)^4+(-160*x^3-400*x^2-320*x-80)*exp(x)^2+2400*x^2+160
0*x+800)*log(x)^2+((2*x^2-2)*exp(x)^4+80*exp(x)^2-800*x^2-800)*log(x)-2*x*exp(x)^4+80*x*exp(x)^2-800*x)/log(x)
^3,x, algorithm="maxima")
[Out]
16*x^4 + 32*x^3 + 48*x^2 + 1/800*(32*x^4 - 32*x^3 + 24*x^2 - 12*x + 3)*e^(4*x) + 3/800*(32*x^3 - 24*x^2 + 12*x
- 3)*e^(4*x) + 9/400*(8*x^2 - 4*x + 1)*e^(4*x) + 7/200*(4*x - 1)*e^(4*x) - 4/5*(2*x^4 - 4*x^3 + 6*x^2 - 6*x +
3)*e^(2*x) - 8/5*(4*x^3 - 6*x^2 + 6*x - 3)*e^(2*x) - 24/5*(2*x^2 - 2*x + 1)*e^(2*x) - 4*(2*x - 1)*e^(2*x) + 2
7*x + 1/25*((x^2 + 2*(x^3 + x^2 + x)*log(x))*e^(4*x) - 40*(x^2 + 2*(x^3 + x^2 + x)*log(x))*e^(2*x) + 800*(x^3
+ x)*log(x))/log(x)^2 + 3/50*e^(4*x) - 16/5*e^(2*x) + 128*gamma(-2, -2*log(x)) + 64*integrate(x/log(x), x)
________________________________________________________________________________________
mupad [B] time = 6.21, size = 233, normalized size = 7.28
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((16*x*exp(2*x))/5 - 32*x - (2*x*exp(4*x))/25 + (log(x)^3*(2400*x + exp(4*x)*(14*x + 18*x^2 + 12*x^3 + 4*x
^4 + 6) - exp(2*x)*(400*x + 480*x^2 + 320*x^3 + 80*x^4 + 160) + 2400*x^2 + 1600*x^3 + 675))/25 + (log(x)^2*(16
00*x + exp(4*x)*(12*x + 14*x^2 + 8*x^3 + 2) - exp(2*x)*(320*x + 400*x^2 + 160*x^3 + 80) + 2400*x^2 + 800))/25
+ (log(x)*(80*exp(2*x) + exp(4*x)*(2*x^2 - 2) - 800*x^2 - 800))/25)/log(x)^3,x)
[Out]
27*x - (8*exp(2*x))/5 + exp(4*x)/25 - (16*x*exp(2*x))/5 + (2*x*exp(4*x))/25 + (32*x)/log(x) - (24*x^2*exp(2*x)
)/5 - (16*x^3*exp(2*x))/5 + (3*x^2*exp(4*x))/25 - (8*x^4*exp(2*x))/5 + (2*x^3*exp(4*x))/25 + (x^4*exp(4*x))/25
+ (32*x^2)/log(x) + (16*x^2)/log(x)^2 + (32*x^3)/log(x) + 48*x^2 + 32*x^3 + 16*x^4 - (16*x*exp(2*x))/(5*log(x
)) + (2*x*exp(4*x))/(25*log(x)) - (16*x^2*exp(2*x))/(5*log(x)) - (8*x^2*exp(2*x))/(5*log(x)^2) - (16*x^3*exp(2
*x))/(5*log(x)) + (2*x^2*exp(4*x))/(25*log(x)) + (x^2*exp(4*x))/(25*log(x)^2) + (2*x^3*exp(4*x))/(25*log(x))
________________________________________________________________________________________
sympy [B] time = 0.55, size = 233, normalized size = 7.28
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/25*(((4*x**4+12*x**3+18*x**2+14*x+6)*exp(x)**4+(-80*x**4-320*x**3-480*x**2-400*x-160)*exp(x)**2+16
00*x**3+2400*x**2+2400*x+675)*ln(x)**3+((8*x**3+14*x**2+12*x+2)*exp(x)**4+(-160*x**3-400*x**2-320*x-80)*exp(x)
**2+2400*x**2+1600*x+800)*ln(x)**2+((2*x**2-2)*exp(x)**4+80*exp(x)**2-800*x**2-800)*ln(x)-2*x*exp(x)**4+80*x*e
xp(x)**2-800*x)/ln(x)**3,x)
[Out]
16*x**4 + 32*x**3 + 48*x**2 + 27*x + (16*x**2 + (32*x**3 + 32*x**2 + 32*x)*log(x))/log(x)**2 + ((-200*x**4*log
(x)**4 - 400*x**3*log(x)**4 - 400*x**3*log(x)**3 - 600*x**2*log(x)**4 - 400*x**2*log(x)**3 - 200*x**2*log(x)**
2 - 400*x*log(x)**4 - 400*x*log(x)**3 - 200*log(x)**4)*exp(2*x) + (5*x**4*log(x)**4 + 10*x**3*log(x)**4 + 10*x
**3*log(x)**3 + 15*x**2*log(x)**4 + 10*x**2*log(x)**3 + 5*x**2*log(x)**2 + 10*x*log(x)**4 + 10*x*log(x)**3 + 5
*log(x)**4)*exp(4*x))/(125*log(x)**4)
________________________________________________________________________________________