Optimal. Leaf size=11 \[ -\frac{1}{6} (\sin (x)+\cos (x))^6 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0207024, antiderivative size = 11, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.067, Rules used = {3145} \[ -\frac{1}{6} (\sin (x)+\cos (x))^6 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3145
Rubi steps
\begin{align*} \int (-\cos (x)+\sin (x)) (\cos (x)+\sin (x))^5 \, dx &=-\frac{1}{6} (\cos (x)+\sin (x))^6\\ \end{align*}
Mathematica [B] time = 0.0777261, size = 25, normalized size = 2.27 \[ -\frac{5}{8} \sin (2 x)+\frac{1}{24} \sin (6 x)+\frac{1}{4} \cos (4 x) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.032, size = 97, normalized size = 8.8 \begin{align*} -{\frac{\cos \left ( x \right ) }{6} \left ( \left ( \sin \left ( x \right ) \right ) ^{5}+{\frac{5\, \left ( \sin \left ( x \right ) \right ) ^{3}}{4}}+{\frac{15\,\sin \left ( x \right ) }{8}} \right ) }+{\frac{2\, \left ( \sin \left ( x \right ) \right ) ^{6}}{3}}-{\frac{5\, \left ( \cos \left ( x \right ) \right ) ^{3} \left ( \sin \left ( x \right ) \right ) ^{3}}{6}}-{\frac{5\, \left ( \cos \left ( x \right ) \right ) ^{3}\sin \left ( x \right ) }{8}}+{\frac{5\,\cos \left ( x \right ) \sin \left ( x \right ) }{16}}+{\frac{5\, \left ( \cos \left ( x \right ) \right ) ^{5}\sin \left ( x \right ) }{6}}-{\frac{5\,\sin \left ( x \right ) }{24} \left ( \left ( \cos \left ( x \right ) \right ) ^{3}+{\frac{3\,\cos \left ( x \right ) }{2}} \right ) }+{\frac{2\, \left ( \cos \left ( x \right ) \right ) ^{6}}{3}}-{\frac{\sin \left ( x \right ) }{6} \left ( \left ( \cos \left ( x \right ) \right ) ^{5}+{\frac{5\, \left ( \cos \left ( x \right ) \right ) ^{3}}{4}}+{\frac{15\,\cos \left ( x \right ) }{8}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.943586, size = 12, normalized size = 1.09 \begin{align*} -\frac{1}{6} \,{\left (\cos \left (x\right ) + \sin \left (x\right )\right )}^{6} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.39975, size = 101, normalized size = 9.18 \begin{align*} 2 \, \cos \left (x\right )^{4} - 2 \, \cos \left (x\right )^{2} + \frac{1}{3} \,{\left (4 \, \cos \left (x\right )^{5} - 4 \, \cos \left (x\right )^{3} - 3 \, \cos \left (x\right )\right )} \sin \left (x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 2.08743, size = 54, normalized size = 4.91 \begin{align*} - \sin ^{5}{\left (x \right )} \cos{\left (x \right )} - 2 \sin ^{4}{\left (x \right )} \cos ^{2}{\left (x \right )} - \frac{10 \sin ^{3}{\left (x \right )} \cos ^{3}{\left (x \right )}}{3} - 2 \sin ^{2}{\left (x \right )} \cos ^{4}{\left (x \right )} - \sin{\left (x \right )} \cos ^{5}{\left (x \right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.07106, size = 26, normalized size = 2.36 \begin{align*} \frac{1}{4} \, \cos \left (4 \, x\right ) + \frac{1}{24} \, \sin \left (6 \, x\right ) - \frac{5}{8} \, \sin \left (2 \, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]