f(x) = sqrt(1 - x^(2))
I: (1, 0)
M = Point(f)
H: (x(M), 0)
poly1, i, m, h = Polygon(M, H, I)
B: (x(M), poly1)