Optimal. Leaf size=56 \[ -\frac{1}{2} b^2 f^a \log ^2(f) \text{Ei}\left (\frac{b \log (f)}{x}\right )+\frac{1}{2} x^2 f^{a+\frac{b}{x}}+\frac{1}{2} b x \log (f) f^{a+\frac{b}{x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0349944, antiderivative size = 56, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 11, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {2214, 2206, 2210} \[ -\frac{1}{2} b^2 f^a \log ^2(f) \text{Ei}\left (\frac{b \log (f)}{x}\right )+\frac{1}{2} x^2 f^{a+\frac{b}{x}}+\frac{1}{2} b x \log (f) f^{a+\frac{b}{x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2214
Rule 2206
Rule 2210
Rubi steps
\begin{align*} \int f^{a+\frac{b}{x}} x \, dx &=\frac{1}{2} f^{a+\frac{b}{x}} x^2+\frac{1}{2} (b \log (f)) \int f^{a+\frac{b}{x}} \, dx\\ &=\frac{1}{2} f^{a+\frac{b}{x}} x^2+\frac{1}{2} b f^{a+\frac{b}{x}} x \log (f)+\frac{1}{2} \left (b^2 \log ^2(f)\right ) \int \frac{f^{a+\frac{b}{x}}}{x} \, dx\\ &=\frac{1}{2} f^{a+\frac{b}{x}} x^2+\frac{1}{2} b f^{a+\frac{b}{x}} x \log (f)-\frac{1}{2} b^2 f^a \text{Ei}\left (\frac{b \log (f)}{x}\right ) \log ^2(f)\\ \end{align*}
Mathematica [A] time = 0.0174743, size = 40, normalized size = 0.71 \[ \frac{1}{2} f^a \left (x f^{b/x} (b \log (f)+x)-b^2 \log ^2(f) \text{Ei}\left (\frac{b \log (f)}{x}\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.062, size = 55, normalized size = 1. \begin{align*}{\frac{{f}^{a}{x}^{2}}{2}{f}^{{\frac{b}{x}}}}+{\frac{b\ln \left ( f \right ){f}^{a}x}{2}{f}^{{\frac{b}{x}}}}+{\frac{ \left ( \ln \left ( f \right ) \right ) ^{2}{b}^{2}{f}^{a}}{2}{\it Ei} \left ( 1,-{\frac{b\ln \left ( f \right ) }{x}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.21554, size = 28, normalized size = 0.5 \begin{align*} b^{2} f^{a} \Gamma \left (-2, -\frac{b \log \left (f\right )}{x}\right ) \log \left (f\right )^{2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.75354, size = 107, normalized size = 1.91 \begin{align*} -\frac{1}{2} \, b^{2} f^{a}{\rm Ei}\left (\frac{b \log \left (f\right )}{x}\right ) \log \left (f\right )^{2} + \frac{1}{2} \,{\left (b x \log \left (f\right ) + x^{2}\right )} f^{\frac{a x + b}{x}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int f^{a + \frac{b}{x}} x\, dx \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 f^{a + \frac{b}{x}} x\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]