Optimal. Leaf size=84 \[ x+\frac {(1-a c-b c x) \log (1-a c-b c x)}{b c}-\frac {a \text {PolyLog}(2,c (a+b x))}{b}-x \text {PolyLog}(2,c (a+b x))+\frac {a \text {PolyLog}(3,c (a+b x))}{b}+x \text {PolyLog}(3,c (a+b x)) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 84, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 8, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.889, Rules used = {6730, 2494,
2436, 2332, 2468, 2440, 2438, 6724} \begin {gather*} x (-\text {Li}_2(c (a+b x)))+x \text {Li}_3(c (a+b x))-\frac {a \text {Li}_2(c (a+b x))}{b}+\frac {a \text {Li}_3(c (a+b x))}{b}+\frac {(-a c-b c x+1) \log (-a c-b c x+1)}{b c}+x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2332
Rule 2436
Rule 2438
Rule 2440
Rule 2468
Rule 2494
Rule 6724
Rule 6730
Rubi steps
\begin {align*} \int \text {Li}_3(c (a+b x)) \, dx &=x \text {Li}_3(c (a+b x))+a \int \frac {\text {Li}_2(c (a+b x))}{a+b x} \, dx-\int \text {Li}_2(c (a+b x)) \, dx\\ &=-x \text {Li}_2(c (a+b x))+\frac {a \text {Li}_3(c (a+b x))}{b}+x \text {Li}_3(c (a+b x))+a \int \frac {\log (1-c (a+b x))}{a+b x} \, dx-\int \log (1-c (a+b x)) \, dx\\ &=-x \text {Li}_2(c (a+b x))+\frac {a \text {Li}_3(c (a+b x))}{b}+x \text {Li}_3(c (a+b x))+a \int \frac {\log (1-a c-b c x)}{a+b x} \, dx-\int \log (1-a c-b c x) \, dx\\ &=-x \text {Li}_2(c (a+b x))+\frac {a \text {Li}_3(c (a+b x))}{b}+x \text {Li}_3(c (a+b x))+\frac {a \text {Subst}\left (\int \frac {\log (1-c x)}{x} \, dx,x,a+b x\right )}{b}+\frac {\text {Subst}(\int \log (x) \, dx,x,1-a c-b c x)}{b c}\\ &=x+\frac {(1-a c-b c x) \log (1-a c-b c x)}{b c}-\frac {a \text {Li}_2(c (a+b x))}{b}-x \text {Li}_2(c (a+b x))+\frac {a \text {Li}_3(c (a+b x))}{b}+x \text {Li}_3(c (a+b x))\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 66, normalized size = 0.79 \begin {gather*} \frac {(a+b x) \left (1-\log (1-c (a+b x))+\frac {\log (1-c (a+b x))}{c (a+b x)}-\text {PolyLog}(2,c (a+b x))+\text {PolyLog}(3,c (a+b x))\right )}{b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.00, size = 0, normalized size = 0.00 \[\int \polylog \left (3, c \left (b x +a \right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 120, normalized size = 1.43 \begin {gather*} \frac {{\left (\log \left (b c x + a c\right ) \log \left (-b c x - a c + 1\right ) + {\rm Li}_2\left (-b c x - a c + 1\right )\right )} a}{b} + \frac {a {\rm Li}_{3}(b c x + a c)}{b} - \frac {b c x {\rm Li}_2\left (b c x + a c\right ) - b c x {\rm Li}_{3}(b c x + a c) - b c x + {\left (b c x + a c - 1\right )} \log \left (-b c x - a c + 1\right )}{b c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 73, normalized size = 0.87 \begin {gather*} \frac {b c x - {\left (b c x + a c\right )} {\rm Li}_2\left (b c x + a c\right ) - {\left (b c x + a c - 1\right )} \log \left (-b c x - a c + 1\right ) + {\left (b c x + a c\right )} {\rm polylog}\left (3, b c x + a c\right )}{b c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \operatorname {Li}_{3}\left (c \left (a + b x\right )\right )\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 2.18, size = 77, normalized size = 0.92 \begin {gather*} x-\frac {\mathrm {polylog}\left (2,c\,\left (a+b\,x\right )\right )\,\left (a+b\,x\right )}{b}+\frac {\mathrm {polylog}\left (3,c\,\left (a+b\,x\right )\right )\,\left (a+b\,x\right )}{b}+\frac {\ln \left (c\,\left (a+b\,x\right )-1\right )}{b\,c}-\frac {\ln \left (1-c\,\left (a+b\,x\right )\right )\,\left (a+b\,x\right )}{b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________