O: (0, 0)
A: (-1, 0)
C: (1, 0)
B = (-0.37020711982724663, 1.0330427272737275)
t1, c, a, b = Polygon(A, B, C)
D: (x(B), 0)
f = Segment(B, D)
h = Segment(A, D)
eq3: ((abs(x) - abs(y) - 1) * (x^(2) + y^(2) - 1)) = 0
l = Segment(C, D)
E: ((f * x(A)) + (h * x(B)) + (c * x(D)), (f * y(A)) + (h * y(B)) + (c * y(D))) / (f + h + c)
F: ((f * x(C)) + (l * x(B)) + (a * x(D)), (f * y(C)) + (l * y(B)) + (a * y(D))) / (f + l + a)
G: ((a * x(A)) + (b * x(B)) + (c * x(C)), (a * y(A)) + (b * y(B)) + (c * y(C))) / (a + b + c)
i = LineBisector(E, G)
j = LineBisector(G, F)
k = LineBisector(F, E)
H = Intersect(i, j)
d = Circle(H, E)
g = Line(A, C)