A = Intersect(xAxis, yAxis)
B = Point(yAxis)
c = Circle(A, B)
α = 0.8726646259971648 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
B' = Rotate(B, -(α), A)
β = Angle(B', A, B)
a = OrthogonalLine(B', xAxis)
C = Point(a)
b = OrthogonalLine(B', yAxis)
C' = Mirror(C, b)
D = Point(b)
D' = Mirror(D, a)
d = OrthogonalLine(D', b)
e = OrthogonalLine(D, b)
f = OrthogonalLine(C, a)
g = OrthogonalLine(C', a)
E = Intersect(d, g)
F = Intersect(d, f)
G = Intersect(f, e)
H = Intersect(e, g)
poly1, e_1, h, g_1, f_1 = Polygon(E, H, G, F)