3.67.92 \(\int \frac {1}{3} (-13824-19956 x-5408 x^2+(2304+1664 x) \log (2)-96 \log ^2(2)) \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 35, normalized size of antiderivative = 1.46, number of steps used = 2, number of rules used = 1, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.036, Rules used = {12} \begin {gather*} -\frac {5408 x^3}{9}-3326 x^2-32 x \left (144+\log ^2(2)\right )+\frac {64}{39} (13 x+18)^2 \log (2) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-13824 - 19956*x - 5408*x^2 + (2304 + 1664*x)*Log[2] - 96*Log[2]^2)/3,x]

[Out]

-3326*x^2 - (5408*x^3)/9 + (64*(18 + 13*x)^2*Log[2])/39 - 32*x*(144 + Log[2]^2)

Rule 12

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{3} \int \left (-13824-19956 x-5408 x^2+(2304+1664 x) \log (2)-96 \log ^2(2)\right ) \, dx\\ &=-3326 x^2-\frac {5408 x^3}{9}+\frac {64}{39} (18+13 x)^2 \log (2)-32 x \left (144+\log ^2(2)\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 35, normalized size = 1.46 \begin {gather*} -\frac {4}{3} \left (\frac {4989 x^2}{2}+\frac {1352 x^3}{3}+24 x (-12+\log (2))^2-208 x^2 \log (2)\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-13824 - 19956*x - 5408*x^2 + (2304 + 1664*x)*Log[2] - 96*Log[2]^2)/3,x]

[Out]

(-4*((4989*x^2)/2 + (1352*x^3)/3 + 24*x*(-12 + Log[2])^2 - 208*x^2*Log[2]))/3

________________________________________________________________________________________

fricas [A]  time = 0.43, size = 34, normalized size = 1.42 \begin {gather*} -\frac {5408}{9} \, x^{3} - 32 \, x \log \relax (2)^{2} - 3326 \, x^{2} + \frac {64}{3} \, {\left (13 \, x^{2} + 36 \, x\right )} \log \relax (2) - 4608 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-32*log(2)^2+1/3*(1664*x+2304)*log(2)-5408/3*x^2-6652*x-4608,x, algorithm="fricas")

[Out]

-5408/9*x^3 - 32*x*log(2)^2 - 3326*x^2 + 64/3*(13*x^2 + 36*x)*log(2) - 4608*x

________________________________________________________________________________________

giac [A]  time = 0.22, size = 34, normalized size = 1.42 \begin {gather*} -\frac {5408}{9} \, x^{3} - 32 \, x \log \relax (2)^{2} - 3326 \, x^{2} + \frac {64}{3} \, {\left (13 \, x^{2} + 36 \, x\right )} \log \relax (2) - 4608 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-32*log(2)^2+1/3*(1664*x+2304)*log(2)-5408/3*x^2-6652*x-4608,x, algorithm="giac")

[Out]

-5408/9*x^3 - 32*x*log(2)^2 - 3326*x^2 + 64/3*(13*x^2 + 36*x)*log(2) - 4608*x

________________________________________________________________________________________

maple [A]  time = 0.02, size = 29, normalized size = 1.21

method	result	size
gosper	\(-\frac {2 x \left (144 \ln \relax (2)^{2}-1248 x \ln \relax (2)+2704 x^{2}-3456 \ln \relax (2)+14967 x +20736\right )}{9}\)	\(29\)
norman	\(\left (\frac {832 \ln \relax (2)}{3}-3326\right ) x^{2}+\left (-32 \ln \relax (2)^{2}+768 \ln \relax (2)-4608\right ) x -\frac {5408 x^{3}}{9}\)	\(31\)
risch	\(-32 x \ln \relax (2)^{2}+\frac {832 x^{2} \ln \relax (2)}{3}+768 x \ln \relax (2)-\frac {5408 x^{3}}{9}-3326 x^{2}-4608 x\)	\(34\)
default	\(-32 x \ln \relax (2)^{2}+\frac {\ln \relax (2) \left (832 x^{2}+2304 x \right )}{3}-\frac {5408 x^{3}}{9}-3326 x^{2}-4608 x\)	\(35\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-32*ln(2)^2+1/3*(1664*x+2304)*ln(2)-5408/3*x^2-6652*x-4608,x,method=_RETURNVERBOSE)

[Out]

-2/9*x*(144*ln(2)^2-1248*x*ln(2)+2704*x^2-3456*ln(2)+14967*x+20736)

________________________________________________________________________________________

maxima [A]  time = 0.37, size = 34, normalized size = 1.42 \begin {gather*} -\frac {5408}{9} \, x^{3} - 32 \, x \log \relax (2)^{2} - 3326 \, x^{2} + \frac {64}{3} \, {\left (13 \, x^{2} + 36 \, x\right )} \log \relax (2) - 4608 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-32*log(2)^2+1/3*(1664*x+2304)*log(2)-5408/3*x^2-6652*x-4608,x, algorithm="maxima")

[Out]

-5408/9*x^3 - 32*x*log(2)^2 - 3326*x^2 + 64/3*(13*x^2 + 36*x)*log(2) - 4608*x

________________________________________________________________________________________

mupad [B]  time = 4.09, size = 31, normalized size = 1.29 \begin {gather*} -\frac {5408\,x^3}{9}+\left (\frac {832\,\ln \relax (2)}{3}-3326\right )\,x^2+\left (768\,\ln \relax (2)-32\,{\ln \relax (2)}^2-4608\right )\,x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(2)*(1664*x + 2304))/3 - 6652*x - 32*log(2)^2 - (5408*x^2)/3 - 4608,x)

[Out]

x^2*((832*log(2))/3 - 3326) - x*(32*log(2)^2 - 768*log(2) + 4608) - (5408*x^3)/9

________________________________________________________________________________________

sympy [A]  time = 0.06, size = 32, normalized size = 1.33 \begin {gather*} - \frac {5408 x^{3}}{9} + x^{2} \left (-3326 + \frac {832 \log {\relax (2 )}}{3}\right ) + x \left (-4608 - 32 \log {\relax (2 )}^{2} + 768 \log {\relax (2 )}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-32*ln(2)**2+1/3*(1664*x+2304)*ln(2)-5408/3*x**2-6652*x-4608,x)

[Out]

-5408*x**3/9 + x**2*(-3326 + 832*log(2)/3) + x*(-4608 - 32*log(2)**2 + 768*log(2))

________________________________________________________________________________________