3.79.63 \(\int \frac {(256-256 x) \log (8-2 x+x^2)}{8-2 x+x^2} \, dx\)

Optimal. Leaf size=14 \[ -64 \log ^2\left (7+(1-x)^2\right ) \]

________________________________________________________________________________________

Rubi [C]  time = 0.45, antiderivative size = 249, normalized size of antiderivative = 17.79, number of steps used = 18, number of rules used = 8, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.320, Rules used = {2528, 2524, 2418, 2390, 2301, 2394, 2393, 2391} \begin {gather*} 128 \text {Li}_2\left (-\frac {-i x-\sqrt {7}+i}{2 \sqrt {7}}\right )+128 \text {Li}_2\left (\frac {-i x+\sqrt {7}+i}{2 \sqrt {7}}\right )-128 \log \left (2 x-2 \left (1-i \sqrt {7}\right )\right ) \log \left (x^2-2 x+8\right )-128 \log \left (2 x-2 \left (1+i \sqrt {7}\right )\right ) \log \left (x^2-2 x+8\right )+64 \log ^2\left (-2 \left (-x-i \sqrt {7}+1\right )\right )+64 \log ^2\left (-2 \left (-x+i \sqrt {7}+1\right )\right )+128 \log \left (-\frac {i \left (-x+i \sqrt {7}+1\right )}{2 \sqrt {7}}\right ) \log \left (2 x-2 \left (1-i \sqrt {7}\right )\right )+128 \log \left (\frac {i \left (-x-i \sqrt {7}+1\right )}{2 \sqrt {7}}\right ) \log \left (2 x-2 \left (1+i \sqrt {7}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((256 - 256*x)*Log[8 - 2*x + x^2])/(8 - 2*x + x^2),x]

[Out]

64*Log[-2*(1 - I*Sqrt[7] - x)]^2 + 64*Log[-2*(1 + I*Sqrt[7] - x)]^2 + 128*Log[((-1/2*I)*(1 + I*Sqrt[7] - x))/S
qrt[7]]*Log[-2*(1 - I*Sqrt[7]) + 2*x] + 128*Log[((I/2)*(1 - I*Sqrt[7] - x))/Sqrt[7]]*Log[-2*(1 + I*Sqrt[7]) +
2*x] - 128*Log[-2*(1 - I*Sqrt[7]) + 2*x]*Log[8 - 2*x + x^2] - 128*Log[-2*(1 + I*Sqrt[7]) + 2*x]*Log[8 - 2*x +
x^2] + 128*PolyLog[2, -1/2*(I - Sqrt[7] - I*x)/Sqrt[7]] + 128*PolyLog[2, (I + Sqrt[7] - I*x)/(2*Sqrt[7])]

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 2390

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

Rule 2391

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> -Simp[PolyLog[2, -(c*e*x^n)]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]

Rule 2393

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Dist[1/g, Subst[Int[(a +
b*Log[1 + (c*e*x)/g])/x, x], x, f + g*x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[e*f - d*g, 0] && EqQ[g
+ c*(e*f - d*g), 0]

Rule 2394

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

Rule 2418

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[
(a + b*Log[c*(d + e*x)^n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, d, e, n}, x] && RationalFunct
ionQ[RFx, x] && IntegerQ[p]

Rule 2524

Int[((a_.) + Log[(c_.)*(RFx_)^(p_.)]*(b_.))^(n_.)/((d_.) + (e_.)*(x_)), x_Symbol] :> Simp[(Log[d + e*x]*(a + b
*Log[c*RFx^p])^n)/e, x] - Dist[(b*n*p)/e, Int[(Log[d + e*x]*(a + b*Log[c*RFx^p])^(n - 1)*D[RFx, x])/RFx, x], x
] /; FreeQ[{a, b, c, d, e, p}, x] && RationalFunctionQ[RFx, x] && IGtQ[n, 0]

Rule 2528

Int[((a_.) + Log[(c_.)*(RFx_)^(p_.)]*(b_.))^(n_.)*(RGx_), x_Symbol] :> With[{u = ExpandIntegrand[(a + b*Log[c*
RFx^p])^n, RGx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, p}, x] && RationalFunctionQ[RFx, x] && RationalF
unctionQ[RGx, x] && IGtQ[n, 0]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {256 \log \left (8-2 x+x^2\right )}{-2-2 i \sqrt {7}+2 x}-\frac {256 \log \left (8-2 x+x^2\right )}{-2+2 i \sqrt {7}+2 x}\right ) \, dx\\ &=-\left (256 \int \frac {\log \left (8-2 x+x^2\right )}{-2-2 i \sqrt {7}+2 x} \, dx\right )-256 \int \frac {\log \left (8-2 x+x^2\right )}{-2+2 i \sqrt {7}+2 x} \, dx\\ &=-128 \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )+128 \int \frac {(-2+2 x) \log \left (-2-2 i \sqrt {7}+2 x\right )}{8-2 x+x^2} \, dx+128 \int \frac {(-2+2 x) \log \left (-2+2 i \sqrt {7}+2 x\right )}{8-2 x+x^2} \, dx\\ &=-128 \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )+128 \int \left (\frac {2 \log \left (-2-2 i \sqrt {7}+2 x\right )}{-2-2 i \sqrt {7}+2 x}+\frac {2 \log \left (-2-2 i \sqrt {7}+2 x\right )}{-2+2 i \sqrt {7}+2 x}\right ) \, dx+128 \int \left (\frac {2 \log \left (-2+2 i \sqrt {7}+2 x\right )}{-2-2 i \sqrt {7}+2 x}+\frac {2 \log \left (-2+2 i \sqrt {7}+2 x\right )}{-2+2 i \sqrt {7}+2 x}\right ) \, dx\\ &=-128 \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )+256 \int \frac {\log \left (-2-2 i \sqrt {7}+2 x\right )}{-2-2 i \sqrt {7}+2 x} \, dx+256 \int \frac {\log \left (-2-2 i \sqrt {7}+2 x\right )}{-2+2 i \sqrt {7}+2 x} \, dx+256 \int \frac {\log \left (-2+2 i \sqrt {7}+2 x\right )}{-2-2 i \sqrt {7}+2 x} \, dx+256 \int \frac {\log \left (-2+2 i \sqrt {7}+2 x\right )}{-2+2 i \sqrt {7}+2 x} \, dx\\ &=128 \log \left (-\frac {i \left (1+i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right )+128 \log \left (\frac {i \left (1-i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right )-128 \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )+128 \operatorname {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,-2-2 i \sqrt {7}+2 x\right )+128 \operatorname {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,-2+2 i \sqrt {7}+2 x\right )-256 \int \frac {\log \left (\frac {2 \left (-2-2 i \sqrt {7}+2 x\right )}{2 \left (-2-2 i \sqrt {7}\right )-2 \left (-2+2 i \sqrt {7}\right )}\right )}{-2+2 i \sqrt {7}+2 x} \, dx-256 \int \frac {\log \left (\frac {2 \left (-2+2 i \sqrt {7}+2 x\right )}{-2 \left (-2-2 i \sqrt {7}\right )+2 \left (-2+2 i \sqrt {7}\right )}\right )}{-2-2 i \sqrt {7}+2 x} \, dx\\ &=64 \log ^2\left (-2 \left (1-i \sqrt {7}-x\right )\right )+64 \log ^2\left (-2 \left (1+i \sqrt {7}-x\right )\right )+128 \log \left (-\frac {i \left (1+i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right )+128 \log \left (\frac {i \left (1-i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right )-128 \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{2 \left (-2-2 i \sqrt {7}\right )-2 \left (-2+2 i \sqrt {7}\right )}\right )}{x} \, dx,x,-2+2 i \sqrt {7}+2 x\right )-128 \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {2 x}{-2 \left (-2-2 i \sqrt {7}\right )+2 \left (-2+2 i \sqrt {7}\right )}\right )}{x} \, dx,x,-2-2 i \sqrt {7}+2 x\right )\\ &=64 \log ^2\left (-2 \left (1-i \sqrt {7}-x\right )\right )+64 \log ^2\left (-2 \left (1+i \sqrt {7}-x\right )\right )+128 \log \left (-\frac {i \left (1+i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right )+128 \log \left (\frac {i \left (1-i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right )-128 \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )-128 \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right ) \log \left (8-2 x+x^2\right )+128 \text {Li}_2\left (-\frac {i-\sqrt {7}-i x}{2 \sqrt {7}}\right )+128 \text {Li}_2\left (\frac {i+\sqrt {7}-i x}{2 \sqrt {7}}\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [C]  time = 0.04, size = 265, normalized size = 18.93 \begin {gather*} -256 \left (-\frac {1}{2} \log \left (-\frac {i \left (1+i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1-i \sqrt {7}\right )+2 x\right )-\frac {1}{4} \log ^2\left (-2 \left (1-i \sqrt {7}\right )+2 x\right )-\frac {1}{2} \log \left (\frac {i \left (1-i \sqrt {7}-x\right )}{2 \sqrt {7}}\right ) \log \left (-2 \left (1+i \sqrt {7}\right )+2 x\right )-\frac {1}{4} \log ^2\left (-2 \left (1+i \sqrt {7}\right )+2 x\right )+\frac {1}{2} \log \left (-2-2 i \sqrt {7}+2 x\right ) \log \left (8-2 x+x^2\right )+\frac {1}{2} \log \left (-2+2 i \sqrt {7}+2 x\right ) \log \left (8-2 x+x^2\right )-\frac {1}{2} \text {Li}_2\left (\frac {i \left (1-i \sqrt {7}-x\right )}{2 \sqrt {7}}\right )-\frac {1}{2} \text {Li}_2\left (-\frac {i \left (1+i \sqrt {7}-x\right )}{2 \sqrt {7}}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((256 - 256*x)*Log[8 - 2*x + x^2])/(8 - 2*x + x^2),x]

[Out]

-256*(-1/2*(Log[((-1/2*I)*(1 + I*Sqrt[7] - x))/Sqrt[7]]*Log[-2*(1 - I*Sqrt[7]) + 2*x]) - Log[-2*(1 - I*Sqrt[7]
) + 2*x]^2/4 - (Log[((I/2)*(1 - I*Sqrt[7] - x))/Sqrt[7]]*Log[-2*(1 + I*Sqrt[7]) + 2*x])/2 - Log[-2*(1 + I*Sqrt
[7]) + 2*x]^2/4 + (Log[-2 - (2*I)*Sqrt[7] + 2*x]*Log[8 - 2*x + x^2])/2 + (Log[-2 + (2*I)*Sqrt[7] + 2*x]*Log[8
- 2*x + x^2])/2 - PolyLog[2, ((I/2)*(1 - I*Sqrt[7] - x))/Sqrt[7]]/2 - PolyLog[2, ((-1/2*I)*(1 + I*Sqrt[7] - x)
)/Sqrt[7]]/2)

________________________________________________________________________________________

fricas [A]  time = 0.72, size = 13, normalized size = 0.93 \begin {gather*} -64 \, \log \left (x^{2} - 2 \, x + 8\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-256*x+256)*log(x^2-2*x+8)/(x^2-2*x+8),x, algorithm="fricas")

[Out]

-64*log(x^2 - 2*x + 8)^2

________________________________________________________________________________________

giac [A]  time = 0.21, size = 13, normalized size = 0.93 \begin {gather*} -64 \, \log \left (x^{2} - 2 \, x + 8\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-256*x+256)*log(x^2-2*x+8)/(x^2-2*x+8),x, algorithm="giac")

[Out]

-64*log(x^2 - 2*x + 8)^2

________________________________________________________________________________________

maple [A]  time = 0.48, size = 14, normalized size = 1.00

method	result	size
norman	\(-64 \ln \left (x^{2}-2 x +8\right )^{2}\)	\(14\)
risch	\(-64 \ln \left (x^{2}-2 x +8\right )^{2}\)	\(14\)
default	\(-128 \ln \left (x -1-i \sqrt {7}\right ) \ln \left (x^{2}-2 x +8\right )+64 \ln \left (x -1-i \sqrt {7}\right )^{2}+128 \dilog \left (-\frac {i \left (-1+i \sqrt {7}+x \right ) \sqrt {7}}{14}\right )+128 \ln \left (x -1-i \sqrt {7}\right ) \ln \left (-\frac {i \left (-1+i \sqrt {7}+x \right ) \sqrt {7}}{14}\right )-128 \ln \left (-1+i \sqrt {7}+x \right ) \ln \left (x^{2}-2 x +8\right )+64 \ln \left (-1+i \sqrt {7}+x \right )^{2}+128 \dilog \left (\frac {i \left (x -1-i \sqrt {7}\right ) \sqrt {7}}{14}\right )+128 \ln \left (-1+i \sqrt {7}+x \right ) \ln \left (\frac {i \left (x -1-i \sqrt {7}\right ) \sqrt {7}}{14}\right )\)	\(164\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-256*x+256)*ln(x^2-2*x+8)/(x^2-2*x+8),x,method=_RETURNVERBOSE)

[Out]

-64*ln(x^2-2*x+8)^2

________________________________________________________________________________________

maxima [A]  time = 0.35, size = 13, normalized size = 0.93 \begin {gather*} -64 \, \log \left (x^{2} - 2 \, x + 8\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-256*x+256)*log(x^2-2*x+8)/(x^2-2*x+8),x, algorithm="maxima")

[Out]

-64*log(x^2 - 2*x + 8)^2

________________________________________________________________________________________

mupad [B]  time = 0.18, size = 13, normalized size = 0.93 \begin {gather*} -64\,{\ln \left (x^2-2\,x+8\right )}^2 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(x^2 - 2*x + 8)*(256*x - 256))/(x^2 - 2*x + 8),x)

[Out]

-64*log(x^2 - 2*x + 8)^2

________________________________________________________________________________________

sympy [A]  time = 0.13, size = 14, normalized size = 1.00 \begin {gather*} - 64 \log {\left (x^{2} - 2 x + 8 \right )}^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-256*x+256)*ln(x**2-2*x+8)/(x**2-2*x+8),x)

[Out]

-64*log(x**2 - 2*x + 8)**2

________________________________________________________________________________________