r1 = 0.8 (slider from 0 to 5, step 0.1)
r2 = 2 (slider from 1.4 to 5, step 0.1)
M1 = (-1.2, 1)
M2 = (4.94, 1.1)
c = Circle(M1, r1)
d = Circle(M2, r2)
e = Circle(M2, r2 - r1)
a = Segment(M1, M2)
b = LineBisector(a)
A = Intersect(b, a)
f = Circle(A, M2)
B, C = Intersect(e, f)
g = Segment(M1, C)
h = Segment(M1, B)
i = Ray(M2, C)
j = Ray(M2, B)
D = Intersect(d, i)
E = Intersect(d, j)
u = Vector(C, D)
v = Vector(B, E)
M1'_1 = Translate(M1, u)
C' = Translate(C, u)
g' = Segment(M1'_1, C')
M1' = Translate(M1, v)
B' = Translate(B, v)
h' = Segment(M1', B')