Q: x^(2) + y^(2) - z^(2) = 0
p0: x + (2 * y) + z = 3
p1: z = 4
p2: x - z = 2
H = IntersectPath(p0, Q)
E = IntersectPath(p1, Q)
P = IntersectPath(p2, Q)