Integrand size = 201, antiderivative size = 31 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx=e^{x^2 \left (2 \left (3+e^{\frac {x^2}{e}}\right )-x+x \log ^2(25)\right )^2} \]
Time = 0.24 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.94 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx=e^{x^2 \left (6+2 e^{\frac {x^2}{e}}+x \left (-1+\log ^2(25)\right )\right )^2} \]
Integrate[E^(-1 + 36*x^2 + 4*E^((2*x^2)/E)*x^2 - 12*x^3 + x^4 + (12*x^3 - 2*x^4)*Log[25]^2 + x^4*Log[25]^4 + E^(x^2/E)*(24*x^2 - 4*x^3 + 4*x^3*Log[2 5]^2))*(E*(72*x - 36*x^2 + 4*x^3) + E^((2*x^2)/E)*(8*E*x + 16*x^3) + E*(36 *x^2 - 8*x^3)*Log[25]^2 + 4*E*x^3*Log[25]^4 + E^(x^2/E)*(48*x^3 - 8*x^4 + E*(48*x - 12*x^2) + (12*E*x^2 + 8*x^4)*Log[25]^2)),x]
Time = 5.20 (sec) , antiderivative size = 59, normalized size of antiderivative = 1.90, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.015, Rules used = {7239, 27, 7257}
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 \left (4 e x^3 \log ^4(25)+e \left (4 x^3-36 x^2+72 x\right )+e^{\frac {2 x^2}{e}} \left (16 x^3+8 e x\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+e^{\frac {x^2}{e}} \left (-8 x^4+48 x^3+e \left (48 x-12 x^2\right )+\left (8 x^4+12 e x^2\right ) \log ^2(25)\right )\right ) \exp \left (x^4+x^4 \log ^4(25)-12 x^3+4 e^{\frac {2 x^2}{e}} x^2+36 x^2+\left (12 x^3-2 x^4\right ) \log ^2(25)+e^{\frac {x^2}{e}} \left (-4 x^3+4 x^3 \log ^2(25)+24 x^2\right )-1\right ) \, dx\) |
\(\Big \downarrow \) 7239 |
\(\displaystyle \int 4 x \left (2 e^{\frac {x^2}{e}}+x \left (\log ^2(25)-1\right )+6\right ) \left (2 e^{\frac {x^2}{e}} x^2+e^{\frac {x^2}{e}+1}+e \left (x \left (\log ^2(25)-1\right )+3\right )\right ) \exp \left (x^4 \left (\log ^2(25)-1\right )^2+4 \left (e^{\frac {x^2}{e}}+3\right )^2 x^2+4 \left (e^{\frac {x^2}{e}}+3\right ) x^3 \left (\log ^2(25)-1\right )-1\right )dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle 4 \int \exp \left (\left (1-\log ^2(25)\right )^2 x^4-4 \left (3+e^{\frac {x^2}{e}}\right ) \left (1-\log ^2(25)\right ) x^3+4 \left (3+e^{\frac {x^2}{e}}\right )^2 x^2-1\right ) x \left (-\left (\left (1-\log ^2(25)\right ) x\right )+2 e^{\frac {x^2}{e}}+6\right ) \left (2 e^{\frac {x^2}{e}} x^2+e^{\frac {x^2}{e}+1}+e \left (3-x \left (1-\log ^2(25)\right )\right )\right )dx\) |
\(\Big \downarrow \) 7257 |
\(\displaystyle \exp \left (x^4 \left (1-\log ^2(25)\right )^2+4 \left (e^{\frac {x^2}{e}}+3\right )^2 x^2-4 \left (e^{\frac {x^2}{e}}+3\right ) x^3 \left (1-\log ^2(25)\right )\right )\) |
Int[E^(-1 + 36*x^2 + 4*E^((2*x^2)/E)*x^2 - 12*x^3 + x^4 + (12*x^3 - 2*x^4) *Log[25]^2 + x^4*Log[25]^4 + E^(x^2/E)*(24*x^2 - 4*x^3 + 4*x^3*Log[25]^2)) *(E*(72*x - 36*x^2 + 4*x^3) + E^((2*x^2)/E)*(8*E*x + 16*x^3) + E*(36*x^2 - 8*x^3)*Log[25]^2 + 4*E*x^3*Log[25]^4 + E^(x^2/E)*(48*x^3 - 8*x^4 + E*(48* x - 12*x^2) + (12*E*x^2 + 8*x^4)*Log[25]^2)),x]
3.17.10.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl erIntegrandQ[v, u, x]]
Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Sim p[q*(F^v/Log[F]), x] /; !FalseQ[q]] /; FreeQ[F, x]
Leaf count of result is larger than twice the leaf count of optimal. \(81\) vs. \(2(30)=60\).
Time = 5.23 (sec) , antiderivative size = 82, normalized size of antiderivative = 2.65
method | result | size |
risch | \({\mathrm e}^{x^{2} \left (16 \ln \left (5\right )^{4} x^{2}+16 \ln \left (5\right )^{2} {\mathrm e}^{x^{2} {\mathrm e}^{-1}} x -8 x^{2} \ln \left (5\right )^{2}+48 x \ln \left (5\right )^{2}-4 \,{\mathrm e}^{x^{2} {\mathrm e}^{-1}} x +x^{2}+4 \,{\mathrm e}^{2 x^{2} {\mathrm e}^{-1}}+24 \,{\mathrm e}^{x^{2} {\mathrm e}^{-1}}-12 x +36\right )}\) | \(82\) |
norman | \({\mathrm e}^{4 x^{2} {\mathrm e}^{2 x^{2} {\mathrm e}^{-1}}+\left (16 x^{3} \ln \left (5\right )^{2}-4 x^{3}+24 x^{2}\right ) {\mathrm e}^{x^{2} {\mathrm e}^{-1}}+16 x^{4} \ln \left (5\right )^{4}+4 \left (-2 x^{4}+12 x^{3}\right ) \ln \left (5\right )^{2}+x^{4}-12 x^{3}+36 x^{2}}\) | \(88\) |
parallelrisch | \({\mathrm e}^{4 x^{2} {\mathrm e}^{2 x^{2} {\mathrm e}^{-1}}+\left (16 x^{3} \ln \left (5\right )^{2}-4 x^{3}+24 x^{2}\right ) {\mathrm e}^{x^{2} {\mathrm e}^{-1}}+16 x^{4} \ln \left (5\right )^{4}+4 \left (-2 x^{4}+12 x^{3}\right ) \ln \left (5\right )^{2}+x^{4}-12 x^{3}+36 x^{2}}\) | \(88\) |
int(((8*x*exp(1)+16*x^3)*exp(x^2/exp(1))^2+(4*(12*x^2*exp(1)+8*x^4)*ln(5)^ 2+(-12*x^2+48*x)*exp(1)-8*x^4+48*x^3)*exp(x^2/exp(1))+64*x^3*exp(1)*ln(5)^ 4+4*(-8*x^3+36*x^2)*exp(1)*ln(5)^2+(4*x^3-36*x^2+72*x)*exp(1))*exp(4*x^2*e xp(x^2/exp(1))^2+(16*x^3*ln(5)^2-4*x^3+24*x^2)*exp(x^2/exp(1))+16*x^4*ln(5 )^4+4*(-2*x^4+12*x^3)*ln(5)^2+x^4-12*x^3+36*x^2)/exp(1),x,method=_RETURNVE RBOSE)
exp(x^2*(16*ln(5)^4*x^2+16*ln(5)^2*exp(x^2*exp(-1))*x-8*x^2*ln(5)^2+48*x*l n(5)^2-4*exp(x^2*exp(-1))*x+x^2+4*exp(2*x^2*exp(-1))+24*exp(x^2*exp(-1))-1 2*x+36))
Leaf count of result is larger than twice the leaf count of optimal. 81 vs. \(2 (28) = 56\).
Time = 0.30 (sec) , antiderivative size = 81, normalized size of antiderivative = 2.61 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx=e^{\left (16 \, x^{4} \log \left (5\right )^{4} + x^{4} - 12 \, x^{3} + 4 \, x^{2} e^{\left (2 \, x^{2} e^{\left (-1\right )}\right )} - 8 \, {\left (x^{4} - 6 \, x^{3}\right )} \log \left (5\right )^{2} + 36 \, x^{2} + 4 \, {\left (4 \, x^{3} \log \left (5\right )^{2} - x^{3} + 6 \, x^{2}\right )} e^{\left (x^{2} e^{\left (-1\right )}\right )}\right )} \]
integrate(((8*x*exp(1)+16*x^3)*exp(x^2/exp(1))^2+(4*(12*x^2*exp(1)+8*x^4)* log(5)^2+(-12*x^2+48*x)*exp(1)-8*x^4+48*x^3)*exp(x^2/exp(1))+64*x^3*exp(1) *log(5)^4+4*(-8*x^3+36*x^2)*exp(1)*log(5)^2+(4*x^3-36*x^2+72*x)*exp(1))*ex p(4*x^2*exp(x^2/exp(1))^2+(16*x^3*log(5)^2-4*x^3+24*x^2)*exp(x^2/exp(1))+1 6*x^4*log(5)^4+4*(-2*x^4+12*x^3)*log(5)^2+x^4-12*x^3+36*x^2)/exp(1),x, alg orithm=\
e^(16*x^4*log(5)^4 + x^4 - 12*x^3 + 4*x^2*e^(2*x^2*e^(-1)) - 8*(x^4 - 6*x^ 3)*log(5)^2 + 36*x^2 + 4*(4*x^3*log(5)^2 - x^3 + 6*x^2)*e^(x^2*e^(-1)))
Leaf count of result is larger than twice the leaf count of optimal. 83 vs. \(2 (27) = 54\).
Time = 0.43 (sec) , antiderivative size = 83, normalized size of antiderivative = 2.68 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx=e^{x^{4} + 16 x^{4} \log {\left (5 \right )}^{4} - 12 x^{3} + 4 x^{2} e^{\frac {2 x^{2}}{e}} + 36 x^{2} + \left (- 8 x^{4} + 48 x^{3}\right ) \log {\left (5 \right )}^{2} + \left (- 4 x^{3} + 16 x^{3} \log {\left (5 \right )}^{2} + 24 x^{2}\right ) e^{\frac {x^{2}}{e}}} \]
integrate(((8*x*exp(1)+16*x**3)*exp(x**2/exp(1))**2+(4*(12*x**2*exp(1)+8*x **4)*ln(5)**2+(-12*x**2+48*x)*exp(1)-8*x**4+48*x**3)*exp(x**2/exp(1))+64*x **3*exp(1)*ln(5)**4+4*(-8*x**3+36*x**2)*exp(1)*ln(5)**2+(4*x**3-36*x**2+72 *x)*exp(1))*exp(4*x**2*exp(x**2/exp(1))**2+(16*x**3*ln(5)**2-4*x**3+24*x** 2)*exp(x**2/exp(1))+16*x**4*ln(5)**4+4*(-2*x**4+12*x**3)*ln(5)**2+x**4-12* x**3+36*x**2)/exp(1),x)
exp(x**4 + 16*x**4*log(5)**4 - 12*x**3 + 4*x**2*exp(2*x**2*exp(-1)) + 36*x **2 + (-8*x**4 + 48*x**3)*log(5)**2 + (-4*x**3 + 16*x**3*log(5)**2 + 24*x* *2)*exp(x**2*exp(-1)))
Leaf count of result is larger than twice the leaf count of optimal. 95 vs. \(2 (28) = 56\).
Time = 0.53 (sec) , antiderivative size = 95, normalized size of antiderivative = 3.06 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx=e^{\left (16 \, x^{4} \log \left (5\right )^{4} - 8 \, x^{4} \log \left (5\right )^{2} + 16 \, x^{3} e^{\left (x^{2} e^{\left (-1\right )}\right )} \log \left (5\right )^{2} + 48 \, x^{3} \log \left (5\right )^{2} + x^{4} - 4 \, x^{3} e^{\left (x^{2} e^{\left (-1\right )}\right )} - 12 \, x^{3} + 4 \, x^{2} e^{\left (2 \, x^{2} e^{\left (-1\right )}\right )} + 24 \, x^{2} e^{\left (x^{2} e^{\left (-1\right )}\right )} + 36 \, x^{2}\right )} \]
integrate(((8*x*exp(1)+16*x^3)*exp(x^2/exp(1))^2+(4*(12*x^2*exp(1)+8*x^4)* log(5)^2+(-12*x^2+48*x)*exp(1)-8*x^4+48*x^3)*exp(x^2/exp(1))+64*x^3*exp(1) *log(5)^4+4*(-8*x^3+36*x^2)*exp(1)*log(5)^2+(4*x^3-36*x^2+72*x)*exp(1))*ex p(4*x^2*exp(x^2/exp(1))^2+(16*x^3*log(5)^2-4*x^3+24*x^2)*exp(x^2/exp(1))+1 6*x^4*log(5)^4+4*(-2*x^4+12*x^3)*log(5)^2+x^4-12*x^3+36*x^2)/exp(1),x, alg orithm=\
e^(16*x^4*log(5)^4 - 8*x^4*log(5)^2 + 16*x^3*e^(x^2*e^(-1))*log(5)^2 + 48* x^3*log(5)^2 + x^4 - 4*x^3*e^(x^2*e^(-1)) - 12*x^3 + 4*x^2*e^(2*x^2*e^(-1) ) + 24*x^2*e^(x^2*e^(-1)) + 36*x^2)
Leaf count of result is larger than twice the leaf count of optimal. 95 vs. \(2 (28) = 56\).
Time = 0.87 (sec) , antiderivative size = 95, normalized size of antiderivative = 3.06 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx=e^{\left (16 \, x^{4} \log \left (5\right )^{4} - 8 \, x^{4} \log \left (5\right )^{2} + 16 \, x^{3} e^{\left (x^{2} e^{\left (-1\right )}\right )} \log \left (5\right )^{2} + 48 \, x^{3} \log \left (5\right )^{2} + x^{4} - 4 \, x^{3} e^{\left (x^{2} e^{\left (-1\right )}\right )} - 12 \, x^{3} + 4 \, x^{2} e^{\left (2 \, x^{2} e^{\left (-1\right )}\right )} + 24 \, x^{2} e^{\left (x^{2} e^{\left (-1\right )}\right )} + 36 \, x^{2}\right )} \]
integrate(((8*x*exp(1)+16*x^3)*exp(x^2/exp(1))^2+(4*(12*x^2*exp(1)+8*x^4)* log(5)^2+(-12*x^2+48*x)*exp(1)-8*x^4+48*x^3)*exp(x^2/exp(1))+64*x^3*exp(1) *log(5)^4+4*(-8*x^3+36*x^2)*exp(1)*log(5)^2+(4*x^3-36*x^2+72*x)*exp(1))*ex p(4*x^2*exp(x^2/exp(1))^2+(16*x^3*log(5)^2-4*x^3+24*x^2)*exp(x^2/exp(1))+1 6*x^4*log(5)^4+4*(-2*x^4+12*x^3)*log(5)^2+x^4-12*x^3+36*x^2)/exp(1),x, alg orithm=\
e^(16*x^4*log(5)^4 - 8*x^4*log(5)^2 + 16*x^3*e^(x^2*e^(-1))*log(5)^2 + 48* x^3*log(5)^2 + x^4 - 4*x^3*e^(x^2*e^(-1)) - 12*x^3 + 4*x^2*e^(2*x^2*e^(-1) ) + 24*x^2*e^(x^2*e^(-1)) + 36*x^2)
Time = 13.08 (sec) , antiderivative size = 104, normalized size of antiderivative = 3.35 \[ \int e^{-1+36 x^2+4 e^{\frac {2 x^2}{e}} x^2-12 x^3+x^4+\left (12 x^3-2 x^4\right ) \log ^2(25)+x^4 \log ^4(25)+e^{\frac {x^2}{e}} \left (24 x^2-4 x^3+4 x^3 \log ^2(25)\right )} \left (e \left (72 x-36 x^2+4 x^3\right )+e^{\frac {2 x^2}{e}} \left (8 e x+16 x^3\right )+e \left (36 x^2-8 x^3\right ) \log ^2(25)+4 e x^3 \log ^4(25)+e^{\frac {x^2}{e}} \left (48 x^3-8 x^4+e \left (48 x-12 x^2\right )+\left (12 e x^2+8 x^4\right ) \log ^2(25)\right )\right ) \, dx={\mathrm {e}}^{x^4}\,{\mathrm {e}}^{-8\,x^4\,{\ln \left (5\right )}^2}\,{\mathrm {e}}^{16\,x^4\,{\ln \left (5\right )}^4}\,{\mathrm {e}}^{48\,x^3\,{\ln \left (5\right )}^2}\,{\mathrm {e}}^{16\,x^3\,{\mathrm {e}}^{x^2\,{\mathrm {e}}^{-1}}\,{\ln \left (5\right )}^2}\,{\mathrm {e}}^{-12\,x^3}\,{\mathrm {e}}^{36\,x^2}\,{\mathrm {e}}^{-4\,x^3\,{\mathrm {e}}^{x^2\,{\mathrm {e}}^{-1}}}\,{\mathrm {e}}^{4\,x^2\,{\mathrm {e}}^{2\,x^2\,{\mathrm {e}}^{-1}}}\,{\mathrm {e}}^{24\,x^2\,{\mathrm {e}}^{x^2\,{\mathrm {e}}^{-1}}} \]
int(exp(-1)*exp(16*x^4*log(5)^4 + exp(x^2*exp(-1))*(16*x^3*log(5)^2 + 24*x ^2 - 4*x^3) + 4*x^2*exp(2*x^2*exp(-1)) + 36*x^2 - 12*x^3 + x^4 + 4*log(5)^ 2*(12*x^3 - 2*x^4))*(exp(2*x^2*exp(-1))*(8*x*exp(1) + 16*x^3) + exp(1)*(72 *x - 36*x^2 + 4*x^3) + exp(x^2*exp(-1))*(exp(1)*(48*x - 12*x^2) + 4*log(5) ^2*(12*x^2*exp(1) + 8*x^4) + 48*x^3 - 8*x^4) + 4*exp(1)*log(5)^2*(36*x^2 - 8*x^3) + 64*x^3*exp(1)*log(5)^4),x)