3.73.43 \(\int \frac {-4608-9216 x-4608 x^2+(-384-768 x-384 x^2) \log (x) \log (4 x)+(384+768 x+384 x^2) \log ^2(4 x)+(-2 x^2-x^3+(32+64 x+32 x^2) \log (x)) \log ^3(4 x)}{(x+2 x^2+x^3) \log ^3(4 x)} \, dx\)

Optimal. Leaf size=26 \[ -x+\frac {x}{1+x}+16 \left (\log (x)+\frac {12}{\log (4 x)}\right )^2 \]

________________________________________________________________________________________

Rubi [A]  time = 0.83, antiderivative size = 37, normalized size of antiderivative = 1.42, number of steps used = 16, number of rules used = 10, integrand size = 94, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.106, Rules used = {1594, 27, 6688, 14, 74, 2301, 2302, 30, 2366, 29} \begin {gather*} -\frac {(x+2)^2}{x+1}+16 \log ^2(x)+\frac {2304}{\log ^2(4 x)}+\frac {384 \log (x)}{\log (4 x)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-4608 - 9216*x - 4608*x^2 + (-384 - 768*x - 384*x^2)*Log[x]*Log[4*x] + (384 + 768*x + 384*x^2)*Log[4*x]^2
+ (-2*x^2 - x^3 + (32 + 64*x + 32*x^2)*Log[x])*Log[4*x]^3)/((x + 2*x^2 + x^3)*Log[4*x]^3),x]

[Out]

-((2 + x)^2/(1 + x)) + 16*Log[x]^2 + 2304/Log[4*x]^2 + (384*Log[x])/Log[4*x]

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 27

Int[(u_.)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[u*Cancel[(b/2 + c*x)^(2*p)/c^p], x] /; Fr
eeQ[{a, b, c}, x] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 29

Int[(x_)^(-1), x_Symbol] :> Simp[Log[x], x]

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rule 74

Int[((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Simp[(b*(c + d*x)
^(n + 1)*(e + f*x)^(p + 1))/(d*f*(n + p + 2)), x] /; FreeQ[{a, b, c, d, e, f, n, p}, x] && NeQ[n + p + 2, 0] &
& EqQ[a*d*f*(n + p + 2) - b*(d*e*(n + 1) + c*f*(p + 1)), 0]

Rule 1594

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.) + (c_.)*(x_)^(r_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^
(q - p) + c*x^(r - p))^n, x] /; FreeQ[{a, b, c, p, q, r}, x] && IntegerQ[n] && PosQ[q - p] && PosQ[r - p]

Rule 2301

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2302

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/(x_), x_Symbol] :> Dist[1/(b*n), Subst[Int[x^p, x], x, a + b*L
og[c*x^n]], x] /; FreeQ[{a, b, c, n, p}, x]

Rule 2366

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_.) + Log[(f_.)*(x_)^(r_.)]*(e_.))*((g_.)*(x_))^(m_.), x_Sy
mbol] :> With[{u = IntHide[(g*x)^m*(a + b*Log[c*x^n])^p, x]}, Dist[d + e*Log[f*x^r], u, x] - Dist[e*r, Int[Sim
plifyIntegrand[u/x, x], x], x]] /; FreeQ[{a, b, c, d, e, f, g, m, n, p, r}, x] &&  !(EqQ[p, 1] && EqQ[a, 0] &&
NeQ[d, 0])

Rule 6688

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-4608-9216 x-4608 x^2+\left (-384-768 x-384 x^2\right ) \log (x) \log (4 x)+\left (384+768 x+384 x^2\right ) \log ^2(4 x)+\left (-2 x^2-x^3+\left (32+64 x+32 x^2\right ) \log (x)\right ) \log ^3(4 x)}{x \left (1+2 x+x^2\right ) \log ^3(4 x)} \, dx\\ &=\int \frac {-4608-9216 x-4608 x^2+\left (-384-768 x-384 x^2\right ) \log (x) \log (4 x)+\left (384+768 x+384 x^2\right ) \log ^2(4 x)+\left (-2 x^2-x^3+\left (32+64 x+32 x^2\right ) \log (x)\right ) \log ^3(4 x)}{x (1+x)^2 \log ^3(4 x)} \, dx\\ &=\int \frac {-\frac {x^2 (2+x)}{(1+x)^2}+\log (x) \left (32-\frac {384}{\log ^2(4 x)}\right )-\frac {4608}{\log ^3(4 x)}+\frac {384}{\log (4 x)}}{x} \, dx\\ &=\int \left (\frac {-2 x^2-x^3+32 \log (x)+64 x \log (x)+32 x^2 \log (x)}{x (1+x)^2}-\frac {4608}{x \log ^3(4 x)}-\frac {384 \log (x)}{x \log ^2(4 x)}+\frac {384}{x \log (4 x)}\right ) \, dx\\ &=-\left (384 \int \frac {\log (x)}{x \log ^2(4 x)} \, dx\right )+384 \int \frac {1}{x \log (4 x)} \, dx-4608 \int \frac {1}{x \log ^3(4 x)} \, dx+\int \frac {-2 x^2-x^3+32 \log (x)+64 x \log (x)+32 x^2 \log (x)}{x (1+x)^2} \, dx\\ &=\frac {384 \log (x)}{\log (4 x)}-384 \int \frac {1}{x \log (4 x)} \, dx+384 \operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,\log (4 x)\right )-4608 \operatorname {Subst}\left (\int \frac {1}{x^3} \, dx,x,\log (4 x)\right )+\int \left (-\frac {x (2+x)}{(1+x)^2}+\frac {32 \log (x)}{x}\right ) \, dx\\ &=\frac {2304}{\log ^2(4 x)}+\frac {384 \log (x)}{\log (4 x)}+384 \log (\log (4 x))+32 \int \frac {\log (x)}{x} \, dx-384 \operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,\log (4 x)\right )-\int \frac {x (2+x)}{(1+x)^2} \, dx\\ &=-\frac {(2+x)^2}{1+x}+16 \log ^2(x)+\frac {2304}{\log ^2(4 x)}+\frac {384 \log (x)}{\log (4 x)}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.14, size = 36, normalized size = 1.38 \begin {gather*} -384-x-\frac {1}{1+x}+16 \log ^2(x)+\frac {2304}{\log ^2(4 x)}+\frac {384 \log (x)}{\log (4 x)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-4608 - 9216*x - 4608*x^2 + (-384 - 768*x - 384*x^2)*Log[x]*Log[4*x] + (384 + 768*x + 384*x^2)*Log[
4*x]^2 + (-2*x^2 - x^3 + (32 + 64*x + 32*x^2)*Log[x])*Log[4*x]^3)/((x + 2*x^2 + x^3)*Log[4*x]^3),x]

[Out]

-384 - x - (1 + x)^(-1) + 16*Log[x]^2 + 2304/Log[4*x]^2 + (384*Log[x])/Log[4*x]

________________________________________________________________________________________

fricas [B]  time = 1.03, size = 107, normalized size = 4.12 \begin {gather*} \frac {64 \, {\left (x + 1\right )} \log \relax (2) \log \relax (x)^{3} + 16 \, {\left (x + 1\right )} \log \relax (x)^{4} - 4 \, {\left (x^{2} + 385 \, x + 385\right )} \log \relax (2)^{2} - 4 \, {\left (x^{2} + 193 \, x + 193\right )} \log \relax (2) \log \relax (x) + {\left (64 \, {\left (x + 1\right )} \log \relax (2)^{2} - x^{2} - x - 1\right )} \log \relax (x)^{2} + 2304 \, x + 2304}{4 \, {\left (x + 1\right )} \log \relax (2)^{2} + 4 \, {\left (x + 1\right )} \log \relax (2) \log \relax (x) + {\left (x + 1\right )} \log \relax (x)^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((32*x^2+64*x+32)*log(x)-x^3-2*x^2)*log(4*x)^3+(384*x^2+768*x+384)*log(4*x)^2+(-384*x^2-768*x-384)*
log(x)*log(4*x)-4608*x^2-9216*x-4608)/(x^3+2*x^2+x)/log(4*x)^3,x, algorithm="fricas")

[Out]

(64*(x + 1)*log(2)*log(x)^3 + 16*(x + 1)*log(x)^4 - 4*(x^2 + 385*x + 385)*log(2)^2 - 4*(x^2 + 193*x + 193)*log
(2)*log(x) + (64*(x + 1)*log(2)^2 - x^2 - x - 1)*log(x)^2 + 2304*x + 2304)/(4*(x + 1)*log(2)^2 + 4*(x + 1)*log
(2)*log(x) + (x + 1)*log(x)^2)

________________________________________________________________________________________

giac [A]  time = 0.26, size = 51, normalized size = 1.96 \begin {gather*} 16 \, \log \relax (x)^{2} - x - \frac {768 \, {\left (2 \, \log \relax (2)^{2} + \log \relax (2) \log \relax (x) - 3\right )}}{4 \, \log \relax (2)^{2} + 4 \, \log \relax (2) \log \relax (x) + \log \relax (x)^{2}} - \frac {1}{x + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((32*x^2+64*x+32)*log(x)-x^3-2*x^2)*log(4*x)^3+(384*x^2+768*x+384)*log(4*x)^2+(-384*x^2-768*x-384)*
log(x)*log(4*x)-4608*x^2-9216*x-4608)/(x^3+2*x^2+x)/log(4*x)^3,x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.13, size = 48, normalized size = 1.85

method	result	size
risch	\(16 \ln \relax (x )^{2}-\frac {x^{2}+x +1}{x +1}-\frac {384 \left (-24+16 \ln \relax (2)^{2}+8 \ln \relax (2) \ln \relax (x )\right )}{\left (2 \ln \relax (x )+4 \ln \relax (2)\right )^{2}}\)	\(48\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((32*x^2+64*x+32)*ln(x)-x^3-2*x^2)*ln(4*x)^3+(384*x^2+768*x+384)*ln(4*x)^2+(-384*x^2-768*x-384)*ln(x)*ln(
4*x)-4608*x^2-9216*x-4608)/(x^3+2*x^2+x)/ln(4*x)^3,x,method=_RETURNVERBOSE)

[Out]

16*ln(x)^2-(x^2+x+1)/(x+1)-384*(-24+16*ln(2)^2+8*ln(2)*ln(x))/(2*ln(x)+4*ln(2))^2

________________________________________________________________________________________

maxima [B]  time = 0.50, size = 134, normalized size = 5.15 \begin {gather*} \frac {16 \, {\left (x + 1\right )} \log \relax (x)^{4} - 4 \, x^{2} \log \relax (2)^{2} + 64 \, {\left (x \log \relax (2) + \log \relax (2)\right )} \log \relax (x)^{3} + {\left ({\left (64 \, \log \relax (2)^{2} - 1\right )} x - x^{2} + 64 \, \log \relax (2)^{2} - 1\right )} \log \relax (x)^{2} - 4 \, {\left (385 \, \log \relax (2)^{2} - 576\right )} x - 1540 \, \log \relax (2)^{2} - 4 \, {\left (x^{2} \log \relax (2) + 193 \, x \log \relax (2) + 193 \, \log \relax (2)\right )} \log \relax (x) + 2304}{4 \, x \log \relax (2)^{2} + {\left (x + 1\right )} \log \relax (x)^{2} + 4 \, \log \relax (2)^{2} + 4 \, {\left (x \log \relax (2) + \log \relax (2)\right )} \log \relax (x)} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((32*x^2+64*x+32)*log(x)-x^3-2*x^2)*log(4*x)^3+(384*x^2+768*x+384)*log(4*x)^2+(-384*x^2-768*x-384)*
log(x)*log(4*x)-4608*x^2-9216*x-4608)/(x^3+2*x^2+x)/log(4*x)^3,x, algorithm="maxima")

[Out]

(16*(x + 1)*log(x)^4 - 4*x^2*log(2)^2 + 64*(x*log(2) + log(2))*log(x)^3 + ((64*log(2)^2 - 1)*x - x^2 + 64*log(
2)^2 - 1)*log(x)^2 - 4*(385*log(2)^2 - 576)*x - 1540*log(2)^2 - 4*(x^2*log(2) + 193*x*log(2) + 193*log(2))*log
(x) + 2304)/(4*x*log(2)^2 + (x + 1)*log(x)^2 + 4*log(2)^2 + 4*(x*log(2) + log(2))*log(x))

________________________________________________________________________________________

mupad [B]  time = 4.59, size = 95, normalized size = 3.65 \begin {gather*} 16\,{\ln \relax (x)}^2-\frac {192\,\ln \relax (x)\,\left (\ln \left (4\,x\right )-\ln \relax (x)\right )+192\,{\left (\ln \left (4\,x\right )-\ln \relax (x)\right )}^2-2304}{2\,\ln \relax (x)\,\left (\ln \left (4\,x\right )-\ln \relax (x)\right )+{\ln \relax (x)}^2+{\left (\ln \left (4\,x\right )-\ln \relax (x)\right )}^2}-\frac {1}{x+1}-x-\frac {192\,\left (\ln \left (4\,x\right )-\ln \relax (x)\right )}{\ln \left (4\,x\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(9216*x + log(4*x)^3*(2*x^2 - log(x)*(64*x + 32*x^2 + 32) + x^3) - log(4*x)^2*(768*x + 384*x^2 + 384) + 4
608*x^2 + log(4*x)*log(x)*(768*x + 384*x^2 + 384) + 4608)/(log(4*x)^3*(x + 2*x^2 + x^3)),x)

[Out]

16*log(x)^2 - (192*log(x)*(log(4*x) - log(x)) + 192*(log(4*x) - log(x))^2 - 2304)/(2*log(x)*(log(4*x) - log(x)
) + log(x)^2 + (log(4*x) - log(x))^2) - 1/(x + 1) - x - (192*(log(4*x) - log(x)))/log(4*x)

________________________________________________________________________________________

sympy [A]  time = 0.43, size = 49, normalized size = 1.88 \begin {gather*} - x + \frac {- 768 \log {\relax (2 )} \log {\relax (x )} - 1536 \log {\relax (2 )}^{2} + 2304}{\log {\relax (x )}^{2} + 4 \log {\relax (2 )} \log {\relax (x )} + 4 \log {\relax (2 )}^{2}} + 16 \log {\relax (x )}^{2} - \frac {1}{x + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((32*x**2+64*x+32)*ln(x)-x**3-2*x**2)*ln(4*x)**3+(384*x**2+768*x+384)*ln(4*x)**2+(-384*x**2-768*x-3
84)*ln(x)*ln(4*x)-4608*x**2-9216*x-4608)/(x**3+2*x**2+x)/ln(4*x)**3,x)

[Out]

-x + (-768*log(2)*log(x) - 1536*log(2)**2 + 2304)/(log(x)**2 + 4*log(2)*log(x) + 4*log(2)**2) + 16*log(x)**2 -
1/(x + 1)

________________________________________________________________________________________