\[ \left (x^2-1\right ) y'(x)^2-y(x)^2+1=0 \] ✓ Mathematica : cpu = 0.100583 (sec), leaf count = 287
\[\left \{\left \{y(x)\to -\frac {1}{2} e^{-c_1} \sqrt {e^{4 c_1} \left (2 x^2+2 \sqrt {x^2-1} x-1\right )+2 e^{2 c_1}+2 x^2-2 \sqrt {x^2-1} x-1}\right \},\left \{y(x)\to \frac {1}{2} e^{-c_1} \sqrt {e^{4 c_1} \left (2 x^2+2 \sqrt {x^2-1} x-1\right )+2 e^{2 c_1}+2 x^2-2 \sqrt {x^2-1} x-1}\right \},\left \{y(x)\to -\frac {1}{2} \sqrt {e^{-2 c_1} \left (e^{4 c_1} \left (2 x^2-2 \sqrt {x^2-1} x-1\right )+2 e^{2 c_1}+2 x^2+2 \sqrt {x^2-1} x-1\right )}\right \},\left \{y(x)\to \frac {1}{2} \sqrt {e^{-2 c_1} \left (e^{4 c_1} \left (2 x^2-2 \sqrt {x^2-1} x-1\right )+2 e^{2 c_1}+2 x^2+2 \sqrt {x^2-1} x-1\right )}\right \}\right \}\]
✓ Maple : cpu = 99.797 (sec), leaf count = 166
\[ \left \{ {1\sqrt { \left ( -1+y \left ( x \right ) \right ) \left ( 1+y \left ( x \right ) \right ) }\ln \left ( y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-1} \right ) {\frac {1}{\sqrt {-1+y \left ( x \right ) }}}{\frac {1}{\sqrt {1+y \left ( x \right ) }}}}+\int ^{x}\!{\frac {1}{{{\it \_a}}^{2}-1}\sqrt { \left ( {{\it \_a}}^{2}-1 \right ) \left ( \left ( y \left ( x \right ) \right ) ^{2}-1 \right ) }{\frac {1}{\sqrt {-1+y \left ( x \right ) }}}{\frac {1}{\sqrt {1+y \left ( x \right ) }}}}{d{\it \_a}}+{\it \_C1}=0,{1\sqrt { \left ( -1+y \left ( x \right ) \right ) \left ( 1+y \left ( x \right ) \right ) }\ln \left ( y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-1} \right ) {\frac {1}{\sqrt {-1+y \left ( x \right ) }}}{\frac {1}{\sqrt {1+y \left ( x \right ) }}}}+\int ^{x}\!-{\frac {1}{{{\it \_a}}^{2}-1}\sqrt { \left ( {{\it \_a}}^{2}-1 \right ) \left ( \left ( y \left ( x \right ) \right ) ^{2}-1 \right ) }{\frac {1}{\sqrt {-1+y \left ( x \right ) }}}{\frac {1}{\sqrt {1+y \left ( x \right ) }}}}{d{\it \_a}}+{\it \_C1}=0,y \left ( x \right ) =-1,y \left ( x \right ) =1 \right \} \]