Optimal. Leaf size=61 \[ \frac {a (c+d \sin (e+f x))^{n+2}}{d^2 f (n+2)}-\frac {a (c-d) (c+d \sin (e+f x))^{n+1}}{d^2 f (n+1)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 61, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {2833, 43} \[ \frac {a (c+d \sin (e+f x))^{n+2}}{d^2 f (n+2)}-\frac {a (c-d) (c+d \sin (e+f x))^{n+1}}{d^2 f (n+1)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 2833
Rubi steps
\begin {align*} \int \cos (e+f x) (a+a \sin (e+f x)) (c+d \sin (e+f x))^n \, dx &=\frac {\operatorname {Subst}\left (\int (a+x) \left (c+\frac {d x}{a}\right )^n \, dx,x,a \sin (e+f x)\right )}{a f}\\ &=\frac {\operatorname {Subst}\left (\int \left (-\frac {a (c-d) \left (c+\frac {d x}{a}\right )^n}{d}+\frac {a \left (c+\frac {d x}{a}\right )^{1+n}}{d}\right ) \, dx,x,a \sin (e+f x)\right )}{a f}\\ &=-\frac {a (c-d) (c+d \sin (e+f x))^{1+n}}{d^2 f (1+n)}+\frac {a (c+d \sin (e+f x))^{2+n}}{d^2 f (2+n)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.50, size = 52, normalized size = 0.85 \[ \frac {a (c+d \sin (e+f x))^{n+1} (-c+d (n+1) \sin (e+f x)+d (n+2))}{d^2 f (n+1) (n+2)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.49, size = 116, normalized size = 1.90 \[ -\frac {{\left (a c^{2} - 2 \, a c d - a d^{2} + {\left (a d^{2} n + a d^{2}\right )} \cos \left (f x + e\right )^{2} - {\left (a c d + a d^{2}\right )} n - {\left (2 \, a d^{2} + {\left (a c d + a d^{2}\right )} n\right )} \sin \left (f x + e\right )\right )} {\left (d \sin \left (f x + e\right ) + c\right )}^{n}}{d^{2} f n^{2} + 3 \, d^{2} f n + 2 \, d^{2} f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.16, size = 156, normalized size = 2.56 \[ \frac {\frac {{\left (d \sin \left (f x + e\right ) + c\right )}^{n + 1} a}{n + 1} + \frac {{\left ({\left (d \sin \left (f x + e\right ) + c\right )}^{2} {\left (d \sin \left (f x + e\right ) + c\right )}^{n} n - {\left (d \sin \left (f x + e\right ) + c\right )} {\left (d \sin \left (f x + e\right ) + c\right )}^{n} c n + {\left (d \sin \left (f x + e\right ) + c\right )}^{2} {\left (d \sin \left (f x + e\right ) + c\right )}^{n} - 2 \, {\left (d \sin \left (f x + e\right ) + c\right )} {\left (d \sin \left (f x + e\right ) + c\right )}^{n} c\right )} a}{{\left (n^{2} + 3 \, n + 2\right )} d}}{d f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 1.16, size = 0, normalized size = 0.00 \[ \int \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right ) \left (c +d \sin \left (f x +e \right )\right )^{n}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.69, size = 87, normalized size = 1.43 \[ \frac {\frac {{\left (d^{2} {\left (n + 1\right )} \sin \left (f x + e\right )^{2} + c d n \sin \left (f x + e\right ) - c^{2}\right )} {\left (d \sin \left (f x + e\right ) + c\right )}^{n} a}{{\left (n^{2} + 3 \, n + 2\right )} d^{2}} + \frac {{\left (d \sin \left (f x + e\right ) + c\right )}^{n + 1} a}{d {\left (n + 1\right )}}}{f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 10.08, size = 121, normalized size = 1.98 \[ \frac {a\,{\left (c+d\,\sin \left (e+f\,x\right )\right )}^n\,\left (4\,c\,d+d^2\,n+4\,d^2\,\sin \left (e+f\,x\right )+d^2\,\left (2\,{\sin \left (e+f\,x\right )}^2-1\right )-2\,c^2+d^2+2\,d^2\,n\,\sin \left (e+f\,x\right )+d^2\,n\,\left (2\,{\sin \left (e+f\,x\right )}^2-1\right )+2\,c\,d\,n+2\,c\,d\,n\,\sin \left (e+f\,x\right )\right )}{2\,d^2\,f\,\left (n^2+3\,n+2\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 7.13, size = 586, normalized size = 9.61 \[ \begin {cases} c^{n} \left (\frac {a \sin ^{2}{\left (e + f x \right )}}{2 f} + \frac {a \sin {\left (e + f x \right )}}{f}\right ) & \text {for}\: d = 0 \\x \left (c + d \sin {\relax (e )}\right )^{n} \left (a \sin {\relax (e )} + a\right ) \cos {\relax (e )} & \text {for}\: f = 0 \\\frac {a c \log {\left (\frac {c}{d} + \sin {\left (e + f x \right )} \right )}}{c d^{2} f + d^{3} f \sin {\left (e + f x \right )}} + \frac {a c}{c d^{2} f + d^{3} f \sin {\left (e + f x \right )}} + \frac {a d \log {\left (\frac {c}{d} + \sin {\left (e + f x \right )} \right )} \sin {\left (e + f x \right )}}{c d^{2} f + d^{3} f \sin {\left (e + f x \right )}} - \frac {a d}{c d^{2} f + d^{3} f \sin {\left (e + f x \right )}} & \text {for}\: n = -2 \\- \frac {a c \log {\left (\frac {c}{d} + \sin {\left (e + f x \right )} \right )}}{d^{2} f} + \frac {a \log {\left (\frac {c}{d} + \sin {\left (e + f x \right )} \right )}}{d f} + \frac {a \sin {\left (e + f x \right )}}{d f} & \text {for}\: n = -1 \\- \frac {a c^{2} \left (c + d \sin {\left (e + f x \right )}\right )^{n}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {a c d n \left (c + d \sin {\left (e + f x \right )}\right )^{n} \sin {\left (e + f x \right )}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {a c d n \left (c + d \sin {\left (e + f x \right )}\right )^{n}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {2 a c d \left (c + d \sin {\left (e + f x \right )}\right )^{n}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {a d^{2} n \left (c + d \sin {\left (e + f x \right )}\right )^{n} \sin ^{2}{\left (e + f x \right )}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {a d^{2} n \left (c + d \sin {\left (e + f x \right )}\right )^{n} \sin {\left (e + f x \right )}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {a d^{2} \left (c + d \sin {\left (e + f x \right )}\right )^{n} \sin ^{2}{\left (e + f x \right )}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} + \frac {2 a d^{2} \left (c + d \sin {\left (e + f x \right )}\right )^{n} \sin {\left (e + f x \right )}}{d^{2} f n^{2} + 3 d^{2} f n + 2 d^{2} f} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________