Optimal. Leaf size=86 \[ \frac {2 (A b-a B) \tanh ^{-1}\left (\frac {\sqrt {a-b} \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a+b}}\right )}{b e \sqrt {a-b} \sqrt {a+b}}+\frac {C \log (a+b \cosh (d+e x))}{b e}+\frac {B x}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.15, antiderivative size = 86, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.194, Rules used = {4377, 2735, 2659, 205, 2668, 31} \[ \frac {2 (A b-a B) \tanh ^{-1}\left (\frac {\sqrt {a-b} \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a+b}}\right )}{b e \sqrt {a-b} \sqrt {a+b}}+\frac {C \log (a+b \cosh (d+e x))}{b e}+\frac {B x}{b} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 205
Rule 2659
Rule 2668
Rule 2735
Rule 4377
Rubi steps
\begin {align*} \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{a+b \cosh (d+e x)} \, dx &=C \int \frac {\sinh (d+e x)}{a+b \cosh (d+e x)} \, dx+\int \frac {A+B \cosh (d+e x)}{a+b \cosh (d+e x)} \, dx\\ &=\frac {B x}{b}-\frac {(-A b+a B) \int \frac {1}{a+b \cosh (d+e x)} \, dx}{b}+\frac {C \operatorname {Subst}\left (\int \frac {1}{a+x} \, dx,x,b \cosh (d+e x)\right )}{b e}\\ &=\frac {B x}{b}+\frac {C \log (a+b \cosh (d+e x))}{b e}-\frac {(2 i (A b-a B)) \operatorname {Subst}\left (\int \frac {1}{a+b+(a-b) x^2} \, dx,x,\tan \left (\frac {1}{2} (i d+i e x)\right )\right )}{b e}\\ &=\frac {B x}{b}+\frac {2 (A b-a B) \tanh ^{-1}\left (\frac {\sqrt {a-b} \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a+b}}\right )}{\sqrt {a-b} b \sqrt {a+b} e}+\frac {C \log (a+b \cosh (d+e x))}{b e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.26, size = 81, normalized size = 0.94 \[ \frac {\frac {2 (a B-A b) \tan ^{-1}\left (\frac {(a-b) \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {b^2-a^2}}\right )}{\sqrt {b^2-a^2}}+C \log (a+b \cosh (d+e x))+B (d+e x)}{b e} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.47, size = 405, normalized size = 4.71 \[ \left [\frac {{\left ({\left (B - C\right )} a^{2} - {\left (B - C\right )} b^{2}\right )} e x - {\left (B a - A b\right )} \sqrt {a^{2} - b^{2}} \log \left (\frac {b^{2} \cosh \left (e x + d\right )^{2} + b^{2} \sinh \left (e x + d\right )^{2} + 2 \, a b \cosh \left (e x + d\right ) + 2 \, a^{2} - b^{2} + 2 \, {\left (b^{2} \cosh \left (e x + d\right ) + a b\right )} \sinh \left (e x + d\right ) - 2 \, \sqrt {a^{2} - b^{2}} {\left (b \cosh \left (e x + d\right ) + b \sinh \left (e x + d\right ) + a\right )}}{b \cosh \left (e x + d\right )^{2} + b \sinh \left (e x + d\right )^{2} + 2 \, a \cosh \left (e x + d\right ) + 2 \, {\left (b \cosh \left (e x + d\right ) + a\right )} \sinh \left (e x + d\right ) + b}\right ) + {\left (C a^{2} - C b^{2}\right )} \log \left (\frac {2 \, {\left (b \cosh \left (e x + d\right ) + a\right )}}{\cosh \left (e x + d\right ) - \sinh \left (e x + d\right )}\right )}{{\left (a^{2} b - b^{3}\right )} e}, \frac {{\left ({\left (B - C\right )} a^{2} - {\left (B - C\right )} b^{2}\right )} e x + 2 \, {\left (B a - A b\right )} \sqrt {-a^{2} + b^{2}} \arctan \left (-\frac {\sqrt {-a^{2} + b^{2}} {\left (b \cosh \left (e x + d\right ) + b \sinh \left (e x + d\right ) + a\right )}}{a^{2} - b^{2}}\right ) + {\left (C a^{2} - C b^{2}\right )} \log \left (\frac {2 \, {\left (b \cosh \left (e x + d\right ) + a\right )}}{\cosh \left (e x + d\right ) - \sinh \left (e x + d\right )}\right )}{{\left (a^{2} b - b^{3}\right )} e}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.16, size = 97, normalized size = 1.13 \[ {\left (\frac {{\left (x e + d\right )} {\left (B - C\right )}}{b} + \frac {C \log \left (b e^{\left (2 \, x e + 2 \, d\right )} + 2 \, a e^{\left (x e + d\right )} + b\right )}{b} - \frac {2 \, {\left (B a - A b\right )} \arctan \left (\frac {b e^{\left (x e + d\right )} + a}{\sqrt {-a^{2} + b^{2}}}\right )}{\sqrt {-a^{2} + b^{2}} b}\right )} e^{\left (-1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.17, size = 276, normalized size = 3.21 \[ -\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-1\right ) B}{e b}-\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-1\right ) C}{e b}+\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )+1\right ) B}{e b}-\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )+1\right ) C}{e b}+\frac {\ln \left (a \left (\tanh ^{2}\left (\frac {e x}{2}+\frac {d}{2}\right )\right )-\left (\tanh ^{2}\left (\frac {e x}{2}+\frac {d}{2}\right )\right ) b -a -b \right ) a C}{e b \left (a -b \right )}-\frac {\ln \left (a \left (\tanh ^{2}\left (\frac {e x}{2}+\frac {d}{2}\right )\right )-\left (\tanh ^{2}\left (\frac {e x}{2}+\frac {d}{2}\right )\right ) b -a -b \right ) C}{e \left (a -b \right )}+\frac {2 \arctanh \left (\frac {\left (a -b \right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )}{\sqrt {\left (a +b \right ) \left (a -b \right )}}\right ) A}{e \sqrt {\left (a +b \right ) \left (a -b \right )}}-\frac {2 \arctanh \left (\frac {\left (a -b \right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )}{\sqrt {\left (a +b \right ) \left (a -b \right )}}\right ) a B}{e b \sqrt {\left (a +b \right ) \left (a -b \right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.19, size = 653, normalized size = 7.59 \[ \frac {2\,\mathrm {atan}\left (\frac {a\,\sqrt {b^4\,e^2-a^2\,b^2\,e^2}\,\sqrt {A^2\,b^2-2\,A\,B\,a\,b+B^2\,a^2}}{B\,e\,a^3\,b-A\,e\,a^2\,b^2-B\,e\,a\,b^3+A\,e\,b^4}+\frac {a^2\,b^2\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d\,\sqrt {b^4\,e^2-a^2\,b^2\,e^2}\,\sqrt {A^2\,b^2-2\,A\,B\,a\,b+B^2\,a^2}}{B\,e\,a^3\,b^4-A\,e\,a^2\,b^5-B\,e\,a\,b^6+A\,e\,b^7}+\frac {A\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d\,\sqrt {b^4\,e^2-a^2\,b^2\,e^2}}{b\,e\,\sqrt {A^2\,b^2-2\,A\,B\,a\,b+B^2\,a^2}}-\frac {B\,a\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d\,\sqrt {b^4\,e^2-a^2\,b^2\,e^2}}{b^2\,e\,\sqrt {A^2\,b^2-2\,A\,B\,a\,b+B^2\,a^2}}\right )\,\sqrt {A^2\,b^2-2\,A\,B\,a\,b+B^2\,a^2}}{\sqrt {b^4\,e^2-a^2\,b^2\,e^2}}+\frac {B\,x}{b}-\frac {C\,x}{b}+\frac {C\,b^3\,e\,\ln \left (4\,A^2\,b^3+4\,B^2\,a^2\,b-8\,A\,B\,a\,b^2+8\,B^2\,a^3\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,A^2\,b^3\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}+8\,A^2\,a\,b^2\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,B^2\,a^2\,b\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}-16\,A\,B\,a^2\,b\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d-8\,A\,B\,a\,b^2\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}\right )}{b^4\,e^2-a^2\,b^2\,e^2}-\frac {C\,a^2\,b\,e\,\ln \left (4\,A^2\,b^3+4\,B^2\,a^2\,b-8\,A\,B\,a\,b^2+8\,B^2\,a^3\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,A^2\,b^3\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}+8\,A^2\,a\,b^2\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,B^2\,a^2\,b\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}-16\,A\,B\,a^2\,b\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d-8\,A\,B\,a\,b^2\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}\right )}{b^4\,e^2-a^2\,b^2\,e^2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 31.24, size = 695, normalized size = 8.08 \[ \begin {cases} \frac {\tilde {\infty } x \left (A + B \cosh {\relax (d )} + C \sinh {\relax (d )}\right )}{\cosh {\relax (d )}} & \text {for}\: a = 0 \wedge b = 0 \wedge e = 0 \\- \frac {A}{b e \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )}} + \frac {B x}{b} - \frac {B}{b e \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )}} + \frac {C x}{b} - \frac {2 C \log {\left (\tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} + 1 \right )}}{b e} + \frac {2 C \log {\left (\tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{b e} & \text {for}\: a = - b \\\frac {A x + \frac {B \sinh {\left (d + e x \right )}}{e} + \frac {C \cosh {\left (d + e x \right )}}{e}}{a} & \text {for}\: b = 0 \\\frac {x \left (A + B \cosh {\relax (d )} + C \sinh {\relax (d )}\right )}{a + b \cosh {\relax (d )}} & \text {for}\: e = 0 \\\frac {A \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )}}{b e} + \frac {B x}{b} - \frac {B \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )}}{b e} + \frac {C x}{b} - \frac {2 C \log {\left (\tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} + 1 \right )}}{b e} & \text {for}\: a = b \\- \frac {A b \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} \log {\left (- \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} + \frac {A b \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} \log {\left (\sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} + \frac {B a e x}{a b e + b^{2} e} + \frac {B a \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} \log {\left (- \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} - \frac {B a \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} \log {\left (\sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} + \frac {B b e x}{a b e + b^{2} e} + \frac {C a e x}{a b e + b^{2} e} + \frac {C a \log {\left (- \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} + \frac {C a \log {\left (\sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} - \frac {2 C a \log {\left (\tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} + 1 \right )}}{a b e + b^{2} e} + \frac {C b e x}{a b e + b^{2} e} + \frac {C b \log {\left (- \sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} + \frac {C b \log {\left (\sqrt {\frac {a}{a - b} + \frac {b}{a - b}} + \tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} \right )}}{a b e + b^{2} e} - \frac {2 C b \log {\left (\tanh {\left (\frac {d}{2} + \frac {e x}{2} \right )} + 1 \right )}}{a b e + b^{2} e} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________