Optimal. Leaf size=127 \[ \frac {c^{3/2} f^{a-\frac {5 e}{2}} \tan ^{-1}\left (\frac {\sqrt {d} f^{\frac {1}{2} (2 b x+e)}}{\sqrt {c}}\right )}{b d^{5/2} \log (f)}-\frac {c f^{\frac {1}{2} (2 a-5 e)+\frac {1}{2} (2 b x+e)}}{b d^2 \log (f)}+\frac {f^{\frac {1}{2} (2 a-5 e)+\frac {3}{2} (2 b x+e)}}{3 b d \log (f)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.08, antiderivative size = 127, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.130, Rules used = {2248, 302, 205} \[ \frac {c^{3/2} f^{a-\frac {5 e}{2}} \tan ^{-1}\left (\frac {\sqrt {d} f^{\frac {1}{2} (2 b x+e)}}{\sqrt {c}}\right )}{b d^{5/2} \log (f)}-\frac {c f^{\frac {1}{2} (2 a-5 e)+\frac {1}{2} (2 b x+e)}}{b d^2 \log (f)}+\frac {f^{\frac {1}{2} (2 a-5 e)+\frac {3}{2} (2 b x+e)}}{3 b d \log (f)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 205
Rule 302
Rule 2248
Rubi steps
\begin {align*} \int \frac {f^{a+5 b x}}{c+d f^{e+2 b x}} \, dx &=\frac {f^{a-\frac {5 e}{2}} \operatorname {Subst}\left (\int \frac {x^4}{c+d x^2} \, dx,x,f^{\frac {1}{2} (e+2 b x)}\right )}{b \log (f)}\\ &=\frac {f^{a-\frac {5 e}{2}} \operatorname {Subst}\left (\int \left (-\frac {c}{d^2}+\frac {x^2}{d}+\frac {c^2}{d^2 \left (c+d x^2\right )}\right ) \, dx,x,f^{\frac {1}{2} (e+2 b x)}\right )}{b \log (f)}\\ &=-\frac {c f^{\frac {1}{2} (2 a-5 e)+\frac {1}{2} (e+2 b x)}}{b d^2 \log (f)}+\frac {f^{\frac {1}{2} (2 a-5 e)+\frac {3}{2} (e+2 b x)}}{3 b d \log (f)}+\frac {\left (c^2 f^{a-\frac {5 e}{2}}\right ) \operatorname {Subst}\left (\int \frac {1}{c+d x^2} \, dx,x,f^{\frac {1}{2} (e+2 b x)}\right )}{b d^2 \log (f)}\\ &=-\frac {c f^{\frac {1}{2} (2 a-5 e)+\frac {1}{2} (e+2 b x)}}{b d^2 \log (f)}+\frac {f^{\frac {1}{2} (2 a-5 e)+\frac {3}{2} (e+2 b x)}}{3 b d \log (f)}+\frac {c^{3/2} f^{a-\frac {5 e}{2}} \tan ^{-1}\left (\frac {\sqrt {d} f^{\frac {1}{2} (e+2 b x)}}{\sqrt {c}}\right )}{b d^{5/2} \log (f)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.07, size = 86, normalized size = 0.68 \[ \frac {3 c^{3/2} f^{a-\frac {5 e}{2}} \tan ^{-1}\left (\frac {\sqrt {d} f^{b x+\frac {e}{2}}}{\sqrt {c}}\right )+\sqrt {d} f^{a+b x-2 e} \left (d f^{2 b x+e}-3 c\right )}{3 b d^{5/2} \log (f)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.45, size = 211, normalized size = 1.66 \[ \left [\frac {3 \, c f^{a - \frac {5}{2} \, e} \sqrt {-\frac {c}{d}} \log \left (\frac {2 \, d f^{b x + \frac {1}{2} \, e} \sqrt {-\frac {c}{d}} + d f^{2 \, b x + e} - c}{d f^{2 \, b x + e} + c}\right ) + 2 \, d f^{3 \, b x + \frac {3}{2} \, e} f^{a - \frac {5}{2} \, e} - 6 \, c f^{b x + \frac {1}{2} \, e} f^{a - \frac {5}{2} \, e}}{6 \, b d^{2} \log \relax (f)}, \frac {3 \, c f^{a - \frac {5}{2} \, e} \sqrt {\frac {c}{d}} \arctan \left (\frac {d f^{b x + \frac {1}{2} \, e} \sqrt {\frac {c}{d}}}{c}\right ) + d f^{3 \, b x + \frac {3}{2} \, e} f^{a - \frac {5}{2} \, e} - 3 \, c f^{b x + \frac {1}{2} \, e} f^{a - \frac {5}{2} \, e}}{3 \, b d^{2} \log \relax (f)}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.32, size = 122, normalized size = 0.96 \[ \frac {1}{3} \, f^{a} {\left (\frac {3 \, c^{2} \arctan \left (\frac {d f^{b x} f^{e}}{\sqrt {c d f^{e}}}\right )}{\sqrt {c d f^{e}} b d^{2} f^{2 \, e} \log \relax (f)} + \frac {b^{2} d^{2} f^{3 \, b x} f^{2 \, e} \log \relax (f)^{2} - 3 \, b^{2} c d f^{b x} f^{e} \log \relax (f)^{2}}{b^{3} d^{3} f^{3 \, e} \log \relax (f)^{3}}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.10, size = 212, normalized size = 1.67 \[ -\frac {c \,f^{\frac {4 a}{5}} f^{-2 e} f^{b x +\frac {a}{5}}}{b \,d^{2} \ln \relax (f )}+\frac {f^{\frac {2 a}{5}} f^{-e} f^{3 b x +\frac {3 a}{5}}}{3 b d \ln \relax (f )}-\frac {\sqrt {-c d}\, c \,f^{a} f^{-\frac {5 e}{2}} \ln \left (-\frac {\sqrt {-c d}\, f^{\frac {a}{5}} f^{-\frac {e}{2}}}{d}+f^{b x +\frac {a}{5}}\right )}{2 b \,d^{3} \ln \relax (f )}+\frac {\sqrt {-c d}\, c \,f^{a} f^{-\frac {5 e}{2}} \ln \left (\frac {\sqrt {-c d}\, f^{\frac {a}{5}} f^{-\frac {e}{2}}}{d}+f^{b x +\frac {a}{5}}\right )}{2 b \,d^{3} \ln \relax (f )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.97, size = 97, normalized size = 0.76 \[ \frac {c^{2} f^{a - 2 \, e} \arctan \left (\frac {d f^{b x + e}}{\sqrt {c d} f^{\frac {1}{2} \, e}}\right )}{\sqrt {c d} b d^{2} f^{\frac {1}{2} \, e} \log \relax (f)} + \frac {d f^{3 \, b x + a + e} - 3 \, c f^{b x + a}}{3 \, b d^{2} f^{2 \, e} \log \relax (f)} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.56, size = 102, normalized size = 0.80 \[ \frac {f^a\,f^{3\,b\,x}}{3\,b\,d\,f^e\,\ln \relax (f)}-\frac {c\,f^a\,f^{b\,x}}{b\,d^2\,f^{2\,e}\,\ln \relax (f)}+\frac {c^2\,f^a\,{\mathrm {e}}^{-\frac {5\,e\,\ln \relax (f)}{2}}\,\mathrm {atan}\left (\frac {d\,f^{b\,x}\,{\mathrm {e}}^{\frac {e\,\ln \relax (f)}{2}}}{\sqrt {c\,d}}\right )}{b\,d^2\,\ln \relax (f)\,\sqrt {c\,d}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 1.67, size = 185, normalized size = 1.46 \[ \operatorname {RootSum} {\left (4 z^{2} b^{2} d^{5} e^{5 e \log {\relax (f )}} \log {\relax (f )}^{2} + c^{3} e^{2 a \log {\relax (f )}}, \left (i \mapsto i \log {\left (\frac {2 i b d^{2} e^{- \frac {4 a \log {\relax (f )}}{5}} e^{2 e \log {\relax (f )}} \log {\relax (f )}}{c} + e^{\frac {\left (a + 5 b x\right ) \log {\relax (f )}}{5}} \right )} \right )\right )} + \frac {\left (\begin {cases} x \left (- c + d\right ) & \text {for}\: b = 0 \wedge f = 1 \\x \left (- c e^{a \log {\relax (f )}} + d e^{a \log {\relax (f )}} e^{e \log {\relax (f )}}\right ) & \text {for}\: b = 0 \\x \left (- c + d\right ) & \text {for}\: f = 1 \\- \frac {c e^{a \log {\relax (f )}} e^{b x \log {\relax (f )}}}{b \log {\relax (f )}} + \frac {d e^{a \log {\relax (f )}} e^{e \log {\relax (f )}} e^{3 b x \log {\relax (f )}}}{3 b \log {\relax (f )}} & \text {otherwise} \end {cases}\right ) e^{- 2 e \log {\relax (f )}}}{d^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________