Optimal. Leaf size=31 \[ \frac{b^5 F^a \log ^5(F) \text{Gamma}\left (-5,-b \log (F) (c+d x)^3\right )}{3 d} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0987708, antiderivative size = 31, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.048 \[ \frac{b^5 F^a \log ^5(F) \text{Gamma}\left (-5,-b \log (F) (c+d x)^3\right )}{3 d} \]
Antiderivative was successfully verified.
[In] Int[F^(a + b*(c + d*x)^3)/(c + d*x)^16,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 6.03549, size = 31, normalized size = 1. \[ \frac{F^{a} b^{5} \Gamma{\left (-5,- b \left (c + d x\right )^{3} \log{\left (F \right )} \right )} \log{\left (F \right )}^{5}}{3 d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(F**(a+b*(d*x+c)**3)/(d*x+c)**16,x)
[Out]
_______________________________________________________________________________________
Mathematica [B] time = 0.13009, size = 111, normalized size = 3.58 \[ \frac{F^a \left (b^5 \log ^5(F) \text{ExpIntegralEi}\left (b \log (F) (c+d x)^3\right )-\frac{F^{b (c+d x)^3} \left (b^4 \log ^4(F) (c+d x)^{12}+b^3 \log ^3(F) (c+d x)^9+2 b^2 \log ^2(F) (c+d x)^6+6 b \log (F) (c+d x)^3+24\right )}{(c+d x)^{15}}\right )}{360 d} \]
Antiderivative was successfully verified.
[In] Integrate[F^(a + b*(c + d*x)^3)/(c + d*x)^16,x]
[Out]
_______________________________________________________________________________________
Maple [F] time = 0.287, size = 0, normalized size = 0. \[ \int{\frac{{F}^{a+b \left ( dx+c \right ) ^{3}}}{ \left ( dx+c \right ) ^{16}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(F^(a+b*(d*x+c)^3)/(d*x+c)^16,x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{F^{{\left (d x + c\right )}^{3} b + a}}{{\left (d x + c\right )}^{16}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(F^((d*x + c)^3*b + a)/(d*x + c)^16,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.283486, size = 1192, normalized size = 38.45 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(F^((d*x + c)^3*b + a)/(d*x + c)^16,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(F**(a+b*(d*x+c)**3)/(d*x+c)**16,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{F^{{\left (d x + c\right )}^{3} b + a}}{{\left (d x + c\right )}^{16}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(F^((d*x + c)^3*b + a)/(d*x + c)^16,x, algorithm="giac")
[Out]