\[ y'(x)=-\frac {y(x) \left (x^2 y(x) (-\coth (x+1))+\log (x-1)+x \coth (x+1)\right )}{x \log (x-1)} \] ✓ Mathematica : cpu = 27.7885 (sec), leaf count = 348
\[\left \{\left \{y(x)\to \frac {\exp \left (\int _1^x\frac {-e^2 \cosh (K[1]) K[1]-\cosh (K[1]) K[1]-e^2 \sinh (K[1]) K[1]+\sinh (K[1]) K[1]-e^2 \cosh (K[1]) \log (K[1]-1)+\cosh (K[1]) \log (K[1]-1)-e^2 \log (K[1]-1) \sinh (K[1])-\log (K[1]-1) \sinh (K[1])}{K[1] \log (K[1]-1) \left (e^2 \cosh (K[1])-\cosh (K[1])+e^2 \sinh (K[1])+\sinh (K[1])\right )}dK[1]\right )}{-\int _1^x\frac {\exp \left (\int _1^{K[2]}\frac {-e^2 \cosh (K[1]) K[1]-\cosh (K[1]) K[1]-e^2 \sinh (K[1]) K[1]+\sinh (K[1]) K[1]-e^2 \cosh (K[1]) \log (K[1]-1)+\cosh (K[1]) \log (K[1]-1)-e^2 \log (K[1]-1) \sinh (K[1])-\log (K[1]-1) \sinh (K[1])}{K[1] \log (K[1]-1) \left (e^2 \cosh (K[1])-\cosh (K[1])+e^2 \sinh (K[1])+\sinh (K[1])\right )}dK[1]\right ) \left (e^2 \cosh (K[2]) K[2]^2+\cosh (K[2]) K[2]^2+e^2 \sinh (K[2]) K[2]^2-\sinh (K[2]) K[2]^2\right )}{K[2] \log (K[2]-1) \left (e^2 \cosh (K[2])-\cosh (K[2])+e^2 \sinh (K[2])+\sinh (K[2])\right )}dK[2]+c_1}\right \}\right \}\] ✓ Maple : cpu = 0.31 (sec), leaf count = 108
\[\left \{y \left (x \right ) = \frac {{\mathrm e}^{\int -\frac {x \cosh \left (x +1\right )+\ln \left (x -1\right ) \sinh \left (x +1\right )}{x \ln \left (x -1\right ) \sinh \left (x +1\right )}d x}}{c_{1}+\int -\frac {x \cosh \left (x +1\right ) {\mathrm e}^{\int \frac {-x \cosh \left (x +1\right )-\ln \left (x -1\right ) \sinh \left (x +1\right )}{x \ln \left (x -1\right ) \sinh \left (x +1\right )}d x}}{\ln \left (x -1\right ) \sinh \left (x +1\right )}d x}\right \}\]