Optimal. Leaf size=113 \[ -\frac {a \left (a^2+2 b^2\right ) \log (\tanh (x))}{\left (a^2+b^2\right )^2}-\frac {b \tan ^{-1}(\sinh (x))}{2 \left (a^2+b^2\right )}-\frac {\tanh ^2(x) (a-b \text {csch}(x))}{2 \left (a^2+b^2\right )}+\frac {b^4 \log (a+b \text {csch}(x))}{a \left (a^2+b^2\right )^2}-\frac {b^3 \tan ^{-1}(\sinh (x))}{\left (a^2+b^2\right )^2}+\frac {\log (\sinh (x))}{a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16, antiderivative size = 113, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.462, Rules used = {3885, 894, 639, 203, 635, 260} \[ -\frac {a \left (a^2+2 b^2\right ) \log (\tanh (x))}{\left (a^2+b^2\right )^2}-\frac {b^3 \tan ^{-1}(\sinh (x))}{\left (a^2+b^2\right )^2}-\frac {b \tan ^{-1}(\sinh (x))}{2 \left (a^2+b^2\right )}+\frac {b^4 \log (a+b \text {csch}(x))}{a \left (a^2+b^2\right )^2}-\frac {\tanh ^2(x) (a-b \text {csch}(x))}{2 \left (a^2+b^2\right )}+\frac {\log (\sinh (x))}{a} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 203
Rule 260
Rule 635
Rule 639
Rule 894
Rule 3885
Rubi steps
\begin {align*} \int \frac {\tanh ^3(x)}{a+b \text {csch}(x)} \, dx &=-\left (b^4 \operatorname {Subst}\left (\int \frac {1}{x (a+x) \left (-b^2-x^2\right )^2} \, dx,x,b \text {csch}(x)\right )\right )\\ &=-\left (b^4 \operatorname {Subst}\left (\int \left (\frac {1}{a b^4 x}-\frac {1}{a \left (a^2+b^2\right )^2 (a+x)}+\frac {-b^2-a x}{b^2 \left (a^2+b^2\right ) \left (b^2+x^2\right )^2}+\frac {-b^4-a \left (a^2+2 b^2\right ) x}{b^4 \left (a^2+b^2\right )^2 \left (b^2+x^2\right )}\right ) \, dx,x,b \text {csch}(x)\right )\right )\\ &=\frac {b^4 \log (a+b \text {csch}(x))}{a \left (a^2+b^2\right )^2}+\frac {\log (\sinh (x))}{a}-\frac {\operatorname {Subst}\left (\int \frac {-b^4-a \left (a^2+2 b^2\right ) x}{b^2+x^2} \, dx,x,b \text {csch}(x)\right )}{\left (a^2+b^2\right )^2}-\frac {b^2 \operatorname {Subst}\left (\int \frac {-b^2-a x}{\left (b^2+x^2\right )^2} \, dx,x,b \text {csch}(x)\right )}{a^2+b^2}\\ &=\frac {b^4 \log (a+b \text {csch}(x))}{a \left (a^2+b^2\right )^2}+\frac {\log (\sinh (x))}{a}-\frac {(a-b \text {csch}(x)) \tanh ^2(x)}{2 \left (a^2+b^2\right )}+\frac {b^4 \operatorname {Subst}\left (\int \frac {1}{b^2+x^2} \, dx,x,b \text {csch}(x)\right )}{\left (a^2+b^2\right )^2}+\frac {b^2 \operatorname {Subst}\left (\int \frac {1}{b^2+x^2} \, dx,x,b \text {csch}(x)\right )}{2 \left (a^2+b^2\right )}+\frac {\left (a \left (a^2+2 b^2\right )\right ) \operatorname {Subst}\left (\int \frac {x}{b^2+x^2} \, dx,x,b \text {csch}(x)\right )}{\left (a^2+b^2\right )^2}\\ &=-\frac {b^3 \tan ^{-1}(\sinh (x))}{\left (a^2+b^2\right )^2}-\frac {b \tan ^{-1}(\sinh (x))}{2 \left (a^2+b^2\right )}+\frac {b^4 \log (a+b \text {csch}(x))}{a \left (a^2+b^2\right )^2}+\frac {\log (\sinh (x))}{a}-\frac {a \left (a^2+2 b^2\right ) \log (\tanh (x))}{\left (a^2+b^2\right )^2}-\frac {(a-b \text {csch}(x)) \tanh ^2(x)}{2 \left (a^2+b^2\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.20, size = 191, normalized size = 1.69 \[ \frac {a^4 \log (-\sinh (x)+i)+a^4 \log (\sinh (x)+i)+i a^3 b \log (-\sinh (x)+i)-i a^3 b \log (\sinh (x)+i)+a^2 \left (a^2+b^2\right ) \text {sech}^2(x)+2 a^2 b^2 \log (-\sinh (x)+i)+2 a^2 b^2 \log (\sinh (x)+i)+a b \left (a^2+b^2\right ) \tan ^{-1}(\sinh (x))+a b \left (a^2+b^2\right ) \tanh (x) \text {sech}(x)+2 b^4 \log (a \sinh (x)+b)+2 i a b^3 \log (-\sinh (x)+i)-2 i a b^3 \log (\sinh (x)+i)}{2 a \left (a^2+b^2\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.87, size = 965, normalized size = 8.54 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.13, size = 234, normalized size = 2.07 \[ \frac {b^{4} \log \left ({\left | -a {\left (e^{\left (-x\right )} - e^{x}\right )} + 2 \, b \right |}\right )}{a^{5} + 2 \, a^{3} b^{2} + a b^{4}} - \frac {{\left (\pi + 2 \, \arctan \left (\frac {1}{2} \, {\left (e^{\left (2 \, x\right )} - 1\right )} e^{\left (-x\right )}\right )\right )} {\left (a^{2} b + 3 \, b^{3}\right )}}{4 \, {\left (a^{4} + 2 \, a^{2} b^{2} + b^{4}\right )}} + \frac {{\left (a^{3} + 2 \, a b^{2}\right )} \log \left ({\left (e^{\left (-x\right )} - e^{x}\right )}^{2} + 4\right )}{2 \, {\left (a^{4} + 2 \, a^{2} b^{2} + b^{4}\right )}} - \frac {a^{3} {\left (e^{\left (-x\right )} - e^{x}\right )}^{2} + 2 \, a b^{2} {\left (e^{\left (-x\right )} - e^{x}\right )}^{2} + 2 \, a^{2} b {\left (e^{\left (-x\right )} - e^{x}\right )} + 2 \, b^{3} {\left (e^{\left (-x\right )} - e^{x}\right )} + 4 \, a b^{2}}{2 \, {\left (a^{4} + 2 \, a^{2} b^{2} + b^{4}\right )} {\left ({\left (e^{\left (-x\right )} - e^{x}\right )}^{2} + 4\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.19, size = 324, normalized size = 2.87 \[ -\frac {\ln \left (\tanh \left (\frac {x}{2}\right )-1\right )}{a}-\frac {\ln \left (\tanh \left (\frac {x}{2}\right )+1\right )}{a}+\frac {b^{4} \ln \left (\left (\tanh ^{2}\left (\frac {x}{2}\right )\right ) b -2 a \tanh \left (\frac {x}{2}\right )-b \right )}{a \left (a^{2}+b^{2}\right )^{2}}-\frac {\left (\tanh ^{3}\left (\frac {x}{2}\right )\right ) a^{2} b}{\left (a^{2}+b^{2}\right )^{2} \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right )^{2}}-\frac {\left (\tanh ^{3}\left (\frac {x}{2}\right )\right ) b^{3}}{\left (a^{2}+b^{2}\right )^{2} \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right )^{2}}-\frac {2 \left (\tanh ^{2}\left (\frac {x}{2}\right )\right ) a^{3}}{\left (a^{2}+b^{2}\right )^{2} \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right )^{2}}-\frac {2 \left (\tanh ^{2}\left (\frac {x}{2}\right )\right ) a \,b^{2}}{\left (a^{2}+b^{2}\right )^{2} \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right )^{2}}+\frac {\tanh \left (\frac {x}{2}\right ) a^{2} b}{\left (a^{2}+b^{2}\right )^{2} \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right )^{2}}+\frac {\tanh \left (\frac {x}{2}\right ) b^{3}}{\left (a^{2}+b^{2}\right )^{2} \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right )^{2}}+\frac {\ln \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right ) a^{3}}{\left (a^{2}+b^{2}\right )^{2}}+\frac {2 \ln \left (\tanh ^{2}\left (\frac {x}{2}\right )+1\right ) a \,b^{2}}{\left (a^{2}+b^{2}\right )^{2}}-\frac {3 \arctan \left (\tanh \left (\frac {x}{2}\right )\right ) b^{3}}{\left (a^{2}+b^{2}\right )^{2}}-\frac {\arctan \left (\tanh \left (\frac {x}{2}\right )\right ) a^{2} b}{\left (a^{2}+b^{2}\right )^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.42, size = 172, normalized size = 1.52 \[ \frac {b^{4} \log \left (-2 \, b e^{\left (-x\right )} + a e^{\left (-2 \, x\right )} - a\right )}{a^{5} + 2 \, a^{3} b^{2} + a b^{4}} + \frac {{\left (a^{2} b + 3 \, b^{3}\right )} \arctan \left (e^{\left (-x\right )}\right )}{a^{4} + 2 \, a^{2} b^{2} + b^{4}} + \frac {{\left (a^{3} + 2 \, a b^{2}\right )} \log \left (e^{\left (-2 \, x\right )} + 1\right )}{a^{4} + 2 \, a^{2} b^{2} + b^{4}} + \frac {b e^{\left (-x\right )} + 2 \, a e^{\left (-2 \, x\right )} - b e^{\left (-3 \, x\right )}}{a^{2} + b^{2} + 2 \, {\left (a^{2} + b^{2}\right )} e^{\left (-2 \, x\right )} + {\left (a^{2} + b^{2}\right )} e^{\left (-4 \, x\right )}} + \frac {x}{a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.01, size = 335, normalized size = 2.96 \[ \frac {\frac {{\mathrm {e}}^x\,\left (a^2\,b+b^3\right )}{{\left (a^2+b^2\right )}^2}+\frac {2\,\left (a^4+a^2\,b^2\right )}{a\,{\left (a^2+b^2\right )}^2}}{{\mathrm {e}}^{2\,x}+1}-\frac {\frac {2\,a}{a^2+b^2}+\frac {2\,b\,{\mathrm {e}}^x}{a^2+b^2}}{2\,{\mathrm {e}}^{2\,x}+{\mathrm {e}}^{4\,x}+1}-\frac {x}{a}+\frac {b^4\,\ln \left (4\,a^9\,{\mathrm {e}}^{2\,x}-4\,a\,b^8-4\,a^9+7\,a^3\,b^6-14\,a^5\,b^4-17\,a^7\,b^2+8\,b^9\,{\mathrm {e}}^x-7\,a^3\,b^6\,{\mathrm {e}}^{2\,x}+14\,a^5\,b^4\,{\mathrm {e}}^{2\,x}+17\,a^7\,b^2\,{\mathrm {e}}^{2\,x}+8\,a^8\,b\,{\mathrm {e}}^x+4\,a\,b^8\,{\mathrm {e}}^{2\,x}-14\,a^2\,b^7\,{\mathrm {e}}^x+28\,a^4\,b^5\,{\mathrm {e}}^x+34\,a^6\,b^3\,{\mathrm {e}}^x\right )}{a^5+2\,a^3\,b^2+a\,b^4}+\frac {\ln \left (1+{\mathrm {e}}^x\,1{}\mathrm {i}\right )\,\left (3\,b+a\,2{}\mathrm {i}\right )}{2\,\left (a^2\,1{}\mathrm {i}+2\,a\,b-b^2\,1{}\mathrm {i}\right )}+\frac {\ln \left ({\mathrm {e}}^x+1{}\mathrm {i}\right )\,\left (2\,a+b\,3{}\mathrm {i}\right )}{2\,\left (a^2+a\,b\,2{}\mathrm {i}-b^2\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\tanh ^{3}{\relax (x )}}{a + b \operatorname {csch}{\relax (x )}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________