Optimal. Leaf size=123 \[ \frac {A \text {ArcTan}\left (\frac {c \cosh (x)+b \sinh (x)}{\sqrt {b^2-c^2}}\right )}{2 \left (b^2-c^2\right )^{3/2}}-\frac {b C-A c \cosh (x)-A b \sinh (x)}{2 \left (b^2-c^2\right ) (b \cosh (x)+c \sinh (x))^2}-\frac {c^2 C \cosh (x)+b c C \sinh (x)}{\left (b^2-c^2\right )^2 (b \cosh (x)+c \sinh (x))} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, antiderivative size = 123, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {3236, 3232,
3153, 212} \begin {gather*} \frac {A \text {ArcTan}\left (\frac {b \sinh (x)+c \cosh (x)}{\sqrt {b^2-c^2}}\right )}{2 \left (b^2-c^2\right )^{3/2}}-\frac {-A b \sinh (x)-A c \cosh (x)+b C}{2 \left (b^2-c^2\right ) (b \cosh (x)+c \sinh (x))^2}-\frac {b c C \sinh (x)+c^2 C \cosh (x)}{\left (b^2-c^2\right )^2 (b \cosh (x)+c \sinh (x))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 3153
Rule 3232
Rule 3236
Rubi steps
\begin {align*} \int \frac {A+C \sinh (x)}{(b \cosh (x)+c \sinh (x))^3} \, dx &=-\frac {b C-A c \cosh (x)-A b \sinh (x)}{2 \left (b^2-c^2\right ) (b \cosh (x)+c \sinh (x))^2}+\frac {\int \frac {-2 c C+A b \cosh (x)+A c \sinh (x)}{(b \cosh (x)+c \sinh (x))^2} \, dx}{2 \left (b^2-c^2\right )}\\ &=-\frac {b C-A c \cosh (x)-A b \sinh (x)}{2 \left (b^2-c^2\right ) (b \cosh (x)+c \sinh (x))^2}-\frac {c^2 C \cosh (x)+b c C \sinh (x)}{\left (b^2-c^2\right )^2 (b \cosh (x)+c \sinh (x))}+\frac {A \int \frac {1}{b \cosh (x)+c \sinh (x)} \, dx}{2 \left (b^2-c^2\right )}\\ &=-\frac {b C-A c \cosh (x)-A b \sinh (x)}{2 \left (b^2-c^2\right ) (b \cosh (x)+c \sinh (x))^2}-\frac {c^2 C \cosh (x)+b c C \sinh (x)}{\left (b^2-c^2\right )^2 (b \cosh (x)+c \sinh (x))}+\frac {(i A) \text {Subst}\left (\int \frac {1}{b^2-c^2-x^2} \, dx,x,-i c \cosh (x)-i b \sinh (x)\right )}{2 \left (b^2-c^2\right )}\\ &=\frac {A \tan ^{-1}\left (\frac {c \cosh (x)+b \sinh (x)}{\sqrt {b^2-c^2}}\right )}{2 \left (b^2-c^2\right )^{3/2}}-\frac {b C-A c \cosh (x)-A b \sinh (x)}{2 \left (b^2-c^2\right ) (b \cosh (x)+c \sinh (x))^2}-\frac {c^2 C \cosh (x)+b c C \sinh (x)}{\left (b^2-c^2\right )^2 (b \cosh (x)+c \sinh (x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.83, size = 134, normalized size = 1.09 \begin {gather*} \frac {1}{2} \left (\frac {2 A \text {ArcTan}\left (\frac {c+b \tanh \left (\frac {x}{2}\right )}{\sqrt {b-c} \sqrt {b+c}}\right )}{(b-c)^{3/2} (b+c)^{3/2}}+\frac {-b^2 C+A \left (b^2-c^2\right ) \sinh (x)}{b (b-c) (b+c) (b \cosh (x)+c \sinh (x))^2}+\frac {c (A-2 C \sinh (x))}{b (b-c) (b+c) (b \cosh (x)+c \sinh (x))}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.67, size = 187, normalized size = 1.52
method | result | size |
default | \(\frac {-\frac {A \left (b^{2}-2 c^{2}\right ) \left (\tanh ^{3}\left (\frac {x}{2}\right )\right )}{\left (b^{2}-c^{2}\right ) b}+\frac {\left (A \,b^{2} c +2 A \,c^{3}+2 C \,b^{3}-2 C b \,c^{2}\right ) \left (\tanh ^{2}\left (\frac {x}{2}\right )\right )}{\left (b^{2}-c^{2}\right ) b^{2}}+\frac {A \left (b^{2}+2 c^{2}\right ) \tanh \left (\frac {x}{2}\right )}{\left (b^{2}-c^{2}\right ) b}+\frac {2 A c}{2 b^{2}-2 c^{2}}}{\left (b \left (\tanh ^{2}\left (\frac {x}{2}\right )\right )+2 c \tanh \left (\frac {x}{2}\right )+b \right )^{2}}+\frac {A \arctan \left (\frac {2 b \tanh \left (\frac {x}{2}\right )+2 c}{2 \sqrt {b^{2}-c^{2}}}\right )}{\left (b^{2}-c^{2}\right )^{\frac {3}{2}}}\) | \(187\) |
risch | \(\frac {A \,b^{2} {\mathrm e}^{3 x}+2 A b c \,{\mathrm e}^{3 x}+A \,c^{2} {\mathrm e}^{3 x}-2 C \,b^{2} {\mathrm e}^{2 x}+2 C \,c^{2} {\mathrm e}^{2 x}-A \,b^{2} {\mathrm e}^{x}+A \,c^{2} {\mathrm e}^{x}+2 C b c -2 C \,c^{2}}{\left (b \,{\mathrm e}^{2 x}+{\mathrm e}^{2 x} c +b -c \right )^{2} \left (b -c \right ) \left (b^{2}+2 b c +c^{2}\right )}-\frac {A \ln \left ({\mathrm e}^{x}-\frac {b -c}{\sqrt {-b^{2}+c^{2}}}\right )}{2 \sqrt {-b^{2}+c^{2}}\, \left (b +c \right ) \left (b -c \right )}+\frac {A \ln \left ({\mathrm e}^{x}+\frac {b -c}{\sqrt {-b^{2}+c^{2}}}\right )}{2 \sqrt {-b^{2}+c^{2}}\, \left (b +c \right ) \left (b -c \right )}\) | \(211\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \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. 899 vs.
\(2 (114) = 228\).
time = 0.44, size = 1855, normalized size = 15.08 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.41, size = 152, normalized size = 1.24 \begin {gather*} \frac {A \arctan \left (\frac {b e^{x} + c e^{x}}{\sqrt {b^{2} - c^{2}}}\right )}{{\left (b^{2} - c^{2}\right )}^{\frac {3}{2}}} + \frac {A b^{2} e^{\left (3 \, x\right )} + 2 \, A b c e^{\left (3 \, x\right )} + A c^{2} e^{\left (3 \, x\right )} - 2 \, C b^{2} e^{\left (2 \, x\right )} + 2 \, C c^{2} e^{\left (2 \, x\right )} - A b^{2} e^{x} + A c^{2} e^{x} + 2 \, C b c - 2 \, C c^{2}}{{\left (b^{3} + b^{2} c - b c^{2} - c^{3}\right )} {\left (b e^{\left (2 \, x\right )} + c e^{\left (2 \, x\right )} + b - c\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.69, size = 217, normalized size = 1.76 \begin {gather*} \frac {\mathrm {atan}\left (\frac {A\,{\mathrm {e}}^x\,\sqrt {b^6-3\,b^4\,c^2+3\,b^2\,c^4-c^6}}{b^3\,\sqrt {A^2}+c^3\,\sqrt {A^2}-b\,c^2\,\sqrt {A^2}-b^2\,c\,\sqrt {A^2}}\right )\,\sqrt {A^2}}{\sqrt {b^6-3\,b^4\,c^2+3\,b^2\,c^4-c^6}}-\frac {\frac {C}{{\left (b+c\right )}^2}-\frac {A\,{\mathrm {e}}^x}{\left (b+c\right )\,\left (b-c\right )}}{b-c+{\mathrm {e}}^{2\,x}\,\left (b+c\right )}-\frac {\frac {2\,A\,{\mathrm {e}}^x}{b+c}-\frac {C}{b+c}+\frac {C\,{\mathrm {e}}^{2\,x}}{b+c}}{{\mathrm {e}}^{4\,x}\,{\left (b+c\right )}^2+{\left (b-c\right )}^2+2\,{\mathrm {e}}^{2\,x}\,\left (b+c\right )\,\left (b-c\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________