y_H = 1.326 (slider from 1 to 2)
a = CurveCartesian(t - sin(t), 1 - cos(t), t, 0, π)
C: (π, 2)
F: (π, 0)
AB = Segment(C, F)
A = Point(a)
AC = Segment(A, C)
c = Semicircle(C, F)
M = Midpoint(C, F)
H: (π, y_H)
I = Mirror(H, M)
h_1 = Line(H, xAxis)
i = Line(I, xAxis)
D = Intersect(c, h_1)
E = Intersect(c, i)
U = Intersect(i, AC)
L, I_1 = Intersect(i, a)
R = Intersect(h_1, AC)
B, K_1 = Intersect(h_1, a)
S1 = Segment(H, D)
S2 = Segment(I, E)
S3 = Segment(B, R)
S4 = Segment(L, U)
H' = Point(yAxis)
D' = Point(Circle[H', S1])
S1' = Segment(H', D')
E' = Point(Circle[D', S2])
S2' = Segment(D', E')
B' = Point(yAxis)
R' = Point(Circle[B', S3])
S3' = Segment(B', R')
U' = Point(Circle[R', S4])
S4' = Segment(R', U')
ABC: (Polygon[C, F, A] * 5)
f = Segment(E', U')
distanzaH'E' = Distance(H', E')
Lunghezza_1: Name[H'] + (Name[E']) + " = " + distanzaH'E'
distanzaB'U' = Distance(B', U')
Lunghezza: Name[B'] + (Name[U']) + " = " + distanzaB'U'