Optimal. Leaf size=101 \[ \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)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, 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 = {6873, 12, 6874,
2225, 5583} \begin {gather*} \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)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2225
Rule 5583
Rule 6873
Rule 6874
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.13, size = 88, normalized size = 0.87 \begin {gather*} \frac {f F^{c (a+b x)} \left (-e^2+b^2 c^2 \log ^2(F)+b^2 c^2 \cosh (d+e x) \log ^2(F)-b c e \log (F) \sinh (d+e x)\right )}{b c \log (F) (-e+b c \log (F)) (e+b c \log (F))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.15, size = 135, normalized size = 1.34
method | result | size |
risch | \(\frac {f \left (\ln \left (F \right )^{2} b^{2} c^{2} {\mathrm e}^{2 e x +2 d}+2 \ln \left (F \right )^{2} b^{2} c^{2} {\mathrm e}^{e x +d}+b^{2} c^{2} \ln \left (F \right )^{2}-\ln \left (F \right ) b c e \,{\mathrm e}^{2 e x +2 d}+\ln \left (F \right ) 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 \left (F \right ) \left (b c \ln \left (F \right )-e \right ) \left (e +b c \ln \left (F \right )\right )}\) | \(135\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 91, normalized size = 0.90 \begin {gather*} \frac {1}{2} \, f {\left (\frac {F^{a c} e^{\left (b c x \log \left (F\right ) + x e + d\right )}}{b c \log \left (F\right ) + e} + \frac {F^{a c} e^{\left (b c x \log \left (F\right ) - x e\right )}}{b c e^{d} \log \left (F\right ) - e^{\left (d + 1\right )}}\right )} + \frac {F^{b c x + a c} f}{b c \log \left (F\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 685 vs.
\(2 (104) = 208\).
time = 0.36, size = 685, normalized size = 6.78 \begin {gather*} \frac {{\left ({\left (b^{2} c^{2} f \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )^{2} + 2 \, b^{2} c^{2} f \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) + b^{2} c^{2} f\right )} \log \left (F\right )^{2} + {\left (b^{2} c^{2} f \log \left (F\right )^{2} - {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right )\right )} \log \left (F\right )\right )} \sinh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )^{2} - 2 \, {\left (f \cosh \left (1\right )^{2} + 2 \, f \cosh \left (1\right ) \sinh \left (1\right ) + f \sinh \left (1\right )^{2}\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) + {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right ) - {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right )\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )^{2}\right )} \log \left (F\right ) - 2 \, {\left (f \cosh \left (1\right )^{2} + {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right )\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) \log \left (F\right ) - {\left (b^{2} c^{2} f \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) + b^{2} c^{2} f\right )} \log \left (F\right )^{2} + 2 \, f \cosh \left (1\right ) \sinh \left (1\right ) + f \sinh \left (1\right )^{2}\right )} \sinh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )\right )} \cosh \left ({\left (b c x + a c\right )} \log \left (F\right )\right ) + {\left ({\left (b^{2} c^{2} f \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )^{2} + 2 \, b^{2} c^{2} f \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) + b^{2} c^{2} f\right )} \log \left (F\right )^{2} + {\left (b^{2} c^{2} f \log \left (F\right )^{2} - {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right )\right )} \log \left (F\right )\right )} \sinh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )^{2} - 2 \, {\left (f \cosh \left (1\right )^{2} + 2 \, f \cosh \left (1\right ) \sinh \left (1\right ) + f \sinh \left (1\right )^{2}\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) + {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right ) - {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right )\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )^{2}\right )} \log \left (F\right ) - 2 \, {\left (f \cosh \left (1\right )^{2} + {\left (b c f \cosh \left (1\right ) + b c f \sinh \left (1\right )\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) \log \left (F\right ) - {\left (b^{2} c^{2} f \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) + b^{2} c^{2} f\right )} \log \left (F\right )^{2} + 2 \, f \cosh \left (1\right ) \sinh \left (1\right ) + f \sinh \left (1\right )^{2}\right )} \sinh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )\right )} \sinh \left ({\left (b c x + a c\right )} \log \left (F\right )\right )}{2 \, {\left (b^{3} c^{3} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) \log \left (F\right )^{3} - {\left (b c \cosh \left (1\right )^{2} + 2 \, b c \cosh \left (1\right ) \sinh \left (1\right ) + b c \sinh \left (1\right )^{2}\right )} \cosh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right ) \log \left (F\right ) + {\left (b^{3} c^{3} \log \left (F\right )^{3} - {\left (b c \cosh \left (1\right )^{2} + 2 \, b c \cosh \left (1\right ) \sinh \left (1\right ) + b c \sinh \left (1\right )^{2}\right )} \log \left (F\right )\right )} \sinh \left (x \cosh \left (1\right ) + x \sinh \left (1\right ) + d\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 852 vs.
\(2 (94) = 188\).
time = 2.58, size = 852, normalized size = 8.44 \begin {gather*} \begin {cases} f x + \frac {f \sinh {\left (d + e x \right )}}{e} & \text {for}\: F = 1 \\\frac {b^{2} c^{2} f \left (e^{- \frac {e}{b c}}\right )^{a c} \left (e^{- \frac {e}{b c}}\right )^{b c x} \log {\left (e^{- \frac {e}{b c}} \right )}^{2} \cosh {\left (d + e x \right )}}{b^{3} c^{3} \log {\left (e^{- \frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{- \frac {e}{b c}} \right )}} + \frac {b^{2} c^{2} f \left (e^{- \frac {e}{b c}}\right )^{a c} \left (e^{- \frac {e}{b c}}\right )^{b c x} \log {\left (e^{- \frac {e}{b c}} \right )}^{2}}{b^{3} c^{3} \log {\left (e^{- \frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{- \frac {e}{b c}} \right )}} - \frac {b c e f \left (e^{- \frac {e}{b c}}\right )^{a c} \left (e^{- \frac {e}{b c}}\right )^{b c x} \log {\left (e^{- \frac {e}{b c}} \right )} \sinh {\left (d + e x \right )}}{b^{3} c^{3} \log {\left (e^{- \frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{- \frac {e}{b c}} \right )}} - \frac {e^{2} f \left (e^{- \frac {e}{b c}}\right )^{a c} \left (e^{- \frac {e}{b c}}\right )^{b c x}}{b^{3} c^{3} \log {\left (e^{- \frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{- \frac {e}{b c}} \right )}} & \text {for}\: F = e^{- \frac {e}{b c}} \\\frac {b^{2} c^{2} f \left (e^{\frac {e}{b c}}\right )^{a c} \left (e^{\frac {e}{b c}}\right )^{b c x} \log {\left (e^{\frac {e}{b c}} \right )}^{2} \cosh {\left (d + e x \right )}}{b^{3} c^{3} \log {\left (e^{\frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{\frac {e}{b c}} \right )}} + \frac {b^{2} c^{2} f \left (e^{\frac {e}{b c}}\right )^{a c} \left (e^{\frac {e}{b c}}\right )^{b c x} \log {\left (e^{\frac {e}{b c}} \right )}^{2}}{b^{3} c^{3} \log {\left (e^{\frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{\frac {e}{b c}} \right )}} - \frac {b c e f \left (e^{\frac {e}{b c}}\right )^{a c} \left (e^{\frac {e}{b c}}\right )^{b c x} \log {\left (e^{\frac {e}{b c}} \right )} \sinh {\left (d + e x \right )}}{b^{3} c^{3} \log {\left (e^{\frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{\frac {e}{b c}} \right )}} - \frac {e^{2} f \left (e^{\frac {e}{b c}}\right )^{a c} \left (e^{\frac {e}{b c}}\right )^{b c x}}{b^{3} c^{3} \log {\left (e^{\frac {e}{b c}} \right )}^{3} - b c e^{2} \log {\left (e^{\frac {e}{b c}} \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 {\left (F \right )}^{2} \cosh {\left (d + e x \right )}}{b^{3} c^{3} \log {\left (F \right )}^{3} - b c e^{2} \log {\left (F \right )}} + \frac {F^{a c} F^{b c x} b^{2} c^{2} f \log {\left (F \right )}^{2}}{b^{3} c^{3} \log {\left (F \right )}^{3} - b c e^{2} \log {\left (F \right )}} - \frac {F^{a c} F^{b c x} b c e f \log {\left (F \right )} \sinh {\left (d + e x \right )}}{b^{3} c^{3} \log {\left (F \right )}^{3} - b c e^{2} \log {\left (F \right )}} - \frac {F^{a c} F^{b c x} e^{2} f}{b^{3} c^{3} \log {\left (F \right )}^{3} - b c e^{2} \log {\left (F \right )}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [C] Result contains complex when optimal does not.
time = 0.45, size = 886, normalized size = 8.77 \begin {gather*} 2 \, {\left (\frac {2 \, b c f \cos \left (-\frac {1}{2} \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi b c x - \frac {1}{2} \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi a c\right ) \log \left ({\left | F \right |}\right )}{4 \, b^{2} c^{2} \log \left ({\left | F \right |}\right )^{2} + {\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )}^{2}} - \frac {{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )} f \sin \left (-\frac {1}{2} \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi b c x - \frac {1}{2} \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi a c\right )}{4 \, b^{2} c^{2} \log \left ({\left | F \right |}\right )^{2} + {\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )}^{2}}\right )} e^{\left (b c x \log \left ({\left | F \right |}\right ) + a c \log \left ({\left | F \right |}\right )\right )} + i \, {\left (\frac {i \, f e^{\left (\frac {1}{2} i \, \pi b c x \mathrm {sgn}\left (F\right ) - \frac {1}{2} i \, \pi b c x + \frac {1}{2} i \, \pi a c \mathrm {sgn}\left (F\right ) - \frac {1}{2} i \, \pi a c\right )}}{i \, \pi b c \mathrm {sgn}\left (F\right ) - i \, \pi b c + 2 \, b c \log \left ({\left | F \right |}\right )} - \frac {i \, f e^{\left (-\frac {1}{2} i \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} i \, \pi b c x - \frac {1}{2} i \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} i \, \pi a c\right )}}{-i \, \pi b c \mathrm {sgn}\left (F\right ) + i \, \pi b c + 2 \, b c \log \left ({\left | F \right |}\right )}\right )} e^{\left (b c x \log \left ({\left | F \right |}\right ) + a c \log \left ({\left | F \right |}\right )\right )} + {\left (\frac {2 \, {\left (b c \log \left ({\left | F \right |}\right ) + e\right )} f \cos \left (-\frac {1}{2} \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi b c x - \frac {1}{2} \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi a c\right )}{{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )}^{2} + 4 \, {\left (b c \log \left ({\left | F \right |}\right ) + e\right )}^{2}} - \frac {{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )} f \sin \left (-\frac {1}{2} \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi b c x - \frac {1}{2} \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi a c\right )}{{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )}^{2} + 4 \, {\left (b c \log \left ({\left | F \right |}\right ) + e\right )}^{2}}\right )} e^{\left (a c \log \left ({\left | F \right |}\right ) + {\left (b c \log \left ({\left | F \right |}\right ) + e\right )} x + d\right )} + i \, {\left (\frac {i \, f e^{\left (\frac {1}{2} i \, \pi b c x \mathrm {sgn}\left (F\right ) - \frac {1}{2} i \, \pi b c x + \frac {1}{2} i \, \pi a c \mathrm {sgn}\left (F\right ) - \frac {1}{2} i \, \pi a c\right )}}{2 i \, \pi b c \mathrm {sgn}\left (F\right ) - 2 i \, \pi b c + 4 \, b c \log \left ({\left | F \right |}\right ) + 4 \, e} - \frac {i \, f e^{\left (-\frac {1}{2} i \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} i \, \pi b c x - \frac {1}{2} i \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} i \, \pi a c\right )}}{-2 i \, \pi b c \mathrm {sgn}\left (F\right ) + 2 i \, \pi b c + 4 \, b c \log \left ({\left | F \right |}\right ) + 4 \, e}\right )} e^{\left (a c \log \left ({\left | F \right |}\right ) + {\left (b c \log \left ({\left | F \right |}\right ) + e\right )} x + d\right )} + {\left (\frac {2 \, {\left (b c \log \left ({\left | F \right |}\right ) - e\right )} f \cos \left (-\frac {1}{2} \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi b c x - \frac {1}{2} \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi a c\right )}{{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )}^{2} + 4 \, {\left (b c \log \left ({\left | F \right |}\right ) - e\right )}^{2}} - \frac {{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )} f \sin \left (-\frac {1}{2} \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi b c x - \frac {1}{2} \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} \, \pi a c\right )}{{\left (\pi b c \mathrm {sgn}\left (F\right ) - \pi b c\right )}^{2} + 4 \, {\left (b c \log \left ({\left | F \right |}\right ) - e\right )}^{2}}\right )} e^{\left (a c \log \left ({\left | F \right |}\right ) + {\left (b c \log \left ({\left | F \right |}\right ) - e\right )} x - d\right )} + i \, {\left (\frac {i \, f e^{\left (\frac {1}{2} i \, \pi b c x \mathrm {sgn}\left (F\right ) - \frac {1}{2} i \, \pi b c x + \frac {1}{2} i \, \pi a c \mathrm {sgn}\left (F\right ) - \frac {1}{2} i \, \pi a c\right )}}{2 i \, \pi b c \mathrm {sgn}\left (F\right ) - 2 i \, \pi b c + 4 \, b c \log \left ({\left | F \right |}\right ) - 4 \, e} - \frac {i \, f e^{\left (-\frac {1}{2} i \, \pi b c x \mathrm {sgn}\left (F\right ) + \frac {1}{2} i \, \pi b c x - \frac {1}{2} i \, \pi a c \mathrm {sgn}\left (F\right ) + \frac {1}{2} i \, \pi a c\right )}}{-2 i \, \pi b c \mathrm {sgn}\left (F\right ) + 2 i \, \pi b c + 4 \, b c \log \left ({\left | F \right |}\right ) - 4 \, e}\right )} e^{\left (a c \log \left ({\left | F \right |}\right ) + {\left (b c \log \left ({\left | F \right |}\right ) - e\right )} x - d\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.74, size = 134, normalized size = 1.33 \begin {gather*} -\frac {F^{b\,c\,x}\,F^{a\,c}\,f\,{\mathrm {e}}^{-d-e\,x}\,\left (b^2\,c^2\,{\ln \left (F\right )}^2-2\,e^2\,{\mathrm {e}}^{d+e\,x}+b\,c\,e\,\ln \left (F\right )+2\,b^2\,c^2\,{\mathrm {e}}^{d+e\,x}\,{\ln \left (F\right )}^2+b^2\,c^2\,{\mathrm {e}}^{2\,d+2\,e\,x}\,{\ln \left (F\right )}^2-b\,c\,e\,{\mathrm {e}}^{2\,d+2\,e\,x}\,\ln \left (F\right )\right )}{2\,b\,c\,\ln \left (F\right )\,\left (e^2-b^2\,c^2\,{\ln \left (F\right )}^2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________