z_3 = (8.293582333769884, 2.4060626644083625)
z_1 = (12.670509734826734, 6.734891962156898)
z_2 = (8.822661470161371, 6.3501071356903624)
z_4 = (7.331620267603543, 1.8288854247085575)
z_5 = (11.227566635577222, 3.1756323173414356)
dist45 = Distance(z_4, z_5)
dist35 = Distance(z_3, z_5)
rho5b = Min(dist35, dist45)
dist15 = Distance(z_1, z_5)
dist25 = Distance(z_2, z_5)
rho5a = Min(dist15, dist25)
dist24 = Distance(z_2, z_4)
s = 0.5 (slider from 0 to 2, step 0.1)
dist12 = Distance(z_1, z_2)
Textz1z2: "\left| " + (Name[z_1]) + (Name[z_2]) + "\right| = " + dist12
dist13 = Distance(z_1, z_3)
Textz1z3: "\left| " + (Name[z_1]) + (Name[z_3]) + "\right| = " + dist13
dist14 = Distance(z_1, z_4)
Textz1z4: "\left| " + (Name[z_1]) + (Name[z_4]) + "\right| = " + dist14
Textz1z5: "\left| " + (Name[z_1]) + (Name[z_5]) + "\right| = " + dist15
rho1a = Min(dist12, dist13)
rho1b = Min(dist14, dist15)
dist23 = Distance(z_2, z_3)
dist34 = Distance(z_3, z_4)
rho2a = Min(dist12, dist23)
rho2b = Min(dist24, dist25)
rho2 = Min(rho2a, rho2b)
rho1 = Min(rho1a, rho1b)
rho3a = Min(dist13, dist23)
rho3b = Min(dist34, dist35)
rho3 = Min(rho3a, rho3b)
rho4a = Min(dist14, dist24)
rho4b = Min(dist34, dist45)
rho4 = Min(rho4a, rho4b)
Ra = Max(dist15, dist25)
Rb = Max(dist35, dist45)
R = Max(Ra, Rb)
c = Circle(z_1, rho1 * s)
d = Circle(z_2, rho2 * s)
e = Circle(z_3, rho3 * s)
f = Circle(z_4, rho4 * s)
rho5 = Min(rho5a, rho5b)
g = Circle(z_5, rho5 * s)
h = Circle(z_5, R / s)

Tool: halfplane
Input: Y, B, O
Output: W, α, b

W: B / Y
a = Segment(O, Y)
b = OrthogonalLine(O, a)
c = Circle(O, Y)
A = Intersect(c, b, 2)
α = Angle(Y, O, A)