Optimal. Leaf size=203 \[ -\frac {\sqrt {\pi } a^3 \text {erfi}\left (\sqrt {c} \sqrt {\log (f)} (a+b x)\right )}{2 b^4 \sqrt {c} \sqrt {\log (f)}}+\frac {3 a^2 f^{c (a+b x)^2}}{2 b^4 c \log (f)}+\frac {3 \sqrt {\pi } a \text {erfi}\left (\sqrt {c} \sqrt {\log (f)} (a+b x)\right )}{4 b^4 c^{3/2} \log ^{\frac {3}{2}}(f)}-\frac {f^{c (a+b x)^2}}{2 b^4 c^2 \log ^2(f)}+\frac {(a+b x)^2 f^{c (a+b x)^2}}{2 b^4 c \log (f)}-\frac {3 a (a+b x) f^{c (a+b x)^2}}{2 b^4 c \log (f)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.23, antiderivative size = 203, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 4, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.267, Rules used = {2226, 2204, 2209, 2212} \[ -\frac {\sqrt {\pi } a^3 \text {Erfi}\left (\sqrt {c} \sqrt {\log (f)} (a+b x)\right )}{2 b^4 \sqrt {c} \sqrt {\log (f)}}+\frac {3 a^2 f^{c (a+b x)^2}}{2 b^4 c \log (f)}+\frac {3 \sqrt {\pi } a \text {Erfi}\left (\sqrt {c} \sqrt {\log (f)} (a+b x)\right )}{4 b^4 c^{3/2} \log ^{\frac {3}{2}}(f)}-\frac {f^{c (a+b x)^2}}{2 b^4 c^2 \log ^2(f)}+\frac {(a+b x)^2 f^{c (a+b x)^2}}{2 b^4 c \log (f)}-\frac {3 a (a+b x) f^{c (a+b x)^2}}{2 b^4 c \log (f)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2204
Rule 2209
Rule 2212
Rule 2226
Rubi steps
\begin {align*} \int f^{c (a+b x)^2} x^3 \, dx &=\int \left (-\frac {a^3 f^{c (a+b x)^2}}{b^3}+\frac {3 a^2 f^{c (a+b x)^2} (a+b x)}{b^3}-\frac {3 a f^{c (a+b x)^2} (a+b x)^2}{b^3}+\frac {f^{c (a+b x)^2} (a+b x)^3}{b^3}\right ) \, dx\\ &=\frac {\int f^{c (a+b x)^2} (a+b x)^3 \, dx}{b^3}-\frac {(3 a) \int f^{c (a+b x)^2} (a+b x)^2 \, dx}{b^3}+\frac {\left (3 a^2\right ) \int f^{c (a+b x)^2} (a+b x) \, dx}{b^3}-\frac {a^3 \int f^{c (a+b x)^2} \, dx}{b^3}\\ &=\frac {3 a^2 f^{c (a+b x)^2}}{2 b^4 c \log (f)}-\frac {3 a f^{c (a+b x)^2} (a+b x)}{2 b^4 c \log (f)}+\frac {f^{c (a+b x)^2} (a+b x)^2}{2 b^4 c \log (f)}-\frac {a^3 \sqrt {\pi } \text {erfi}\left (\sqrt {c} (a+b x) \sqrt {\log (f)}\right )}{2 b^4 \sqrt {c} \sqrt {\log (f)}}-\frac {\int f^{c (a+b x)^2} (a+b x) \, dx}{b^3 c \log (f)}+\frac {(3 a) \int f^{c (a+b x)^2} \, dx}{2 b^3 c \log (f)}\\ &=-\frac {f^{c (a+b x)^2}}{2 b^4 c^2 \log ^2(f)}+\frac {3 a \sqrt {\pi } \text {erfi}\left (\sqrt {c} (a+b x) \sqrt {\log (f)}\right )}{4 b^4 c^{3/2} \log ^{\frac {3}{2}}(f)}+\frac {3 a^2 f^{c (a+b x)^2}}{2 b^4 c \log (f)}-\frac {3 a f^{c (a+b x)^2} (a+b x)}{2 b^4 c \log (f)}+\frac {f^{c (a+b x)^2} (a+b x)^2}{2 b^4 c \log (f)}-\frac {a^3 \sqrt {\pi } \text {erfi}\left (\sqrt {c} (a+b x) \sqrt {\log (f)}\right )}{2 b^4 \sqrt {c} \sqrt {\log (f)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.11, size = 96, normalized size = 0.47 \[ \frac {2 f^{c (a+b x)^2} \left (c \log (f) \left (a^2-a b x+b^2 x^2\right )-1\right )+\sqrt {\pi } a \sqrt {c} \sqrt {\log (f)} \left (3-2 a^2 c \log (f)\right ) \text {erfi}\left (\sqrt {c} \sqrt {\log (f)} (a+b x)\right )}{4 b^4 c^2 \log ^2(f)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.42, size = 113, normalized size = 0.56 \[ \frac {\sqrt {\pi } {\left (2 \, a^{3} c \log \relax (f) - 3 \, a\right )} \sqrt {-b^{2} c \log \relax (f)} \operatorname {erf}\left (\frac {\sqrt {-b^{2} c \log \relax (f)} {\left (b x + a\right )}}{b}\right ) + 2 \, {\left ({\left (b^{3} c x^{2} - a b^{2} c x + a^{2} b c\right )} \log \relax (f) - b\right )} f^{b^{2} c x^{2} + 2 \, a b c x + a^{2} c}}{4 \, b^{5} c^{2} \log \relax (f)^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.26, size = 136, normalized size = 0.67 \[ \frac {\frac {\sqrt {\pi } {\left (2 \, a^{3} c \log \relax (f) - 3 \, a\right )} \operatorname {erf}\left (-\sqrt {-c \log \relax (f)} b {\left (x + \frac {a}{b}\right )}\right )}{\sqrt {-c \log \relax (f)} b c \log \relax (f)} + \frac {2 \, {\left (b^{2} c {\left (x + \frac {a}{b}\right )}^{2} \log \relax (f) - 3 \, a b c {\left (x + \frac {a}{b}\right )} \log \relax (f) + 3 \, a^{2} c \log \relax (f) - 1\right )} e^{\left (b^{2} c x^{2} \log \relax (f) + 2 \, a b c x \log \relax (f) + a^{2} c \log \relax (f)\right )}}{b c^{2} \log \relax (f)^{2}}}{4 \, b^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.09, size = 249, normalized size = 1.23 \[ \frac {x^{2} f^{a^{2} c} f^{b^{2} c \,x^{2}} f^{2 a b c x}}{2 b^{2} c \ln \relax (f )}+\frac {\sqrt {\pi }\, a^{3} \erf \left (\frac {a c \ln \relax (f )}{\sqrt {-c \ln \relax (f )}}-\sqrt {-c \ln \relax (f )}\, b x \right )}{2 \sqrt {-c \ln \relax (f )}\, b^{4}}-\frac {a x \,f^{a^{2} c} f^{b^{2} c \,x^{2}} f^{2 a b c x}}{2 b^{3} c \ln \relax (f )}+\frac {a^{2} f^{a^{2} c} f^{b^{2} c \,x^{2}} f^{2 a b c x}}{2 b^{4} c \ln \relax (f )}-\frac {3 \sqrt {\pi }\, a \erf \left (\frac {a c \ln \relax (f )}{\sqrt {-c \ln \relax (f )}}-\sqrt {-c \ln \relax (f )}\, b x \right )}{4 \sqrt {-c \ln \relax (f )}\, b^{4} c \ln \relax (f )}-\frac {f^{a^{2} c} f^{b^{2} c \,x^{2}} f^{2 a b c x}}{2 b^{4} c^{2} \ln \relax (f )^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.70, size = 264, normalized size = 1.30 \[ -\frac {\frac {\sqrt {\pi } {\left (b^{2} c x + a b c\right )} a^{3} c^{3} {\left (\operatorname {erf}\left (\sqrt {-\frac {{\left (b^{2} c x + a b c\right )}^{2} \log \relax (f)}{b^{2} c}}\right ) - 1\right )} \log \relax (f)^{4}}{\left (c \log \relax (f)\right )^{\frac {7}{2}} b^{4} \sqrt {-\frac {{\left (b^{2} c x + a b c\right )}^{2} \log \relax (f)}{b^{2} c}}} - \frac {3 \, a^{2} c^{3} f^{\frac {{\left (b^{2} c x + a b c\right )}^{2}}{b^{2} c}} \log \relax (f)^{3}}{\left (c \log \relax (f)\right )^{\frac {7}{2}} b^{3}} - \frac {3 \, {\left (b^{2} c x + a b c\right )}^{3} a c \Gamma \left (\frac {3}{2}, -\frac {{\left (b^{2} c x + a b c\right )}^{2} \log \relax (f)}{b^{2} c}\right ) \log \relax (f)^{4}}{\left (c \log \relax (f)\right )^{\frac {7}{2}} b^{6} \left (-\frac {{\left (b^{2} c x + a b c\right )}^{2} \log \relax (f)}{b^{2} c}\right )^{\frac {3}{2}}} + \frac {c^{2} \Gamma \left (2, -\frac {{\left (b^{2} c x + a b c\right )}^{2} \log \relax (f)}{b^{2} c}\right ) \log \relax (f)^{2}}{\left (c \log \relax (f)\right )^{\frac {7}{2}} b^{3}}}{2 \, \sqrt {c \log \relax (f)} b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.56, size = 171, normalized size = 0.84 \[ \frac {f^{b^2\,c\,x^2}\,f^{a^2\,c}\,f^{2\,a\,b\,c\,x}\,x^2}{2\,b^2\,c\,\ln \relax (f)}-\frac {\sqrt {\pi }\,\mathrm {erfi}\left (\sqrt {c\,\ln \relax (f)}\,\left (a+b\,x\right )\right )\,\left (\frac {a^3}{b^4}-\frac {3\,a}{2\,b^4\,c\,\ln \relax (f)}\right )}{2\,\sqrt {c\,\ln \relax (f)}}+\frac {f^{b^2\,c\,x^2}\,f^{a^2\,c}\,f^{2\,a\,b\,c\,x}\,\left (\frac {a^2\,c\,\ln \relax (f)}{2}-\frac {1}{2}\right )}{b^4\,c^2\,{\ln \relax (f)}^2}-\frac {a\,f^{b^2\,c\,x^2}\,f^{a^2\,c}\,f^{2\,a\,b\,c\,x}\,x}{2\,b^3\,c\,\ln \relax (f)} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int f^{c \left (a + b x\right )^{2}} x^{3}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________