(x^2-x sqrt(2)-1+sqrt(2))/(x^2-2 x-1)