\(\int \frac {x^3}{(a+a \sin (e+f x))^{3/2}} \, dx\) [139]

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

Optimal result

Integrand size = 18, antiderivative size = 691 \[ \int \frac {x^3}{(a+a \sin (e+f x))^{3/2}} \, dx=-\frac {3 x^2}{a f^2 \sqrt {a+a \sin (e+f x)}}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{2 a f \sqrt {a+a \sin (e+f x)}}-\frac {24 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^3 \sqrt {a+a \sin (e+f x)}}-\frac {x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f \sqrt {a+a \sin (e+f x)}}+\frac {24 i \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^4 \sqrt {a+a \sin (e+f x)}}+\frac {3 i x^2 \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^2 \sqrt {a+a \sin (e+f x)}}-\frac {24 i \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^4 \sqrt {a+a \sin (e+f x)}}-\frac {3 i x^2 \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^2 \sqrt {a+a \sin (e+f x)}}-\frac {12 x \operatorname {PolyLog}\left (3,-e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^3 \sqrt {a+a \sin (e+f x)}}+\frac {12 x \operatorname {PolyLog}\left (3,e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^3 \sqrt {a+a \sin (e+f x)}}-\frac {24 i \operatorname {PolyLog}\left (4,-e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^4 \sqrt {a+a \sin (e+f x)}}+\frac {24 i \operatorname {PolyLog}\left (4,e^{\frac {1}{4} i (2 e+\pi +2 f x)}\right ) \sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right )}{a f^4 \sqrt {a+a \sin (e+f x)}} \] Output:

-3*x^2/a/f^2/(a+a*sin(f*x+e))^(1/2)-1/2*x^3*cot(1/2*e+1/4*Pi+1/2*f*x)/a/f/ 
(a+a*sin(f*x+e))^(1/2)-24*x*arctanh(exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1 
/4*Pi+1/2*f*x)/a/f^3/(a+a*sin(f*x+e))^(1/2)-x^3*arctanh(exp(1/4*I*(2*f*x+P 
i+2*e)))*sin(1/2*e+1/4*Pi+1/2*f*x)/a/f/(a+a*sin(f*x+e))^(1/2)+24*I*polylog 
(2,-exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1/4*Pi+1/2*f*x)/a/f^4/(a+a*sin(f* 
x+e))^(1/2)+3*I*x^2*polylog(2,-exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1/4*Pi 
+1/2*f*x)/a/f^2/(a+a*sin(f*x+e))^(1/2)-24*I*polylog(2,exp(1/4*I*(2*f*x+Pi+ 
2*e)))*sin(1/2*e+1/4*Pi+1/2*f*x)/a/f^4/(a+a*sin(f*x+e))^(1/2)-3*I*x^2*poly 
log(2,exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1/4*Pi+1/2*f*x)/a/f^2/(a+a*sin( 
f*x+e))^(1/2)-12*x*polylog(3,-exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1/4*Pi+ 
1/2*f*x)/a/f^3/(a+a*sin(f*x+e))^(1/2)+12*x*polylog(3,exp(1/4*I*(2*f*x+Pi+2 
*e)))*sin(1/2*e+1/4*Pi+1/2*f*x)/a/f^3/(a+a*sin(f*x+e))^(1/2)-24*I*polylog( 
4,-exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1/4*Pi+1/2*f*x)/a/f^4/(a+a*sin(f*x 
+e))^(1/2)+24*I*polylog(4,exp(1/4*I*(2*f*x+Pi+2*e)))*sin(1/2*e+1/4*Pi+1/2* 
f*x)/a/f^4/(a+a*sin(f*x+e))^(1/2)
 

Mathematica [A] (verified)

Time = 3.52 (sec) , antiderivative size = 455, normalized size of antiderivative = 0.66 \[ \int \frac {x^3}{(a+a \sin (e+f x))^{3/2}} \, dx=-\frac {(-1)^{3/4} e^{-\frac {3}{2} i (e+f x)} \left (i+e^{i (e+f x)}\right )^3 \left (6 \left (8+f^2 x^2\right ) \operatorname {PolyLog}\left (2,-\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )-6 \left (8+f^2 x^2\right ) \operatorname {PolyLog}\left (2,\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )-i \left (24 f x \log \left (1-\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )+f^3 x^3 \log \left (1-\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )-24 f x \log \left (1+\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )-f^3 x^3 \log \left (1+\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )-24 f x \operatorname {PolyLog}\left (3,-\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )+24 f x \operatorname {PolyLog}\left (3,\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )-48 i \operatorname {PolyLog}\left (4,-\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )+48 i \operatorname {PolyLog}\left (4,\sqrt [4]{-1} e^{\frac {1}{2} i (e+f x)}\right )\right )\right )}{2 \sqrt {2} \left (-i a e^{-i (e+f x)} \left (i+e^{i (e+f x)}\right )^2\right )^{3/2} f^4}-\frac {x^2 \left ((6+f x) \cos \left (\frac {1}{2} (e+f x)\right )+(6-f x) \sin \left (\frac {1}{2} (e+f x)\right )\right ) \sqrt {a (1+\sin (e+f x))}}{2 a^2 f^2 \left (\cos \left (\frac {1}{2} (e+f x)\right )+\sin \left (\frac {1}{2} (e+f x)\right )\right )^3} \] Input:

Integrate[x^3/(a + a*Sin[e + f*x])^(3/2),x]
 

Output:

-1/2*((-1)^(3/4)*(I + E^(I*(e + f*x)))^3*(6*(8 + f^2*x^2)*PolyLog[2, -((-1 
)^(1/4)*E^((I/2)*(e + f*x)))] - 6*(8 + f^2*x^2)*PolyLog[2, (-1)^(1/4)*E^(( 
I/2)*(e + f*x))] - I*(24*f*x*Log[1 - (-1)^(1/4)*E^((I/2)*(e + f*x))] + f^3 
*x^3*Log[1 - (-1)^(1/4)*E^((I/2)*(e + f*x))] - 24*f*x*Log[1 + (-1)^(1/4)*E 
^((I/2)*(e + f*x))] - f^3*x^3*Log[1 + (-1)^(1/4)*E^((I/2)*(e + f*x))] - 24 
*f*x*PolyLog[3, -((-1)^(1/4)*E^((I/2)*(e + f*x)))] + 24*f*x*PolyLog[3, (-1 
)^(1/4)*E^((I/2)*(e + f*x))] - (48*I)*PolyLog[4, -((-1)^(1/4)*E^((I/2)*(e 
+ f*x)))] + (48*I)*PolyLog[4, (-1)^(1/4)*E^((I/2)*(e + f*x))])))/(Sqrt[2]* 
E^(((3*I)/2)*(e + f*x))*(((-I)*a*(I + E^(I*(e + f*x)))^2)/E^(I*(e + f*x))) 
^(3/2)*f^4) - (x^2*((6 + f*x)*Cos[(e + f*x)/2] + (6 - f*x)*Sin[(e + f*x)/2 
])*Sqrt[a*(1 + Sin[e + f*x])])/(2*a^2*f^2*(Cos[(e + f*x)/2] + Sin[(e + f*x 
)/2])^3)
 

Rubi [A] (verified)

Time = 1.47 (sec) , antiderivative size = 419, normalized size of antiderivative = 0.61, number of steps used = 13, number of rules used = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.667, Rules used = {3042, 3800, 3042, 4674, 3042, 4671, 2715, 2838, 3011, 7163, 2720, 7143}

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 {x^3}{(a \sin (e+f x)+a)^{3/2}} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {x^3}{(a \sin (e+f x)+a)^{3/2}}dx\)

\(\Big \downarrow \) 3800

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \int x^3 \csc ^3\left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )dx}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \int x^3 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )^3dx}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 4674

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {12 \int x \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )dx}{f^2}+\frac {1}{2} \int x^3 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )dx-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {12 \int x \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )dx}{f^2}+\frac {1}{2} \int x^3 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )dx-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 4671

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {12 \left (-\frac {2 \int \log \left (1-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}+\frac {2 \int \log \left (1+e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f^2}+\frac {1}{2} \left (-\frac {6 \int x^2 \log \left (1-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}+\frac {6 \int x^2 \log \left (1+e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 2715

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {12 \left (\frac {4 i \int e^{-\frac {1}{4} i (2 e+2 f x+\pi )} \log \left (1-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )de^{\frac {1}{4} i (2 e+2 f x+\pi )}}{f^2}-\frac {4 i \int e^{-\frac {1}{4} i (2 e+2 f x+\pi )} \log \left (1+e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )de^{\frac {1}{4} i (2 e+2 f x+\pi )}}{f^2}-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f^2}+\frac {1}{2} \left (-\frac {6 \int x^2 \log \left (1-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}+\frac {6 \int x^2 \log \left (1+e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 2838

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {1}{2} \left (-\frac {6 \int x^2 \log \left (1-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}+\frac {6 \int x^2 \log \left (1+e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )+\frac {12 \left (-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}+\frac {4 i \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {4 i \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}\right )}{f^2}-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 3011

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {1}{2} \left (\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \int x \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}\right )}{f}-\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \int x \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}\right )}{f}-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )+\frac {12 \left (-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}+\frac {4 i \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {4 i \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}\right )}{f^2}-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 7163

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {1}{2} \left (\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \left (\frac {2 i \int \operatorname {PolyLog}\left (3,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}-\frac {2 i x \operatorname {PolyLog}\left (3,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f}\right )}{f}-\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \left (\frac {2 i \int \operatorname {PolyLog}\left (3,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )dx}{f}-\frac {2 i x \operatorname {PolyLog}\left (3,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f}\right )}{f}-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )+\frac {12 \left (-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}+\frac {4 i \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {4 i \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}\right )}{f^2}-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 2720

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {1}{2} \left (\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \left (\frac {4 \int e^{-\frac {1}{4} i (2 e+2 f x+\pi )} \operatorname {PolyLog}\left (3,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )de^{\frac {1}{4} i (2 e+2 f x+\pi )}}{f^2}-\frac {2 i x \operatorname {PolyLog}\left (3,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f}\right )}{f}-\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \left (\frac {4 \int e^{-\frac {1}{4} i (2 e+2 f x+\pi )} \operatorname {PolyLog}\left (3,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )de^{\frac {1}{4} i (2 e+2 f x+\pi )}}{f^2}-\frac {2 i x \operatorname {PolyLog}\left (3,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f}\right )}{f}-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )+\frac {12 \left (-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}+\frac {4 i \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {4 i \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}\right )}{f^2}-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

\(\Big \downarrow \) 7143

\(\displaystyle \frac {\sin \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \left (\frac {1}{2} \left (-\frac {4 x^3 \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}+\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \left (\frac {4 \operatorname {PolyLog}\left (4,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {2 i x \operatorname {PolyLog}\left (3,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f}\right )}{f}-\frac {6 \left (\frac {2 i x^2 \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}-\frac {4 i \left (\frac {4 \operatorname {PolyLog}\left (4,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {2 i x \operatorname {PolyLog}\left (3,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}\right )}{f}\right )}{f}\right )+\frac {12 \left (-\frac {4 x \text {arctanh}\left (e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f}+\frac {4 i \operatorname {PolyLog}\left (2,-e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}-\frac {4 i \operatorname {PolyLog}\left (2,e^{\frac {1}{4} i (2 e+2 f x+\pi )}\right )}{f^2}\right )}{f^2}-\frac {6 x^2 \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f^2}-\frac {x^3 \cot \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right ) \csc \left (\frac {e}{2}+\frac {f x}{2}+\frac {\pi }{4}\right )}{f}\right )}{2 a \sqrt {a \sin (e+f x)+a}}\)

Input:

Int[x^3/(a + a*Sin[e + f*x])^(3/2),x]
 

Output:

(((-6*x^2*Csc[e/2 + Pi/4 + (f*x)/2])/f^2 - (x^3*Cot[e/2 + Pi/4 + (f*x)/2]* 
Csc[e/2 + Pi/4 + (f*x)/2])/f + (12*((-4*x*ArcTanh[E^((I/4)*(2*e + Pi + 2*f 
*x))])/f + ((4*I)*PolyLog[2, -E^((I/4)*(2*e + Pi + 2*f*x))])/f^2 - ((4*I)* 
PolyLog[2, E^((I/4)*(2*e + Pi + 2*f*x))])/f^2))/f^2 + ((-4*x^3*ArcTanh[E^( 
(I/4)*(2*e + Pi + 2*f*x))])/f + (6*(((2*I)*x^2*PolyLog[2, -E^((I/4)*(2*e + 
 Pi + 2*f*x))])/f - ((4*I)*(((-2*I)*x*PolyLog[3, -E^((I/4)*(2*e + Pi + 2*f 
*x))])/f + (4*PolyLog[4, -E^((I/4)*(2*e + Pi + 2*f*x))])/f^2))/f))/f - (6* 
(((2*I)*x^2*PolyLog[2, E^((I/4)*(2*e + Pi + 2*f*x))])/f - ((4*I)*(((-2*I)* 
x*PolyLog[3, E^((I/4)*(2*e + Pi + 2*f*x))])/f + (4*PolyLog[4, E^((I/4)*(2* 
e + Pi + 2*f*x))])/f^2))/f))/f)/2)*Sin[e/2 + Pi/4 + (f*x)/2])/(2*a*Sqrt[a 
+ a*Sin[e + f*x]])
 

Defintions of rubi rules used

rule 2715
Int[Log[(a_) + (b_.)*((F_)^((e_.)*((c_.) + (d_.)*(x_))))^(n_.)], x_Symbol] 
:> Simp[1/(d*e*n*Log[F])   Subst[Int[Log[a + b*x]/x, x], x, (F^(e*(c + d*x) 
))^n], x] /; FreeQ[{F, a, b, c, d, e, n}, x] && GtQ[a, 0]
 

rule 2720
Int[u_, x_Symbol] :> With[{v = FunctionOfExponential[u, x]}, Simp[v/D[v, x] 
   Subst[Int[FunctionOfExponentialFunction[u, x]/x, x], x, v], x]] /; Funct 
ionOfExponentialQ[u, x] &&  !MatchQ[u, (w_)*((a_.)*(v_)^(n_))^(m_) /; FreeQ 
[{a, m, n}, x] && IntegerQ[m*n]] &&  !MatchQ[u, E^((c_.)*((a_.) + (b_.)*x)) 
*(F_)[v_] /; FreeQ[{a, b, c}, x] && InverseFunctionQ[F[x]]]
 

rule 2838
Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2 
, (-c)*e*x^n]/n, x] /; FreeQ[{c, d, e, n}, x] && EqQ[c*d, 1]
 

rule 3011
Int[Log[1 + (e_.)*((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.)]*((f_.) + (g_.) 
*(x_))^(m_.), x_Symbol] :> Simp[(-(f + g*x)^m)*(PolyLog[2, (-e)*(F^(c*(a + 
b*x)))^n]/(b*c*n*Log[F])), x] + Simp[g*(m/(b*c*n*Log[F]))   Int[(f + g*x)^( 
m - 1)*PolyLog[2, (-e)*(F^(c*(a + b*x)))^n], x], x] /; FreeQ[{F, a, b, c, e 
, f, g, n}, x] && GtQ[m, 0]
 

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

rule 3800
Int[((c_.) + (d_.)*(x_))^(m_.)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(n_), 
 x_Symbol] :> Simp[(2*a)^IntPart[n]*((a + b*Sin[e + f*x])^FracPart[n]/Sin[e 
/2 + a*(Pi/(4*b)) + f*(x/2)]^(2*FracPart[n]))   Int[(c + d*x)^m*Sin[e/2 + a 
*(Pi/(4*b)) + f*(x/2)]^(2*n), x], x] /; FreeQ[{a, b, c, d, e, f, m}, x] && 
EqQ[a^2 - b^2, 0] && IntegerQ[n + 1/2] && (GtQ[n, 0] || IGtQ[m, 0])
 

rule 4671
Int[csc[(e_.) + (f_.)*(x_)]*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[- 
2*(c + d*x)^m*(ArcTanh[E^(I*(e + f*x))]/f), x] + (-Simp[d*(m/f)   Int[(c + 
d*x)^(m - 1)*Log[1 - E^(I*(e + f*x))], x], x] + Simp[d*(m/f)   Int[(c + d*x 
)^(m - 1)*Log[1 + E^(I*(e + f*x))], x], x]) /; FreeQ[{c, d, e, f}, x] && IG 
tQ[m, 0]
 

rule 4674
Int[(csc[(e_.) + (f_.)*(x_)]*(b_.))^(n_)*((c_.) + (d_.)*(x_))^(m_), x_Symbo 
l] :> Simp[(-b^2)*(c + d*x)^m*Cot[e + f*x]*((b*Csc[e + f*x])^(n - 2)/(f*(n 
- 1))), x] + (-Simp[b^2*d*m*(c + d*x)^(m - 1)*((b*Csc[e + f*x])^(n - 2)/(f^ 
2*(n - 1)*(n - 2))), x] + Simp[b^2*d^2*m*((m - 1)/(f^2*(n - 1)*(n - 2))) 
Int[(c + d*x)^(m - 2)*(b*Csc[e + f*x])^(n - 2), x], x] + Simp[b^2*((n - 2)/ 
(n - 1))   Int[(c + d*x)^m*(b*Csc[e + f*x])^(n - 2), x], x]) /; FreeQ[{b, c 
, d, e, f}, x] && GtQ[n, 1] && NeQ[n, 2] && GtQ[m, 1]
 

rule 7143
Int[PolyLog[n_, (c_.)*((a_.) + (b_.)*(x_))^(p_.)]/((d_.) + (e_.)*(x_)), x_S 
ymbol] :> Simp[PolyLog[n + 1, c*(a + b*x)^p]/(e*p), x] /; FreeQ[{a, b, c, d 
, e, n, p}, x] && EqQ[b*d, a*e]
 

rule 7163
Int[((e_.) + (f_.)*(x_))^(m_.)*PolyLog[n_, (d_.)*((F_)^((c_.)*((a_.) + (b_. 
)*(x_))))^(p_.)], x_Symbol] :> Simp[(e + f*x)^m*(PolyLog[n + 1, d*(F^(c*(a 
+ b*x)))^p]/(b*c*p*Log[F])), x] - Simp[f*(m/(b*c*p*Log[F]))   Int[(e + f*x) 
^(m - 1)*PolyLog[n + 1, d*(F^(c*(a + b*x)))^p], x], x] /; FreeQ[{F, a, b, c 
, d, e, f, n, p}, x] && GtQ[m, 0]
 
Maple [F]

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

Input:

int(x^3/(a+a*sin(f*x+e))^(3/2),x)
 

Output:

int(x^3/(a+a*sin(f*x+e))^(3/2),x)
 

Fricas [F]

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

integrate(x^3/(a+a*sin(f*x+e))^(3/2),x, algorithm="fricas")
 

Output:

integral(-sqrt(a*sin(f*x + e) + a)*x^3/(a^2*cos(f*x + e)^2 - 2*a^2*sin(f*x 
 + e) - 2*a^2), x)
 

Sympy [F]

\[ \int \frac {x^3}{(a+a \sin (e+f x))^{3/2}} \, dx=\int \frac {x^{3}}{\left (a \left (\sin {\left (e + f x \right )} + 1\right )\right )^{\frac {3}{2}}}\, dx \] Input:

integrate(x**3/(a+a*sin(f*x+e))**(3/2),x)
 

Output:

Integral(x**3/(a*(sin(e + f*x) + 1))**(3/2), x)
 

Maxima [F]

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

integrate(x^3/(a+a*sin(f*x+e))^(3/2),x, algorithm="maxima")
 

Output:

integrate(x^3/(a*sin(f*x + e) + a)^(3/2), x)
 

Giac [F(-1)]

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

integrate(x^3/(a+a*sin(f*x+e))^(3/2),x, algorithm="giac")
 

Output:

Timed out
 

Mupad [F(-1)]

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

int(x^3/(a + a*sin(e + f*x))^(3/2),x)
                                                                                    
                                                                                    
 

Output:

int(x^3/(a + a*sin(e + f*x))^(3/2), x)
 

Reduce [F]

\[ \int \frac {x^3}{(a+a \sin (e+f x))^{3/2}} \, dx=\frac {\sqrt {a}\, \left (\int \frac {\sqrt {\sin \left (f x +e \right )+1}\, x^{3}}{\sin \left (f x +e \right )^{2}+2 \sin \left (f x +e \right )+1}d x \right )}{a^{2}} \] Input:

int(x^3/(a+a*sin(f*x+e))^(3/2),x)
 

Output:

(sqrt(a)*int((sqrt(sin(e + f*x) + 1)*x**3)/(sin(e + f*x)**2 + 2*sin(e + f* 
x) + 1),x))/a**2