(t*x + t^3*y - t^2*(1 + x*y))/((1 - t^2)*y*
  (1 + t^2 - (t*(x^(-1) + x + y^(-1) + y))/2))
