\(\int \frac {-6 x+4 x^2+(-3+2 x) \log (\frac {1}{2} (3 x-2 x^2))+\log (x) (-3+4 x+(-3+2 x) \log (\frac {1}{2} (3 x-2 x^2)))}{-3+2 x} \, dx\) [1184]

Optimal result

Integrand size = 65, antiderivative size = 19 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=x \left (x+\log (x) \log \left (\frac {3 x}{2}-x^2\right )\right ) \]

[Out]

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

Rubi [A] (verified)

Time = 0.19 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.00, number of steps used = 21, number of rules used = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.169, Rules used = {6820, 2579, 29, 8, 6874, 45, 2404, 2332, 2353, 2352, 2636} \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=x^2+x \log (x) \log \left (\frac {1}{2} (3-2 x) x\right ) \]

[In]

Int[(-6*x + 4*x^2 + (-3 + 2*x)*Log[(3*x - 2*x^2)/2] + Log[x]*(-3 + 4*x + (-3 + 2*x)*Log[(3*x - 2*x^2)/2]))/(-3
+ 2*x),x]

[Out]

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

Rule 8

Int[a_, x_Symbol] :> Simp[a*x, x] /; FreeQ[a, x]

Rule 29

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

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 2332

Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{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 2353

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

Rule 2404

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

Rule 2579

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

Rule 2636

Int[Log[v_]*Log[w_], x_Symbol] :> Simp[x*Log[v]*Log[w], x] + (-Int[SimplifyIntegrand[x*Log[w]*(D[v, x]/v), x],
x] - Int[SimplifyIntegrand[x*Log[v]*(D[w, x]/w), x], x]) /; InverseFunctionFreeQ[v, x] && InverseFunctionFree
Q[w, x]

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{align*} \text {integral}& = \int \left (2 x+\log \left (\frac {1}{2} (3-2 x) x\right )+\frac {\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} (3-2 x) x\right )\right )}{-3+2 x}\right ) \, dx \\ & = x^2+\int \log \left (\frac {1}{2} (3-2 x) x\right ) \, dx+\int \frac {\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} (3-2 x) x\right )\right )}{-3+2 x} \, dx \\ & = x^2-\frac {1}{2} (3-2 x) \log \left (\frac {1}{2} (3-2 x) x\right )+\frac {3}{2} \int \frac {1}{x} \, dx-2 \int 1 \, dx+\int \left (\frac {(-3+4 x) \log (x)}{-3+2 x}+\log (x) \log \left (\frac {1}{2} (3-2 x) x\right )\right ) \, dx \\ & = -2 x+x^2+\frac {3 \log (x)}{2}-\frac {1}{2} (3-2 x) \log \left (\frac {1}{2} (3-2 x) x\right )+\int \frac {(-3+4 x) \log (x)}{-3+2 x} \, dx+\int \log (x) \log \left (\frac {1}{2} (3-2 x) x\right ) \, dx \\ & = -2 x+x^2+\frac {3 \log (x)}{2}-\frac {1}{2} (3-2 x) \log \left (\frac {1}{2} (3-2 x) x\right )+x \log (x) \log \left (\frac {1}{2} (3-2 x) x\right )-\int \frac {(3-4 x) \log (x)}{3-2 x} \, dx+\int \left (2 \log (x)+\frac {3 \log (x)}{-3+2 x}\right ) \, dx-\int \log \left (\frac {1}{2} (3-2 x) x\right ) \, dx \\ & = -2 x+x^2+\frac {3 \log (x)}{2}+x \log (x) \log \left (\frac {1}{2} (3-2 x) x\right )-\frac {3}{2} \int \frac {1}{x} \, dx+2 \int 1 \, dx+2 \int \log (x) \, dx+3 \int \frac {\log (x)}{-3+2 x} \, dx-\int \left (2 \log (x)+\frac {3 \log (x)}{-3+2 x}\right ) \, dx \\ & = -2 x+x^2+2 x \log (x)+x \log (x) \log \left (\frac {1}{2} (3-2 x) x\right )+\frac {3}{2} \log \left (\frac {3}{2}\right ) \log (-3+2 x)-2 \int \log (x) \, dx+3 \int \frac {\log \left (\frac {2 x}{3}\right )}{-3+2 x} \, dx-3 \int \frac {\log (x)}{-3+2 x} \, dx \\ & = x^2+x \log (x) \log \left (\frac {1}{2} (3-2 x) x\right )-\frac {3}{2} \operatorname {PolyLog}\left (2,1-\frac {2 x}{3}\right )-3 \int \frac {\log \left (\frac {2 x}{3}\right )}{-3+2 x} \, dx \\ & = x^2+x \log (x) \log \left (\frac {1}{2} (3-2 x) x\right ) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.13 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.95 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=x \left (x+\log (x) \log \left (\frac {1}{2} (3-2 x) x\right )\right ) \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 0.29 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.00

method	result	size
norman	\(x^{2}+\ln \left (x \right ) \ln \left (-x^{2}+\frac {3}{2} x \right ) x\)	\(19\)
parallelrisch	\(\ln \left (x \right ) \ln \left (-x^{2}+\frac {3}{2} x \right ) x -\frac {9}{4}+x^{2}\)	\(20\)
default	\(-x \ln \left (2\right ) \ln \left (x \right )-\frac {3 \ln \left (x \right )}{2}+\frac {3 \ln \left (-2 x^{2}+3 x \right )}{2}+x \ln \left (x \right ) \ln \left (-2 x^{2}+3 x \right )+x^{2}-\frac {3 \ln \left (-3+2 x \right )}{2}\)	\(50\)
parts	\(-\frac {3 \ln \left (x \right )}{2}+\frac {3 \ln \left (-2 x^{2}+3 x \right )}{2}+x \ln \left (x \right ) \ln \left (-2 x^{2}+3 x \right )-\ln \left (2\right ) \left (x \ln \left (x \right )-x \right )+x^{2}-x \ln \left (2\right )-\frac {3 \ln \left (-3+2 x \right )}{2}\)	\(60\)
risch	\(\ln \left (x -\frac {3}{2}\right ) x \ln \left (x \right )+x \ln \left (x \right )^{2}-\frac {i \ln \left (x \right ) x \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i \left (x -\frac {3}{2}\right )\right ) \operatorname {csgn}\left (i x \left (x -\frac {3}{2}\right )\right )}{2}+\frac {i \ln \left (x \right ) x \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x \left (x -\frac {3}{2}\right )\right )^{2}}{2}-i \ln \left (x \right ) x \pi \operatorname {csgn}\left (i x \left (x -\frac {3}{2}\right )\right )^{2}+\frac {i \ln \left (x \right ) x \pi \,\operatorname {csgn}\left (i \left (x -\frac {3}{2}\right )\right ) \operatorname {csgn}\left (i x \left (x -\frac {3}{2}\right )\right )^{2}}{2}+\frac {i \ln \left (x \right ) x \pi \operatorname {csgn}\left (i x \left (x -\frac {3}{2}\right )\right )^{3}}{2}+i \ln \left (x \right ) x \pi -x \ln \left (2\right ) \ln \left (x \right )+x^{2}\)	\(140\)

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.95 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=x \log \left (-x^{2} + \frac {3}{2} \, x\right ) \log \left (x\right ) + x^{2} \]

[In]

integrate((((-3+2*x)*log(-x^2+3/2*x)+4*x-3)*log(x)+(-3+2*x)*log(-x^2+3/2*x)+4*x^2-6*x)/(-3+2*x),x, algorithm="
fricas")

[Out]

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

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 32 vs. \(2 (15) = 30\).

Time = 0.50 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.68 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=x^{2} + \left (x \log {\left (x \right )} - \frac {1}{24}\right ) \log {\left (- x^{2} + \frac {3 x}{2} \right )} + \frac {\log {\left (2 x^{2} - 3 x \right )}}{24} \]

[In]

integrate((((-3+2*x)*ln(-x**2+3/2*x)+4*x-3)*ln(x)+(-3+2*x)*ln(-x**2+3/2*x)+4*x**2-6*x)/(-3+2*x),x)

[Out]

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

Maxima [A] (verification not implemented)

none

Time = 0.29 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.42 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=-x \log \left (2\right ) \log \left (x\right ) + x \log \left (x\right )^{2} + x \log \left (x\right ) \log \left (-2 \, x + 3\right ) + x^{2} \]

[In]

integrate((((-3+2*x)*log(-x^2+3/2*x)+4*x-3)*log(x)+(-3+2*x)*log(-x^2+3/2*x)+4*x^2-6*x)/(-3+2*x),x, algorithm="
maxima")

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.42 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=-x \log \left (2\right ) \log \left (x\right ) + x \log \left (x\right )^{2} + x \log \left (x\right ) \log \left (-2 \, x + 3\right ) + x^{2} \]

[In]

integrate((((-3+2*x)*log(-x^2+3/2*x)+4*x-3)*log(x)+(-3+2*x)*log(-x^2+3/2*x)+4*x^2-6*x)/(-3+2*x),x, algorithm="
giac")

[Out]

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

Mupad [B] (verification not implemented)

Time = 8.22 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.95 \[ \int \frac {-6 x+4 x^2+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )+\log (x) \left (-3+4 x+(-3+2 x) \log \left (\frac {1}{2} \left (3 x-2 x^2\right )\right )\right )}{-3+2 x} \, dx=x^2+x\,\ln \left (\frac {3\,x}{2}-x^2\right )\,\ln \left (x\right ) \]

[In]

int((log((3*x)/2 - x^2)*(2*x - 3) - 6*x + 4*x^2 + log(x)*(4*x + log((3*x)/2 - x^2)*(2*x - 3) - 3))/(2*x - 3),x
)

[Out]

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