3.1.29 \(\int x^3 \log ^3(2+x) \log (3+x) \, dx\) [29]

3.1.29.1 Optimal result
3.1.29.2 Mathematica [A] (verified)
3.1.29.3 Rubi [A] (verified)
3.1.29.4 Maple [F]
3.1.29.5 Fricas [F]
3.1.29.6 Sympy [F]
3.1.29.7 Maxima [A] (verification not implemented)
3.1.29.8 Giac [F]
3.1.29.9 Mupad [F(-1)]
3.1.29.10 Reduce [F]

3.1.29.1 Optimal result

Integrand size = 14, antiderivative size = 606 \[ \int x^3 \log ^3(2+x) \log (3+x) \, dx=-\frac {302177 x}{1152}+\frac {8029 x^2}{2304}-\frac {763 x^3}{3456}+\frac {3 x^4}{256}+\frac {377}{64} (2+x)^2-\frac {71}{216} (2+x)^3+\frac {3}{256} (2+x)^4+\frac {2069}{144} \log (2+x)-\frac {187}{64} x^2 \log (2+x)+\frac {83}{288} x^3 \log (2+x)-\frac {3}{128} x^4 \log (2+x)+\frac {6733}{32} (2+x) \log (2+x)-\frac {377}{32} (2+x)^2 \log (2+x)+\frac {71}{72} (2+x)^3 \log (2+x)-\frac {3}{64} (2+x)^4 \log (2+x)-\frac {43}{12} \log ^2(2+x)-\frac {17}{48} x^3 \log ^2(2+x)+\frac {3}{64} x^4 \log ^2(2+x)-\frac {1251}{16} (2+x) \log ^2(2+x)+\frac {273}{32} (2+x)^2 \log ^2(2+x)-\frac {3}{4} (2+x)^3 \log ^2(2+x)+\frac {3}{64} (2+x)^4 \log ^2(2+x)+\frac {65}{4} (2+x) \log ^3(2+x)-\frac {33}{8} (2+x)^2 \log ^3(2+x)+\frac {3}{4} (2+x)^3 \log ^3(2+x)-\frac {1}{16} (2+x)^4 \log ^3(2+x)+\frac {3891}{128} \log (3+x)-\frac {115}{48} x^2 \log (3+x)+\frac {37}{144} x^3 \log (3+x)-\frac {3}{128} x^4 \log (3+x)+\frac {415}{12} (3+x) \log (3+x)-\frac {4083}{32} \log (2+x) \log (3+x)-25 x \log (2+x) \log (3+x)+\frac {13}{4} x^2 \log (2+x) \log (3+x)-\frac {7}{12} x^3 \log (2+x) \log (3+x)+\frac {3}{32} x^4 \log (2+x) \log (3+x)+\frac {963}{16} \log ^2(2+x) \log (3+x)+6 x \log ^2(2+x) \log (3+x)-\frac {3}{2} x^2 \log ^2(2+x) \log (3+x)+\frac {1}{2} x^3 \log ^2(2+x) \log (3+x)-\frac {3}{16} x^4 \log ^2(2+x) \log (3+x)-\frac {81}{4} \log ^3(2+x) \log (3+x)+\frac {1}{4} x^4 \log ^3(2+x) \log (3+x)-\frac {5609 \operatorname {PolyLog}(2,-2-x)}{96}+\frac {563}{8} \log (2+x) \operatorname {PolyLog}(2,-2-x)-\frac {195}{4} \log ^2(2+x) \operatorname {PolyLog}(2,-2-x)-\frac {563 \operatorname {PolyLog}(3,-2-x)}{8}+\frac {195}{2} \log (2+x) \operatorname {PolyLog}(3,-2-x)-\frac {195 \operatorname {PolyLog}(4,-2-x)}{2} \]

output
-302177/1152*x+3891/128*ln(3+x)+2069/144*ln(2+x)+3/256*x^4-763/3456*x^3+80 
29/2304*x^2-43/12*ln(2+x)^2-5609/96*polylog(2,-2-x)-563/8*polylog(3,-2-x)- 
195/2*polylog(4,-2-x)+377/64*(2+x)^2-71/216*(2+x)^3+3/256*(2+x)^4+3/32*x^4 
*ln(2+x)*ln(3+x)-25*x*ln(2+x)*ln(3+x)+1/2*x^3*ln(2+x)^2*ln(3+x)+6*x*ln(2+x 
)^2*ln(3+x)-7/12*x^3*ln(2+x)*ln(3+x)+1/4*x^4*ln(2+x)^3*ln(3+x)-3/2*x^2*ln( 
2+x)^2*ln(3+x)-3/16*x^4*ln(2+x)^2*ln(3+x)+13/4*x^2*ln(2+x)*ln(3+x)+963/16* 
ln(2+x)^2*ln(3+x)-81/4*ln(2+x)^3*ln(3+x)+563/8*ln(2+x)*polylog(2,-2-x)-195 
/4*ln(2+x)^2*polylog(2,-2-x)+195/2*ln(2+x)*polylog(3,-2-x)-187/64*x^2*ln(2 
+x)+83/288*x^3*ln(2+x)-3/128*x^4*ln(2+x)+6733/32*(2+x)*ln(2+x)-377/32*(2+x 
)^2*ln(2+x)+71/72*(2+x)^3*ln(2+x)-3/64*(2+x)^4*ln(2+x)-17/48*x^3*ln(2+x)^2 
+3/64*x^4*ln(2+x)^2-1251/16*(2+x)*ln(2+x)^2+273/32*(2+x)^2*ln(2+x)^2-3/4*( 
2+x)^3*ln(2+x)^2+3/64*(2+x)^4*ln(2+x)^2+65/4*(2+x)*ln(2+x)^3-33/8*(2+x)^2* 
ln(2+x)^3+3/4*(2+x)^3*ln(2+x)^3-1/16*(2+x)^4*ln(2+x)^3-115/48*x^2*ln(3+x)+ 
37/144*x^3*ln(3+x)-3/128*x^4*ln(3+x)+415/12*(3+x)*ln(3+x)-4083/32*ln(2+x)* 
ln(3+x)
 
3.1.29.2 Mathematica [A] (verified)

Time = 0.30 (sec) , antiderivative size = 412, normalized size of antiderivative = 0.68 \[ \int x^3 \log ^3(2+x) \log (3+x) \, dx=\frac {-195984-558290 x+17705 x^2-1050 x^3+54 x^4+910528 \log (2+x)+400008 x \log (2+x)-22836 x^2 \log (2+x)+2072 x^3 \log (2+x)-162 x^4 \log (2+x)-302016 \log ^2(2+x)-118800 x \log ^2(2+x)+11880 x^2 \log ^2(2+x)-1680 x^3 \log ^2(2+x)+216 x^4 \log ^2(2+x)+48384 \log ^3(2+x)+15552 x \log ^3(2+x)-2592 x^2 \log ^3(2+x)+576 x^3 \log ^3(2+x)-144 x^4 \log ^3(2+x)+309078 \log (3+x)+79680 x \log (3+x)-5520 x^2 \log (3+x)+592 x^3 \log (3+x)-54 x^4 \log (3+x)-293976 \log (2+x) \log (3+x)-57600 x \log (2+x) \log (3+x)+7488 x^2 \log (2+x) \log (3+x)-1344 x^3 \log (2+x) \log (3+x)+216 x^4 \log (2+x) \log (3+x)+138672 \log ^2(2+x) \log (3+x)+13824 x \log ^2(2+x) \log (3+x)-3456 x^2 \log ^2(2+x) \log (3+x)+1152 x^3 \log ^2(2+x) \log (3+x)-432 x^4 \log ^2(2+x) \log (3+x)-46656 \log ^3(2+x) \log (3+x)+576 x^4 \log ^3(2+x) \log (3+x)-24 \left (5609-6756 \log (2+x)+4680 \log ^2(2+x)\right ) \operatorname {PolyLog}(2,-2-x)+288 (-563+780 \log (2+x)) \operatorname {PolyLog}(3,-2-x)-224640 \operatorname {PolyLog}(4,-2-x)}{2304} \]

input
Integrate[x^3*Log[2 + x]^3*Log[3 + x],x]
 
output
(-195984 - 558290*x + 17705*x^2 - 1050*x^3 + 54*x^4 + 910528*Log[2 + x] + 
400008*x*Log[2 + x] - 22836*x^2*Log[2 + x] + 2072*x^3*Log[2 + x] - 162*x^4 
*Log[2 + x] - 302016*Log[2 + x]^2 - 118800*x*Log[2 + x]^2 + 11880*x^2*Log[ 
2 + x]^2 - 1680*x^3*Log[2 + x]^2 + 216*x^4*Log[2 + x]^2 + 48384*Log[2 + x] 
^3 + 15552*x*Log[2 + x]^3 - 2592*x^2*Log[2 + x]^3 + 576*x^3*Log[2 + x]^3 - 
 144*x^4*Log[2 + x]^3 + 309078*Log[3 + x] + 79680*x*Log[3 + x] - 5520*x^2* 
Log[3 + x] + 592*x^3*Log[3 + x] - 54*x^4*Log[3 + x] - 293976*Log[2 + x]*Lo 
g[3 + x] - 57600*x*Log[2 + x]*Log[3 + x] + 7488*x^2*Log[2 + x]*Log[3 + x] 
- 1344*x^3*Log[2 + x]*Log[3 + x] + 216*x^4*Log[2 + x]*Log[3 + x] + 138672* 
Log[2 + x]^2*Log[3 + x] + 13824*x*Log[2 + x]^2*Log[3 + x] - 3456*x^2*Log[2 
 + x]^2*Log[3 + x] + 1152*x^3*Log[2 + x]^2*Log[3 + x] - 432*x^4*Log[2 + x] 
^2*Log[3 + x] - 46656*Log[2 + x]^3*Log[3 + x] + 576*x^4*Log[2 + x]^3*Log[3 
 + x] - 24*(5609 - 6756*Log[2 + x] + 4680*Log[2 + x]^2)*PolyLog[2, -2 - x] 
 + 288*(-563 + 780*Log[2 + x])*PolyLog[3, -2 - x] - 224640*PolyLog[4, -2 - 
 x])/2304
 
3.1.29.3 Rubi [A] (verified)

Time = 4.52 (sec) , antiderivative size = 741, normalized size of antiderivative = 1.22, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.357, Rules used = {2889, 2863, 2009, 7293, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int x^3 \log ^3(x+2) \log (x+3) \, dx\)

\(\Big \downarrow \) 2889

\(\displaystyle -\frac {1}{4} \int \frac {x^4 \log ^3(x+2)}{x+3}dx-\frac {3}{4} \int \frac {x^4 \log ^2(x+2) \log (x+3)}{x+2}dx+\frac {1}{4} x^4 \log ^3(x+2) \log (x+3)\)

\(\Big \downarrow \) 2863

\(\displaystyle -\frac {3}{4} \int \frac {x^4 \log ^2(x+2) \log (x+3)}{x+2}dx-\frac {1}{4} \int \left (x^3 \log ^3(x+2)-3 x^2 \log ^3(x+2)+9 x \log ^3(x+2)+\frac {81 \log ^3(x+2)}{x+3}-27 \log ^3(x+2)\right )dx+\frac {1}{4} x^4 \log ^3(x+2) \log (x+3)\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {3}{4} \int \frac {x^4 \log ^2(x+2) \log (x+3)}{x+2}dx+\frac {1}{4} \left (-486 \operatorname {PolyLog}(4,-x-2)-243 \operatorname {PolyLog}(2,-x-2) \log ^2(x+2)+486 \operatorname {PolyLog}(3,-x-2) \log (x+2)+\frac {3}{128} (x+2)^4-\frac {2}{3} (x+2)^3+\frac {99}{8} (x+2)^2-390 x-\frac {1}{4} (x+2)^4 \log ^3(x+2)+3 (x+2)^3 \log ^3(x+2)-\frac {33}{2} (x+2)^2 \log ^3(x+2)+65 (x+2) \log ^3(x+2)-81 \log ^3(x+2) \log (x+3)+\frac {3}{16} (x+2)^4 \log ^2(x+2)-3 (x+2)^3 \log ^2(x+2)+\frac {99}{4} (x+2)^2 \log ^2(x+2)-195 (x+2) \log ^2(x+2)-\frac {3}{32} (x+2)^4 \log (x+2)+2 (x+2)^3 \log (x+2)-\frac {99}{4} (x+2)^2 \log (x+2)+390 (x+2) \log (x+2)\right )+\frac {1}{4} x^4 \log ^3(x+2) \log (x+3)\)

\(\Big \downarrow \) 7293

\(\displaystyle -\frac {3}{4} \int \left (\log ^2(x+2) \log (x+3) x^3-2 \log ^2(x+2) \log (x+3) x^2+4 \log ^2(x+2) \log (x+3) x+\frac {16 \log ^2(x+2) \log (x+3)}{x+2}-8 \log ^2(x+2) \log (x+3)\right )dx+\frac {1}{4} \left (-486 \operatorname {PolyLog}(4,-x-2)-243 \operatorname {PolyLog}(2,-x-2) \log ^2(x+2)+486 \operatorname {PolyLog}(3,-x-2) \log (x+2)+\frac {3}{128} (x+2)^4-\frac {2}{3} (x+2)^3+\frac {99}{8} (x+2)^2-390 x-\frac {1}{4} (x+2)^4 \log ^3(x+2)+3 (x+2)^3 \log ^3(x+2)-\frac {33}{2} (x+2)^2 \log ^3(x+2)+65 (x+2) \log ^3(x+2)-81 \log ^3(x+2) \log (x+3)+\frac {3}{16} (x+2)^4 \log ^2(x+2)-3 (x+2)^3 \log ^2(x+2)+\frac {99}{4} (x+2)^2 \log ^2(x+2)-195 (x+2) \log ^2(x+2)-\frac {3}{32} (x+2)^4 \log (x+2)+2 (x+2)^3 \log (x+2)-\frac {99}{4} (x+2)^2 \log (x+2)+390 (x+2) \log (x+2)\right )+\frac {1}{4} x^4 \log ^3(x+2) \log (x+3)\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {3}{4} \left (\frac {5609 \operatorname {PolyLog}(2,-x-2)}{72}+\frac {563 \operatorname {PolyLog}(3,-x-2)}{6}-32 \operatorname {PolyLog}(4,-x-2)-16 \operatorname {PolyLog}(2,-x-2) \log ^2(x+2)-\frac {563}{6} \operatorname {PolyLog}(2,-x-2) \log (x+2)+32 \operatorname {PolyLog}(3,-x-2) \log (x+2)-\frac {x^4}{64}-\frac {1}{16} x^4 \log ^2(x+2)+\frac {1}{4} x^4 \log ^2(x+2) \log (x+3)+\frac {1}{32} x^4 \log (x+2)-\frac {1}{8} x^4 \log (x+2) \log (x+3)+\frac {1}{32} x^4 \log (x+3)+\frac {763 x^3}{2592}+\frac {17}{36} x^3 \log ^2(x+2)-\frac {2}{3} x^3 \log ^2(x+2) \log (x+3)-\frac {83}{216} x^3 \log (x+2)+\frac {7}{9} x^3 \log (x+2) \log (x+3)-\frac {37}{108} x^3 \log (x+3)-\frac {8029 x^2}{1728}+2 x^2 \log ^2(x+2) \log (x+3)+\frac {187}{48} x^2 \log (x+2)-\frac {13}{3} x^2 \log (x+2) \log (x+3)+\frac {115}{36} x^2 \log (x+3)+\frac {189857 x}{864}-\frac {1}{128} (x+2)^4+\frac {35}{162} (x+2)^3-\frac {179}{48} (x+2)^2-8 x \log ^2(x+2) \log (x+3)-\frac {25}{8} (x+2)^2 \log ^2(x+2)+\frac {157}{4} (x+2) \log ^2(x+2)+\frac {43}{9} \log ^2(x+2)-\frac {321}{4} \log ^2(x+2) \log (x+3)+\frac {100}{3} x \log (x+2) \log (x+3)+\frac {1}{32} (x+2)^4 \log (x+2)-\frac {35}{54} (x+2)^3 \log (x+2)+\frac {179}{24} (x+2)^2 \log (x+2)-\frac {3613}{24} (x+2) \log (x+2)-\frac {2069}{108} \log (x+2)-\frac {415}{9} (x+3) \log (x+3)+\frac {1361}{8} \log (x+2) \log (x+3)-\frac {1297}{32} \log (x+3)\right )+\frac {1}{4} \left (-486 \operatorname {PolyLog}(4,-x-2)-243 \operatorname {PolyLog}(2,-x-2) \log ^2(x+2)+486 \operatorname {PolyLog}(3,-x-2) \log (x+2)+\frac {3}{128} (x+2)^4-\frac {2}{3} (x+2)^3+\frac {99}{8} (x+2)^2-390 x-\frac {1}{4} (x+2)^4 \log ^3(x+2)+3 (x+2)^3 \log ^3(x+2)-\frac {33}{2} (x+2)^2 \log ^3(x+2)+65 (x+2) \log ^3(x+2)-81 \log ^3(x+2) \log (x+3)+\frac {3}{16} (x+2)^4 \log ^2(x+2)-3 (x+2)^3 \log ^2(x+2)+\frac {99}{4} (x+2)^2 \log ^2(x+2)-195 (x+2) \log ^2(x+2)-\frac {3}{32} (x+2)^4 \log (x+2)+2 (x+2)^3 \log (x+2)-\frac {99}{4} (x+2)^2 \log (x+2)+390 (x+2) \log (x+2)\right )+\frac {1}{4} x^4 \log ^3(x+2) \log (x+3)\)

input
Int[x^3*Log[2 + x]^3*Log[3 + x],x]
 
output
(x^4*Log[2 + x]^3*Log[3 + x])/4 + (-390*x + (99*(2 + x)^2)/8 - (2*(2 + x)^ 
3)/3 + (3*(2 + x)^4)/128 + 390*(2 + x)*Log[2 + x] - (99*(2 + x)^2*Log[2 + 
x])/4 + 2*(2 + x)^3*Log[2 + x] - (3*(2 + x)^4*Log[2 + x])/32 - 195*(2 + x) 
*Log[2 + x]^2 + (99*(2 + x)^2*Log[2 + x]^2)/4 - 3*(2 + x)^3*Log[2 + x]^2 + 
 (3*(2 + x)^4*Log[2 + x]^2)/16 + 65*(2 + x)*Log[2 + x]^3 - (33*(2 + x)^2*L 
og[2 + x]^3)/2 + 3*(2 + x)^3*Log[2 + x]^3 - ((2 + x)^4*Log[2 + x]^3)/4 - 8 
1*Log[2 + x]^3*Log[3 + x] - 243*Log[2 + x]^2*PolyLog[2, -2 - x] + 486*Log[ 
2 + x]*PolyLog[3, -2 - x] - 486*PolyLog[4, -2 - x])/4 - (3*((189857*x)/864 
 - (8029*x^2)/1728 + (763*x^3)/2592 - x^4/64 - (179*(2 + x)^2)/48 + (35*(2 
 + x)^3)/162 - (2 + x)^4/128 - (2069*Log[2 + x])/108 + (187*x^2*Log[2 + x] 
)/48 - (83*x^3*Log[2 + x])/216 + (x^4*Log[2 + x])/32 - (3613*(2 + x)*Log[2 
 + x])/24 + (179*(2 + x)^2*Log[2 + x])/24 - (35*(2 + x)^3*Log[2 + x])/54 + 
 ((2 + x)^4*Log[2 + x])/32 + (43*Log[2 + x]^2)/9 + (17*x^3*Log[2 + x]^2)/3 
6 - (x^4*Log[2 + x]^2)/16 + (157*(2 + x)*Log[2 + x]^2)/4 - (25*(2 + x)^2*L 
og[2 + x]^2)/8 - (1297*Log[3 + x])/32 + (115*x^2*Log[3 + x])/36 - (37*x^3* 
Log[3 + x])/108 + (x^4*Log[3 + x])/32 - (415*(3 + x)*Log[3 + x])/9 + (1361 
*Log[2 + x]*Log[3 + x])/8 + (100*x*Log[2 + x]*Log[3 + x])/3 - (13*x^2*Log[ 
2 + x]*Log[3 + x])/3 + (7*x^3*Log[2 + x]*Log[3 + x])/9 - (x^4*Log[2 + x]*L 
og[3 + x])/8 - (321*Log[2 + x]^2*Log[3 + x])/4 - 8*x*Log[2 + x]^2*Log[3 + 
x] + 2*x^2*Log[2 + x]^2*Log[3 + x] - (2*x^3*Log[2 + x]^2*Log[3 + x])/3 ...
 

3.1.29.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2863
Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((h_.)*(x_)) 
^(m_.)*((f_) + (g_.)*(x_)^(r_.))^(q_.), x_Symbol] :> Int[ExpandIntegrand[(a 
 + b*Log[c*(d + e*x)^n])^p, (h*x)^m*(f + g*x^r)^q, x], x] /; FreeQ[{a, b, c 
, d, e, f, g, h, m, n, p, q, r}, x] && IntegerQ[m] && IntegerQ[q]
 

rule 2889
Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + Log 
[(h_.)*((i_.) + (j_.)*(x_))^(m_.)]*(g_.))*(x_)^(r_.), x_Symbol] :> Simp[x^( 
r + 1)*(a + b*Log[c*(d + e*x)^n])^p*((f + g*Log[h*(i + j*x)^m])/(r + 1)), x 
] + (-Simp[g*j*(m/(r + 1))   Int[x^(r + 1)*((a + b*Log[c*(d + e*x)^n])^p/(i 
 + j*x)), x], x] - Simp[b*e*n*(p/(r + 1))   Int[x^(r + 1)*(a + b*Log[c*(d + 
 e*x)^n])^(p - 1)*((f + g*Log[h*(i + j*x)^m])/(d + e*x)), x], x]) /; FreeQ[ 
{a, b, c, d, e, f, g, h, i, j, m, n}, x] && IGtQ[p, 0] && IntegerQ[r] && (E 
qQ[p, 1] || GtQ[r, 0]) && NeQ[r, -1]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.1.29.4 Maple [F]

\[\int x^{3} \ln \left (2+x \right )^{3} \ln \left (3+x \right )d x\]

input
int(x^3*ln(2+x)^3*ln(3+x),x)
 
output
int(x^3*ln(2+x)^3*ln(3+x),x)
 
3.1.29.5 Fricas [F]

\[ \int x^3 \log ^3(2+x) \log (3+x) \, dx=\int { x^{3} \log \left (x + 3\right ) \log \left (x + 2\right )^{3} \,d x } \]

input
integrate(x^3*log(2+x)^3*log(3+x),x, algorithm="fricas")
 
output
integral(x^3*log(x + 3)*log(x + 2)^3, x)
 
3.1.29.6 Sympy [F]

\[ \int x^3 \log ^3(2+x) \log (3+x) \, dx=\left (\frac {x^{4} \log {\left (x + 2 \right )}^{3}}{4} - \frac {3 x^{4} \log {\left (x + 2 \right )}^{2}}{16} + \frac {3 x^{4} \log {\left (x + 2 \right )}}{32} - \frac {3 x^{4}}{128} + \frac {x^{3} \log {\left (x + 2 \right )}^{2}}{2} - \frac {7 x^{3} \log {\left (x + 2 \right )}}{12} + \frac {37 x^{3}}{144} - \frac {3 x^{2} \log {\left (x + 2 \right )}^{2}}{2} + \frac {13 x^{2} \log {\left (x + 2 \right )}}{4} - \frac {115 x^{2}}{48} + 6 x \log {\left (x + 2 \right )}^{2} - 25 x \log {\left (x + 2 \right )} + \frac {415 x}{12} - 4 \log {\left (x + 2 \right )}^{3} + 25 \log {\left (x + 2 \right )}^{2} - \frac {415 \log {\left (x + 2 \right )}}{6} + \frac {10955281}{240000}\right ) \log {\left (x + 3 \right )} - \frac {\int \frac {24900000 x}{x + 3}\, dx + \int \left (- \frac {1725000 x^{2}}{x + 3}\right )\, dx + \int \frac {185000 x^{3}}{x + 3}\, dx + \int \left (- \frac {16875 x^{4}}{x + 3}\right )\, dx + \int \left (- \frac {49800000 \log {\left (x + 2 \right )}}{x + 3}\right )\, dx + \int \frac {18000000 \log {\left (x + 2 \right )}^{2}}{x + 3}\, dx + \int \left (- \frac {2880000 \log {\left (x + 2 \right )}^{3}}{x + 3}\right )\, dx + \int \left (- \frac {18000000 x \log {\left (x + 2 \right )}}{x + 3}\right )\, dx + \int \frac {4320000 x \log {\left (x + 2 \right )}^{2}}{x + 3}\, dx + \int \frac {2340000 x^{2} \log {\left (x + 2 \right )}}{x + 3}\, dx + \int \left (- \frac {1080000 x^{2} \log {\left (x + 2 \right )}^{2}}{x + 3}\right )\, dx + \int \left (- \frac {420000 x^{3} \log {\left (x + 2 \right )}}{x + 3}\right )\, dx + \int \frac {360000 x^{3} \log {\left (x + 2 \right )}^{2}}{x + 3}\, dx + \int \frac {67500 x^{4} \log {\left (x + 2 \right )}}{x + 3}\, dx + \int \left (- \frac {135000 x^{4} \log {\left (x + 2 \right )}^{2}}{x + 3}\right )\, dx + \int \frac {180000 x^{4} \log {\left (x + 2 \right )}^{3}}{x + 3}\, dx + \int \frac {32865843}{x + 3}\, dx}{720000} \]

input
integrate(x**3*ln(2+x)**3*ln(3+x),x)
 
output
(x**4*log(x + 2)**3/4 - 3*x**4*log(x + 2)**2/16 + 3*x**4*log(x + 2)/32 - 3 
*x**4/128 + x**3*log(x + 2)**2/2 - 7*x**3*log(x + 2)/12 + 37*x**3/144 - 3* 
x**2*log(x + 2)**2/2 + 13*x**2*log(x + 2)/4 - 115*x**2/48 + 6*x*log(x + 2) 
**2 - 25*x*log(x + 2) + 415*x/12 - 4*log(x + 2)**3 + 25*log(x + 2)**2 - 41 
5*log(x + 2)/6 + 10955281/240000)*log(x + 3) - (Integral(24900000*x/(x + 3 
), x) + Integral(-1725000*x**2/(x + 3), x) + Integral(185000*x**3/(x + 3), 
 x) + Integral(-16875*x**4/(x + 3), x) + Integral(-49800000*log(x + 2)/(x 
+ 3), x) + Integral(18000000*log(x + 2)**2/(x + 3), x) + Integral(-2880000 
*log(x + 2)**3/(x + 3), x) + Integral(-18000000*x*log(x + 2)/(x + 3), x) + 
 Integral(4320000*x*log(x + 2)**2/(x + 3), x) + Integral(2340000*x**2*log( 
x + 2)/(x + 3), x) + Integral(-1080000*x**2*log(x + 2)**2/(x + 3), x) + In 
tegral(-420000*x**3*log(x + 2)/(x + 3), x) + Integral(360000*x**3*log(x + 
2)**2/(x + 3), x) + Integral(67500*x**4*log(x + 2)/(x + 3), x) + Integral( 
-135000*x**4*log(x + 2)**2/(x + 3), x) + Integral(180000*x**4*log(x + 2)** 
3/(x + 3), x) + Integral(32865843/(x + 3), x))/720000
 
3.1.29.7 Maxima [A] (verification not implemented)

Time = 0.21 (sec) , antiderivative size = 518, normalized size of antiderivative = 0.85 \[ \int x^3 \log ^3(2+x) \log (3+x) \, dx =\text {Too large to display} \]

input
integrate(x^3*log(2+x)^3*log(3+x),x, algorithm="maxima")
 
output
3/128*x^4 + 1/16*(4*x^4*log(x + 3) - x^4 + 4*x^3 - 18*x^2 + 108*x - 324*lo 
g(x + 3))*log(x + 2)^3 - 65/4*log(x + 3)*log(x + 2)^3 + 195/4*log(x + 3)*l 
og(x + 2)^2*log(-x - 2) - 175/384*x^3 + 1/96*(9*x^4 - 70*x^3 + 495*x^2 - 6 
*(3*x^4 - 8*x^3 + 24*x^2 - 96*x)*log(x + 3) + 4680*log(x + 3)*log(-x - 2) 
- 4950*x + 4680*dilog(x + 3) + 5778*log(x + 3) + 6048*log(x + 2))*log(x + 
2)^2 + 195/4*dilog(x + 3)*log(x + 2)^2 - 195/4*dilog(-x - 2)*log(x + 2)^2 
+ 563/16*log(x + 3)*log(x + 2)^2 + 21*log(x + 2)^3 + 17705/2304*x^2 + 1/8* 
(780*log(x + 2)^2 - 563*log(x + 2))*dilog(-x - 2) - 1/1152*(27*x^4 - 296*x 
^3 - 18720*log(x + 2)^3 + 2760*x^2 + 40536*log(x + 2)^2 - 39840*x - 67308* 
log(x + 2))*log(x + 3) - 1/1152*(81*x^4 - 1036*x^3 + 56160*log(x + 3)*log( 
x + 2)^2 + 112320*log(x + 3)*log(x + 2)*log(-x - 2) + 11418*x^2 - 12*(9*x^ 
4 - 56*x^3 + 312*x^2 + 4680*log(x + 2)^2 - 2400*x - 6756*log(x + 2))*log(x 
 + 3) + 112320*dilog(x + 3)*log(x + 2) + 112320*dilog(-x - 2)*log(x + 2) - 
 81072*log(x + 3)*log(x + 2) + 72576*log(x + 2)^2 - 200004*x - 81072*dilog 
(-x - 2) + 146988*log(x + 3) + 302016*log(x + 2) - 112320*polylog(3, -x - 
2))*log(x + 2) + 563/8*dilog(-x - 2)*log(x + 2) - 5609/96*log(x + 3)*log(x 
 + 2) + 1573/12*log(x + 2)^2 - 279145/1152*x - 5609/96*dilog(-x - 2) + 171 
71/128*log(x + 3) + 14227/36*log(x + 2) - 195/2*polylog(4, -x - 2) - 563/8 
*polylog(3, -x - 2)
 
3.1.29.8 Giac [F]

\[ \int x^3 \log ^3(2+x) \log (3+x) \, dx=\int { x^{3} \log \left (x + 3\right ) \log \left (x + 2\right )^{3} \,d x } \]

input
integrate(x^3*log(2+x)^3*log(3+x),x, algorithm="giac")
 
output
integrate(x^3*log(x + 3)*log(x + 2)^3, x)
 
3.1.29.9 Mupad [F(-1)]

Timed out. \[ \int x^3 \log ^3(2+x) \log (3+x) \, dx=\int x^3\,{\ln \left (x+2\right )}^3\,\ln \left (x+3\right ) \,d x \]

input
int(x^3*log(x + 2)^3*log(x + 3),x)
 
output
int(x^3*log(x + 2)^3*log(x + 3), x)
 
3.1.29.10 Reduce [F]

\[ \int x^3 \log ^3(2+x) \log (3+x) \, dx =\text {Too large to display} \]

input
int(log(x + 3)*log(x + 2)**3*x**3,x)
 
output
(37440*int(log(x + 2)**3/(x**2 + 5*x + 6),x) - 81072*int(log(x + 2)**2/(x* 
*2 + 5*x + 6),x) + 134616*int(log(x + 2)/(x**2 + 5*x + 6),x) + 576*log(x + 
 3)*log(x + 2)**3*x**4 - 9216*log(x + 3)*log(x + 2)**3 - 432*log(x + 3)*lo 
g(x + 2)**2*x**4 + 1152*log(x + 3)*log(x + 2)**2*x**3 - 3456*log(x + 3)*lo 
g(x + 2)**2*x**2 + 13824*log(x + 3)*log(x + 2)**2*x + 57600*log(x + 3)*log 
(x + 2)**2 + 216*log(x + 3)*log(x + 2)*x**4 - 1344*log(x + 3)*log(x + 2)*x 
**3 + 7488*log(x + 3)*log(x + 2)*x**2 - 57600*log(x + 3)*log(x + 2)*x - 15 
9360*log(x + 3)*log(x + 2) - 54*log(x + 3)*x**4 + 592*log(x + 3)*x**3 - 55 
20*log(x + 3)*x**2 + 79680*log(x + 3)*x + 309078*log(x + 3) - 9360*log(x + 
 2)**4 - 144*log(x + 2)**3*x**4 + 576*log(x + 2)**3*x**3 - 2592*log(x + 2) 
**3*x**2 + 15552*log(x + 2)**3*x + 75408*log(x + 2)**3 + 216*log(x + 2)**2 
*x**4 - 1680*log(x + 2)**2*x**3 + 11880*log(x + 2)**2*x**2 - 118800*log(x 
+ 2)**2*x - 369324*log(x + 2)**2 - 162*log(x + 2)*x**4 + 2072*log(x + 2)*x 
**3 - 22836*log(x + 2)*x**2 + 400008*log(x + 2)*x + 910528*log(x + 2) + 54 
*x**4 - 1050*x**3 + 17705*x**2 - 558290*x)/2304