3.15.12 \(\int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+(-45-51 x-21 x^2-3 x^3) \log (5+4 x+x^2)+(-15 x^2-12 x^3-3 x^4+(-15 x-12 x^2-3 x^3) \log (5+4 x+x^2)+(5 x^3+4 x^4+x^5+(5 x^2+4 x^3+x^4) \log (5+4 x+x^2)) \log (x+\log (5+4 x+x^2))) \log (\frac {-3+x \log (x+\log (5+4 x+x^2))}{x}) \log (\log (\frac {-3+x \log (x+\log (5+4 x+x^2))}{x}))}{(-15 x^2-12 x^3-3 x^4+(-15 x-12 x^2-3 x^3) \log (5+4 x+x^2)+(5 x^3+4 x^4+x^5+(5 x^2+4 x^3+x^4) \log (5+4 x+x^2)) \log (x+\log (5+4 x+x^2))) \log (\frac {-3+x \log (x+\log (5+4 x+x^2))}{x}) \log ^2(\log (\frac {-3+x \log (x+\log (5+4 x+x^2))}{x}))} \, dx\) [1412]

3.15.12.1 Optimal result
3.15.12.2 Mathematica [A] (verified)
3.15.12.3 Rubi [F]
3.15.12.4 Maple [C] (warning: unable to verify)
3.15.12.5 Fricas [A] (verification not implemented)
3.15.12.6 Sympy [F(-1)]
3.15.12.7 Maxima [A] (verification not implemented)
3.15.12.8 Giac [A] (verification not implemented)
3.15.12.9 Mupad [B] (verification not implemented)

3.15.12.1 Optimal result

Integrand size = 325, antiderivative size = 25 \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=\frac {3+x}{\log \left (\log \left (-\frac {3}{x}+\log (x+\log (5+x (4+x)))\right )\right )} \]

output
(3+x)/ln(ln(ln(x+ln((4+x)*x+5))-3/x))
 
3.15.12.2 Mathematica [A] (verified)

Time = 0.27 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.16 \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=-\frac {-3-x}{\log \left (\log \left (-\frac {3}{x}+\log \left (x+\log \left (5+4 x+x^2\right )\right )\right )\right )} \]

input
Integrate[(-45*x - 78*x^2 - 48*x^3 - 12*x^4 - x^5 + (-45 - 51*x - 21*x^2 - 
 3*x^3)*Log[5 + 4*x + x^2] + (-15*x^2 - 12*x^3 - 3*x^4 + (-15*x - 12*x^2 - 
 3*x^3)*Log[5 + 4*x + x^2] + (5*x^3 + 4*x^4 + x^5 + (5*x^2 + 4*x^3 + x^4)* 
Log[5 + 4*x + x^2])*Log[x + Log[5 + 4*x + x^2]])*Log[(-3 + x*Log[x + Log[5 
 + 4*x + x^2]])/x]*Log[Log[(-3 + x*Log[x + Log[5 + 4*x + x^2]])/x]])/((-15 
*x^2 - 12*x^3 - 3*x^4 + (-15*x - 12*x^2 - 3*x^3)*Log[5 + 4*x + x^2] + (5*x 
^3 + 4*x^4 + x^5 + (5*x^2 + 4*x^3 + x^4)*Log[5 + 4*x + x^2])*Log[x + Log[5 
 + 4*x + x^2]])*Log[(-3 + x*Log[x + Log[5 + 4*x + x^2]])/x]*Log[Log[(-3 + 
x*Log[x + Log[5 + 4*x + x^2]])/x]]^2),x]
 
output
-((-3 - x)/Log[Log[-3/x + Log[x + Log[5 + 4*x + x^2]]]])
 
3.15.12.3 Rubi [F]

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 {-x^5-12 x^4-48 x^3-78 x^2+\left (-3 x^3-21 x^2-51 x-45\right ) \log \left (x^2+4 x+5\right )+\left (-3 x^4-12 x^3-15 x^2+\left (-3 x^3-12 x^2-15 x\right ) \log \left (x^2+4 x+5\right )+\left (x^5+4 x^4+5 x^3+\left (x^4+4 x^3+5 x^2\right ) \log \left (x^2+4 x+5\right )\right ) \log \left (\log \left (x^2+4 x+5\right )+x\right )\right ) \log \left (\frac {x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3}{x}\right ) \log \left (\log \left (\frac {x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3}{x}\right )\right )-45 x}{\left (-3 x^4-12 x^3-15 x^2+\left (-3 x^3-12 x^2-15 x\right ) \log \left (x^2+4 x+5\right )+\left (x^5+4 x^4+5 x^3+\left (x^4+4 x^3+5 x^2\right ) \log \left (x^2+4 x+5\right )\right ) \log \left (\log \left (x^2+4 x+5\right )+x\right )\right ) \log \left (\frac {x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3}{x}\right ) \log ^2\left (\log \left (\frac {x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3}{x}\right )\right )} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {x^5+12 x^4+48 x^3+78 x^2-\left (-3 x^3-21 x^2-51 x-45\right ) \log \left (x^2+4 x+5\right )-\left (-3 x^4-12 x^3-15 x^2+\left (-3 x^3-12 x^2-15 x\right ) \log \left (x^2+4 x+5\right )+\left (x^5+4 x^4+5 x^3+\left (x^4+4 x^3+5 x^2\right ) \log \left (x^2+4 x+5\right )\right ) \log \left (\log \left (x^2+4 x+5\right )+x\right )\right ) \log \left (\frac {x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3}{x}\right ) \log \left (\log \left (\frac {x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3}{x}\right )\right )+45 x}{x \left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (3-x \log \left (\log \left (x^2+4 x+5\right )+x\right )\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}dx\)

\(\Big \downarrow \) 7279

\(\displaystyle \int \left (-\frac {48 x^2}{\left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {78 x}{\left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {45}{\left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {3 (x+3) \log \left (x^2+4 x+5\right )}{x \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}+\frac {1}{\log \left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {x^4}{\left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {12 x^3}{\left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-\left (\left (x^2+4 x+5\right ) \log \left (x^2+4 x+5\right ) \left (x \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log \left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )-3 (x+3)\right )\right )-x \left (-x^4-12 x^3-48 x^2+\left (x^2+4 x+5\right ) x \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log \left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )-78 x-45\right )}{x \left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (3-x \log \left (\log \left (x^2+4 x+5\right )+x\right )\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}dx\)

\(\Big \downarrow \) 7279

\(\displaystyle \int \left (\frac {1}{\log \left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {(x+3) \left (x^4+9 x^3+21 x^2+3 x^2 \log \left (x^2+4 x+5\right )+12 x \log \left (x^2+4 x+5\right )+15 \log \left (x^2+4 x+5\right )+15 x\right )}{x \left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}\right )dx\)

\(\Big \downarrow \) 7299

\(\displaystyle \int \left (\frac {1}{\log \left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}-\frac {(x+3) \left (x^4+9 x^3+21 x^2+3 x^2 \log \left (x^2+4 x+5\right )+12 x \log \left (x^2+4 x+5\right )+15 \log \left (x^2+4 x+5\right )+15 x\right )}{x \left (x^2+4 x+5\right ) \left (\log \left (x^2+4 x+5\right )+x\right ) \left (x \log \left (\log \left (x^2+4 x+5\right )+x\right )-3\right ) \log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right ) \log ^2\left (\log \left (\log \left (\log \left (x^2+4 x+5\right )+x\right )-\frac {3}{x}\right )\right )}\right )dx\)

input
Int[(-45*x - 78*x^2 - 48*x^3 - 12*x^4 - x^5 + (-45 - 51*x - 21*x^2 - 3*x^3 
)*Log[5 + 4*x + x^2] + (-15*x^2 - 12*x^3 - 3*x^4 + (-15*x - 12*x^2 - 3*x^3 
)*Log[5 + 4*x + x^2] + (5*x^3 + 4*x^4 + x^5 + (5*x^2 + 4*x^3 + x^4)*Log[5 
+ 4*x + x^2])*Log[x + Log[5 + 4*x + x^2]])*Log[(-3 + x*Log[x + Log[5 + 4*x 
 + x^2]])/x]*Log[Log[(-3 + x*Log[x + Log[5 + 4*x + x^2]])/x]])/((-15*x^2 - 
 12*x^3 - 3*x^4 + (-15*x - 12*x^2 - 3*x^3)*Log[5 + 4*x + x^2] + (5*x^3 + 4 
*x^4 + x^5 + (5*x^2 + 4*x^3 + x^4)*Log[5 + 4*x + x^2])*Log[x + Log[5 + 4*x 
 + x^2]])*Log[(-3 + x*Log[x + Log[5 + 4*x + x^2]])/x]*Log[Log[(-3 + x*Log[ 
x + Log[5 + 4*x + x^2]])/x]]^2),x]
 
output
$Aborted
 

3.15.12.3.1 Defintions of rubi rules used

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7279
Int[(u_)/((a_.) + (b_.)*(x_)^(n_.) + (c_.)*(x_)^(n2_.)), x_Symbol] :> With[ 
{v = RationalFunctionExpand[u/(a + b*x^n + c*x^(2*n)), x]}, Int[v, x] /; Su 
mQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]
 

rule 7292
Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =! 
= u]
 

rule 7299
Int[u_, x_] :> CannotIntegrate[u, x]
 
3.15.12.4 Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 0.15 (sec) , antiderivative size = 136, normalized size of antiderivative = 5.44

\[\frac {3+x}{\ln \left (-\ln \left (x \right )+\ln \left (x \ln \left (\ln \left (x^{2}+4 x +5\right )+x \right )-3\right )-\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x^{2}+4 x +5\right )+x \right )-3\right )}{x}\right ) \left (-\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x^{2}+4 x +5\right )+x \right )-3\right )}{x}\right )+\operatorname {csgn}\left (\frac {i}{x}\right )\right ) \left (-\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x^{2}+4 x +5\right )+x \right )-3\right )}{x}\right )+\operatorname {csgn}\left (i \left (x \ln \left (\ln \left (x^{2}+4 x +5\right )+x \right )-3\right )\right )\right )}{2}\right )}\]

input
int(((((x^4+4*x^3+5*x^2)*ln(x^2+4*x+5)+x^5+4*x^4+5*x^3)*ln(ln(x^2+4*x+5)+x 
)+(-3*x^3-12*x^2-15*x)*ln(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)*ln((x*ln(ln(x^2+ 
4*x+5)+x)-3)/x)*ln(ln((x*ln(ln(x^2+4*x+5)+x)-3)/x))+(-3*x^3-21*x^2-51*x-45 
)*ln(x^2+4*x+5)-x^5-12*x^4-48*x^3-78*x^2-45*x)/(((x^4+4*x^3+5*x^2)*ln(x^2+ 
4*x+5)+x^5+4*x^4+5*x^3)*ln(ln(x^2+4*x+5)+x)+(-3*x^3-12*x^2-15*x)*ln(x^2+4* 
x+5)-3*x^4-12*x^3-15*x^2)/ln((x*ln(ln(x^2+4*x+5)+x)-3)/x)/ln(ln((x*ln(ln(x 
^2+4*x+5)+x)-3)/x))^2,x)
 
output
(3+x)/ln(-ln(x)+ln(x*ln(ln(x^2+4*x+5)+x)-3)-1/2*I*Pi*csgn(I/x*(x*ln(ln(x^2 
+4*x+5)+x)-3))*(-csgn(I/x*(x*ln(ln(x^2+4*x+5)+x)-3))+csgn(I/x))*(-csgn(I/x 
*(x*ln(ln(x^2+4*x+5)+x)-3))+csgn(I*(x*ln(ln(x^2+4*x+5)+x)-3))))
 
3.15.12.5 Fricas [A] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.12 \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=\frac {x + 3}{\log \left (\log \left (\frac {x \log \left (x + \log \left (x^{2} + 4 \, x + 5\right )\right ) - 3}{x}\right )\right )} \]

input
integrate(((((x^4+4*x^3+5*x^2)*log(x^2+4*x+5)+x^5+4*x^4+5*x^3)*log(log(x^2 
+4*x+5)+x)+(-3*x^3-12*x^2-15*x)*log(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)*log((x 
*log(log(x^2+4*x+5)+x)-3)/x)*log(log((x*log(log(x^2+4*x+5)+x)-3)/x))+(-3*x 
^3-21*x^2-51*x-45)*log(x^2+4*x+5)-x^5-12*x^4-48*x^3-78*x^2-45*x)/(((x^4+4* 
x^3+5*x^2)*log(x^2+4*x+5)+x^5+4*x^4+5*x^3)*log(log(x^2+4*x+5)+x)+(-3*x^3-1 
2*x^2-15*x)*log(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)/log((x*log(log(x^2+4*x+5)+ 
x)-3)/x)/log(log((x*log(log(x^2+4*x+5)+x)-3)/x))^2,x, algorithm=\
 
output
(x + 3)/log(log((x*log(x + log(x^2 + 4*x + 5)) - 3)/x))
 
3.15.12.6 Sympy [F(-1)]

Timed out. \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=\text {Timed out} \]

input
integrate(((((x**4+4*x**3+5*x**2)*ln(x**2+4*x+5)+x**5+4*x**4+5*x**3)*ln(ln 
(x**2+4*x+5)+x)+(-3*x**3-12*x**2-15*x)*ln(x**2+4*x+5)-3*x**4-12*x**3-15*x* 
*2)*ln((x*ln(ln(x**2+4*x+5)+x)-3)/x)*ln(ln((x*ln(ln(x**2+4*x+5)+x)-3)/x))+ 
(-3*x**3-21*x**2-51*x-45)*ln(x**2+4*x+5)-x**5-12*x**4-48*x**3-78*x**2-45*x 
)/(((x**4+4*x**3+5*x**2)*ln(x**2+4*x+5)+x**5+4*x**4+5*x**3)*ln(ln(x**2+4*x 
+5)+x)+(-3*x**3-12*x**2-15*x)*ln(x**2+4*x+5)-3*x**4-12*x**3-15*x**2)/ln((x 
*ln(ln(x**2+4*x+5)+x)-3)/x)/ln(ln((x*ln(ln(x**2+4*x+5)+x)-3)/x))**2,x)
 
output
Timed out
 
3.15.12.7 Maxima [A] (verification not implemented)

Time = 0.44 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.16 \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=\frac {x + 3}{\log \left (\log \left (x \log \left (x + \log \left (x^{2} + 4 \, x + 5\right )\right ) - 3\right ) - \log \left (x\right )\right )} \]

input
integrate(((((x^4+4*x^3+5*x^2)*log(x^2+4*x+5)+x^5+4*x^4+5*x^3)*log(log(x^2 
+4*x+5)+x)+(-3*x^3-12*x^2-15*x)*log(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)*log((x 
*log(log(x^2+4*x+5)+x)-3)/x)*log(log((x*log(log(x^2+4*x+5)+x)-3)/x))+(-3*x 
^3-21*x^2-51*x-45)*log(x^2+4*x+5)-x^5-12*x^4-48*x^3-78*x^2-45*x)/(((x^4+4* 
x^3+5*x^2)*log(x^2+4*x+5)+x^5+4*x^4+5*x^3)*log(log(x^2+4*x+5)+x)+(-3*x^3-1 
2*x^2-15*x)*log(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)/log((x*log(log(x^2+4*x+5)+ 
x)-3)/x)/log(log((x*log(log(x^2+4*x+5)+x)-3)/x))^2,x, algorithm=\
 
output
(x + 3)/log(log(x*log(x + log(x^2 + 4*x + 5)) - 3) - log(x))
 
3.15.12.8 Giac [A] (verification not implemented)

Time = 5.25 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.16 \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=\frac {x + 3}{\log \left (\log \left (x \log \left (x + \log \left (x^{2} + 4 \, x + 5\right )\right ) - 3\right ) - \log \left (x\right )\right )} \]

input
integrate(((((x^4+4*x^3+5*x^2)*log(x^2+4*x+5)+x^5+4*x^4+5*x^3)*log(log(x^2 
+4*x+5)+x)+(-3*x^3-12*x^2-15*x)*log(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)*log((x 
*log(log(x^2+4*x+5)+x)-3)/x)*log(log((x*log(log(x^2+4*x+5)+x)-3)/x))+(-3*x 
^3-21*x^2-51*x-45)*log(x^2+4*x+5)-x^5-12*x^4-48*x^3-78*x^2-45*x)/(((x^4+4* 
x^3+5*x^2)*log(x^2+4*x+5)+x^5+4*x^4+5*x^3)*log(log(x^2+4*x+5)+x)+(-3*x^3-1 
2*x^2-15*x)*log(x^2+4*x+5)-3*x^4-12*x^3-15*x^2)/log((x*log(log(x^2+4*x+5)+ 
x)-3)/x)/log(log((x*log(log(x^2+4*x+5)+x)-3)/x))^2,x, algorithm=\
 
output
(x + 3)/log(log(x*log(x + log(x^2 + 4*x + 5)) - 3) - log(x))
 
3.15.12.9 Mupad [B] (verification not implemented)

Time = 18.14 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.12 \[ \int \frac {-45 x-78 x^2-48 x^3-12 x^4-x^5+\left (-45-51 x-21 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log \left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )}{\left (-15 x^2-12 x^3-3 x^4+\left (-15 x-12 x^2-3 x^3\right ) \log \left (5+4 x+x^2\right )+\left (5 x^3+4 x^4+x^5+\left (5 x^2+4 x^3+x^4\right ) \log \left (5+4 x+x^2\right )\right ) \log \left (x+\log \left (5+4 x+x^2\right )\right )\right ) \log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right ) \log ^2\left (\log \left (\frac {-3+x \log \left (x+\log \left (5+4 x+x^2\right )\right )}{x}\right )\right )} \, dx=\frac {x+3}{\ln \left (\ln \left (\frac {x\,\ln \left (x+\ln \left (x^2+4\,x+5\right )\right )-3}{x}\right )\right )} \]

input
int((45*x + log(4*x + x^2 + 5)*(51*x + 21*x^2 + 3*x^3 + 45) + 78*x^2 + 48* 
x^3 + 12*x^4 + x^5 + log(log((x*log(x + log(4*x + x^2 + 5)) - 3)/x))*log(( 
x*log(x + log(4*x + x^2 + 5)) - 3)/x)*(log(4*x + x^2 + 5)*(15*x + 12*x^2 + 
 3*x^3) - log(x + log(4*x + x^2 + 5))*(log(4*x + x^2 + 5)*(5*x^2 + 4*x^3 + 
 x^4) + 5*x^3 + 4*x^4 + x^5) + 15*x^2 + 12*x^3 + 3*x^4))/(log(log((x*log(x 
 + log(4*x + x^2 + 5)) - 3)/x))^2*log((x*log(x + log(4*x + x^2 + 5)) - 3)/ 
x)*(log(4*x + x^2 + 5)*(15*x + 12*x^2 + 3*x^3) - log(x + log(4*x + x^2 + 5 
))*(log(4*x + x^2 + 5)*(5*x^2 + 4*x^3 + x^4) + 5*x^3 + 4*x^4 + x^5) + 15*x 
^2 + 12*x^3 + 3*x^4)),x)
 
output
(x + 3)/log(log((x*log(x + log(4*x + x^2 + 5)) - 3)/x))