Integrand size = 161, antiderivative size = 28 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4}{x \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )} \]
Time = 0.16 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.00 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4}{x \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )} \]
Integrate[(8*x^2 + 8*Log[x] + (4*x^2 + 4*Log[x])*Log[x^2] + E^Log[x^2 + Lo g[x]]^2*(-4*x^2 + (-4 - 4*x^2)*Log[x] - 4*Log[x]^2 + (-8 - 16*x^2)*Log[x]* Log[x^2 + Log[x]]))/(E^(2*Log[x^2 + Log[x]]^2)*(x^4*Log[x]^2 + x^2*Log[x]^ 3) + E^Log[x^2 + Log[x]]^2*(-2*x^4*Log[x] - 2*x^2*Log[x]^2)*Log[x^2] + (x^ 4 + x^2*Log[x])*Log[x^2]^2),x]
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^2+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4 x^2-4\right ) \log (x)+\left (-16 x^2-8\right ) \log (x) \log \left (x^2+\log (x)\right )-4 \log ^2(x)\right )+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+8 \log (x)}{\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )} \, dx\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle \int \frac {8 x^2+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4 x^2-4\right ) \log (x)+\left (-16 x^2-8\right ) \log (x) \log \left (x^2+\log (x)\right )-4 \log ^2(x)\right )+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+8 \log (x)}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \int \left (-\frac {4 \left (x^2+x^2 \log (x)+4 x^2 \log (x) \log \left (x^2+\log (x)\right )+2 \log (x) \log \left (x^2+\log (x)\right )+\log ^2(x)+\log (x)\right )}{x^2 \log (x) \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}-\frac {4 \left (-2 x^2 \log (x)+x^2 \log \left (x^2\right )+4 x^2 \log (x) \log \left (x^2\right ) \log \left (x^2+\log (x)\right )+\log (x) \log \left (x^2\right )+2 \log (x) \log \left (x^2\right ) \log \left (x^2+\log (x)\right )-2 \log ^2(x)\right )}{x^2 \log (x) \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle 8 \int \frac {1}{\left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx+8 \int \frac {\log (x)}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx-4 \int \frac {1}{\left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}dx-4 \int \frac {1}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}dx-4 \int \frac {1}{\log (x) \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}dx-4 \int \frac {\log (x)}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}dx-4 \int \frac {\log \left (x^2\right )}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx-4 \int \frac {\log \left (x^2\right )}{\log (x) \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx-16 \int \frac {\log \left (x^2+\log (x)\right )}{\left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}dx-8 \int \frac {\log \left (x^2+\log (x)\right )}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )}dx-16 \int \frac {\log \left (x^2\right ) \log \left (x^2+\log (x)\right )}{\left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx-8 \int \frac {\log \left (x^2\right ) \log \left (x^2+\log (x)\right )}{x^2 \left (x^2+\log (x)\right ) \left (e^{\log ^2\left (x^2+\log (x)\right )} \log (x)-\log \left (x^2\right )\right )^2}dx\) |
Int[(8*x^2 + 8*Log[x] + (4*x^2 + 4*Log[x])*Log[x^2] + E^Log[x^2 + Log[x]]^ 2*(-4*x^2 + (-4 - 4*x^2)*Log[x] - 4*Log[x]^2 + (-8 - 16*x^2)*Log[x]*Log[x^ 2 + Log[x]]))/(E^(2*Log[x^2 + Log[x]]^2)*(x^4*Log[x]^2 + x^2*Log[x]^3) + E ^Log[x^2 + Log[x]]^2*(-2*x^4*Log[x] - 2*x^2*Log[x]^2)*Log[x^2] + (x^4 + x^ 2*Log[x])*Log[x^2]^2),x]
3.9.6.3.1 Defintions of rubi rules used
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.26 (sec) , antiderivative size = 74, normalized size of antiderivative = 2.64
\[-\frac {8 i}{x \left (\pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )-2 \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+\pi \operatorname {csgn}\left (i x^{2}\right )^{3}-2 i \ln \left (x \right ) {\mathrm e}^{\ln \left (\ln \left (x \right )+x^{2}\right )^{2}}+4 i \ln \left (x \right )\right )}\]
int((((-16*x^2-8)*ln(x)*ln(ln(x)+x^2)-4*ln(x)^2+(-4*x^2-4)*ln(x)-4*x^2)*ex p(ln(ln(x)+x^2)^2)+(4*ln(x)+4*x^2)*ln(x^2)+8*ln(x)+8*x^2)/((x^2*ln(x)^3+x^ 4*ln(x)^2)*exp(ln(ln(x)+x^2)^2)^2+(-2*x^2*ln(x)^2-2*x^4*ln(x))*ln(x^2)*exp (ln(ln(x)+x^2)^2)+(x^2*ln(x)+x^4)*ln(x^2)^2),x)
-8*I/x/(Pi*csgn(I*x)^2*csgn(I*x^2)-2*Pi*csgn(I*x)*csgn(I*x^2)^2+Pi*csgn(I* x^2)^3-2*I*ln(x)*exp(ln(ln(x)+x^2)^2)+4*I*ln(x))
Time = 0.26 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.86 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4}{x e^{\left (\log \left (x^{2} + \log \left (x\right )\right )^{2}\right )} \log \left (x\right ) - 2 \, x \log \left (x\right )} \]
integrate((((-16*x^2-8)*log(x)*log(log(x)+x^2)-4*log(x)^2+(-4*x^2-4)*log(x )-4*x^2)*exp(log(log(x)+x^2)^2)+(4*log(x)+4*x^2)*log(x^2)+8*log(x)+8*x^2)/ ((x^2*log(x)^3+x^4*log(x)^2)*exp(log(log(x)+x^2)^2)^2+(-2*x^2*log(x)^2-2*x ^4*log(x))*log(x^2)*exp(log(log(x)+x^2)^2)+(x^2*log(x)+x^4)*log(x^2)^2),x, algorithm=\
Time = 0.27 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.86 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4}{x e^{\log {\left (x^{2} + \log {\left (x \right )} \right )}^{2}} \log {\left (x \right )} - 2 x \log {\left (x \right )}} \]
integrate((((-16*x**2-8)*ln(x)*ln(ln(x)+x**2)-4*ln(x)**2+(-4*x**2-4)*ln(x) -4*x**2)*exp(ln(ln(x)+x**2)**2)+(4*ln(x)+4*x**2)*ln(x**2)+8*ln(x)+8*x**2)/ ((x**2*ln(x)**3+x**4*ln(x)**2)*exp(ln(ln(x)+x**2)**2)**2+(-2*x**2*ln(x)**2 -2*x**4*ln(x))*ln(x**2)*exp(ln(ln(x)+x**2)**2)+(x**2*ln(x)+x**4)*ln(x**2)* *2),x)
Time = 0.24 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.86 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4}{x e^{\left (\log \left (x^{2} + \log \left (x\right )\right )^{2}\right )} \log \left (x\right ) - 2 \, x \log \left (x\right )} \]
integrate((((-16*x^2-8)*log(x)*log(log(x)+x^2)-4*log(x)^2+(-4*x^2-4)*log(x )-4*x^2)*exp(log(log(x)+x^2)^2)+(4*log(x)+4*x^2)*log(x^2)+8*log(x)+8*x^2)/ ((x^2*log(x)^3+x^4*log(x)^2)*exp(log(log(x)+x^2)^2)^2+(-2*x^2*log(x)^2-2*x ^4*log(x))*log(x^2)*exp(log(log(x)+x^2)^2)+(x^2*log(x)+x^4)*log(x^2)^2),x, algorithm=\
Time = 0.80 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.86 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4}{x e^{\left (\log \left (x^{2} + \log \left (x\right )\right )^{2}\right )} \log \left (x\right ) - 2 \, x \log \left (x\right )} \]
integrate((((-16*x^2-8)*log(x)*log(log(x)+x^2)-4*log(x)^2+(-4*x^2-4)*log(x )-4*x^2)*exp(log(log(x)+x^2)^2)+(4*log(x)+4*x^2)*log(x^2)+8*log(x)+8*x^2)/ ((x^2*log(x)^3+x^4*log(x)^2)*exp(log(log(x)+x^2)^2)^2+(-2*x^2*log(x)^2-2*x ^4*log(x))*log(x^2)*exp(log(log(x)+x^2)^2)+(x^2*log(x)+x^4)*log(x^2)^2),x, algorithm=\
Time = 9.97 (sec) , antiderivative size = 310, normalized size of antiderivative = 11.07 \[ \int \frac {8 x^2+8 \log (x)+\left (4 x^2+4 \log (x)\right ) \log \left (x^2\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-4 x^2+\left (-4-4 x^2\right ) \log (x)-4 \log ^2(x)+\left (-8-16 x^2\right ) \log (x) \log \left (x^2+\log (x)\right )\right )}{e^{2 \log ^2\left (x^2+\log (x)\right )} \left (x^4 \log ^2(x)+x^2 \log ^3(x)\right )+e^{\log ^2\left (x^2+\log (x)\right )} \left (-2 x^4 \log (x)-2 x^2 \log ^2(x)\right ) \log \left (x^2\right )+\left (x^4+x^2 \log (x)\right ) \log ^2\left (x^2\right )} \, dx=\frac {4\,\left (2\,x^2\,\ln \left (x\right )+2\,{\ln \left (x\right )}^2\right )\,{\left (x\,\ln \left (x\right )+x^3\right )}^2-4\,\ln \left (x^2\right )\,{\left (x\,\ln \left (x\right )+x^3\right )}^2\,\left (\ln \left (x\right )+2\,\ln \left (\ln \left (x\right )+x^2\right )\,\ln \left (x\right )+x^2+4\,x^2\,\ln \left (\ln \left (x\right )+x^2\right )\,\ln \left (x\right )\right )}{x^2\,\left (\ln \left (x\right )+x^2\right )\,\left (\ln \left (x^2\right )-{\mathrm {e}}^{{\ln \left (\ln \left (x\right )+x^2\right )}^2}\,\ln \left (x\right )\right )\,\left (x^5\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )+x\,{\ln \left (x\right )}^2\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )+2\,x^3\,\ln \left (x\right )\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )+4\,x^3\,\ln \left (\ln \left (x\right )+x^2\right )\,{\ln \left (x\right )}^2+8\,x^3\,\ln \left (\ln \left (x\right )+x^2\right )\,{\ln \left (x\right )}^3+8\,x^5\,\ln \left (\ln \left (x\right )+x^2\right )\,{\ln \left (x\right )}^2+4\,x\,\ln \left (\ln \left (x\right )+x^2\right )\,{\ln \left (x\right )}^3+2\,x\,\ln \left (\ln \left (x\right )+x^2\right )\,{\ln \left (x\right )}^2\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )+2\,x^3\,\ln \left (\ln \left (x\right )+x^2\right )\,\ln \left (x\right )\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )+4\,x^5\,\ln \left (\ln \left (x\right )+x^2\right )\,\ln \left (x\right )\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )+4\,x^3\,\ln \left (\ln \left (x\right )+x^2\right )\,{\ln \left (x\right )}^2\,\left (\ln \left (x^2\right )-2\,\ln \left (x\right )\right )\right )} \]
int((8*log(x) - exp(log(log(x) + x^2)^2)*(4*log(x)^2 + 4*x^2 + log(x)*(4*x ^2 + 4) + log(log(x) + x^2)*log(x)*(16*x^2 + 8)) + log(x^2)*(4*log(x) + 4* x^2) + 8*x^2)/(log(x^2)^2*(x^2*log(x) + x^4) + exp(2*log(log(x) + x^2)^2)* (x^2*log(x)^3 + x^4*log(x)^2) - log(x^2)*exp(log(log(x) + x^2)^2)*(2*x^4*l og(x) + 2*x^2*log(x)^2)),x)
(4*(2*x^2*log(x) + 2*log(x)^2)*(x*log(x) + x^3)^2 - 4*log(x^2)*(x*log(x) + x^3)^2*(log(x) + 2*log(log(x) + x^2)*log(x) + x^2 + 4*x^2*log(log(x) + x^ 2)*log(x)))/(x^2*(log(x) + x^2)*(log(x^2) - exp(log(log(x) + x^2)^2)*log(x ))*(x^5*(log(x^2) - 2*log(x)) + x*log(x)^2*(log(x^2) - 2*log(x)) + 2*x^3*l og(x)*(log(x^2) - 2*log(x)) + 4*x^3*log(log(x) + x^2)*log(x)^2 + 8*x^3*log (log(x) + x^2)*log(x)^3 + 8*x^5*log(log(x) + x^2)*log(x)^2 + 4*x*log(log(x ) + x^2)*log(x)^3 + 2*x*log(log(x) + x^2)*log(x)^2*(log(x^2) - 2*log(x)) + 2*x^3*log(log(x) + x^2)*log(x)*(log(x^2) - 2*log(x)) + 4*x^5*log(log(x) + x^2)*log(x)*(log(x^2) - 2*log(x)) + 4*x^3*log(log(x) + x^2)*log(x)^2*(log (x^2) - 2*log(x))))