Optimal. Leaf size=67 \[ -a^3 x-\frac {3}{4} a^2 b x^2-\frac {1}{3} a b^2 x^3-\frac {b^3 x^4}{16}-\frac {a^4 \log (x)}{4 b}+\frac {(a+b x)^4 \log (x)}{4 b} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 67, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {32, 2350, 12,
45} \begin {gather*} -\frac {a^4 \log (x)}{4 b}-a^3 x-\frac {3}{4} a^2 b x^2-\frac {1}{3} a b^2 x^3+\frac {\log (x) (a+b x)^4}{4 b}-\frac {b^3 x^4}{16} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 32
Rule 45
Rule 2350
Rubi steps
\begin {align*} \int (a+b x)^3 \log (x) \, dx &=\frac {(a+b x)^4 \log (x)}{4 b}-\int \frac {(a+b x)^4}{4 b x} \, dx\\ &=\frac {(a+b x)^4 \log (x)}{4 b}-\frac {\int \frac {(a+b x)^4}{x} \, dx}{4 b}\\ &=\frac {(a+b x)^4 \log (x)}{4 b}-\frac {\int \left (4 a^3 b+\frac {a^4}{x}+6 a^2 b^2 x+4 a b^3 x^2+b^4 x^3\right ) \, dx}{4 b}\\ &=-a^3 x-\frac {3}{4} a^2 b x^2-\frac {1}{3} a b^2 x^3-\frac {b^3 x^4}{16}-\frac {a^4 \log (x)}{4 b}+\frac {(a+b x)^4 \log (x)}{4 b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 81, normalized size = 1.21 \begin {gather*} -a^3 x-\frac {3}{4} a^2 b x^2-\frac {1}{3} a b^2 x^3-\frac {b^3 x^4}{16}+a^3 x \log (x)+\frac {3}{2} a^2 b x^2 \log (x)+a b^2 x^3 \log (x)+\frac {1}{4} b^3 x^4 \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 69, normalized size = 1.03
method | result | size |
risch | \(-a^{3} x -\frac {3 a^{2} b \,x^{2}}{4}-\frac {a \,b^{2} x^{3}}{3}-\frac {b^{3} x^{4}}{16}-\frac {a^{4} \ln \left (x \right )}{4 b}+\frac {\left (b x +a \right )^{4} \ln \left (x \right )}{4 b}\) | \(58\) |
default | \(b^{3} \left (-\frac {x^{4}}{16}+\frac {x^{4} \ln \left (x \right )}{4}\right )+3 a \,b^{2} \left (-\frac {x^{3}}{9}+\frac {x^{3} \ln \left (x \right )}{3}\right )+3 a^{2} b \left (-\frac {x^{2}}{4}+\frac {x^{2} \ln \left (x \right )}{2}\right )+a^{3} \left (-x +x \ln \left (x \right )\right )\) | \(69\) |
norman | \(a^{3} x \ln \left (x \right )+a \,b^{2} x^{3} \ln \left (x \right )-a^{3} x -\frac {b^{3} x^{4}}{16}-\frac {a \,b^{2} x^{3}}{3}-\frac {3 a^{2} b \,x^{2}}{4}+\frac {b^{3} x^{4} \ln \left (x \right )}{4}+\frac {3 a^{2} b \,x^{2} \ln \left (x \right )}{2}\) | \(72\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.52, size = 69, normalized size = 1.03 \begin {gather*} -\frac {1}{16} \, b^{3} x^{4} - \frac {1}{3} \, a b^{2} x^{3} - \frac {3}{4} \, a^{2} b x^{2} - a^{3} x + \frac {1}{4} \, {\left (b^{3} x^{4} + 4 \, a b^{2} x^{3} + 6 \, a^{2} b x^{2} + 4 \, a^{3} x\right )} \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.92, size = 69, normalized size = 1.03 \begin {gather*} -\frac {1}{16} \, b^{3} x^{4} - \frac {1}{3} \, a b^{2} x^{3} - \frac {3}{4} \, a^{2} b x^{2} - a^{3} x + \frac {1}{4} \, {\left (b^{3} x^{4} + 4 \, a b^{2} x^{3} + 6 \, a^{2} b x^{2} + 4 \, a^{3} x\right )} \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.06, size = 71, normalized size = 1.06 \begin {gather*} - a^{3} x - \frac {3 a^{2} b x^{2}}{4} - \frac {a b^{2} x^{3}}{3} - \frac {b^{3} x^{4}}{16} + \left (a^{3} x + \frac {3 a^{2} b x^{2}}{2} + a b^{2} x^{3} + \frac {b^{3} x^{4}}{4}\right ) \log {\left (x \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.53, size = 71, normalized size = 1.06 \begin {gather*} \frac {1}{4} \, b^{3} x^{4} \log \left (x\right ) - \frac {1}{16} \, b^{3} x^{4} + a b^{2} x^{3} \log \left (x\right ) - \frac {1}{3} \, a b^{2} x^{3} + \frac {3}{2} \, a^{2} b x^{2} \log \left (x\right ) - \frac {3}{4} \, a^{2} b x^{2} + a^{3} x \log \left (x\right ) - a^{3} x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.38, size = 71, normalized size = 1.06 \begin {gather*} a^3\,x\,\ln \left (x\right )-\frac {b^3\,x^4}{16}-\frac {3\,a^2\,b\,x^2}{4}-\frac {a\,b^2\,x^3}{3}-a^3\,x+\frac {b^3\,x^4\,\ln \left (x\right )}{4}+\frac {3\,a^2\,b\,x^2\,\ln \left (x\right )}{2}+a\,b^2\,x^3\,\ln \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________