\(\int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx\) [166]

Optimal result
Mathematica [F]
Rubi [F]
Maple [F]
Fricas [F]
Sympy [F(-1)]
Maxima [F]
Giac [F]
Mupad [F(-1)]
Reduce [F]

Optimal result

Integrand size = 30, antiderivative size = 175 \[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=-\frac {2^{-1+p+q} \left (e^{2 d+2 e x}\right )^{-\frac {b c \log (F)}{2 e}} \left (1-e^{2 d+2 e x}\right ) \left (1+e^{2 d+2 e x}\right )^{-p-q} F^{c (a+b x)} \operatorname {AppellF1}\left (1-p-q,1-\frac {b c \log (F)}{2 e},-p-q,2-p-q,1-e^{2 d+2 e x},\frac {1}{2} \left (1-e^{2 d+2 e x}\right )\right ) (f \coth (d+e x))^p (g \coth (d+e x))^q}{e (1-p-q)} \] Output:

-2^(-1+p+q)*(1-exp(2*e*x+2*d))*(1+exp(2*e*x+2*d))^(-p-q)*F^(c*(b*x+a))*App 
ellF1(1-p-q,1-1/2*b*c*ln(F)/e,-p-q,2-p-q,1-exp(2*e*x+2*d),1/2-1/2*exp(2*e* 
x+2*d))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q/e/(exp(2*e*x+2*d)^(1/2*b*c*ln( 
F)/e))/(1-p-q)
 

Mathematica [F]

\[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=\int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx \] Input:

Integrate[F^(c*(a + b*x))*(f*Coth[d + e*x])^p*(g*Coth[d + e*x])^q,x]
 

Output:

Integrate[F^(c*(a + b*x))*(f*Coth[d + e*x])^p*(g*Coth[d + e*x])^q, x]
 

Rubi [F]

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)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx\)

\(\Big \downarrow \) 2034

\(\displaystyle (f \coth (d+e x))^{-q} (g \coth (d+e x))^q \int F^{c (a+b x)} (f \coth (d+e x))^{p+q}dx\)

\(\Big \downarrow \) 7271

\(\displaystyle (f \coth (d+e x))^p (g \coth (d+e x))^q \coth ^{-p-q}(d+e x) \int F^{c (a+b x)} \coth ^{p+q}(d+e x)dx\)

\(\Big \downarrow \) 6030

\(\displaystyle (f \coth (d+e x))^p (g \coth (d+e x))^q \coth ^{-p-q}(d+e x) \int F^{a c+b x c} \coth ^{p+q}(d+e x)dx\)

\(\Big \downarrow \) 7299

\(\displaystyle (f \coth (d+e x))^p (g \coth (d+e x))^q \coth ^{-p-q}(d+e x) \int F^{a c+b x c} \coth ^{p+q}(d+e x)dx\)

Input:

Int[F^(c*(a + b*x))*(f*Coth[d + e*x])^p*(g*Coth[d + e*x])^q,x]
 

Output:

$Aborted
 
Maple [F]

\[\int F^{c \left (b x +a \right )} \left (f \coth \left (e x +d \right )\right )^{p} \left (g \coth \left (e x +d \right )\right )^{q}d x\]

Input:

int(F^(c*(b*x+a))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q,x)
 

Output:

int(F^(c*(b*x+a))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q,x)
 

Fricas [F]

\[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=\int { \left (f \coth \left (e x + d\right )\right )^{p} \left (g \coth \left (e x + d\right )\right )^{q} F^{{\left (b x + a\right )} c} \,d x } \] Input:

integrate(F^(c*(b*x+a))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q,x, algorithm=" 
fricas")
                                                                                    
                                                                                    
 

Output:

integral((f*coth(e*x + d))^p*(g*coth(e*x + d))^q*F^(b*c*x + a*c), x)
 

Sympy [F(-1)]

Timed out. \[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=\text {Timed out} \] Input:

integrate(F**(c*(b*x+a))*(f*coth(e*x+d))**p*(g*coth(e*x+d))**q,x)
 

Output:

Timed out
 

Maxima [F]

\[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=\int { \left (f \coth \left (e x + d\right )\right )^{p} \left (g \coth \left (e x + d\right )\right )^{q} F^{{\left (b x + a\right )} c} \,d x } \] Input:

integrate(F^(c*(b*x+a))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q,x, algorithm=" 
maxima")
 

Output:

integrate((f*coth(e*x + d))^p*(g*coth(e*x + d))^q*F^((b*x + a)*c), x)
 

Giac [F]

\[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=\int { \left (f \coth \left (e x + d\right )\right )^{p} \left (g \coth \left (e x + d\right )\right )^{q} F^{{\left (b x + a\right )} c} \,d x } \] Input:

integrate(F^(c*(b*x+a))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q,x, algorithm=" 
giac")
 

Output:

integrate((f*coth(e*x + d))^p*(g*coth(e*x + d))^q*F^((b*x + a)*c), x)
 

Mupad [F(-1)]

Timed out. \[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=\int F^{c\,\left (a+b\,x\right )}\,{\left (f\,\mathrm {coth}\left (d+e\,x\right )\right )}^p\,{\left (g\,\mathrm {coth}\left (d+e\,x\right )\right )}^q \,d x \] Input:

int(F^(c*(a + b*x))*(f*coth(d + e*x))^p*(g*coth(d + e*x))^q,x)
 

Output:

int(F^(c*(a + b*x))*(f*coth(d + e*x))^p*(g*coth(d + e*x))^q, x)
 

Reduce [F]

\[ \int F^{c (a+b x)} (f \coth (d+e x))^p (g \coth (d+e x))^q \, dx=g^{q} f^{a c +p} \left (\int f^{b c x} \coth \left (e x +d \right )^{p +q}d x \right ) \] Input:

int(F^(c*(b*x+a))*(f*coth(e*x+d))^p*(g*coth(e*x+d))^q,x)
 

Output:

g**q*f**(a*c + p)*int(f**(b*c*x)*coth(d + e*x)**(p + q),x)