3.32.88 \(\int \frac {(-18 x+2 x^3) \log (5)+(-18-6 x+(-6 x^2-2 x^3) \log (5)) \log (\frac {3+x^2 \log (5)}{\log (5)})+(54-18 x+(18 x^2-6 x^3) \log (5)) \log (\frac {3+x^2 \log (5)}{\log (5)}) \log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2})+(9-3 x+(3 x^2-x^3) \log (5)) \log (\frac {3+x^2 \log (5)}{\log (5)}) \log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2}) \log (\log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2}))}{(-81+81 x-27 x^2+3 x^3+(-27 x^2+27 x^3-9 x^4+x^5) \log (5)) \log (\frac {3+x^2 \log (5)}{\log (5)}) \log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2})+(-54+36 x-6 x^2+(-18 x^2+12 x^3-2 x^4) \log (5)) \log (\frac {3+x^2 \log (5)}{\log (5)}) \log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2}) \log (\log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2}))+(-9+3 x+(-3 x^2+x^3) \log (5)) \log (\frac {3+x^2 \log (5)}{\log (5)}) \log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2}) \log ^2(\log (\frac {\log (\frac {3+x^2 \log (5)}{\log (5)})}{9-6 x+x^2}))} \, dx\)

Optimal. Leaf size=30 \[ \frac {3+x}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )} \]

________________________________________________________________________________________

Rubi [F]  time = 37.51, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {\left (-18 x+2 x^3\right ) \log (5)+\left (-18-6 x+\left (-6 x^2-2 x^3\right ) \log (5)\right ) \log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )+\left (54-18 x+\left (18 x^2-6 x^3\right ) \log (5)\right ) \log \left (\frac {3+x^2 \log (5)}{\log (5)}\right ) \log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right )+\left (9-3 x+\left (3 x^2-x^3\right ) \log (5)\right ) \log \left (\frac {3+x^2 \log (5)}{\log (5)}\right ) \log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right ) \log \left (\log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right )\right )}{\left (-81+81 x-27 x^2+3 x^3+\left (-27 x^2+27 x^3-9 x^4+x^5\right ) \log (5)\right ) \log \left (\frac {3+x^2 \log (5)}{\log (5)}\right ) \log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right )+\left (-54+36 x-6 x^2+\left (-18 x^2+12 x^3-2 x^4\right ) \log (5)\right ) \log \left (\frac {3+x^2 \log (5)}{\log (5)}\right ) \log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right ) \log \left (\log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right )\right )+\left (-9+3 x+\left (-3 x^2+x^3\right ) \log (5)\right ) \log \left (\frac {3+x^2 \log (5)}{\log (5)}\right ) \log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right ) \log ^2\left (\log \left (\frac {\log \left (\frac {3+x^2 \log (5)}{\log (5)}\right )}{9-6 x+x^2}\right )\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((-18*x + 2*x^3)*Log[5] + (-18 - 6*x + (-6*x^2 - 2*x^3)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]] + (54 - 18*x
+ (18*x^2 - 6*x^3)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)] + (9
- 3*x + (3*x^2 - x^3)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]*
Log[Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]])/((-81 + 81*x - 27*x^2 + 3*x^3 + (-27*x^2 + 27*x^3 - 9*
x^4 + x^5)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)] + (-54 + 36*
x - 6*x^2 + (-18*x^2 + 12*x^3 - 2*x^4)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(
9 - 6*x + x^2)]*Log[Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]] + (-9 + 3*x + (-3*x^2 + x^3)*Log[5])*Lo
g[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]*Log[Log[Log[(3 + x^2*Log[5])/Log[
5]]/(9 - 6*x + x^2)]]^2),x]

[Out]

(-3*Defer[Int][(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^(-2), x])/(1 + Log[125]) - (9*Log[5]*Defer[
Int][(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^(-2), x])/(1 + Log[125]) + (9*Defer[Int][1/((-3 + x)*
(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) - (9*(1 - 3*Log[5])*Defer[Int][1/((
-3 + x)*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) - (27*Log[5]*Defer[Int][1/(
(-3 + x)*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) - Defer[Int][x/(-3 + x - L
og[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2, x]/(1 + Log[125]) - (3*Log[5]*Defer[Int][x/(-3 + x - Log[Log[Log[x
^2 + 3/Log[5]]/(-3 + x)^2]])^2, x])/(1 + Log[125]) + (9*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Lo
g[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(2*(1 + Log[125])) - (3*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*(-3
+ x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(2*Log[5]*(1 + Log[125])) + (3*(1 - 3*Log[5])*Defer[In
t][1/((-x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(2*Log[5]*(1 + Log[1
25])) + (((9*I)/2)*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2
), x])/(Sqrt[Log[125]]*(1 + Log[125])) - (((9*I)/2)*(1 - 3*Log[5])*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*(-3 +
x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) - (((27*I)/2)*Log[5]*De
fer[Int][1/((-x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]
]*(1 + Log[125])) - (9*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]]
)^2), x])/(2*(1 + Log[125])) + (3*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(
-3 + x)^2]])^2), x])/(2*Log[5]*(1 + Log[125])) - (3*(1 - 3*Log[5])*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*(-3 +
x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(2*Log[5]*(1 + Log[125])) + (((9*I)/2)*Defer[Int][1/((x
+ I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])
) - (((9*I)/2)*(1 - 3*Log[5])*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 +
x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) - (((27*I)/2)*Log[5]*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*(-3
+ x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) + 2*Defer[Int][1/(Log
[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x] - (4*Defer[Int][1/
(Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]
) - (12*Log[5]*Defer[Int][1/(Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x
)^2]])^2), x])/(1 + Log[125]) - (12*Defer[Int][1/((-3 + x)*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[L
og[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) - (36*Log[5]*Defer[Int][1/((-3 + x)*Log[Log[x^2 +
3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) - ((3*I)*Defe
r[Int][1/((-x + I*Sqrt[3/Log[5]])*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-
3 + x)^2]])^2), x])/Sqrt[Log[125]] + ((3*I)*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*Log[Log[x^2 + 3/Log[5]]/(-3
+ x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) + ((9*I)*L
og[5]*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/
Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) - ((3*I)*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*Lo
g[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/Sqrt[Log[125]] +
((3*I)*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3
/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) + ((9*I)*Log[5]*Defer[Int][1/((x + I*Sqrt[3/Log
[5]])*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Lo
g[125]]*(1 + Log[125])) + (3*Log[25]*Defer[Int][1/(Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3
+ x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) + (Log[25]*Defer[Int][1/(Log[x^2 + 3/L
og[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(Log[5]
*(1 + Log[125])) - (18*Log[5]*Defer[Int][1/((-3 + x)*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(
-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) + (9*Log[25]*Defer[Int][1/((-3 + x)*
Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2)
, x])/(1 + Log[125]) - (9*Log[5]*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log
[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125]) - (3*Log[25]*Defer
[Int][1/((-x + I*Sqrt[3/Log[5]])*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log
[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(2*Log[5]*(1 + Log[125])) - ((9*I)*Log[5]*Defer[Int][1/((-x + I*Sqrt[3/
Log[5]])*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x
)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) - (((3*I)/2)*Log[25]*Defer[Int][1/((-x + I*Sqrt[3/Log[5]])*Log[
x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x]
)/(Log[5]*Sqrt[Log[125]]*(1 + Log[125])) + (9*Log[5]*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*Log[x^2 + 3/Log[5]]*
Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(1 + Log[125])
+ (3*Log[25]*Defer[Int][1/((x + I*Sqrt[3/Log[5]])*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3
+ x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]])^2), x])/(2*Log[5]*(1 + Log[125])) - ((9*I)*Log[5]*Defer[Int][
1/((x + I*Sqrt[3/Log[5]])*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 +
3/Log[5]]/(-3 + x)^2]])^2), x])/(Sqrt[Log[125]]*(1 + Log[125])) - (((3*I)/2)*Log[25]*Defer[Int][1/((x + I*Sqrt
[3/Log[5]])*Log[x^2 + 3/Log[5]]*Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3
+ x)^2]])^2), x])/(Log[5]*Sqrt[Log[125]]*(1 + Log[125])) + Defer[Int][(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-
3 + x)^2]])^(-1), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {18 x \log (5)-x^3 \log (25)+\left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \left (2 (3+x)+(-3+x) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (6+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )\right )}{(3-x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx\\ &=\int \left (\frac {1}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )}+\frac {18 x \log (5)-x^3 \log (25)+18 \log \left (x^2+\frac {3}{\log (5)}\right )+6 x \log \left (x^2+\frac {3}{\log (5)}\right )+6 x^2 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )+2 x^3 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )-27 \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+3 x^2 (1-3 \log (5)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+x^4 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )}{(3-x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2}\right ) \, dx\\ &=\int \frac {1}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )} \, dx+\int \frac {18 x \log (5)-x^3 \log (25)+18 \log \left (x^2+\frac {3}{\log (5)}\right )+6 x \log \left (x^2+\frac {3}{\log (5)}\right )+6 x^2 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )+2 x^3 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )-27 \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+3 x^2 (1-3 \log (5)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+x^4 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )}{(3-x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx\\ &=\int \frac {1}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )} \, dx+\int \frac {18 x \log (5)-x^3 \log (25)+(3+x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \left (2+(-3+x) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )}{(3-x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx\\ &=\int \frac {1}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )} \, dx+\int \left (\frac {18 x \log (5)-x^3 \log (25)+18 \log \left (x^2+\frac {3}{\log (5)}\right )+6 x \log \left (x^2+\frac {3}{\log (5)}\right )+6 x^2 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )+2 x^3 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )-27 \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+3 x^2 (1-3 \log (5)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+x^4 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )}{3 (3-x) (1+\log (125)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2}+\frac {(3+x) \log (5) \left (18 x \log (5)-x^3 \log (25)+18 \log \left (x^2+\frac {3}{\log (5)}\right )+6 x \log \left (x^2+\frac {3}{\log (5)}\right )+6 x^2 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )+2 x^3 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )-27 \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+3 x^2 (1-3 \log (5)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+x^4 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )}{3 \left (3+x^2 \log (5)\right ) (1+\log (125)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2}\right ) \, dx\\ &=\frac {\int \frac {18 x \log (5)-x^3 \log (25)+18 \log \left (x^2+\frac {3}{\log (5)}\right )+6 x \log \left (x^2+\frac {3}{\log (5)}\right )+6 x^2 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )+2 x^3 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )-27 \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+3 x^2 (1-3 \log (5)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+x^4 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )}{(3-x) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx}{3 (1+\log (125))}+\frac {\log (5) \int \frac {(3+x) \left (18 x \log (5)-x^3 \log (25)+18 \log \left (x^2+\frac {3}{\log (5)}\right )+6 x \log \left (x^2+\frac {3}{\log (5)}\right )+6 x^2 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )+2 x^3 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right )-27 \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+3 x^2 (1-3 \log (5)) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )+x^4 \log (5) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )}{\left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx}{3 (1+\log (125))}+\int \frac {1}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )} \, dx\\ &=\frac {\int \frac {18 x \log (5)-x^3 \log (25)+(3+x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \left (2+(-3+x) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )}{(3-x) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx}{3 (1+\log (125))}+\frac {\log (5) \int \frac {(3+x) \left (18 x \log (5)-x^3 \log (25)+(3+x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \left (2+(-3+x) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )}{\left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right ) \left (3-x+\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )^2} \, dx}{3 (1+\log (125))}+\int \frac {1}{-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )} \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [B]  time = 0.22, size = 142, normalized size = 4.73 \begin {gather*} \frac {18 x \log (5)-x^3 \log (25)+(3+x) \left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \left (2+(-3+x) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )}{\left (-2 (-3+x) x \log (5)+\left (3+x^2 \log (5)\right ) \log \left (x^2+\frac {3}{\log (5)}\right ) \left (2+(-3+x) \log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right ) \left (-3+x-\log \left (\log \left (\frac {\log \left (x^2+\frac {3}{\log (5)}\right )}{(-3+x)^2}\right )\right )\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((-18*x + 2*x^3)*Log[5] + (-18 - 6*x + (-6*x^2 - 2*x^3)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]] + (54 -
18*x + (18*x^2 - 6*x^3)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)
] + (9 - 3*x + (3*x^2 - x^3)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x +
x^2)]*Log[Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]])/((-81 + 81*x - 27*x^2 + 3*x^3 + (-27*x^2 + 27*x^
3 - 9*x^4 + x^5)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)] + (-54
+ 36*x - 6*x^2 + (-18*x^2 + 12*x^3 - 2*x^4)*Log[5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log
[5]]/(9 - 6*x + x^2)]*Log[Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]] + (-9 + 3*x + (-3*x^2 + x^3)*Log[
5])*Log[(3 + x^2*Log[5])/Log[5]]*Log[Log[(3 + x^2*Log[5])/Log[5]]/(9 - 6*x + x^2)]*Log[Log[Log[(3 + x^2*Log[5]
)/Log[5]]/(9 - 6*x + x^2)]]^2),x]

[Out]

(18*x*Log[5] - x^3*Log[25] + (3 + x)*(3 + x^2*Log[5])*Log[x^2 + 3/Log[5]]*(2 + (-3 + x)*Log[Log[x^2 + 3/Log[5]
]/(-3 + x)^2]))/((-2*(-3 + x)*x*Log[5] + (3 + x^2*Log[5])*Log[x^2 + 3/Log[5]]*(2 + (-3 + x)*Log[Log[x^2 + 3/Lo
g[5]]/(-3 + x)^2]))*(-3 + x - Log[Log[Log[x^2 + 3/Log[5]]/(-3 + x)^2]]))

________________________________________________________________________________________

fricas [A]  time = 0.85, size = 38, normalized size = 1.27 \begin {gather*} \frac {x + 3}{x - \log \left (\log \left (\frac {\log \left (\frac {x^{2} \log \relax (5) + 3}{\log \relax (5)}\right )}{x^{2} - 6 \, x + 9}\right )\right ) - 3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^3+3*x^2)*log(5)-3*x+9)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))*
log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))+((-6*x^3+18*x^2)*log(5)-18*x+54)*log((x^2*log(5)+3)/log(5))*l
og(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))+((-2*x^3-6*x^2)*log(5)-6*x-18)*log((x^2*log(5)+3)/log(5))+(2*x^3-18
*x)*log(5))/(((x^3-3*x^2)*log(5)+3*x-9)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))
*log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))^2+((-2*x^4+12*x^3-18*x^2)*log(5)-6*x^2+36*x-54)*log((x^2*log
(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))*log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))+((
x^5-9*x^4+27*x^3-27*x^2)*log(5)+3*x^3-27*x^2+81*x-81)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5)
)/(x^2-6*x+9))),x, algorithm="fricas")

[Out]

(x + 3)/(x - log(log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9))) - 3)

________________________________________________________________________________________

giac [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^3+3*x^2)*log(5)-3*x+9)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))*
log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))+((-6*x^3+18*x^2)*log(5)-18*x+54)*log((x^2*log(5)+3)/log(5))*l
og(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))+((-2*x^3-6*x^2)*log(5)-6*x-18)*log((x^2*log(5)+3)/log(5))+(2*x^3-18
*x)*log(5))/(((x^3-3*x^2)*log(5)+3*x-9)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))
*log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))^2+((-2*x^4+12*x^3-18*x^2)*log(5)-6*x^2+36*x-54)*log((x^2*log
(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))*log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))+((
x^5-9*x^4+27*x^3-27*x^2)*log(5)+3*x^3-27*x^2+81*x-81)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5)
)/(x^2-6*x+9))),x, algorithm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Error index.cc index_gcd Error: Bad Argument ValueEvaluation time: 6.11Error index.cc index_gcd Error: Bad
Argument Va

________________________________________________________________________________________

maple [C]  time = 0.26, size = 175, normalized size = 5.83

method	result	size
risch	\(\frac {3+x}{x -\ln \left (\ln \left (\ln \left (\frac {x^{2} \ln \relax (5)+3}{\ln \relax (5)}\right )\right )-2 \ln \left (x -3\right )+\frac {i \pi \,\mathrm {csgn}\left (i \left (x -3\right )^{2}\right ) \left (-\mathrm {csgn}\left (i \left (x -3\right )^{2}\right )+\mathrm {csgn}\left (i \left (x -3\right )\right )\right )^{2}}{2}-\frac {i \pi \,\mathrm {csgn}\left (\frac {i \ln \left (\frac {x^{2} \ln \relax (5)+3}{\ln \relax (5)}\right )}{\left (x -3\right )^{2}}\right ) \left (-\mathrm {csgn}\left (\frac {i \ln \left (\frac {x^{2} \ln \relax (5)+3}{\ln \relax (5)}\right )}{\left (x -3\right )^{2}}\right )+\mathrm {csgn}\left (i \ln \left (\frac {x^{2} \ln \relax (5)+3}{\ln \relax (5)}\right )\right )\right ) \left (-\mathrm {csgn}\left (\frac {i \ln \left (\frac {x^{2} \ln \relax (5)+3}{\ln \relax (5)}\right )}{\left (x -3\right )^{2}}\right )+\mathrm {csgn}\left (\frac {i}{\left (x -3\right )^{2}}\right )\right )}{2}\right )-3}\)	\(175\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-x^3+3*x^2)*ln(5)-3*x+9)*ln((x^2*ln(5)+3)/ln(5))*ln(ln((x^2*ln(5)+3)/ln(5))/(x^2-6*x+9))*ln(ln(ln((x^2*
ln(5)+3)/ln(5))/(x^2-6*x+9)))+((-6*x^3+18*x^2)*ln(5)-18*x+54)*ln((x^2*ln(5)+3)/ln(5))*ln(ln((x^2*ln(5)+3)/ln(5
))/(x^2-6*x+9))+((-2*x^3-6*x^2)*ln(5)-6*x-18)*ln((x^2*ln(5)+3)/ln(5))+(2*x^3-18*x)*ln(5))/(((x^3-3*x^2)*ln(5)+
3*x-9)*ln((x^2*ln(5)+3)/ln(5))*ln(ln((x^2*ln(5)+3)/ln(5))/(x^2-6*x+9))*ln(ln(ln((x^2*ln(5)+3)/ln(5))/(x^2-6*x+
9)))^2+((-2*x^4+12*x^3-18*x^2)*ln(5)-6*x^2+36*x-54)*ln((x^2*ln(5)+3)/ln(5))*ln(ln((x^2*ln(5)+3)/ln(5))/(x^2-6*
x+9))*ln(ln(ln((x^2*ln(5)+3)/ln(5))/(x^2-6*x+9)))+((x^5-9*x^4+27*x^3-27*x^2)*ln(5)+3*x^3-27*x^2+81*x-81)*ln((x
^2*ln(5)+3)/ln(5))*ln(ln((x^2*ln(5)+3)/ln(5))/(x^2-6*x+9))),x,method=_RETURNVERBOSE)

[Out]

(3+x)/(x-ln(ln(ln((x^2*ln(5)+3)/ln(5)))-2*ln(x-3)+1/2*I*Pi*csgn(I*(x-3)^2)*(-csgn(I*(x-3)^2)+csgn(I*(x-3)))^2-
1/2*I*Pi*csgn(I*ln((x^2*ln(5)+3)/ln(5))/(x-3)^2)*(-csgn(I*ln((x^2*ln(5)+3)/ln(5))/(x-3)^2)+csgn(I*ln((x^2*ln(5
)+3)/ln(5))))*(-csgn(I*ln((x^2*ln(5)+3)/ln(5))/(x-3)^2)+csgn(I/(x-3)^2)))-3)

________________________________________________________________________________________

maxima [A]  time = 1.23, size = 35, normalized size = 1.17 \begin {gather*} \frac {x + 3}{x - \log \left (-2 \, \log \left (x - 3\right ) + \log \left (\log \left (x^{2} \log \relax (5) + 3\right ) - \log \left (\log \relax (5)\right )\right )\right ) - 3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^3+3*x^2)*log(5)-3*x+9)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))*
log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))+((-6*x^3+18*x^2)*log(5)-18*x+54)*log((x^2*log(5)+3)/log(5))*l
og(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))+((-2*x^3-6*x^2)*log(5)-6*x-18)*log((x^2*log(5)+3)/log(5))+(2*x^3-18
*x)*log(5))/(((x^3-3*x^2)*log(5)+3*x-9)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))
*log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))^2+((-2*x^4+12*x^3-18*x^2)*log(5)-6*x^2+36*x-54)*log((x^2*log
(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9))*log(log(log((x^2*log(5)+3)/log(5))/(x^2-6*x+9)))+((
x^5-9*x^4+27*x^3-27*x^2)*log(5)+3*x^3-27*x^2+81*x-81)*log((x^2*log(5)+3)/log(5))*log(log((x^2*log(5)+3)/log(5)
)/(x^2-6*x+9))),x, algorithm="maxima")

[Out]

(x + 3)/(x - log(-2*log(x - 3) + log(log(x^2*log(5) + 3) - log(log(5)))) - 3)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.03 \begin {gather*} \int \frac {\ln \relax (5)\,\left (18\,x-2\,x^3\right )+\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )\,\left (6\,x+\ln \relax (5)\,\left (2\,x^3+6\,x^2\right )+18\right )-\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )\,\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\,\left (\ln \relax (5)\,\left (18\,x^2-6\,x^3\right )-18\,x+54\right )-\ln \left (\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\right )\,\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )\,\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\,\left (\ln \relax (5)\,\left (3\,x^2-x^3\right )-3\,x+9\right )}{\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )\,\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\,\left (\ln \relax (5)\,\left (3\,x^2-x^3\right )-3\,x+9\right )\,{\ln \left (\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\right )}^2+\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )\,\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\,\left (\ln \relax (5)\,\left (2\,x^4-12\,x^3+18\,x^2\right )-36\,x+6\,x^2+54\right )\,\ln \left (\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\right )+\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )\,\ln \left (\frac {\ln \left (\frac {\ln \relax (5)\,x^2+3}{\ln \relax (5)}\right )}{x^2-6\,x+9}\right )\,\left (\ln \relax (5)\,\left (-x^5+9\,x^4-27\,x^3+27\,x^2\right )-81\,x+27\,x^2-3\,x^3+81\right )} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(5)*(18*x - 2*x^3) + log((x^2*log(5) + 3)/log(5))*(6*x + log(5)*(6*x^2 + 2*x^3) + 18) - log((x^2*log(5
) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9))*(log(5)*(18*x^2 - 6*x^3) - 18*x + 54) - log(l
og(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9)))*log((x^2*log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5)
)/(x^2 - 6*x + 9))*(log(5)*(3*x^2 - x^3) - 3*x + 9))/(log((x^2*log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/lo
g(5))/(x^2 - 6*x + 9))*(log(5)*(27*x^2 - 27*x^3 + 9*x^4 - x^5) - 81*x + 27*x^2 - 3*x^3 + 81) + log(log(log((x^
2*log(5) + 3)/log(5))/(x^2 - 6*x + 9)))^2*log((x^2*log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5))/(x^2 -
6*x + 9))*(log(5)*(3*x^2 - x^3) - 3*x + 9) + log(log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9)))*log((x^2*
log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9))*(log(5)*(18*x^2 - 12*x^3 + 2*x^4) - 36*x
+ 6*x^2 + 54)),x)

[Out]

int((log(5)*(18*x - 2*x^3) + log((x^2*log(5) + 3)/log(5))*(6*x + log(5)*(6*x^2 + 2*x^3) + 18) - log((x^2*log(5
) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9))*(log(5)*(18*x^2 - 6*x^3) - 18*x + 54) - log(l
og(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9)))*log((x^2*log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5)
)/(x^2 - 6*x + 9))*(log(5)*(3*x^2 - x^3) - 3*x + 9))/(log((x^2*log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/lo
g(5))/(x^2 - 6*x + 9))*(log(5)*(27*x^2 - 27*x^3 + 9*x^4 - x^5) - 81*x + 27*x^2 - 3*x^3 + 81) + log(log(log((x^
2*log(5) + 3)/log(5))/(x^2 - 6*x + 9)))^2*log((x^2*log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5))/(x^2 -
6*x + 9))*(log(5)*(3*x^2 - x^3) - 3*x + 9) + log(log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9)))*log((x^2*
log(5) + 3)/log(5))*log(log((x^2*log(5) + 3)/log(5))/(x^2 - 6*x + 9))*(log(5)*(18*x^2 - 12*x^3 + 2*x^4) - 36*x
+ 6*x^2 + 54)), x)

________________________________________________________________________________________

sympy [A]  time = 7.01, size = 32, normalized size = 1.07 \begin {gather*} \frac {- x - 3}{- x + \log {\left (\log {\left (\frac {\log {\left (\frac {x^{2} \log {\relax (5 )} + 3}{\log {\relax (5 )}} \right )}}{x^{2} - 6 x + 9} \right )} \right )} + 3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x**3+3*x**2)*ln(5)-3*x+9)*ln((x**2*ln(5)+3)/ln(5))*ln(ln((x**2*ln(5)+3)/ln(5))/(x**2-6*x+9))*ln(
ln(ln((x**2*ln(5)+3)/ln(5))/(x**2-6*x+9)))+((-6*x**3+18*x**2)*ln(5)-18*x+54)*ln((x**2*ln(5)+3)/ln(5))*ln(ln((x
**2*ln(5)+3)/ln(5))/(x**2-6*x+9))+((-2*x**3-6*x**2)*ln(5)-6*x-18)*ln((x**2*ln(5)+3)/ln(5))+(2*x**3-18*x)*ln(5)
)/(((x**3-3*x**2)*ln(5)+3*x-9)*ln((x**2*ln(5)+3)/ln(5))*ln(ln((x**2*ln(5)+3)/ln(5))/(x**2-6*x+9))*ln(ln(ln((x*
*2*ln(5)+3)/ln(5))/(x**2-6*x+9)))**2+((-2*x**4+12*x**3-18*x**2)*ln(5)-6*x**2+36*x-54)*ln((x**2*ln(5)+3)/ln(5))
*ln(ln((x**2*ln(5)+3)/ln(5))/(x**2-6*x+9))*ln(ln(ln((x**2*ln(5)+3)/ln(5))/(x**2-6*x+9)))+((x**5-9*x**4+27*x**3
-27*x**2)*ln(5)+3*x**3-27*x**2+81*x-81)*ln((x**2*ln(5)+3)/ln(5))*ln(ln((x**2*ln(5)+3)/ln(5))/(x**2-6*x+9))),x)

[Out]

(-x - 3)/(-x + log(log(log((x**2*log(5) + 3)/log(5))/(x**2 - 6*x + 9))) + 3)

________________________________________________________________________________________