The asymptotic variety of a Pinchuk map as a polynomial curve

The asymptotic variety of a counterexample of Pinchuk type to the strong real Jacobian conjecture is explicitly described by low degree polynomials.