3.68.79 \(\int \frac {3 x+3 x^2+(9+12 x+3 x^2) \log (3+x)+(-6 x^2-2 x^3) \log (3+x) \log (x \log (3+x))+(-9+6 x+3 x^2) \log (3+x) \log (x \log (3+x)) \log (\log (x \log (3+x)))}{(-12 x^2-16 x^3-4 x^4) \log (3+x) \log (x \log (3+x))+(36 x+48 x^2+12 x^3) \log (3+x) \log (x \log (3+x)) \log (\log (x \log (3+x)))} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 2.46, antiderivative size = 32, normalized size of antiderivative = 1.10, number of steps used = 7, number of rules used = 5, integrand size = 143, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.035, Rules used = {6688, 12, 6728, 72, 6684} \begin {gather*} -\frac {\log (x)}{4}+\frac {1}{2} \log (x+1)+\frac {1}{4} \log (x-3 \log (\log (x \log (x+3)))) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(3*x + 3*x^2 + (9 + 12*x + 3*x^2)*Log[3 + x] + (-6*x^2 - 2*x^3)*Log[3 + x]*Log[x*Log[3 + x]] + (-9 + 6*x +
3*x^2)*Log[3 + x]*Log[x*Log[3 + x]]*Log[Log[x*Log[3 + x]]])/((-12*x^2 - 16*x^3 - 4*x^4)*Log[3 + x]*Log[x*Log[
3 + x]] + (36*x + 48*x^2 + 12*x^3)*Log[3 + x]*Log[x*Log[3 + x]]*Log[Log[x*Log[3 + x]]]),x]

[Out]

-1/4*Log[x] + Log[1 + x]/2 + Log[x - 3*Log[Log[x*Log[3 + x]]]]/4

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 72

Int[((e_.) + (f_.)*(x_))^(p_.)/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))), x_Symbol] :> Int[ExpandIntegrand[(
e + f*x)^p/((a + b*x)*(c + d*x)), x], x] /; FreeQ[{a, b, c, d, e, f}, x] && IntegerQ[p]

Rule 6684

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

Rule 6688

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

Rule 6728

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] /; SumQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.10, size = 28, normalized size = 0.97 \begin {gather*} \frac {1}{4} (-\log (x)+2 \log (1+x)+\log (x-3 \log (\log (x \log (3+x))))) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(3*x + 3*x^2 + (9 + 12*x + 3*x^2)*Log[3 + x] + (-6*x^2 - 2*x^3)*Log[3 + x]*Log[x*Log[3 + x]] + (-9 +
6*x + 3*x^2)*Log[3 + x]*Log[x*Log[3 + x]]*Log[Log[x*Log[3 + x]]])/((-12*x^2 - 16*x^3 - 4*x^4)*Log[3 + x]*Log[
x*Log[3 + x]] + (36*x + 48*x^2 + 12*x^3)*Log[3 + x]*Log[x*Log[3 + x]]*Log[Log[x*Log[3 + x]]]),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.67, size = 28, normalized size = 0.97 \begin {gather*} \frac {1}{2} \, \log \left (x + 1\right ) - \frac {1}{4} \, \log \relax (x) + \frac {1}{4} \, \log \left (-x + 3 \, \log \left (\log \left (x \log \left (x + 3\right )\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^2+6*x-9)*log(3+x)*log(x*log(3+x))*log(log(x*log(3+x)))+(-2*x^3-6*x^2)*log(3+x)*log(x*log(3+x))
+(3*x^2+12*x+9)*log(3+x)+3*x^2+3*x)/((12*x^3+48*x^2+36*x)*log(3+x)*log(x*log(3+x))*log(log(x*log(3+x)))+(-4*x^
4-16*x^3-12*x^2)*log(3+x)*log(x*log(3+x))),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 1.25, size = 26, normalized size = 0.90 \begin {gather*} \frac {1}{4} \, \log \left (x - 3 \, \log \left (\log \left (x \log \left (x + 3\right )\right )\right )\right ) + \frac {1}{2} \, \log \left (x + 1\right ) - \frac {1}{4} \, \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^2+6*x-9)*log(3+x)*log(x*log(3+x))*log(log(x*log(3+x)))+(-2*x^3-6*x^2)*log(3+x)*log(x*log(3+x))
+(3*x^2+12*x+9)*log(3+x)+3*x^2+3*x)/((12*x^3+48*x^2+36*x)*log(3+x)*log(x*log(3+x))*log(log(x*log(3+x)))+(-4*x^
4-16*x^3-12*x^2)*log(3+x)*log(x*log(3+x))),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [C]  time = 0.20, size = 78, normalized size = 2.69

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((3*x^2+6*x-9)*ln(3+x)*ln(x*ln(3+x))*ln(ln(x*ln(3+x)))+(-2*x^3-6*x^2)*ln(3+x)*ln(x*ln(3+x))+(3*x^2+12*x+9)
*ln(3+x)+3*x^2+3*x)/((12*x^3+48*x^2+36*x)*ln(3+x)*ln(x*ln(3+x))*ln(ln(x*ln(3+x)))+(-4*x^4-16*x^3-12*x^2)*ln(3+
x)*ln(x*ln(3+x))),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 1.35, size = 27, normalized size = 0.93 \begin {gather*} \frac {1}{2} \, \log \left (x + 1\right ) - \frac {1}{4} \, \log \relax (x) + \frac {1}{4} \, \log \left (-\frac {1}{3} \, x + \log \left (\log \relax (x) + \log \left (\log \left (x + 3\right )\right )\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^2+6*x-9)*log(3+x)*log(x*log(3+x))*log(log(x*log(3+x)))+(-2*x^3-6*x^2)*log(3+x)*log(x*log(3+x))
+(3*x^2+12*x+9)*log(3+x)+3*x^2+3*x)/((12*x^3+48*x^2+36*x)*log(3+x)*log(x*log(3+x))*log(log(x*log(3+x)))+(-4*x^
4-16*x^3-12*x^2)*log(3+x)*log(x*log(3+x))),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 4.78, size = 26, normalized size = 0.90 \begin {gather*} \frac {\ln \left (x+1\right )}{2}+\frac {\ln \left (\ln \left (\ln \left (x\,\ln \left (x+3\right )\right )\right )-\frac {x}{3}\right )}{4}-\frac {\ln \relax (x)}{4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(3*x + log(x + 3)*(12*x + 3*x^2 + 9) + 3*x^2 - log(x + 3)*log(x*log(x + 3))*(6*x^2 + 2*x^3) + log(x + 3)*
log(x*log(x + 3))*log(log(x*log(x + 3)))*(6*x + 3*x^2 - 9))/(log(x + 3)*log(x*log(x + 3))*(12*x^2 + 16*x^3 + 4
*x^4) - log(x + 3)*log(x*log(x + 3))*log(log(x*log(x + 3)))*(36*x + 48*x^2 + 12*x^3)),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 1.65, size = 27, normalized size = 0.93 \begin {gather*} - \frac {\log {\relax (x )}}{4} + \frac {\log {\left (- \frac {x}{3} + \log {\left (\log {\left (x \log {\left (x + 3 \right )} \right )} \right )} \right )}}{4} + \frac {\log {\left (x + 1 \right )}}{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x**2+6*x-9)*ln(3+x)*ln(x*ln(3+x))*ln(ln(x*ln(3+x)))+(-2*x**3-6*x**2)*ln(3+x)*ln(x*ln(3+x))+(3*x*
*2+12*x+9)*ln(3+x)+3*x**2+3*x)/((12*x**3+48*x**2+36*x)*ln(3+x)*ln(x*ln(3+x))*ln(ln(x*ln(3+x)))+(-4*x**4-16*x**
3-12*x**2)*ln(3+x)*ln(x*ln(3+x))),x)

[Out]

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

________________________________________________________________________________________