a = 12 (slider from 0 to 12, step 0.01)
b = 0 (slider from 0 to 9, step 0.01)
A: (a, 5.0)
B: (b, 3.0)
C = Point(yAxis)
D = Point(yAxis)
c = Segment(D, B)
d = Segment(A, C)
E = Point(yAxis)
e = Circle(E, C)
F = Point(yAxis)
f = Circle(F, D)
G = Intersect(e, yAxis, 2.0)
H = Point(e)
I = Point(e)
J = Intersect(f, yAxis, 2.0)
K = Point(f)
L = Point(f)
α = 0 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
β = 0 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
G' = Rotate(G, -1.0 * α, E)
C' = Rotate(C, -1.0 * α, E)
g' = Segment(G', C')
H' = Rotate(H, -1.0 * α, E)
I' = Rotate(I, -1.0 * α, E)
h' = Segment(H', I')
J' = Rotate(J, -1.0 * β, F)
D' = Rotate(D, -1.0 * β, F)
i' = Segment(J', D')
K' = Rotate(K, -1.0 * β, F)
L' = Rotate(L, -1.0 * β, F)
j' = Segment(K', L')
g = Line(A, B)
M = Point(f)
N = Point(f)
M' = Rotate(M, -1.0 * β, F)
N' = Rotate(N, -1.0 * β, F)
h = Segment(M', N')