F = Point(yAxis)
F' = Mirror(F, xAxis)
d = OrthogonalLine(F', yAxis)
A = Point(d)
a = OrthogonalLine(A, d)
B = Point(a)
b = Ray(A, B)
C = Point(b)
c = Segment(A, C)
e = Circle(F, c)
f = OrthogonalLine(C, c)
P = Intersect(e, f, 2)
g = Segment(P, F)
h = OrthogonalLine(P, d)
D = Intersect(d, h)
i = Segment(P, D)
loc1 = Locus(P, C)
E = Intersect(e, f, 1)
loc2 = Locus(E, C)