P = (-1.54, 0.82)
S = (8.4, 0.76)
a = Segment(P, S)
b = LineBisector(a)
A = Point(b)
c = OrthogonalLine(A, b)
R = 1
d = Circle(A, R)
B, C = Intersect(d, c)
e = Segment(C, B)
f = Segment(P, A)
g = Segment(A, S)
h = Segment(P, C)
i = Segment(C, S)
j, k = AngularBisector(h, i)
l = OrthogonalLine(C, k)
p = Circle(C, 2 * R)
D, E = Intersect(p, l)
m = Segment(E, C)
n = Segment(P, E)
q = Segment(E, S)
r, s = AngularBisector(n, q)
t = OrthogonalLine(E, s)
c_1 = Circle(E, 2 * R)
F, G = Intersect(c_1, t)
a_1 = Segment(E, G)