Optimal. Leaf size=60 \[ -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)) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 60, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 7, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.778, Rules used = {6730, 2494,
2436, 2332, 2468, 2440, 2438} \begin {gather*} x \text {Li}_2(c (a+b x))+\frac {a \text {Li}_2(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 6730
Rubi steps
\begin {align*} \int \text {Li}_2(c (a+b x)) \, dx &=x \text {Li}_2(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))-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 {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))\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 53, normalized size = 0.88 \begin {gather*} \frac {-c (a+b x)+(-1+c (a+b x)) \log (1-c (a+b x))+c (a+b x) \text {PolyLog}(2,c (a+b x))}{b c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.42, size = 63, normalized size = 1.05
method | result | size |
derivativedivides | \(\frac {\left (x b c +a c \right ) \polylog \left (2, x b c +a c \right )-\left (-x b c -a c +1\right ) \ln \left (-x b c -a c +1\right )+1-x b c -a c}{b c}\) | \(63\) |
default | \(\frac {\left (x b c +a c \right ) \polylog \left (2, x b c +a c \right )-\left (-x b c -a c +1\right ) \ln \left (-x b c -a c +1\right )+1-x b c -a c}{b c}\) | \(63\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 90, normalized size = 1.50 \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 {b c x {\rm Li}_2\left (b c x + a c\right ) - 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.35, size = 55, normalized size = 0.92 \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 )}{b c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.93, size = 75, normalized size = 1.25 \begin {gather*} \begin {cases} 0 & \text {for}\: c = 0 \wedge \left (b = 0 \vee c = 0\right ) \\x \operatorname {Li}_{2}\left (a c\right ) & \text {for}\: b = 0 \\- \frac {a \operatorname {Li}_{1}\left (a c + b c x\right )}{b} + \frac {a \operatorname {Li}_{2}\left (a c + b c x\right )}{b} - x \operatorname {Li}_{1}\left (a c + b c x\right ) + x \operatorname {Li}_{2}\left (a c + b c x\right ) - x + \frac {\operatorname {Li}_{1}\left (a c + b c x\right )}{b c} & \text {otherwise} \end {cases} \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 = 0.59, size = 61, normalized size = 1.02 \begin {gather*} \frac {\mathrm {polylog}\left (2,c\,\left (a+b\,x\right )\right )\,\left (a+b\,x\right )}{b}-x-\frac {\ln \left (1-c\,\left (a+b\,x\right )\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]
________________________________________________________________________________________