\[ (y(x)-x)^2 \left (y'(x)^2+1\right )-a^2 \left (y'(x)+1\right )^2=0 \] ✓ Mathematica : cpu = 19.5841 (sec), leaf count = 17831 \[ \text {Too large to display} \] ✓ Maple : cpu = 0.464 (sec), leaf count = 130
\[ \left \{ y \left ( x \right ) =x-\sqrt {2}a,y \left ( x \right ) =x+\sqrt {2}a,y \left ( x \right ) =x+{\it RootOf} \left ( -x+\int ^{{\it \_Z}}\!-{\frac {1}{2\,{{\it \_a}}^{2}-4\,{a}^{2}} \left ( {{\it \_a}}^{2}-2\,{a}^{2}+\sqrt {-{{\it \_a}}^{4}+2\,{{\it \_a}}^{2}{a}^{2}} \right ) }{d{\it \_a}}+{\it \_C1} \right ) ,y \left ( x \right ) =x+{\it RootOf} \left ( -x+\int ^{{\it \_Z}}\!{\frac {1}{2\,{{\it \_a}}^{2}-4\,{a}^{2}} \left ( 2\,{a}^{2}-{{\it \_a}}^{2}+\sqrt {-{{\it \_a}}^{4}+2\,{{\it \_a}}^{2}{a}^{2}} \right ) }{d{\it \_a}}+{\it \_C1} \right ) \right \} \]