Optimal. Leaf size=159 \[ \frac {d F^{e+\frac {b f}{d}-\frac {(b c-a d) f}{d (c+d x)}}}{h (d g-c h)}-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}+\frac {(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)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.65, antiderivative size = 159, normalized size of antiderivative = 1.00, number of steps
used = 12, 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 {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)^2}+\frac {d F^{-\frac {f (b c-a d)}{d (c+d x)}+\frac {b f}{d}+e}}{h (d g-c h)}-\frac {F^{\frac {f (a+b x)}{c+d x}+e}}{h (g+h x)} \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)^2} \, dx &=-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}+\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)} \, dx}{h}\\ &=-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}+\frac {((b c-a d) f \log (F)) \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}{h}\\ &=-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}-\frac {(d (b c-a d) f \log (F)) \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{c+d x} \, dx}{(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} \, dx}{(d g-c h)^2}+\frac {(d (b c-a d) f \log (F)) \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{(c+d x)^2} \, dx}{h (d g-c h)}\\ &=-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}-\frac {(d (b c-a d) f \log (F)) \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)^2}+\frac {(d (b c-a d) f \log (F)) \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{c+d x} \, dx}{(d g-c h)^2}-\frac {((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}+\frac {(d (b c-a d) f \log (F)) \int \frac {F^{\frac {d e+b f}{d}-\frac {(b c-a d) f}{d (c+d x)}}}{(c+d x)^2} \, dx}{h (d g-c h)}\\ &=\frac {d F^{e+\frac {b f}{d}-\frac {(b c-a d) f}{d (c+d x)}}}{h (d g-c h)}-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}+\frac {(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)^2}+\frac {((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)^2}+\frac {(d (b c-a d) f \log (F)) \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)^2}\\ &=\frac {d F^{e+\frac {b f}{d}-\frac {(b c-a d) f}{d (c+d x)}}}{h (d g-c h)}-\frac {F^{e+\frac {f (a+b x)}{c+d x}}}{h (g+h x)}+\frac {(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)^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F]
time = 0.57, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{(g+h x)^2} \, 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. \(579\) vs.
\(2(159)=318\).
time = 0.13, size = 580, normalized size = 3.65
method | result | size |
risch | \(\frac {f \ln \left (F \right ) F^{\frac {b f +e d}{d}} F^{\frac {f \left (a d -c b \right )}{d \left (d x +c \right )}} a d}{\left (c h -d g \right )^{2} \left (\frac {f \ln \left (F \right ) a}{d x +c}-\frac {f \ln \left (F \right ) c b}{d \left (d x +c \right )}+\frac {\ln \left (F \right ) b f}{d}+\ln \left (F \right ) e -\frac {\ln \left (F \right ) a f h}{c h -d g}+\frac {\ln \left (F \right ) b f g}{c h -d g}-\frac {\ln \left (F \right ) c e h}{c h -d g}+\frac {\ln \left (F \right ) d e g}{c h -d g}\right )}-\frac {f \ln \left (F \right ) F^{\frac {b f +e d}{d}} F^{\frac {f \left (a d -c b \right )}{d \left (d x +c \right )}} c b}{\left (c h -d g \right )^{2} \left (\frac {f \ln \left (F \right ) a}{d x +c}-\frac {f \ln \left (F \right ) c b}{d \left (d x +c \right )}+\frac {\ln \left (F \right ) b f}{d}+\ln \left (F \right ) e -\frac {\ln \left (F \right ) a f h}{c h -d g}+\frac {\ln \left (F \right ) b f g}{c h -d g}-\frac {\ln \left (F \right ) c e h}{c h -d g}+\frac {\ln \left (F \right ) d e g}{c h -d g}\right )}+\frac {f \ln \left (F \right ) F^{\frac {a f h -b f g +c e h -d e g}{c h -d g}} \expIntegral \left (1, -\frac {f \left (a d -c b \right ) \ln \left (F \right )}{d \left (d x +c \right )}-\frac {\left (b f +e d \right ) \ln \left (F \right )}{d}-\frac {-\ln \left (F \right ) a f h +\ln \left (F \right ) b f g -\ln \left (F \right ) c e h +\ln \left (F \right ) d e g}{c h -d g}\right ) a d}{\left (c h -d g \right )^{2}}-\frac {f \ln \left (F \right ) F^{\frac {a f h -b f g +c e h -d e g}{c h -d g}} \expIntegral \left (1, -\frac {f \left (a d -c b \right ) \ln \left (F \right )}{d \left (d x +c \right )}-\frac {\left (b f +e d \right ) \ln \left (F \right )}{d}-\frac {-\ln \left (F \right ) a f h +\ln \left (F \right ) b f g -\ln \left (F \right ) c e h +\ln \left (F \right ) d e g}{c h -d g}\right ) c b}{\left (c h -d g \right )^{2}}\) | \(580\) |
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 [A]
time = 0.40, size = 221, normalized size = 1.39 \begin {gather*} \frac {{\left ({\left (b c - a d\right )} f h x + {\left (b c - a d\right )} f g\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 ) \log \left (F\right ) + {\left (c d g - c^{2} h + {\left (d^{2} g - c d h\right )} x\right )} F^{\frac {b f x + a f + {\left (d x + c\right )} e}{d x + c}}}{d^{2} g^{3} - 2 \, c d g^{2} h + c^{2} g h^{2} + {\left (d^{2} g^{2} h - 2 \, c d g h^{2} + c^{2} h^{3}\right )} x} \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.01 \begin {gather*} \int \frac {F^{e+\frac {f\,\left (a+b\,x\right )}{c+d\,x}}}{{\left (g+h\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________