A = (2.88, -8.18)
B = (6.735066666666655, -1.0944190476190574)
p_1 = Line(A, B)
C = (21.32, -9.86)
p_2 = Line(A, C)
D = (4.681523809523799, 0.2746095238095155)
h = OrthogonalLine(D, p_1)
S = Point(h)
k = Circle(S, D)
g, i = AngularBisector(p_1, p_2)
a = 0 (slider from 0 to 7, step 1)
f = OrthogonalLine(A, p_1)
j = OrthogonalLine(A, p_2)
c = Circle(A, Radius[k])
E, F = Intersect(c, j)
G, H = Intersect(c, f)
l = Line(H, p_1)
m = Line(G, p_1)
n = Line(F, p_2)
p = Line(E, p_2)
l' = Mirror(l, k)
p' = Mirror(p, k)
q, r = Tangent(l', p')
Intersect(-1.5067507534672888x² + 6.037503092069563x y - 2.6353278777647264y² + 36.07200637815892x - 58.355188835451074y = 200.18121185607015, l')
r' = Mirror(r, k)
q' = Mirror(q, k)
S_1 = Center(q')
S_2 = Center(r')
s = Line(S_1, S)
t = Line(S_2, S)
I = Intersect(k, s, 1)
k_1 = Circle(S_1, I)
J = Intersect(k, t, 1)
k_2 = Circle(S_2, J)
m' = Mirror(m, k)
p'_{1} = Mirror(p, k)
b, f_1 = Tangent(p'_{1}, m')
Intersect(0.3852748757617892x² + 0.9236469881536435x y + 1.8679150175594468y² - 3.4551461907933856x + 1.4398106116982383y = -13.208593004551801, p'_{1})
b' = Mirror(b, k)
c_1 = Mirror(f_1, k)
S_3 = Center(c_1)
S_4 = Center(b')
g_1 = Line(S_4, S)
h_1 = Line(S_3, S)
K = Intersect(k, h_1, 1)
k_3 = Circle(S_3, K)
L = Intersect(k, g_1, 1)
k_4 = Circle(S_4, L)