A = (8.86, 0.03818181818181445)
B = (1.7472727272727273, 1.3654545454545453)
C = (1.7472727272727273, -1.1745454545454548)
c = CircleArc(A, B, C)
a = AngularBisector(B, A, C)
D = Point(a)
b = OrthogonalLine(D, a)
E = Point(b)
u = Vector(D, E)
d = Line(E, a)
F_1 = Intersect(c, d)
e = Segment(F_1, A)
d' = Mirror(d, e)
G = Intersect(c, a)
f = Line(E, G)
f' = Mirror(f, a)
g = Segment(F_1, E)
h = Segment(G, E)
H = Point(d')
I = Point(d')
J = Point(f')
K = Point(f')
i = Ray(F_1, H)
j = Ray(F_1, I)
k = Ray(G, J)
l = Ray(G, K)
L = Intersect(d', f')
m = OrthogonalLine(L, a)
M = Intersect(a, m)
v = Vector(M, L)
F = Midpoint(G, A)