\(\int F^{c (a+b x)} (f \sinh (d-\frac {b c x \log (F)}{2+n}))^n \, dx\) [21]

Optimal result

Integrand size = 29, antiderivative size = 84 \[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=-\frac {F^{c (a+b x)} (2+n) \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^{1+n} \left (\cosh \left (d-\frac {b c x \log (F)}{2+n}\right )+\sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )}{b c f (1+n) \log (F)} \] Output:

-F^(c*(b*x+a))*(2+n)*(-f*sinh(-d+b*c*x*ln(F)/(2+n)))^(1+n)*(cosh(-d+b*c*x* 
ln(F)/(2+n))-sinh(-d+b*c*x*ln(F)/(2+n)))/b/c/f/(1+n)/ln(F)
 

Mathematica [A] (verified)

Time = 0.10 (sec) , antiderivative size = 71, normalized size of antiderivative = 0.85 \[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\frac {F^{c (a+b x)} \left (1-e^{2 d} F^{-\frac {2 b c x}{2+n}}\right ) (2+n) \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n}{2 b c (1+n) \log (F)} \] Input:

Integrate[F^(c*(a + b*x))*(f*Sinh[d - (b*c*x*Log[F])/(2 + n)])^n,x]
 

Output:

(F^(c*(a + b*x))*(1 - E^(2*d)/F^((2*b*c*x)/(2 + n)))*(2 + n)*(f*Sinh[d - ( 
b*c*x*Log[F])/(2 + n)])^n)/(2*b*c*(1 + n)*Log[F])
 

Rubi [A] (verified)

Time = 0.56 (sec) , antiderivative size = 151, normalized size of antiderivative = 1.80, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {7271, 6001}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{n+2}\right )\right )^n \, dx\)

\(\Big \downarrow \) 7271

\(\displaystyle \sinh ^{-n}\left (d-\frac {b c x \log (F)}{n+2}\right ) \left (f \sinh \left (d-\frac {b c x \log (F)}{n+2}\right )\right )^n \int F^{c (a+b x)} \sinh ^n\left (d-\frac {b c x \log (F)}{n+2}\right )dx\)

\(\Big \downarrow \) 6001

\(\displaystyle \sinh ^{-n}\left (d-\frac {b c x \log (F)}{n+2}\right ) \left (f \sinh \left (d-\frac {b c x \log (F)}{n+2}\right )\right )^n \left (-\frac {(n+2) F^{c (a+b x)} \sinh ^{n+2}\left (d-\frac {b c x \log (F)}{n+2}\right )}{b c (n+1) \log (F)}-\frac {(n+2) F^{c (a+b x)} \sinh ^{n+1}\left (d-\frac {b c x \log (F)}{n+2}\right ) \cosh \left (d-\frac {b c x \log (F)}{n+2}\right )}{b c (n+1) \log (F)}\right )\)

Input:

Int[F^(c*(a + b*x))*(f*Sinh[d - (b*c*x*Log[F])/(2 + n)])^n,x]
 

Output:

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

Defintions of rubi rules used

rule 6001

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

rule 7271

Int[(u_.)*((a_.)*(v_)^(m_.))^(p_), x_Symbol] :> Simp[a^IntPart[p]*((a*v^m)^ 
FracPart[p]/v^(m*FracPart[p]))   Int[u*v^(m*p), x], x] /; FreeQ[{a, m, p}, 
x] &&  !IntegerQ[p] &&  !FreeQ[v, x] &&  !(EqQ[a, 1] && EqQ[m, 1]) &&  !(Eq 
Q[v, x] && EqQ[m, 1])
 

Maple [F]

\[\int F^{c \left (b x +a \right )} \left (-f \sinh \left (-d +\frac {b c x \ln \left (F \right )}{2+n}\right )\right )^{n}d x\]

Input:

int(F^(c*(b*x+a))*(-f*sinh(-d+b*c*x*ln(F)/(2+n)))^n,x)
 

Output:

int(F^(c*(b*x+a))*(-f*sinh(-d+b*c*x*ln(F)/(2+n)))^n,x)
 

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 277 vs. \(2 (90) = 180\).

Time = 0.11 (sec) , antiderivative size = 277, normalized size of antiderivative = 3.30 \[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\frac {{\left ({\left (n + 2\right )} \cosh \left ({\left (b c x + a c\right )} \log \left (F\right )\right ) \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right ) + {\left (n + 2\right )} \sinh \left ({\left (b c x + a c\right )} \log \left (F\right )\right ) \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right )\right )} \cosh \left (n \log \left (-f \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right )\right )\right ) + {\left ({\left (n + 2\right )} \cosh \left ({\left (b c x + a c\right )} \log \left (F\right )\right ) \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right ) + {\left (n + 2\right )} \sinh \left ({\left (b c x + a c\right )} \log \left (F\right )\right ) \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right )\right )} \sinh \left (n \log \left (-f \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right )\right )\right )}{{\left (b c n + b c\right )} \cosh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right ) \log \left (F\right ) + {\left (b c n + b c\right )} \log \left (F\right ) \sinh \left (\frac {b c x \log \left (F\right ) - d n - 2 \, d}{n + 2}\right )} \] Input:

integrate(F^(c*(b*x+a))*(-f*sinh(-d+b*c*x*log(F)/(2+n)))^n,x, algorithm="f 
ricas")
 

Output:

(((n + 2)*cosh((b*c*x + a*c)*log(F))*sinh((b*c*x*log(F) - d*n - 2*d)/(n + 
2)) + (n + 2)*sinh((b*c*x + a*c)*log(F))*sinh((b*c*x*log(F) - d*n - 2*d)/( 
n + 2)))*cosh(n*log(-f*sinh((b*c*x*log(F) - d*n - 2*d)/(n + 2)))) + ((n + 
2)*cosh((b*c*x + a*c)*log(F))*sinh((b*c*x*log(F) - d*n - 2*d)/(n + 2)) + ( 
n + 2)*sinh((b*c*x + a*c)*log(F))*sinh((b*c*x*log(F) - d*n - 2*d)/(n + 2)) 
)*sinh(n*log(-f*sinh((b*c*x*log(F) - d*n - 2*d)/(n + 2)))))/((b*c*n + b*c) 
*cosh((b*c*x*log(F) - d*n - 2*d)/(n + 2))*log(F) + (b*c*n + b*c)*log(F)*si 
nh((b*c*x*log(F) - d*n - 2*d)/(n + 2)))
 

Sympy [F]

\[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\int F^{c \left (a + b x\right )} \left (- f \sinh {\left (\frac {b c x \log {\left (F \right )}}{n + 2} - d \right )}\right )^{n}\, dx \] Input:

integrate(F**(c*(b*x+a))*(-f*sinh(-d+b*c*x*ln(F)/(2+n)))**n,x)
 

Output:

Integral(F**(c*(a + b*x))*(-f*sinh(b*c*x*log(F)/(n + 2) - d))**n, x)
 

Maxima [F]

\[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\int { \left (-f \sinh \left (\frac {b c x \log \left (F\right )}{n + 2} - d\right )\right )^{n} F^{{\left (b x + a\right )} c} \,d x } \] Input:

integrate(F^(c*(b*x+a))*(-f*sinh(-d+b*c*x*log(F)/(2+n)))^n,x, algorithm="m 
axima")
 

Output:

integrate((-f*sinh(b*c*x*log(F)/(n + 2) - d))^n*F^((b*x + a)*c), x)
 

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 530 vs. \(2 (90) = 180\).

Time = 0.51 (sec) , antiderivative size = 530, normalized size of antiderivative = 6.31 \[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\frac {F^{a c} n e^{\left (\frac {2 \, b c x \log \left (F\right ) + d n^{2} - n^{2} \log \left (2\right ) + n^{2} \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right ) + 2 \, d n - 2 \, n \log \left (2\right ) + 2 \, n \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right )}{n + 2} + \frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} - F^{a c} n e^{\left (\frac {2 \, b c x \log \left (F\right ) + d n^{2} - n^{2} \log \left (2\right ) + n^{2} \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right ) + 2 \, d n - 2 \, n \log \left (2\right ) + 2 \, n \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right )}{n + 2}\right )} + 2 \, F^{a c} e^{\left (\frac {2 \, b c x \log \left (F\right ) + d n^{2} - n^{2} \log \left (2\right ) + n^{2} \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right ) + 2 \, d n - 2 \, n \log \left (2\right ) + 2 \, n \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right )}{n + 2} + \frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} - 2 \, F^{a c} e^{\left (\frac {2 \, b c x \log \left (F\right ) + d n^{2} - n^{2} \log \left (2\right ) + n^{2} \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right ) + 2 \, d n - 2 \, n \log \left (2\right ) + 2 \, n \log \left (-f e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} + f\right )}{n + 2}\right )}}{2 \, {\left (b c n e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} \log \left (F\right ) + b c e^{\left (\frac {2 \, {\left (b c x \log \left (F\right ) - d n - 2 \, d\right )}}{n + 2}\right )} \log \left (F\right )\right )}} \] Input:

integrate(F^(c*(b*x+a))*(-f*sinh(-d+b*c*x*log(F)/(2+n)))^n,x, algorithm="g 
iac")
 

Output:

1/2*(F^(a*c)*n*e^((2*b*c*x*log(F) + d*n^2 - n^2*log(2) + n^2*log(-f*e^(2*( 
b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f) + 2*d*n - 2*n*log(2) + 2*n*log(-f* 
e^(2*(b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f))/(n + 2) + 2*(b*c*x*log(F) - 
 d*n - 2*d)/(n + 2)) - F^(a*c)*n*e^((2*b*c*x*log(F) + d*n^2 - n^2*log(2) + 
 n^2*log(-f*e^(2*(b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f) + 2*d*n - 2*n*lo 
g(2) + 2*n*log(-f*e^(2*(b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f))/(n + 2)) 
+ 2*F^(a*c)*e^((2*b*c*x*log(F) + d*n^2 - n^2*log(2) + n^2*log(-f*e^(2*(b*c 
*x*log(F) - d*n - 2*d)/(n + 2)) + f) + 2*d*n - 2*n*log(2) + 2*n*log(-f*e^( 
2*(b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f))/(n + 2) + 2*(b*c*x*log(F) - d* 
n - 2*d)/(n + 2)) - 2*F^(a*c)*e^((2*b*c*x*log(F) + d*n^2 - n^2*log(2) + n^ 
2*log(-f*e^(2*(b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f) + 2*d*n - 2*n*log(2 
) + 2*n*log(-f*e^(2*(b*c*x*log(F) - d*n - 2*d)/(n + 2)) + f))/(n + 2)))/(b 
*c*n*e^(2*(b*c*x*log(F) - d*n - 2*d)/(n + 2))*log(F) + b*c*e^(2*(b*c*x*log 
(F) - d*n - 2*d)/(n + 2))*log(F))
 

Mupad [F(-1)]

Timed out. \[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\int F^{c\,\left (a+b\,x\right )}\,{\left (f\,\mathrm {sinh}\left (d-\frac {b\,c\,x\,\ln \left (F\right )}{n+2}\right )\right )}^n \,d x \] Input:

int(F^(c*(a + b*x))*(f*sinh(d - (b*c*x*log(F))/(n + 2)))^n,x)
 

Output:

int(F^(c*(a + b*x))*(f*sinh(d - (b*c*x*log(F))/(n + 2)))^n, x)
 

Reduce [B] (verification not implemented)

Time = 0.22 (sec) , antiderivative size = 223, normalized size of antiderivative = 2.65 \[ \int F^{c (a+b x)} \left (f \sinh \left (d-\frac {b c x \log (F)}{2+n}\right )\right )^n \, dx=\frac {f^{a c +n} \left (-1\right )^{n} \left (-e^{\frac {2 \,\mathrm {log}\left (f \right ) b c x}{n +2}} \left (e^{\frac {2 \,\mathrm {log}\left (f \right ) b c x}{n +2}}-e^{2 d}\right )^{n} n -e^{2 d} \left (e^{\frac {2 \,\mathrm {log}\left (f \right ) b c x}{n +2}}-e^{2 d}\right )^{n} n -2 e^{2 d} \left (e^{\frac {2 \,\mathrm {log}\left (f \right ) b c x}{n +2}}-e^{2 d}\right )^{n}+2 f^{b c x} e^{d n} \sinh \left (\frac {\mathrm {log}\left (f \right ) b c x -d n -2 d}{n +2}\right )^{n} 2^{n} n +2 f^{b c x} e^{d n} \sinh \left (\frac {\mathrm {log}\left (f \right ) b c x -d n -2 d}{n +2}\right )^{n} 2^{n}\right )}{2 e^{d n} 2^{n} \mathrm {log}\left (f \right ) b c \left (n +1\right )} \] Input:

int(F^(c*(b*x+a))*(-f*sinh(-d+b*c*x*log(F)/(2+n)))^n,x)
 

Output:

(f**(a*c + n)*( - 1)**n*( - e**((2*log(f)*b*c*x)/(n + 2))*(e**((2*log(f)*b 
*c*x)/(n + 2)) - e**(2*d))**n*n - e**(2*d)*(e**((2*log(f)*b*c*x)/(n + 2)) 
- e**(2*d))**n*n - 2*e**(2*d)*(e**((2*log(f)*b*c*x)/(n + 2)) - e**(2*d))** 
n + 2*f**(b*c*x)*e**(d*n)*sinh((log(f)*b*c*x - d*n - 2*d)/(n + 2))**n*2**n 
*n + 2*f**(b*c*x)*e**(d*n)*sinh((log(f)*b*c*x - d*n - 2*d)/(n + 2))**n*2** 
n))/(2*e**(d*n)*2**n*log(f)*b*c*(n + 1))