$(\Gamma)$

(\Gamma)

F = Point(xAxis)
F' = Mirror(F, yAxis)
O = Intersect(xAxis, yAxis)
C = (-2.2548827152132462, 1.7138779260841988)
c = Ellipse(F, F', C)
P = Point(xAxis)
d = Circle(O, F')
P' = Mirror(P, d)
e = Circle(P', F')
B, D, E, G = Vertex(c)
F'' = Mirror(F', D)
Γ = Circle(F, F'')
M_2, M_1 = Intersect(e, Γ)
g = Line(F, M_1)
h = LineBisector(F', M_1)
P_1 = Intersect(h, g)
i = OrthogonalLine(P_1, h)
P_2 = Mirror(P_1, xAxis)
i' = Mirror(i, xAxis)
p: y = 0
eq1: x = 0
j = Segment(F', M_1)
H = Point(Γ)