Optimal. Leaf size=515 \[ -\frac {1}{6} \text {Li}_2(d x) \log (1-d x) \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right )-\frac {1}{6} d \text {Li}_3(d x) (d (2 a d+3 b)+6 c)-\frac {1}{3} d \text {Li}_3(1-d x) (d (2 a d+3 b)+6 c)+\frac {1}{6} d \text {Li}_2(d x) \log (1-d x) (d (2 a d+3 b)+6 c)+\frac {1}{3} d \text {Li}_2(1-d x) \log (1-d x) (d (2 a d+3 b)+6 c)+\frac {1}{6} d \log (d x) \log ^2(1-d x) (d (2 a d+3 b)+6 c)-\frac {1}{6} d^2 \log (x) (2 a d+3 b)+\frac {1}{6} d^2 (2 a d+3 b) \log (1-d x)+\frac {d (2 a d+3 b) \text {Li}_2(d x)}{6 x}-\frac {d (2 a d+3 b) \log (1-d x)}{6 x}-\frac {2}{9} a d^3 \text {Li}_2(d x)-\frac {1}{9} a d^3 \log ^2(1-d x)-\frac {5}{12} a d^3 \log (x)+\frac {5}{12} a d^3 \log (1-d x)+\frac {7 a d^2}{36 x}-\frac {2 a d^2 \log (1-d x)}{9 x}+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {a \log ^2(1-d x)}{9 x^3}-\frac {7 a d \log (1-d x)}{36 x^2}-\frac {1}{2} b d^2 \text {Li}_2(d x)-\frac {1}{4} b d^2 \log ^2(1-d x)-\frac {1}{2} b d^2 \log (x)+\frac {1}{2} b d^2 \log (1-d x)+\frac {b \log ^2(1-d x)}{4 x^2}-\frac {b d \log (1-d x)}{2 x}-2 c d \text {Li}_2(d x)+\frac {c (1-d x) \log ^2(1-d x)}{x} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.82, antiderivative size = 515, normalized size of antiderivative = 1.00, number of steps used = 43, number of rules used = 20, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.769, Rules used = {6742, 6591, 2395, 44, 36, 29, 31, 14, 6606, 2398, 2410, 2391, 2390, 2301, 2397, 6589, 6596, 2396, 2433, 2374} \[ -\frac {1}{6} \log (1-d x) \text {PolyLog}(2,d x) \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right )-\frac {1}{6} d \text {PolyLog}(3,d x) (d (2 a d+3 b)+6 c)-\frac {1}{3} d \text {PolyLog}(3,1-d x) (d (2 a d+3 b)+6 c)+\frac {1}{6} d \log (1-d x) \text {PolyLog}(2,d x) (d (2 a d+3 b)+6 c)+\frac {1}{3} d \log (1-d x) \text {PolyLog}(2,1-d x) (d (2 a d+3 b)+6 c)+\frac {d (2 a d+3 b) \text {PolyLog}(2,d x)}{6 x}-\frac {2}{9} a d^3 \text {PolyLog}(2,d x)+\frac {a d \text {PolyLog}(2,d x)}{6 x^2}-\frac {1}{2} b d^2 \text {PolyLog}(2,d x)-2 c d \text {PolyLog}(2,d x)+\frac {1}{6} d \log (d x) \log ^2(1-d x) (d (2 a d+3 b)+6 c)-\frac {1}{6} d^2 \log (x) (2 a d+3 b)+\frac {1}{6} d^2 (2 a d+3 b) \log (1-d x)-\frac {d (2 a d+3 b) \log (1-d x)}{6 x}+\frac {7 a d^2}{36 x}-\frac {1}{9} a d^3 \log ^2(1-d x)-\frac {5}{12} a d^3 \log (x)+\frac {5}{12} a d^3 \log (1-d x)-\frac {2 a d^2 \log (1-d x)}{9 x}+\frac {a \log ^2(1-d x)}{9 x^3}-\frac {7 a d \log (1-d x)}{36 x^2}-\frac {1}{4} b d^2 \log ^2(1-d x)-\frac {1}{2} b d^2 \log (x)+\frac {1}{2} b d^2 \log (1-d x)+\frac {b \log ^2(1-d x)}{4 x^2}-\frac {b d \log (1-d x)}{2 x}+\frac {c (1-d x) \log ^2(1-d x)}{x} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 29
Rule 31
Rule 36
Rule 44
Rule 2301
Rule 2374
Rule 2390
Rule 2391
Rule 2395
Rule 2396
Rule 2397
Rule 2398
Rule 2410
Rule 2433
Rule 6589
Rule 6591
Rule 6596
Rule 6606
Rule 6742
Rubi steps
\begin {align*} \int \frac {\left (a+b x+c x^2\right ) \log (1-d x) \text {Li}_2(d x)}{x^4} \, dx &=-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)+d \int \left (-\frac {a \text {Li}_2(d x)}{3 x^3}+\frac {(-3 b-2 a d) \text {Li}_2(d x)}{6 x^2}+\frac {\left (-6 c-3 b d-2 a d^2\right ) \text {Li}_2(d x)}{6 x}+\frac {d (-6 c-d (3 b+2 a d)) \text {Li}_2(d x)}{6 (1-d x)}\right ) \, dx+\int \left (-\frac {a \log ^2(1-d x)}{3 x^4}-\frac {b \log ^2(1-d x)}{2 x^3}-\frac {c \log ^2(1-d x)}{x^2}\right ) \, dx\\ &=-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)-\frac {1}{3} a \int \frac {\log ^2(1-d x)}{x^4} \, dx-\frac {1}{2} b \int \frac {\log ^2(1-d x)}{x^3} \, dx-c \int \frac {\log ^2(1-d x)}{x^2} \, dx-\frac {1}{3} (a d) \int \frac {\text {Li}_2(d x)}{x^3} \, dx-\frac {1}{6} (d (3 b+2 a d)) \int \frac {\text {Li}_2(d x)}{x^2} \, dx-\frac {1}{6} (d (6 c+d (3 b+2 a d))) \int \frac {\text {Li}_2(d x)}{x} \, dx-\frac {1}{6} \left (d^2 (6 c+d (3 b+2 a d))\right ) \int \frac {\text {Li}_2(d x)}{1-d x} \, dx\\ &=\frac {a \log ^2(1-d x)}{9 x^3}+\frac {b \log ^2(1-d x)}{4 x^2}+\frac {c (1-d x) \log ^2(1-d x)}{x}+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {d (3 b+2 a d) \text {Li}_2(d x)}{6 x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} d (6 c+d (3 b+2 a d)) \text {Li}_3(d x)+\frac {1}{6} (a d) \int \frac {\log (1-d x)}{x^3} \, dx+\frac {1}{9} (2 a d) \int \frac {\log (1-d x)}{x^3 (1-d x)} \, dx+\frac {1}{2} (b d) \int \frac {\log (1-d x)}{x^2 (1-d x)} \, dx+(2 c d) \int \frac {\log (1-d x)}{x} \, dx+\frac {1}{6} (d (3 b+2 a d)) \int \frac {\log (1-d x)}{x^2} \, dx+\frac {1}{6} (d (6 c+d (3 b+2 a d))) \int \frac {\log ^2(1-d x)}{x} \, dx\\ &=-\frac {a d \log (1-d x)}{12 x^2}-\frac {d (3 b+2 a d) \log (1-d x)}{6 x}+\frac {a \log ^2(1-d x)}{9 x^3}+\frac {b \log ^2(1-d x)}{4 x^2}+\frac {c (1-d x) \log ^2(1-d x)}{x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (d x) \log ^2(1-d x)-2 c d \text {Li}_2(d x)+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {d (3 b+2 a d) \text {Li}_2(d x)}{6 x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} d (6 c+d (3 b+2 a d)) \text {Li}_3(d x)+\frac {1}{9} (2 a d) \int \left (\frac {\log (1-d x)}{x^3}+\frac {d \log (1-d x)}{x^2}+\frac {d^2 \log (1-d x)}{x}-\frac {d^3 \log (1-d x)}{-1+d x}\right ) \, dx+\frac {1}{2} (b d) \int \left (\frac {\log (1-d x)}{x^2}+\frac {d \log (1-d x)}{x}-\frac {d^2 \log (1-d x)}{-1+d x}\right ) \, dx-\frac {1}{12} \left (a d^2\right ) \int \frac {1}{x^2 (1-d x)} \, dx-\frac {1}{6} \left (d^2 (3 b+2 a d)\right ) \int \frac {1}{x (1-d x)} \, dx+\frac {1}{3} \left (d^2 (6 c+d (3 b+2 a d))\right ) \int \frac {\log (d x) \log (1-d x)}{1-d x} \, dx\\ &=-\frac {a d \log (1-d x)}{12 x^2}-\frac {d (3 b+2 a d) \log (1-d x)}{6 x}+\frac {a \log ^2(1-d x)}{9 x^3}+\frac {b \log ^2(1-d x)}{4 x^2}+\frac {c (1-d x) \log ^2(1-d x)}{x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (d x) \log ^2(1-d x)-2 c d \text {Li}_2(d x)+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {d (3 b+2 a d) \text {Li}_2(d x)}{6 x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} d (6 c+d (3 b+2 a d)) \text {Li}_3(d x)+\frac {1}{9} (2 a d) \int \frac {\log (1-d x)}{x^3} \, dx+\frac {1}{2} (b d) \int \frac {\log (1-d x)}{x^2} \, dx-\frac {1}{12} \left (a d^2\right ) \int \left (\frac {1}{x^2}+\frac {d}{x}-\frac {d^2}{-1+d x}\right ) \, dx+\frac {1}{9} \left (2 a d^2\right ) \int \frac {\log (1-d x)}{x^2} \, dx+\frac {1}{2} \left (b d^2\right ) \int \frac {\log (1-d x)}{x} \, dx+\frac {1}{9} \left (2 a d^3\right ) \int \frac {\log (1-d x)}{x} \, dx-\frac {1}{2} \left (b d^3\right ) \int \frac {\log (1-d x)}{-1+d x} \, dx-\frac {1}{9} \left (2 a d^4\right ) \int \frac {\log (1-d x)}{-1+d x} \, dx-\frac {1}{6} \left (d^2 (3 b+2 a d)\right ) \int \frac {1}{x} \, dx-\frac {1}{6} \left (d^3 (3 b+2 a d)\right ) \int \frac {1}{1-d x} \, dx-\frac {1}{3} (d (6 c+d (3 b+2 a d))) \operatorname {Subst}\left (\int \frac {\log (x) \log \left (d \left (\frac {1}{d}-\frac {x}{d}\right )\right )}{x} \, dx,x,1-d x\right )\\ &=\frac {a d^2}{12 x}-\frac {1}{12} a d^3 \log (x)-\frac {1}{6} d^2 (3 b+2 a d) \log (x)+\frac {1}{12} a d^3 \log (1-d x)+\frac {1}{6} d^2 (3 b+2 a d) \log (1-d x)-\frac {7 a d \log (1-d x)}{36 x^2}-\frac {b d \log (1-d x)}{2 x}-\frac {2 a d^2 \log (1-d x)}{9 x}-\frac {d (3 b+2 a d) \log (1-d x)}{6 x}+\frac {a \log ^2(1-d x)}{9 x^3}+\frac {b \log ^2(1-d x)}{4 x^2}+\frac {c (1-d x) \log ^2(1-d x)}{x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (d x) \log ^2(1-d x)-2 c d \text {Li}_2(d x)-\frac {1}{2} b d^2 \text {Li}_2(d x)-\frac {2}{9} a d^3 \text {Li}_2(d x)+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {d (3 b+2 a d) \text {Li}_2(d x)}{6 x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)+\frac {1}{3} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(1-d x)-\frac {1}{6} d (6 c+d (3 b+2 a d)) \text {Li}_3(d x)-\frac {1}{9} \left (a d^2\right ) \int \frac {1}{x^2 (1-d x)} \, dx-\frac {1}{2} \left (b d^2\right ) \int \frac {1}{x (1-d x)} \, dx-\frac {1}{2} \left (b d^2\right ) \operatorname {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,1-d x\right )-\frac {1}{9} \left (2 a d^3\right ) \int \frac {1}{x (1-d x)} \, dx-\frac {1}{9} \left (2 a d^3\right ) \operatorname {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,1-d x\right )-\frac {1}{3} (d (6 c+d (3 b+2 a d))) \operatorname {Subst}\left (\int \frac {\text {Li}_2(x)}{x} \, dx,x,1-d x\right )\\ &=\frac {a d^2}{12 x}-\frac {1}{12} a d^3 \log (x)-\frac {1}{6} d^2 (3 b+2 a d) \log (x)+\frac {1}{12} a d^3 \log (1-d x)+\frac {1}{6} d^2 (3 b+2 a d) \log (1-d x)-\frac {7 a d \log (1-d x)}{36 x^2}-\frac {b d \log (1-d x)}{2 x}-\frac {2 a d^2 \log (1-d x)}{9 x}-\frac {d (3 b+2 a d) \log (1-d x)}{6 x}-\frac {1}{4} b d^2 \log ^2(1-d x)-\frac {1}{9} a d^3 \log ^2(1-d x)+\frac {a \log ^2(1-d x)}{9 x^3}+\frac {b \log ^2(1-d x)}{4 x^2}+\frac {c (1-d x) \log ^2(1-d x)}{x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (d x) \log ^2(1-d x)-2 c d \text {Li}_2(d x)-\frac {1}{2} b d^2 \text {Li}_2(d x)-\frac {2}{9} a d^3 \text {Li}_2(d x)+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {d (3 b+2 a d) \text {Li}_2(d x)}{6 x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)+\frac {1}{3} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(1-d x)-\frac {1}{6} d (6 c+d (3 b+2 a d)) \text {Li}_3(d x)-\frac {1}{3} d (6 c+d (3 b+2 a d)) \text {Li}_3(1-d x)-\frac {1}{9} \left (a d^2\right ) \int \left (\frac {1}{x^2}+\frac {d}{x}-\frac {d^2}{-1+d x}\right ) \, dx-\frac {1}{2} \left (b d^2\right ) \int \frac {1}{x} \, dx-\frac {1}{9} \left (2 a d^3\right ) \int \frac {1}{x} \, dx-\frac {1}{2} \left (b d^3\right ) \int \frac {1}{1-d x} \, dx-\frac {1}{9} \left (2 a d^4\right ) \int \frac {1}{1-d x} \, dx\\ &=\frac {7 a d^2}{36 x}-\frac {1}{2} b d^2 \log (x)-\frac {5}{12} a d^3 \log (x)-\frac {1}{6} d^2 (3 b+2 a d) \log (x)+\frac {1}{2} b d^2 \log (1-d x)+\frac {5}{12} a d^3 \log (1-d x)+\frac {1}{6} d^2 (3 b+2 a d) \log (1-d x)-\frac {7 a d \log (1-d x)}{36 x^2}-\frac {b d \log (1-d x)}{2 x}-\frac {2 a d^2 \log (1-d x)}{9 x}-\frac {d (3 b+2 a d) \log (1-d x)}{6 x}-\frac {1}{4} b d^2 \log ^2(1-d x)-\frac {1}{9} a d^3 \log ^2(1-d x)+\frac {a \log ^2(1-d x)}{9 x^3}+\frac {b \log ^2(1-d x)}{4 x^2}+\frac {c (1-d x) \log ^2(1-d x)}{x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (d x) \log ^2(1-d x)-2 c d \text {Li}_2(d x)-\frac {1}{2} b d^2 \text {Li}_2(d x)-\frac {2}{9} a d^3 \text {Li}_2(d x)+\frac {a d \text {Li}_2(d x)}{6 x^2}+\frac {d (3 b+2 a d) \text {Li}_2(d x)}{6 x}+\frac {1}{6} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(d x)-\frac {1}{6} \left (\frac {2 a}{x^3}+\frac {3 b}{x^2}+\frac {6 c}{x}\right ) \log (1-d x) \text {Li}_2(d x)+\frac {1}{3} d (6 c+d (3 b+2 a d)) \log (1-d x) \text {Li}_2(1-d x)-\frac {1}{6} d (6 c+d (3 b+2 a d)) \text {Li}_3(d x)-\frac {1}{3} d (6 c+d (3 b+2 a d)) \text {Li}_3(1-d x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 1.59, size = 488, normalized size = 0.95 \[ \frac {1}{36} \left (\frac {6 \text {Li}_2(d x) \left ((d x-1) \log (1-d x) \left (2 a \left (d^2 x^2+d x+1\right )+3 x (b d x+b+2 c x)\right )+d x (2 a d x+a+3 b x)\right )}{x^3}+2 d \text {Li}_2(1-d x) \left (6 \log (1-d x) \left (2 a d^2+3 b d+6 c\right )+4 a d^2+9 b d+36 c\right )-12 a d^3 \text {Li}_3(d x)-24 a d^3 \text {Li}_3(1-d x)-4 a d^3 \log ^2(1-d x)+12 a d^3 \log (d x) \log ^2(1-d x)-27 a d^3 \log (d x)+27 a d^3 \log (1-d x)+8 a d^3 \log (d x) \log (1-d x)-7 a d^3+\frac {7 a d^2}{x}-\frac {20 a d^2 \log (1-d x)}{x}+\frac {4 a \log ^2(1-d x)}{x^3}-\frac {7 a d \log (1-d x)}{x^2}-18 b d^2 \text {Li}_3(d x)-36 b d^2 \text {Li}_3(1-d x)-9 b d^2 \log ^2(1-d x)+18 b d^2 \log (d x) \log ^2(1-d x)-36 b d^2 \log (d x)+36 b d^2 \log (1-d x)+18 b d^2 \log (d x) \log (1-d x)+\frac {9 b \log ^2(1-d x)}{x^2}-\frac {36 b d \log (1-d x)}{x}-36 c d \text {Li}_3(d x)-72 c d \text {Li}_3(1-d x)-36 c d \log ^2(1-d x)+36 c d \log (d x) \log ^2(1-d x)+\frac {36 c \log ^2(1-d x)}{x}+72 c d \log (d x) \log (1-d x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 1.95, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {{\left (c x^{2} + b x + a\right )} {\rm Li}_2\left (d x\right ) \log \left (-d x + 1\right )}{x^{4}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (c x^{2} + b x + a\right )} {\rm Li}_2\left (d x\right ) \log \left (-d x + 1\right )}{x^{4}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.01, size = 0, normalized size = 0.00 \[ \int \frac {\left (c \,x^{2}+b x +a \right ) \ln \left (-d x +1\right ) \polylog \left (2, d x \right )}{x^{4}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.40, size = 319, normalized size = 0.62 \[ \frac {1}{6} \, {\left (2 \, a d^{3} + 3 \, b d^{2} + 6 \, c d\right )} {\left (\log \left (d x\right ) \log \left (-d x + 1\right )^{2} + 2 \, {\rm Li}_2\left (-d x + 1\right ) \log \left (-d x + 1\right ) - 2 \, {\rm Li}_{3}(-d x + 1)\right )} + \frac {1}{18} \, {\left (4 \, a d^{3} + 9 \, b d^{2} + 36 \, c d\right )} {\left (\log \left (d x\right ) \log \left (-d x + 1\right ) + {\rm Li}_2\left (-d x + 1\right )\right )} - \frac {1}{4} \, {\left (3 \, a d^{3} + 4 \, b d^{2}\right )} \log \relax (x) - \frac {1}{6} \, {\left (2 \, a d^{3} + 3 \, b d^{2} + 6 \, c d\right )} {\rm Li}_{3}(d x) + \frac {7 \, a d^{2} x^{2} - {\left ({\left (4 \, a d^{3} + 9 \, b d^{2} + 36 \, c d\right )} x^{3} - 36 \, c x^{2} - 9 \, b x - 4 \, a\right )} \log \left (-d x + 1\right )^{2} + 6 \, {\left (a d x + {\left (2 \, a d^{2} + 3 \, b d\right )} x^{2} + {\left ({\left (2 \, a d^{3} + 3 \, b d^{2} + 6 \, c d\right )} x^{3} - 6 \, c x^{2} - 3 \, b x - 2 \, a\right )} \log \left (-d x + 1\right )\right )} {\rm Li}_2\left (d x\right ) + {\left (9 \, {\left (3 \, a d^{3} + 4 \, b d^{2}\right )} x^{3} - 7 \, a d x - 4 \, {\left (5 \, a d^{2} + 9 \, b d\right )} x^{2}\right )} \log \left (-d x + 1\right )}{36 \, x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\ln \left (1-d\,x\right )\,\mathrm {polylog}\left (2,d\,x\right )\,\left (c\,x^2+b\,x+a\right )}{x^4} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________