A = (-1.2750424087345704, 3.149900606008594)
O = (2.4, 0.3225)
a = LineBisector(A, O)
c = Circle(A, 4)
C = Intersect(c, a, 2)
B = Mirror(A, C)
b = Segment(B, A)
d = Segment(C, O)
e = Line(O, b)
f = Line(B, d)
g = Circle(B, Segment[B, A])
A' = Intersect(g, f, 2)
D = Intersect(e, f)
h = Segment(B, A')
i = Segment(D, O)