A = PointIn(y < 0)
B = PointIn(y < 0)
E = Mirror(A, xAxis)
f = Segment(E, B)
D = Intersect(xAxis, f)
g = Segment(B, D)
h = Segment(D, A)
i = Segment(E, A)
T = Intersect(i, xAxis)
c = Circle(T, 1)
C = Intersect(c, xAxis, 1)
j = OrthogonalLine(B, xAxis)
F = Intersect(j, xAxis)
d = Circle(F, 1)
G = Intersect(c, xAxis, 2)
H, I = Intersect(d, xAxis)
k = Segment(G, H)
l = Segment(I, C)