Optimal. Leaf size=185 \[ -\frac {2 (3 \cos (d+e x)-4 \sin (d+e x)) (3 \sin (d+e x)+4 \cos (d+e x)-5)^{5/2}}{7 e}+\frac {24 (3 \cos (d+e x)-4 \sin (d+e x)) (3 \sin (d+e x)+4 \cos (d+e x)-5)^{3/2}}{7 e}-\frac {320 (3 \cos (d+e x)-4 \sin (d+e x)) \sqrt {3 \sin (d+e x)+4 \cos (d+e x)-5}}{7 e}+\frac {6400 (3 \cos (d+e x)-4 \sin (d+e x))}{7 e \sqrt {3 \sin (d+e x)+4 \cos (d+e x)-5}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 185, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 2, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {3113, 3112} \[ -\frac {2 (3 \cos (d+e x)-4 \sin (d+e x)) (3 \sin (d+e x)+4 \cos (d+e x)-5)^{5/2}}{7 e}+\frac {24 (3 \cos (d+e x)-4 \sin (d+e x)) (3 \sin (d+e x)+4 \cos (d+e x)-5)^{3/2}}{7 e}-\frac {320 (3 \cos (d+e x)-4 \sin (d+e x)) \sqrt {3 \sin (d+e x)+4 \cos (d+e x)-5}}{7 e}+\frac {6400 (3 \cos (d+e x)-4 \sin (d+e x))}{7 e \sqrt {3 \sin (d+e x)+4 \cos (d+e x)-5}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3112
Rule 3113
Rubi steps
\begin {align*} \int (-5+4 \cos (d+e x)+3 \sin (d+e x))^{7/2} \, dx &=-\frac {2 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{5/2}}{7 e}-\frac {60}{7} \int (-5+4 \cos (d+e x)+3 \sin (d+e x))^{5/2} \, dx\\ &=\frac {24 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{3/2}}{7 e}-\frac {2 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{5/2}}{7 e}+\frac {480}{7} \int (-5+4 \cos (d+e x)+3 \sin (d+e x))^{3/2} \, dx\\ &=-\frac {320 (3 \cos (d+e x)-4 \sin (d+e x)) \sqrt {-5+4 \cos (d+e x)+3 \sin (d+e x)}}{7 e}+\frac {24 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{3/2}}{7 e}-\frac {2 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{5/2}}{7 e}-\frac {3200}{7} \int \sqrt {-5+4 \cos (d+e x)+3 \sin (d+e x)} \, dx\\ &=\frac {6400 (3 \cos (d+e x)-4 \sin (d+e x))}{7 e \sqrt {-5+4 \cos (d+e x)+3 \sin (d+e x)}}-\frac {320 (3 \cos (d+e x)-4 \sin (d+e x)) \sqrt {-5+4 \cos (d+e x)+3 \sin (d+e x)}}{7 e}+\frac {24 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{3/2}}{7 e}-\frac {2 (3 \cos (d+e x)-4 \sin (d+e x)) (-5+4 \cos (d+e x)+3 \sin (d+e x))^{5/2}}{7 e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 1.82, size = 151, normalized size = 0.82 \[ \frac {(3 \sin (d+e x)+4 \cos (d+e x)-5)^{7/2} \left (30625 \sin \left (\frac {1}{2} (d+e x)\right )-15925 \sin \left (\frac {3}{2} (d+e x)\right )+3871 \sin \left (\frac {5}{2} (d+e x)\right )-307 \sin \left (\frac {7}{2} (d+e x)\right )+91875 \cos \left (\frac {1}{2} (d+e x)\right )-11025 \cos \left (\frac {3}{2} (d+e x)\right )-147 \cos \left (\frac {5}{2} (d+e x)\right )+249 \cos \left (\frac {7}{2} (d+e x)\right )\right )}{28 e \left (\cos \left (\frac {1}{2} (d+e x)\right )-3 \sin \left (\frac {1}{2} (d+e x)\right )\right )^7} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.85, size = 121, normalized size = 0.65 \[ -\frac {2 \, {\left (249 \, \cos \left (e x + d\right )^{4} + 51 \, \cos \left (e x + d\right )^{3} - 3042 \, \cos \left (e x + d\right )^{2} - {\left (307 \, \cos \left (e x + d\right )^{3} - 1782 \, \cos \left (e x + d\right )^{2} + 2860 \, \cos \left (e x + d\right ) - 1392\right )} \sin \left (e x + d\right ) + 10068 \, \cos \left (e x + d\right ) + 12912\right )} \sqrt {4 \, \cos \left (e x + d\right ) + 3 \, \sin \left (e x + d\right ) - 5}}{7 \, {\left (e \cos \left (e x + d\right ) - 3 \, e \sin \left (e x + d\right ) + e\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int {\left (4 \, \cos \left (e x + d\right ) + 3 \, \sin \left (e x + d\right ) - 5\right )}^{\frac {7}{2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.28, size = 86, normalized size = 0.46 \[ \frac {250 \left (\sin \left (e x +d +\arctan \left (\frac {4}{3}\right )\right )-1\right ) \left (1+\sin \left (e x +d +\arctan \left (\frac {4}{3}\right )\right )\right ) \left (5 \left (\sin ^{3}\left (e x +d +\arctan \left (\frac {4}{3}\right )\right )\right )-27 \left (\sin ^{2}\left (e x +d +\arctan \left (\frac {4}{3}\right )\right )\right )+71 \sin \left (e x +d +\arctan \left (\frac {4}{3}\right )\right )-177\right )}{7 \cos \left (e x +d +\arctan \left (\frac {4}{3}\right )\right ) \sqrt {-5+5 \sin \left (e x +d +\arctan \left (\frac {4}{3}\right )\right )}\, e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int {\left (4 \, \cos \left (e x + d\right ) + 3 \, \sin \left (e x + d\right ) - 5\right )}^{\frac {7}{2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int {\left (4\,\cos \left (d+e\,x\right )+3\,\sin \left (d+e\,x\right )-5\right )}^{7/2} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________