3.65.17 \(\int \frac {-3 x^2+(-2+2 x+x^2) \log (2)}{18 x^2+36 x^3+18 x^4+(-36 x-72 x^2-36 x^3) \log (2)+(18+36 x+18 x^2) \log ^2(2)} \, dx\)

Optimal. Leaf size=23 \[ \frac {2 (-2+x) x}{9 (4+4 x) (-x+\log (2))} \]

________________________________________________________________________________________

Rubi [A]  time = 0.14, antiderivative size = 34, normalized size of antiderivative = 1.48, number of steps used = 4, number of rules used = 4, integrand size = 68, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {1680, 12, 1814, 8} \begin {gather*} -\frac {\log (4)-2 x (3-\log (2))}{36 \left (x^2+x (1-\log (2))-\log (2)\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 8

Int[a_, x_Symbol] :> Simp[a*x, x] /; FreeQ[a, 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 1680

Int[(Pq_)*(Q4_)^(p_), x_Symbol] :> With[{a = Coeff[Q4, x, 0], b = Coeff[Q4, x, 1], c = Coeff[Q4, x, 2], d = Co
eff[Q4, x, 3], e = Coeff[Q4, x, 4]}, Subst[Int[SimplifyIntegrand[(Pq /. x -> -(d/(4*e)) + x)*(a + d^4/(256*e^3
) - (b*d)/(8*e) + (c - (3*d^2)/(8*e))*x^2 + e*x^4)^p, x], x], x, d/(4*e) + x] /; EqQ[d^3 - 4*c*d*e + 8*b*e^2,
0] && NeQ[d, 0]] /; FreeQ[p, x] && PolyQ[Pq, x] && PolyQ[Q4, x, 4] &&  !IGtQ[p, 0]

Rule 1814

Int[(Pq_)*((a_) + (b_.)*(x_)^2)^(p_), x_Symbol] :> With[{Q = PolynomialQuotient[Pq, a + b*x^2, x], f = Coeff[P
olynomialRemainder[Pq, a + b*x^2, x], x, 0], g = Coeff[PolynomialRemainder[Pq, a + b*x^2, x], x, 1]}, Simp[((a
*g - b*f*x)*(a + b*x^2)^(p + 1))/(2*a*b*(p + 1)), x] + Dist[1/(2*a*(p + 1)), Int[(a + b*x^2)^(p + 1)*ExpandToS
um[2*a*(p + 1)*Q + f*(2*p + 3), x], x], x]] /; FreeQ[{a, b}, x] && PolyQ[Pq, x] && LtQ[p, -1]

Rubi steps

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

________________________________________________________________________________________

Mathematica [B]  time = 0.09, size = 51, normalized size = 2.22 \begin {gather*} \frac {\frac {3 \log ^2(2)-\log ^3(2)+\log (4)-\log (2) \log (4)}{x-\log (2)}+\frac {3+\log (8)}{1+x}}{18 (1+\log (2))^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-3*x^2 + (-2 + 2*x + x^2)*Log[2])/(18*x^2 + 36*x^3 + 18*x^4 + (-36*x - 72*x^2 - 36*x^3)*Log[2] + (1
8 + 36*x + 18*x^2)*Log[2]^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.55, size = 26, normalized size = 1.13 \begin {gather*} -\frac {{\left (x + 1\right )} \log \relax (2) - 3 \, x}{18 \, {\left (x^{2} - {\left (x + 1\right )} \log \relax (2) + x\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.21, size = 28, normalized size = 1.22 \begin {gather*} -\frac {x \log \relax (2) - 3 \, x + \log \relax (2)}{18 \, {\left (x^{2} - x \log \relax (2) + x - \log \relax (2)\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.09, size = 28, normalized size = 1.22

method	result	size
norman	\(\frac {\left (\frac {\ln \relax (2)}{18}-\frac {1}{6}\right ) x +\frac {\ln \relax (2)}{18}}{\left (x +1\right ) \left (\ln \relax (2)-x \right )}\)	\(28\)
gosper	\(\frac {x \ln \relax (2)+\ln \relax (2)-3 x}{18 x \ln \relax (2)-18 x^{2}+18 \ln \relax (2)-18 x}\)	\(30\)
risch	\(\frac {\left (\frac {\ln \relax (2)}{18}-\frac {1}{6}\right ) x +\frac {\ln \relax (2)}{18}}{x \ln \relax (2)-x^{2}+\ln \relax (2)-x}\)	\(32\)
default	\(-\frac {\ln \relax (2) \left (\ln \relax (2)-2\right )}{18 \left (1+\ln \relax (2)\right ) \left (x -\ln \relax (2)\right )}+\frac {1}{6 \left (1+\ln \relax (2)\right ) \left (x +1\right )}\)	\(37\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x^2+2*x-2)*ln(2)-3*x^2)/((18*x^2+36*x+18)*ln(2)^2+(-36*x^3-72*x^2-36*x)*ln(2)+18*x^4+36*x^3+18*x^2),x,me
thod=_RETURNVERBOSE)

[Out]

((1/18*ln(2)-1/6)*x+1/18*ln(2))/(x+1)/(ln(2)-x)

________________________________________________________________________________________

maxima [A]  time = 0.37, size = 28, normalized size = 1.22 \begin {gather*} -\frac {x {\left (\log \relax (2) - 3\right )} + \log \relax (2)}{18 \, {\left (x^{2} - x {\left (\log \relax (2) - 1\right )} - \log \relax (2)\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 0.14, size = 30, normalized size = 1.30 \begin {gather*} \frac {\ln \relax (2)+x\,\left (\ln \relax (2)-3\right )}{-18\,x^2+\left (18\,\ln \relax (2)-18\right )\,x+18\,\ln \relax (2)} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(3*x^2 - log(2)*(2*x + x^2 - 2))/(log(2)^2*(36*x + 18*x^2 + 18) - log(2)*(36*x + 72*x^2 + 36*x^3) + 18*x^
2 + 36*x^3 + 18*x^4),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.60, size = 29, normalized size = 1.26 \begin {gather*} - \frac {x \left (-3 + \log {\relax (2 )}\right ) + \log {\relax (2 )}}{18 x^{2} + x \left (18 - 18 \log {\relax (2 )}\right ) - 18 \log {\relax (2 )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x**2+2*x-2)*ln(2)-3*x**2)/((18*x**2+36*x+18)*ln(2)**2+(-36*x**3-72*x**2-36*x)*ln(2)+18*x**4+36*x**
3+18*x**2),x)

[Out]

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

________________________________________________________________________________________