Optimal. Leaf size=24 \[ \frac{1}{6} \sin \left (\sqrt{3} \sqrt{(2 x-1)^2+2}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.493079, antiderivative size = 24, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 37, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.108, Rules used = {6715, 3432, 15, 2637} \[ \frac{1}{6} \sin \left (\sqrt{3} \sqrt{(2 x-1)^2+2}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6715
Rule 3432
Rule 15
Rule 2637
Rubi steps
\begin{align*} \int \frac{(-1+2 x) \cos \left (\sqrt{6+3 (-1+2 x)^2}\right )}{\sqrt{6+3 (-1+2 x)^2}} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{x \cos \left (\sqrt{6+3 x^2}\right )}{\sqrt{6+3 x^2}} \, dx,x,-1+2 x\right )\\ &=\frac{1}{4} \operatorname{Subst}\left (\int \frac{\cos \left (\sqrt{6+3 x}\right )}{\sqrt{6+3 x}} \, dx,x,(-1+2 x)^2\right )\\ &=\frac{1}{6} \operatorname{Subst}\left (\int \frac{x \cos (x)}{\sqrt{x^2}} \, dx,x,\sqrt{3} \sqrt{2+(-1+2 x)^2}\right )\\ &=\frac{1}{6} \operatorname{Subst}\left (\int \cos (x) \, dx,x,\sqrt{3} \sqrt{2+(-1+2 x)^2}\right )\\ &=\frac{1}{6} \sin \left (\sqrt{3} \sqrt{2+(-1+2 x)^2}\right )\\ \end{align*}
Mathematica [A] time = 0.15551, size = 20, normalized size = 0.83 \[ \frac{1}{6} \sin \left (\sqrt{3 (1-2 x)^2+6}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.025, size = 16, normalized size = 0.7 \begin{align*}{\frac{1}{6}\sin \left ( \sqrt{12\,{x}^{2}-12\,x+9} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.13861, size = 22, normalized size = 0.92 \begin{align*} \frac{1}{6} \, \sin \left (\sqrt{3 \,{\left (2 \, x - 1\right )}^{2} + 6}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.1526, size = 46, normalized size = 1.92 \begin{align*} \frac{1}{6} \, \sin \left (\sqrt{12 \, x^{2} - 12 \, x + 9}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 7.19953, size = 15, normalized size = 0.62 \begin{align*} \frac{\sin{\left (\sqrt{3 \left (2 x - 1\right )^{2} + 6} \right )}}{6} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.09801, size = 26, normalized size = 1.08 \begin{align*} \frac{1}{6} \, \sin \left (\sqrt{3} \sqrt{4 \, x^{2} - 4 \, x + 3}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]