3.239 \(\int \cosh (a+b \log (c x^n)) \, dx\)

Optimal. Leaf size=54 \[ \frac{x \cosh \left (a+b \log \left (c x^n\right )\right )}{1-b^2 n^2}-\frac{b n x \sinh \left (a+b \log \left (c x^n\right )\right )}{1-b^2 n^2} \]

[Out]

(x*Cosh[a + b*Log[c*x^n]])/(1 - b^2*n^2) - (b*n*x*Sinh[a + b*Log[c*x^n]])/(1 - b^2*n^2)

________________________________________________________________________________________

Rubi [A]  time = 0.0119098, antiderivative size = 54, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 11, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.091, Rules used = {5518} \[ \frac{x \cosh \left (a+b \log \left (c x^n\right )\right )}{1-b^2 n^2}-\frac{b n x \sinh \left (a+b \log \left (c x^n\right )\right )}{1-b^2 n^2} \]

Antiderivative was successfully verified.

[In]

Int[Cosh[a + b*Log[c*x^n]],x]

[Out]

(x*Cosh[a + b*Log[c*x^n]])/(1 - b^2*n^2) - (b*n*x*Sinh[a + b*Log[c*x^n]])/(1 - b^2*n^2)

Rule 5518

Int[Cosh[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*(d_.)], x_Symbol] :> -Simp[(x*Cosh[d*(a + b*Log[c*x^n])])/(b^2*
d^2*n^2 - 1), x] + Simp[(b*d*n*x*Sinh[d*(a + b*Log[c*x^n])])/(b^2*d^2*n^2 - 1), x] /; FreeQ[{a, b, c, d, n}, x
] && NeQ[b^2*d^2*n^2 - 1, 0]

Rubi steps

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

Mathematica [A]  time = 0.0598323, size = 41, normalized size = 0.76 \[ \frac{x \left (b n \sinh \left (a+b \log \left (c x^n\right )\right )-\cosh \left (a+b \log \left (c x^n\right )\right )\right )}{b^2 n^2-1} \]

Antiderivative was successfully verified.

[In]

Integrate[Cosh[a + b*Log[c*x^n]],x]

[Out]

(x*(-Cosh[a + b*Log[c*x^n]] + b*n*Sinh[a + b*Log[c*x^n]]))/(-1 + b^2*n^2)

________________________________________________________________________________________

Maple [F]  time = 0.034, size = 0, normalized size = 0. \begin{align*} \int \cosh \left ( a+b\ln \left ( c{x}^{n} \right ) \right ) \, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(cosh(a+b*ln(c*x^n)),x)

[Out]

int(cosh(a+b*ln(c*x^n)),x)

________________________________________________________________________________________

Maxima [A]  time = 1.09895, size = 69, normalized size = 1.28 \begin{align*} \frac{c^{b} x e^{\left (b \log \left (x^{n}\right ) + a\right )}}{2 \,{\left (b n + 1\right )}} - \frac{x e^{\left (-a\right )}}{2 \,{\left (b c^{b} n - c^{b}\right )}{\left (x^{n}\right )}^{b}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Fricas [A]  time = 1.78747, size = 123, normalized size = 2.28 \begin{align*} \frac{b n x \sinh \left (b n \log \left (x\right ) + b \log \left (c\right ) + a\right ) - x \cosh \left (b n \log \left (x\right ) + b \log \left (c\right ) + a\right )}{b^{2} n^{2} - 1} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(b*n*x*sinh(b*n*log(x) + b*log(c) + a) - x*cosh(b*n*log(x) + b*log(c) + a))/(b^2*n^2 - 1)

________________________________________________________________________________________

Sympy [F(-2)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: TypeError} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cosh(a+b*ln(c*x**n)),x)

[Out]

Exception raised: TypeError

________________________________________________________________________________________

Giac [A]  time = 1.19559, size = 63, normalized size = 1.17 \begin{align*} \frac{c^{b} x x^{b n} e^{a}}{2 \,{\left (b n + 1\right )}} - \frac{x e^{\left (-a\right )}}{2 \,{\left (b n - 1\right )} c^{b} x^{b n}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/2*c^b*x*x^(b*n)*e^a/(b*n + 1) - 1/2*x*e^(-a)/((b*n - 1)*c^b*x^(b*n))