3.38 \(\int \frac {\cosh ^2(a+b x^n)}{x} \, dx\)

Optimal. Leaf size=43 \[ \frac {\cosh (2 a) \text {Chi}\left (2 b x^n\right )}{2 n}+\frac {\sinh (2 a) \text {Shi}\left (2 b x^n\right )}{2 n}+\frac {\log (x)}{2} \]

[Out]

1/2*Chi(2*b*x^n)*cosh(2*a)/n+1/2*ln(x)+1/2*Shi(2*b*x^n)*sinh(2*a)/n

________________________________________________________________________________________

Rubi [A]  time = 0.06, antiderivative size = 43, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 4, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {5363, 5319, 5317, 5316} \[ \frac {\cosh (2 a) \text {Chi}\left (2 b x^n\right )}{2 n}+\frac {\sinh (2 a) \text {Shi}\left (2 b x^n\right )}{2 n}+\frac {\log (x)}{2} \]

Antiderivative was successfully verified.

[In]

Int[Cosh[a + b*x^n]^2/x,x]

[Out]

(Cosh[2*a]*CoshIntegral[2*b*x^n])/(2*n) + Log[x]/2 + (Sinh[2*a]*SinhIntegral[2*b*x^n])/(2*n)

Rule 5316

Int[Sinh[(d_.)*(x_)^(n_)]/(x_), x_Symbol] :> Simp[SinhIntegral[d*x^n]/n, x] /; FreeQ[{d, n}, x]

Rule 5317

Int[Cosh[(d_.)*(x_)^(n_)]/(x_), x_Symbol] :> Simp[CoshIntegral[d*x^n]/n, x] /; FreeQ[{d, n}, x]

Rule 5319

Int[Cosh[(c_) + (d_.)*(x_)^(n_)]/(x_), x_Symbol] :> Dist[Cosh[c], Int[Cosh[d*x^n]/x, x], x] + Dist[Sinh[c], In
t[Sinh[d*x^n]/x, x], x] /; FreeQ[{c, d, n}, x]

Rule 5363

Int[((a_.) + Cosh[(c_.) + (d_.)*(x_)^(n_)]*(b_.))^(p_)*((e_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandTrigReduce[(
e*x)^m, (a + b*Cosh[c + d*x^n])^p, x], x] /; FreeQ[{a, b, c, d, e, m, n}, x] && IGtQ[p, 0]

Rubi steps

\begin {align*} \int \frac {\cosh ^2\left (a+b x^n\right )}{x} \, dx &=\int \left (\frac {1}{2 x}+\frac {\cosh \left (2 a+2 b x^n\right )}{2 x}\right ) \, dx\\ &=\frac {\log (x)}{2}+\frac {1}{2} \int \frac {\cosh \left (2 a+2 b x^n\right )}{x} \, dx\\ &=\frac {\log (x)}{2}+\frac {1}{2} \cosh (2 a) \int \frac {\cosh \left (2 b x^n\right )}{x} \, dx+\frac {1}{2} \sinh (2 a) \int \frac {\sinh \left (2 b x^n\right )}{x} \, dx\\ &=\frac {\cosh (2 a) \text {Chi}\left (2 b x^n\right )}{2 n}+\frac {\log (x)}{2}+\frac {\sinh (2 a) \text {Shi}\left (2 b x^n\right )}{2 n}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 36, normalized size = 0.84 \[ \frac {\cosh (2 a) \text {Chi}\left (2 b x^n\right )+\sinh (2 a) \text {Shi}\left (2 b x^n\right )+n \log (x)}{2 n} \]

Antiderivative was successfully verified.

[In]

Integrate[Cosh[a + b*x^n]^2/x,x]

[Out]

(Cosh[2*a]*CoshIntegral[2*b*x^n] + n*Log[x] + Sinh[2*a]*SinhIntegral[2*b*x^n])/(2*n)

________________________________________________________________________________________

fricas [A]  time = 0.50, size = 69, normalized size = 1.60 \[ \frac {{\left (\cosh \left (2 \, a\right ) + \sinh \left (2 \, a\right )\right )} {\rm Ei}\left (2 \, b \cosh \left (n \log \relax (x)\right ) + 2 \, b \sinh \left (n \log \relax (x)\right )\right ) + {\left (\cosh \left (2 \, a\right ) - \sinh \left (2 \, a\right )\right )} {\rm Ei}\left (-2 \, b \cosh \left (n \log \relax (x)\right ) - 2 \, b \sinh \left (n \log \relax (x)\right )\right ) + 2 \, n \log \relax (x)}{4 \, n} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cosh(a+b*x^n)^2/x,x, algorithm="fricas")

[Out]

1/4*((cosh(2*a) + sinh(2*a))*Ei(2*b*cosh(n*log(x)) + 2*b*sinh(n*log(x))) + (cosh(2*a) - sinh(2*a))*Ei(-2*b*cos
h(n*log(x)) - 2*b*sinh(n*log(x))) + 2*n*log(x))/n

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\cosh \left (b x^{n} + a\right )^{2}}{x}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cosh(a+b*x^n)^2/x,x, algorithm="giac")

[Out]

integrate(cosh(b*x^n + a)^2/x, x)

________________________________________________________________________________________

maple [A]  time = 0.29, size = 40, normalized size = 0.93 \[ \frac {\ln \relax (x )}{2}-\frac {{\mathrm e}^{-2 a} \Ei \left (1, 2 b \,x^{n}\right )}{4 n}-\frac {{\mathrm e}^{2 a} \Ei \left (1, -2 b \,x^{n}\right )}{4 n} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(cosh(a+b*x^n)^2/x,x)

[Out]

1/2*ln(x)-1/4/n*exp(-2*a)*Ei(1,2*b*x^n)-1/4/n*exp(2*a)*Ei(1,-2*b*x^n)

________________________________________________________________________________________

maxima [A]  time = 0.39, size = 37, normalized size = 0.86 \[ \frac {{\rm Ei}\left (2 \, b x^{n}\right ) e^{\left (2 \, a\right )}}{4 \, n} + \frac {{\rm Ei}\left (-2 \, b x^{n}\right ) e^{\left (-2 \, a\right )}}{4 \, n} + \frac {1}{2} \, \log \relax (x) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cosh(a+b*x^n)^2/x,x, algorithm="maxima")

[Out]

1/4*Ei(2*b*x^n)*e^(2*a)/n + 1/4*Ei(-2*b*x^n)*e^(-2*a)/n + 1/2*log(x)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.02 \[ \int \frac {{\mathrm {cosh}\left (a+b\,x^n\right )}^2}{x} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(cosh(a + b*x^n)^2/x,x)

[Out]

int(cosh(a + b*x^n)^2/x, x)

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\cosh ^{2}{\left (a + b x^{n} \right )}}{x}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cosh(a+b*x**n)**2/x,x)

[Out]

Integral(cosh(a + b*x**n)**2/x, x)

________________________________________________________________________________________