A = (0, 0)
B = (0, 1)
c = Circle(A, B)
B' = Mirror(B, A)
d = Circle(B', B)
a = Line(B, A)
b = OrthogonalLine(A, a)
C, D = Intersect(c, b)
e = Circle(D, A)
E, F = Intersect(e, d)
f = Line(D, a)
g = OrthogonalLine(F, f)
G = Intersect(f, g)
h = Line(G, B')
H, I = Intersect(c, h)
J = Intersect(b, h)
k = Circle(H, J)
areac = Area(c)
Textc: "Area = " + areac
areak = Area(k)
Textk: "Area = " + areak
distanceHI = Distance(H, I)
TextHI: "\overline{" + (Name[H]) + (Name[I]) + "} \, = \, " + distanceHI
distanceBH = Distance(B, H)
TextBH: "\overline{" + (Name[B]) + (Name[H]) + "} \, = \, " + distanceBH