Toro

a: z = sqrt(1 - (sqrt(x^(2) + y^(2)) - 2)^(2))
u: -0.58
p: x - z + u = 0
eq1 = IntersectPath(p, a)