Integrand size = 143, antiderivative size = 27 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=5 \left (5-5 \left (e^{e^{256 x^2}}+x+\frac {x^2}{\log ^2(x)}\right )\right )^2 \] Output:
5*(5-5*exp(exp(256*x^2))-5*x-5*x^2/ln(x)^2)^2
Leaf count is larger than twice the leaf count of optimal. \(62\) vs. \(2(27)=54\).
Time = 0.46 (sec) , antiderivative size = 62, normalized size of antiderivative = 2.30 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=125 \left (e^{2 e^{256 x^2}}+2 e^{e^{256 x^2}} (-1+x)+(-2+x) x+\frac {x^4}{\log ^4(x)}+\frac {2 x^2 \left (-1+e^{e^{256 x^2}}+x\right )}{\log ^2(x)}\right ) \] Input:
Integrate[(-500*x^3 + 500*x^3*Log[x] + (500*x - 500*x^2)*Log[x]^2 + (-500* x + 750*x^2)*Log[x]^3 + 128000*E^(2*E^(256*x^2) + 256*x^2)*x*Log[x]^5 + (- 250 + 250*x)*Log[x]^5 + E^E^(256*x^2)*(-500*x*Log[x]^2 + (500*x + 128000*E ^(256*x^2)*x^3)*Log[x]^3 + (250 + E^(256*x^2)*(-128000*x + 128000*x^2))*Lo g[x]^5))/Log[x]^5,x]
Output:
125*(E^(2*E^(256*x^2)) + 2*E^E^(256*x^2)*(-1 + x) + (-2 + x)*x + x^4/Log[x ]^4 + (2*x^2*(-1 + E^E^(256*x^2) + x))/Log[x]^2)
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 {-500 x^3+500 x^3 \log (x)+128000 e^{256 x^2+2 e^{256 x^2}} x \log ^5(x)+\left (750 x^2-500 x\right ) \log ^3(x)+\left (500 x-500 x^2\right ) \log ^2(x)+e^{e^{256 x^2}} \left (\left (e^{256 x^2} \left (128000 x^2-128000 x\right )+250\right ) \log ^5(x)+\left (128000 e^{256 x^2} x^3+500 x\right ) \log ^3(x)-500 x \log ^2(x)\right )+(250 x-250) \log ^5(x)}{\log ^5(x)} \, dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int \frac {250 \left (x^2+\left (e^{e^{256 x^2}}+x-1\right ) \log ^2(x)\right ) \left (\left (512 e^{256 x^2+e^{256 x^2}} x+1\right ) \log ^3(x)-2 x+2 x \log (x)\right )}{\log ^5(x)}dx\) |
| \(\Big \downarrow \) 27 |
| \(\displaystyle 250 \int -\frac {\left (x^2-\left (-x-e^{e^{256 x^2}}+1\right ) \log ^2(x)\right ) \left (-\left (\left (512 e^{256 x^2+e^{256 x^2}} x+1\right ) \log ^3(x)\right )-2 x \log (x)+2 x\right )}{\log ^5(x)}dx\) |
| \(\Big \downarrow \) 25 |
| \(\displaystyle -250 \int \frac {\left (x^2-\left (-x-e^{e^{256 x^2}}+1\right ) \log ^2(x)\right ) \left (-\left (\left (512 e^{256 x^2+e^{256 x^2}} x+1\right ) \log ^3(x)\right )-2 x \log (x)+2 x\right )}{\log ^5(x)}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle -250 \int \left (-\frac {\left (\log ^3(x)+2 x \log (x)-2 x\right ) \left (x^2+\log ^2(x) x+e^{e^{256 x^2}} \log ^2(x)-\log ^2(x)\right )}{\log ^5(x)}-\frac {512 e^{256 x^2+e^{256 x^2}} x \left (x^2+\log ^2(x) x+e^{e^{256 x^2}} \log ^2(x)-\log ^2(x)\right )}{\log ^2(x)}\right )dx\) |
| \(\Big \downarrow \) 2009 |
| \(\displaystyle -250 \left (-\int e^{e^{256 x^2}}dx-512 \int e^{256 x^2+e^{256 x^2}} x^2dx+2 \int \frac {e^{e^{256 x^2}} x}{\log ^3(x)}dx-2 \int \frac {e^{e^{256 x^2}} x}{\log ^2(x)}dx-512 \int \frac {e^{256 x^2+e^{256 x^2}} x^3}{\log ^2(x)}dx-\frac {x^4}{2 \log ^4(x)}-\frac {x^3}{\log ^2(x)}-\frac {x^2}{2}+e^{e^{256 x^2}}-\frac {1}{2} e^{2 e^{256 x^2}}+\frac {x^2}{\log ^2(x)}+x\right )\) |
Input:
Int[(-500*x^3 + 500*x^3*Log[x] + (500*x - 500*x^2)*Log[x]^2 + (-500*x + 75 0*x^2)*Log[x]^3 + 128000*E^(2*E^(256*x^2) + 256*x^2)*x*Log[x]^5 + (-250 + 250*x)*Log[x]^5 + E^E^(256*x^2)*(-500*x*Log[x]^2 + (500*x + 128000*E^(256* x^2)*x^3)*Log[x]^3 + (250 + E^(256*x^2)*(-128000*x + 128000*x^2))*Log[x]^5 ))/Log[x]^5,x]
Output:
$Aborted
Leaf count of result is larger than twice the leaf count of optimal. \(75\) vs. \(2(27)=54\).
Time = 0.84 (sec) , antiderivative size = 76, normalized size of antiderivative = 2.81
| method | result | size |
| risch | \(125 x^{2}-250 x +\frac {125 x^{2} \left (2 x \ln \left (x \right )^{2}+x^{2}-2 \ln \left (x \right )^{2}\right )}{\ln \left (x \right )^{4}}+125 \,{\mathrm e}^{2 \,{\mathrm e}^{256 x^{2}}}+\frac {250 \left (x \ln \left (x \right )^{2}+x^{2}-\ln \left (x \right )^{2}\right ) {\mathrm e}^{{\mathrm e}^{256 x^{2}}}}{\ln \left (x \right )^{2}}\) | \(76\) |
| parallelrisch | \(\frac {125 x^{2} \ln \left (x \right )^{4}+250 \,{\mathrm e}^{{\mathrm e}^{256 x^{2}}} \ln \left (x \right )^{4} x +125 \,{\mathrm e}^{2 \,{\mathrm e}^{256 x^{2}}} \ln \left (x \right )^{4}+250 x^{3} \ln \left (x \right )^{2}+250 \,{\mathrm e}^{{\mathrm e}^{256 x^{2}}} \ln \left (x \right )^{2} x^{2}-250 x \ln \left (x \right )^{4}-250 \,{\mathrm e}^{{\mathrm e}^{256 x^{2}}} \ln \left (x \right )^{4}+125 x^{4}-250 x^{2} \ln \left (x \right )^{2}}{\ln \left (x \right )^{4}}\) | \(104\) |
Input:
int((128000*x*exp(256*x^2)*ln(x)^5*exp(exp(256*x^2))^2+(((128000*x^2-12800 0*x)*exp(256*x^2)+250)*ln(x)^5+(128000*x^3*exp(256*x^2)+500*x)*ln(x)^3-500 *x*ln(x)^2)*exp(exp(256*x^2))+(250*x-250)*ln(x)^5+(750*x^2-500*x)*ln(x)^3+ (-500*x^2+500*x)*ln(x)^2+500*x^3*ln(x)-500*x^3)/ln(x)^5,x,method=_RETURNVE RBOSE)
Output:
125*x^2-250*x+125*x^2*(2*x*ln(x)^2+x^2-2*ln(x)^2)/ln(x)^4+125*exp(2*exp(25 6*x^2))+250*(x*ln(x)^2+x^2-ln(x)^2)/ln(x)^2*exp(exp(256*x^2))
Leaf count of result is larger than twice the leaf count of optimal. 77 vs. \(2 (22) = 44\).
Time = 0.10 (sec) , antiderivative size = 77, normalized size of antiderivative = 2.85 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=\frac {125 \, {\left ({\left (x^{2} - 2 \, x\right )} \log \left (x\right )^{4} + e^{\left (2 \, e^{\left (256 \, x^{2}\right )}\right )} \log \left (x\right )^{4} + x^{4} + 2 \, {\left (x^{3} - x^{2}\right )} \log \left (x\right )^{2} + 2 \, {\left ({\left (x - 1\right )} \log \left (x\right )^{4} + x^{2} \log \left (x\right )^{2}\right )} e^{\left (e^{\left (256 \, x^{2}\right )}\right )}\right )}}{\log \left (x\right )^{4}} \] Input:
integrate((128000*x*exp(256*x^2)*log(x)^5*exp(exp(256*x^2))^2+(((128000*x^ 2-128000*x)*exp(256*x^2)+250)*log(x)^5+(128000*x^3*exp(256*x^2)+500*x)*log (x)^3-500*x*log(x)^2)*exp(exp(256*x^2))+(250*x-250)*log(x)^5+(750*x^2-500* x)*log(x)^3+(-500*x^2+500*x)*log(x)^2+500*x^3*log(x)-500*x^3)/log(x)^5,x, algorithm="fricas")
Output:
125*((x^2 - 2*x)*log(x)^4 + e^(2*e^(256*x^2))*log(x)^4 + x^4 + 2*(x^3 - x^ 2)*log(x)^2 + 2*((x - 1)*log(x)^4 + x^2*log(x)^2)*e^(e^(256*x^2)))/log(x)^ 4
Leaf count of result is larger than twice the leaf count of optimal. 83 vs. \(2 (27) = 54\).
Time = 0.17 (sec) , antiderivative size = 83, normalized size of antiderivative = 3.07 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=125 x^{2} - 250 x + \frac {125 x^{4} + \left (250 x^{3} - 250 x^{2}\right ) \log {\left (x \right )}^{2}}{\log {\left (x \right )}^{4}} + \frac {\left (250 x^{2} + 250 x \log {\left (x \right )}^{2} - 250 \log {\left (x \right )}^{2}\right ) e^{e^{256 x^{2}}} + 125 e^{2 e^{256 x^{2}}} \log {\left (x \right )}^{2}}{\log {\left (x \right )}^{2}} \] Input:
integrate((128000*x*exp(256*x**2)*ln(x)**5*exp(exp(256*x**2))**2+(((128000 *x**2-128000*x)*exp(256*x**2)+250)*ln(x)**5+(128000*x**3*exp(256*x**2)+500 *x)*ln(x)**3-500*x*ln(x)**2)*exp(exp(256*x**2))+(250*x-250)*ln(x)**5+(750* x**2-500*x)*ln(x)**3+(-500*x**2+500*x)*ln(x)**2+500*x**3*ln(x)-500*x**3)/l n(x)**5,x)
Output:
125*x**2 - 250*x + (125*x**4 + (250*x**3 - 250*x**2)*log(x)**2)/log(x)**4 + ((250*x**2 + 250*x*log(x)**2 - 250*log(x)**2)*exp(exp(256*x**2)) + 125*e xp(2*exp(256*x**2))*log(x)**2)/log(x)**2
Leaf count of result is larger than twice the leaf count of optimal. 74 vs. \(2 (22) = 44\).
Time = 0.10 (sec) , antiderivative size = 74, normalized size of antiderivative = 2.74 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=125 \, x^{2} - 250 \, x + \frac {125 \, {\left (e^{\left (2 \, e^{\left (256 \, x^{2}\right )}\right )} \log \left (x\right )^{4} + x^{4} + 2 \, {\left (x^{3} - x^{2}\right )} \log \left (x\right )^{2} + 2 \, {\left ({\left (x - 1\right )} \log \left (x\right )^{4} + x^{2} \log \left (x\right )^{2}\right )} e^{\left (e^{\left (256 \, x^{2}\right )}\right )}\right )}}{\log \left (x\right )^{4}} \] Input:
integrate((128000*x*exp(256*x^2)*log(x)^5*exp(exp(256*x^2))^2+(((128000*x^ 2-128000*x)*exp(256*x^2)+250)*log(x)^5+(128000*x^3*exp(256*x^2)+500*x)*log (x)^3-500*x*log(x)^2)*exp(exp(256*x^2))+(250*x-250)*log(x)^5+(750*x^2-500* x)*log(x)^3+(-500*x^2+500*x)*log(x)^2+500*x^3*log(x)-500*x^3)/log(x)^5,x, algorithm="maxima")
Output:
125*x^2 - 250*x + 125*(e^(2*e^(256*x^2))*log(x)^4 + x^4 + 2*(x^3 - x^2)*lo g(x)^2 + 2*((x - 1)*log(x)^4 + x^2*log(x)^2)*e^(e^(256*x^2)))/log(x)^4
\[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=\int { \frac {250 \, {\left (512 \, x e^{\left (256 \, x^{2} + 2 \, e^{\left (256 \, x^{2}\right )}\right )} \log \left (x\right )^{5} + {\left (x - 1\right )} \log \left (x\right )^{5} + 2 \, x^{3} \log \left (x\right ) + {\left (3 \, x^{2} - 2 \, x\right )} \log \left (x\right )^{3} - 2 \, x^{3} - 2 \, {\left (x^{2} - x\right )} \log \left (x\right )^{2} + {\left ({\left (512 \, {\left (x^{2} - x\right )} e^{\left (256 \, x^{2}\right )} + 1\right )} \log \left (x\right )^{5} + 2 \, {\left (256 \, x^{3} e^{\left (256 \, x^{2}\right )} + x\right )} \log \left (x\right )^{3} - 2 \, x \log \left (x\right )^{2}\right )} e^{\left (e^{\left (256 \, x^{2}\right )}\right )}\right )}}{\log \left (x\right )^{5}} \,d x } \] Input:
integrate((128000*x*exp(256*x^2)*log(x)^5*exp(exp(256*x^2))^2+(((128000*x^ 2-128000*x)*exp(256*x^2)+250)*log(x)^5+(128000*x^3*exp(256*x^2)+500*x)*log (x)^3-500*x*log(x)^2)*exp(exp(256*x^2))+(250*x-250)*log(x)^5+(750*x^2-500* x)*log(x)^3+(-500*x^2+500*x)*log(x)^2+500*x^3*log(x)-500*x^3)/log(x)^5,x, algorithm="giac")
Output:
integrate(250*(512*x*e^(256*x^2 + 2*e^(256*x^2))*log(x)^5 + (x - 1)*log(x) ^5 + 2*x^3*log(x) + (3*x^2 - 2*x)*log(x)^3 - 2*x^3 - 2*(x^2 - x)*log(x)^2 + ((512*(x^2 - x)*e^(256*x^2) + 1)*log(x)^5 + 2*(256*x^3*e^(256*x^2) + x)* log(x)^3 - 2*x*log(x)^2)*e^(e^(256*x^2)))/log(x)^5, x)
Time = 7.60 (sec) , antiderivative size = 82, normalized size of antiderivative = 3.04 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=125\,{\mathrm {e}}^{2\,{\mathrm {e}}^{256\,x^2}}-250\,{\mathrm {e}}^{{\mathrm {e}}^{256\,x^2}}-250\,x-\frac {250\,x^2}{{\ln \left (x\right )}^2}+\frac {250\,x^3}{{\ln \left (x\right )}^2}+\frac {125\,x^4}{{\ln \left (x\right )}^4}+125\,x^2+250\,x\,{\mathrm {e}}^{{\mathrm {e}}^{256\,x^2}}+\frac {250\,x^2\,{\mathrm {e}}^{{\mathrm {e}}^{256\,x^2}}}{{\ln \left (x\right )}^2} \] Input:
int((log(x)^2*(500*x - 500*x^2) - log(x)^3*(500*x - 750*x^2) + 500*x^3*log (x) - 500*x^3 + log(x)^5*(250*x - 250) - exp(exp(256*x^2))*(500*x*log(x)^2 + log(x)^5*(exp(256*x^2)*(128000*x - 128000*x^2) - 250) - log(x)^3*(500*x + 128000*x^3*exp(256*x^2))) + 128000*x*exp(2*exp(256*x^2))*exp(256*x^2)*l og(x)^5)/log(x)^5,x)
Output:
125*exp(2*exp(256*x^2)) - 250*exp(exp(256*x^2)) - 250*x - (250*x^2)/log(x) ^2 + (250*x^3)/log(x)^2 + (125*x^4)/log(x)^4 + 125*x^2 + 250*x*exp(exp(256 *x^2)) + (250*x^2*exp(exp(256*x^2)))/log(x)^2
Time = 0.23 (sec) , antiderivative size = 108, normalized size of antiderivative = 4.00 \[ \int \frac {-500 x^3+500 x^3 \log (x)+\left (500 x-500 x^2\right ) \log ^2(x)+\left (-500 x+750 x^2\right ) \log ^3(x)+128000 e^{2 e^{256 x^2}+256 x^2} x \log ^5(x)+(-250+250 x) \log ^5(x)+e^{e^{256 x^2}} \left (-500 x \log ^2(x)+\left (500 x+128000 e^{256 x^2} x^3\right ) \log ^3(x)+\left (250+e^{256 x^2} \left (-128000 x+128000 x^2\right )\right ) \log ^5(x)\right )}{\log ^5(x)} \, dx=\frac {125 e^{2 e^{256 x^{2}}} \mathrm {log}\left (x \right )^{4}+250 e^{e^{256 x^{2}}} \mathrm {log}\left (x \right )^{4} x -250 e^{e^{256 x^{2}}} \mathrm {log}\left (x \right )^{4}+250 e^{e^{256 x^{2}}} \mathrm {log}\left (x \right )^{2} x^{2}+125 \mathrm {log}\left (x \right )^{4} x^{2}-250 \mathrm {log}\left (x \right )^{4} x +250 \mathrm {log}\left (x \right )^{2} x^{3}-250 \mathrm {log}\left (x \right )^{2} x^{2}+125 x^{4}}{\mathrm {log}\left (x \right )^{4}} \] Input:
int((128000*x*exp(256*x^2)*log(x)^5*exp(exp(256*x^2))^2+(((128000*x^2-1280 00*x)*exp(256*x^2)+250)*log(x)^5+(128000*x^3*exp(256*x^2)+500*x)*log(x)^3- 500*x*log(x)^2)*exp(exp(256*x^2))+(250*x-250)*log(x)^5+(750*x^2-500*x)*log (x)^3+(-500*x^2+500*x)*log(x)^2+500*x^3*log(x)-500*x^3)/log(x)^5,x)
Output:
(125*(e**(2*e**(256*x**2))*log(x)**4 + 2*e**(e**(256*x**2))*log(x)**4*x - 2*e**(e**(256*x**2))*log(x)**4 + 2*e**(e**(256*x**2))*log(x)**2*x**2 + log (x)**4*x**2 - 2*log(x)**4*x + 2*log(x)**2*x**3 - 2*log(x)**2*x**2 + x**4)) /log(x)**4