Optimal. Leaf size=81 \[ -\frac {2 (A c-a C) \tanh ^{-1}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2+c^2}}\right )}{c e \sqrt {a^2+c^2}}+\frac {B \log (a+c \sinh (d+e x))}{c e}+\frac {C x}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.17, antiderivative size = 81, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 7, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.226, Rules used = {4376, 2735, 2660, 618, 204, 2668, 31} \[ -\frac {2 (A c-a C) \tanh ^{-1}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2+c^2}}\right )}{c e \sqrt {a^2+c^2}}+\frac {B \log (a+c \sinh (d+e x))}{c e}+\frac {C x}{c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 204
Rule 618
Rule 2660
Rule 2668
Rule 2735
Rule 4376
Rubi steps
\begin {align*} \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{a+c \sinh (d+e x)} \, dx &=B \int \frac {\cosh (d+e x)}{a+c \sinh (d+e x)} \, dx+\int \frac {A+C \sinh (d+e x)}{a+c \sinh (d+e x)} \, dx\\ &=\frac {C x}{c}-\frac {(i (i A c-i a C)) \int \frac {1}{a+c \sinh (d+e x)} \, dx}{c}+\frac {B \operatorname {Subst}\left (\int \frac {1}{a+x} \, dx,x,c \sinh (d+e x)\right )}{c e}\\ &=\frac {C x}{c}+\frac {B \log (a+c \sinh (d+e x))}{c e}-\frac {(2 i (A c-a C)) \operatorname {Subst}\left (\int \frac {1}{a-2 i c x+a x^2} \, dx,x,\tan \left (\frac {1}{2} (i d+i e x)\right )\right )}{c e}\\ &=\frac {C x}{c}+\frac {B \log (a+c \sinh (d+e x))}{c e}+\frac {(4 i (A c-a C)) \operatorname {Subst}\left (\int \frac {1}{-4 \left (a^2+c^2\right )-x^2} \, dx,x,-2 i c+2 a \tan \left (\frac {1}{2} (i d+i e x)\right )\right )}{c e}\\ &=\frac {C x}{c}-\frac {2 (A c-a C) \tanh ^{-1}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2+c^2}}\right )}{c \sqrt {a^2+c^2} e}+\frac {B \log (a+c \sinh (d+e x))}{c e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.29, size = 85, normalized size = 1.05 \[ \frac {\frac {2 (A c-a C) \tan ^{-1}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {-a^2-c^2}}\right )}{\sqrt {-a^2-c^2}}+B \log (a+c \sinh (d+e x))+C (d+e x)}{c e} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.40, size = 249, normalized size = 3.07 \[ -\frac {{\left ({\left (B - C\right )} a^{2} + {\left (B - C\right )} c^{2}\right )} e x + {\left (C a - A c\right )} \sqrt {a^{2} + c^{2}} \log \left (\frac {c^{2} \cosh \left (e x + d\right )^{2} + c^{2} \sinh \left (e x + d\right )^{2} + 2 \, a c \cosh \left (e x + d\right ) + 2 \, a^{2} + c^{2} + 2 \, {\left (c^{2} \cosh \left (e x + d\right ) + a c\right )} \sinh \left (e x + d\right ) - 2 \, \sqrt {a^{2} + c^{2}} {\left (c \cosh \left (e x + d\right ) + c \sinh \left (e x + d\right ) + a\right )}}{c \cosh \left (e x + d\right )^{2} + c \sinh \left (e x + d\right )^{2} + 2 \, a \cosh \left (e x + d\right ) + 2 \, {\left (c \cosh \left (e x + d\right ) + a\right )} \sinh \left (e x + d\right ) - c}\right ) - {\left (B a^{2} + B c^{2}\right )} \log \left (\frac {2 \, {\left (c \sinh \left (e x + d\right ) + a\right )}}{\cosh \left (e x + d\right ) - \sinh \left (e x + d\right )}\right )}{{\left (a^{2} c + c^{3}\right )} e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.20, size = 131, normalized size = 1.62 \[ -{\left (\frac {{\left (x e + d\right )} {\left (B - C\right )}}{c} - \frac {B \log \left ({\left | c e^{\left (2 \, x e + 2 \, d\right )} + 2 \, a e^{\left (x e + d\right )} - c \right |}\right )}{c} + \frac {{\left (C a - A c\right )} \log \left (\frac {{\left | 2 \, c e^{\left (x e + d\right )} + 2 \, a - 2 \, \sqrt {a^{2} + c^{2}} \right |}}{{\left | 2 \, c e^{\left (x e + d\right )} + 2 \, a + 2 \, \sqrt {a^{2} + c^{2}} \right |}}\right )}{\sqrt {a^{2} + c^{2}} c}\right )} e^{\left (-1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.12, size = 213, normalized size = 2.63 \[ -\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-1\right ) B}{e c}-\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-1\right ) C}{e c}-\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )+1\right ) B}{e c}+\frac {\ln \left (\tanh \left (\frac {e x}{2}+\frac {d}{2}\right )+1\right ) C}{e c}+\frac {B \ln \left (a \left (\tanh ^{2}\left (\frac {e x}{2}+\frac {d}{2}\right )\right )-2 c \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-a \right )}{e c}+\frac {2 \arctanh \left (\frac {2 a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-2 c}{2 \sqrt {a^{2}+c^{2}}}\right ) A}{e \sqrt {a^{2}+c^{2}}}-\frac {2 \arctanh \left (\frac {2 a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-2 c}{2 \sqrt {a^{2}+c^{2}}}\right ) C a}{e c \sqrt {a^{2}+c^{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.44, size = 176, normalized size = 2.17 \[ -C {\left (\frac {a \log \left (\frac {c e^{\left (-e x - d\right )} - a - \sqrt {a^{2} + c^{2}}}{c e^{\left (-e x - d\right )} - a + \sqrt {a^{2} + c^{2}}}\right )}{\sqrt {a^{2} + c^{2}} c e} - \frac {e x + d}{c e}\right )} + \frac {A \log \left (\frac {c e^{\left (-e x - d\right )} - a - \sqrt {a^{2} + c^{2}}}{c e^{\left (-e x - d\right )} - a + \sqrt {a^{2} + c^{2}}}\right )}{\sqrt {a^{2} + c^{2}} e} + \frac {B \log \left (c \sinh \left (e x + d\right ) + a\right )}{c e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.85, size = 656, normalized size = 8.10 \[ \frac {C\,x}{c}-\frac {B\,x}{c}-\frac {2\,\mathrm {atan}\left (\frac {a\,\sqrt {-a^2\,c^2\,e^2-c^4\,e^2}\,\sqrt {A^2\,c^2-2\,A\,C\,a\,c+C^2\,a^2}}{-C\,e\,a^3\,c+A\,e\,a^2\,c^2-C\,e\,a\,c^3+A\,e\,c^4}-\frac {a^2\,c^2\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d\,\sqrt {-a^2\,c^2\,e^2-c^4\,e^2}\,\sqrt {A^2\,c^2-2\,A\,C\,a\,c+C^2\,a^2}}{-C\,e\,a^3\,c^4+A\,e\,a^2\,c^5-C\,e\,a\,c^6+A\,e\,c^7}+\frac {A\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d\,\sqrt {-a^2\,c^2\,e^2-c^4\,e^2}}{c\,e\,\sqrt {A^2\,c^2-2\,A\,C\,a\,c+C^2\,a^2}}-\frac {C\,a\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d\,\sqrt {-a^2\,c^2\,e^2-c^4\,e^2}}{c^2\,e\,\sqrt {A^2\,c^2-2\,A\,C\,a\,c+C^2\,a^2}}\right )\,\sqrt {A^2\,c^2-2\,A\,C\,a\,c+C^2\,a^2}}{\sqrt {-a^2\,c^2\,e^2-c^4\,e^2}}+\frac {B\,c^3\,e\,\ln \left (8\,A\,C\,a\,c^2-4\,C^2\,a^2\,c-4\,A^2\,c^3+8\,C^2\,a^3\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,A^2\,c^3\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}+8\,A^2\,a\,c^2\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,C^2\,a^2\,c\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}-16\,A\,C\,a^2\,c\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d-8\,A\,C\,a\,c^2\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}\right )}{a^2\,c^2\,e^2+c^4\,e^2}+\frac {B\,a^2\,c\,e\,\ln \left (8\,A\,C\,a\,c^2-4\,C^2\,a^2\,c-4\,A^2\,c^3+8\,C^2\,a^3\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,A^2\,c^3\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}+8\,A^2\,a\,c^2\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d+4\,C^2\,a^2\,c\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}-16\,A\,C\,a^2\,c\,{\mathrm {e}}^{e\,x}\,{\mathrm {e}}^d-8\,A\,C\,a\,c^2\,{\mathrm {e}}^{2\,d}\,{\mathrm {e}}^{2\,e\,x}\right )}{a^2\,c^2\,e^2+c^4\,e^2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 40.01, size = 1318, normalized size = 16.27 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________