A = (-3.86216, 2.2553)
B = (2.13944, 2.2553)
a = Line(A, B)
C = Midpoint(A, B)
c = Circle(C, A)
b = OrthogonalLine(C, a)
D = Intersect(c, b, 1)
E = (4.62883489105935, 1.335072952667168)
F = (7.48483489105934, 1.335072952667168)