Optimal. Leaf size=101 \[ \frac {e f \sinh (d+e x) F^{a c+b c x}}{e^2-b^2 c^2 \log ^2(F)}-\frac {b c f \log (F) \cosh (d+e x) F^{a c+b c x}}{e^2-b^2 c^2 \log ^2(F)}+\frac {f F^{a c+b c x}}{b c \log (F)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.15, antiderivative size = 101, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {6741, 12, 6742, 2194, 5475} \[ \frac {e f \sinh (d+e x) F^{a c+b c x}}{e^2-b^2 c^2 \log ^2(F)}-\frac {b c f \log (F) \cosh (d+e x) F^{a c+b c x}}{e^2-b^2 c^2 \log ^2(F)}+\frac {f F^{a c+b c x}}{b c \log (F)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2194
Rule 5475
Rule 6741
Rule 6742
Rubi steps
\begin {align*} \int F^{c (a+b x)} (f+f \cosh (d+e x)) \, dx &=\int f F^{a c+b c x} (1+\cosh (d+e x)) \, dx\\ &=f \int F^{a c+b c x} (1+\cosh (d+e x)) \, dx\\ &=f \int \left (F^{a c+b c x}+F^{a c+b c x} \cosh (d+e x)\right ) \, dx\\ &=f \int F^{a c+b c x} \, dx+f \int F^{a c+b c x} \cosh (d+e x) \, dx\\ &=\frac {f F^{a c+b c x}}{b c \log (F)}-\frac {b c f F^{a c+b c x} \cosh (d+e x) \log (F)}{e^2-b^2 c^2 \log ^2(F)}+\frac {e f F^{a c+b c x} \sinh (d+e x)}{e^2-b^2 c^2 \log ^2(F)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.24, size = 88, normalized size = 0.87 \[ \frac {f F^{c (a+b x)} \left (b^2 c^2 \log ^2(F) \cosh (d+e x)+b^2 c^2 \log ^2(F)-b c e \log (F) \sinh (d+e x)-e^2\right )}{b c \log (F) (b c \log (F)-e) (b c \log (F)+e)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.42, size = 430, normalized size = 4.26 \[ -\frac {{\left (2 \, e^{2} f \cosh \left (e x + d\right ) - {\left (b^{2} c^{2} f \cosh \left (e x + d\right )^{2} + 2 \, b^{2} c^{2} f \cosh \left (e x + d\right ) + b^{2} c^{2} f\right )} \log \relax (F)^{2} - {\left (b^{2} c^{2} f \log \relax (F)^{2} - b c e f \log \relax (F)\right )} \sinh \left (e x + d\right )^{2} + {\left (b c e f \cosh \left (e x + d\right )^{2} - b c e f\right )} \log \relax (F) + 2 \, {\left (b c e f \cosh \left (e x + d\right ) \log \relax (F) + e^{2} f - {\left (b^{2} c^{2} f \cosh \left (e x + d\right ) + b^{2} c^{2} f\right )} \log \relax (F)^{2}\right )} \sinh \left (e x + d\right )\right )} \cosh \left ({\left (b c x + a c\right )} \log \relax (F)\right ) + {\left (2 \, e^{2} f \cosh \left (e x + d\right ) - {\left (b^{2} c^{2} f \cosh \left (e x + d\right )^{2} + 2 \, b^{2} c^{2} f \cosh \left (e x + d\right ) + b^{2} c^{2} f\right )} \log \relax (F)^{2} - {\left (b^{2} c^{2} f \log \relax (F)^{2} - b c e f \log \relax (F)\right )} \sinh \left (e x + d\right )^{2} + {\left (b c e f \cosh \left (e x + d\right )^{2} - b c e f\right )} \log \relax (F) + 2 \, {\left (b c e f \cosh \left (e x + d\right ) \log \relax (F) + e^{2} f - {\left (b^{2} c^{2} f \cosh \left (e x + d\right ) + b^{2} c^{2} f\right )} \log \relax (F)^{2}\right )} \sinh \left (e x + d\right )\right )} \sinh \left ({\left (b c x + a c\right )} \log \relax (F)\right )}{2 \, {\left (b^{3} c^{3} \cosh \left (e x + d\right ) \log \relax (F)^{3} - b c e^{2} \cosh \left (e x + d\right ) \log \relax (F) + {\left (b^{3} c^{3} \log \relax (F)^{3} - b c e^{2} \log \relax (F)\right )} \sinh \left (e x + d\right )\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [C] time = 0.23, size = 900, normalized size = 8.91 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.22, size = 135, normalized size = 1.34 \[ \frac {f \left (\ln \relax (F )^{2} b^{2} c^{2} {\mathrm e}^{2 e x +2 d}+2 \ln \relax (F )^{2} b^{2} c^{2} {\mathrm e}^{e x +d}+b^{2} c^{2} \ln \relax (F )^{2}-\ln \relax (F ) b c e \,{\mathrm e}^{2 e x +2 d}+\ln \relax (F ) b c e -2 e^{2} {\mathrm e}^{e x +d}\right ) {\mathrm e}^{-e x -d} F^{c \left (b x +a \right )}}{2 b c \ln \relax (F ) \left (b c \ln \relax (F )-e \right ) \left (e +b c \ln \relax (F )\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.33, size = 87, normalized size = 0.86 \[ \frac {1}{2} \, f {\left (\frac {F^{a c} e^{\left (b c x \log \relax (F) + e x + d\right )}}{b c \log \relax (F) + e} + \frac {F^{a c} e^{\left (b c x \log \relax (F) - e x\right )}}{b c e^{d} \log \relax (F) - e e^{d}}\right )} + \frac {F^{b c x + a c} f}{b c \log \relax (F)} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.74, size = 134, normalized size = 1.33 \[ -\frac {F^{b\,c\,x}\,F^{a\,c}\,f\,{\mathrm {e}}^{-d-e\,x}\,\left (b^2\,c^2\,{\ln \relax (F)}^2-2\,e^2\,{\mathrm {e}}^{d+e\,x}+b\,c\,e\,\ln \relax (F)+2\,b^2\,c^2\,{\mathrm {e}}^{d+e\,x}\,{\ln \relax (F)}^2+b^2\,c^2\,{\mathrm {e}}^{2\,d+2\,e\,x}\,{\ln \relax (F)}^2-b\,c\,e\,{\mathrm {e}}^{2\,d+2\,e\,x}\,\ln \relax (F)\right )}{2\,b\,c\,\ln \relax (F)\,\left (e^2-b^2\,c^2\,{\ln \relax (F)}^2\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 8.46, size = 391, normalized size = 3.87 \[ \begin {cases} f x + \frac {f \sinh {\left (d + e x \right )}}{e} & \text {for}\: F = 1 \\\tilde {\infty } e^{2} f \left (e^{- \frac {e}{b c}}\right )^{a c} \left (e^{- \frac {e}{b c}}\right )^{b c x} \sinh {\left (d + e x \right )} + \tilde {\infty } e^{2} f \left (e^{- \frac {e}{b c}}\right )^{a c} \left (e^{- \frac {e}{b c}}\right )^{b c x} \cosh {\left (d + e x \right )} & \text {for}\: F = e^{- \frac {e}{b c}} \\\tilde {\infty } e^{2} f \left (e^{\frac {e}{b c}}\right )^{a c} \left (e^{\frac {e}{b c}}\right )^{b c x} \sinh {\left (d + e x \right )} + \tilde {\infty } e^{2} f \left (e^{\frac {e}{b c}}\right )^{a c} \left (e^{\frac {e}{b c}}\right )^{b c x} \cosh {\left (d + e x \right )} & \text {for}\: F = e^{\frac {e}{b c}} \\F^{a c} \left (f x + \frac {f \sinh {\left (d + e x \right )}}{e}\right ) & \text {for}\: b = 0 \\f x + \frac {f \sinh {\left (d + e x \right )}}{e} & \text {for}\: c = 0 \\\frac {F^{a c} F^{b c x} b^{2} c^{2} f \log {\relax (F )}^{2} \cosh {\left (d + e x \right )}}{b^{3} c^{3} \log {\relax (F )}^{3} - b c e^{2} \log {\relax (F )}} + \frac {F^{a c} F^{b c x} b^{2} c^{2} f \log {\relax (F )}^{2}}{b^{3} c^{3} \log {\relax (F )}^{3} - b c e^{2} \log {\relax (F )}} - \frac {F^{a c} F^{b c x} b c e f \log {\relax (F )} \sinh {\left (d + e x \right )}}{b^{3} c^{3} \log {\relax (F )}^{3} - b c e^{2} \log {\relax (F )}} - \frac {F^{a c} F^{b c x} e^{2} f}{b^{3} c^{3} \log {\relax (F )}^{3} - b c e^{2} \log {\relax (F )}} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________