Optimal. Leaf size=72 \[ \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 ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, 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 = {648, 632, 212,
642} \begin {gather*} \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 ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rule 642
Rule 648
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 ) \text {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.06, size = 72, normalized size = 1.00 \begin {gather*} \frac {\left (1+\sqrt {3}\right ) \tanh ^{-1}\left (\frac {1+\sqrt {3}+2 x}{\sqrt {-4+6 \sqrt {3}}}\right )}{\sqrt {-4+6 \sqrt {3}}}+\frac {1}{2} \log \left (2-\sqrt {3}+x+\sqrt {3} x+x^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.31, size = 58, normalized size = 0.81
method | result | size |
default | \(\frac {\ln \left (x \sqrt {3}+x^{2}-\sqrt {3}+x +2\right )}{2}-\frac {2 \left (-\frac {1}{2}-\frac {\sqrt {3}}{2}\right ) \arctanh \left (\frac {1+2 x +\sqrt {3}}{\sqrt {-4+6 \sqrt {3}}}\right )}{\sqrt {-4+6 \sqrt {3}}}\) | \(58\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.52, size = 77, normalized size = 1.07 \begin {gather*} -\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 ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 131 vs.
\(2 (51) = 102\).
time = 0.34, size = 131, normalized size = 1.82 \begin {gather*} \frac {1}{46} \, \sqrt {23} \sqrt {8 \, \sqrt {3} + 13} \log \left (\frac {23 \, x^{4} + 46 \, x^{3} + \sqrt {23} {\left (11 \, x^{3} + 24 \, x^{2} - \sqrt {3} {\left (5 \, x^{3} + 13 \, x^{2} - 6 \, x - 4\right )} - 4 \, x + 5\right )} \sqrt {8 \, \sqrt {3} + 13} + 23 \, \sqrt {3} {\left (3 \, x^{2} + 5 \, x + 4\right )} - 23 \, x + 138}{x^{4} + 2 \, x^{3} + 2 \, x^{2} + 10 \, x + 1}\right ) + \frac {1}{2} \, \log \left (x^{2} + \sqrt {3} {\left (x - 1\right )} + x + 2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 202 vs.
\(2 (58) = 116\).
time = 0.75, size = 202, normalized size = 2.81 \begin {gather*} \left (\frac {\sqrt {5 + 4 \sqrt {3}}}{2 \cdot \left (2 - 3 \sqrt {3}\right )} + \frac {1}{2}\right ) \log {\left (x - \frac {5 \sqrt {3}}{5 + 4 \sqrt {3}} + \left (\frac {\sqrt {5 + 4 \sqrt {3}}}{2 \cdot \left (2 - 3 \sqrt {3}\right )} + \frac {1}{2}\right ) \left (\frac {47}{22 + 13 \sqrt {3}} + \frac {33 \sqrt {3}}{22 + 13 \sqrt {3}}\right ) + \frac {11}{5 + 4 \sqrt {3}} \right )} + \left (\frac {1}{2} - \frac {\sqrt {5 + 4 \sqrt {3}}}{2 \cdot \left (2 - 3 \sqrt {3}\right )}\right ) \log {\left (x - \frac {5 \sqrt {3}}{5 + 4 \sqrt {3}} + \frac {11}{5 + 4 \sqrt {3}} + \left (\frac {1}{2} - \frac {\sqrt {5 + 4 \sqrt {3}}}{2 \cdot \left (2 - 3 \sqrt {3}\right )}\right ) \left (\frac {47}{22 + 13 \sqrt {3}} + \frac {33 \sqrt {3}}{22 + 13 \sqrt {3}}\right ) \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 5.07, size = 80, normalized size = 1.11 \begin {gather*} -\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 ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.23, size = 233, normalized size = 3.24 \begin {gather*} \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 ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________