3.2.65 \(\int \frac {1}{(2+x)^3 (3+x)^4} \, dx\) [165]

Optimal. Leaf size=54 \[ -\frac {1}{2 (2+x)^2}+\frac {4}{2+x}+\frac {1}{3 (3+x)^3}+\frac {3}{2 (3+x)^2}+\frac {6}{3+x}+10 \log (2+x)-10 \log (3+x) \]

[Out]

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

________________________________________________________________________________________

Rubi [A]
time = 0.02, antiderivative size = 54, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {46} \begin {gather*} \frac {4}{x+2}+\frac {6}{x+3}-\frac {1}{2 (x+2)^2}+\frac {3}{2 (x+3)^2}+\frac {1}{3 (x+3)^3}+10 \log (x+2)-10 \log (x+3) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 46

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}, x] && NeQ[b*c - a*d, 0] && ILtQ[m, 0] && IntegerQ[n] &&  !(IGtQ[n, 0] && Lt
Q[m + n + 2, 0])

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]
time = 0.01, size = 54, normalized size = 1.00 \begin {gather*} -\frac {1}{2 (2+x)^2}+\frac {4}{2+x}+\frac {1}{3 (3+x)^3}+\frac {3}{2 (3+x)^2}+\frac {6}{3+x}+10 \log (2+x)-10 \log (3+x) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

Mathics [A]
time = 2.27, size = 83, normalized size = 1.54 \begin {gather*} \frac {2627+4175 x+2450 x^2+630 x^3+60 x^4+60 \left (108+216 x+171 x^2+67 x^3+13 x^4+x^5\right ) \left (\text {Log}\left [2+x\right ]-\text {Log}\left [3+x\right ]\right )}{648+1296 x+1026 x^2+402 x^3+78 x^4+6 x^5} \end {gather*}

Antiderivative was successfully verified.

[In]

mathics('Integrate[1/((x + 2)^3*(x + 3)^4),x]')

[Out]

(2627 + 4175 x + 2450 x ^ 2 + 630 x ^ 3 + 60 x ^ 4 + 60 (108 + 216 x + 171 x ^ 2 + 67 x ^ 3 + 13 x ^ 4 + x ^ 5
) (Log[2 + x] - Log[3 + x])) / (6 (108 + 216 x + 171 x ^ 2 + 67 x ^ 3 + 13 x ^ 4 + x ^ 5))

________________________________________________________________________________________

Maple [A]
time = 0.05, size = 49, normalized size = 0.91

method	result	size
norman	\(\frac {10 x^{4}+105 x^{3}+\frac {1225}{3} x^{2}+\frac {4175}{6} x +\frac {2627}{6}}{\left (2+x \right )^{2} \left (3+x \right )^{3}}+10 \ln \left (2+x \right )-10 \ln \left (3+x \right )\)	\(45\)
risch	\(\frac {10 x^{4}+105 x^{3}+\frac {1225}{3} x^{2}+\frac {4175}{6} x +\frac {2627}{6}}{\left (2+x \right )^{2} \left (3+x \right )^{3}}+10 \ln \left (2+x \right )-10 \ln \left (3+x \right )\)	\(45\)
default	\(-\frac {1}{2 \left (2+x \right )^{2}}+\frac {4}{2+x}+\frac {1}{3 \left (3+x \right )^{3}}+\frac {3}{2 \left (3+x \right )^{2}}+\frac {6}{3+x}+10 \ln \left (2+x \right )-10 \ln \left (3+x \right )\)	\(49\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(2+x)^3/(3+x)^4,x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

Maxima [A]
time = 0.26, size = 60, normalized size = 1.11 \begin {gather*} \frac {60 \, x^{4} + 630 \, x^{3} + 2450 \, x^{2} + 4175 \, x + 2627}{6 \, {\left (x^{5} + 13 \, x^{4} + 67 \, x^{3} + 171 \, x^{2} + 216 \, x + 108\right )}} - 10 \, \log \left (x + 3\right ) + 10 \, \log \left (x + 2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/6*(60*x^4 + 630*x^3 + 2450*x^2 + 4175*x + 2627)/(x^5 + 13*x^4 + 67*x^3 + 171*x^2 + 216*x + 108) - 10*log(x +
3) + 10*log(x + 2)

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 105 vs. \(2 (48) = 96\).
time = 0.31, size = 105, normalized size = 1.94 \begin {gather*} \frac {60 \, x^{4} + 630 \, x^{3} + 2450 \, x^{2} - 60 \, {\left (x^{5} + 13 \, x^{4} + 67 \, x^{3} + 171 \, x^{2} + 216 \, x + 108\right )} \log \left (x + 3\right ) + 60 \, {\left (x^{5} + 13 \, x^{4} + 67 \, x^{3} + 171 \, x^{2} + 216 \, x + 108\right )} \log \left (x + 2\right ) + 4175 \, x + 2627}{6 \, {\left (x^{5} + 13 \, x^{4} + 67 \, x^{3} + 171 \, x^{2} + 216 \, x + 108\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/6*(60*x^4 + 630*x^3 + 2450*x^2 - 60*(x^5 + 13*x^4 + 67*x^3 + 171*x^2 + 216*x + 108)*log(x + 3) + 60*(x^5 + 1
3*x^4 + 67*x^3 + 171*x^2 + 216*x + 108)*log(x + 2) + 4175*x + 2627)/(x^5 + 13*x^4 + 67*x^3 + 171*x^2 + 216*x +
108)

________________________________________________________________________________________

Sympy [A]
time = 0.11, size = 58, normalized size = 1.07 \begin {gather*} \frac {60 x^{4} + 630 x^{3} + 2450 x^{2} + 4175 x + 2627}{6 x^{5} + 78 x^{4} + 402 x^{3} + 1026 x^{2} + 1296 x + 648} + 10 \log {\left (x + 2 \right )} - 10 \log {\left (x + 3 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(60*x**4 + 630*x**3 + 2450*x**2 + 4175*x + 2627)/(6*x**5 + 78*x**4 + 402*x**3 + 1026*x**2 + 1296*x + 648) + 10
*log(x + 2) - 10*log(x + 3)

________________________________________________________________________________________

Giac [A]
time = 0.00, size = 52, normalized size = 0.96 \begin {gather*} 10 \ln \left |x+2\right |-10 \ln \left |x+3\right |+\frac {\frac {1}{6} \left (60 x^{4}+630 x^{3}+2450 x^{2}+4175 x+2627\right )}{\left (x+2\right )^{2} \left (x+3\right )^{3}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(2+x)^3/(3+x)^4,x)

[Out]

1/6*(60*x^4 + 630*x^3 + 2450*x^2 + 4175*x + 2627)/((x + 3)^3*(x + 2)^2) - 10*log(abs(x + 3)) + 10*log(abs(x +
2))

________________________________________________________________________________________

Mupad [B]
time = 0.05, size = 55, normalized size = 1.02 \begin {gather*} \frac {10\,x^4+105\,x^3+\frac {1225\,x^2}{3}+\frac {4175\,x}{6}+\frac {2627}{6}}{x^5+13\,x^4+67\,x^3+171\,x^2+216\,x+108}-20\,\mathrm {atanh}\left (2\,x+5\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

((4175*x)/6 + (1225*x^2)/3 + 105*x^3 + 10*x^4 + 2627/6)/(216*x + 171*x^2 + 67*x^3 + 13*x^4 + x^5 + 108) - 20*a
tanh(2*x + 5)

________________________________________________________________________________________