4.8 Test file Number [173] 6-Hyperbolic-functions/6.3-Hyperbolic-tangent/6.3.7-d-hyper-^m-a+b-c-tanh-^n-^p

4.8.1 Mathematica

Integral number [74] sinh3(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.483965 (sec), size = 826 ,normalized size = 25.81 cosh(3(c+dx))a3+27bsinh(c+dx)a2bsinh(3(c+dx))a29(a2+3b2)cosh(c+dx)ab2cosh(3(c+dx))a2bRootSum[a#16+b#16+3a#143b#14+3a#12+3b#12+ab&,3a2c#14+3b2c#143abc#14+3a2dx#14+3b2dx#143abdx#14+6a2log(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)#14+6b2log(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)#146ablog(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)#14+2a2c#122b2c#12+2a2dx#122b2dx#12+4a2log(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)#124b2log(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)#12+3a2c+3b2c+3abc+3a2dx+3b2dx+3abdx+6a2log(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)+6b2log(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)+6ablog(#1cosh(12(c+dx))cosh(12(c+dx))sinh(12(c+dx))sinh(12(c+dx))#1)a#15+b#15+2a#132b#13+a#1+b#1&]a+9b3sinh(c+dx)+b3sinh(3(c+dx))12(ab)2(a+b)2d

[In]

Integrate[Sinh[c + d*x]^3/(a + b*Tanh[c + d*x]^3),x]

[Out]

(-9*a*(a^2 + 3*b^2)*Cosh[c + d*x] + a^3*Cosh[3*(c + d*x)] - a*b^2*Cosh[3*(c + d*x)] - 2*a*b*RootSum[a - b + 3*
a*#1^2 + 3*b*#1^2 + 3*a*#1^4 - 3*b*#1^4 + a*#1^6 + b*#1^6 & , (3*a^2*c + 3*a*b*c + 3*b^2*c + 3*a^2*d*x + 3*a*b
*d*x + 3*b^2*d*x + 6*a^2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]
*#1] + 6*a*b*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1] + 6*b^2
*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1] + 2*a^2*c*#1^2 - 2*
b^2*c*#1^2 + 2*a^2*d*x*#1^2 - 2*b^2*d*x*#1^2 + 4*a^2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*
x)/2]*#1 - Sinh[(c + d*x)/2]*#1]*#1^2 - 4*b^2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#
1 - Sinh[(c + d*x)/2]*#1]*#1^2 + 3*a^2*c*#1^4 - 3*a*b*c*#1^4 + 3*b^2*c*#1^4 + 3*a^2*d*x*#1^4 - 3*a*b*d*x*#1^4
+ 3*b^2*d*x*#1^4 + 6*a^2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]
*#1]*#1^4 - 6*a*b*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1]*#1
^4 + 6*b^2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1]*#1^4)/(a*
#1 + b*#1 + 2*a*#1^3 - 2*b*#1^3 + a*#1^5 + b*#1^5) & ] + 27*a^2*b*Sinh[c + d*x] + 9*b^3*Sinh[c + d*x] - a^2*b*
Sinh[3*(c + d*x)] + b^3*Sinh[3*(c + d*x)])/(12*(a - b)^2*(a + b)^2*d)

Integral number [76] sinh(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.226157 (sec), size = 409 ,normalized size = 13.63 bRootSum[#16a+3#14a+3#12a+#16b3#14b+3#12b+ab&,4#14alog(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))+2#14ac+2#14adx2#14blog(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))#14bc#14bdx+4alog(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))+2blog(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))+2ac+2adx+bc+bdx#15a+2#13a+#15b2#13b+#1a+#1b&]+6acosh(c+dx)6bsinh(c+dx)6d(ab)(a+b)

[In]

Integrate[Sinh[c + d*x]/(a + b*Tanh[c + d*x]^3),x]

[Out]

(6*a*Cosh[c + d*x] + b*RootSum[a - b + 3*a*#1^2 + 3*b*#1^2 + 3*a*#1^4 - 3*b*#1^4 + a*#1^6 + b*#1^6 & , (2*a*c
+ b*c + 2*a*d*x + b*d*x + 4*a*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*
x)/2]*#1] + 2*b*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1] + 2*
a*c*#1^4 - b*c*#1^4 + 2*a*d*x*#1^4 - b*d*x*#1^4 + 4*a*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d
*x)/2]*#1 - Sinh[(c + d*x)/2]*#1]*#1^4 - 2*b*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1
 - Sinh[(c + d*x)/2]*#1]*#1^4)/(a*#1 + b*#1 + 2*a*#1^3 - 2*b*#1^3 + a*#1^5 + b*#1^5) & ] - 6*b*Sinh[c + d*x])/
(6*(a - b)*(a + b)*d)

Integral number [77] csch(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.158439 (sec), size = 319 ,normalized size = 10.63 6log(tanh(12(c+dx)))bRootSum[#16a+3#14a+3#12a+#16b3#14b+3#12b+ab&,2#14log(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))4#12log(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))+#14c2#12c+#14dx2#12dx+2log(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))+c+dx#15a+2#13a+#15b2#13b+#1a+#1b&]6ad

[In]

Integrate[Csch[c + d*x]/(a + b*Tanh[c + d*x]^3),x]

[Out]

(6*Log[Tanh[(c + d*x)/2]] - b*RootSum[a - b + 3*a*#1^2 + 3*b*#1^2 + 3*a*#1^4 - 3*b*#1^4 + a*#1^6 + b*#1^6 & ,
(c + d*x + 2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1] - 2*c*#
1^2 - 2*d*x*#1^2 - 4*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1]
*#1^2 + c*#1^4 + d*x*#1^4 + 2*Log[-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*
x)/2]*#1]*#1^4)/(a*#1 + b*#1 + 2*a*#1^3 - 2*b*#1^3 + a*#1^5 + b*#1^5) & ])/(6*a*d)

Integral number [79] csch3(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.361888 (sec), size = 201 ,normalized size = 6.28 16bRootSum[#16a+3#14a+3#12a+#16b3#14b+3#12b+ab&,2#1log(#1sinh(12(c+dx))+#1cosh(12(c+dx))sinh(12(c+dx))cosh(12(c+dx)))+#1c+#1dx#14a+2#12a+#14b2#12b+a+b&]+3(csch2(12(c+dx))+sech2(12(c+dx))+4log(tanh(12(c+dx))))24ad

[In]

Integrate[Csch[c + d*x]^3/(a + b*Tanh[c + d*x]^3),x]

[Out]

-(16*b*RootSum[a - b + 3*a*#1^2 + 3*b*#1^2 + 3*a*#1^4 - 3*b*#1^4 + a*#1^6 + b*#1^6 & , (c*#1 + d*x*#1 + 2*Log[
-Cosh[(c + d*x)/2] - Sinh[(c + d*x)/2] + Cosh[(c + d*x)/2]*#1 - Sinh[(c + d*x)/2]*#1]*#1)/(a + b + 2*a*#1^2 -
2*b*#1^2 + a*#1^4 + b*#1^4) & ] + 3*(Csch[(c + d*x)/2]^2 + 4*Log[Tanh[(c + d*x)/2]] + Sech[(c + d*x)/2]^2))/(2
4*a*d)

4.8.2 Maple

Integral number [74] sinh3(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.11 (sec), size = 346 ,normalized size = 10.81 81d(16a16b)(tanh(1/2dx+c/2)+1)2+163d(16a16b)(tanh(dx2+c2)+1)3a2d(ab)2(tanh(dx2+c2)+1)1bd(ab)2(tanh(dx2+c2)+1)1163d(16a+16b)(tanh(dx2+c2)1)381d(16a+16b)(tanh(1/2dx+c/2)1)2+a2d(a+b)2(tanh(dx2+c2)1)1bd(a+b)2(tanh(dx2+c2)1)1ab3d(a+b)2(ab)2_R=RootOf(a_Z6+3a_Z4+8b_Z3+3a_Z2+a)(2a2+b2)_R46_R3ab+2(4a2+5b2)_R26ab_R+2a2+b2_R5a+2_R3a+4_R2b+_Raln(tanh(dx2+c2)_R)

[In]

int(sinh(d*x+c)^3/(a+b*tanh(d*x+c)^3),x)

[Out]

-8/d/(16*a-16*b)/(tanh(1/2*d*x+1/2*c)+1)^2+16/3/d/(tanh(1/2*d*x+1/2*c)+1)^3/(16*a-16*b)-1/2/d/(a-b)^2/(tanh(1/
2*d*x+1/2*c)+1)*a-1/d/(a-b)^2/(tanh(1/2*d*x+1/2*c)+1)*b-16/3/d/(tanh(1/2*d*x+1/2*c)-1)^3/(16*a+16*b)-8/d/(16*a
+16*b)/(tanh(1/2*d*x+1/2*c)-1)^2+1/2/d/(a+b)^2/(tanh(1/2*d*x+1/2*c)-1)*a-1/d/(a+b)^2/(tanh(1/2*d*x+1/2*c)-1)*b
-1/3/d*a*b/(a+b)^2/(a-b)^2*sum(((2*a^2+b^2)*_R^4-6*_R^3*a*b+2*(4*a^2+5*b^2)*_R^2-6*a*b*_R+2*a^2+b^2)/(_R^5*a+2
*_R^3*a+4*_R^2*b+_R*a)*ln(tanh(1/2*d*x+1/2*c)-_R),_R=RootOf(_Z^6*a+3*_Z^4*a+8*_Z^3*b+3*_Z^2*a+a))

Integral number [76] sinh(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.108 (sec), size = 164 ,normalized size = 5.47 41d(4a+4b)(tanh(1/2dx+c/2)1)+b3d(ab)(a+b)_R=RootOf(a_Z6+3a_Z4+8b_Z3+3a_Z2+a)_R4a2_R3b+6_R2a2_Rb+a_R5a+2_R3a+4_R2b+_Raln(tanh(dx2+c2)_R)+41d(4a4b)(tanh(1/2dx+c/2)+1)

[In]

int(sinh(d*x+c)/(a+b*tanh(d*x+c)^3),x)

[Out]

-4/d/(4*a+4*b)/(tanh(1/2*d*x+1/2*c)-1)+1/3/d*b/(a-b)/(a+b)*sum((_R^4*a-2*_R^3*b+6*_R^2*a-2*_R*b+a)/(_R^5*a+2*_
R^3*a+4*_R^2*b+_R*a)*ln(tanh(1/2*d*x+1/2*c)-_R),_R=RootOf(_Z^6*a+3*_Z^4*a+8*_Z^3*b+3*_Z^2*a+a))+4/d/(4*a-4*b)/
(tanh(1/2*d*x+1/2*c)+1)

Integral number [77] csch(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.105 (sec), size = 98 ,normalized size = 3.27 1daln(tanh(dx2+c2))4b3da_R=RootOf(a_Z6+3a_Z4+8b_Z3+3a_Z2+a)_R2_R5a+2_R3a+4_R2b+_Raln(tanh(dx2+c2)_R)

[In]

int(csch(d*x+c)/(a+b*tanh(d*x+c)^3),x)

[Out]

1/d/a*ln(tanh(1/2*d*x+1/2*c))-4/3/d/a*b*sum(_R^2/(_R^5*a+2*_R^3*a+4*_R^2*b+_R*a)*ln(tanh(1/2*d*x+1/2*c)-_R),_R
=RootOf(_Z^6*a+3*_Z^4*a+8*_Z^3*b+3*_Z^2*a+a))

Integral number [79] csch3(c+dx)a+btanh3(c+dx)dx

[B]   time = 0.125 (sec), size = 144 ,normalized size = 4.5 18da(tanh(dx2+c2))218da(tanh(dx2+c2))212daln(tanh(dx2+c2))b3da_R=RootOf(a_Z6+3a_Z4+8b_Z3+3a_Z2+a)_R42_R2+1_R5a+2_R3a+4_R2b+_Raln(tanh(dx2+c2)_R)

[In]

int(csch(d*x+c)^3/(a+b*tanh(d*x+c)^3),x)

[Out]

1/8/d/a*tanh(1/2*d*x+1/2*c)^2-1/8/d/a/tanh(1/2*d*x+1/2*c)^2-1/2/d/a*ln(tanh(1/2*d*x+1/2*c))-1/3/d/a*b*sum((_R^
4-2*_R^2+1)/(_R^5*a+2*_R^3*a+4*_R^2*b+_R*a)*ln(tanh(1/2*d*x+1/2*c)-_R),_R=RootOf(_Z^6*a+3*_Z^4*a+8*_Z^3*b+3*_Z
^2*a+a))

4.8.3 Giac

Integral number [74] sinh3(c+dx)a+btanh3(c+dx)dx

[B]   time = 2.05765 (sec), size = 473 ,normalized size = 14.78 (9ae(2dx+2c)+9be(2dx+2c)a+b)e(3dx)a2e(3c)2abe(3c)+b2e(3c)a2e(3dx+30c)+2abe(3dx+30c)+b2e(3dx+30c)9a2e(dx+28c)+9b2e(dx+28c)a3e(27c)+3a2be(27c)+3ab2e(27c)+b3e(27c)24d6(a3bec+a2b2ec+ab3ec)dxadbd(a3bec+a2b2ec+ab3ec)log(|ae(6dx+6c)+be(6dx+6c)+3ae(4dx+4c)3be(4dx+4c)+3ae(2dx+2c)+3be(2dx+2c)+ab|)adbd(a42a2b2+b4)d

[In]

integrate(sinh(d*x+c)^3/(a+b*tanh(d*x+c)^3),x, algorithm="giac")

[Out]

-1/24*((9*a*e^(2*d*x + 2*c) + 9*b*e^(2*d*x + 2*c) - a + b)*e^(-3*d*x)/(a^2*e^(3*c) - 2*a*b*e^(3*c) + b^2*e^(3*
c)) - (a^2*e^(3*d*x + 30*c) + 2*a*b*e^(3*d*x + 30*c) + b^2*e^(3*d*x + 30*c) - 9*a^2*e^(d*x + 28*c) + 9*b^2*e^(
d*x + 28*c))/(a^3*e^(27*c) + 3*a^2*b*e^(27*c) + 3*a*b^2*e^(27*c) + b^3*e^(27*c)))/d - (6*(a^3*b*e^c + a^2*b^2*
e^c + a*b^3*e^c)*d*x/(a*d - b*d) - (a^3*b*e^c + a^2*b^2*e^c + a*b^3*e^c)*log(abs(a*e^(6*d*x + 6*c) + b*e^(6*d*
x + 6*c) + 3*a*e^(4*d*x + 4*c) - 3*b*e^(4*d*x + 4*c) + 3*a*e^(2*d*x + 2*c) + 3*b*e^(2*d*x + 2*c) + a - b))/(a*
d - b*d))/((a^4 - 2*a^2*b^2 + b^4)*d)

Integral number [76] sinh(c+dx)a+btanh3(c+dx)dx

[B]   time = 1.62107 (sec), size = 263 ,normalized size = 8.77 e(dx+8c)ae(7c)+be(7c)+e(dx)aecbec2d+6(2abec+b2ec)dxadbd(2abec+b2ec)log(|ae(6dx+6c)+be(6dx+6c)+3ae(4dx+4c)3be(4dx+4c)+3ae(2dx+2c)+3be(2dx+2c)+ab|)adbd3(a2b2)d

[In]

integrate(sinh(d*x+c)/(a+b*tanh(d*x+c)^3),x, algorithm="giac")

[Out]

1/2*(e^(d*x + 8*c)/(a*e^(7*c) + b*e^(7*c)) + e^(-d*x)/(a*e^c - b*e^c))/d + 1/3*(6*(2*a*b*e^c + b^2*e^c)*d*x/(a
*d - b*d) - (2*a*b*e^c + b^2*e^c)*log(abs(a*e^(6*d*x + 6*c) + b*e^(6*d*x + 6*c) + 3*a*e^(4*d*x + 4*c) - 3*b*e^
(4*d*x + 4*c) + 3*a*e^(2*d*x + 2*c) + 3*b*e^(2*d*x + 2*c) + a - b))/(a*d - b*d))/((a^2 - b^2)*d)

Integral number [77] csch(c+dx)a+btanh3(c+dx)dx

[B]   time = 1.45323 (sec), size = 207 ,normalized size = 6.9 log(e(dx+c)+1)alog(|e(dx+c)1|)ad6bdxecadbdbeclog(|ae(6dx+6c)+be(6dx+6c)+3ae(4dx+4c)3be(4dx+4c)+3ae(2dx+2c)+3be(2dx+2c)+ab|)adbd3ad

[In]

integrate(csch(d*x+c)/(a+b*tanh(d*x+c)^3),x, algorithm="giac")

[Out]

-(log(e^(d*x + c) + 1)/a - log(abs(e^(d*x + c) - 1))/a)/d - 1/3*(6*b*d*x*e^c/(a*d - b*d) - b*e^c*log(abs(a*e^(
6*d*x + 6*c) + b*e^(6*d*x + 6*c) + 3*a*e^(4*d*x + 4*c) - 3*b*e^(4*d*x + 4*c) + 3*a*e^(2*d*x + 2*c) + 3*b*e^(2*
d*x + 2*c) + a - b))/(a*d - b*d))/(a*d)