Optimal. Leaf size=104 \[ -\frac {F^{e+\frac {b f}{d}} \text {Ei}\left (-\frac {(b c-a d) f \log (F)}{d (c+d x)}\right )}{h}+\frac {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 )}{h} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.70, antiderivative size = 104, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {2263, 2262,
2241, 2265, 2209} \begin {gather*} \frac {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 )}{h}-\frac {F^{\frac {b f}{d}+e} \text {Ei}\left (-\frac {(b c-a d) f \log (F)}{d (c+d x)}\right )}{h} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2209
Rule 2241
Rule 2262
Rule 2263
Rule 2265
Rubi steps
\begin {align*} \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{g+h x} \, dx &=\frac {d \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{c+d x} \, dx}{h}-\frac {(d g-c h) \int \frac {F^{e+\frac {f (a+b x)}{c+d x}}}{(c+d x) (g+h x)} \, dx}{h}\\ &=\frac {\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 )}{h}+\frac {d \int \frac {F^{\frac {d e+b f}{d}-\frac {(b c-a d) f}{d (c+d x)}}}{c+d x} \, dx}{h}\\ &=-\frac {F^{e+\frac {b f}{d}} \text {Ei}\left (-\frac {(b c-a d) f \log (F)}{d (c+d x)}\right )}{h}+\frac {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 )}{h}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.22, size = 103, normalized size = 0.99 \begin {gather*} \frac {F^{e+\frac {b f}{d}} \left (-\text {Ei}\left (\frac {(-b c f+a d f) \log (F)}{d (c+d x)}\right )+F^{\frac {(b c-a d) f h}{d (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 )\right )}{h} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(431\) vs.
\(2(104)=208\).
time = 0.17, size = 432, normalized size = 4.15
method | result | size |
risch | \(\frac {d \,F^{\frac {b f +e d}{d}} \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 ) b f -d e \ln \left (F \right )}{d}\right ) a}{h \left (a d -c b \right )}-\frac {F^{\frac {b f +e d}{d}} \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 ) b f -d e \ln \left (F \right )}{d}\right ) c b}{h \left (a d -c b \right )}-\frac {d \,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}{h \left (a d -c b \right )}+\frac {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}{h \left (a d -c b \right )}\) | \(432\) |
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.37, size = 137, normalized size = 1.32 \begin {gather*} -\frac {F^{\frac {b f + d e}{d}} {\rm Ei}\left (-\frac {{\left (b c - a d\right )} f \log \left (F\right )}{d^{2} x + c d}\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 )}{h} \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}}}{g+h\,x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________