int (-1)..3 of 2y+4-(y^2+1)