3.59.46 \(\int \frac {(20 x+6 x^2-2 x^3) \log (\frac {1}{4} (25-10 x+x^2))+(8 x-2 x^3+(20-14 x+2 x^2) \log (\frac {1}{4} (25-10 x+x^2))) \log (4-4 x+x^2)}{10 x^2-7 x^3+x^4} \, dx\) [5846]

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

[Out]

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

________________________________________________________________________________________

Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
time = 2.16, antiderivative size = 88, normalized size of antiderivative = 3.26, number of steps used = 118, number of rules used = 34, integrand size = 89, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.382, Rules used = {1608, 6820, 6860, 2465, 2441, 2440, 2438, 2352, 14, 907, 2442, 36, 31, 29, 6874, 78, 2436, 2332, 45, 2463, 2481, 2422, 2354, 2421, 6724, 2458, 2388, 2338, 2479, 2384, 2489, 2487, 2485, 2393} \begin {gather*} -4 \text {PolyLog}\left (2,\frac {5-x}{3}\right )-4 \text {PolyLog}\left (2,\frac {x-2}{3}\right )-2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x-2}{3}\right )-2 \log \left (\frac {5-x}{3}\right ) \log \left ((x-2)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((x-2)^2\right )}{x} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((20*x + 6*x^2 - 2*x^3)*Log[(25 - 10*x + x^2)/4] + (8*x - 2*x^3 + (20 - 14*x + 2*x^2)*Log[(25 - 10*x + x^2
)/4])*Log[4 - 4*x + x^2])/(10*x^2 - 7*x^3 + x^4),x]

[Out]

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

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 29

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

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 36

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))), x_Symbol] :> Dist[b/(b*c - a*d), Int[1/(a + b*x), x], x] -
Dist[d/(b*c - a*d), Int[1/(c + d*x), x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0]

Rule 45

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rule 78

Int[((a_.) + (b_.)*(x_))*((c_) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Int[ExpandIntegran
d[(a + b*x)*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && NeQ[b*c - a*d, 0] && ((ILtQ[
n, 0] && ILtQ[p, 0]) || EqQ[p, 1] || (IGtQ[p, 0] && ( !IntegerQ[n] || LeQ[9*p + 5*(n + 2), 0] || GeQ[n + p + 1
, 0] || (GeQ[n + p + 2, 0] && RationalQ[a, b, c, d, e, f]))))

Rule 907

Int[((d_.) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))^(n_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :
> Int[ExpandIntegrand[(d + e*x)^m*(f + g*x)^n*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] &
& NeQ[e*f - d*g, 0] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] && IntegerQ[p] && ((EqQ[p, 1] && I
ntegersQ[m, n]) || (ILtQ[m, 0] && ILtQ[n, 0]))

Rule 1608

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 2332

Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{c, n}, x]

Rule 2338

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 2352

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

Rule 2354

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

Rule 2384

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

Rule 2388

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

Rule 2393

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(r_.))^(q_.), x_Symbol] :> Wit
h[{u = ExpandIntegrand[a + b*Log[c*x^n], (f*x)^m*(d + e*x^r)^q, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c,
d, e, f, m, n, q, r}, x] && IntegerQ[q] && (GtQ[q, 0] || (IntegerQ[m] && IntegerQ[r]))

Rule 2421

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

Rule 2422

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

Rule 2436

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

Rule 2438

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 2440

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 2441

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 2442

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

Rule 2458

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

Rule 2463

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((h_.)*(x_))^(m_.)*((f_) + (g_.)*(x_)^(r_.))^(q
_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*Log[c*(d + e*x)^n])^p, (h*x)^m*(f + g*x^r)^q, x], x] /; FreeQ[{a,
b, c, d, e, f, g, h, m, n, p, q, r}, x] && IntegerQ[m] && IntegerQ[q]

Rule 2465

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 2479

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + Log[(h_.)*((i_.) + (j_.)*(x_))^(m_.)]*
(g_.)), x_Symbol] :> Simp[x*(a + b*Log[c*(d + e*x)^n])^p*(f + g*Log[h*(i + j*x)^m]), x] + (-Dist[g*j*m, Int[x*
((a + b*Log[c*(d + e*x)^n])^p/(i + j*x)), x], x] - Dist[b*e*n*p, Int[x*(a + b*Log[c*(d + e*x)^n])^(p - 1)*((f
+ g*Log[h*(i + j*x)^m])/(d + e*x)), x], x]) /; FreeQ[{a, b, c, d, e, f, g, h, i, j, m, n}, x] && IGtQ[p, 0]

Rule 2481

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + Log[(h_.)*((i_.) + (j_.)*(x_))^(m_.)]*
(g_.))*((k_.) + (l_.)*(x_))^(r_.), x_Symbol] :> Dist[1/e, Subst[Int[(k*(x/d))^r*(a + b*Log[c*x^n])^p*(f + g*Lo
g[h*((e*i - d*j)/e + j*(x/e))^m]), x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, h, i, j, k, l, n, p, r},
x] && EqQ[e*k - d*l, 0]

Rule 2485

Int[(Log[(a_) + (b_.)*(x_)]*Log[(c_) + (d_.)*(x_)])/(x_), x_Symbol] :> Simp[Log[(-b)*(x/a)]*Log[a + b*x]*Log[c
+ d*x], x] + (Simp[(1/2)*(Log[(-b)*(x/a)] - Log[(-(b*c - a*d))*(x/(a*(c + d*x)))] + Log[(b*c - a*d)/(b*(c + d
*x))])*Log[a*((c + d*x)/(c*(a + b*x)))]^2, x] - Simp[(1/2)*(Log[(-b)*(x/a)] - Log[(-d)*(x/c)])*(Log[a + b*x] +
Log[a*((c + d*x)/(c*(a + b*x)))])^2, x] + Simp[(Log[c + d*x] - Log[a*((c + d*x)/(c*(a + b*x)))])*PolyLog[2, 1
+ b*(x/a)], x] + Simp[(Log[a + b*x] + Log[a*((c + d*x)/(c*(a + b*x)))])*PolyLog[2, 1 + d*(x/c)], x] + Simp[Lo
g[a*((c + d*x)/(c*(a + b*x)))]*PolyLog[2, c*((a + b*x)/(a*(c + d*x)))], x] - Simp[Log[a*((c + d*x)/(c*(a + b*x
)))]*PolyLog[2, d*((a + b*x)/(b*(c + d*x)))], x] - Simp[PolyLog[3, 1 + b*(x/a)], x] - Simp[PolyLog[3, 1 + d*(x
/c)], x] + Simp[PolyLog[3, c*((a + b*x)/(a*(c + d*x)))], x] - Simp[PolyLog[3, d*((a + b*x)/(b*(c + d*x)))], x]
) /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0]

Rule 2487

Int[(Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*Log[(h_.)*((i_.) + (j_.)*(x_))^(m_.)])/(x_), x_Symbol] :> Dist[m, In
t[Log[i + j*x]*(Log[c*(d + e*x)^n]/x), x], x] - Dist[m*Log[i + j*x] - Log[h*(i + j*x)^m], Int[Log[c*(d + e*x)^
n]/x, x], x] /; FreeQ[{c, d, e, h, i, j, m, n}, x] && NeQ[e*i - d*j, 0] && NeQ[i + j*x, h*(i + j*x)^m]

Rule 2489

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + Log[(h_.)*((i_.) + (j_.)*(x_))^(m_.)]*
(g_.))*(x_)^(r_.), x_Symbol] :> Simp[x^(r + 1)*(a + b*Log[c*(d + e*x)^n])^p*((f + g*Log[h*(i + j*x)^m])/(r + 1
)), x] + (-Dist[g*j*(m/(r + 1)), Int[x^(r + 1)*((a + b*Log[c*(d + e*x)^n])^p/(i + j*x)), x], x] - Dist[b*e*n*(
p/(r + 1)), Int[x^(r + 1)*(a + b*Log[c*(d + e*x)^n])^(p - 1)*((f + g*Log[h*(i + j*x)^m])/(d + e*x)), x], x]) /
; FreeQ[{a, b, c, d, e, f, g, h, i, j, m, n}, x] && IGtQ[p, 0] && IntegerQ[r] && (EqQ[p, 1] || GtQ[r, 0]) && N
eQ[r, -1]

Rule 6724

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

Rule 6820

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

Rule 6860

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]

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 {\left (20 x+6 x^2-2 x^3\right ) \log \left (\frac {1}{4} \left (25-10 x+x^2\right )\right )+\left (8 x-2 x^3+\left (20-14 x+2 x^2\right ) \log \left (\frac {1}{4} \left (25-10 x+x^2\right )\right )\right ) \log \left (4-4 x+x^2\right )}{x^2 \left (10-7 x+x^2\right )} \, dx\\ &=\int \frac {-2 x \left (-4+x^2\right ) \log \left ((-2+x)^2\right )-2 (-5+x) \log \left (\frac {1}{4} (-5+x)^2\right ) \left (x (2+x)-(-2+x) \log \left ((-2+x)^2\right )\right )}{x^2 \left (10-7 x+x^2\right )} \, dx\\ &=\int \left (-\frac {2 (2+x) \log \left (\frac {1}{4} (-5+x)^2\right )}{(-2+x) x}-\frac {2 \left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{(-5+x) x^2}\right ) \, dx\\ &=-\left (2 \int \frac {(2+x) \log \left (\frac {1}{4} (-5+x)^2\right )}{(-2+x) x} \, dx\right )-2 \int \frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{(-5+x) x^2} \, dx\\ &=-\left (2 \int \left (\frac {2 \log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x}-\frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{x}\right ) \, dx\right )-2 \int \left (\frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{25 (-5+x)}-\frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{5 x^2}-\frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{25 x}\right ) \, dx\\ &=-\left (\frac {2}{25} \int \frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{-5+x} \, dx\right )+\frac {2}{25} \int \frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{x} \, dx+\frac {2}{5} \int \frac {\left (2 x+x^2+5 \log \left (\frac {1}{4} (-5+x)^2\right )-x \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{x^2} \, dx+2 \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{x} \, dx-4 \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x} \, dx\\ &=-4 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )+2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x}{5}\right )+\frac {2}{25} \int \frac {\left (x (2+x)-(-5+x) \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{x} \, dx-\frac {2}{25} \int \left (\frac {2 x \log \left ((-2+x)^2\right )}{-5+x}+\frac {x^2 \log \left ((-2+x)^2\right )}{-5+x}+\frac {5 \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{-5+x}-\frac {x \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{-5+x}\right ) \, dx+\frac {2}{5} \int \frac {\left (x (2+x)-(-5+x) \log \left (\frac {1}{4} (-5+x)^2\right )\right ) \log \left ((-2+x)^2\right )}{x^2} \, dx-4 \int \frac {\log \left (\frac {x}{5}\right )}{-5+x} \, dx+8 \int \frac {\log \left (\frac {1}{3} (-2+x)\right )}{-5+x} \, dx\\ &=-4 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )+2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x}{5}\right )+4 \text {Li}_2\left (1-\frac {x}{5}\right )-\frac {2}{25} \int \frac {x^2 \log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {2}{25} \int \frac {x \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {2}{25} \int \left (2 \log \left ((-2+x)^2\right )+x \log \left ((-2+x)^2\right )-\log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )+\frac {5 \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{x}\right ) \, dx-\frac {4}{25} \int \frac {x \log \left ((-2+x)^2\right )}{-5+x} \, dx-\frac {2}{5} \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {2}{5} \int \left (\log \left ((-2+x)^2\right )+\frac {2 \log \left ((-2+x)^2\right )}{x}+\frac {5 \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{x^2}-\frac {\log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{x}\right ) \, dx+8 \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{3}\right )}{x} \, dx,x,-5+x\right )\\ &=-4 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )+2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x}{5}\right )-8 \text {Li}_2\left (\frac {5-x}{3}\right )+4 \text {Li}_2\left (1-\frac {x}{5}\right )+\frac {2}{25} \int x \log \left ((-2+x)^2\right ) \, dx-\frac {2}{25} \int \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right ) \, dx-\frac {2}{25} \int \left (5 \log \left ((-2+x)^2\right )+\frac {25 \log \left ((-2+x)^2\right )}{-5+x}+x \log \left ((-2+x)^2\right )\right ) \, dx+\frac {2}{25} \int \left (\log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )+\frac {5 \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{-5+x}\right ) \, dx+\frac {4}{25} \int \log \left ((-2+x)^2\right ) \, dx-\frac {4}{25} \int \left (\log \left ((-2+x)^2\right )+\frac {5 \log \left ((-2+x)^2\right )}{-5+x}\right ) \, dx+\frac {2}{5} \int \log \left ((-2+x)^2\right ) \, dx-\frac {2}{5} \text {Subst}\left (\int \frac {\log \left (\frac {x^2}{4}\right ) \log \left ((3+x)^2\right )}{x} \, dx,x,-5+x\right )+\frac {4}{5} \int \frac {\log \left ((-2+x)^2\right )}{x} \, dx+2 \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{x^2} \, dx\\ &=-4 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )+\frac {1}{25} x^2 \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}-\frac {2}{25} x \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )-\frac {1}{10} \log ^2\left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )+2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x}{5}\right )+\frac {4}{5} \log \left ((-2+x)^2\right ) \log \left (\frac {x}{2}\right )-8 \text {Li}_2\left (\frac {5-x}{3}\right )+4 \text {Li}_2\left (1-\frac {x}{5}\right )-\frac {2}{25} \int \frac {x^2}{-2+x} \, dx-\frac {2}{25} \int x \log \left ((-2+x)^2\right ) \, dx+\frac {2}{25} \int \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right ) \, dx+\frac {4}{25} \int \frac {x \log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x} \, dx-\frac {4}{25} \int \log \left ((-2+x)^2\right ) \, dx+\frac {4}{25} \int \frac {x \log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {4}{25} \text {Subst}\left (\int \log \left (x^2\right ) \, dx,x,-2+x\right )+\frac {1}{5} \text {Subst}\left (\int \frac {\log ^2\left (\frac {x^2}{4}\right )}{3+x} \, dx,x,-5+x\right )-\frac {2}{5} \int \log \left ((-2+x)^2\right ) \, dx+\frac {2}{5} \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {2}{5} \text {Subst}\left (\int \log \left (x^2\right ) \, dx,x,-2+x\right )-\frac {4}{5} \int \frac {\log \left ((-2+x)^2\right )}{-5+x} \, dx-\frac {8}{5} \int \frac {\log \left (\frac {x}{2}\right )}{-2+x} \, dx-2 \int \frac {\log \left ((-2+x)^2\right )}{-5+x} \, dx+4 \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{(-2+x) x} \, dx+4 \int \frac {\log \left ((-2+x)^2\right )}{(-5+x) x} \, dx\\ &=-\frac {28 x}{25}-4 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )+\frac {1}{5} \log ^2\left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )-\frac {14}{25} (2-x) \log \left ((-2+x)^2\right )-\frac {14}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}-\frac {1}{10} \log ^2\left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )+2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x}{5}\right )+\frac {4}{5} \log \left ((-2+x)^2\right ) \log \left (\frac {x}{2}\right )-8 \text {Li}_2\left (\frac {5-x}{3}\right )+\frac {8}{5} \text {Li}_2\left (1-\frac {x}{2}\right )+4 \text {Li}_2\left (1-\frac {x}{5}\right )+\frac {2}{25} \int \frac {x^2}{-2+x} \, dx-\frac {2}{25} \int \left (2+\frac {4}{-2+x}+x\right ) \, dx-\frac {4}{25} \int \frac {x \log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x} \, dx+\frac {4}{25} \int \left (\log \left (\frac {1}{4} (-5+x)^2\right )+\frac {2 \log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x}\right ) \, dx-\frac {4}{25} \int \frac {x \log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {4}{25} \int \left (\log \left ((-2+x)^2\right )+\frac {5 \log \left ((-2+x)^2\right )}{-5+x}\right ) \, dx-\frac {4}{25} \text {Subst}\left (\int \log \left (x^2\right ) \, dx,x,-2+x\right )-\frac {2}{5} \text {Subst}\left (\int \log \left (x^2\right ) \, dx,x,-2+x\right )+\frac {2}{5} \text {Subst}\left (\int \frac {\log \left (\frac {x^2}{4}\right ) \log \left ((3+x)^2\right )}{x} \, dx,x,-5+x\right )-\frac {4}{5} \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{3}\right ) \log \left (\frac {x^2}{4}\right )}{x} \, dx,x,-5+x\right )+\frac {8}{5} \int \frac {\log \left (\frac {5-x}{3}\right )}{-2+x} \, dx+4 \int \frac {\log \left (\frac {5-x}{3}\right )}{-2+x} \, dx+4 \int \left (\frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{2 (-2+x)}-\frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{2 x}\right ) \, dx+4 \int \left (\frac {\log \left ((-2+x)^2\right )}{5 (-5+x)}-\frac {\log \left ((-2+x)^2\right )}{5 x}\right ) \, dx\\ &=-\frac {4 x}{25}-\frac {x^2}{25}-\frac {8}{25} \log (2-x)-4 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )+\frac {1}{5} \log ^2\left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )-\frac {14}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}+2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {x}{5}\right )+\frac {4}{5} \log \left ((-2+x)^2\right ) \log \left (\frac {x}{2}\right )-8 \text {Li}_2\left (\frac {5-x}{3}\right )+\frac {4}{5} \log \left (\frac {1}{4} (5-x)^2\right ) \text {Li}_2\left (\frac {5-x}{3}\right )+\frac {8}{5} \text {Li}_2\left (1-\frac {x}{2}\right )+4 \text {Li}_2\left (1-\frac {x}{5}\right )+\frac {2}{25} \int \left (2+\frac {4}{-2+x}+x\right ) \, dx+\frac {4}{25} \int \log \left (\frac {1}{4} (-5+x)^2\right ) \, dx-\frac {4}{25} \int \left (\log \left (\frac {1}{4} (-5+x)^2\right )+\frac {2 \log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x}\right ) \, dx+\frac {4}{25} \int \log \left ((-2+x)^2\right ) \, dx-\frac {4}{25} \int \left (\log \left ((-2+x)^2\right )+\frac {5 \log \left ((-2+x)^2\right )}{-5+x}\right ) \, dx-\frac {1}{5} \text {Subst}\left (\int \frac {\log ^2\left (\frac {x^2}{4}\right )}{3+x} \, dx,x,-5+x\right )+\frac {8}{25} \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x} \, dx+2 \left (\frac {4}{5} \int \frac {\log \left ((-2+x)^2\right )}{-5+x} \, dx\right )-\frac {4}{5} \int \frac {\log \left ((-2+x)^2\right )}{x} \, dx+\frac {8}{5} \text {Subst}\left (\int \frac {\log \left (1-\frac {x}{3}\right )}{x} \, dx,x,-2+x\right )-\frac {8}{5} \text {Subst}\left (\int \frac {\text {Li}_2\left (-\frac {x}{3}\right )}{x} \, dx,x,-5+x\right )+2 \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x} \, dx-2 \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{x} \, dx+4 \text {Subst}\left (\int \frac {\log \left (1-\frac {x}{3}\right )}{x} \, dx,x,-2+x\right )\\ &=-\frac {42}{25} \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )-\frac {14}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}-8 \text {Li}_2\left (\frac {5-x}{3}\right )+\frac {4}{5} \log \left (\frac {1}{4} (5-x)^2\right ) \text {Li}_2\left (\frac {5-x}{3}\right )+\frac {8}{5} \text {Li}_2\left (1-\frac {x}{2}\right )+4 \text {Li}_2\left (1-\frac {x}{5}\right )-\frac {28}{5} \text {Li}_2\left (\frac {1}{3} (-2+x)\right )-\frac {8}{5} \text {Li}_3\left (\frac {5-x}{3}\right )-\frac {4}{25} \int \log \left (\frac {1}{4} (-5+x)^2\right ) \, dx-\frac {4}{25} \int \log \left ((-2+x)^2\right ) \, dx+\frac {4}{25} \text {Subst}\left (\int \log \left (\frac {x^2}{4}\right ) \, dx,x,-5+x\right )+\frac {4}{25} \text {Subst}\left (\int \log \left (x^2\right ) \, dx,x,-2+x\right )-\frac {8}{25} \int \frac {\log \left (\frac {1}{4} (-5+x)^2\right )}{-2+x} \, dx-\frac {16}{25} \int \frac {\log \left (\frac {1}{3} (-2+x)\right )}{-5+x} \, dx-\frac {4}{5} \int \frac {\log \left ((-2+x)^2\right )}{-5+x} \, dx+\frac {4}{5} \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{3}\right ) \log \left (\frac {x^2}{4}\right )}{x} \, dx,x,-5+x\right )+2 \left (\frac {4}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {8}{5} \int \frac {\log \left (\frac {5-x}{3}\right )}{-2+x} \, dx\right )+\frac {8}{5} \int \frac {\log \left (\frac {x}{2}\right )}{-2+x} \, dx-4 \int \frac {\log \left (\frac {1}{3} (-2+x)\right )}{-5+x} \, dx+4 \int \frac {\log \left (\frac {x}{5}\right )}{-5+x} \, dx\\ &=-\frac {16 x}{25}-\frac {4}{25} (5-x) \log \left (\frac {1}{4} (5-x)^2\right )-2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )-\frac {4}{25} (2-x) \log \left ((-2+x)^2\right )-\frac {18}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}-8 \text {Li}_2\left (\frac {5-x}{3}\right )-\frac {28}{5} \text {Li}_2\left (\frac {1}{3} (-2+x)\right )-\frac {8}{5} \text {Li}_3\left (\frac {5-x}{3}\right )-\frac {4}{25} \text {Subst}\left (\int \log \left (\frac {x^2}{4}\right ) \, dx,x,-5+x\right )-\frac {4}{25} \text {Subst}\left (\int \log \left (x^2\right ) \, dx,x,-2+x\right )+\frac {16}{25} \int \frac {\log \left (\frac {1}{3} (-2+x)\right )}{-5+x} \, dx-\frac {16}{25} \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{3}\right )}{x} \, dx,x,-5+x\right )+\frac {8}{5} \int \frac {\log \left (\frac {5-x}{3}\right )}{-2+x} \, dx+2 \left (\frac {4}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {8}{5} \text {Subst}\left (\int \frac {\log \left (1-\frac {x}{3}\right )}{x} \, dx,x,-2+x\right )\right )+\frac {8}{5} \text {Subst}\left (\int \frac {\text {Li}_2\left (-\frac {x}{3}\right )}{x} \, dx,x,-5+x\right )-4 \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{3}\right )}{x} \, dx,x,-5+x\right )\\ &=-2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )-\frac {18}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}-\frac {84}{25} \text {Li}_2\left (\frac {5-x}{3}\right )-\frac {28}{5} \text {Li}_2\left (\frac {1}{3} (-2+x)\right )+2 \left (\frac {4}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )+\frac {8}{5} \text {Li}_2\left (\frac {1}{3} (-2+x)\right )\right )+\frac {16}{25} \text {Subst}\left (\int \frac {\log \left (1+\frac {x}{3}\right )}{x} \, dx,x,-5+x\right )+\frac {8}{5} \text {Subst}\left (\int \frac {\log \left (1-\frac {x}{3}\right )}{x} \, dx,x,-2+x\right )\\ &=-2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left (\frac {1}{3} (-2+x)\right )-\frac {18}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )-\frac {2 \log \left (\frac {1}{4} (5-x)^2\right ) \log \left ((-2+x)^2\right )}{x}-4 \text {Li}_2\left (\frac {5-x}{3}\right )-\frac {36}{5} \text {Li}_2\left (\frac {1}{3} (-2+x)\right )+2 \left (\frac {4}{5} \log \left (\frac {5-x}{3}\right ) \log \left ((-2+x)^2\right )+\frac {8}{5} \text {Li}_2\left (\frac {1}{3} (-2+x)\right )\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.10, size = 24, normalized size = 0.89 \begin {gather*} -\frac {(2+x) \log \left (\frac {1}{4} (-5+x)^2\right ) \log \left ((-2+x)^2\right )}{x} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((20*x + 6*x^2 - 2*x^3)*Log[(25 - 10*x + x^2)/4] + (8*x - 2*x^3 + (20 - 14*x + 2*x^2)*Log[(25 - 10*x
+ x^2)/4])*Log[4 - 4*x + x^2])/(10*x^2 - 7*x^3 + x^4),x]

[Out]

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

________________________________________________________________________________________

Maple [C] Result contains higher order function than in optimal. Order 9 vs. order 3.
time = 2.11, size = 6038, normalized size = 223.63

method	result	size
risch	\(\text {Expression too large to display}\)	\(6038\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((2*x^2-14*x+20)*ln(1/4*x^2-5/2*x+25/4)-2*x^3+8*x)*ln(x^2-4*x+4)+(-2*x^3+6*x^2+20*x)*ln(1/4*x^2-5/2*x+25/
4))/(x^4-7*x^3+10*x^2),x,method=_RETURNVERBOSE)

[Out]

result too large to display

________________________________________________________________________________________

Maxima [A]
time = 0.68, size = 27, normalized size = 1.00 \begin {gather*} \frac {4 \, {\left (x \log \left (2\right ) - {\left (x + 2\right )} \log \left (x - 5\right ) + 2 \, \log \left (2\right )\right )} \log \left (x - 2\right )}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((2*x^2-14*x+20)*log(1/4*x^2-5/2*x+25/4)-2*x^3+8*x)*log(x^2-4*x+4)+(-2*x^3+6*x^2+20*x)*log(1/4*x^2-
5/2*x+25/4))/(x^4-7*x^3+10*x^2),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

Fricas [A]
time = 0.36, size = 28, normalized size = 1.04 \begin {gather*} -\frac {{\left (x + 2\right )} \log \left (x^{2} - 4 \, x + 4\right ) \log \left (\frac {1}{4} \, x^{2} - \frac {5}{2} \, x + \frac {25}{4}\right )}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((2*x^2-14*x+20)*log(1/4*x^2-5/2*x+25/4)-2*x^3+8*x)*log(x^2-4*x+4)+(-2*x^3+6*x^2+20*x)*log(1/4*x^2-
5/2*x+25/4))/(x^4-7*x^3+10*x^2),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((2*x**2-14*x+20)*ln(1/4*x**2-5/2*x+25/4)-2*x**3+8*x)*ln(x**2-4*x+4)+(-2*x**3+6*x**2+20*x)*ln(1/4*x
**2-5/2*x+25/4))/(x**4-7*x**3+10*x**2),x)

[Out]

(-x*log(x**2 - 4*x + 4) - 2*log(x**2 - 4*x + 4))*log(x**2/4 - 5*x/2 + 25/4)/x

________________________________________________________________________________________

Giac [C] Result contains complex when optimal does not.
time = 0.43, size = 52, normalized size = 1.93 \begin {gather*} 2 \, {\left (\frac {2 \, \log \left (2\right )}{x} - \frac {\log \left (x^{2} - 10 \, x + 25\right )}{x} - \log \left (x - 5\right )\right )} \log \left (x^{2} - 4 \, x + 4\right ) + 4 \, {\left (i \, \pi + \log \left (2\right )\right )} \log \left (x - 2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((2*x^2-14*x+20)*log(1/4*x^2-5/2*x+25/4)-2*x^3+8*x)*log(x^2-4*x+4)+(-2*x^3+6*x^2+20*x)*log(1/4*x^2-
5/2*x+25/4))/(x^4-7*x^3+10*x^2),x, algorithm="giac")

[Out]

2*(2*log(2)/x - log(x^2 - 10*x + 25)/x - log(x - 5))*log(x^2 - 4*x + 4) + 4*(I*pi + log(2))*log(x - 2)

________________________________________________________________________________________

Mupad [B]
time = 0.52, size = 29, normalized size = 1.07 \begin {gather*} -\ln \left (x^2-4\,x+4\right )\,\ln \left (\frac {x^2}{4}-\frac {5\,x}{2}+\frac {25}{4}\right )\,\left (\frac {2}{x}+1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(x^2/4 - (5*x)/2 + 25/4)*(20*x + 6*x^2 - 2*x^3) + log(x^2 - 4*x + 4)*(8*x + log(x^2/4 - (5*x)/2 + 25/4
)*(2*x^2 - 14*x + 20) - 2*x^3))/(10*x^2 - 7*x^3 + x^4),x)

[Out]

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

________________________________________________________________________________________