Integrand size = 137, antiderivative size = 29 \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=\frac {\sqrt {3} \sqrt {5-4 x \log \left (2+\log ^2\left (4+x^2\right )\right )}}{e^5} \]
Time = 0.14 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.00 \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=\frac {\sqrt {3} \sqrt {5-4 x \log \left (2+\log ^2\left (4+x^2\right )\right )}}{e^5} \]
Integrate[(E^((-10 + Log[15 - 12*x*Log[2 + Log[4 + x^2]^2]])/2)*(8*x^2*Log [4 + x^2] + (16 + 4*x^2 + (8 + 2*x^2)*Log[4 + x^2]^2)*Log[2 + Log[4 + x^2] ^2]))/(-40 - 10*x^2 + (-20 - 5*x^2)*Log[4 + x^2]^2 + (32*x + 8*x^3 + (16*x + 4*x^3)*Log[4 + x^2]^2)*Log[2 + Log[4 + x^2]^2]),x]
Time = 1.06 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.036, Rules used = {2704, 27, 27, 7292, 7237}
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 {\left (\left (4 x^2+\left (2 x^2+8\right ) \log ^2\left (x^2+4\right )+16\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )+8 x^2 \log \left (x^2+4\right )\right ) \exp \left (\frac {1}{2} \left (\log \left (15-12 x \log \left (\log ^2\left (x^2+4\right )+2\right )\right )-10\right )\right )}{-10 x^2+\left (-5 x^2-20\right ) \log ^2\left (x^2+4\right )+\left (8 x^3+\left (4 x^3+16 x\right ) \log ^2\left (x^2+4\right )+32 x\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )-40} \, dx\) |
\(\Big \downarrow \) 2704 |
\(\displaystyle \int \frac {\sqrt {15-12 x \log \left (\log ^2\left (x^2+4\right )+2\right )} \left (\left (4 x^2+\left (2 x^2+8\right ) \log ^2\left (x^2+4\right )+16\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )+8 x^2 \log \left (x^2+4\right )\right )}{e^5 \left (-10 x^2+\left (-5 x^2-20\right ) \log ^2\left (x^2+4\right )+\left (8 x^3+\left (4 x^3+16 x\right ) \log ^2\left (x^2+4\right )+32 x\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )-40\right )}dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {\int -\frac {2 \sqrt {3} \sqrt {5-4 x \log \left (\log ^2\left (x^2+4\right )+2\right )} \left (4 \log \left (x^2+4\right ) x^2+\left (2 x^2+\left (x^2+4\right ) \log ^2\left (x^2+4\right )+8\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )\right )}{10 x^2+5 \left (x^2+4\right ) \log ^2\left (x^2+4\right )-4 \left (2 x^3+8 x+\left (x^3+4 x\right ) \log ^2\left (x^2+4\right )\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )+40}dx}{e^5}\) |
\(\Big \downarrow \) 27 |
\(\displaystyle -\frac {2 \sqrt {3} \int \frac {\sqrt {5-4 x \log \left (\log ^2\left (x^2+4\right )+2\right )} \left (4 \log \left (x^2+4\right ) x^2+\left (2 x^2+\left (x^2+4\right ) \log ^2\left (x^2+4\right )+8\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )\right )}{10 x^2+5 \left (x^2+4\right ) \log ^2\left (x^2+4\right )-4 \left (2 x^3+8 x+\left (x^3+4 x\right ) \log ^2\left (x^2+4\right )\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )+40}dx}{e^5}\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle -\frac {2 \sqrt {3} \int \frac {4 \log \left (x^2+4\right ) x^2+\left (2 x^2+\left (x^2+4\right ) \log ^2\left (x^2+4\right )+8\right ) \log \left (\log ^2\left (x^2+4\right )+2\right )}{\left (x^2+4\right ) \left (\log ^2\left (x^2+4\right )+2\right ) \sqrt {5-4 x \log \left (\log ^2\left (x^2+4\right )+2\right )}}dx}{e^5}\) |
\(\Big \downarrow \) 7237 |
\(\displaystyle \frac {\sqrt {3} \sqrt {5-4 x \log \left (\log ^2\left (x^2+4\right )+2\right )}}{e^5}\) |
Int[(E^((-10 + Log[15 - 12*x*Log[2 + Log[4 + x^2]^2]])/2)*(8*x^2*Log[4 + x ^2] + (16 + 4*x^2 + (8 + 2*x^2)*Log[4 + x^2]^2)*Log[2 + Log[4 + x^2]^2]))/ (-40 - 10*x^2 + (-20 - 5*x^2)*Log[4 + x^2]^2 + (32*x + 8*x^3 + (16*x + 4*x ^3)*Log[4 + x^2]^2)*Log[2 + Log[4 + x^2]^2]),x]
3.9.78.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_.)*(F_)^((a_.)*(Log[z_]*(b_.) + (v_.))), x_Symbol] :> Int[u*F^(a*v)* z^(a*b*Log[F]), x] /; FreeQ[{F, a, b}, x]
Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Si mp[q*(y^(m + 1)/(m + 1)), x] /; !FalseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]
\[\int \frac {\left (\left (\left (2 x^{2}+8\right ) \ln \left (x^{2}+4\right )^{2}+4 x^{2}+16\right ) \ln \left (\ln \left (x^{2}+4\right )^{2}+2\right )+8 x^{2} \ln \left (x^{2}+4\right )\right ) {\mathrm e}^{\frac {\ln \left (-12 x \ln \left (\ln \left (x^{2}+4\right )^{2}+2\right )+15\right )}{2}-5}}{\left (\left (4 x^{3}+16 x \right ) \ln \left (x^{2}+4\right )^{2}+8 x^{3}+32 x \right ) \ln \left (\ln \left (x^{2}+4\right )^{2}+2\right )+\left (-5 x^{2}-20\right ) \ln \left (x^{2}+4\right )^{2}-10 x^{2}-40}d x\]
int((((2*x^2+8)*ln(x^2+4)^2+4*x^2+16)*ln(ln(x^2+4)^2+2)+8*x^2*ln(x^2+4))*e xp(1/2*ln(-12*x*ln(ln(x^2+4)^2+2)+15)-5)/(((4*x^3+16*x)*ln(x^2+4)^2+8*x^3+ 32*x)*ln(ln(x^2+4)^2+2)+(-5*x^2-20)*ln(x^2+4)^2-10*x^2-40),x)
int((((2*x^2+8)*ln(x^2+4)^2+4*x^2+16)*ln(ln(x^2+4)^2+2)+8*x^2*ln(x^2+4))*e xp(1/2*ln(-12*x*ln(ln(x^2+4)^2+2)+15)-5)/(((4*x^3+16*x)*ln(x^2+4)^2+8*x^3+ 32*x)*ln(ln(x^2+4)^2+2)+(-5*x^2-20)*ln(x^2+4)^2-10*x^2-40),x)
Exception generated. \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=\text {Exception raised: TypeError} \]
integrate((((2*x^2+8)*log(x^2+4)^2+4*x^2+16)*log(log(x^2+4)^2+2)+8*x^2*log (x^2+4))*exp(1/2*log(-12*x*log(log(x^2+4)^2+2)+15)-5)/(((4*x^3+16*x)*log(x ^2+4)^2+8*x^3+32*x)*log(log(x^2+4)^2+2)+(-5*x^2-20)*log(x^2+4)^2-10*x^2-40 ),x, algorithm=\
Exception raised: TypeError >> Error detected within library code: inte grate: implementation incomplete (constant residues)
Timed out. \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=\text {Timed out} \]
integrate((((2*x**2+8)*ln(x**2+4)**2+4*x**2+16)*ln(ln(x**2+4)**2+2)+8*x**2 *ln(x**2+4))*exp(1/2*ln(-12*x*ln(ln(x**2+4)**2+2)+15)-5)/(((4*x**3+16*x)*l n(x**2+4)**2+8*x**3+32*x)*ln(ln(x**2+4)**2+2)+(-5*x**2-20)*ln(x**2+4)**2-1 0*x**2-40),x)
Result contains complex when optimal does not.
Time = 0.47 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.86 \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=i \, \sqrt {3} \sqrt {4 \, x \log \left (\log \left (x^{2} + 4\right )^{2} + 2\right ) - 5} e^{\left (-5\right )} \]
integrate((((2*x^2+8)*log(x^2+4)^2+4*x^2+16)*log(log(x^2+4)^2+2)+8*x^2*log (x^2+4))*exp(1/2*log(-12*x*log(log(x^2+4)^2+2)+15)-5)/(((4*x^3+16*x)*log(x ^2+4)^2+8*x^3+32*x)*log(log(x^2+4)^2+2)+(-5*x^2-20)*log(x^2+4)^2-10*x^2-40 ),x, algorithm=\
Time = 0.52 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.76 \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=e^{\left (\frac {1}{2} \, \log \left (-12 \, x \log \left (\log \left (x^{2} + 4\right )^{2} + 2\right ) + 15\right ) - 5\right )} \]
integrate((((2*x^2+8)*log(x^2+4)^2+4*x^2+16)*log(log(x^2+4)^2+2)+8*x^2*log (x^2+4))*exp(1/2*log(-12*x*log(log(x^2+4)^2+2)+15)-5)/(((4*x^3+16*x)*log(x ^2+4)^2+8*x^3+32*x)*log(log(x^2+4)^2+2)+(-5*x^2-20)*log(x^2+4)^2-10*x^2-40 ),x, algorithm=\
Timed out. \[ \int \frac {e^{\frac {1}{2} \left (-10+\log \left (15-12 x \log \left (2+\log ^2\left (4+x^2\right )\right )\right )\right )} \left (8 x^2 \log \left (4+x^2\right )+\left (16+4 x^2+\left (8+2 x^2\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )\right )}{-40-10 x^2+\left (-20-5 x^2\right ) \log ^2\left (4+x^2\right )+\left (32 x+8 x^3+\left (16 x+4 x^3\right ) \log ^2\left (4+x^2\right )\right ) \log \left (2+\log ^2\left (4+x^2\right )\right )} \, dx=\int -\frac {{\mathrm {e}}^{\frac {\ln \left (15-12\,x\,\ln \left ({\ln \left (x^2+4\right )}^2+2\right )\right )}{2}-5}\,\left (\ln \left ({\ln \left (x^2+4\right )}^2+2\right )\,\left (4\,x^2+{\ln \left (x^2+4\right )}^2\,\left (2\,x^2+8\right )+16\right )+8\,x^2\,\ln \left (x^2+4\right )\right )}{10\,x^2-\ln \left ({\ln \left (x^2+4\right )}^2+2\right )\,\left (32\,x+{\ln \left (x^2+4\right )}^2\,\left (4\,x^3+16\,x\right )+8\,x^3\right )+{\ln \left (x^2+4\right )}^2\,\left (5\,x^2+20\right )+40} \,d x \]
int(-(exp(log(15 - 12*x*log(log(x^2 + 4)^2 + 2))/2 - 5)*(log(log(x^2 + 4)^ 2 + 2)*(4*x^2 + log(x^2 + 4)^2*(2*x^2 + 8) + 16) + 8*x^2*log(x^2 + 4)))/(1 0*x^2 - log(log(x^2 + 4)^2 + 2)*(32*x + log(x^2 + 4)^2*(16*x + 4*x^3) + 8* x^3) + log(x^2 + 4)^2*(5*x^2 + 20) + 40),x)