Optimal. Leaf size=78 \[ -\sqrt {2 \left (1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {-2+\sqrt {5}} \left (x+\sqrt {1+x^2}\right )\right )+\sqrt {2 \left (-1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {2+\sqrt {5}} \left (x+\sqrt {1+x^2}\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(319\) vs. \(2(78)=156\).
time = 0.41, antiderivative size = 319, normalized size of antiderivative = 4.09, number of steps
used = 25, number of rules used = 12, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.387, Rules used = {6874, 267,
1144, 209, 213, 1265, 838, 721, 1107, 1261, 713, 1293} \begin {gather*} -\sqrt {\frac {2}{5} \left (\sqrt {5}-1\right )} \text {ArcTan}\left (\sqrt {\frac {2}{\sqrt {5}-1}} \sqrt {x^2+1}\right )-\sqrt {\frac {2}{5 \left (\sqrt {5}-1\right )}} \text {ArcTan}\left (\sqrt {\frac {2}{\sqrt {5}-1}} \sqrt {x^2+1}\right )-\sqrt {\frac {1}{10} \left (1+\sqrt {5}\right )} \text {ArcTan}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-2 \sqrt {\frac {2}{5 \left (1+\sqrt {5}\right )}} \text {ArcTan}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )+\sqrt {\frac {2}{5} \left (1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} \sqrt {x^2+1}\right )-\sqrt {\frac {2}{5 \left (1+\sqrt {5}\right )}} \tanh ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} \sqrt {x^2+1}\right )+\sqrt {\frac {1}{10} \left (\sqrt {5}-1\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{\sqrt {5}-1}} x\right )-2 \sqrt {\frac {2}{5 \left (\sqrt {5}-1\right )}} \tanh ^{-1}\left (\sqrt {\frac {2}{\sqrt {5}-1}} x\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 213
Rule 267
Rule 713
Rule 721
Rule 838
Rule 1107
Rule 1144
Rule 1261
Rule 1265
Rule 1293
Rule 6874
Rubi steps
\begin {align*} \int -\frac {x+2 \sqrt {1+x^2}}{x+x^3+\sqrt {1+x^2}} \, dx &=-\int \left (\frac {x}{x+x^3+\sqrt {1+x^2}}+\frac {2 \sqrt {1+x^2}}{x+x^3+\sqrt {1+x^2}}\right ) \, dx\\ &=-\left (2 \int \frac {\sqrt {1+x^2}}{x+x^3+\sqrt {1+x^2}} \, dx\right )-\int \frac {x}{x+x^3+\sqrt {1+x^2}} \, dx\\ &=-\left (2 \int \left (1+\frac {x \sqrt {1+x^2}}{-1+x^2+x^4}-\frac {x^2 \left (1+x^2\right )}{-1+x^2+x^4}\right ) \, dx\right )-\int \left (\frac {x}{\sqrt {1+x^2}}+\frac {x^2}{-1+x^2+x^4}-\frac {x^3 \sqrt {1+x^2}}{-1+x^2+x^4}\right ) \, dx\\ &=-2 x-2 \int \frac {x \sqrt {1+x^2}}{-1+x^2+x^4} \, dx+2 \int \frac {x^2 \left (1+x^2\right )}{-1+x^2+x^4} \, dx-\int \frac {x}{\sqrt {1+x^2}} \, dx-\int \frac {x^2}{-1+x^2+x^4} \, dx+\int \frac {x^3 \sqrt {1+x^2}}{-1+x^2+x^4} \, dx\\ &=-\sqrt {1+x^2}+\frac {1}{2} \text {Subst}\left (\int \frac {x \sqrt {1+x}}{-1+x+x^2} \, dx,x,x^2\right )+2 \int \frac {1}{-1+x^2+x^4} \, dx+\frac {1}{10} \left (-5+\sqrt {5}\right ) \int \frac {1}{\frac {1}{2}-\frac {\sqrt {5}}{2}+x^2} \, dx-\frac {1}{10} \left (5+\sqrt {5}\right ) \int \frac {1}{\frac {1}{2}+\frac {\sqrt {5}}{2}+x^2} \, dx-\text {Subst}\left (\int \frac {\sqrt {1+x}}{-1+x+x^2} \, dx,x,x^2\right )\\ &=-\sqrt {\frac {1}{10} \left (1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )+\sqrt {\frac {1}{10} \left (-1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )+\frac {1}{2} \text {Subst}\left (\int \frac {1}{\sqrt {1+x} \left (-1+x+x^2\right )} \, dx,x,x^2\right )-2 \text {Subst}\left (\int \frac {x^2}{-1-x^2+x^4} \, dx,x,\sqrt {1+x^2}\right )+\frac {2 \int \frac {1}{\frac {1}{2}-\frac {\sqrt {5}}{2}+x^2} \, dx}{\sqrt {5}}-\frac {2 \int \frac {1}{\frac {1}{2}+\frac {\sqrt {5}}{2}+x^2} \, dx}{\sqrt {5}}\\ &=-2 \sqrt {\frac {2}{5 \left (1+\sqrt {5}\right )}} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-\sqrt {\frac {1}{10} \left (1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-2 \sqrt {\frac {2}{5 \left (-1+\sqrt {5}\right )}} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )+\sqrt {\frac {1}{10} \left (-1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )-\frac {1}{5} \left (5-\sqrt {5}\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2}+\frac {\sqrt {5}}{2}+x^2} \, dx,x,\sqrt {1+x^2}\right )-\frac {1}{5} \left (5+\sqrt {5}\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2}-\frac {\sqrt {5}}{2}+x^2} \, dx,x,\sqrt {1+x^2}\right )+\text {Subst}\left (\int \frac {1}{-1-x^2+x^4} \, dx,x,\sqrt {1+x^2}\right )\\ &=-2 \sqrt {\frac {2}{5 \left (1+\sqrt {5}\right )}} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-\sqrt {\frac {1}{10} \left (1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-\sqrt {\frac {2}{5} \left (-1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} \sqrt {1+x^2}\right )-2 \sqrt {\frac {2}{5 \left (-1+\sqrt {5}\right )}} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )+\sqrt {\frac {1}{10} \left (-1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )+\sqrt {\frac {2}{5} \left (1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} \sqrt {1+x^2}\right )+\frac {\text {Subst}\left (\int \frac {1}{-\frac {1}{2}-\frac {\sqrt {5}}{2}+x^2} \, dx,x,\sqrt {1+x^2}\right )}{\sqrt {5}}-\frac {\text {Subst}\left (\int \frac {1}{-\frac {1}{2}+\frac {\sqrt {5}}{2}+x^2} \, dx,x,\sqrt {1+x^2}\right )}{\sqrt {5}}\\ &=-2 \sqrt {\frac {2}{5 \left (1+\sqrt {5}\right )}} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-\sqrt {\frac {1}{10} \left (1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} x\right )-\sqrt {\frac {2}{5 \left (-1+\sqrt {5}\right )}} \tan ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} \sqrt {1+x^2}\right )-\sqrt {\frac {2}{5} \left (-1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} \sqrt {1+x^2}\right )-2 \sqrt {\frac {2}{5 \left (-1+\sqrt {5}\right )}} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )+\sqrt {\frac {1}{10} \left (-1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{-1+\sqrt {5}}} x\right )-\sqrt {\frac {2}{5 \left (1+\sqrt {5}\right )}} \tanh ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} \sqrt {1+x^2}\right )+\sqrt {\frac {2}{5} \left (1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{1+\sqrt {5}}} \sqrt {1+x^2}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.35, size = 83, normalized size = 1.06 \begin {gather*} -\sqrt {2 \left (1+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {2+\sqrt {5}} \left (x-\sqrt {1+x^2}\right )\right )-\sqrt {2 \left (-1+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {-2+\sqrt {5}} \left (x-\sqrt {1+x^2}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(437\) vs.
\(2(58)=116\).
time = 1.13, size = 438, normalized size = 5.62
method | result | size |
trager | \(\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right ) \ln \left (-\frac {\sqrt {x^{2}+1}\, \RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}+\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{3}+\sqrt {x^{2}+1}+2 \RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )}{\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{3} x +\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right ) x +1}\right )+\RootOf \left (\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}+\textit {\_Z}^{2}+1\right ) \ln \left (\frac {\RootOf \left (\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}+\textit {\_Z}^{2}+1\right ) \RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}+\sqrt {x^{2}+1}\, \RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}-\RootOf \left (\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}+\textit {\_Z}^{2}+1\right )}{\RootOf \left (\RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2}+\textit {\_Z}^{2}+1\right ) \RootOf \left (\textit {\_Z}^{4}+\textit {\_Z}^{2}-1\right )^{2} x -1}\right )\) | \(214\) |
default | \(-\frac {\sqrt {5}\, \arctan \left (\frac {2 x}{\sqrt {2 \sqrt {5}+2}}\right )}{\sqrt {2 \sqrt {5}+2}}-\frac {\arctan \left (\frac {2 x}{\sqrt {2 \sqrt {5}+2}}\right )}{\sqrt {2 \sqrt {5}+2}}-\frac {\sqrt {5}\, \arctanh \left (\frac {2 x}{\sqrt {2 \sqrt {5}-2}}\right )}{\sqrt {2 \sqrt {5}-2}}+\frac {\arctanh \left (\frac {2 x}{\sqrt {2 \sqrt {5}-2}}\right )}{\sqrt {2 \sqrt {5}-2}}-\frac {\sqrt {x^{2}+1}}{2}-\frac {x}{2}+\frac {1}{-2 x +2 \sqrt {x^{2}+1}}+\frac {\arctanh \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {2+\sqrt {5}}}\right )}{2 \sqrt {2+\sqrt {5}}}+\frac {\sqrt {5}\, \arctanh \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {2+\sqrt {5}}}\right )}{2 \sqrt {2+\sqrt {5}}}-\frac {\arctan \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {-2+\sqrt {5}}}\right )}{2 \sqrt {-2+\sqrt {5}}}+\frac {\sqrt {5}\, \arctan \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {-2+\sqrt {5}}}\right )}{2 \sqrt {-2+\sqrt {5}}}+\frac {3 \sqrt {5}\, \arctan \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {2+\sqrt {5}}}\right )}{10 \sqrt {2+\sqrt {5}}}+\frac {\arctan \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {2+\sqrt {5}}}\right )}{2 \sqrt {2+\sqrt {5}}}+\frac {3 \sqrt {5}\, \arctanh \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {-2+\sqrt {5}}}\right )}{10 \sqrt {-2+\sqrt {5}}}-\frac {\arctanh \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {-2+\sqrt {5}}}\right )}{2 \sqrt {-2+\sqrt {5}}}-\frac {2 \sqrt {2+\sqrt {5}}\, \sqrt {5}\, \arctan \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {2+\sqrt {5}}}\right )}{5}+\frac {2 \sqrt {-2+\sqrt {5}}\, \sqrt {5}\, \arctanh \left (\frac {-x +\sqrt {x^{2}+1}}{\sqrt {-2+\sqrt {5}}}\right )}{5}\) | \(438\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \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. 383 vs.
\(2 (58) = 116\).
time = 0.40, size = 383, normalized size = 4.91 \begin {gather*} \sqrt {2} \sqrt {\sqrt {5} + 1} \arctan \left (\frac {1}{4} \, \sqrt {2} \sqrt {4 \, x^{4} + 4 \, x^{2} + \sqrt {5} {\left (2 \, x^{2} + 1\right )} - 2 \, {\left (2 \, x^{3} + \sqrt {5} x + x\right )} \sqrt {x^{2} + 1} + 1} {\left (\sqrt {2} x + \sqrt {2} \sqrt {x^{2} + 1}\right )} \sqrt {\sqrt {5} + 1} - \frac {1}{2} \, \sqrt {2} \sqrt {x^{2} + 1} \sqrt {\sqrt {5} + 1}\right ) + \sqrt {2} \sqrt {\sqrt {5} + 1} \arctan \left (\frac {1}{8} \, \sqrt {4 \, x^{2} + 2 \, \sqrt {5} + 2} {\left (\sqrt {5} \sqrt {2} - \sqrt {2}\right )} \sqrt {\sqrt {5} + 1} - \frac {1}{4} \, {\left (\sqrt {5} \sqrt {2} x - \sqrt {2} x\right )} \sqrt {\sqrt {5} + 1}\right ) - \frac {1}{4} \, \sqrt {2} \sqrt {\sqrt {5} - 1} \log \left (4 \, x^{2} - 4 \, \sqrt {x^{2} + 1} x + {\left (\sqrt {5} \sqrt {2} x - \sqrt {x^{2} + 1} {\left (\sqrt {5} \sqrt {2} + \sqrt {2}\right )} + \sqrt {2} x\right )} \sqrt {\sqrt {5} - 1} + 4\right ) + \frac {1}{4} \, \sqrt {2} \sqrt {\sqrt {5} - 1} \log \left (4 \, x^{2} - 4 \, \sqrt {x^{2} + 1} x - {\left (\sqrt {5} \sqrt {2} x - \sqrt {x^{2} + 1} {\left (\sqrt {5} \sqrt {2} + \sqrt {2}\right )} + \sqrt {2} x\right )} \sqrt {\sqrt {5} - 1} + 4\right ) - \frac {1}{4} \, \sqrt {2} \sqrt {\sqrt {5} - 1} \log \left (2 \, x + \sqrt {2} \sqrt {\sqrt {5} - 1}\right ) + \frac {1}{4} \, \sqrt {2} \sqrt {\sqrt {5} - 1} \log \left (2 \, x - \sqrt {2} \sqrt {\sqrt {5} - 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 218 vs.
\(2 (58) = 116\).
time = 2.45, size = 218, normalized size = 2.79 \begin {gather*} -\frac {1}{2} \, \sqrt {2 \, \sqrt {5} + 2} \arctan \left (-\frac {x - \sqrt {x^{2} + 1} + \frac {1}{x - \sqrt {x^{2} + 1}}}{\sqrt {2 \, \sqrt {5} - 2}}\right ) - \frac {1}{2} \, \sqrt {2 \, \sqrt {5} + 2} \arctan \left (\frac {x}{\sqrt {\frac {1}{2} \, \sqrt {5} + \frac {1}{2}}}\right ) + \frac {1}{4} \, \sqrt {2 \, \sqrt {5} - 2} \log \left (-x + \sqrt {x^{2} + 1} + \sqrt {2 \, \sqrt {5} + 2} - \frac {1}{x - \sqrt {x^{2} + 1}}\right ) - \frac {1}{4} \, \sqrt {2 \, \sqrt {5} - 2} \log \left ({\left | x + \sqrt {\frac {1}{2} \, \sqrt {5} - \frac {1}{2}} \right |}\right ) + \frac {1}{4} \, \sqrt {2 \, \sqrt {5} - 2} \log \left ({\left | x - \sqrt {\frac {1}{2} \, \sqrt {5} - \frac {1}{2}} \right |}\right ) - \frac {1}{4} \, \sqrt {2 \, \sqrt {5} - 2} \log \left ({\left | -x + \sqrt {x^{2} + 1} - \sqrt {2 \, \sqrt {5} + 2} - \frac {1}{x - \sqrt {x^{2} + 1}} \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.38, size = 649, normalized size = 8.32 \begin {gather*} \frac {\ln \left (x+\frac {\sqrt {2}\,\sqrt {\sqrt {5}-1}}{2}\right )\,\left (\frac {\sqrt {5}}{2}-\frac {5}{2}\right )}{2\,\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}}-\frac {\ln \left (x-\frac {\sqrt {2}\,\sqrt {\sqrt {5}-1}}{2}\right )\,\left (\frac {\sqrt {5}}{2}-\frac {5}{2}\right )}{2\,\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}}+\frac {\ln \left (x-\frac {\sqrt {2}\,\sqrt {-\sqrt {5}-1}}{2}\right )\,\left (\frac {\sqrt {5}}{2}+\frac {5}{2}\right )}{2\,\sqrt {-\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (-\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}}-\frac {\ln \left (x+\frac {\sqrt {2}\,\sqrt {-\sqrt {5}-1}}{2}\right )\,\left (\frac {\sqrt {5}}{2}+\frac {5}{2}\right )}{2\,\sqrt {-\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (-\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}}-\frac {\left (\ln \left (x-\frac {\sqrt {2}\,\sqrt {\sqrt {5}-1}}{2}\right )-\ln \left (\frac {\sqrt {2}\,x\,\sqrt {\sqrt {5}-1}}{2}+\frac {\sqrt {2}\,\sqrt {x^2+1}\,\sqrt {\sqrt {5}+1}}{2}+1\right )\right )\,\left (\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}}+2\,{\left (\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )}{\left (2\,\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )\,\sqrt {\frac {\sqrt {5}}{2}+\frac {1}{2}}}-\frac {\left (\ln \left (x+\frac {\sqrt {2}\,\sqrt {\sqrt {5}-1}}{2}\right )-\ln \left (\frac {\sqrt {2}\,\sqrt {x^2+1}\,\sqrt {\sqrt {5}+1}}{2}-\frac {\sqrt {2}\,x\,\sqrt {\sqrt {5}-1}}{2}+1\right )\right )\,\left (\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}}+2\,{\left (\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )}{\left (2\,\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )\,\sqrt {\frac {\sqrt {5}}{2}+\frac {1}{2}}}+\frac {\left (\ln \left (\frac {\sqrt {2}\,\sqrt {x^2+1}\,\sqrt {1-\sqrt {5}}}{2}-\frac {\sqrt {2}\,x\,\sqrt {-\sqrt {5}-1}}{2}+1\right )-\ln \left (x+\frac {\sqrt {2}\,\sqrt {-\sqrt {5}-1}}{2}\right )\right )\,\left (\sqrt {-\frac {\sqrt {5}}{2}-\frac {1}{2}}+2\,{\left (-\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )}{\left (2\,\sqrt {-\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (-\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )\,\sqrt {\frac {1}{2}-\frac {\sqrt {5}}{2}}}+\frac {\left (\ln \left (\frac {\sqrt {2}\,x\,\sqrt {-\sqrt {5}-1}}{2}+\frac {\sqrt {2}\,\sqrt {x^2+1}\,\sqrt {1-\sqrt {5}}}{2}+1\right )-\ln \left (x-\frac {\sqrt {2}\,\sqrt {-\sqrt {5}-1}}{2}\right )\right )\,\left (\sqrt {-\frac {\sqrt {5}}{2}-\frac {1}{2}}+2\,{\left (-\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )}{\left (2\,\sqrt {-\frac {\sqrt {5}}{2}-\frac {1}{2}}+4\,{\left (-\frac {\sqrt {5}}{2}-\frac {1}{2}\right )}^{3/2}\right )\,\sqrt {\frac {1}{2}-\frac {\sqrt {5}}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________