3.2.77 \(\int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx\) [177]

3.2.77.1 Optimal result
3.2.77.2 Mathematica [A] (verified)
3.2.77.3 Rubi [A] (verified)
3.2.77.4 Maple [A] (verified)
3.2.77.5 Fricas [B] (verification not implemented)
3.2.77.6 Sympy [F]
3.2.77.7 Maxima [F(-2)]
3.2.77.8 Giac [B] (verification not implemented)
3.2.77.9 Mupad [B] (verification not implemented)

3.2.77.1 Optimal result

Integrand size = 13, antiderivative size = 159 \[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\frac {2 b^6 \text {arctanh}\left (\frac {\sqrt {a-b} \tanh \left (\frac {x}{2}\right )}{\sqrt {a+b}}\right )}{(a-b)^{7/2} (a+b)^{7/2}}+\frac {\left (15 b^5-a \left (8 a^4-26 a^2 b^2+33 b^4\right ) \cosh (x)\right ) \text {csch}(x)}{15 \left (a^2-b^2\right )^3}+\frac {\left (5 b^3+a \left (4 a^2-9 b^2\right ) \cosh (x)\right ) \text {csch}^3(x)}{15 \left (a^2-b^2\right )^2}+\frac {(b-a \cosh (x)) \text {csch}^5(x)}{5 \left (a^2-b^2\right )} \]

output
2*b^6*arctanh((a-b)^(1/2)*tanh(1/2*x)/(a+b)^(1/2))/(a-b)^(7/2)/(a+b)^(7/2) 
+1/15*(15*b^5-a*(8*a^4-26*a^2*b^2+33*b^4)*cosh(x))*csch(x)/(a^2-b^2)^3+1/1 
5*(5*b^3+a*(4*a^2-9*b^2)*cosh(x))*csch(x)^3/(a^2-b^2)^2+1/5*(b-a*cosh(x))* 
csch(x)^5/(a^2-b^2)
 
3.2.77.2 Mathematica [A] (verified)

Time = 1.32 (sec) , antiderivative size = 201, normalized size of antiderivative = 1.26 \[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\frac {1}{480} \left (\frac {960 b^6 \arctan \left (\frac {(a-b) \tanh \left (\frac {x}{2}\right )}{\sqrt {-a^2+b^2}}\right )}{\left (-a^2+b^2\right )^{7/2}}-\frac {2 \left (64 a^2+183 a b+149 b^2\right ) \coth \left (\frac {x}{2}\right )}{(a+b)^3}-\frac {8 (19 a-29 b) \text {csch}^3(x) \sinh ^4\left (\frac {x}{2}\right )}{(a-b)^2}-\frac {96 \text {csch}^5(x) \sinh ^6\left (\frac {x}{2}\right )}{a-b}+\frac {(19 a+29 b) \text {csch}^4\left (\frac {x}{2}\right ) \sinh (x)}{2 (a+b)^2}-\frac {3 \text {csch}^6\left (\frac {x}{2}\right ) \sinh (x)}{2 (a+b)}-\frac {2 \left (64 a^2-183 a b+149 b^2\right ) \tanh \left (\frac {x}{2}\right )}{(a-b)^3}\right ) \]

input
Integrate[Csch[x]^6/(a + b*Cosh[x]),x]
 
output
((960*b^6*ArcTan[((a - b)*Tanh[x/2])/Sqrt[-a^2 + b^2]])/(-a^2 + b^2)^(7/2) 
 - (2*(64*a^2 + 183*a*b + 149*b^2)*Coth[x/2])/(a + b)^3 - (8*(19*a - 29*b) 
*Csch[x]^3*Sinh[x/2]^4)/(a - b)^2 - (96*Csch[x]^5*Sinh[x/2]^6)/(a - b) + ( 
(19*a + 29*b)*Csch[x/2]^4*Sinh[x])/(2*(a + b)^2) - (3*Csch[x/2]^6*Sinh[x]) 
/(2*(a + b)) - (2*(64*a^2 - 183*a*b + 149*b^2)*Tanh[x/2])/(a - b)^3)/480
 
3.2.77.3 Rubi [A] (verified)

Time = 0.96 (sec) , antiderivative size = 200, normalized size of antiderivative = 1.26, number of steps used = 14, number of rules used = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 1.000, Rules used = {3042, 25, 3175, 25, 3042, 3345, 3042, 25, 3345, 27, 3042, 3138, 221}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int -\frac {1}{\cos \left (-\frac {\pi }{2}+i x\right )^6 \left (a-b \sin \left (-\frac {\pi }{2}+i x\right )\right )}dx\)

\(\Big \downarrow \) 25

\(\displaystyle -\int \frac {1}{\cos \left (i x-\frac {\pi }{2}\right )^6 \left (a-b \sin \left (i x-\frac {\pi }{2}\right )\right )}dx\)

\(\Big \downarrow \) 3175

\(\displaystyle \frac {\int -\frac {\left (4 a^2+4 b \cosh (x) a-5 b^2\right ) \text {csch}^4(x)}{a+b \cosh (x)}dx}{5 \left (a^2-b^2\right )}+\frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {\int \frac {\left (4 a^2+4 b \cosh (x) a-5 b^2\right ) \text {csch}^4(x)}{a+b \cosh (x)}dx}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {\int \frac {4 a^2-4 b \sin \left (i x-\frac {\pi }{2}\right ) a-5 b^2}{\cos \left (i x-\frac {\pi }{2}\right )^4 \left (a-b \sin \left (i x-\frac {\pi }{2}\right )\right )}dx}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 3345

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {-\frac {\int \frac {\left (8 a^4-18 b^2 a^2+2 b \left (4 a^2-9 b^2\right ) \cosh (x) a+15 b^4\right ) \text {csch}^2(x)}{a+b \cosh (x)}dx}{3 \left (a^2-b^2\right )}-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}-\frac {\int -\frac {8 a^4-18 b^2 a^2-2 b \left (4 a^2-9 b^2\right ) \sin \left (i x-\frac {\pi }{2}\right ) a+15 b^4}{\cos \left (i x-\frac {\pi }{2}\right )^2 \left (a-b \sin \left (i x-\frac {\pi }{2}\right )\right )}dx}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}+\frac {\int \frac {8 a^4-18 b^2 a^2-2 b \left (4 a^2-9 b^2\right ) \sin \left (i x-\frac {\pi }{2}\right ) a+15 b^4}{\cos \left (i x-\frac {\pi }{2}\right )^2 \left (a-b \sin \left (i x-\frac {\pi }{2}\right )\right )}dx}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 3345

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {\frac {-\frac {\int \frac {15 b^6}{a+b \cosh (x)}dx}{a^2-b^2}-\frac {\text {csch}(x) \left (15 b^5-a \left (8 a^4-26 a^2 b^2+33 b^4\right ) \cosh (x)\right )}{a^2-b^2}}{3 \left (a^2-b^2\right )}-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {\frac {-\frac {15 b^6 \int \frac {1}{a+b \cosh (x)}dx}{a^2-b^2}-\frac {\text {csch}(x) \left (15 b^5-a \left (8 a^4-26 a^2 b^2+33 b^4\right ) \cosh (x)\right )}{a^2-b^2}}{3 \left (a^2-b^2\right )}-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}+\frac {-\frac {\text {csch}(x) \left (15 b^5-a \left (8 a^4-26 a^2 b^2+33 b^4\right ) \cosh (x)\right )}{a^2-b^2}-\frac {15 b^6 \int \frac {1}{a+b \sin \left (i x+\frac {\pi }{2}\right )}dx}{a^2-b^2}}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 3138

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {\frac {-\frac {30 b^6 \int \frac {1}{-\left ((a-b) \tanh ^2\left (\frac {x}{2}\right )\right )+a+b}d\tanh \left (\frac {x}{2}\right )}{a^2-b^2}-\frac {\text {csch}(x) \left (15 b^5-a \left (8 a^4-26 a^2 b^2+33 b^4\right ) \cosh (x)\right )}{a^2-b^2}}{3 \left (a^2-b^2\right )}-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

\(\Big \downarrow \) 221

\(\displaystyle \frac {\text {csch}^5(x) (b-a \cosh (x))}{5 \left (a^2-b^2\right )}-\frac {\frac {-\frac {30 b^6 \text {arctanh}\left (\frac {\sqrt {a-b} \tanh \left (\frac {x}{2}\right )}{\sqrt {a+b}}\right )}{\sqrt {a-b} \sqrt {a+b} \left (a^2-b^2\right )}-\frac {\text {csch}(x) \left (15 b^5-a \left (8 a^4-26 a^2 b^2+33 b^4\right ) \cosh (x)\right )}{a^2-b^2}}{3 \left (a^2-b^2\right )}-\frac {\text {csch}^3(x) \left (a \left (4 a^2-9 b^2\right ) \cosh (x)+5 b^3\right )}{3 \left (a^2-b^2\right )}}{5 \left (a^2-b^2\right )}\)

input
Int[Csch[x]^6/(a + b*Cosh[x]),x]
 
output
((b - a*Cosh[x])*Csch[x]^5)/(5*(a^2 - b^2)) - (-1/3*((5*b^3 + a*(4*a^2 - 9 
*b^2)*Cosh[x])*Csch[x]^3)/(a^2 - b^2) + ((-30*b^6*ArcTanh[(Sqrt[a - b]*Tan 
h[x/2])/Sqrt[a + b]])/(Sqrt[a - b]*Sqrt[a + b]*(a^2 - b^2)) - ((15*b^5 - a 
*(8*a^4 - 26*a^2*b^2 + 33*b^4)*Cosh[x])*Csch[x])/(a^2 - b^2))/(3*(a^2 - b^ 
2)))/(5*(a^2 - b^2))
 

3.2.77.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 221
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-a/b, 2]/a)*ArcTanh[x 
/Rt[-a/b, 2]], x] /; FreeQ[{a, b}, x] && NegQ[a/b]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 3138
Int[((a_) + (b_.)*sin[Pi/2 + (c_.) + (d_.)*(x_)])^(-1), x_Symbol] :> With[{ 
e = FreeFactors[Tan[(c + d*x)/2], x]}, Simp[2*(e/d)   Subst[Int[1/(a + b + 
(a - b)*e^2*x^2), x], x, Tan[(c + d*x)/2]/e], x]] /; FreeQ[{a, b, c, d}, x] 
 && NeQ[a^2 - b^2, 0]
 

rule 3175
Int[(cos[(e_.) + (f_.)*(x_)]*(g_.))^(p_)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x 
_)])^(m_), x_Symbol] :> Simp[(g*Cos[e + f*x])^(p + 1)*(a + b*Sin[e + f*x])^ 
(m + 1)*((b - a*Sin[e + f*x])/(f*g*(a^2 - b^2)*(p + 1))), x] + Simp[1/(g^2* 
(a^2 - b^2)*(p + 1))   Int[(g*Cos[e + f*x])^(p + 2)*(a + b*Sin[e + f*x])^m* 
(a^2*(p + 2) - b^2*(m + p + 2) + a*b*(m + p + 3)*Sin[e + f*x]), x], x] /; F 
reeQ[{a, b, e, f, g, m}, x] && NeQ[a^2 - b^2, 0] && LtQ[p, -1] && IntegersQ 
[2*m, 2*p]
 

rule 3345
Int[(cos[(e_.) + (f_.)*(x_)]*(g_.))^(p_)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x 
_)])^(m_.)*((c_.) + (d_.)*sin[(e_.) + (f_.)*(x_)]), x_Symbol] :> Simp[(g*Co 
s[e + f*x])^(p + 1)*(a + b*Sin[e + f*x])^(m + 1)*((b*c - a*d - (a*c - b*d)* 
Sin[e + f*x])/(f*g*(a^2 - b^2)*(p + 1))), x] + Simp[1/(g^2*(a^2 - b^2)*(p + 
 1))   Int[(g*Cos[e + f*x])^(p + 2)*(a + b*Sin[e + f*x])^m*Simp[c*(a^2*(p + 
 2) - b^2*(m + p + 2)) + a*b*d*m + b*(a*c - b*d)*(m + p + 3)*Sin[e + f*x], 
x], x], x] /; FreeQ[{a, b, c, d, e, f, g, m}, x] && NeQ[a^2 - b^2, 0] && Lt 
Q[p, -1] && IntegerQ[2*m]
 
3.2.77.4 Maple [A] (verified)

Time = 18.16 (sec) , antiderivative size = 213, normalized size of antiderivative = 1.34

method result size
default \(-\frac {\frac {a^{2} \tanh \left (\frac {x}{2}\right )^{5}}{5}-\frac {2 a b \tanh \left (\frac {x}{2}\right )^{5}}{5}+\frac {b^{2} \tanh \left (\frac {x}{2}\right )^{5}}{5}-\frac {5 a^{2} \tanh \left (\frac {x}{2}\right )^{3}}{3}+4 a b \tanh \left (\frac {x}{2}\right )^{3}-\frac {7 b^{2} \tanh \left (\frac {x}{2}\right )^{3}}{3}+10 a^{2} \tanh \left (\frac {x}{2}\right )-28 a b \tanh \left (\frac {x}{2}\right )+22 b^{2} \tanh \left (\frac {x}{2}\right )}{32 \left (a -b \right )^{3}}-\frac {1}{160 \left (a +b \right ) \tanh \left (\frac {x}{2}\right )^{5}}-\frac {-5 a -7 b}{96 \left (a +b \right )^{2} \tanh \left (\frac {x}{2}\right )^{3}}-\frac {10 a^{2}+28 a b +22 b^{2}}{32 \left (a +b \right )^{3} \tanh \left (\frac {x}{2}\right )}+\frac {2 b^{6} \operatorname {arctanh}\left (\frac {\left (a -b \right ) \tanh \left (\frac {x}{2}\right )}{\sqrt {\left (a +b \right ) \left (a -b \right )}}\right )}{\left (a -b \right )^{3} \left (a +b \right )^{3} \sqrt {\left (a +b \right ) \left (a -b \right )}}\) \(213\)
risch \(-\frac {2 \left (-15 b^{5} {\mathrm e}^{9 x}+15 a \,b^{4} {\mathrm e}^{8 x}-20 a^{2} b^{3} {\mathrm e}^{7 x}+80 b^{5} {\mathrm e}^{7 x}+30 a^{3} b^{2} {\mathrm e}^{6 x}-90 a \,b^{4} {\mathrm e}^{6 x}-48 a^{4} b \,{\mathrm e}^{5 x}+136 a^{2} b^{3} {\mathrm e}^{5 x}-178 b^{5} {\mathrm e}^{5 x}+80 a^{5} {\mathrm e}^{4 x}-230 a^{3} b^{2} {\mathrm e}^{4 x}+240 a \,b^{4} {\mathrm e}^{4 x}-20 a^{2} b^{3} {\mathrm e}^{3 x}+80 b^{5} {\mathrm e}^{3 x}-40 a^{5} {\mathrm e}^{2 x}+130 a^{3} b^{2} {\mathrm e}^{2 x}-150 a \,b^{4} {\mathrm e}^{2 x}-15 b^{5} {\mathrm e}^{x}+8 a^{5}-26 a^{3} b^{2}+33 a \,b^{4}\right )}{15 \left (a^{4}-2 a^{2} b^{2}+b^{4}\right ) \left ({\mathrm e}^{2 x}-1\right )^{5} \left (a^{2}-b^{2}\right )}+\frac {b^{6} \ln \left ({\mathrm e}^{x}+\frac {a \sqrt {a^{2}-b^{2}}-a^{2}+b^{2}}{b \sqrt {a^{2}-b^{2}}}\right )}{\sqrt {a^{2}-b^{2}}\, \left (a +b \right )^{3} \left (a -b \right )^{3}}-\frac {b^{6} \ln \left ({\mathrm e}^{x}+\frac {a \sqrt {a^{2}-b^{2}}+a^{2}-b^{2}}{b \sqrt {a^{2}-b^{2}}}\right )}{\sqrt {a^{2}-b^{2}}\, \left (a +b \right )^{3} \left (a -b \right )^{3}}\) \(380\)

input
int(csch(x)^6/(a+b*cosh(x)),x,method=_RETURNVERBOSE)
 
output
-1/32/(a-b)^3*(1/5*a^2*tanh(1/2*x)^5-2/5*a*b*tanh(1/2*x)^5+1/5*b^2*tanh(1/ 
2*x)^5-5/3*a^2*tanh(1/2*x)^3+4*a*b*tanh(1/2*x)^3-7/3*b^2*tanh(1/2*x)^3+10* 
a^2*tanh(1/2*x)-28*a*b*tanh(1/2*x)+22*b^2*tanh(1/2*x))-1/160/(a+b)/tanh(1/ 
2*x)^5-1/96*(-5*a-7*b)/(a+b)^2/tanh(1/2*x)^3-1/32/(a+b)^3*(10*a^2+28*a*b+2 
2*b^2)/tanh(1/2*x)+2/(a-b)^3/(a+b)^3*b^6/((a+b)*(a-b))^(1/2)*arctanh((a-b) 
*tanh(1/2*x)/((a+b)*(a-b))^(1/2))
 
3.2.77.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 3156 vs. \(2 (144) = 288\).

Time = 0.33 (sec) , antiderivative size = 6381, normalized size of antiderivative = 40.13 \[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\text {Too large to display} \]

input
integrate(csch(x)^6/(a+b*cosh(x)),x, algorithm="fricas")
 
output
Too large to include
 
3.2.77.6 Sympy [F]

\[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\int \frac {\operatorname {csch}^{6}{\left (x \right )}}{a + b \cosh {\left (x \right )}}\, dx \]

input
integrate(csch(x)**6/(a+b*cosh(x)),x)
 
output
Integral(csch(x)**6/(a + b*cosh(x)), x)
 
3.2.77.7 Maxima [F(-2)]

Exception generated. \[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\text {Exception raised: ValueError} \]

input
integrate(csch(x)^6/(a+b*cosh(x)),x, algorithm="maxima")
 
output
Exception raised: ValueError >> Computation failed since Maxima requested 
additional constraints; using the 'assume' command before evaluation *may* 
 help (example of legal syntax is 'assume(4*a^2-4*b^2>0)', see `assume?` f 
or more de
 
3.2.77.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 303 vs. \(2 (144) = 288\).

Time = 0.27 (sec) , antiderivative size = 303, normalized size of antiderivative = 1.91 \[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\frac {2 \, b^{6} \arctan \left (\frac {b e^{x} + a}{\sqrt {-a^{2} + b^{2}}}\right )}{{\left (a^{6} - 3 \, a^{4} b^{2} + 3 \, a^{2} b^{4} - b^{6}\right )} \sqrt {-a^{2} + b^{2}}} + \frac {2 \, {\left (15 \, b^{5} e^{\left (9 \, x\right )} - 15 \, a b^{4} e^{\left (8 \, x\right )} + 20 \, a^{2} b^{3} e^{\left (7 \, x\right )} - 80 \, b^{5} e^{\left (7 \, x\right )} - 30 \, a^{3} b^{2} e^{\left (6 \, x\right )} + 90 \, a b^{4} e^{\left (6 \, x\right )} + 48 \, a^{4} b e^{\left (5 \, x\right )} - 136 \, a^{2} b^{3} e^{\left (5 \, x\right )} + 178 \, b^{5} e^{\left (5 \, x\right )} - 80 \, a^{5} e^{\left (4 \, x\right )} + 230 \, a^{3} b^{2} e^{\left (4 \, x\right )} - 240 \, a b^{4} e^{\left (4 \, x\right )} + 20 \, a^{2} b^{3} e^{\left (3 \, x\right )} - 80 \, b^{5} e^{\left (3 \, x\right )} + 40 \, a^{5} e^{\left (2 \, x\right )} - 130 \, a^{3} b^{2} e^{\left (2 \, x\right )} + 150 \, a b^{4} e^{\left (2 \, x\right )} + 15 \, b^{5} e^{x} - 8 \, a^{5} + 26 \, a^{3} b^{2} - 33 \, a b^{4}\right )}}{15 \, {\left (a^{6} - 3 \, a^{4} b^{2} + 3 \, a^{2} b^{4} - b^{6}\right )} {\left (e^{\left (2 \, x\right )} - 1\right )}^{5}} \]

input
integrate(csch(x)^6/(a+b*cosh(x)),x, algorithm="giac")
 
output
2*b^6*arctan((b*e^x + a)/sqrt(-a^2 + b^2))/((a^6 - 3*a^4*b^2 + 3*a^2*b^4 - 
 b^6)*sqrt(-a^2 + b^2)) + 2/15*(15*b^5*e^(9*x) - 15*a*b^4*e^(8*x) + 20*a^2 
*b^3*e^(7*x) - 80*b^5*e^(7*x) - 30*a^3*b^2*e^(6*x) + 90*a*b^4*e^(6*x) + 48 
*a^4*b*e^(5*x) - 136*a^2*b^3*e^(5*x) + 178*b^5*e^(5*x) - 80*a^5*e^(4*x) + 
230*a^3*b^2*e^(4*x) - 240*a*b^4*e^(4*x) + 20*a^2*b^3*e^(3*x) - 80*b^5*e^(3 
*x) + 40*a^5*e^(2*x) - 130*a^3*b^2*e^(2*x) + 150*a*b^4*e^(2*x) + 15*b^5*e^ 
x - 8*a^5 + 26*a^3*b^2 - 33*a*b^4)/((a^6 - 3*a^4*b^2 + 3*a^2*b^4 - b^6)*(e 
^(2*x) - 1)^5)
 
3.2.77.9 Mupad [B] (verification not implemented)

Time = 3.39 (sec) , antiderivative size = 1031, normalized size of antiderivative = 6.48 \[ \int \frac {\text {csch}^6(x)}{a+b \cosh (x)} \, dx=\frac {\frac {16\,\left (a\,b^2-a^3\right )}{{\left (a^2-b^2\right )}^2}+\frac {64\,{\mathrm {e}}^x\,\left (a^2\,b-b^3\right )}{5\,{\left (a^2-b^2\right )}^2}}{6\,{\mathrm {e}}^{4\,x}-4\,{\mathrm {e}}^{2\,x}-4\,{\mathrm {e}}^{6\,x}+{\mathrm {e}}^{8\,x}+1}-\frac {\frac {2\,a\,b^4}{{\left (a^2-b^2\right )}^3}-\frac {2\,b^5\,{\mathrm {e}}^x}{{\left (a^2-b^2\right )}^3}}{{\mathrm {e}}^{2\,x}-1}-\frac {\frac {32\,a}{5\,\left (a^2-b^2\right )}-\frac {32\,b\,{\mathrm {e}}^x}{5\,\left (a^2-b^2\right )}}{5\,{\mathrm {e}}^{2\,x}-10\,{\mathrm {e}}^{4\,x}+10\,{\mathrm {e}}^{6\,x}-5\,{\mathrm {e}}^{8\,x}+{\mathrm {e}}^{10\,x}-1}+\frac {\frac {8\,\left (3\,a\,b^2-4\,a^3\right )}{3\,{\left (a^2-b^2\right )}^2}+\frac {8\,{\mathrm {e}}^x\,\left (12\,a^2\,b-7\,b^3\right )}{15\,{\left (a^2-b^2\right )}^2}}{3\,{\mathrm {e}}^{2\,x}-3\,{\mathrm {e}}^{4\,x}+{\mathrm {e}}^{6\,x}-1}+\frac {\frac {4\,\left (a\,b^4-a^3\,b^2\right )}{{\left (a^2-b^2\right )}^3}-\frac {8\,{\mathrm {e}}^x\,\left (b^5-a^2\,b^3\right )}{3\,{\left (a^2-b^2\right )}^3}}{{\mathrm {e}}^{4\,x}-2\,{\mathrm {e}}^{2\,x}+1}-\frac {2\,\mathrm {atan}\left (\left ({\mathrm {e}}^x\,\left (\frac {2\,b^4}{{\left (a^2-b^2\right )}^3\,\sqrt {b^{12}}\,\left (a^6-3\,a^4\,b^2+3\,a^2\,b^4-b^6\right )}+\frac {2\,a\,\left (a^7\,\sqrt {b^{12}}+3\,a^3\,b^4\,\sqrt {b^{12}}-3\,a^5\,b^2\,\sqrt {b^{12}}-a\,b^6\,\sqrt {b^{12}}\right )}{b^8\,\sqrt {-{\left (a^2-b^2\right )}^7}\,\left (a^6-3\,a^4\,b^2+3\,a^2\,b^4-b^6\right )\,\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}}\right )-\frac {2\,a\,\left (b^7\,\sqrt {b^{12}}-3\,a^2\,b^5\,\sqrt {b^{12}}+3\,a^4\,b^3\,\sqrt {b^{12}}-a^6\,b\,\sqrt {b^{12}}\right )}{b^8\,\sqrt {-{\left (a^2-b^2\right )}^7}\,\left (a^6-3\,a^4\,b^2+3\,a^2\,b^4-b^6\right )\,\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}}\right )\,\left (\frac {b^7\,\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}}{2}-\frac {a^6\,b\,\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}}{2}-\frac {3\,a^2\,b^5\,\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}}{2}+\frac {3\,a^4\,b^3\,\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}}{2}\right )\right )\,\sqrt {b^{12}}}{\sqrt {-a^{14}+7\,a^{12}\,b^2-21\,a^{10}\,b^4+35\,a^8\,b^6-35\,a^6\,b^8+21\,a^4\,b^{10}-7\,a^2\,b^{12}+b^{14}}} \]

input
int(1/(sinh(x)^6*(a + b*cosh(x))),x)
 
output
((16*(a*b^2 - a^3))/(a^2 - b^2)^2 + (64*exp(x)*(a^2*b - b^3))/(5*(a^2 - b^ 
2)^2))/(6*exp(4*x) - 4*exp(2*x) - 4*exp(6*x) + exp(8*x) + 1) - ((2*a*b^4)/ 
(a^2 - b^2)^3 - (2*b^5*exp(x))/(a^2 - b^2)^3)/(exp(2*x) - 1) - ((32*a)/(5* 
(a^2 - b^2)) - (32*b*exp(x))/(5*(a^2 - b^2)))/(5*exp(2*x) - 10*exp(4*x) + 
10*exp(6*x) - 5*exp(8*x) + exp(10*x) - 1) + ((8*(3*a*b^2 - 4*a^3))/(3*(a^2 
 - b^2)^2) + (8*exp(x)*(12*a^2*b - 7*b^3))/(15*(a^2 - b^2)^2))/(3*exp(2*x) 
 - 3*exp(4*x) + exp(6*x) - 1) + ((4*(a*b^4 - a^3*b^2))/(a^2 - b^2)^3 - (8* 
exp(x)*(b^5 - a^2*b^3))/(3*(a^2 - b^2)^3))/(exp(4*x) - 2*exp(2*x) + 1) - ( 
2*atan((exp(x)*((2*b^4)/((a^2 - b^2)^3*(b^12)^(1/2)*(a^6 - b^6 + 3*a^2*b^4 
 - 3*a^4*b^2)) + (2*a*(a^7*(b^12)^(1/2) + 3*a^3*b^4*(b^12)^(1/2) - 3*a^5*b 
^2*(b^12)^(1/2) - a*b^6*(b^12)^(1/2)))/(b^8*(-(a^2 - b^2)^7)^(1/2)*(a^6 - 
b^6 + 3*a^2*b^4 - 3*a^4*b^2)*(b^14 - a^14 - 7*a^2*b^12 + 21*a^4*b^10 - 35* 
a^6*b^8 + 35*a^8*b^6 - 21*a^10*b^4 + 7*a^12*b^2)^(1/2))) - (2*a*(b^7*(b^12 
)^(1/2) - 3*a^2*b^5*(b^12)^(1/2) + 3*a^4*b^3*(b^12)^(1/2) - a^6*b*(b^12)^( 
1/2)))/(b^8*(-(a^2 - b^2)^7)^(1/2)*(a^6 - b^6 + 3*a^2*b^4 - 3*a^4*b^2)*(b^ 
14 - a^14 - 7*a^2*b^12 + 21*a^4*b^10 - 35*a^6*b^8 + 35*a^8*b^6 - 21*a^10*b 
^4 + 7*a^12*b^2)^(1/2)))*((b^7*(b^14 - a^14 - 7*a^2*b^12 + 21*a^4*b^10 - 3 
5*a^6*b^8 + 35*a^8*b^6 - 21*a^10*b^4 + 7*a^12*b^2)^(1/2))/2 - (a^6*b*(b^14 
 - a^14 - 7*a^2*b^12 + 21*a^4*b^10 - 35*a^6*b^8 + 35*a^8*b^6 - 21*a^10*b^4 
 + 7*a^12*b^2)^(1/2))/2 - (3*a^2*b^5*(b^14 - a^14 - 7*a^2*b^12 + 21*a^4...