Optimal. Leaf size=366 \[ \frac{d^2 F^{-\frac{f (b c-a d)}{d (c+d x)}+\frac{b f}{d}+e}}{2 h (d g-c h)^2}+\frac{f^2 h \log ^2(F) (b c-a d)^2 F^{\frac{f (b g-a h)}{d g-c h}+e} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right )}{2 (d g-c h)^4}+\frac{d f \log (F) (b c-a d) F^{\frac{f (b g-a h)}{d g-c h}+e} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right )}{(d g-c h)^3}-\frac{F^{\frac{f (a+b x)}{c+d x}+e}}{2 h (g+h x)^2}+\frac{d f \log (F) (b c-a d) F^{-\frac{f (b c-a d)}{d (c+d x)}+\frac{b f}{d}+e}}{2 (d g-c h)^3}-\frac{f \log (F) (b c-a d) F^{\frac{f (a+b x)}{c+d x}+e}}{2 (g+h x) (d g-c h)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 4.75749, antiderivative size = 366, normalized size of antiderivative = 1., number of steps used = 24, number of rules used = 8, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.308, Rules used = {2232, 6742, 2230, 2209, 2210, 2231, 2233, 2178} \[ \frac{d^2 F^{-\frac{f (b c-a d)}{d (c+d x)}+\frac{b f}{d}+e}}{2 h (d g-c h)^2}+\frac{f^2 h \log ^2(F) (b c-a d)^2 F^{\frac{f (b g-a h)}{d g-c h}+e} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right )}{2 (d g-c h)^4}+\frac{d f \log (F) (b c-a d) F^{\frac{f (b g-a h)}{d g-c h}+e} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right )}{(d g-c h)^3}-\frac{F^{\frac{f (a+b x)}{c+d x}+e}}{2 h (g+h x)^2}+\frac{d f \log (F) (b c-a d) F^{-\frac{f (b c-a d)}{d (c+d x)}+\frac{b f}{d}+e}}{2 (d g-c h)^3}-\frac{f \log (F) (b c-a d) F^{\frac{f (a+b x)}{c+d x}+e}}{2 (g+h x) (d g-c h)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2232
Rule 6742
Rule 2230
Rule 2209
Rule 2210
Rule 2231
Rule 2233
Rule 2178
Rubi steps
\begin{align*} \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(g+h x)^3} \, dx &=-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}+\frac{((b c-a d) f \log (F)) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(c+d x)^2 (g+h x)^2} \, dx}{2 h}\\ &=-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}+\frac{((b c-a d) f \log (F)) \int \left (\frac{d^2 F^{e+\frac{f (a+b x)}{c+d x}}}{(d g-c h)^2 (c+d x)^2}-\frac{2 d^2 F^{e+\frac{f (a+b x)}{c+d x}} h}{(d g-c h)^3 (c+d x)}+\frac{F^{e+\frac{f (a+b x)}{c+d x}} h^2}{(d g-c h)^2 (g+h x)^2}+\frac{2 d F^{e+\frac{f (a+b x)}{c+d x}} h^2}{(d g-c h)^3 (g+h x)}\right ) \, dx}{2 h}\\ &=-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}-\frac{\left (d^2 (b c-a d) f \log (F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{c+d x} \, dx}{(d g-c h)^3}+\frac{(d (b c-a d) f h \log (F)) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{g+h x} \, dx}{(d g-c h)^3}+\frac{\left (d^2 (b c-a d) f \log (F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(c+d x)^2} \, dx}{2 h (d g-c h)^2}+\frac{((b c-a d) f h \log (F)) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(g+h x)^2} \, dx}{2 (d g-c h)^2}\\ &=-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}-\frac{(b c-a d) f F^{e+\frac{f (a+b x)}{c+d x}} \log (F)}{2 (d g-c h)^2 (g+h x)}-\frac{\left (d^2 (b c-a d) f \log (F)\right ) \int \frac{F^{\frac{d e+b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{c+d x} \, dx}{(d g-c h)^3}+\frac{\left (d^2 (b c-a d) f \log (F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{c+d x} \, dx}{(d g-c h)^3}-\frac{(d (b c-a d) f \log (F)) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(c+d x) (g+h x)} \, dx}{(d g-c h)^2}+\frac{\left (d^2 (b c-a d) f \log (F)\right ) \int \frac{F^{\frac{d e+b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{(c+d x)^2} \, dx}{2 h (d g-c h)^2}+\frac{\left ((b c-a d)^2 f^2 \log ^2(F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(c+d x)^2 (g+h x)} \, dx}{2 (d g-c h)^2}\\ &=\frac{d^2 F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{2 h (d g-c h)^2}-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}-\frac{(b c-a d) f F^{e+\frac{f (a+b x)}{c+d x}} \log (F)}{2 (d g-c h)^2 (g+h x)}+\frac{d (b c-a d) f F^{e+\frac{b f}{d}} \text{Ei}\left (-\frac{(b c-a d) f \log (F)}{d (c+d x)}\right ) \log (F)}{(d g-c h)^3}+\frac{(d (b c-a d) f \log (F)) \operatorname{Subst}\left (\int \frac{F^{e+\frac{f (b g-a h)}{d g-c h}-\frac{(b c-a d) f x}{d g-c h}}}{x} \, dx,x,\frac{g+h x}{c+d x}\right )}{(d g-c h)^3}+\frac{\left (d^2 (b c-a d) f \log (F)\right ) \int \frac{F^{\frac{d e+b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{c+d x} \, dx}{(d g-c h)^3}+\frac{\left ((b c-a d)^2 f^2 \log ^2(F)\right ) \int \left (\frac{d F^{e+\frac{f (a+b x)}{c+d x}}}{(d g-c h) (c+d x)^2}-\frac{d F^{e+\frac{f (a+b x)}{c+d x}} h}{(d g-c h)^2 (c+d x)}+\frac{F^{e+\frac{f (a+b x)}{c+d x}} h^2}{(d g-c h)^2 (g+h x)}\right ) \, dx}{2 (d g-c h)^2}\\ &=\frac{d^2 F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{2 h (d g-c h)^2}-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}-\frac{(b c-a d) f F^{e+\frac{f (a+b x)}{c+d x}} \log (F)}{2 (d g-c h)^2 (g+h x)}+\frac{d (b c-a d) f F^{e+\frac{f (b g-a h)}{d g-c h}} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right ) \log (F)}{(d g-c h)^3}-\frac{\left (d (b c-a d)^2 f^2 h \log ^2(F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{c+d x} \, dx}{2 (d g-c h)^4}+\frac{\left ((b c-a d)^2 f^2 h^2 \log ^2(F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{g+h x} \, dx}{2 (d g-c h)^4}+\frac{\left (d (b c-a d)^2 f^2 \log ^2(F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(c+d x)^2} \, dx}{2 (d g-c h)^3}\\ &=\frac{d^2 F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{2 h (d g-c h)^2}-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}-\frac{(b c-a d) f F^{e+\frac{f (a+b x)}{c+d x}} \log (F)}{2 (d g-c h)^2 (g+h x)}+\frac{d (b c-a d) f F^{e+\frac{f (b g-a h)}{d g-c h}} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right ) \log (F)}{(d g-c h)^3}-\frac{\left (d (b c-a d)^2 f^2 h \log ^2(F)\right ) \int \frac{F^{\frac{d e+b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{c+d x} \, dx}{2 (d g-c h)^4}+\frac{\left (d (b c-a d)^2 f^2 h \log ^2(F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{c+d x} \, dx}{2 (d g-c h)^4}+\frac{\left (d (b c-a d)^2 f^2 \log ^2(F)\right ) \int \frac{F^{\frac{d e+b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{(c+d x)^2} \, dx}{2 (d g-c h)^3}-\frac{\left ((b c-a d)^2 f^2 h \log ^2(F)\right ) \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(c+d x) (g+h x)} \, dx}{2 (d g-c h)^3}\\ &=\frac{d^2 F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{2 h (d g-c h)^2}-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}+\frac{d (b c-a d) f F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}} \log (F)}{2 (d g-c h)^3}-\frac{(b c-a d) f F^{e+\frac{f (a+b x)}{c+d x}} \log (F)}{2 (d g-c h)^2 (g+h x)}+\frac{d (b c-a d) f F^{e+\frac{f (b g-a h)}{d g-c h}} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right ) \log (F)}{(d g-c h)^3}+\frac{(b c-a d)^2 f^2 F^{e+\frac{b f}{d}} h \text{Ei}\left (-\frac{(b c-a d) f \log (F)}{d (c+d x)}\right ) \log ^2(F)}{2 (d g-c h)^4}+\frac{\left ((b c-a d)^2 f^2 h \log ^2(F)\right ) \operatorname{Subst}\left (\int \frac{F^{e+\frac{f (b g-a h)}{d g-c h}-\frac{(b c-a d) f x}{d g-c h}}}{x} \, dx,x,\frac{g+h x}{c+d x}\right )}{2 (d g-c h)^4}+\frac{\left (d (b c-a d)^2 f^2 h \log ^2(F)\right ) \int \frac{F^{\frac{d e+b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{c+d x} \, dx}{2 (d g-c h)^4}\\ &=\frac{d^2 F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}}}{2 h (d g-c h)^2}-\frac{F^{e+\frac{f (a+b x)}{c+d x}}}{2 h (g+h x)^2}+\frac{d (b c-a d) f F^{e+\frac{b f}{d}-\frac{(b c-a d) f}{d (c+d x)}} \log (F)}{2 (d g-c h)^3}-\frac{(b c-a d) f F^{e+\frac{f (a+b x)}{c+d x}} \log (F)}{2 (d g-c h)^2 (g+h x)}+\frac{d (b c-a d) f F^{e+\frac{f (b g-a h)}{d g-c h}} \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right ) \log (F)}{(d g-c h)^3}+\frac{(b c-a d)^2 f^2 F^{e+\frac{f (b g-a h)}{d g-c h}} h \text{Ei}\left (-\frac{(b c-a d) f (g+h x) \log (F)}{(d g-c h) (c+d x)}\right ) \log ^2(F)}{2 (d g-c h)^4}\\ \end{align*}
Mathematica [F] time = 0.503373, size = 0, normalized size = 0. \[ \int \frac{F^{e+\frac{f (a+b x)}{c+d x}}}{(g+h x)^3} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.213, size = 2014, normalized size = 5.5 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{F^{e + \frac{{\left (b x + a\right )} f}{d x + c}}}{{\left (h x + g\right )}^{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.73227, size = 1507, normalized size = 4.12 \begin{align*} \frac{{\left ({\left ({\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} f^{2} h^{3} x^{2} + 2 \,{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} f^{2} g h^{2} x +{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} f^{2} g^{2} h\right )} \log \left (F\right )^{2} + 2 \,{\left ({\left (b c d^{2} - a d^{3}\right )} f g^{3} -{\left (b c^{2} d - a c d^{2}\right )} f g^{2} h +{\left ({\left (b c d^{2} - a d^{3}\right )} f g h^{2} -{\left (b c^{2} d - a c d^{2}\right )} f h^{3}\right )} x^{2} + 2 \,{\left ({\left (b c d^{2} - a d^{3}\right )} f g^{2} h -{\left (b c^{2} d - a c d^{2}\right )} f g h^{2}\right )} x\right )} \log \left (F\right )\right )} F^{\frac{{\left (d e + b f\right )} g -{\left (c e + a f\right )} h}{d g - c h}}{\rm Ei}\left (-\frac{{\left ({\left (b c - a d\right )} f h x +{\left (b c - a d\right )} f g\right )} \log \left (F\right )}{c d g - c^{2} h +{\left (d^{2} g - c d h\right )} x}\right ) +{\left (2 \, c d^{3} g^{3} - 5 \, c^{2} d^{2} g^{2} h + 4 \, c^{3} d g h^{2} - c^{4} h^{3} +{\left (d^{4} g^{2} h - 2 \, c d^{3} g h^{2} + c^{2} d^{2} h^{3}\right )} x^{2} + 2 \,{\left (d^{4} g^{3} - 2 \, c d^{3} g^{2} h + c^{2} d^{2} g h^{2}\right )} x +{\left ({\left (b c^{2} d - a c d^{2}\right )} f g^{2} h -{\left (b c^{3} - a c^{2} d\right )} f g h^{2} +{\left ({\left (b c d^{2} - a d^{3}\right )} f g h^{2} -{\left (b c^{2} d - a c d^{2}\right )} f h^{3}\right )} x^{2} +{\left ({\left (b c d^{2} - a d^{3}\right )} f g^{2} h -{\left (b c^{3} - a c^{2} d\right )} f h^{3}\right )} x\right )} \log \left (F\right )\right )} F^{\frac{c e + a f +{\left (d e + b f\right )} x}{d x + c}}}{2 \,{\left (d^{4} g^{6} - 4 \, c d^{3} g^{5} h + 6 \, c^{2} d^{2} g^{4} h^{2} - 4 \, c^{3} d g^{3} h^{3} + c^{4} g^{2} h^{4} +{\left (d^{4} g^{4} h^{2} - 4 \, c d^{3} g^{3} h^{3} + 6 \, c^{2} d^{2} g^{2} h^{4} - 4 \, c^{3} d g h^{5} + c^{4} h^{6}\right )} x^{2} + 2 \,{\left (d^{4} g^{5} h - 4 \, c d^{3} g^{4} h^{2} + 6 \, c^{2} d^{2} g^{3} h^{3} - 4 \, c^{3} d g^{2} h^{4} + c^{4} g h^{5}\right )} x\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{F^{e + \frac{{\left (b x + a\right )} f}{d x + c}}}{{\left (h x + g\right )}^{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]