\[ y'(x)=\frac {e^{-\frac {2}{x^2-y(x)^2-1}}+x^2+2 x y(x)+y(x)^2}{-e^{-\frac {2}{x^2-y(x)^2-1}}+x^2+2 x y(x)+y(x)^2} \] ✓ Mathematica : cpu = 2.07701 (sec), leaf count = 1283
\[\text {Solve}\left [\int _1^x\left (-e^{\int _1^{(K[2]-y(x)) (K[2]+y(x))}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{K[2]^2-y(x)^2-1}} K[2]^2-2 e^{\int _1^{(K[2]-y(x)) (K[2]+y(x))}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{K[2]^2-y(x)^2-1}} y(x) K[2]-e^{\int _1^{(K[2]-y(x)) (K[2]+y(x))}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]} \left (e^{\frac {2}{K[2]^2-y(x)^2-1}} y(x)^2+1\right )\right )dK[2]+\int _1^{y(x)}\left (e^{\int _1^{(x-K[3]) (x+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{x^2-K[3]^2-1}} x^2+2 e^{\int _1^{(x-K[3]) (x+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{x^2-K[3]^2-1}} K[3] x-e^{\int _1^{(x-K[3]) (x+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]}+e^{\int _1^{(x-K[3]) (x+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{x^2-K[3]^2-1}} K[3]^2-\int _1^x\left (-e^{\int _1^{(K[2]-K[3]) (K[2]+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{K[2]^2-K[3]^2-1}} \left (\frac {4 K[3]}{\left (K[2]^2-K[3]^2-1\right )^2}-\frac {4 K[3] ((K[2]-K[3]) (K[2]+K[3]) ((K[2]-K[3]) (K[2]+K[3])-3)+1)}{\left (e^{-\frac {2}{(K[2]-K[3]) (K[2]+K[3])-1}}-(K[2]-K[3]) (K[2]+K[3])\right ) ((K[2]-K[3]) (K[2]+K[3])-1)^2}\right ) K[2]^2-2 e^{\int _1^{(K[2]-K[3]) (K[2]+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{K[2]^2-K[3]^2-1}} K[2]-2 e^{\int _1^{(K[2]-K[3]) (K[2]+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]+\frac {2}{K[2]^2-K[3]^2-1}} K[3] \left (\frac {4 K[3]}{\left (K[2]^2-K[3]^2-1\right )^2}-\frac {4 K[3] ((K[2]-K[3]) (K[2]+K[3]) ((K[2]-K[3]) (K[2]+K[3])-3)+1)}{\left (e^{-\frac {2}{(K[2]-K[3]) (K[2]+K[3])-1}}-(K[2]-K[3]) (K[2]+K[3])\right ) ((K[2]-K[3]) (K[2]+K[3])-1)^2}\right ) K[2]-e^{\int _1^{(K[2]-K[3]) (K[2]+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]} \left (\frac {4 e^{\frac {2}{K[2]^2-K[3]^2-1}} K[3]^3}{\left (K[2]^2-K[3]^2-1\right )^2}+2 e^{\frac {2}{K[2]^2-K[3]^2-1}} K[3]\right )+\frac {4 e^{\int _1^{(K[2]-K[3]) (K[2]+K[3])}\frac {2 ((K[1]-3) K[1]+1)}{\left (e^{-\frac {2}{K[1]-1}}-K[1]\right ) (K[1]-1)^2}dK[1]} K[3] \left (e^{\frac {2}{K[2]^2-K[3]^2-1}} K[3]^2+1\right ) ((K[2]-K[3]) (K[2]+K[3]) ((K[2]-K[3]) (K[2]+K[3])-3)+1)}{\left (e^{-\frac {2}{(K[2]-K[3]) (K[2]+K[3])-1}}-(K[2]-K[3]) (K[2]+K[3])\right ) ((K[2]-K[3]) (K[2]+K[3])-1)^2}\right )dK[2]\right )dK[3]=c_1,y(x)\right ]\] ✓ Maple : cpu = 2.487 (sec), leaf count = 40
\[ \left \{ y \left ( x \right ) ={{\rm e}^{{\it RootOf} \left ( -{\it \_Z}+\int ^{ \left ( {{\rm e}^{{\it \_Z}}} \right ) ^{2}-2\,x{{\rm e}^{{\it \_Z}}}}\! \left ( {{\rm e}^{2\, \left ( {\it \_a}+1 \right ) ^{-1}}}+{\it \_a} \right ) ^{-1}{d{\it \_a}}+{\it \_C1} \right ) }}-x \right \} \]