Optimal. Leaf size=331 \[ \frac{5 a^4 b x \left (3 a^2+4 b^2\right ) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{8 \left (a^2 \sin (d+e x)+a b\right )^3}-\frac{a^4 b \left (29 a^2+6 b^2\right ) \sin (d+e x) \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{24 e \left (a^2 \sin (d+e x)+a b\right )^3}-\frac{b \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{4 e}-\frac{\left (4 a^2+3 b^2\right ) \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{12 e (a \sin (d+e x)+b)}-\frac{\left (28 a^2 b^2+4 a^4+3 b^4\right ) \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{6 e (a \sin (d+e x)+b)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.322718, antiderivative size = 331, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 41, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.073, Rules used = {3290, 2753, 2734} \[ \frac{5 a^4 b x \left (3 a^2+4 b^2\right ) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{8 \left (a^2 \sin (d+e x)+a b\right )^3}-\frac{a^4 b \left (29 a^2+6 b^2\right ) \sin (d+e x) \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{24 e \left (a^2 \sin (d+e x)+a b\right )^3}-\frac{b \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{4 e}-\frac{\left (4 a^2+3 b^2\right ) \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{12 e (a \sin (d+e x)+b)}-\frac{\left (28 a^2 b^2+4 a^4+3 b^4\right ) \cos (d+e x) \left (a^2 \sin ^2(d+e x)+2 a b \sin (d+e x)+b^2\right )^{3/2}}{6 e (a \sin (d+e x)+b)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3290
Rule 2753
Rule 2734
Rubi steps
\begin{align*} \int (a+b \sin (d+e x)) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2} \, dx &=\frac{\left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2} \int \left (2 a b+2 a^2 \sin (d+e x)\right )^3 (a+b \sin (d+e x)) \, dx}{\left (2 a b+2 a^2 \sin (d+e x)\right )^3}\\ &=-\frac{b \cos (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{4 e}+\frac{\left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2} \int \left (2 a b+2 a^2 \sin (d+e x)\right )^2 \left (14 a^2 b+2 a \left (4 a^2+3 b^2\right ) \sin (d+e x)\right ) \, dx}{4 \left (2 a b+2 a^2 \sin (d+e x)\right )^3}\\ &=-\frac{b \cos (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{4 e}-\frac{\left (4 a^2+3 b^2\right ) \cos (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{12 e (b+a \sin (d+e x))}+\frac{\left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2} \int \left (2 a b+2 a^2 \sin (d+e x)\right ) \left (4 a^3 \left (8 a^2+27 b^2\right )+4 a^2 b \left (29 a^2+6 b^2\right ) \sin (d+e x)\right ) \, dx}{12 \left (2 a b+2 a^2 \sin (d+e x)\right )^3}\\ &=-\frac{b \cos (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{4 e}-\frac{\left (4 a^4+28 a^2 b^2+3 b^4\right ) \cos (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{6 e (b+a \sin (d+e x))^3}-\frac{\left (4 a^2+3 b^2\right ) \cos (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{12 e (b+a \sin (d+e x))}+\frac{5 a^4 b \left (3 a^2+4 b^2\right ) x \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{8 \left (a b+a^2 \sin (d+e x)\right )^3}-\frac{a^4 b \left (29 a^2+6 b^2\right ) \cos (d+e x) \sin (d+e x) \left (b^2+2 a b \sin (d+e x)+a^2 \sin ^2(d+e x)\right )^{3/2}}{24 e \left (a b+a^2 \sin (d+e x)\right )^3}\\ \end{align*}
Mathematica [A] time = 0.894213, size = 140, normalized size = 0.42 \[ \frac{\sqrt{(a \sin (d+e x)+b)^2} \left (3 a b \left (20 \left (3 a^2+4 b^2\right ) (d+e x)-8 \left (4 a^2+3 b^2\right ) \sin (2 (d+e x))+a^2 \sin (4 (d+e x))\right )-24 \left (21 a^2 b^2+3 a^4+4 b^4\right ) \cos (d+e x)+8 a \left (a^3+3 a b^2\right ) \cos (3 (d+e x))\right )}{96 e (a \sin (d+e x)+b)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.306, size = 269, normalized size = 0.8 \begin{align*} -{\frac{6\, \left ( \cos \left ( ex+d \right ) \right ) ^{3}\sin \left ( ex+d \right ){a}^{3}b+8\,{a}^{4} \left ( \cos \left ( ex+d \right ) \right ) ^{3}+24\,{a}^{2}{b}^{2} \left ( \cos \left ( ex+d \right ) \right ) ^{3}-51\,\sin \left ( ex+d \right ) \cos \left ( ex+d \right ){a}^{3}b-36\,\cos \left ( ex+d \right ) \sin \left ( ex+d \right ) a{b}^{3}-24\,{a}^{4}\cos \left ( ex+d \right ) -144\,{a}^{2}{b}^{2}\cos \left ( ex+d \right ) -24\,\cos \left ( ex+d \right ){b}^{4}+45\, \left ( ex+d \right ){a}^{3}b+60\, \left ( ex+d \right ) a{b}^{3}-16\,{a}^{4}-120\,{a}^{2}{b}^{2}-24\,{b}^{4}}{24\,e \left ( \left ( \cos \left ( ex+d \right ) \right ) ^{2}\sin \left ( ex+d \right ){a}^{3}+3\, \left ( \cos \left ( ex+d \right ) \right ) ^{2}{a}^{2}b-{a}^{3}\sin \left ( ex+d \right ) -3\,\sin \left ( ex+d \right ) a{b}^{2}-3\,{a}^{2}b-{b}^{3} \right ) } \left ( -{a}^{2} \left ( \cos \left ( ex+d \right ) \right ) ^{2}+2\,ab\sin \left ( ex+d \right ) +{a}^{2}+{b}^{2} \right ) ^{{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.58749, size = 751, normalized size = 2.27 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.83632, size = 263, normalized size = 0.79 \begin{align*} \frac{8 \,{\left (a^{4} + 3 \, a^{2} b^{2}\right )} \cos \left (e x + d\right )^{3} + 15 \,{\left (3 \, a^{3} b + 4 \, a b^{3}\right )} e x - 24 \,{\left (a^{4} + 6 \, a^{2} b^{2} + b^{4}\right )} \cos \left (e x + d\right ) + 3 \,{\left (2 \, a^{3} b \cos \left (e x + d\right )^{3} -{\left (17 \, a^{3} b + 12 \, a b^{3}\right )} \cos \left (e x + d\right )\right )} \sin \left (e x + d\right )}{24 \, e} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.33431, size = 323, normalized size = 0.98 \begin{align*} \frac{1}{32} \, a^{3} b e^{\left (-1\right )} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right ) \sin \left (4 \, x e + 4 \, d\right ) + \frac{1}{12} \,{\left (a^{4} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right ) + 3 \, a^{2} b^{2} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right )\right )} \cos \left (3 \, x e + 3 \, d\right ) e^{\left (-1\right )} - \frac{1}{4} \,{\left (3 \, a^{4} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right ) + 21 \, a^{2} b^{2} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right ) + 4 \, b^{4} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right )\right )} \cos \left (x e + d\right ) e^{\left (-1\right )} - \frac{1}{4} \,{\left (4 \, a^{3} b \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right ) + 3 \, a b^{3} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right )\right )} e^{\left (-1\right )} \sin \left (2 \, x e + 2 \, d\right ) + \frac{5}{8} \,{\left (3 \, a^{3} b \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right ) + 4 \, a b^{3} \mathrm{sgn}\left (a \sin \left (x e + d\right ) + b\right )\right )} x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]