A = (2.52, 3.48)
B_1 = (-3.7800000000000002, 1.48)
c = Semicircle(A, B_1)
GS = Segment(B_1, A)
EL = LineBisector(B_1, A)
F = Intersect(EL, GS)
d = Semicircle(B_1, A)
C = Intersect(d, EL, 1.0)
e = CircleArc(F, C, B_1)
E = Point(e)
a_1 = Ray(F, E)
α = Angle(C, F, E)
n = 1.96 (slider from 1 to 2.5, step 0.01)
D = Intersect(c, EL, 1.0)
B = Rotate(D, asin(sin(α) / n), F)
β = Angle(D, F, B)
b_1 = Ray(F, B)
f = OrthogonalLine(E, GS)
g = OrthogonalLine(B, GS)
E' = Intersect(f, GS)
B' = Intersect(g, GS)
h = Segment(E, E')
i = Segment(B', B)
a = Segment(E', F)
b = Segment(F, B')
j = OrthogonalLine(B, b_1)
G = Point(j)
k = Circle(B, G)
H = Intersect(k, j, 2.0)
l = Segment(H, G)