Heuristic 3

This tries to implement a heuristic given by @flacjacket to me, which assumer xi and eta to be bivariate polynomials in x and y.