\(\int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+(-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)) \log ^2(\log (3 e^3))+\log ^4(\log (3 e^3))}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+(-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)) \log ^2(\log (3 e^3))+\log ^4(\log (3 e^3))} \, dx\) [9888]

Optimal result

Integrand size = 164, antiderivative size = 31 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=-8+x+\frac {x}{1-\frac {\log ^2\left (\log \left (3 e^3\right )\right )}{(2 x-x \log (3))^2}} \]

[Out]

x/(1-ln(ln(3*exp(3)))^2/(-x*ln(3)+2*x)^2)-8+x

Rubi [A] (verified)

Time = 0.11 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.19, number of steps used = 13, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.037, Rules used = {6, 2019, 28, 1828, 21, 8} \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=\frac {x \log ^2(3+\log (3))}{x^2 (2-\log (3))^2-\log ^2(3+\log (3))}+2 x \]

[In]

Int[(32*x^4 - 64*x^4*Log[3] + 48*x^4*Log[3]^2 - 16*x^4*Log[3]^3 + 2*x^4*Log[3]^4 + (-20*x^2 + 20*x^2*Log[3] -
5*x^2*Log[3]^2)*Log[Log[3*E^3]]^2 + Log[Log[3*E^3]]^4)/(16*x^4 - 32*x^4*Log[3] + 24*x^4*Log[3]^2 - 8*x^4*Log[3
]^3 + x^4*Log[3]^4 + (-8*x^2 + 8*x^2*Log[3] - 2*x^2*Log[3]^2)*Log[Log[3*E^3]]^2 + Log[Log[3*E^3]]^4),x]

[Out]

2*x + (x*Log[3 + Log[3]]^2)/(x^2*(2 - Log[3])^2 - Log[3 + Log[3]]^2)

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 8

Int[a_, x_Symbol] :> Simp[a*x, x] /; FreeQ[a, x]

Rule 21

Int[(u_.)*((a_) + (b_.)*(v_))^(m_.)*((c_) + (d_.)*(v_))^(n_.), x_Symbol] :> Dist[(b/d)^m, Int[u*(c + d*v)^(m +
n), x], x] /; FreeQ[{a, b, c, d, n}, x] && EqQ[b*c - a*d, 0] && IntegerQ[m] && ( !IntegerQ[n] || SimplerQ[c +
d*x, a + b*x])

Rule 28

Int[(u_.)*((a_) + (c_.)*(x_)^(n2_.) + (b_.)*(x_)^(n_))^(p_.), x_Symbol] :> Dist[1/c^p, Int[u*(b/2 + c*x^n)^(2*
p), x], x] /; FreeQ[{a, b, c, n}, x] && EqQ[n2, 2*n] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 1828

Int[(Pq_)*((a_) + (b_.)*(x_)^2)^(p_), x_Symbol] :> With[{Q = PolynomialQuotient[Pq, a + b*x^2, x], f = Coeff[P
olynomialRemainder[Pq, a + b*x^2, x], x, 0], g = Coeff[PolynomialRemainder[Pq, a + b*x^2, x], x, 1]}, Simp[(a*
g - b*f*x)*((a + b*x^2)^(p + 1)/(2*a*b*(p + 1))), x] + Dist[1/(2*a*(p + 1)), Int[(a + b*x^2)^(p + 1)*ExpandToS
um[2*a*(p + 1)*Q + f*(2*p + 3), x], x], x]] /; FreeQ[{a, b}, x] && PolyQ[Pq, x] && LtQ[p, -1]

Rule 2019

Int[(Pq_)*(u_)^(p_.), x_Symbol] :> Int[Pq*ExpandToSum[u, x]^p, x] /; FreeQ[p, x] && PolyQ[Pq, x] && TrinomialQ
[u, x] &&  !TrinomialMatchQ[u, x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {x^4 (32-64 \log (3))+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+x^4 \left (32-64 \log (3)+48 \log ^2(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)\right )+x^4 \left (-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{x^4 (16-32 \log (3))+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{-8 x^4 \log ^3(3)+x^4 \log ^4(3)+x^4 \left (16-32 \log (3)+24 \log ^2(3)\right )+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{x^4 \left (16-32 \log (3)+24 \log ^2(3)\right )+x^4 \left (-8 \log ^3(3)+\log ^4(3)\right )+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{x^4 \left (16-32 \log (3)+24 \log ^2(3)-8 \log ^3(3)+\log ^4(3)\right )+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx \\ & = \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{x^4 (2-\log (3))^4-2 x^2 (2-\log (3))^2 \log ^2(3+\log (3))+\log ^4(3+\log (3))} \, dx \\ & = (2-\log (3))^4 \int \frac {x^4 \left (32-64 \log (3)+48 \log ^2(3)-16 \log ^3(3)+2 \log ^4(3)\right )+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{\left (x^2 (2-\log (3))^4-(2-\log (3))^2 \log ^2(3+\log (3))\right )^2} \, dx \\ & = \frac {x \log ^2(3+\log (3))}{x^2 (2-\log (3))^2-\log ^2(3+\log (3))}+\frac {(2-\log (3))^2 \int \frac {4 x^2 (2-\log (3))^2 \log ^2(3+\log (3))-4 \log ^4(3+\log (3))}{x^2 (2-\log (3))^4-(2-\log (3))^2 \log ^2(3+\log (3))} \, dx}{2 \log ^2(3+\log (3))} \\ & = \frac {x \log ^2(3+\log (3))}{x^2 (2-\log (3))^2-\log ^2(3+\log (3))}+2 \int 1 \, dx \\ & = 2 x+\frac {x \log ^2(3+\log (3))}{x^2 (2-\log (3))^2-\log ^2(3+\log (3))} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.06 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.10 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=x \left (2+\frac {\log ^2(3+\log (3))}{x^2 (-2+\log (3))^2-\log ^2(3+\log (3))}\right ) \]

[In]

Integrate[(32*x^4 - 64*x^4*Log[3] + 48*x^4*Log[3]^2 - 16*x^4*Log[3]^3 + 2*x^4*Log[3]^4 + (-20*x^2 + 20*x^2*Log
[3] - 5*x^2*Log[3]^2)*Log[Log[3*E^3]]^2 + Log[Log[3*E^3]]^4)/(16*x^4 - 32*x^4*Log[3] + 24*x^4*Log[3]^2 - 8*x^4
*Log[3]^3 + x^4*Log[3]^4 + (-8*x^2 + 8*x^2*Log[3] - 2*x^2*Log[3]^2)*Log[Log[3*E^3]]^2 + Log[Log[3*E^3]]^4),x]

[Out]

x*(2 + Log[3 + Log[3]]^2/(x^2*(-2 + Log[3])^2 - Log[3 + Log[3]]^2))

Maple [A] (verified)

Time = 1.30 (sec) , antiderivative size = 46, normalized size of antiderivative = 1.48

method	result	size
risch	\(2 x +\frac {\ln \left (3+\ln \left (3\right )\right )^{2} x}{x^{2} \ln \left (3\right )^{2}-4 x^{2} \ln \left (3\right )-\ln \left (3+\ln \left (3\right )\right )^{2}+4 x^{2}}\)	\(46\)
norman	\(\frac {\left (2 \ln \left (3\right )^{2}-8 \ln \left (3\right )+8\right ) x^{3}-\ln \left (3+\ln \left (3\right )\right )^{2} x}{x^{2} \ln \left (3\right )^{2}-4 x^{2} \ln \left (3\right )-\ln \left (3+\ln \left (3\right )\right )^{2}+4 x^{2}}\)	\(61\)
gosper	\(\frac {x \left (2 x^{2} \ln \left (3\right )^{2}-8 x^{2} \ln \left (3\right )-{\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2}+8 x^{2}\right )}{x^{2} \ln \left (3\right )^{2}-4 x^{2} \ln \left (3\right )-{\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2}+4 x^{2}}\)	\(68\)
default	\(2 x +\frac {{\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2}}{2 \left (2-\ln \left (3\right )\right ) \left (-x \ln \left (3\right )+\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )+2 x \right )}+\frac {{\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2}}{2 \left (2-\ln \left (3\right )\right ) \left (-x \ln \left (3\right )-\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )+2 x \right )}\)	\(77\)
parallelrisch	\(\frac {2 x^{3} \ln \left (3\right )^{4}-16 x^{3} \ln \left (3\right )^{3}-\ln \left (3\right )^{2} {\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2} x +48 x^{3} \ln \left (3\right )^{2}+4 \ln \left (3\right ) {\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2} x -64 x^{3} \ln \left (3\right )-4 {\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2} x +32 x^{3}}{\left (\ln \left (3\right )^{2}-4 \ln \left (3\right )+4\right ) \left (x^{2} \ln \left (3\right )^{2}-4 x^{2} \ln \left (3\right )-{\ln \left (\ln \left (3 \,{\mathrm e}^{3}\right )\right )}^{2}+4 x^{2}\right )}\)	\(126\)

[In]

int((ln(ln(3*exp(3)))^4+(-5*x^2*ln(3)^2+20*x^2*ln(3)-20*x^2)*ln(ln(3*exp(3)))^2+2*x^4*ln(3)^4-16*x^4*ln(3)^3+4
8*x^4*ln(3)^2-64*x^4*ln(3)+32*x^4)/(ln(ln(3*exp(3)))^4+(-2*x^2*ln(3)^2+8*x^2*ln(3)-8*x^2)*ln(ln(3*exp(3)))^2+x
^4*ln(3)^4-8*x^4*ln(3)^3+24*x^4*ln(3)^2-32*x^4*ln(3)+16*x^4),x,method=_RETURNVERBOSE)

[Out]

2*x+ln(3+ln(3))^2*x/(x^2*ln(3)^2-4*x^2*ln(3)-ln(3+ln(3))^2+4*x^2)

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 65 vs. \(2 (29) = 58\).

Time = 0.28 (sec) , antiderivative size = 65, normalized size of antiderivative = 2.10 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=\frac {2 \, x^{3} \log \left (3\right )^{2} - 8 \, x^{3} \log \left (3\right ) + 8 \, x^{3} - x \log \left (\log \left (3\right ) + 3\right )^{2}}{x^{2} \log \left (3\right )^{2} - 4 \, x^{2} \log \left (3\right ) + 4 \, x^{2} - \log \left (\log \left (3\right ) + 3\right )^{2}} \]

[In]

integrate((log(log(3*exp(3)))^4+(-5*x^2*log(3)^2+20*x^2*log(3)-20*x^2)*log(log(3*exp(3)))^2+2*x^4*log(3)^4-16*
x^4*log(3)^3+48*x^4*log(3)^2-64*x^4*log(3)+32*x^4)/(log(log(3*exp(3)))^4+(-2*x^2*log(3)^2+8*x^2*log(3)-8*x^2)*
log(log(3*exp(3)))^2+x^4*log(3)^4-8*x^4*log(3)^3+24*x^4*log(3)^2-32*x^4*log(3)+16*x^4),x, algorithm="fricas")

[Out]

(2*x^3*log(3)^2 - 8*x^3*log(3) + 8*x^3 - x*log(log(3) + 3)^2)/(x^2*log(3)^2 - 4*x^2*log(3) + 4*x^2 - log(log(3
) + 3)^2)

Sympy [A] (verification not implemented)

Time = 1.02 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.16 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=2 x + \frac {x \log {\left (\log {\left (3 \right )} + 3 \right )}^{2}}{x^{2} \left (- 4 \log {\left (3 \right )} + \log {\left (3 \right )}^{2} + 4\right ) - \log {\left (\log {\left (3 \right )} + 3 \right )}^{2}} \]

[In]

integrate((ln(ln(3*exp(3)))**4+(-5*x**2*ln(3)**2+20*x**2*ln(3)-20*x**2)*ln(ln(3*exp(3)))**2+2*x**4*ln(3)**4-16
*x**4*ln(3)**3+48*x**4*ln(3)**2-64*x**4*ln(3)+32*x**4)/(ln(ln(3*exp(3)))**4+(-2*x**2*ln(3)**2+8*x**2*ln(3)-8*x
**2)*ln(ln(3*exp(3)))**2+x**4*ln(3)**4-8*x**4*ln(3)**3+24*x**4*ln(3)**2-32*x**4*ln(3)+16*x**4),x)

[Out]

2*x + x*log(log(3) + 3)**2/(x**2*(-4*log(3) + log(3)**2 + 4) - log(log(3) + 3)**2)

Maxima [A] (verification not implemented)

none

Time = 0.21 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.32 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=\frac {x \log \left (\log \left (3 \, e^{3}\right )\right )^{2}}{{\left (\log \left (3\right )^{2} - 4 \, \log \left (3\right ) + 4\right )} x^{2} - \log \left (\log \left (3 \, e^{3}\right )\right )^{2}} + 2 \, x \]

[In]

integrate((log(log(3*exp(3)))^4+(-5*x^2*log(3)^2+20*x^2*log(3)-20*x^2)*log(log(3*exp(3)))^2+2*x^4*log(3)^4-16*
x^4*log(3)^3+48*x^4*log(3)^2-64*x^4*log(3)+32*x^4)/(log(log(3*exp(3)))^4+(-2*x^2*log(3)^2+8*x^2*log(3)-8*x^2)*
log(log(3*exp(3)))^2+x^4*log(3)^4-8*x^4*log(3)^3+24*x^4*log(3)^2-32*x^4*log(3)+16*x^4),x, algorithm="maxima")

[Out]

x*log(log(3*e^3))^2/((log(3)^2 - 4*log(3) + 4)*x^2 - log(log(3*e^3))^2) + 2*x

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 99 vs. \(2 (29) = 58\).

Time = 0.27 (sec) , antiderivative size = 99, normalized size of antiderivative = 3.19 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=\frac {x \log \left (\log \left (3 \, e^{3}\right )\right )^{2}}{x^{2} \log \left (3\right )^{2} - 4 \, x^{2} \log \left (3\right ) + 4 \, x^{2} - \log \left (\log \left (3 \, e^{3}\right )\right )^{2}} + \frac {2 \, {\left (x \log \left (3\right )^{4} - 8 \, x \log \left (3\right )^{3} + 24 \, x \log \left (3\right )^{2} - 32 \, x \log \left (3\right ) + 16 \, x\right )}}{\log \left (3\right )^{4} - 8 \, \log \left (3\right )^{3} + 24 \, \log \left (3\right )^{2} - 32 \, \log \left (3\right ) + 16} \]

[In]

integrate((log(log(3*exp(3)))^4+(-5*x^2*log(3)^2+20*x^2*log(3)-20*x^2)*log(log(3*exp(3)))^2+2*x^4*log(3)^4-16*
x^4*log(3)^3+48*x^4*log(3)^2-64*x^4*log(3)+32*x^4)/(log(log(3*exp(3)))^4+(-2*x^2*log(3)^2+8*x^2*log(3)-8*x^2)*
log(log(3*exp(3)))^2+x^4*log(3)^4-8*x^4*log(3)^3+24*x^4*log(3)^2-32*x^4*log(3)+16*x^4),x, algorithm="giac")

[Out]

x*log(log(3*e^3))^2/(x^2*log(3)^2 - 4*x^2*log(3) + 4*x^2 - log(log(3*e^3))^2) + 2*(x*log(3)^4 - 8*x*log(3)^3 +
24*x*log(3)^2 - 32*x*log(3) + 16*x)/(log(3)^4 - 8*log(3)^3 + 24*log(3)^2 - 32*log(3) + 16)

Mupad [B] (verification not implemented)

Time = 16.79 (sec) , antiderivative size = 65, normalized size of antiderivative = 2.10 \[ \int \frac {32 x^4-64 x^4 \log (3)+48 x^4 \log ^2(3)-16 x^4 \log ^3(3)+2 x^4 \log ^4(3)+\left (-20 x^2+20 x^2 \log (3)-5 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )}{16 x^4-32 x^4 \log (3)+24 x^4 \log ^2(3)-8 x^4 \log ^3(3)+x^4 \log ^4(3)+\left (-8 x^2+8 x^2 \log (3)-2 x^2 \log ^2(3)\right ) \log ^2\left (\log \left (3 e^3\right )\right )+\log ^4\left (\log \left (3 e^3\right )\right )} \, dx=\frac {x\,\left (2\,x^2\,{\ln \left (3\right )}^2-{\ln \left (\ln \left (3\right )+3\right )}^2-8\,x^2\,\ln \left (3\right )+8\,x^2\right )}{x^2\,{\ln \left (3\right )}^2-{\ln \left (\ln \left (3\right )+3\right )}^2-4\,x^2\,\ln \left (3\right )+4\,x^2} \]

[In]

int((48*x^4*log(3)^2 - 16*x^4*log(3)^3 + 2*x^4*log(3)^4 - log(log(3*exp(3)))^2*(5*x^2*log(3)^2 - 20*x^2*log(3)
+ 20*x^2) - 64*x^4*log(3) + 32*x^4 + log(log(3*exp(3)))^4)/(24*x^4*log(3)^2 - 8*x^4*log(3)^3 + x^4*log(3)^4 -
log(log(3*exp(3)))^2*(2*x^2*log(3)^2 - 8*x^2*log(3) + 8*x^2) - 32*x^4*log(3) + 16*x^4 + log(log(3*exp(3)))^4)
,x)

[Out]

(x*(2*x^2*log(3)^2 - log(log(3) + 3)^2 - 8*x^2*log(3) + 8*x^2))/(x^2*log(3)^2 - log(log(3) + 3)^2 - 4*x^2*log(
3) + 4*x^2)