Optimal. Leaf size=72 \[ \frac {1}{2} \log \left (x^2+\left (1+\sqrt {3}\right ) x-\sqrt {3}+2\right )+\sqrt {\frac {1}{23} \left (13+8 \sqrt {3}\right )} \tanh ^{-1}\left (\frac {2 x+\sqrt {3}+1}{\sqrt {2 \left (3 \sqrt {3}-2\right )}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 72, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.160, Rules used = {634, 618, 206, 628} \[ \frac {1}{2} \log \left (x^2+\left (1+\sqrt {3}\right ) x-\sqrt {3}+2\right )+\sqrt {\frac {1}{23} \left (13+8 \sqrt {3}\right )} \tanh ^{-1}\left (\frac {2 x+\sqrt {3}+1}{\sqrt {2 \left (3 \sqrt {3}-2\right )}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 618
Rule 628
Rule 634
Rubi steps
\begin {align*} \int \frac {x}{2-\sqrt {3}+\left (1+\sqrt {3}\right ) x+x^2} \, dx &=\frac {1}{2} \int \frac {1+\sqrt {3}+2 x}{2-\sqrt {3}+\left (1+\sqrt {3}\right ) x+x^2} \, dx+\frac {1}{2} \left (-1-\sqrt {3}\right ) \int \frac {1}{2-\sqrt {3}+\left (1+\sqrt {3}\right ) x+x^2} \, dx\\ &=\frac {1}{2} \log \left (2-\sqrt {3}+\left (1+\sqrt {3}\right ) x+x^2\right )+\left (1+\sqrt {3}\right ) \operatorname {Subst}\left (\int \frac {1}{-2 \left (2-3 \sqrt {3}\right )-x^2} \, dx,x,1+\sqrt {3}+2 x\right )\\ &=\sqrt {\frac {1}{23} \left (13+8 \sqrt {3}\right )} \tanh ^{-1}\left (\frac {1+\sqrt {3}+2 x}{\sqrt {2 \left (-2+3 \sqrt {3}\right )}}\right )+\frac {1}{2} \log \left (2-\sqrt {3}+\left (1+\sqrt {3}\right ) x+x^2\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.10, size = 72, normalized size = 1.00 \[ \frac {1}{2} \log \left (x^2+\sqrt {3} x+x-\sqrt {3}+2\right )+\frac {\left (1+\sqrt {3}\right ) \tanh ^{-1}\left (\frac {2 x+\sqrt {3}+1}{\sqrt {6 \sqrt {3}-4}}\right )}{\sqrt {6 \sqrt {3}-4}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.62, size = 100, normalized size = 1.39 \[ \frac {1}{46} \, \sqrt {23} \sqrt {8 \, \sqrt {3} + 13} \log \left (-\frac {\sqrt {23} \sqrt {8 \, \sqrt {3} + 13} {\left (5 \, \sqrt {3} - 11\right )} - 46 \, x - 23 \, \sqrt {3} - 23}{\sqrt {23} \sqrt {8 \, \sqrt {3} + 13} {\left (5 \, \sqrt {3} - 11\right )} + 46 \, x + 23 \, \sqrt {3} + 23}\right ) + \frac {1}{2} \, \log \left (x^{2} + x {\left (\sqrt {3} + 1\right )} - \sqrt {3} + 2\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.43, size = 80, normalized size = 1.11 \[ -\frac {{\left (\sqrt {3} + 1\right )} \log \left (\frac {{\left | 2 \, x + \sqrt {3} - \sqrt {6 \, \sqrt {3} - 4} + 1 \right |}}{{\left | 2 \, x + \sqrt {3} + \sqrt {6 \, \sqrt {3} - 4} + 1 \right |}}\right )}{2 \, \sqrt {6 \, \sqrt {3} - 4}} + \frac {1}{2} \, \log \left ({\left | x^{2} + x {\left (\sqrt {3} + 1\right )} - \sqrt {3} + 2 \right |}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.02, size = 82, normalized size = 1.14 \[ \frac {\arctanh \left (\frac {2 x +1+\sqrt {3}}{\sqrt {-4+6 \sqrt {3}}}\right )}{\sqrt {-4+6 \sqrt {3}}}+\frac {\sqrt {3}\, \arctanh \left (\frac {2 x +1+\sqrt {3}}{\sqrt {-4+6 \sqrt {3}}}\right )}{\sqrt {-4+6 \sqrt {3}}}+\frac {\ln \left (x^{2}+\sqrt {3}\, x +x -\sqrt {3}+2\right )}{2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.00, size = 77, normalized size = 1.07 \[ -\frac {{\left (\sqrt {3} + 1\right )} \log \left (\frac {2 \, x + \sqrt {3} - \sqrt {6 \, \sqrt {3} - 4} + 1}{2 \, x + \sqrt {3} + \sqrt {6 \, \sqrt {3} - 4} + 1}\right )}{2 \, \sqrt {6 \, \sqrt {3} - 4}} + \frac {1}{2} \, \log \left (x^{2} + x {\left (\sqrt {3} + 1\right )} - \sqrt {3} + 2\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.23, size = 233, normalized size = 3.24 \[ \ln \left (x-\left (\frac {\frac {\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}+\frac {\sqrt {3}\,\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}}{\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}+\frac {1}{2}\right )\,\left (2\,x+\sqrt {3}+1\right )\right )\,\left (\frac {\frac {\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}+\frac {\sqrt {3}\,\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}}{\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}+\frac {1}{2}\right )-\ln \left (x+\left (\frac {\frac {\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}+\frac {\sqrt {3}\,\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}}{\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}-\frac {1}{2}\right )\,\left (2\,x+\sqrt {3}+1\right )\right )\,\left (\frac {\frac {\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}+\frac {\sqrt {3}\,\sqrt {\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}}{2}}{\left (\sqrt {3}-1\right )\,\left (\sqrt {3}+7\right )}-\frac {1}{2}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 1.55, size = 202, normalized size = 2.81 \[ \left (\frac {1}{2} - \frac {\sqrt {11 + 64 \sqrt {3}}}{2 \left (-31 + 12 \sqrt {3}\right )}\right ) \log {\left (x - \frac {287 \sqrt {3}}{11 + 64 \sqrt {3}} + \left (\frac {1}{2} - \frac {\sqrt {11 + 64 \sqrt {3}}}{2 \left (-31 + 12 \sqrt {3}\right )}\right ) \left (\frac {269}{214 + 139 \sqrt {3}} + \frac {459 \sqrt {3}}{214 + 139 \sqrt {3}}\right ) + \frac {521}{11 + 64 \sqrt {3}} \right )} + \left (\frac {\sqrt {11 + 64 \sqrt {3}}}{2 \left (-31 + 12 \sqrt {3}\right )} + \frac {1}{2}\right ) \log {\left (x - \frac {287 \sqrt {3}}{11 + 64 \sqrt {3}} + \left (\frac {\sqrt {11 + 64 \sqrt {3}}}{2 \left (-31 + 12 \sqrt {3}\right )} + \frac {1}{2}\right ) \left (\frac {269}{214 + 139 \sqrt {3}} + \frac {459 \sqrt {3}}{214 + 139 \sqrt {3}}\right ) + \frac {521}{11 + 64 \sqrt {3}} \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________