This is the vanderpol example from "Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets", HSCC 2013 Althoff

x in [1.25, 1.55] and y in [2.28, 2.32]

a 'streamline' plot can be produced using streamplot.py
