\(\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx\) [171]
Optimal result
Integrand size = 33, antiderivative size = 393 \[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=-\frac {6 c \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{f^4}+\frac {3 c x^2 \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{f^2}+\frac {3 c x \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{8 f^3}-\frac {3 c x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f}-\frac {3 c \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{8 f^4}+\frac {3 c x^2 \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f^2}+\frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {6 c x \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{f^3}-\frac {3 c x \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{4 f^3}
\]
[Out]
1/2*x^3*sec(f*x+e)*(c+c*sin(f*x+e))^(5/2)*(a-a*sin(f*x+e))^(1/2)/c/f-6*c*(a-a*sin(f*x+e))^(1/2)*(c+c*sin(f*x+e
))^(1/2)/f^4+3*c*x^2*(a-a*sin(f*x+e))^(1/2)*(c+c*sin(f*x+e))^(1/2)/f^2+3/8*c*x*sec(f*x+e)*(a-a*sin(f*x+e))^(1/
2)*(c+c*sin(f*x+e))^(1/2)/f^3-3/4*c*x^3*sec(f*x+e)*(a-a*sin(f*x+e))^(1/2)*(c+c*sin(f*x+e))^(1/2)/f-3/8*c*sin(f
*x+e)*(a-a*sin(f*x+e))^(1/2)*(c+c*sin(f*x+e))^(1/2)/f^4+3/4*c*x^2*sin(f*x+e)*(a-a*sin(f*x+e))^(1/2)*(c+c*sin(f
*x+e))^(1/2)/f^2-6*c*x*(a-a*sin(f*x+e))^(1/2)*(c+c*sin(f*x+e))^(1/2)*tan(f*x+e)/f^3-3/4*c*x*sin(f*x+e)*(a-a*si
n(f*x+e))^(1/2)*(c+c*sin(f*x+e))^(1/2)*tan(f*x+e)/f^3
Rubi [A] (verified)
Time = 0.47 (sec) , antiderivative size = 393, normalized size of antiderivative = 1.00, number of
steps used = 11, number of rules used = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {4700, 4507, 3398, 3377, 2718,
3392, 30, 2715, 8} \[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=-\frac {3 c \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{8 f^4}-\frac {6 c \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{f^4}-\frac {3 c x \sin (e+f x) \tan (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{4 f^3}-\frac {6 c x \tan (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{f^3}+\frac {3 c x \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{8 f^3}+\frac {3 c x^2 \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{4 f^2}+\frac {3 c x^2 \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{f^2}+\frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c \sin (e+f x)+c)^{5/2}}{2 c f}-\frac {3 c x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c \sin (e+f x)+c}}{4 f}
\]
[In]
Int[x^3*Sqrt[a - a*Sin[e + f*x]]*(c + c*Sin[e + f*x])^(3/2),x]
[Out]
(-6*c*Sqrt[a - a*Sin[e + f*x]]*Sqrt[c + c*Sin[e + f*x]])/f^4 + (3*c*x^2*Sqrt[a - a*Sin[e + f*x]]*Sqrt[c + c*Si
n[e + f*x]])/f^2 + (3*c*x*Sec[e + f*x]*Sqrt[a - a*Sin[e + f*x]]*Sqrt[c + c*Sin[e + f*x]])/(8*f^3) - (3*c*x^3*S
ec[e + f*x]*Sqrt[a - a*Sin[e + f*x]]*Sqrt[c + c*Sin[e + f*x]])/(4*f) - (3*c*Sin[e + f*x]*Sqrt[a - a*Sin[e + f*
x]]*Sqrt[c + c*Sin[e + f*x]])/(8*f^4) + (3*c*x^2*Sin[e + f*x]*Sqrt[a - a*Sin[e + f*x]]*Sqrt[c + c*Sin[e + f*x]
])/(4*f^2) + (x^3*Sec[e + f*x]*Sqrt[a - a*Sin[e + f*x]]*(c + c*Sin[e + f*x])^(5/2))/(2*c*f) - (6*c*x*Sqrt[a -
a*Sin[e + f*x]]*Sqrt[c + c*Sin[e + f*x]]*Tan[e + f*x])/f^3 - (3*c*x*Sin[e + f*x]*Sqrt[a - a*Sin[e + f*x]]*Sqrt
[c + c*Sin[e + f*x]]*Tan[e + f*x])/(4*f^3)
Rule 8
Int[a_, x_Symbol] :> Simp[a*x, x] /; FreeQ[a, x]
Rule 30
Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]
Rule 2715
Int[((b_.)*sin[(c_.) + (d_.)*(x_)])^(n_), x_Symbol] :> Simp[(-b)*Cos[c + d*x]*((b*Sin[c + d*x])^(n - 1)/(d*n))
, x] + Dist[b^2*((n - 1)/n), Int[(b*Sin[c + d*x])^(n - 2), x], x] /; FreeQ[{b, c, d}, x] && GtQ[n, 1] && Integ
erQ[2*n]
Rule 2718
Int[sin[(c_.) + (d_.)*(x_)], x_Symbol] :> Simp[-Cos[c + d*x]/d, x] /; FreeQ[{c, d}, x]
Rule 3377
Int[((c_.) + (d_.)*(x_))^(m_.)*sin[(e_.) + (f_.)*(x_)], x_Symbol] :> Simp[(-(c + d*x)^m)*(Cos[e + f*x]/f), x]
+ Dist[d*(m/f), Int[(c + d*x)^(m - 1)*Cos[e + f*x], x], x] /; FreeQ[{c, d, e, f}, x] && GtQ[m, 0]
Rule 3392
Int[((c_.) + (d_.)*(x_))^(m_)*((b_.)*sin[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[d*m*(c + d*x)^(m - 1)*((
b*Sin[e + f*x])^n/(f^2*n^2)), x] + (Dist[b^2*((n - 1)/n), Int[(c + d*x)^m*(b*Sin[e + f*x])^(n - 2), x], x] - D
ist[d^2*m*((m - 1)/(f^2*n^2)), Int[(c + d*x)^(m - 2)*(b*Sin[e + f*x])^n, x], x] - Simp[b*(c + d*x)^m*Cos[e + f
*x]*((b*Sin[e + f*x])^(n - 1)/(f*n)), x]) /; FreeQ[{b, c, d, e, f}, x] && GtQ[n, 1] && GtQ[m, 1]
Rule 3398
Int[((c_.) + (d_.)*(x_))^(m_.)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(n_.), x_Symbol] :> Int[ExpandIntegrand[
(c + d*x)^m, (a + b*Sin[e + f*x])^n, x], x] /; FreeQ[{a, b, c, d, e, f, m}, x] && IGtQ[n, 0] && (EqQ[n, 1] ||
IGtQ[m, 0] || NeQ[a^2 - b^2, 0])
Rule 4507
Int[Cos[(c_.) + (d_.)*(x_)]*((e_.) + (f_.)*(x_))^(m_.)*((a_) + (b_.)*Sin[(c_.) + (d_.)*(x_)])^(n_.), x_Symbol]
:> Simp[(e + f*x)^m*((a + b*Sin[c + d*x])^(n + 1)/(b*d*(n + 1))), x] - Dist[f*(m/(b*d*(n + 1))), Int[(e + f*x
)^(m - 1)*(a + b*Sin[c + d*x])^(n + 1), x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && IGtQ[m, 0] && NeQ[n, -1]
Rule 4700
Int[((g_.) + (h_.)*(x_))^(p_.)*((a_) + (b_.)*Sin[(e_.) + (f_.)*(x_)])^(m_)*((c_) + (d_.)*Sin[(e_.) + (f_.)*(x_
)])^(n_), x_Symbol] :> Dist[a^IntPart[m]*c^IntPart[m]*(a + b*Sin[e + f*x])^FracPart[m]*((c + d*Sin[e + f*x])^F
racPart[m]/Cos[e + f*x]^(2*FracPart[m])), Int[(g + h*x)^p*Cos[e + f*x]^(2*m)*(c + d*Sin[e + f*x])^(n - m), x],
x] /; FreeQ[{a, b, c, d, e, f, g, h}, x] && EqQ[b*c + a*d, 0] && EqQ[a^2 - b^2, 0] && IntegerQ[p] && IntegerQ
[2*m] && IGeQ[n - m, 0]
Rubi steps \begin{align*}
\text {integral}& = \left (\sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int x^3 \cos (e+f x) (c+c \sin (e+f x)) \, dx \\ & = \frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {\left (3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int x^2 (c+c \sin (e+f x))^2 \, dx}{2 c f} \\ & = \frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {\left (3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int \left (c^2 x^2+2 c^2 x^2 \sin (e+f x)+c^2 x^2 \sin ^2(e+f x)\right ) \, dx}{2 c f} \\ & = -\frac {c x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{2 f}+\frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {\left (3 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int x^2 \sin ^2(e+f x) \, dx}{2 f}-\frac {\left (3 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int x^2 \sin (e+f x) \, dx}{f} \\ & = \frac {3 c x^2 \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{f^2}-\frac {c x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{2 f}+\frac {3 c x^2 \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f^2}+\frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {3 c x \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{4 f^3}+\frac {\left (3 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int \sin ^2(e+f x) \, dx}{4 f^3}-\frac {\left (6 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int x \cos (e+f x) \, dx}{f^2}-\frac {\left (3 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int x^2 \, dx}{4 f} \\ & = \frac {3 c x^2 \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{f^2}-\frac {3 c x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f}-\frac {3 c \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{8 f^4}+\frac {3 c x^2 \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f^2}+\frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {6 c x \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{f^3}-\frac {3 c x \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{4 f^3}+\frac {\left (3 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int 1 \, dx}{8 f^3}+\frac {\left (6 c \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}\right ) \int \sin (e+f x) \, dx}{f^3} \\ & = -\frac {6 c \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{f^4}+\frac {3 c x^2 \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{f^2}+\frac {3 c x \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{8 f^3}-\frac {3 c x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f}-\frac {3 c \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{8 f^4}+\frac {3 c x^2 \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{4 f^2}+\frac {x^3 \sec (e+f x) \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{5/2}}{2 c f}-\frac {6 c x \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{f^3}-\frac {3 c x \sin (e+f x) \sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)} \tan (e+f x)}{4 f^3} \\
\end{align*}
Mathematica [A] (verified)
Time = 1.38 (sec) , antiderivative size = 113, normalized size of antiderivative = 0.29
\[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=\frac {c \sqrt {c (1+\sin (e+f x))} \sqrt {a-a \sin (e+f x)} \left (-f x \left (-3+2 f^2 x^2\right ) \cos (2 (e+f x)) \sec (e+f x)+\left (-3+6 f^2 x^2\right ) \sin (e+f x)+8 \left (-6+3 f^2 x^2+f x \left (-6+f^2 x^2\right ) \tan (e+f x)\right )\right )}{8 f^4}
\]
[In]
Integrate[x^3*Sqrt[a - a*Sin[e + f*x]]*(c + c*Sin[e + f*x])^(3/2),x]
[Out]
(c*Sqrt[c*(1 + Sin[e + f*x])]*Sqrt[a - a*Sin[e + f*x]]*(-(f*x*(-3 + 2*f^2*x^2)*Cos[2*(e + f*x)]*Sec[e + f*x])
+ (-3 + 6*f^2*x^2)*Sin[e + f*x] + 8*(-6 + 3*f^2*x^2 + f*x*(-6 + f^2*x^2)*Tan[e + f*x])))/(8*f^4)
Maple [F]
\[\int x^{3} \left (c +c \sin \left (f x +e \right )\right )^{\frac {3}{2}} \sqrt {a -\sin \left (f x +e \right ) a}d x\]
[In]
int(x^3*(c+c*sin(f*x+e))^(3/2)*(a-sin(f*x+e)*a)^(1/2),x)
[Out]
int(x^3*(c+c*sin(f*x+e))^(3/2)*(a-sin(f*x+e)*a)^(1/2),x)
Fricas [F(-2)]
Exception generated. \[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=\text {Exception raised: TypeError}
\]
[In]
integrate(x^3*(c+c*sin(f*x+e))^(3/2)*(a-a*sin(f*x+e))^(1/2),x, algorithm="fricas")
[Out]
Exception raised: TypeError >> Error detected within library code: integrate: implementation incomplete (ha
s polynomial part)
Sympy [F(-1)]
Timed out. \[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=\text {Timed out}
\]
[In]
integrate(x**3*(c+c*sin(f*x+e))**(3/2)*(a-a*sin(f*x+e))**(1/2),x)
[Out]
Timed out
Maxima [F]
\[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=\int { \sqrt {-a \sin \left (f x + e\right ) + a} {\left (c \sin \left (f x + e\right ) + c\right )}^{\frac {3}{2}} x^{3} \,d x }
\]
[In]
integrate(x^3*(c+c*sin(f*x+e))^(3/2)*(a-a*sin(f*x+e))^(1/2),x, algorithm="maxima")
[Out]
integrate(sqrt(-a*sin(f*x + e) + a)*(c*sin(f*x + e) + c)^(3/2)*x^3, x)
Giac [B] (verification not implemented)
Leaf count of result is larger than twice the leaf count of optimal. 1487 vs. \(2 (345) = 690\).
Time = 0.56 (sec) , antiderivative size = 1487, normalized size of antiderivative = 3.78
\[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=\text {Too large to display}
\]
[In]
integrate(x^3*(c+c*sin(f*x+e))^(3/2)*(a-a*sin(f*x+e))^(1/2),x, algorithm="giac")
[Out]
1/32*sqrt(a)*sqrt(c)*((pi^3*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 3*pi^2
*(pi - 2*f*x - 2*e)*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 3*pi*(pi - 2*f
*x - 2*e)^2*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - (pi - 2*f*x - 2*e)^3*c
*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 6*pi^2*c*e*sgn(cos(-1/4*pi + 1/2*f*
x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 12*pi*(pi - 2*f*x - 2*e)*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2
*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 6*(pi - 2*f*x - 2*e)^2*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(
sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 12*pi*c*e^2*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x +
1/2*e)) - 12*(pi - 2*f*x - 2*e)*c*e^2*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e))
- 8*c*e^3*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 6*pi*c*sgn(cos(-1/4*pi + 1
/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 6*(pi - 2*f*x - 2*e)*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*
e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 12*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x
+ 1/2*e)))*cos(2*f*x + 2*e)/f^3 - 24*(pi^2*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x +
1/2*e)) - 2*pi*(pi - 2*f*x - 2*e)*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) +
(pi - 2*f*x - 2*e)^2*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 4*pi*c*e*sgn(
cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 4*(pi - 2*f*x - 2*e)*c*e*sgn(cos(-1/4*pi
+ 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 4*c*e^2*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin
(-1/4*pi + 1/2*f*x + 1/2*e)) - 8*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)))*co
s(f*x + e)/f^3 - 3*(pi^2*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 2*pi*(pi
- 2*f*x - 2*e)*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + (pi - 2*f*x - 2*e)^
2*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 4*pi*c*e*sgn(cos(-1/4*pi + 1/2*f
*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 4*(pi - 2*f*x - 2*e)*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e)
)*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 4*c*e^2*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x
+ 1/2*e)) - 2*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)))*sin(2*f*x + 2*e)/f^3
- 4*(pi^3*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 3*pi^2*(pi - 2*f*x - 2*e
)*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 3*pi*(pi - 2*f*x - 2*e)^2*c*sgn(
cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - (pi - 2*f*x - 2*e)^3*c*sgn(cos(-1/4*pi +
1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 6*pi^2*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(si
n(-1/4*pi + 1/2*f*x + 1/2*e)) + 12*pi*(pi - 2*f*x - 2*e)*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*
pi + 1/2*f*x + 1/2*e)) - 6*(pi - 2*f*x - 2*e)^2*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*
f*x + 1/2*e)) + 12*pi*c*e^2*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 12*(pi -
2*f*x - 2*e)*c*e^2*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 8*c*e^3*sgn(cos(
-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) - 24*pi*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*
sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)) + 24*(pi - 2*f*x - 2*e)*c*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4
*pi + 1/2*f*x + 1/2*e)) + 48*c*e*sgn(cos(-1/4*pi + 1/2*f*x + 1/2*e))*sgn(sin(-1/4*pi + 1/2*f*x + 1/2*e)))*sin(
f*x + e)/f^3)/f
Mupad [B] (verification not implemented)
Time = 29.20 (sec) , antiderivative size = 216, normalized size of antiderivative = 0.55
\[
\int x^3 \sqrt {a-a \sin (e+f x)} (c+c \sin (e+f x))^{3/2} \, dx=-\frac {c\,\sqrt {-a\,\left (\sin \left (e+f\,x\right )-1\right )}\,\sqrt {c\,\left (\sin \left (e+f\,x\right )+1\right )}\,\left (3\,\sin \left (e+f\,x\right )+96\,\cos \left (2\,e+2\,f\,x\right )+3\,\sin \left (3\,e+3\,f\,x\right )-48\,f^2\,x^2-6\,f\,x\,\cos \left (3\,e+3\,f\,x\right )+96\,f\,x\,\sin \left (2\,e+2\,f\,x\right )+4\,f^3\,x^3\,\cos \left (e+f\,x\right )-6\,f^2\,x^2\,\sin \left (e+f\,x\right )-6\,f\,x\,\cos \left (e+f\,x\right )-48\,f^2\,x^2\,\cos \left (2\,e+2\,f\,x\right )+4\,f^3\,x^3\,\cos \left (3\,e+3\,f\,x\right )-6\,f^2\,x^2\,\sin \left (3\,e+3\,f\,x\right )-16\,f^3\,x^3\,\sin \left (2\,e+2\,f\,x\right )+96\right )}{16\,f^4\,\left (\cos \left (2\,e+2\,f\,x\right )+1\right )}
\]
[In]
int(x^3*(a - a*sin(e + f*x))^(1/2)*(c + c*sin(e + f*x))^(3/2),x)
[Out]
-(c*(-a*(sin(e + f*x) - 1))^(1/2)*(c*(sin(e + f*x) + 1))^(1/2)*(3*sin(e + f*x) + 96*cos(2*e + 2*f*x) + 3*sin(3
*e + 3*f*x) - 48*f^2*x^2 - 6*f*x*cos(3*e + 3*f*x) + 96*f*x*sin(2*e + 2*f*x) + 4*f^3*x^3*cos(e + f*x) - 6*f^2*x
^2*sin(e + f*x) - 6*f*x*cos(e + f*x) - 48*f^2*x^2*cos(2*e + 2*f*x) + 4*f^3*x^3*cos(3*e + 3*f*x) - 6*f^2*x^2*si
n(3*e + 3*f*x) - 16*f^3*x^3*sin(2*e + 2*f*x) + 96))/(16*f^4*(cos(2*e + 2*f*x) + 1))