\(\int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx\) [110]

Optimal result
Mathematica [A] (verified)
Rubi [A] (verified)
Maple [B] (verified)
Fricas [B] (verification not implemented)
Sympy [F(-1)]
Maxima [A] (verification not implemented)
Giac [C] (verification not implemented)
Mupad [B] (verification not implemented)
Reduce [F]

Optimal result

Integrand size = 26, antiderivative size = 201 \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=\frac {e^{-d-e x} F^{c (a+b x)}}{16 (e-b c \log (F))}-\frac {e^{-3 d-3 e x} F^{c (a+b x)}}{32 (3 e-b c \log (F))}-\frac {e^{-5 d-5 e x} F^{c (a+b x)}}{32 (5 e-b c \log (F))}-\frac {e^{d+e x} F^{c (a+b x)}}{16 (e+b c \log (F))}+\frac {e^{3 d+3 e x} F^{c (a+b x)}}{32 (3 e+b c \log (F))}+\frac {e^{5 d+5 e x} F^{c (a+b x)}}{32 (5 e+b c \log (F))} \] Output:

exp(-e*x-d)*F^(c*(b*x+a))/(16*e-16*b*c*ln(F))-exp(-3*e*x-3*d)*F^(c*(b*x+a) 
)/(96*e-32*b*c*ln(F))-exp(-5*e*x-5*d)*F^(c*(b*x+a))/(160*e-32*b*c*ln(F))-e 
xp(e*x+d)*F^(c*(b*x+a))/(16*e+16*b*c*ln(F))+exp(3*e*x+3*d)*F^(c*(b*x+a))/( 
96*e+32*b*c*ln(F))+exp(5*e*x+5*d)*F^(c*(b*x+a))/(160*e+32*b*c*ln(F))
 

Mathematica [A] (verified)

Time = 0.88 (sec) , antiderivative size = 150, normalized size of antiderivative = 0.75 \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=\frac {1}{16} F^{c (a+b x)} \left (\frac {2 b c \cosh (d+e x) \log (F)-2 e \sinh (d+e x)}{(e-b c \log (F)) (e+b c \log (F))}+\frac {-b c \cosh (3 (d+e x)) \log (F)+3 e \sinh (3 (d+e x))}{9 e^2-b^2 c^2 \log ^2(F)}+\frac {-b c \cosh (5 (d+e x)) \log (F)+5 e \sinh (5 (d+e x))}{25 e^2-b^2 c^2 \log ^2(F)}\right ) \] Input:

Integrate[F^(c*(a + b*x))*Cosh[d + e*x]^3*Sinh[d + e*x]^2,x]
 

Output:

(F^(c*(a + b*x))*((2*b*c*Cosh[d + e*x]*Log[F] - 2*e*Sinh[d + e*x])/((e - b 
*c*Log[F])*(e + b*c*Log[F])) + (-(b*c*Cosh[3*(d + e*x)]*Log[F]) + 3*e*Sinh 
[3*(d + e*x)])/(9*e^2 - b^2*c^2*Log[F]^2) + (-(b*c*Cosh[5*(d + e*x)]*Log[F 
]) + 5*e*Sinh[5*(d + e*x)])/(25*e^2 - b^2*c^2*Log[F]^2)))/16
 

Rubi [A] (verified)

Time = 0.42 (sec) , antiderivative size = 258, normalized size of antiderivative = 1.28, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {6035, 2009}

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 \sinh ^2(d+e x) \cosh ^3(d+e x) F^{c (a+b x)} \, dx\)

\(\Big \downarrow \) 6035

\(\displaystyle \int \left (-\frac {1}{8} \cosh (d+e x) F^{c (a+b x)}+\frac {1}{16} \cosh (3 d+3 e x) F^{c (a+b x)}+\frac {1}{16} \cosh (5 d+5 e x) F^{c (a+b x)}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {e \sinh (d+e x) F^{c (a+b x)}}{8 \left (e^2-b^2 c^2 \log ^2(F)\right )}+\frac {3 e \sinh (3 d+3 e x) F^{c (a+b x)}}{16 \left (9 e^2-b^2 c^2 \log ^2(F)\right )}+\frac {5 e \sinh (5 d+5 e x) F^{c (a+b x)}}{16 \left (25 e^2-b^2 c^2 \log ^2(F)\right )}+\frac {b c \log (F) \cosh (d+e x) F^{c (a+b x)}}{8 \left (e^2-b^2 c^2 \log ^2(F)\right )}-\frac {b c \log (F) \cosh (3 d+3 e x) F^{c (a+b x)}}{16 \left (9 e^2-b^2 c^2 \log ^2(F)\right )}-\frac {b c \log (F) \cosh (5 d+5 e x) F^{c (a+b x)}}{16 \left (25 e^2-b^2 c^2 \log ^2(F)\right )}\)

Input:

Int[F^(c*(a + b*x))*Cosh[d + e*x]^3*Sinh[d + e*x]^2,x]
 

Output:

(b*c*F^(c*(a + b*x))*Cosh[d + e*x]*Log[F])/(8*(e^2 - b^2*c^2*Log[F]^2)) - 
(b*c*F^(c*(a + b*x))*Cosh[3*d + 3*e*x]*Log[F])/(16*(9*e^2 - b^2*c^2*Log[F] 
^2)) - (b*c*F^(c*(a + b*x))*Cosh[5*d + 5*e*x]*Log[F])/(16*(25*e^2 - b^2*c^ 
2*Log[F]^2)) - (e*F^(c*(a + b*x))*Sinh[d + e*x])/(8*(e^2 - b^2*c^2*Log[F]^ 
2)) + (3*e*F^(c*(a + b*x))*Sinh[3*d + 3*e*x])/(16*(9*e^2 - b^2*c^2*Log[F]^ 
2)) + (5*e*F^(c*(a + b*x))*Sinh[5*d + 5*e*x])/(16*(25*e^2 - b^2*c^2*Log[F] 
^2))
 

Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 6035
Int[Cosh[(f_.) + (g_.)*(x_)]^(n_.)*(F_)^((c_.)*((a_.) + (b_.)*(x_)))*Sinh[( 
d_.) + (e_.)*(x_)]^(m_.), x_Symbol] :> Int[ExpandTrigReduce[F^(c*(a + b*x)) 
, Sinh[d + e*x]^m*Cosh[f + g*x]^n, x], x] /; FreeQ[{F, a, b, c, d, e, f, g} 
, x] && IGtQ[m, 0] && IGtQ[n, 0]
 
Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(765\) vs. \(2(187)=374\).

Time = 1.03 (sec) , antiderivative size = 766, normalized size of antiderivative = 3.81

\[\frac {\left (-450 e^{5} {\mathrm e}^{4 e x +4 d}+45 e^{5}-26 \ln \left (F \right )^{3} b^{3} c^{3} e^{2} {\mathrm e}^{8 e x +8 d}+50 \ln \left (F \right )^{2} b^{2} c^{2} e^{3} {\mathrm e}^{10 e x +10 d}-2 \ln \left (F \right )^{4} b^{4} c^{4} e \,{\mathrm e}^{4 e x +4 d}+68 \ln \left (F \right )^{3} b^{3} c^{3} e^{2} {\mathrm e}^{6 e x +6 d}+78 \ln \left (F \right )^{2} b^{2} c^{2} e^{3} {\mathrm e}^{8 e x +8 d}+\ln \left (F \right )^{5} b^{5} c^{5} {\mathrm e}^{10 e x +10 d}+\ln \left (F \right )^{5} b^{5} c^{5} {\mathrm e}^{8 e x +8 d}-2 \ln \left (F \right )^{5} b^{5} c^{5} {\mathrm e}^{6 e x +6 d}-2 \ln \left (F \right )^{5} b^{5} c^{5} {\mathrm e}^{4 e x +4 d}+\ln \left (F \right )^{5} b^{5} c^{5} {\mathrm e}^{2 e x +2 d}+c^{5} b^{5} \ln \left (F \right )^{5}+9 \ln \left (F \right ) b c \,e^{4} {\mathrm e}^{10 e x +10 d}+3 \ln \left (F \right )^{4} b^{4} c^{4} e \,{\mathrm e}^{2 e x +2 d}+68 \ln \left (F \right )^{3} b^{3} c^{3} e^{2} {\mathrm e}^{4 e x +4 d}-68 \ln \left (F \right )^{2} b^{2} c^{2} e^{3} {\mathrm e}^{6 e x +6 d}+25 \ln \left (F \right ) b c \,e^{4} {\mathrm e}^{8 e x +8 d}+5 \ln \left (F \right )^{4} b^{4} c^{4} e -50 \ln \left (F \right )^{2} b^{2} c^{2} e^{3}-26 \ln \left (F \right )^{3} b^{3} c^{3} e^{2} {\mathrm e}^{2 e x +2 d}+68 \ln \left (F \right )^{2} b^{2} c^{2} e^{3} {\mathrm e}^{4 e x +4 d}-450 \ln \left (F \right ) b c \,e^{4} {\mathrm e}^{6 e x +6 d}-78 \ln \left (F \right )^{2} b^{2} c^{2} e^{3} {\mathrm e}^{2 e x +2 d}-450 \ln \left (F \right ) b c \,e^{4} {\mathrm e}^{4 e x +4 d}+25 \ln \left (F \right ) b c \,e^{4} {\mathrm e}^{2 e x +2 d}-5 \ln \left (F \right )^{4} b^{4} c^{4} e \,{\mathrm e}^{10 e x +10 d}-3 \ln \left (F \right )^{4} b^{4} c^{4} e \,{\mathrm e}^{8 e x +8 d}-10 \ln \left (F \right )^{3} b^{3} c^{3} e^{2} {\mathrm e}^{10 e x +10 d}+2 \ln \left (F \right )^{4} b^{4} c^{4} e \,{\mathrm e}^{6 e x +6 d}+75 e^{5} {\mathrm e}^{2 e x +2 d}+450 e^{5} {\mathrm e}^{6 e x +6 d}-75 e^{5} {\mathrm e}^{8 e x +8 d}-45 e^{5} {\mathrm e}^{10 e x +10 d}-10 c^{3} b^{3} \ln \left (F \right )^{3} e^{2}+9 c b \ln \left (F \right ) e^{4}\right ) {\mathrm e}^{-5 e x -5 d} F^{c \left (b x +a \right )}}{32 \left (b c \ln \left (F \right )-e \right ) \left (b c \ln \left (F \right )-3 e \right ) \left (b c \ln \left (F \right )-5 e \right ) \left (e +b c \ln \left (F \right )\right ) \left (b c \ln \left (F \right )+3 e \right ) \left (b c \ln \left (F \right )+5 e \right )}\]

Input:

int(F^(c*(b*x+a))*cosh(e*x+d)^3*sinh(e*x+d)^2,x)
 

Output:

1/32*(-450*e^5*exp(4*e*x+4*d)+45*e^5-26*ln(F)^3*b^3*c^3*e^2*exp(8*e*x+8*d) 
+50*ln(F)^2*b^2*c^2*e^3*exp(10*e*x+10*d)-2*ln(F)^4*b^4*c^4*e*exp(4*e*x+4*d 
)+68*ln(F)^3*b^3*c^3*e^2*exp(6*e*x+6*d)+78*ln(F)^2*b^2*c^2*e^3*exp(8*e*x+8 
*d)+ln(F)^5*b^5*c^5*exp(10*e*x+10*d)+ln(F)^5*b^5*c^5*exp(8*e*x+8*d)-2*ln(F 
)^5*b^5*c^5*exp(6*e*x+6*d)-2*ln(F)^5*b^5*c^5*exp(4*e*x+4*d)+ln(F)^5*b^5*c^ 
5*exp(2*e*x+2*d)+c^5*b^5*ln(F)^5+9*ln(F)*b*c*e^4*exp(10*e*x+10*d)+3*ln(F)^ 
4*b^4*c^4*e*exp(2*e*x+2*d)+68*ln(F)^3*b^3*c^3*e^2*exp(4*e*x+4*d)-68*ln(F)^ 
2*b^2*c^2*e^3*exp(6*e*x+6*d)+25*ln(F)*b*c*e^4*exp(8*e*x+8*d)+5*ln(F)^4*b^4 
*c^4*e-50*ln(F)^2*b^2*c^2*e^3-26*ln(F)^3*b^3*c^3*e^2*exp(2*e*x+2*d)+68*ln( 
F)^2*b^2*c^2*e^3*exp(4*e*x+4*d)-450*ln(F)*b*c*e^4*exp(6*e*x+6*d)-78*ln(F)^ 
2*b^2*c^2*e^3*exp(2*e*x+2*d)-450*ln(F)*b*c*e^4*exp(4*e*x+4*d)+25*ln(F)*b*c 
*e^4*exp(2*e*x+2*d)-5*ln(F)^4*b^4*c^4*e*exp(10*e*x+10*d)-3*ln(F)^4*b^4*c^4 
*e*exp(8*e*x+8*d)-10*ln(F)^3*b^3*c^3*e^2*exp(10*e*x+10*d)+2*ln(F)^4*b^4*c^ 
4*e*exp(6*e*x+6*d)+75*e^5*exp(2*e*x+2*d)+450*e^5*exp(6*e*x+6*d)-75*e^5*exp 
(8*e*x+8*d)-45*e^5*exp(10*e*x+10*d)-10*c^3*b^3*ln(F)^3*e^2+9*c*b*ln(F)*e^4 
)/(b*c*ln(F)-e)*exp(-5*e*x-5*d)/(b*c*ln(F)-3*e)/(b*c*ln(F)-5*e)/(e+b*c*ln( 
F))/(b*c*ln(F)+3*e)/(b*c*ln(F)+5*e)*F^(c*(b*x+a))
 

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 7786 vs. \(2 (182) = 364\).

Time = 0.70 (sec) , antiderivative size = 7786, normalized size of antiderivative = 38.74 \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=\text {Too large to display} \] Input:

integrate(F^(c*(b*x+a))*cosh(e*x+d)^3*sinh(e*x+d)^2,x, algorithm="fricas")
 

Output:

Too large to include
 

Sympy [F(-1)]

Timed out. \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=\text {Timed out} \] Input:

integrate(F**(c*(b*x+a))*cosh(e*x+d)**3*sinh(e*x+d)**2,x)
 

Output:

Timed out
                                                                                    
                                                                                    
 

Maxima [A] (verification not implemented)

Time = 0.06 (sec) , antiderivative size = 205, normalized size of antiderivative = 1.02 \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=\frac {F^{a c} e^{\left (b c x \log \left (F\right ) + 5 \, e x + 5 \, d\right )}}{32 \, {\left (b c \log \left (F\right ) + 5 \, e\right )}} + \frac {F^{a c} e^{\left (b c x \log \left (F\right ) + 3 \, e x + 3 \, d\right )}}{32 \, {\left (b c \log \left (F\right ) + 3 \, e\right )}} - \frac {F^{a c} e^{\left (b c x \log \left (F\right ) + e x + d\right )}}{16 \, {\left (b c \log \left (F\right ) + e\right )}} - \frac {F^{a c} e^{\left (b c x \log \left (F\right ) - e x\right )}}{16 \, {\left (b c e^{d} \log \left (F\right ) - e e^{d}\right )}} + \frac {F^{a c} e^{\left (b c x \log \left (F\right ) - 3 \, e x\right )}}{32 \, {\left (b c e^{\left (3 \, d\right )} \log \left (F\right ) - 3 \, e e^{\left (3 \, d\right )}\right )}} + \frac {F^{a c} e^{\left (b c x \log \left (F\right ) - 5 \, e x\right )}}{32 \, {\left (b c e^{\left (5 \, d\right )} \log \left (F\right ) - 5 \, e e^{\left (5 \, d\right )}\right )}} \] Input:

integrate(F^(c*(b*x+a))*cosh(e*x+d)^3*sinh(e*x+d)^2,x, algorithm="maxima")
 

Output:

1/32*F^(a*c)*e^(b*c*x*log(F) + 5*e*x + 5*d)/(b*c*log(F) + 5*e) + 1/32*F^(a 
*c)*e^(b*c*x*log(F) + 3*e*x + 3*d)/(b*c*log(F) + 3*e) - 1/16*F^(a*c)*e^(b* 
c*x*log(F) + e*x + d)/(b*c*log(F) + e) - 1/16*F^(a*c)*e^(b*c*x*log(F) - e* 
x)/(b*c*e^d*log(F) - e*e^d) + 1/32*F^(a*c)*e^(b*c*x*log(F) - 3*e*x)/(b*c*e 
^(3*d)*log(F) - 3*e*e^(3*d)) + 1/32*F^(a*c)*e^(b*c*x*log(F) - 5*e*x)/(b*c* 
e^(5*d)*log(F) - 5*e*e^(5*d))
 

Giac [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.19 (sec) , antiderivative size = 1823, normalized size of antiderivative = 9.07 \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=\text {Too large to display} \] Input:

integrate(F^(c*(b*x+a))*cosh(e*x+d)^3*sinh(e*x+d)^2,x, algorithm="giac")
 

Output:

1/16*(2*(b*c*log(abs(F)) + 5*e)*cos(-1/2*pi*b*c*x*sgn(F) + 1/2*pi*b*c*x - 
1/2*pi*a*c*sgn(F) + 1/2*pi*a*c)/((pi*b*c*sgn(F) - pi*b*c)^2 + 4*(b*c*log(a 
bs(F)) + 5*e)^2) - (pi*b*c*sgn(F) - pi*b*c)*sin(-1/2*pi*b*c*x*sgn(F) + 1/2 
*pi*b*c*x - 1/2*pi*a*c*sgn(F) + 1/2*pi*a*c)/((pi*b*c*sgn(F) - pi*b*c)^2 + 
4*(b*c*log(abs(F)) + 5*e)^2))*e^(a*c*log(abs(F)) + (b*c*log(abs(F)) + 5*e) 
*x + 5*d) + I*(I*e^(1/2*I*pi*b*c*x*sgn(F) - 1/2*I*pi*b*c*x + 1/2*I*pi*a*c* 
sgn(F) - 1/2*I*pi*a*c)/(32*I*pi*b*c*sgn(F) - 32*I*pi*b*c + 64*b*c*log(abs( 
F)) + 320*e) - I*e^(-1/2*I*pi*b*c*x*sgn(F) + 1/2*I*pi*b*c*x - 1/2*I*pi*a*c 
*sgn(F) + 1/2*I*pi*a*c)/(-32*I*pi*b*c*sgn(F) + 32*I*pi*b*c + 64*b*c*log(ab 
s(F)) + 320*e))*e^(a*c*log(abs(F)) + (b*c*log(abs(F)) + 5*e)*x + 5*d) + 1/ 
16*(2*(b*c*log(abs(F)) + 3*e)*cos(-1/2*pi*b*c*x*sgn(F) + 1/2*pi*b*c*x - 1/ 
2*pi*a*c*sgn(F) + 1/2*pi*a*c)/((pi*b*c*sgn(F) - pi*b*c)^2 + 4*(b*c*log(abs 
(F)) + 3*e)^2) - (pi*b*c*sgn(F) - pi*b*c)*sin(-1/2*pi*b*c*x*sgn(F) + 1/2*p 
i*b*c*x - 1/2*pi*a*c*sgn(F) + 1/2*pi*a*c)/((pi*b*c*sgn(F) - pi*b*c)^2 + 4* 
(b*c*log(abs(F)) + 3*e)^2))*e^(a*c*log(abs(F)) + (b*c*log(abs(F)) + 3*e)*x 
 + 3*d) + I*(I*e^(1/2*I*pi*b*c*x*sgn(F) - 1/2*I*pi*b*c*x + 1/2*I*pi*a*c*sg 
n(F) - 1/2*I*pi*a*c)/(32*I*pi*b*c*sgn(F) - 32*I*pi*b*c + 64*b*c*log(abs(F) 
) + 192*e) - I*e^(-1/2*I*pi*b*c*x*sgn(F) + 1/2*I*pi*b*c*x - 1/2*I*pi*a*c*s 
gn(F) + 1/2*I*pi*a*c)/(-32*I*pi*b*c*sgn(F) + 32*I*pi*b*c + 64*b*c*log(abs( 
F)) + 192*e))*e^(a*c*log(abs(F)) + (b*c*log(abs(F)) + 3*e)*x + 3*d) - 1...
 

Mupad [B] (verification not implemented)

Time = 4.75 (sec) , antiderivative size = 411, normalized size of antiderivative = 2.04 \[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=-\frac {F^{a\,c+b\,c\,x}\,\left (b^5\,c^5\,{\mathrm {cosh}\left (d+e\,x\right )}^3\,{\mathrm {sinh}\left (d+e\,x\right )}^2\,{\ln \left (F\right )}^5-2\,b^4\,c^4\,e\,{\mathrm {cosh}\left (d+e\,x\right )}^4\,\mathrm {sinh}\left (d+e\,x\right )\,{\ln \left (F\right )}^4-3\,b^4\,c^4\,e\,{\mathrm {cosh}\left (d+e\,x\right )}^2\,{\mathrm {sinh}\left (d+e\,x\right )}^3\,{\ln \left (F\right )}^4+2\,b^3\,c^3\,e^2\,{\mathrm {cosh}\left (d+e\,x\right )}^5\,{\ln \left (F\right )}^3-18\,b^3\,c^3\,e^2\,{\mathrm {cosh}\left (d+e\,x\right )}^3\,{\mathrm {sinh}\left (d+e\,x\right )}^2\,{\ln \left (F\right )}^3+6\,b^3\,c^3\,e^2\,\mathrm {cosh}\left (d+e\,x\right )\,{\mathrm {sinh}\left (d+e\,x\right )}^4\,{\ln \left (F\right )}^3+26\,b^2\,c^2\,e^3\,{\mathrm {cosh}\left (d+e\,x\right )}^4\,\mathrm {sinh}\left (d+e\,x\right )\,{\ln \left (F\right )}^2+30\,b^2\,c^2\,e^3\,{\mathrm {cosh}\left (d+e\,x\right )}^2\,{\mathrm {sinh}\left (d+e\,x\right )}^3\,{\ln \left (F\right )}^2-6\,b^2\,c^2\,e^3\,{\mathrm {sinh}\left (d+e\,x\right )}^5\,{\ln \left (F\right )}^2-26\,b\,c\,e^4\,{\mathrm {cosh}\left (d+e\,x\right )}^5\,\ln \left (F\right )+65\,b\,c\,e^4\,{\mathrm {cosh}\left (d+e\,x\right )}^3\,{\mathrm {sinh}\left (d+e\,x\right )}^2\,\ln \left (F\right )-30\,b\,c\,e^4\,\mathrm {cosh}\left (d+e\,x\right )\,{\mathrm {sinh}\left (d+e\,x\right )}^4\,\ln \left (F\right )-75\,e^5\,{\mathrm {cosh}\left (d+e\,x\right )}^2\,{\mathrm {sinh}\left (d+e\,x\right )}^3+30\,e^5\,{\mathrm {sinh}\left (d+e\,x\right )}^5\right )}{-b^6\,c^6\,{\ln \left (F\right )}^6+35\,b^4\,c^4\,e^2\,{\ln \left (F\right )}^4-259\,b^2\,c^2\,e^4\,{\ln \left (F\right )}^2+225\,e^6} \] Input:

int(F^(c*(a + b*x))*cosh(d + e*x)^3*sinh(d + e*x)^2,x)
 

Output:

-(F^(a*c + b*c*x)*(30*e^5*sinh(d + e*x)^5 - 75*e^5*cosh(d + e*x)^2*sinh(d 
+ e*x)^3 - 26*b*c*e^4*cosh(d + e*x)^5*log(F) + 2*b^3*c^3*e^2*cosh(d + e*x) 
^5*log(F)^3 + b^5*c^5*cosh(d + e*x)^3*sinh(d + e*x)^2*log(F)^5 - 6*b^2*c^2 
*e^3*sinh(d + e*x)^5*log(F)^2 + 65*b*c*e^4*cosh(d + e*x)^3*sinh(d + e*x)^2 
*log(F) + 30*b^2*c^2*e^3*cosh(d + e*x)^2*sinh(d + e*x)^3*log(F)^2 - 18*b^3 
*c^3*e^2*cosh(d + e*x)^3*sinh(d + e*x)^2*log(F)^3 - 2*b^4*c^4*e*cosh(d + e 
*x)^4*sinh(d + e*x)*log(F)^4 - 30*b*c*e^4*cosh(d + e*x)*sinh(d + e*x)^4*lo 
g(F) + 26*b^2*c^2*e^3*cosh(d + e*x)^4*sinh(d + e*x)*log(F)^2 + 6*b^3*c^3*e 
^2*cosh(d + e*x)*sinh(d + e*x)^4*log(F)^3 - 3*b^4*c^4*e*cosh(d + e*x)^2*si 
nh(d + e*x)^3*log(F)^4))/(225*e^6 - b^6*c^6*log(F)^6 - 259*b^2*c^2*e^4*log 
(F)^2 + 35*b^4*c^4*e^2*log(F)^4)
 

Reduce [F]

\[ \int F^{c (a+b x)} \cosh ^3(d+e x) \sinh ^2(d+e x) \, dx=f^{a c} \left (\int f^{b c x} \cosh \left (e x +d \right )^{3} \sinh \left (e x +d \right )^{2}d x \right ) \] Input:

int(F^(c*(b*x+a))*cosh(e*x+d)^3*sinh(e*x+d)^2,x)
 

Output:

f**(a*c)*int(f**(b*c*x)*cosh(d + e*x)**3*sinh(d + e*x)**2,x)