3.17.41
Optimal. Leaf size=28
________________________________________________________________________________________
Rubi [F] time = 4.41, 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[(x^2 + E^(E^E^((E^(-15 - 5*x + 25*x^2) + x^2)/x) + E^((E^(-15 - 5*x + 25*x^2) + x^2)/x) + (E^(-15 - 5*x +
25*x^2) + x^2)/x)*(x^2 + E^(-15 - 5*x + 25*x^2)*(-1 - 5*x + 50*x^2)))/x^2,x]
[Out]
x + Defer[Int][E^(E^E^(E^(-15 - 5*x + 25*x^2)/x + x) + E^(E^(-15 - 5*x + 25*x^2)/x + x) + E^(-15 - 5*x + 25*x^
2)/x + x), x] + 50*Defer[Int][E^(-15 + E^E^(E^(-15 - 5*x + 25*x^2)/x + x) + E^(E^(-15 - 5*x + 25*x^2)/x + x) +
E^(-15 - 5*x + 25*x^2)/x - 4*x + 25*x^2), x] - Defer[Int][E^(-15 + E^E^(E^(-15 - 5*x + 25*x^2)/x + x) + E^(E^
(-15 - 5*x + 25*x^2)/x + x) + E^(-15 - 5*x + 25*x^2)/x - 4*x + 25*x^2)/x^2, x] - 5*Defer[Int][E^(-15 + E^E^(E^
(-15 - 5*x + 25*x^2)/x + x) + E^(E^(-15 - 5*x + 25*x^2)/x + x) + E^(-15 - 5*x + 25*x^2)/x - 4*x + 25*x^2)/x, x
]
Rubi steps
________________________________________________________________________________________
Mathematica [A] time = 0.21, size = 26, normalized size = 0.93
Antiderivative was successfully verified.
[In]
Integrate[(x^2 + E^(E^E^((E^(-15 - 5*x + 25*x^2) + x^2)/x) + E^((E^(-15 - 5*x + 25*x^2) + x^2)/x) + (E^(-15 -
5*x + 25*x^2) + x^2)/x)*(x^2 + E^(-15 - 5*x + 25*x^2)*(-1 - 5*x + 50*x^2)))/x^2,x]
[Out]
E^E^E^(E^(-15 - 5*x + 25*x^2)/x + x) + x
________________________________________________________________________________________
fricas [B] time = 0.70, size = 154, normalized size = 5.50
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((50*x^2-5*x-1)*exp(25*x^2-5*x-15)+x^2)*exp((exp(25*x^2-5*x-15)+x^2)/x)*exp(exp((exp(25*x^2-5*x-15)
+x^2)/x))*exp(exp(exp((exp(25*x^2-5*x-15)+x^2)/x)))+x^2)/x^2,x, algorithm="fricas")
[Out]
(x*e^((x^2 + e^(25*x^2 - 5*x - 15))/x + e^((x^2 + e^(25*x^2 - 5*x - 15))/x)) + e^((x^2 + x*e^((x^2 + e^(25*x^2
- 5*x - 15))/x) + x*e^(e^((x^2 + e^(25*x^2 - 5*x - 15))/x)) + e^(25*x^2 - 5*x - 15))/x))*e^(-(x^2 + e^(25*x^2
- 5*x - 15))/x - e^((x^2 + e^(25*x^2 - 5*x - 15))/x))
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((50*x^2-5*x-1)*exp(25*x^2-5*x-15)+x^2)*exp((exp(25*x^2-5*x-15)+x^2)/x)*exp(exp((exp(25*x^2-5*x-15)
+x^2)/x))*exp(exp(exp((exp(25*x^2-5*x-15)+x^2)/x)))+x^2)/x^2,x, algorithm="giac")
[Out]
integrate((x^2 + (x^2 + (50*x^2 - 5*x - 1)*e^(25*x^2 - 5*x - 15))*e^((x^2 + e^(25*x^2 - 5*x - 15))/x + e^((x^2
+ e^(25*x^2 - 5*x - 15))/x) + e^(e^((x^2 + e^(25*x^2 - 5*x - 15))/x))))/x^2, x)
________________________________________________________________________________________
maple [A] time = 0.09, size = 25, normalized size = 0.89
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((((50*x^2-5*x-1)*exp(25*x^2-5*x-15)+x^2)*exp((exp(25*x^2-5*x-15)+x^2)/x)*exp(exp((exp(25*x^2-5*x-15)+x^2)/
x))*exp(exp(exp((exp(25*x^2-5*x-15)+x^2)/x)))+x^2)/x^2,x,method=_RETURNVERBOSE)
[Out]
x+exp(exp(exp((exp(25*x^2-5*x-15)+x^2)/x)))
________________________________________________________________________________________
maxima [A] time = 0.82, size = 22, normalized size = 0.79
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((50*x^2-5*x-1)*exp(25*x^2-5*x-15)+x^2)*exp((exp(25*x^2-5*x-15)+x^2)/x)*exp(exp((exp(25*x^2-5*x-15)
+x^2)/x))*exp(exp(exp((exp(25*x^2-5*x-15)+x^2)/x)))+x^2)/x^2,x, algorithm="maxima")
[Out]
x + e^(e^(e^(x + e^(25*x^2 - 5*x - 15)/x)))
________________________________________________________________________________________
mupad [B] time = 1.24, size = 24, normalized size = 0.86
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((x^2 - exp(exp((exp(25*x^2 - 5*x - 15) + x^2)/x))*exp(exp(exp((exp(25*x^2 - 5*x - 15) + x^2)/x)))*exp((exp
(25*x^2 - 5*x - 15) + x^2)/x)*(exp(25*x^2 - 5*x - 15)*(5*x - 50*x^2 + 1) - x^2))/x^2,x)
[Out]
x + exp(exp(exp((exp(-5*x)*exp(-15)*exp(25*x^2))/x)*exp(x)))
________________________________________________________________________________________
sympy [A] time = 14.72, size = 22, normalized size = 0.79
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((50*x**2-5*x-1)*exp(25*x**2-5*x-15)+x**2)*exp((exp(25*x**2-5*x-15)+x**2)/x)*exp(exp((exp(25*x**2-5
*x-15)+x**2)/x))*exp(exp(exp((exp(25*x**2-5*x-15)+x**2)/x)))+x**2)/x**2,x)
[Out]
x + exp(exp(exp((x**2 + exp(25*x**2 - 5*x - 15))/x)))
________________________________________________________________________________________