F = Point(yAxis)
F' = Mirror(F, xAxis)
d = OrthogonalLine(F', yAxis)
T = Point(d)
a = Segment(F, T)
b = LineBisector(a)
c = OrthogonalLine(T, d)
P = Intersect(b, c)
e = Segment(F, P)
A = Point(c)
f = Ray(P, A)
g = Segment(P, T)
M = Intersect(b, a)
loc1 = Locus(P, T)