c1 = Intersect(xAxis, yAxis)
c2 = Point(Circle[c1, 2])
p1 = Segment(c1, c2)
c4 = Point(yAxis)
c3 = Point(Circle[c4, 2])
p3 = Segment(c4, c3)
p4 = Segment(c4, c1)
A: (1, 1)
B: (1.5, 1.41046)
dist = Segment(A, B)
c = Circle(B, 0.5)
C: (1.5, 1)
ABx = Segment(A, C)
ABy = Segment(C, B)
α = Angle(B, C, A)
p2 = Segment(c2, c3)
D = Intersect(c, dist, 1)
E = Point(c)
Xx = Segment(B, E)
F = Point(c)
Xy = Segment(B, F)