H: (x * y) + z = 1
p: x + z = 3
c0 = IntersectPath(p, H)
r: x + y = 0
c2 = IntersectPath(r, H)