4.7 Test file Number [154] 5-Inverse-trig-functions/5.4-Inverse-cotangent/5.4.1-Inverse-cotangent-functions

4.7.1 Mathematica

Integral number [116] cot1(a+bx)1+a2+2abx+b2x23dx

[B]   time = 0.37931 (sec), size = 177 ,normalized size = 8.05 6Gamma(116)Gamma(73)(4(a+bx)2F1(1,43;116;1a2+2bxa+b2x2+1)cot1(a+bx)+5(a2+2abx+b2x2+1)(2(a+bx)cot1(a+bx)3))523πGamma(53)HypergeometricPFQ({1,43,43},{116,73},1a2+2abx+b2x2+1)20bGamma(116)Gamma(73)(a2+2abx+b2x2+1)4/3

[In]

Integrate[ArcCot[a + b*x]/(1 + a^2 + 2*a*b*x + b^2*x^2)^(1/3),x]

[Out]

(6*Gamma[11/6]*Gamma[7/3]*(5*(1 + a^2 + 2*a*b*x + b^2*x^2)*(-3 + 2*(a + b*x)*ArcCot[a + b*x]) + 4*(a + b*x)*Ar
cCot[a + b*x]*Hypergeometric2F1[1, 4/3, 11/6, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1)]) - 5*2^(1/3)*Sqrt[Pi]*Gamma[
5/3]*HypergeometricPFQ[{1, 4/3, 4/3}, {11/6, 7/3}, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1)])/(20*b*(1 + a^2 + 2*a*b
*x + b^2*x^2)^(4/3)*Gamma[11/6]*Gamma[7/3])

Integral number [117] cot1(a+bx)(1+a2)c+2abcx+b2cx23dx

[B]   time = 0.0850221 (sec), size = 180 ,normalized size = 7.5 c(6Gamma(116)Gamma(73)(4(a+bx)2F1(1,43;116;1a2+2bxa+b2x2+1)cot1(a+bx)+5(a2+2abx+b2x2+1)(2(a+bx)cot1(a+bx)3))523πGamma(53)HypergeometricPFQ({1,43,43},{116,73},1a2+2abx+b2x2+1))20bGamma(116)Gamma(73)(c(a2+2abx+b2x2+1))4/3

[In]

Integrate[ArcCot[a + b*x]/((1 + a^2)*c + 2*a*b*c*x + b^2*c*x^2)^(1/3),x]

[Out]

(c*(6*Gamma[11/6]*Gamma[7/3]*(5*(1 + a^2 + 2*a*b*x + b^2*x^2)*(-3 + 2*(a + b*x)*ArcCot[a + b*x]) + 4*(a + b*x)
*ArcCot[a + b*x]*Hypergeometric2F1[1, 4/3, 11/6, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1)]) - 5*2^(1/3)*Sqrt[Pi]*Gam
ma[5/3]*HypergeometricPFQ[{1, 4/3, 4/3}, {11/6, 7/3}, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1)]))/(20*b*(c*(1 + a^2
+ 2*a*b*x + b^2*x^2))^(4/3)*Gamma[11/6]*Gamma[7/3])

Integral number [120] (a+bx)2cot1(a+bx)1+a2+2abx+b2x23dx

[B]   time = 0.920116 (sec), size = 198 ,normalized size = 6.83 3(523πGamma(53)HypergeometricPFQ({1,43,43},{116,73},1a2+2abx+b2x2+1)+Gamma(116)Gamma(73)(5((a+bx)2+1)(3((a+bx)2+7)+4(a+bx)((a+bx)22)cot1(a+bx))24(a+bx)2F1(1,43;116;1a2+2bxa+b2x2+1)cot1(a+bx)))140bGamma(116)Gamma(73)a2+2abx+b2x2+13((a+bx)2+1)

[In]

Integrate[((a + b*x)^2*ArcCot[a + b*x])/(1 + a^2 + 2*a*b*x + b^2*x^2)^(1/3),x]

[Out]

(3*(Gamma[11/6]*Gamma[7/3]*(5*(1 + (a + b*x)^2)*(3*(7 + (a + b*x)^2) + 4*(a + b*x)*(-2 + (a + b*x)^2)*ArcCot[a
 + b*x]) - 24*(a + b*x)*ArcCot[a + b*x]*Hypergeometric2F1[1, 4/3, 11/6, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1)]) +
 5*2^(1/3)*Sqrt[Pi]*Gamma[5/3]*HypergeometricPFQ[{1, 4/3, 4/3}, {11/6, 7/3}, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1
)]))/(140*b*(1 + a^2 + 2*a*b*x + b^2*x^2)^(1/3)*(1 + (a + b*x)^2)*Gamma[11/6]*Gamma[7/3])

Integral number [121] (a+bx)2cot1(a+bx)(1+a2)c+2abcx+b2cx23dx

[B]   time = 0.204658 (sec), size = 200 ,normalized size = 6.45 3(523πGamma(53)HypergeometricPFQ({1,43,43},{116,73},1a2+2abx+b2x2+1)+Gamma(116)Gamma(73)(5((a+bx)2+1)(3((a+bx)2+7)+4(a+bx)((a+bx)22)cot1(a+bx))24(a+bx)2F1(1,43;116;1a2+2bxa+b2x2+1)cot1(a+bx)))140bGamma(116)Gamma(73)((a+bx)2+1)c(a2+2abx+b2x2+1)3

[In]

Integrate[((a + b*x)^2*ArcCot[a + b*x])/((1 + a^2)*c + 2*a*b*c*x + b^2*c*x^2)^(1/3),x]

[Out]

(3*(Gamma[11/6]*Gamma[7/3]*(5*(1 + (a + b*x)^2)*(3*(7 + (a + b*x)^2) + 4*(a + b*x)*(-2 + (a + b*x)^2)*ArcCot[a
 + b*x]) - 24*(a + b*x)*ArcCot[a + b*x]*Hypergeometric2F1[1, 4/3, 11/6, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1)]) +
 5*2^(1/3)*Sqrt[Pi]*Gamma[5/3]*HypergeometricPFQ[{1, 4/3, 4/3}, {11/6, 7/3}, (1 + a^2 + 2*a*b*x + b^2*x^2)^(-1
)]))/(140*b*(c*(1 + a^2 + 2*a*b*x + b^2*x^2))^(1/3)*(1 + (a + b*x)^2)*Gamma[11/6]*Gamma[7/3])