Optimal. Leaf size=389 \[ -\frac {3 \sqrt {\pi } f^2 F^a (d e-c f)^2 \text {erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )}{2 b^{3/2} d^5 \log ^{\frac {3}{2}}(F)}+\frac {3 \sqrt {\pi } f^4 F^a \text {erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )}{8 b^{5/2} d^5 \log ^{\frac {5}{2}}(F)}-\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2}}{b^2 d^5 \log ^2(F)}-\frac {3 f^4 (c+d x) F^{a+b (c+d x)^2}}{4 b^2 d^5 \log ^2(F)}+\frac {\sqrt {\pi } F^a (d e-c f)^4 \text {erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )}{2 \sqrt {b} d^5 \sqrt {\log (F)}}+\frac {2 f^3 (c+d x)^2 (d e-c f) F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {3 f^2 (c+d x) (d e-c f)^2 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {2 f (d e-c f)^3 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {f^4 (c+d x)^3 F^{a+b (c+d x)^2}}{2 b d^5 \log (F)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.65, antiderivative size = 389, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 4, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.190, Rules used = {2226, 2204, 2209, 2212} \[ -\frac {3 \sqrt {\pi } f^2 F^a (d e-c f)^2 \text {Erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )}{2 b^{3/2} d^5 \log ^{\frac {3}{2}}(F)}-\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2}}{b^2 d^5 \log ^2(F)}+\frac {3 \sqrt {\pi } f^4 F^a \text {Erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )}{8 b^{5/2} d^5 \log ^{\frac {5}{2}}(F)}-\frac {3 f^4 (c+d x) F^{a+b (c+d x)^2}}{4 b^2 d^5 \log ^2(F)}+\frac {\sqrt {\pi } F^a (d e-c f)^4 \text {Erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )}{2 \sqrt {b} d^5 \sqrt {\log (F)}}+\frac {2 f^3 (c+d x)^2 (d e-c f) F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {3 f^2 (c+d x) (d e-c f)^2 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {2 f (d e-c f)^3 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {f^4 (c+d x)^3 F^{a+b (c+d x)^2}}{2 b d^5 \log (F)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2204
Rule 2209
Rule 2212
Rule 2226
Rubi steps
\begin {align*} \int F^{a+b (c+d x)^2} (e+f x)^4 \, dx &=\int \left (\frac {(d e-c f)^4 F^{a+b (c+d x)^2}}{d^4}+\frac {4 f (d e-c f)^3 F^{a+b (c+d x)^2} (c+d x)}{d^4}+\frac {6 f^2 (d e-c f)^2 F^{a+b (c+d x)^2} (c+d x)^2}{d^4}+\frac {4 f^3 (d e-c f) F^{a+b (c+d x)^2} (c+d x)^3}{d^4}+\frac {f^4 F^{a+b (c+d x)^2} (c+d x)^4}{d^4}\right ) \, dx\\ &=\frac {f^4 \int F^{a+b (c+d x)^2} (c+d x)^4 \, dx}{d^4}+\frac {\left (4 f^3 (d e-c f)\right ) \int F^{a+b (c+d x)^2} (c+d x)^3 \, dx}{d^4}+\frac {\left (6 f^2 (d e-c f)^2\right ) \int F^{a+b (c+d x)^2} (c+d x)^2 \, dx}{d^4}+\frac {\left (4 f (d e-c f)^3\right ) \int F^{a+b (c+d x)^2} (c+d x) \, dx}{d^4}+\frac {(d e-c f)^4 \int F^{a+b (c+d x)^2} \, dx}{d^4}\\ &=\frac {2 f (d e-c f)^3 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {3 f^2 (d e-c f)^2 F^{a+b (c+d x)^2} (c+d x)}{b d^5 \log (F)}+\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2} (c+d x)^2}{b d^5 \log (F)}+\frac {f^4 F^{a+b (c+d x)^2} (c+d x)^3}{2 b d^5 \log (F)}+\frac {(d e-c f)^4 F^a \sqrt {\pi } \text {erfi}\left (\sqrt {b} (c+d x) \sqrt {\log (F)}\right )}{2 \sqrt {b} d^5 \sqrt {\log (F)}}-\frac {\left (3 f^4\right ) \int F^{a+b (c+d x)^2} (c+d x)^2 \, dx}{2 b d^4 \log (F)}-\frac {\left (4 f^3 (d e-c f)\right ) \int F^{a+b (c+d x)^2} (c+d x) \, dx}{b d^4 \log (F)}-\frac {\left (3 f^2 (d e-c f)^2\right ) \int F^{a+b (c+d x)^2} \, dx}{b d^4 \log (F)}\\ &=-\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2}}{b^2 d^5 \log ^2(F)}-\frac {3 f^4 F^{a+b (c+d x)^2} (c+d x)}{4 b^2 d^5 \log ^2(F)}-\frac {3 f^2 (d e-c f)^2 F^a \sqrt {\pi } \text {erfi}\left (\sqrt {b} (c+d x) \sqrt {\log (F)}\right )}{2 b^{3/2} d^5 \log ^{\frac {3}{2}}(F)}+\frac {2 f (d e-c f)^3 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {3 f^2 (d e-c f)^2 F^{a+b (c+d x)^2} (c+d x)}{b d^5 \log (F)}+\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2} (c+d x)^2}{b d^5 \log (F)}+\frac {f^4 F^{a+b (c+d x)^2} (c+d x)^3}{2 b d^5 \log (F)}+\frac {(d e-c f)^4 F^a \sqrt {\pi } \text {erfi}\left (\sqrt {b} (c+d x) \sqrt {\log (F)}\right )}{2 \sqrt {b} d^5 \sqrt {\log (F)}}+\frac {\left (3 f^4\right ) \int F^{a+b (c+d x)^2} \, dx}{4 b^2 d^4 \log ^2(F)}\\ &=\frac {3 f^4 F^a \sqrt {\pi } \text {erfi}\left (\sqrt {b} (c+d x) \sqrt {\log (F)}\right )}{8 b^{5/2} d^5 \log ^{\frac {5}{2}}(F)}-\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2}}{b^2 d^5 \log ^2(F)}-\frac {3 f^4 F^{a+b (c+d x)^2} (c+d x)}{4 b^2 d^5 \log ^2(F)}-\frac {3 f^2 (d e-c f)^2 F^a \sqrt {\pi } \text {erfi}\left (\sqrt {b} (c+d x) \sqrt {\log (F)}\right )}{2 b^{3/2} d^5 \log ^{\frac {3}{2}}(F)}+\frac {2 f (d e-c f)^3 F^{a+b (c+d x)^2}}{b d^5 \log (F)}+\frac {3 f^2 (d e-c f)^2 F^{a+b (c+d x)^2} (c+d x)}{b d^5 \log (F)}+\frac {2 f^3 (d e-c f) F^{a+b (c+d x)^2} (c+d x)^2}{b d^5 \log (F)}+\frac {f^4 F^{a+b (c+d x)^2} (c+d x)^3}{2 b d^5 \log (F)}+\frac {(d e-c f)^4 F^a \sqrt {\pi } \text {erfi}\left (\sqrt {b} (c+d x) \sqrt {\log (F)}\right )}{2 \sqrt {b} d^5 \sqrt {\log (F)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.45, size = 220, normalized size = 0.57 \[ \frac {F^a \left (\sqrt {\pi } \left (4 b^2 \log ^2(F) (d e-c f)^4-12 b f^2 \log (F) (d e-c f)^2+3 f^4\right ) \text {erfi}\left (\sqrt {b} \sqrt {\log (F)} (c+d x)\right )+2 \sqrt {b} f \sqrt {\log (F)} F^{b (c+d x)^2} \left (2 b \log (F) \left (-c^3 f^3+c^2 d f^2 (4 e+f x)-c d^2 f \left (6 e^2+4 e f x+f^2 x^2\right )+d^3 \left (4 e^3+6 e^2 f x+4 e f^2 x^2+f^3 x^3\right )\right )+f^2 (5 c f-8 d e-3 d f x)\right )\right )}{8 b^{5/2} d^5 \log ^{\frac {5}{2}}(F)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.44, size = 364, normalized size = 0.94 \[ -\frac {\sqrt {\pi } {\left (3 \, f^{4} + 4 \, {\left (b^{2} d^{4} e^{4} - 4 \, b^{2} c d^{3} e^{3} f + 6 \, b^{2} c^{2} d^{2} e^{2} f^{2} - 4 \, b^{2} c^{3} d e f^{3} + b^{2} c^{4} f^{4}\right )} \log \relax (F)^{2} - 12 \, {\left (b d^{2} e^{2} f^{2} - 2 \, b c d e f^{3} + b c^{2} f^{4}\right )} \log \relax (F)\right )} \sqrt {-b d^{2} \log \relax (F)} F^{a} \operatorname {erf}\left (\frac {\sqrt {-b d^{2} \log \relax (F)} {\left (d x + c\right )}}{d}\right ) - 2 \, {\left (2 \, {\left (b^{2} d^{4} f^{4} x^{3} + 4 \, b^{2} d^{4} e^{3} f - 6 \, b^{2} c d^{3} e^{2} f^{2} + 4 \, b^{2} c^{2} d^{2} e f^{3} - b^{2} c^{3} d f^{4} + {\left (4 \, b^{2} d^{4} e f^{3} - b^{2} c d^{3} f^{4}\right )} x^{2} + {\left (6 \, b^{2} d^{4} e^{2} f^{2} - 4 \, b^{2} c d^{3} e f^{3} + b^{2} c^{2} d^{2} f^{4}\right )} x\right )} \log \relax (F)^{2} - {\left (3 \, b d^{2} f^{4} x + 8 \, b d^{2} e f^{3} - 5 \, b c d f^{4}\right )} \log \relax (F)\right )} F^{b d^{2} x^{2} + 2 \, b c d x + b c^{2} + a}}{8 \, b^{3} d^{6} \log \relax (F)^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.63, size = 644, normalized size = 1.66 \[ -\frac {\sqrt {\pi } \operatorname {erf}\left (-\sqrt {-b \log \relax (F)} d {\left (x + \frac {c}{d}\right )}\right ) e^{\left (a \log \relax (F) + 4\right )}}{2 \, \sqrt {-b \log \relax (F)} d} + \frac {2 \, {\left (\frac {\sqrt {\pi } c f \operatorname {erf}\left (-\sqrt {-b \log \relax (F)} d {\left (x + \frac {c}{d}\right )}\right ) e^{\left (a \log \relax (F) + 3\right )}}{\sqrt {-b \log \relax (F)} d} + \frac {f e^{\left (b d^{2} x^{2} \log \relax (F) + 2 \, b c d x \log \relax (F) + b c^{2} \log \relax (F) + a \log \relax (F) + 3\right )}}{b d \log \relax (F)}\right )}}{d} - \frac {3 \, {\left (\frac {\sqrt {\pi } {\left (2 \, b c^{2} f^{2} \log \relax (F) - f^{2}\right )} \operatorname {erf}\left (-\sqrt {-b \log \relax (F)} d {\left (x + \frac {c}{d}\right )}\right ) e^{\left (a \log \relax (F) + 2\right )}}{\sqrt {-b \log \relax (F)} b d \log \relax (F)} - \frac {2 \, {\left (d f^{2} {\left (x + \frac {c}{d}\right )} - 2 \, c f^{2}\right )} e^{\left (b d^{2} x^{2} \log \relax (F) + 2 \, b c d x \log \relax (F) + b c^{2} \log \relax (F) + a \log \relax (F) + 2\right )}}{b d \log \relax (F)}\right )}}{2 \, d^{2}} + \frac {\frac {\sqrt {\pi } {\left (2 \, b c^{3} f^{3} \log \relax (F) - 3 \, c f^{3}\right )} \operatorname {erf}\left (-\sqrt {-b \log \relax (F)} d {\left (x + \frac {c}{d}\right )}\right ) e^{\left (a \log \relax (F) + 1\right )}}{\sqrt {-b \log \relax (F)} b d \log \relax (F)} + \frac {2 \, {\left (b d^{2} f^{3} {\left (x + \frac {c}{d}\right )}^{2} \log \relax (F) - 3 \, b c d f^{3} {\left (x + \frac {c}{d}\right )} \log \relax (F) + 3 \, b c^{2} f^{3} \log \relax (F) - f^{3}\right )} e^{\left (b d^{2} x^{2} \log \relax (F) + 2 \, b c d x \log \relax (F) + b c^{2} \log \relax (F) + a \log \relax (F) + 1\right )}}{b^{2} d \log \relax (F)^{2}}}{d^{3}} - \frac {\frac {\sqrt {\pi } {\left (4 \, b^{2} c^{4} f^{4} \log \relax (F)^{2} - 12 \, b c^{2} f^{4} \log \relax (F) + 3 \, f^{4}\right )} F^{a} \operatorname {erf}\left (-\sqrt {-b \log \relax (F)} d {\left (x + \frac {c}{d}\right )}\right )}{\sqrt {-b \log \relax (F)} b^{2} d \log \relax (F)^{2}} - \frac {2 \, {\left (2 \, b d^{3} f^{4} {\left (x + \frac {c}{d}\right )}^{3} \log \relax (F) - 8 \, b c d^{2} f^{4} {\left (x + \frac {c}{d}\right )}^{2} \log \relax (F) + 12 \, b c^{2} d f^{4} {\left (x + \frac {c}{d}\right )} \log \relax (F) - 8 \, b c^{3} f^{4} \log \relax (F) - 3 \, d f^{4} {\left (x + \frac {c}{d}\right )} + 8 \, c f^{4}\right )} e^{\left (b d^{2} x^{2} \log \relax (F) + 2 \, b c d x \log \relax (F) + b c^{2} \log \relax (F) + a \log \relax (F)\right )}}{b^{2} d \log \relax (F)^{2}}}{8 \, d^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.10, size = 1063, normalized size = 2.73 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 4.31, size = 1052, normalized size = 2.70 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.68, size = 517, normalized size = 1.33 \[ \mathrm {erfi}\left (\frac {b\,x\,\ln \relax (F)\,d^2+b\,c\,\ln \relax (F)\,d}{\sqrt {b\,d^2\,\ln \relax (F)}}\right )\,\left (\frac {\frac {3\,F^a\,f^4\,\sqrt {\pi }}{8\,\sqrt {b\,d^2\,\ln \relax (F)}}-\frac {F^a\,\sqrt {\pi }\,\ln \relax (F)\,\left (12\,b\,c^2\,f^4-24\,b\,c\,d\,e\,f^3+12\,b\,d^2\,e^2\,f^2\right )}{8\,\sqrt {b\,d^2\,\ln \relax (F)}}}{b^2\,d^4\,{\ln \relax (F)}^2}+\frac {F^a\,\sqrt {\pi }\,\left (4\,b^2\,c^4\,f^4-16\,b^2\,c^3\,d\,e\,f^3+24\,b^2\,c^2\,d^2\,e^2\,f^2-16\,b^2\,c\,d^3\,e^3\,f+4\,b^2\,d^4\,e^4\right )}{8\,b^2\,d^4\,\sqrt {b\,d^2\,\ln \relax (F)}}\right )+\frac {F^{b\,d^2\,x^2}\,F^a\,F^{b\,c^2}\,F^{2\,b\,c\,d\,x}\,\left (\frac {5\,F^a\,c\,f^4-8\,F^a\,d\,e\,f^3}{4\,F^a}-\frac {b\,\left (2\,F^a\,c^3\,f^4\,\ln \relax (F)-8\,F^a\,d^3\,e^3\,f\,\ln \relax (F)-8\,F^a\,c^2\,d\,e\,f^3\,\ln \relax (F)+12\,F^a\,c\,d^2\,e^2\,f^2\,\ln \relax (F)\right )}{4\,F^a}\right )}{b^2\,d^5\,{\ln \relax (F)}^2}+\frac {F^{b\,d^2\,x^2}\,F^a\,F^{b\,c^2}\,F^{2\,b\,c\,d\,x}\,f^4\,x^3}{2\,b\,d^2\,\ln \relax (F)}+\frac {F^{b\,d^2\,x^2}\,F^a\,F^{b\,c^2}\,F^{2\,b\,c\,d\,x}\,x\,\left (b\,\left (\frac {\ln \relax (F)\,c^2\,f^4}{2}-2\,\ln \relax (F)\,c\,d\,e\,f^3+3\,\ln \relax (F)\,d^2\,e^2\,f^2\right )-\frac {3\,f^4}{4}\right )}{b^2\,d^4\,{\ln \relax (F)}^2}-\frac {F^{b\,d^2\,x^2}\,F^a\,F^{b\,c^2}\,F^{2\,b\,c\,d\,x}\,f^3\,x^2\,\left (c\,f-4\,d\,e\right )}{2\,b\,d^3\,\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^{a + b \left (c + d x\right )^{2}} \left (e + f x\right )^{4}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________