Optimal. Leaf size=61 \[ -\frac{2 x+3}{2 \left (2 x^2+6 x+3\right )}+\frac{4 x+5}{4 \left (2 x^2+6 x+3\right )^2}+\frac{\tanh ^{-1}\left (\frac{2 x+3}{\sqrt{3}}\right )}{\sqrt{3}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0221754, antiderivative size = 61, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.222, Rules used = {638, 614, 618, 206} \[ -\frac{2 x+3}{2 \left (2 x^2+6 x+3\right )}+\frac{4 x+5}{4 \left (2 x^2+6 x+3\right )^2}+\frac{\tanh ^{-1}\left (\frac{2 x+3}{\sqrt{3}}\right )}{\sqrt{3}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 638
Rule 614
Rule 618
Rule 206
Rubi steps
\begin{align*} \int \frac{-3+2 x}{\left (3+6 x+2 x^2\right )^3} \, dx &=\frac{5+4 x}{4 \left (3+6 x+2 x^2\right )^2}+3 \int \frac{1}{\left (3+6 x+2 x^2\right )^2} \, dx\\ &=\frac{5+4 x}{4 \left (3+6 x+2 x^2\right )^2}-\frac{3+2 x}{2 \left (3+6 x+2 x^2\right )}-\int \frac{1}{3+6 x+2 x^2} \, dx\\ &=\frac{5+4 x}{4 \left (3+6 x+2 x^2\right )^2}-\frac{3+2 x}{2 \left (3+6 x+2 x^2\right )}+2 \operatorname{Subst}\left (\int \frac{1}{12-x^2} \, dx,x,6+4 x\right )\\ &=\frac{5+4 x}{4 \left (3+6 x+2 x^2\right )^2}-\frac{3+2 x}{2 \left (3+6 x+2 x^2\right )}+\frac{\tanh ^{-1}\left (\frac{3+2 x}{\sqrt{3}}\right )}{\sqrt{3}}\\ \end{align*}
Mathematica [A] time = 0.04588, size = 70, normalized size = 1.15 \[ \frac{1}{12} \left (-\frac{3 \left (8 x^3+36 x^2+44 x+13\right )}{\left (2 x^2+6 x+3\right )^2}-2 \sqrt{3} \log \left (-2 x+\sqrt{3}-3\right )+2 \sqrt{3} \log \left (2 x+\sqrt{3}+3\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.002, size = 56, normalized size = 0.9 \begin{align*} -{\frac{-24\,x-30}{24\, \left ( 2\,{x}^{2}+6\,x+3 \right ) ^{2}}}-{\frac{6+4\,x}{8\,{x}^{2}+24\,x+12}}+{\frac{\sqrt{3}}{3}{\it Artanh} \left ({\frac{ \left ( 6+4\,x \right ) \sqrt{3}}{6}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.41719, size = 90, normalized size = 1.48 \begin{align*} -\frac{1}{6} \, \sqrt{3} \log \left (\frac{2 \, x - \sqrt{3} + 3}{2 \, x + \sqrt{3} + 3}\right ) - \frac{8 \, x^{3} + 36 \, x^{2} + 44 \, x + 13}{4 \,{\left (4 \, x^{4} + 24 \, x^{3} + 48 \, x^{2} + 36 \, x + 9\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.62373, size = 251, normalized size = 4.11 \begin{align*} -\frac{24 \, x^{3} - 2 \, \sqrt{3}{\left (4 \, x^{4} + 24 \, x^{3} + 48 \, x^{2} + 36 \, x + 9\right )} \log \left (\frac{2 \, x^{2} + \sqrt{3}{\left (2 \, x + 3\right )} + 6 \, x + 6}{2 \, x^{2} + 6 \, x + 3}\right ) + 108 \, x^{2} + 132 \, x + 39}{12 \,{\left (4 \, x^{4} + 24 \, x^{3} + 48 \, x^{2} + 36 \, x + 9\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.146863, size = 75, normalized size = 1.23 \begin{align*} - \frac{8 x^{3} + 36 x^{2} + 44 x + 13}{16 x^{4} + 96 x^{3} + 192 x^{2} + 144 x + 36} - \frac{\sqrt{3} \log{\left (x - \frac{\sqrt{3}}{2} + \frac{3}{2} \right )}}{6} + \frac{\sqrt{3} \log{\left (x + \frac{\sqrt{3}}{2} + \frac{3}{2} \right )}}{6} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.06024, size = 82, normalized size = 1.34 \begin{align*} -\frac{1}{6} \, \sqrt{3} \log \left (\frac{{\left | 4 \, x - 2 \, \sqrt{3} + 6 \right |}}{{\left | 4 \, x + 2 \, \sqrt{3} + 6 \right |}}\right ) - \frac{8 \, x^{3} + 36 \, x^{2} + 44 \, x + 13}{4 \,{\left (2 \, x^{2} + 6 \, x + 3\right )}^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]