3.82.30 \(\int \frac {2 \log (x)+(3+x-x \log (x)) \log (x^2)+(-14 x-4 x^2) \log ^2(x^2)-3 x \log ^3(x^2)+(-\log (x^2)+4 x \log ^2(x^2)+x \log ^3(x^2)) \log (\log (x^2))}{((3 x+x^2) \log (x)+5 x \log ^2(x)) \log (x^2)+(-3 x^2-x^3-10 x^2 \log (x)) \log ^3(x^2)+5 x^3 \log ^5(x^2)+(-x \log (x) \log (x^2)+x^2 \log ^3(x^2)) \log (\log (x^2))} \, dx\) [8130]

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

[Out]

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

________________________________________________________________________________________

Rubi [A]
time = 1.29, antiderivative size = 40, normalized size of antiderivative = 1.25, number of steps used = 5, number of rules used = 3, integrand size = 162, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.019, Rules used = {6820, 6874, 6816} \begin {gather*} \log \left (\log (x)-x \log ^2\left (x^2\right )\right )-\log \left (-5 x \log ^2\left (x^2\right )-\log \left (\log \left (x^2\right )\right )+x+5 \log (x)+3\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(2*Log[x] + (3 + x - x*Log[x])*Log[x^2] + (-14*x - 4*x^2)*Log[x^2]^2 - 3*x*Log[x^2]^3 + (-Log[x^2] + 4*x*L
og[x^2]^2 + x*Log[x^2]^3)*Log[Log[x^2]])/(((3*x + x^2)*Log[x] + 5*x*Log[x]^2)*Log[x^2] + (-3*x^2 - x^3 - 10*x^
2*Log[x])*Log[x^2]^3 + 5*x^3*Log[x^2]^5 + (-(x*Log[x]*Log[x^2]) + x^2*Log[x^2]^3)*Log[Log[x^2]]),x]

[Out]

Log[Log[x] - x*Log[x^2]^2] - Log[3 + x + 5*Log[x] - 5*x*Log[x^2]^2 - Log[Log[x^2]]]

Rule 6816

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6820

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6874

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\log (x) \left (2-x \log \left (x^2\right )\right )+\log \left (x^2\right ) \left (3+x-2 x \log \left (x^2\right ) \left (7+2 x-2 \log \left (\log \left (x^2\right )\right )\right )+x \log ^2\left (x^2\right ) \left (-3+\log \left (\log \left (x^2\right )\right )\right )-\log \left (\log \left (x^2\right )\right )\right )}{x \log \left (x^2\right ) \left (\log (x)-x \log ^2\left (x^2\right )\right ) \left (3+x+5 \log (x)-5 x \log ^2\left (x^2\right )-\log \left (\log \left (x^2\right )\right )\right )} \, dx\\ &=\int \left (\frac {-1+4 x \log \left (x^2\right )+x \log ^2\left (x^2\right )}{x \left (-\log (x)+x \log ^2\left (x^2\right )\right )}+\frac {-2+5 \log \left (x^2\right )+x \log \left (x^2\right )-20 x \log ^2\left (x^2\right )-5 x \log ^3\left (x^2\right )}{x \log \left (x^2\right ) \left (-3-x-5 \log (x)+5 x \log ^2\left (x^2\right )+\log \left (\log \left (x^2\right )\right )\right )}\right ) \, dx\\ &=\int \frac {-1+4 x \log \left (x^2\right )+x \log ^2\left (x^2\right )}{x \left (-\log (x)+x \log ^2\left (x^2\right )\right )} \, dx+\int \frac {-2+5 \log \left (x^2\right )+x \log \left (x^2\right )-20 x \log ^2\left (x^2\right )-5 x \log ^3\left (x^2\right )}{x \log \left (x^2\right ) \left (-3-x-5 \log (x)+5 x \log ^2\left (x^2\right )+\log \left (\log \left (x^2\right )\right )\right )} \, dx\\ &=\log \left (\log (x)-x \log ^2\left (x^2\right )\right )-\log \left (3+x+5 \log (x)-5 x \log ^2\left (x^2\right )-\log \left (\log \left (x^2\right )\right )\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [F]
time = 0.59, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {2 \log (x)+(3+x-x \log (x)) \log \left (x^2\right )+\left (-14 x-4 x^2\right ) \log ^2\left (x^2\right )-3 x \log ^3\left (x^2\right )+\left (-\log \left (x^2\right )+4 x \log ^2\left (x^2\right )+x \log ^3\left (x^2\right )\right ) \log \left (\log \left (x^2\right )\right )}{\left (\left (3 x+x^2\right ) \log (x)+5 x \log ^2(x)\right ) \log \left (x^2\right )+\left (-3 x^2-x^3-10 x^2 \log (x)\right ) \log ^3\left (x^2\right )+5 x^3 \log ^5\left (x^2\right )+\left (-x \log (x) \log \left (x^2\right )+x^2 \log ^3\left (x^2\right )\right ) \log \left (\log \left (x^2\right )\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[(2*Log[x] + (3 + x - x*Log[x])*Log[x^2] + (-14*x - 4*x^2)*Log[x^2]^2 - 3*x*Log[x^2]^3 + (-Log[x^2] +
4*x*Log[x^2]^2 + x*Log[x^2]^3)*Log[Log[x^2]])/(((3*x + x^2)*Log[x] + 5*x*Log[x]^2)*Log[x^2] + (-3*x^2 - x^3 -
10*x^2*Log[x])*Log[x^2]^3 + 5*x^3*Log[x^2]^5 + (-(x*Log[x]*Log[x^2]) + x^2*Log[x^2]^3)*Log[Log[x^2]]),x]

[Out]

Integrate[(2*Log[x] + (3 + x - x*Log[x])*Log[x^2] + (-14*x - 4*x^2)*Log[x^2]^2 - 3*x*Log[x^2]^3 + (-Log[x^2] +
4*x*Log[x^2]^2 + x*Log[x^2]^3)*Log[Log[x^2]])/(((3*x + x^2)*Log[x] + 5*x*Log[x]^2)*Log[x^2] + (-3*x^2 - x^3 -
10*x^2*Log[x])*Log[x^2]^3 + 5*x^3*Log[x^2]^5 + (-(x*Log[x]*Log[x^2]) + x^2*Log[x^2]^3)*Log[Log[x^2]]), x]

________________________________________________________________________________________

Maple [C] Result contains higher order function than in optimal. Order 9 vs. order 3.
time = 4.09, size = 375, normalized size = 11.72 Too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x*ln(x^2)^3+4*x*ln(x^2)^2-ln(x^2))*ln(ln(x^2))-3*x*ln(x^2)^3+(-4*x^2-14*x)*ln(x^2)^2+(-x*ln(x)+3+x)*ln(x
^2)+2*ln(x))/((x^2*ln(x^2)^3-x*ln(x)*ln(x^2))*ln(ln(x^2))+5*x^3*ln(x^2)^5+(-10*x^2*ln(x)-x^3-3*x^2)*ln(x^2)^3+
(5*x*ln(x)^2+(x^2+3*x)*ln(x))*ln(x^2)),x,method=_RETURNVERBOSE)

[Out]

ln(x)+ln(-1/16*(Pi^2*x*csgn(I*x)^4*csgn(I*x^2)^2-4*Pi^2*x*csgn(I*x)^3*csgn(I*x^2)^3+6*Pi^2*x*csgn(I*x)^2*csgn(
I*x^2)^4-4*Pi^2*x*csgn(I*x)*csgn(I*x^2)^5+Pi^2*x*csgn(I*x^2)^6+4*ln(x))/x-1/2*I*Pi*csgn(I*x^2)*(csgn(I*x)^2-2*
csgn(I*x^2)*csgn(I*x)+csgn(I*x^2)^2)*ln(x)+ln(x)^2)-ln(ln(2*ln(x)-1/2*I*Pi*csgn(I*x^2)*(-csgn(I*x^2)+csgn(I*x)
)^2)-5/4*Pi^2*x*csgn(I*x)^4*csgn(I*x^2)^2+5*Pi^2*x*csgn(I*x)^3*csgn(I*x^2)^3-15/2*Pi^2*x*csgn(I*x)^2*csgn(I*x^
2)^4+5*Pi^2*x*csgn(I*x)*csgn(I*x^2)^5-5/4*Pi^2*x*csgn(I*x^2)^6-10*I*x*ln(x)*Pi*csgn(I*x)^2*csgn(I*x^2)+20*I*x*
ln(x)*Pi*csgn(I*x)*csgn(I*x^2)^2-10*I*x*ln(x)*Pi*csgn(I*x^2)^3+20*x*ln(x)^2-5*ln(x)-x-3)

________________________________________________________________________________________

Maxima [A]
time = 0.55, size = 43, normalized size = 1.34 \begin {gather*} -\log \left (20 \, x \log \left (x\right )^{2} - x + \log \left (2\right ) - 5 \, \log \left (x\right ) + \log \left (\log \left (x\right )\right ) - 3\right ) + \log \left (x\right ) + \log \left (\frac {4 \, x \log \left (x\right ) - 1}{4 \, x}\right ) + \log \left (\log \left (x\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x*log(x^2)^3+4*x*log(x^2)^2-log(x^2))*log(log(x^2))-3*x*log(x^2)^3+(-4*x^2-14*x)*log(x^2)^2+(-x*lo
g(x)+3+x)*log(x^2)+2*log(x))/((x^2*log(x^2)^3-x*log(x)*log(x^2))*log(log(x^2))+5*x^3*log(x^2)^5+(-10*x^2*log(x
)-x^3-3*x^2)*log(x^2)^3+(5*x*log(x)^2+(x^2+3*x)*log(x))*log(x^2)),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

Fricas [A]
time = 0.38, size = 42, normalized size = 1.31 \begin {gather*} -\log \left (20 \, x \log \left (x\right )^{2} - x - 5 \, \log \left (x\right ) + \log \left (2 \, \log \left (x\right )\right ) - 3\right ) + \log \left (x\right ) + \log \left (\frac {4 \, x \log \left (x\right ) - 1}{x}\right ) + \log \left (\log \left (x\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x*log(x^2)^3+4*x*log(x^2)^2-log(x^2))*log(log(x^2))-3*x*log(x^2)^3+(-4*x^2-14*x)*log(x^2)^2+(-x*lo
g(x)+3+x)*log(x^2)+2*log(x))/((x^2*log(x^2)^3-x*log(x)*log(x^2))*log(log(x^2))+5*x^3*log(x^2)^5+(-10*x^2*log(x
)-x^3-3*x^2)*log(x^2)^3+(5*x*log(x)^2+(x^2+3*x)*log(x))*log(x^2)),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

Sympy [A]
time = 0.22, size = 41, normalized size = 1.28 \begin {gather*} \log {\left (x \right )} + \log {\left (\log {\left (x \right )}^{2} - \frac {\log {\left (x \right )}}{4 x} \right )} - \log {\left (20 x \log {\left (x \right )}^{2} - x - 5 \log {\left (x \right )} + \log {\left (2 \log {\left (x \right )} \right )} - 3 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x*ln(x**2)**3+4*x*ln(x**2)**2-ln(x**2))*ln(ln(x**2))-3*x*ln(x**2)**3+(-4*x**2-14*x)*ln(x**2)**2+(-
x*ln(x)+3+x)*ln(x**2)+2*ln(x))/((x**2*ln(x**2)**3-x*ln(x)*ln(x**2))*ln(ln(x**2))+5*x**3*ln(x**2)**5+(-10*x**2*
ln(x)-x**3-3*x**2)*ln(x**2)**3+(5*x*ln(x)**2+(x**2+3*x)*ln(x))*ln(x**2)),x)

[Out]

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

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x*log(x^2)^3+4*x*log(x^2)^2-log(x^2))*log(log(x^2))-3*x*log(x^2)^3+(-4*x^2-14*x)*log(x^2)^2+(-x*lo
g(x)+3+x)*log(x^2)+2*log(x))/((x^2*log(x^2)^3-x*log(x)*log(x^2))*log(log(x^2))+5*x^3*log(x^2)^5+(-10*x^2*log(x
)-x^3-3*x^2)*log(x^2)^3+(5*x*log(x)^2+(x^2+3*x)*log(x))*log(x^2)),x, algorithm="giac")

[Out]

integrate(-(3*x*log(x^2)^3 + 2*(2*x^2 + 7*x)*log(x^2)^2 + (x*log(x) - x - 3)*log(x^2) - (x*log(x^2)^3 + 4*x*lo
g(x^2)^2 - log(x^2))*log(log(x^2)) - 2*log(x))/(5*x^3*log(x^2)^5 - (x^3 + 10*x^2*log(x) + 3*x^2)*log(x^2)^3 +
(5*x*log(x)^2 + (x^2 + 3*x)*log(x))*log(x^2) + (x^2*log(x^2)^3 - x*log(x^2)*log(x))*log(log(x^2))), x)

________________________________________________________________________________________

Mupad [B]
time = 5.83, size = 46, normalized size = 1.44 \begin {gather*} \ln \left (\frac {\ln \left (x\right )-x\,{\ln \left (x^2\right )}^2}{x}\right )-\ln \left (\ln \left (\ln \left (x^2\right )\right )-x-5\,\ln \left (x\right )+5\,x\,{\ln \left (x^2\right )}^2-3\right )+\ln \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*log(x) + log(log(x^2))*(4*x*log(x^2)^2 - log(x^2) + x*log(x^2)^3) + log(x^2)*(x - x*log(x) + 3) - log(x
^2)^2*(14*x + 4*x^2) - 3*x*log(x^2)^3)/(log(log(x^2))*(x^2*log(x^2)^3 - x*log(x^2)*log(x)) + log(x^2)*(5*x*log
(x)^2 + log(x)*(3*x + x^2)) - log(x^2)^3*(10*x^2*log(x) + 3*x^2 + x^3) + 5*x^3*log(x^2)^5),x)

[Out]

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

________________________________________________________________________________________