3.30.14 \(\int \frac {18 x-216 x^2+(72 x-288 x^2) \log (-x+4 x^2)}{-1+4 x} \, dx\)

Optimal. Leaf size=21 \[ 2+9 x^2 \left (1-4 \log \left (-x+4 x^2\right )\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.19, antiderivative size = 20, normalized size of antiderivative = 0.95, number of steps used = 10, number of rules used = 7, integrand size = 37, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.189, Rules used = {6741, 12, 6742, 77, 2495, 30, 43} \begin {gather*} 9 x^2-36 x^2 \log (-((1-4 x) x)) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(18*x - 216*x^2 + (72*x - 288*x^2)*Log[-x + 4*x^2])/(-1 + 4*x),x]

[Out]

9*x^2 - 36*x^2*Log[-((1 - 4*x)*x)]

Rule 12

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

Rule 30

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

Rule 43

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 77

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 2495

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

Rule 6741

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

Rule 6742

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

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 23, normalized size = 1.10 \begin {gather*} -18 \left (-\frac {x^2}{2}+2 x^2 \log (x (-1+4 x))\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(18*x - 216*x^2 + (72*x - 288*x^2)*Log[-x + 4*x^2])/(-1 + 4*x),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.77, size = 21, normalized size = 1.00 \begin {gather*} -36 \, x^{2} \log \left (4 \, x^{2} - x\right ) + 9 \, x^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-288*x^2+72*x)*log(4*x^2-x)-216*x^2+18*x)/(4*x-1),x, algorithm="fricas")

[Out]

-36*x^2*log(4*x^2 - x) + 9*x^2

________________________________________________________________________________________

giac [A]  time = 0.17, size = 21, normalized size = 1.00 \begin {gather*} -36 \, x^{2} \log \left (4 \, x^{2} - x\right ) + 9 \, x^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-288*x^2+72*x)*log(4*x^2-x)-216*x^2+18*x)/(4*x-1),x, algorithm="giac")

[Out]

-36*x^2*log(4*x^2 - x) + 9*x^2

________________________________________________________________________________________

maple [A]  time = 0.46, size = 22, normalized size = 1.05

method	result	size
default	\(-36 \ln \left (4 x^{2}-x \right ) x^{2}+9 x^{2}\)	\(22\)
norman	\(-36 \ln \left (4 x^{2}-x \right ) x^{2}+9 x^{2}\)	\(22\)
risch	\(-36 \ln \left (4 x^{2}-x \right ) x^{2}+9 x^{2}\)	\(22\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-288*x^2+72*x)*ln(4*x^2-x)-216*x^2+18*x)/(4*x-1),x,method=_RETURNVERBOSE)

[Out]

-36*ln(4*x^2-x)*x^2+9*x^2

________________________________________________________________________________________

maxima [A]  time = 0.66, size = 36, normalized size = 1.71 \begin {gather*} -36 \, x^{2} \log \relax (x) + 9 \, x^{2} - \frac {9}{4} \, {\left (16 \, x^{2} - 1\right )} \log \left (4 \, x - 1\right ) - \frac {9}{4} \, \log \left (4 \, x - 1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-288*x^2+72*x)*log(4*x^2-x)-216*x^2+18*x)/(4*x-1),x, algorithm="maxima")

[Out]

-36*x^2*log(x) + 9*x^2 - 9/4*(16*x^2 - 1)*log(4*x - 1) - 9/4*log(4*x - 1)

________________________________________________________________________________________

mupad [B]  time = 1.79, size = 19, normalized size = 0.90 \begin {gather*} -9\,x^2\,\left (4\,\ln \left (4\,x^2-x\right )-1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((18*x + log(4*x^2 - x)*(72*x - 288*x^2) - 216*x^2)/(4*x - 1),x)

[Out]

-9*x^2*(4*log(4*x^2 - x) - 1)

________________________________________________________________________________________

sympy [A]  time = 0.14, size = 17, normalized size = 0.81 \begin {gather*} - 36 x^{2} \log {\left (4 x^{2} - x \right )} + 9 x^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-288*x**2+72*x)*ln(4*x**2-x)-216*x**2+18*x)/(4*x-1),x)

[Out]

-36*x**2*log(4*x**2 - x) + 9*x**2

________________________________________________________________________________________