3.1047 \(\int \text {sech}(x) \sqrt {1+\text {sech}(x)} \tanh ^3(x) \, dx\)

Optimal. Leaf size=25 \[ \frac {2}{7} (\text {sech}(x)+1)^{7/2}-\frac {4}{5} (\text {sech}(x)+1)^{5/2} \]

[Out]

-4/5*(1+sech(x))^(5/2)+2/7*(1+sech(x))^(7/2)

________________________________________________________________________________________

Rubi [A]  time = 0.10, antiderivative size = 25, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {4373, 1570, 1469, 627, 43} \[ \frac {2}{7} (\text {sech}(x)+1)^{7/2}-\frac {4}{5} (\text {sech}(x)+1)^{5/2} \]

Antiderivative was successfully verified.

[In]

Int[Sech[x]*Sqrt[1 + Sech[x]]*Tanh[x]^3,x]

[Out]

(-4*(1 + Sech[x])^(5/2))/5 + (2*(1 + Sech[x])^(7/2))/7

Rule 43

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rule 627

Int[((d_) + (e_.)*(x_))^(m_.)*((a_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[(d + e*x)^(m + p)*(a/d + (c*x)/e)^
p, x] /; FreeQ[{a, c, d, e, m, p}, x] && EqQ[c*d^2 + a*e^2, 0] && (IntegerQ[p] || (GtQ[a, 0] && GtQ[d, 0] && I
ntegerQ[m + p]))

Rule 1469

Int[(x_)^(m_.)*((a_) + (c_.)*(x_)^(n2_.))^(p_.)*((d_) + (e_.)*(x_)^(n_))^(q_.), x_Symbol] :> Dist[1/n, Subst[I
nt[(d + e*x)^q*(a + c*x^2)^p, x], x, x^n], x] /; FreeQ[{a, c, d, e, m, n, p, q}, x] && EqQ[n2, 2*n] && EqQ[Sim
plify[m - n + 1], 0]

Rule 1570

Int[(x_)^(m_.)*((a_.) + (c_.)*(x_)^(mn2_.))^(p_.)*((d_) + (e_.)*(x_)^(n_.))^(q_.), x_Symbol] :> Int[x^(m - 2*n
*p)*(d + e*x^n)^q*(c + a*x^(2*n))^p, x] /; FreeQ[{a, c, d, e, m, n, q}, x] && EqQ[mn2, -2*n] && IntegerQ[p]

Rule 4373

Int[(u_)*(F_)[(c_.)*((a_.) + (b_.)*(x_))]^(n_), x_Symbol] :> With[{d = FreeFactors[Cos[c*(a + b*x)], x]}, -Dis
t[(b*c*d^(n - 1))^(-1), Subst[Int[SubstFor[(1 - d^2*x^2)^((n - 1)/2)/x^n, Cos[c*(a + b*x)]/d, u, x], x], x, Co
s[c*(a + b*x)]/d], x] /; FunctionOfQ[Cos[c*(a + b*x)]/d, u, x]] /; FreeQ[{a, b, c}, x] && IntegerQ[(n - 1)/2]
&& NonsumQ[u] && (EqQ[F, Tan] || EqQ[F, tan])

Rubi steps

\begin {align*} \int \text {sech}(x) \sqrt {1+\text {sech}(x)} \tanh ^3(x) \, dx &=-\operatorname {Subst}\left (\int \frac {\sqrt {1+\frac {1}{x}} \left (1-x^2\right )}{x^4} \, dx,x,\cosh (x)\right )\\ &=-\operatorname {Subst}\left (\int \frac {\left (-1+\frac {1}{x^2}\right ) \sqrt {1+\frac {1}{x}}}{x^2} \, dx,x,\cosh (x)\right )\\ &=\operatorname {Subst}\left (\int \sqrt {1+x} \left (-1+x^2\right ) \, dx,x,\text {sech}(x)\right )\\ &=\operatorname {Subst}\left (\int (-1+x) (1+x)^{3/2} \, dx,x,\text {sech}(x)\right )\\ &=\operatorname {Subst}\left (\int \left (-2 (1+x)^{3/2}+(1+x)^{5/2}\right ) \, dx,x,\text {sech}(x)\right )\\ &=-\frac {4}{5} (1+\text {sech}(x))^{5/2}+\frac {2}{7} (1+\text {sech}(x))^{7/2}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.19, size = 30, normalized size = 1.20 \[ -\frac {8}{35} \cosh ^4\left (\frac {x}{2}\right ) (9 \cosh (x)-5) \text {sech}^3(x) \sqrt {\text {sech}(x)+1} \]

Antiderivative was successfully verified.

[In]

Integrate[Sech[x]*Sqrt[1 + Sech[x]]*Tanh[x]^3,x]

[Out]

(-8*Cosh[x/2]^4*(-5 + 9*Cosh[x])*Sech[x]^3*Sqrt[1 + Sech[x]])/35

________________________________________________________________________________________

fricas [B]  time = 0.41, size = 431, normalized size = 17.24 \[ -\frac {2 \, {\left (9 \, \cosh \relax (x)^{6} + 54 \, \cosh \relax (x) \sinh \relax (x)^{5} + 9 \, \sinh \relax (x)^{6} + 27 \, {\left (5 \, \cosh \relax (x)^{2} + 1\right )} \sinh \relax (x)^{4} + 27 \, \cosh \relax (x)^{4} + 36 \, {\left (5 \, \cosh \relax (x)^{3} + 3 \, \cosh \relax (x)\right )} \sinh \relax (x)^{3} + 27 \, {\left (5 \, \cosh \relax (x)^{4} + 6 \, \cosh \relax (x)^{2} + 1\right )} \sinh \relax (x)^{2} + 27 \, \cosh \relax (x)^{2} + 54 \, {\left (\cosh \relax (x)^{5} + 2 \, \cosh \relax (x)^{3} + \cosh \relax (x)\right )} \sinh \relax (x) + \frac {9 \, \cosh \relax (x)^{7} + 7 \, {\left (9 \, \cosh \relax (x) + 5\right )} \sinh \relax (x)^{6} + 9 \, \sinh \relax (x)^{7} + 35 \, \cosh \relax (x)^{6} + 7 \, {\left (27 \, \cosh \relax (x)^{2} + 30 \, \cosh \relax (x) + 7\right )} \sinh \relax (x)^{5} + 49 \, \cosh \relax (x)^{5} + 35 \, {\left (9 \, \cosh \relax (x)^{3} + 15 \, \cosh \relax (x)^{2} + 7 \, \cosh \relax (x) + 1\right )} \sinh \relax (x)^{4} + 35 \, \cosh \relax (x)^{4} + 35 \, {\left (9 \, \cosh \relax (x)^{4} + 20 \, \cosh \relax (x)^{3} + 14 \, \cosh \relax (x)^{2} + 4 \, \cosh \relax (x) + 1\right )} \sinh \relax (x)^{3} + 35 \, \cosh \relax (x)^{3} + 7 \, {\left (27 \, \cosh \relax (x)^{5} + 75 \, \cosh \relax (x)^{4} + 70 \, \cosh \relax (x)^{3} + 30 \, \cosh \relax (x)^{2} + 15 \, \cosh \relax (x) + 7\right )} \sinh \relax (x)^{2} + 49 \, \cosh \relax (x)^{2} + 7 \, {\left (9 \, \cosh \relax (x)^{6} + 30 \, \cosh \relax (x)^{5} + 35 \, \cosh \relax (x)^{4} + 20 \, \cosh \relax (x)^{3} + 15 \, \cosh \relax (x)^{2} + 14 \, \cosh \relax (x) + 5\right )} \sinh \relax (x) + 35 \, \cosh \relax (x) + 9}{\sqrt {\cosh \relax (x)^{2} + 2 \, \cosh \relax (x) \sinh \relax (x) + \sinh \relax (x)^{2} + 1}} + 9\right )}}{35 \, {\left (\cosh \relax (x)^{6} + 6 \, \cosh \relax (x) \sinh \relax (x)^{5} + \sinh \relax (x)^{6} + 3 \, {\left (5 \, \cosh \relax (x)^{2} + 1\right )} \sinh \relax (x)^{4} + 3 \, \cosh \relax (x)^{4} + 4 \, {\left (5 \, \cosh \relax (x)^{3} + 3 \, \cosh \relax (x)\right )} \sinh \relax (x)^{3} + 3 \, {\left (5 \, \cosh \relax (x)^{4} + 6 \, \cosh \relax (x)^{2} + 1\right )} \sinh \relax (x)^{2} + 3 \, \cosh \relax (x)^{2} + 6 \, {\left (\cosh \relax (x)^{5} + 2 \, \cosh \relax (x)^{3} + \cosh \relax (x)\right )} \sinh \relax (x) + 1\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sech(x)*(1+sech(x))^(1/2)*tanh(x)^3,x, algorithm="fricas")

[Out]

-2/35*(9*cosh(x)^6 + 54*cosh(x)*sinh(x)^5 + 9*sinh(x)^6 + 27*(5*cosh(x)^2 + 1)*sinh(x)^4 + 27*cosh(x)^4 + 36*(
5*cosh(x)^3 + 3*cosh(x))*sinh(x)^3 + 27*(5*cosh(x)^4 + 6*cosh(x)^2 + 1)*sinh(x)^2 + 27*cosh(x)^2 + 54*(cosh(x)
^5 + 2*cosh(x)^3 + cosh(x))*sinh(x) + (9*cosh(x)^7 + 7*(9*cosh(x) + 5)*sinh(x)^6 + 9*sinh(x)^7 + 35*cosh(x)^6
+ 7*(27*cosh(x)^2 + 30*cosh(x) + 7)*sinh(x)^5 + 49*cosh(x)^5 + 35*(9*cosh(x)^3 + 15*cosh(x)^2 + 7*cosh(x) + 1)
*sinh(x)^4 + 35*cosh(x)^4 + 35*(9*cosh(x)^4 + 20*cosh(x)^3 + 14*cosh(x)^2 + 4*cosh(x) + 1)*sinh(x)^3 + 35*cosh
(x)^3 + 7*(27*cosh(x)^5 + 75*cosh(x)^4 + 70*cosh(x)^3 + 30*cosh(x)^2 + 15*cosh(x) + 7)*sinh(x)^2 + 49*cosh(x)^
2 + 7*(9*cosh(x)^6 + 30*cosh(x)^5 + 35*cosh(x)^4 + 20*cosh(x)^3 + 15*cosh(x)^2 + 14*cosh(x) + 5)*sinh(x) + 35*
cosh(x) + 9)/sqrt(cosh(x)^2 + 2*cosh(x)*sinh(x) + sinh(x)^2 + 1) + 9)/(cosh(x)^6 + 6*cosh(x)*sinh(x)^5 + sinh(
x)^6 + 3*(5*cosh(x)^2 + 1)*sinh(x)^4 + 3*cosh(x)^4 + 4*(5*cosh(x)^3 + 3*cosh(x))*sinh(x)^3 + 3*(5*cosh(x)^4 +
6*cosh(x)^2 + 1)*sinh(x)^2 + 3*cosh(x)^2 + 6*(cosh(x)^5 + 2*cosh(x)^3 + cosh(x))*sinh(x) + 1)

________________________________________________________________________________________

giac [B]  time = 0.15, size = 46, normalized size = 1.84 \[ -\frac {2 \, {\left ({\left ({\left ({\left ({\left ({\left ({\left (9 \, e^{x} + 35\right )} e^{x} + 49\right )} e^{x} + 35\right )} e^{x} + 35\right )} e^{x} + 49\right )} e^{x} + 35\right )} e^{x} + 9\right )}}{35 \, {\left (e^{\left (2 \, x\right )} + 1\right )}^{\frac {7}{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sech(x)*(1+sech(x))^(1/2)*tanh(x)^3,x, algorithm="giac")

[Out]

-2/35*(((((((9*e^x + 35)*e^x + 49)*e^x + 35)*e^x + 35)*e^x + 49)*e^x + 35)*e^x + 9)/(e^(2*x) + 1)^(7/2)

________________________________________________________________________________________

maple [F]  time = 0.39, size = 0, normalized size = 0.00 \[ \int \mathrm {sech}\relax (x ) \sqrt {1+\mathrm {sech}\relax (x )}\, \left (\tanh ^{3}\relax (x )\right )\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(sech(x)*(1+sech(x))^(1/2)*tanh(x)^3,x)

[Out]

int(sech(x)*(1+sech(x))^(1/2)*tanh(x)^3,x)

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {\operatorname {sech}\relax (x) + 1} \operatorname {sech}\relax (x) \tanh \relax (x)^{3}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sech(x)*(1+sech(x))^(1/2)*tanh(x)^3,x, algorithm="maxima")

[Out]

integrate(sqrt(sech(x) + 1)*sech(x)*tanh(x)^3, x)

________________________________________________________________________________________

mupad [B]  time = 2.04, size = 148, normalized size = 5.92 \[ \frac {\left (\frac {72\,{\mathrm {e}}^x}{35}-\frac {24}{5}\right )\,\sqrt {\frac {1}{\frac {{\mathrm {e}}^{-x}}{2}+\frac {{\mathrm {e}}^x}{2}}+1}}{\left ({\mathrm {e}}^x+1\right )\,{\left ({\mathrm {e}}^{2\,x}+1\right )}^2}-\frac {\left (\frac {16\,{\mathrm {e}}^x}{7}-\frac {16}{7}\right )\,\sqrt {\frac {1}{\frac {{\mathrm {e}}^{-x}}{2}+\frac {{\mathrm {e}}^x}{2}}+1}}{\left ({\mathrm {e}}^x+1\right )\,{\left ({\mathrm {e}}^{2\,x}+1\right )}^3}-\frac {\left (\frac {44\,{\mathrm {e}}^x}{35}-4\right )\,\sqrt {\frac {1}{\frac {{\mathrm {e}}^{-x}}{2}+\frac {{\mathrm {e}}^x}{2}}+1}}{\left ({\mathrm {e}}^x+1\right )\,\left ({\mathrm {e}}^{2\,x}+1\right )}-\frac {\left (\frac {18\,{\mathrm {e}}^x}{35}+2\right )\,\sqrt {\frac {1}{\frac {{\mathrm {e}}^{-x}}{2}+\frac {{\mathrm {e}}^x}{2}}+1}}{{\mathrm {e}}^x+1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((tanh(x)^3*(1/cosh(x) + 1)^(1/2))/cosh(x),x)

[Out]

(((72*exp(x))/35 - 24/5)*(1/(exp(-x)/2 + exp(x)/2) + 1)^(1/2))/((exp(x) + 1)*(exp(2*x) + 1)^2) - (((16*exp(x))
/7 - 16/7)*(1/(exp(-x)/2 + exp(x)/2) + 1)^(1/2))/((exp(x) + 1)*(exp(2*x) + 1)^3) - (((44*exp(x))/35 - 4)*(1/(e
xp(-x)/2 + exp(x)/2) + 1)^(1/2))/((exp(x) + 1)*(exp(2*x) + 1)) - (((18*exp(x))/35 + 2)*(1/(exp(-x)/2 + exp(x)/
2) + 1)^(1/2))/(exp(x) + 1)

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {\operatorname {sech}{\relax (x )} + 1} \tanh ^{3}{\relax (x )} \operatorname {sech}{\relax (x )}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sech(x)*(1+sech(x))**(1/2)*tanh(x)**3,x)

[Out]

Integral(sqrt(sech(x) + 1)*tanh(x)**3*sech(x), x)

________________________________________________________________________________________