\(\int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx\) [916]

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

Optimal result

Integrand size = 31, antiderivative size = 63 \[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=-\frac {d^2 \operatorname {Hypergeometric2F1}\left (3,1+n,2+n,\frac {c+d \sin (e+f x)}{c-d}\right ) (c+d \sin (e+f x))^{1+n}}{a^3 (c-d)^3 f (1+n)} \] Output:

-d^2*hypergeom([3, 1+n],[2+n],(c+d*sin(f*x+e))/(c-d))*(c+d*sin(f*x+e))^(1+ 
n)/a^3/(c-d)^3/f/(1+n)
 

Mathematica [A] (verified)

Time = 0.07 (sec) , antiderivative size = 63, normalized size of antiderivative = 1.00 \[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\frac {d^2 \operatorname {Hypergeometric2F1}\left (3,1+n,2+n,-\frac {c+d \sin (e+f x)}{-c+d}\right ) (c+d \sin (e+f x))^{1+n}}{a^3 (-c+d)^3 f (1+n)} \] Input:

Integrate[(Cos[e + f*x]*(c + d*Sin[e + f*x])^n)/(a + a*Sin[e + f*x])^3,x]
 

Output:

(d^2*Hypergeometric2F1[3, 1 + n, 2 + n, -((c + d*Sin[e + f*x])/(-c + d))]* 
(c + d*Sin[e + f*x])^(1 + n))/(a^3*(-c + d)^3*f*(1 + n))
 

Rubi [A] (verified)

Time = 0.32 (sec) , antiderivative size = 69, normalized size of antiderivative = 1.10, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.097, Rules used = {3042, 3312, 78}

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 \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a \sin (e+f x)+a)^3} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a \sin (e+f x)+a)^3}dx\)

\(\Big \downarrow \) 3312

\(\displaystyle \frac {\int \frac {(c+d \sin (e+f x))^n}{(\sin (e+f x) a+a)^3}d(a \sin (e+f x))}{a f}\)

\(\Big \downarrow \) 78

\(\displaystyle -\frac {d^2 (c+d \sin (e+f x))^{n+1} \operatorname {Hypergeometric2F1}\left (3,n+1,n+2,\frac {a c+a d \sin (e+f x)}{a (c-d)}\right )}{a^3 f (n+1) (c-d)^3}\)

Input:

Int[(Cos[e + f*x]*(c + d*Sin[e + f*x])^n)/(a + a*Sin[e + f*x])^3,x]
 

Output:

-((d^2*Hypergeometric2F1[3, 1 + n, 2 + n, (a*c + a*d*Sin[e + f*x])/(a*(c - 
 d))]*(c + d*Sin[e + f*x])^(1 + n))/(a^3*(c - d)^3*f*(1 + n)))
 

Defintions of rubi rules used

rule 78
Int[((a_) + (b_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(b 
*c - a*d)^n*((a + b*x)^(m + 1)/(b^(n + 1)*(m + 1)))*Hypergeometric2F1[-n, m 
 + 1, m + 2, (-d)*((a + b*x)/(b*c - a*d))], x] /; FreeQ[{a, b, c, d, m}, x] 
 &&  !IntegerQ[m] && IntegerQ[n]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 3312
Int[cos[(e_.) + (f_.)*(x_)]*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_.)*(( 
c_.) + (d_.)*sin[(e_.) + (f_.)*(x_)])^(n_.), x_Symbol] :> Simp[1/(b*f)   Su 
bst[Int[(a + x)^m*(c + (d/b)*x)^n, x], x, b*Sin[e + f*x]], x] /; FreeQ[{a, 
b, c, d, e, f, m, n}, x]
 
Maple [F]

\[\int \frac {\cos \left (f x +e \right ) \left (c +d \sin \left (f x +e \right )\right )^{n}}{\left (a +a \sin \left (f x +e \right )\right )^{3}}d x\]

Input:

int(cos(f*x+e)*(c+d*sin(f*x+e))^n/(a+a*sin(f*x+e))^3,x)
 

Output:

int(cos(f*x+e)*(c+d*sin(f*x+e))^n/(a+a*sin(f*x+e))^3,x)
 

Fricas [F]

\[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\int { \frac {{\left (d \sin \left (f x + e\right ) + c\right )}^{n} \cos \left (f x + e\right )}{{\left (a \sin \left (f x + e\right ) + a\right )}^{3}} \,d x } \] Input:

integrate(cos(f*x+e)*(c+d*sin(f*x+e))^n/(a+a*sin(f*x+e))^3,x, algorithm="f 
ricas")
 

Output:

integral(-(d*sin(f*x + e) + c)^n*cos(f*x + e)/(3*a^3*cos(f*x + e)^2 - 4*a^ 
3 + (a^3*cos(f*x + e)^2 - 4*a^3)*sin(f*x + e)), x)
 

Sympy [F(-1)]

Timed out. \[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\text {Timed out} \] Input:

integrate(cos(f*x+e)*(c+d*sin(f*x+e))**n/(a+a*sin(f*x+e))**3,x)
 

Output:

Timed out
 

Maxima [F]

\[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\int { \frac {{\left (d \sin \left (f x + e\right ) + c\right )}^{n} \cos \left (f x + e\right )}{{\left (a \sin \left (f x + e\right ) + a\right )}^{3}} \,d x } \] Input:

integrate(cos(f*x+e)*(c+d*sin(f*x+e))^n/(a+a*sin(f*x+e))^3,x, algorithm="m 
axima")
 

Output:

integrate((d*sin(f*x + e) + c)^n*cos(f*x + e)/(a*sin(f*x + e) + a)^3, x)
 

Giac [F]

\[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\int { \frac {{\left (d \sin \left (f x + e\right ) + c\right )}^{n} \cos \left (f x + e\right )}{{\left (a \sin \left (f x + e\right ) + a\right )}^{3}} \,d x } \] Input:

integrate(cos(f*x+e)*(c+d*sin(f*x+e))^n/(a+a*sin(f*x+e))^3,x, algorithm="g 
iac")
 

Output:

integrate((d*sin(f*x + e) + c)^n*cos(f*x + e)/(a*sin(f*x + e) + a)^3, x)
 

Mupad [F(-1)]

Timed out. \[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\int \frac {\cos \left (e+f\,x\right )\,{\left (c+d\,\sin \left (e+f\,x\right )\right )}^n}{{\left (a+a\,\sin \left (e+f\,x\right )\right )}^3} \,d x \] Input:

int((cos(e + f*x)*(c + d*sin(e + f*x))^n)/(a + a*sin(e + f*x))^3,x)
 

Output:

int((cos(e + f*x)*(c + d*sin(e + f*x))^n)/(a + a*sin(e + f*x))^3, x)
 

Reduce [F]

\[ \int \frac {\cos (e+f x) (c+d \sin (e+f x))^n}{(a+a \sin (e+f x))^3} \, dx=\text {too large to display} \] Input:

int(cos(f*x+e)*(c+d*sin(f*x+e))^n/(a+a*sin(f*x+e))^3,x)
 

Output:

( - (sin(e + f*x)*d + c)**n*c + 2*int(((sin(e + f*x)*d + c)**n*cos(e + f*x 
)*sin(e + f*x))/(2*sin(e + f*x)**4*c*d - sin(e + f*x)**4*d**2*n + 2*sin(e 
+ f*x)**3*c**2 - sin(e + f*x)**3*c*d*n + 6*sin(e + f*x)**3*c*d - 3*sin(e + 
 f*x)**3*d**2*n + 6*sin(e + f*x)**2*c**2 - 3*sin(e + f*x)**2*c*d*n + 6*sin 
(e + f*x)**2*c*d - 3*sin(e + f*x)**2*d**2*n + 6*sin(e + f*x)*c**2 - 3*sin( 
e + f*x)*c*d*n + 2*sin(e + f*x)*c*d - sin(e + f*x)*d**2*n + 2*c**2 - c*d*n 
),x)*sin(e + f*x)**2*c**2*d*f*n - int(((sin(e + f*x)*d + c)**n*cos(e + f*x 
)*sin(e + f*x))/(2*sin(e + f*x)**4*c*d - sin(e + f*x)**4*d**2*n + 2*sin(e 
+ f*x)**3*c**2 - sin(e + f*x)**3*c*d*n + 6*sin(e + f*x)**3*c*d - 3*sin(e + 
 f*x)**3*d**2*n + 6*sin(e + f*x)**2*c**2 - 3*sin(e + f*x)**2*c*d*n + 6*sin 
(e + f*x)**2*c*d - 3*sin(e + f*x)**2*d**2*n + 6*sin(e + f*x)*c**2 - 3*sin( 
e + f*x)*c*d*n + 2*sin(e + f*x)*c*d - sin(e + f*x)*d**2*n + 2*c**2 - c*d*n 
),x)*sin(e + f*x)**2*c*d**2*f*n**2 - 2*int(((sin(e + f*x)*d + c)**n*cos(e 
+ f*x)*sin(e + f*x))/(2*sin(e + f*x)**4*c*d - sin(e + f*x)**4*d**2*n + 2*s 
in(e + f*x)**3*c**2 - sin(e + f*x)**3*c*d*n + 6*sin(e + f*x)**3*c*d - 3*si 
n(e + f*x)**3*d**2*n + 6*sin(e + f*x)**2*c**2 - 3*sin(e + f*x)**2*c*d*n + 
6*sin(e + f*x)**2*c*d - 3*sin(e + f*x)**2*d**2*n + 6*sin(e + f*x)*c**2 - 3 
*sin(e + f*x)*c*d*n + 2*sin(e + f*x)*c*d - sin(e + f*x)*d**2*n + 2*c**2 - 
c*d*n),x)*sin(e + f*x)**2*c*d**2*f*n + int(((sin(e + f*x)*d + c)**n*cos(e 
+ f*x)*sin(e + f*x))/(2*sin(e + f*x)**4*c*d - sin(e + f*x)**4*d**2*n + ...