Optimal. Leaf size=366 \[ \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} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 3.29, antiderivative size = 366, normalized size of antiderivative = 1.00, 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 = {2264, 6874,
2262, 2240, 2241, 2263, 2265, 2209} \begin {gather*} \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} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2209
Rule 2240
Rule 2241
Rule 2262
Rule 2263
Rule 2264
Rule 2265
Rule 6874
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)) \text {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 ) \text {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.20, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{(g+h x)^3} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(2013\) vs.
\(2(356)=712\).
time = 0.14, size = 2014, normalized size = 5.50
method | result | size |
risch | \(\text {Expression too large to display}\) | \(2014\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 756 vs.
\(2 (362) = 724\).
time = 0.41, size = 756, normalized size = 2.07 \begin {gather*} \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 {b f g - a f h + {\left (d g - c h\right )} e}{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 {b f x + a f + {\left (d x + c\right )} e}{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 {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {F^{e+\frac {f\,\left (a+b\,x\right )}{c+d\,x}}}{{\left (g+h\,x\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________