F = Point(yAxis)
S = Point(xAxis)
A = (-0.274, 1.172)
S' = Mirror(F, S)
a = Line(S, F)
c = Circle(A, F)
d = Circle(S', Segment[A, F])
S''_1, S''_2 = Intersect(d, a)
mf_1 = LineBisector(S''_1, A)
F_1 = Intersect(mf_1, a)
AS_1 = Segment(S''_1, A)
f = Circle(F_1, S')
mf_2 = LineBisector(S''_2, A)
F_2 = Intersect(mf_2, a)
h = Circle(F_2, S')
m_1 = Point(f)
fm_1 = Line(F_1, m_1)
t_1 = LineBisector(m_1, F)
P_1 = Intersect(fm_1, t_1)
c_1 = Locus(P_1, m_1)
m_2 = Point(h)
fm_2 = Line(F_2, m_2)
t_2 = LineBisector(F, m_2)
P_2 = Intersect(fm_2, t_2)
c_2 = Locus(P_2, m_2)
b = Segment(A, F)
e = Segment(S', S''_2)
g = Segment(S', S''_1)