A = (7.130605147494778, -0.6590494915758071)
B = (12.789129758066112, -0.6590494915758071)
a = Segment(A, B)
M = Midpoint(a)
b = OrthogonalLine(B, a)
c = Circle(B, M)
C = Intersect(c, b, 2)
d = Segment(A, C)
e = Circle(C, B)
D = Intersect(e, d, 1)
f = Circle(A, D)
T = Intersect(f, a, 1)
g = Segment(A, T)
φ: g / a