Integrand size = 126, antiderivative size = 25 \[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=x+\left (-2 x-e^{\frac {3 e^{25}}{x^2}} x+\log (4)+\log (x)\right )^2 \]
Leaf count is larger than twice the leaf count of optimal. \(64\) vs. \(2(25)=50\).
Time = 0.15 (sec) , antiderivative size = 64, normalized size of antiderivative = 2.56 \[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=x \left (1+\left (2+e^{\frac {3 e^{25}}{x^2}}\right )^2 x-4 \log (4)-2 e^{\frac {3 e^{25}}{x^2}} \log (4)\right )+\left (-2 \left (2+e^{\frac {3 e^{25}}{x^2}}\right ) x+\log (16)\right ) \log (x)+\log ^2(x) \]
Integrate[(-3*x^2 + 8*x^3 + E^((6*E^25)/x^2)*(-12*E^25*x + 2*x^3) + (2*x - 4*x^2)*Log[4] + E^((3*E^25)/x^2)*(-24*E^25*x - 2*x^2 + 8*x^3 + (12*E^25 - 2*x^2)*Log[4]) + (2*x - 4*x^2 + E^((3*E^25)/x^2)*(12*E^25 - 2*x^2))*Log[x ])/x^2,x]
x*(1 + (2 + E^((3*E^25)/x^2))^2*x - 4*Log[4] - 2*E^((3*E^25)/x^2)*Log[4]) + (-2*(2 + E^((3*E^25)/x^2))*x + Log[16])*Log[x] + Log[x]^2
Leaf count is larger than twice the leaf count of optimal. \(80\) vs. \(2(25)=50\).
Time = 0.45 (sec) , antiderivative size = 80, normalized size of antiderivative = 3.20, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.016, Rules used = {2010, 2009}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {8 x^3-3 x^2+\left (-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )+2 x\right ) \log (x)+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {6 e^{25}}{x^2}} \left (2 x^3-12 e^{25} x\right )+e^{\frac {3 e^{25}}{x^2}} \left (8 x^3-2 x^2+\left (12 e^{25}-2 x^2\right ) \log (4)-24 e^{25} x\right )}{x^2} \, dx\) |
\(\Big \downarrow \) 2010 |
\(\displaystyle \int \left (\frac {2 e^{\frac {6 e^{25}}{x^2}} \left (x^2-6 e^{25}\right )}{x}+\frac {8 x^2-4 x \log (x)-3 x \left (1+\frac {4 \log (4)}{3}\right )+2 \log (x)+\log (16)}{x}+\frac {2 e^{\frac {3 e^{25}}{x^2}} \left (4 x^3-x^2 \log (x)-x^2 (1+\log (4))-12 e^{25} x+6 e^{25} \log (x)+6 e^{25} \log (4)\right )}{x^2}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle e^{\frac {6 e^{25}}{x^2}} x^2+4 x^2+2 e^{\frac {3 e^{25}}{x^2}-25} x \left (2 e^{25} x-e^{25} \log (x)-e^{25} \log (4)\right )+4 x+\log ^2(x)-4 x \log (x)-x (3+\log (256))+\log (16) \log (x)\) |
Int[(-3*x^2 + 8*x^3 + E^((6*E^25)/x^2)*(-12*E^25*x + 2*x^3) + (2*x - 4*x^2 )*Log[4] + E^((3*E^25)/x^2)*(-24*E^25*x - 2*x^2 + 8*x^3 + (12*E^25 - 2*x^2 )*Log[4]) + (2*x - 4*x^2 + E^((3*E^25)/x^2)*(12*E^25 - 2*x^2))*Log[x])/x^2 ,x]
4*x + 4*x^2 + E^((6*E^25)/x^2)*x^2 - x*(3 + Log[256]) - 4*x*Log[x] + Log[1 6]*Log[x] + Log[x]^2 + 2*E^(-25 + (3*E^25)/x^2)*x*(2*E^25*x - E^25*Log[4] - E^25*Log[x])
3.7.73.3.1 Defintions of rubi rules used
Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x] , x] /; FreeQ[{c, m}, x] && SumQ[u] && !LinearQ[u, x] && !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]
Leaf count of result is larger than twice the leaf count of optimal. \(78\) vs. \(2(25)=50\).
Time = 0.83 (sec) , antiderivative size = 79, normalized size of antiderivative = 3.16
method | result | size |
risch | \(\ln \left (x \right )^{2}+\left (-2 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} x -4 x \right ) \ln \left (x \right )+x^{2} {\mathrm e}^{\frac {6 \,{\mathrm e}^{25}}{x^{2}}}-4 \ln \left (2\right ) x \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}}+4 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} x^{2}+4 \ln \left (2\right ) \ln \left (x \right )-8 x \ln \left (2\right )+4 x^{2}+x\) | \(79\) |
parallelrisch | \(-2 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} \ln \left (x \right ) x -4 \ln \left (2\right ) x \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}}+4 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} x^{2}+x^{2} {\mathrm e}^{\frac {6 \,{\mathrm e}^{25}}{x^{2}}}+\ln \left (x \right )^{2}+4 \ln \left (2\right ) \ln \left (x \right )-4 x \ln \left (x \right )-8 x \ln \left (2\right )+4 x^{2}+x\) | \(81\) |
default | \(\frac {4 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} x^{3}-2 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} \ln \left (x \right ) x^{2}-4 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} \ln \left (2\right ) x^{2}}{x}+4 x^{2}-8 x \ln \left (2\right )+x +4 \ln \left (2\right ) \ln \left (x \right )+x^{2} {\mathrm e}^{\frac {6 \,{\mathrm e}^{25}}{x^{2}}}+\ln \left (x \right )^{2}-4 x \ln \left (x \right )\) | \(88\) |
parts | \(\frac {4 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} x^{3}-2 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} \ln \left (x \right ) x^{2}-4 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{25}}{x^{2}}} \ln \left (2\right ) x^{2}}{x}+4 x^{2}-8 x \ln \left (2\right )+x +4 \ln \left (2\right ) \ln \left (x \right )+x^{2} {\mathrm e}^{\frac {6 \,{\mathrm e}^{25}}{x^{2}}}+\ln \left (x \right )^{2}-4 x \ln \left (x \right )\) | \(88\) |
int((((12*exp(25)-2*x^2)*exp(3*exp(25)/x^2)-4*x^2+2*x)*ln(x)+(-12*x*exp(25 )+2*x^3)*exp(3*exp(25)/x^2)^2+(2*(12*exp(25)-2*x^2)*ln(2)-24*x*exp(25)+8*x ^3-2*x^2)*exp(3*exp(25)/x^2)+2*(-4*x^2+2*x)*ln(2)+8*x^3-3*x^2)/x^2,x,metho d=_RETURNVERBOSE)
ln(x)^2+(-2*exp(3*exp(25)/x^2)*x-4*x)*ln(x)+x^2*exp(6*exp(25)/x^2)-4*ln(2) *x*exp(3*exp(25)/x^2)+4*exp(3*exp(25)/x^2)*x^2+4*ln(2)*ln(x)-8*x*ln(2)+4*x ^2+x
Leaf count of result is larger than twice the leaf count of optimal. 69 vs. \(2 (26) = 52\).
Time = 0.46 (sec) , antiderivative size = 69, normalized size of antiderivative = 2.76 \[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=x^{2} e^{\left (\frac {6 \, e^{25}}{x^{2}}\right )} + 4 \, x^{2} + 4 \, {\left (x^{2} - x \log \left (2\right )\right )} e^{\left (\frac {3 \, e^{25}}{x^{2}}\right )} - 8 \, x \log \left (2\right ) - 2 \, {\left (x e^{\left (\frac {3 \, e^{25}}{x^{2}}\right )} + 2 \, x - 2 \, \log \left (2\right )\right )} \log \left (x\right ) + \log \left (x\right )^{2} + x \]
integrate((((12*exp(25)-2*x^2)*exp(3*exp(25)/x^2)-4*x^2+2*x)*log(x)+(-12*x *exp(25)+2*x^3)*exp(3*exp(25)/x^2)^2+(2*(12*exp(25)-2*x^2)*log(2)-24*x*exp (25)+8*x^3-2*x^2)*exp(3*exp(25)/x^2)+2*(-4*x^2+2*x)*log(2)+8*x^3-3*x^2)/x^ 2,x, algorithm=\
x^2*e^(6*e^25/x^2) + 4*x^2 + 4*(x^2 - x*log(2))*e^(3*e^25/x^2) - 8*x*log(2 ) - 2*(x*e^(3*e^25/x^2) + 2*x - 2*log(2))*log(x) + log(x)^2 + x
Leaf count of result is larger than twice the leaf count of optimal. 75 vs. \(2 (26) = 52\).
Time = 0.36 (sec) , antiderivative size = 75, normalized size of antiderivative = 3.00 \[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=x^{2} e^{\frac {6 e^{25}}{x^{2}}} + 4 x^{2} - 4 x \log {\left (x \right )} + x \left (1 - 8 \log {\left (2 \right )}\right ) + \left (4 x^{2} - 2 x \log {\left (x \right )} - 4 x \log {\left (2 \right )}\right ) e^{\frac {3 e^{25}}{x^{2}}} + \log {\left (x \right )}^{2} + 4 \log {\left (2 \right )} \log {\left (x \right )} \]
integrate((((12*exp(25)-2*x**2)*exp(3*exp(25)/x**2)-4*x**2+2*x)*ln(x)+(-12 *x*exp(25)+2*x**3)*exp(3*exp(25)/x**2)**2+(2*(12*exp(25)-2*x**2)*ln(2)-24* x*exp(25)+8*x**3-2*x**2)*exp(3*exp(25)/x**2)+2*(-4*x**2+2*x)*ln(2)+8*x**3- 3*x**2)/x**2,x)
x**2*exp(6*exp(25)/x**2) + 4*x**2 - 4*x*log(x) + x*(1 - 8*log(2)) + (4*x** 2 - 2*x*log(x) - 4*x*log(2))*exp(3*exp(25)/x**2) + log(x)**2 + 4*log(2)*lo g(x)
\[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=\int { \frac {8 \, x^{3} - 3 \, x^{2} + 2 \, {\left (x^{3} - 6 \, x e^{25}\right )} e^{\left (\frac {6 \, e^{25}}{x^{2}}\right )} + 2 \, {\left (4 \, x^{3} - x^{2} - 12 \, x e^{25} - 2 \, {\left (x^{2} - 6 \, e^{25}\right )} \log \left (2\right )\right )} e^{\left (\frac {3 \, e^{25}}{x^{2}}\right )} - 4 \, {\left (2 \, x^{2} - x\right )} \log \left (2\right ) - 2 \, {\left (2 \, x^{2} + {\left (x^{2} - 6 \, e^{25}\right )} e^{\left (\frac {3 \, e^{25}}{x^{2}}\right )} - x\right )} \log \left (x\right )}{x^{2}} \,d x } \]
integrate((((12*exp(25)-2*x^2)*exp(3*exp(25)/x^2)-4*x^2+2*x)*log(x)+(-12*x *exp(25)+2*x^3)*exp(3*exp(25)/x^2)^2+(2*(12*exp(25)-2*x^2)*log(2)-24*x*exp (25)+8*x^3-2*x^2)*exp(3*exp(25)/x^2)+2*(-4*x^2+2*x)*log(2)+8*x^3-3*x^2)/x^ 2,x, algorithm=\
-2*sqrt(3)*x*sqrt(-e^25/x^2)*gamma(-1/2, -3*e^25/x^2)*log(2) - sqrt(3)*x*s qrt(-e^25/x^2)*gamma(-1/2, -3*e^25/x^2) - 2*x*e^(3*e^25/x^2)*log(x) - 4*sq rt(3)*sqrt(pi)*(erf(sqrt(3)*sqrt(-e^25/x^2)) - 1)*e^25*log(2)/(x*sqrt(-e^2 5/x^2)) + 4*x^2 + 6*Ei(6*e^25/x^2)*e^25 + 12*Ei(3*e^25/x^2)*e^25 - 12*e^25 *gamma(-1, -3*e^25/x^2) - 6*e^25*gamma(-1, -6*e^25/x^2) - 8*x*log(2) - 4*x *log(x) + 4*log(2)*log(x) + log(x)^2 + x + 2*integrate(e^(3*e^25/x^2), x)
Leaf count of result is larger than twice the leaf count of optimal. 126 vs. \(2 (26) = 52\).
Time = 0.31 (sec) , antiderivative size = 126, normalized size of antiderivative = 5.04 \[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=x^{2} e^{\left (\frac {25 \, x^{2} + 6 \, e^{25}}{x^{2}} - 25\right )} + {\left (4 \, x^{2} e^{25} + 4 \, x^{2} e^{\left (\frac {25 \, x^{2} + 3 \, e^{25}}{x^{2}}\right )} - 8 \, x e^{25} \log \left (2\right ) - 4 \, x e^{\left (\frac {25 \, x^{2} + 3 \, e^{25}}{x^{2}}\right )} \log \left (2\right ) - 4 \, x e^{25} \log \left (x\right ) - 2 \, x e^{\left (\frac {25 \, x^{2} + 3 \, e^{25}}{x^{2}}\right )} \log \left (x\right ) + 4 \, e^{25} \log \left (2\right ) \log \left (x\right ) + e^{25} \log \left (x\right )^{2} + x e^{25}\right )} e^{\left (-25\right )} \]
integrate((((12*exp(25)-2*x^2)*exp(3*exp(25)/x^2)-4*x^2+2*x)*log(x)+(-12*x *exp(25)+2*x^3)*exp(3*exp(25)/x^2)^2+(2*(12*exp(25)-2*x^2)*log(2)-24*x*exp (25)+8*x^3-2*x^2)*exp(3*exp(25)/x^2)+2*(-4*x^2+2*x)*log(2)+8*x^3-3*x^2)/x^ 2,x, algorithm=\
x^2*e^((25*x^2 + 6*e^25)/x^2 - 25) + (4*x^2*e^25 + 4*x^2*e^((25*x^2 + 3*e^ 25)/x^2) - 8*x*e^25*log(2) - 4*x*e^((25*x^2 + 3*e^25)/x^2)*log(2) - 4*x*e^ 25*log(x) - 2*x*e^((25*x^2 + 3*e^25)/x^2)*log(x) + 4*e^25*log(2)*log(x) + e^25*log(x)^2 + x*e^25)*e^(-25)
Time = 14.47 (sec) , antiderivative size = 78, normalized size of antiderivative = 3.12 \[ \int \frac {-3 x^2+8 x^3+e^{\frac {6 e^{25}}{x^2}} \left (-12 e^{25} x+2 x^3\right )+\left (2 x-4 x^2\right ) \log (4)+e^{\frac {3 e^{25}}{x^2}} \left (-24 e^{25} x-2 x^2+8 x^3+\left (12 e^{25}-2 x^2\right ) \log (4)\right )+\left (2 x-4 x^2+e^{\frac {3 e^{25}}{x^2}} \left (12 e^{25}-2 x^2\right )\right ) \log (x)}{x^2} \, dx=x+4\,x^2\,{\mathrm {e}}^{\frac {3\,{\mathrm {e}}^{25}}{x^2}}+x^2\,{\mathrm {e}}^{\frac {6\,{\mathrm {e}}^{25}}{x^2}}-8\,x\,\ln \left (2\right )+{\ln \left (x\right )}^2+4\,\ln \left (2\right )\,\ln \left (x\right )-4\,x\,\ln \left (x\right )+4\,x^2-4\,x\,{\mathrm {e}}^{\frac {3\,{\mathrm {e}}^{25}}{x^2}}\,\ln \left (2\right )-2\,x\,{\mathrm {e}}^{\frac {3\,{\mathrm {e}}^{25}}{x^2}}\,\ln \left (x\right ) \]
int((2*log(2)*(2*x - 4*x^2) - exp((6*exp(25))/x^2)*(12*x*exp(25) - 2*x^3) + log(x)*(2*x + exp((3*exp(25))/x^2)*(12*exp(25) - 2*x^2) - 4*x^2) + exp(( 3*exp(25))/x^2)*(2*log(2)*(12*exp(25) - 2*x^2) - 24*x*exp(25) - 2*x^2 + 8* x^3) - 3*x^2 + 8*x^3)/x^2,x)