Optimal. Leaf size=84 \[ -\frac {2 f^{a+b x^3}}{b^4 \log ^4(f)}+\frac {2 f^{a+b x^3} x^3}{b^3 \log ^3(f)}-\frac {f^{a+b x^3} x^6}{b^2 \log ^2(f)}+\frac {f^{a+b x^3} x^9}{3 b \log (f)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, antiderivative size = 84, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 2, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.154, Rules used = {2243, 2240}
\begin {gather*} -\frac {2 f^{a+b x^3}}{b^4 \log ^4(f)}+\frac {2 x^3 f^{a+b x^3}}{b^3 \log ^3(f)}-\frac {x^6 f^{a+b x^3}}{b^2 \log ^2(f)}+\frac {x^9 f^{a+b x^3}}{3 b \log (f)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2240
Rule 2243
Rubi steps
\begin {align*} \int f^{a+b x^3} x^{11} \, dx &=\frac {f^{a+b x^3} x^9}{3 b \log (f)}-\frac {3 \int f^{a+b x^3} x^8 \, dx}{b \log (f)}\\ &=-\frac {f^{a+b x^3} x^6}{b^2 \log ^2(f)}+\frac {f^{a+b x^3} x^9}{3 b \log (f)}+\frac {6 \int f^{a+b x^3} x^5 \, dx}{b^2 \log ^2(f)}\\ &=\frac {2 f^{a+b x^3} x^3}{b^3 \log ^3(f)}-\frac {f^{a+b x^3} x^6}{b^2 \log ^2(f)}+\frac {f^{a+b x^3} x^9}{3 b \log (f)}-\frac {6 \int f^{a+b x^3} x^2 \, dx}{b^3 \log ^3(f)}\\ &=-\frac {2 f^{a+b x^3}}{b^4 \log ^4(f)}+\frac {2 f^{a+b x^3} x^3}{b^3 \log ^3(f)}-\frac {f^{a+b x^3} x^6}{b^2 \log ^2(f)}+\frac {f^{a+b x^3} x^9}{3 b \log (f)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 53, normalized size = 0.63 \begin {gather*} \frac {f^{a+b x^3} \left (-6+6 b x^3 \log (f)-3 b^2 x^6 \log ^2(f)+b^3 x^9 \log ^3(f)\right )}{3 b^4 \log ^4(f)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.02, size = 52, normalized size = 0.62
method | result | size |
gosper | \(\frac {\left (b^{3} x^{9} \ln \left (f \right )^{3}-3 b^{2} x^{6} \ln \left (f \right )^{2}+6 b \,x^{3} \ln \left (f \right )-6\right ) f^{b \,x^{3}+a}}{3 \ln \left (f \right )^{4} b^{4}}\) | \(52\) |
risch | \(\frac {\left (b^{3} x^{9} \ln \left (f \right )^{3}-3 b^{2} x^{6} \ln \left (f \right )^{2}+6 b \,x^{3} \ln \left (f \right )-6\right ) f^{b \,x^{3}+a}}{3 \ln \left (f \right )^{4} b^{4}}\) | \(52\) |
meijerg | \(\frac {f^{a} \left (6-\frac {\left (-4 b^{3} x^{9} \ln \left (f \right )^{3}+12 b^{2} x^{6} \ln \left (f \right )^{2}-24 b \,x^{3} \ln \left (f \right )+24\right ) {\mathrm e}^{b \,x^{3} \ln \left (f \right )}}{4}\right )}{3 b^{4} \ln \left (f \right )^{4}}\) | \(59\) |
norman | \(-\frac {2 \,{\mathrm e}^{\left (b \,x^{3}+a \right ) \ln \left (f \right )}}{\ln \left (f \right )^{4} b^{4}}+\frac {x^{9} {\mathrm e}^{\left (b \,x^{3}+a \right ) \ln \left (f \right )}}{3 \ln \left (f \right ) b}+\frac {2 x^{3} {\mathrm e}^{\left (b \,x^{3}+a \right ) \ln \left (f \right )}}{\ln \left (f \right )^{3} b^{3}}-\frac {x^{6} {\mathrm e}^{\left (b \,x^{3}+a \right ) \ln \left (f \right )}}{\ln \left (f \right )^{2} b^{2}}\) | \(91\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 62, normalized size = 0.74 \begin {gather*} \frac {{\left (b^{3} f^{a} x^{9} \log \left (f\right )^{3} - 3 \, b^{2} f^{a} x^{6} \log \left (f\right )^{2} + 6 \, b f^{a} x^{3} \log \left (f\right ) - 6 \, f^{a}\right )} f^{b x^{3}}}{3 \, b^{4} \log \left (f\right )^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 51, normalized size = 0.61 \begin {gather*} \frac {{\left (b^{3} x^{9} \log \left (f\right )^{3} - 3 \, b^{2} x^{6} \log \left (f\right )^{2} + 6 \, b x^{3} \log \left (f\right ) - 6\right )} f^{b x^{3} + a}}{3 \, b^{4} \log \left (f\right )^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.06, size = 66, normalized size = 0.79 \begin {gather*} \begin {cases} \frac {f^{a + b x^{3}} \left (b^{3} x^{9} \log {\left (f \right )}^{3} - 3 b^{2} x^{6} \log {\left (f \right )}^{2} + 6 b x^{3} \log {\left (f \right )} - 6\right )}{3 b^{4} \log {\left (f \right )}^{4}} & \text {for}\: b^{4} \log {\left (f \right )}^{4} \neq 0 \\\frac {x^{12}}{12} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 3.90, size = 83, normalized size = 0.99 \begin {gather*} \frac {b^{3} f^{b x^{3}} f^{a} x^{9} \log \left (f\right )^{3} - 3 \, b^{2} f^{b x^{3}} f^{a} x^{6} \log \left (f\right )^{2} + 6 \, b f^{b x^{3}} f^{a} x^{3} \log \left (f\right ) - 6 \, f^{b x^{3}} f^{a}}{3 \, b^{4} \log \left (f\right )^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.46, size = 51, normalized size = 0.61 \begin {gather*} -\frac {f^{b\,x^3+a}\,\left (-\frac {b^3\,x^9\,{\ln \left (f\right )}^3}{3}+b^2\,x^6\,{\ln \left (f\right )}^2-2\,b\,x^3\,\ln \left (f\right )+2\right )}{b^4\,{\ln \left (f\right )}^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________