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

Optimal result

Integrand size = 56, antiderivative size = 33 \[ \int \frac {-12-2 x+12 x^2-3 x^3-3 x^4+\left (2 x+2 x^2\right ) \log (2)+\left (-2 x-2 x^2\right ) \log (1+x)}{x^3+x^4} \, dx=\frac {x-x^2+2 \left (-5+\frac {3}{x}-x^2-\log (2)+\log (1+x)\right )}{x} \]

[Out]

(6/x-2*ln(2)+2*ln(1+x)-3*x^2-10+x)/x

Rubi [A] (verified)

Time = 0.22 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.82, number of steps used = 9, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {1607, 6874, 1634, 2442, 36, 29, 31} \[ \int \frac {-12-2 x+12 x^2-3 x^3-3 x^4+\left (2 x+2 x^2\right ) \log (2)+\left (-2 x-2 x^2\right ) \log (1+x)}{x^3+x^4} \, dx=\frac {6}{x^2}-3 x+\frac {2 \log (x+1)}{x}-\frac {10+\log (4)}{x} \]

[In]

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

[Out]

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

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 1607

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^(q - p))^n, x] /; F
reeQ[{a, b, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rule 1634

Int[(Px_)*((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[Px*(a + b*x)
^m*(c + d*x)^n, x], x] /; FreeQ[{a, b, c, d, m, n}, x] && PolyQ[Px, x] && (IntegersQ[m, n] || IGtQ[m, -2]) &&
GtQ[Expon[Px, x], 2]

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 6874

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

Rubi steps \begin{align*} \text {integral}& = \int \frac {-12-2 x+12 x^2-3 x^3-3 x^4+\left (2 x+2 x^2\right ) \log (2)+\left (-2 x-2 x^2\right ) \log (1+x)}{x^3 (1+x)} \, dx \\ & = \int \left (\frac {-12-3 x^3-3 x^4-x (2-\log (4))+x^2 (12+\log (4))}{x^3 (1+x)}-\frac {2 \log (1+x)}{x^2}\right ) \, dx \\ & = -\left (2 \int \frac {\log (1+x)}{x^2} \, dx\right )+\int \frac {-12-3 x^3-3 x^4-x (2-\log (4))+x^2 (12+\log (4))}{x^3 (1+x)} \, dx \\ & = \frac {2 \log (1+x)}{x}-2 \int \frac {1}{x (1+x)} \, dx+\int \left (-3-\frac {12}{x^3}+\frac {2}{x}-\frac {2}{1+x}+\frac {10+\log (4)}{x^2}\right ) \, dx \\ & = \frac {6}{x^2}-3 x-\frac {10+\log (4)}{x}+2 \log (x)-2 \log (1+x)+\frac {2 \log (1+x)}{x}-2 \int \frac {1}{x} \, dx+2 \int \frac {1}{1+x} \, dx \\ & = \frac {6}{x^2}-3 x-\frac {10+\log (4)}{x}+\frac {2 \log (1+x)}{x} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.09 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.91 \[ \int \frac {-12-2 x+12 x^2-3 x^3-3 x^4+\left (2 x+2 x^2\right ) \log (2)+\left (-2 x-2 x^2\right ) \log (1+x)}{x^3+x^4} \, dx=\frac {6}{x^2}-\frac {10}{x}-3 x-\frac {2 \log (2)}{x}+\frac {2 \log (1+x)}{x} \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 0.63 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.82

method	result	size
norman	\(\frac {6+\left (-10-2 \ln \left (2\right )\right ) x -3 x^{3}+2 \ln \left (1+x \right ) x}{x^{2}}\)	\(27\)
risch	\(\frac {2 \ln \left (1+x \right )}{x}-\frac {3 x^{3}+2 x \ln \left (2\right )+10 x -6}{x^{2}}\)	\(31\)
parallelrisch	\(\frac {-3 x^{3}+6-2 x \ln \left (2\right )+6 x^{2}+2 \ln \left (1+x \right ) x -10 x}{x^{2}}\)	\(32\)
parts	\(-3 x -2 \ln \left (1+x \right )-\frac {10+2 \ln \left (2\right )}{x}+\frac {6}{x^{2}}+\frac {2 \ln \left (1+x \right ) \left (1+x \right )}{x}\)	\(39\)
derivativedivides	\(-\frac {2 \ln \left (2\right )}{x}+\frac {2 \ln \left (1+x \right ) \left (1+x \right )}{x}-3-3 x +\frac {6}{x^{2}}-\frac {10}{x}-2 \ln \left (1+x \right )\)	\(41\)
default	\(-\frac {2 \ln \left (2\right )}{x}+\frac {2 \ln \left (1+x \right ) \left (1+x \right )}{x}-3-3 x +\frac {6}{x^{2}}-\frac {10}{x}-2 \ln \left (1+x \right )\)	\(41\)

[In]

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

[Out]

(6+(-10-2*ln(2))*x-3*x^3+2*ln(1+x)*x)/x^2

Fricas [A] (verification not implemented)

none

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

[In]

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

[Out]

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

Sympy [A] (verification not implemented)

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

[In]

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

[Out]

-3*x + 2*log(x + 1)/x - (x*(2*log(2) + 10) - 6)/x**2

Maxima [B] (verification not implemented)

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

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

[In]

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

[Out]

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

Giac [A] (verification not implemented)

none

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

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 0.21 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.76 \[ \int \frac {-12-2 x+12 x^2-3 x^3-3 x^4+\left (2 x+2 x^2\right ) \log (2)+\left (-2 x-2 x^2\right ) \log (1+x)}{x^3+x^4} \, dx=-3\,x-\frac {x\,\left (2\,\ln \left (2\right )-2\,\ln \left (x+1\right )+10\right )-6}{x^2} \]

[In]

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

[Out]

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