L = (6.092817653890827, -3.3111702671312426)
M = (7.096649477351915, -3.390449245063892)
poly2 = F(L, M)
B = (6.12, -4.02)
C = (7.015027177700347, -5.077310104529632)
D = (13.109492218350756, -3.9618053426248685)
u = Vector(C, D)
poly2' = Translate(poly2, u)

Tool: F
Input: A, B
Output: poly1

a = Line(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
d = Circle(A, B)
C = Intersect(d, b, 2)
A' = Mirror(A, C)
C' = Mirror(C, A')
A'' = Mirror(A', C')
C'' = Mirror(C', A'')
A''' = Mirror(A'', C'')
e = OrthogonalLine(A''', b)
f = OrthogonalLine(C'', b)
g = OrthogonalLine(A'', b)
h = OrthogonalLine(C', b)
D = Intersect(c, e)
E = Mirror(A''', D)
D' = Mirror(D, E)
i = OrthogonalLine(E, e)
j = OrthogonalLine(D', e)
F = Intersect(f, j)
G = Intersect(c, f)
H = Intersect(c, g)
I = Intersect(g, i)
J = Intersect(h, i)
K = Intersect(c, h)
poly1, a_1, a''', d', f_1, g_1, h_1, i_1, j_1, k, b_1 = Polygon(A, A''', D', F, G, H, I, J, K, B)