n_l_u_f_t = 1 (slider from 1 to 2.5, step 0.01)
n_v_a_n_d_,_r = 1.443 (slider from 1 to 2.5, step 0.001)
n_v_a_n_d_,_b = 1.675 (slider from 1 to 2.5, step 0.001)
A = (3.96, -2.78)
B = (-26.989591763304364, 16.099817540768218)
c = Circle(A, B)
C = (-120.6908106138656, 13.942565548758553)
f = Segment(C, B)
g = Ray(A, B)
D = Point(g)
Theta1 = Angle(D, B, C)
Theta2: asind((n_l_u_f_t * sin(Theta1) / n_v_a_n_d_,_r))
E = Point(g)
E' = Rotate(E, Theta2, B)
α = Angle(E, B, E')
h = Ray(B, E')
F = Intersect(c, h, 2)
i = Segment(B, F)
j = Ray(A, F)
Theta3: asind((n_v_a_n_d_,_r * sin(Theta2) / n_l_u_f_t))
A' = Rotate(A, Theta2, F)
β = Angle(A, F, A')
k = Ray(F, A')
G = Intersect(c, k, 2)
l = Segment(F, G)
m = Ray(A, G)
H = Point(k)
I = Point(m)
I' = Rotate(I, (-Theta3), G)
γ = Angle(I', G, I)
n = Ray(G, I')
J = Point(g)
Theta4: asind((n_l_u_f_t * sin(Theta1) / n_v_a_n_d_,_b))
J' = Rotate(J, Theta4, B)
δ = Angle(J, B, J')
p = Ray(B, J')
K = Intersect(c, p, 2)
q = Segment(B, K)
J'' = Rotate(J', Theta4, K)
L = Intersect(g, j)
r = Ray(L, K)
M = Intersect(j, r)
N = Intersect(j, r)
O = Point(r)
O' = Rotate(O, Theta4, K)
ζ = Angle(O, K, O')
s = Ray(K, O')
P = Intersect(c, s, 2)
Q = Intersect(h, l)
t = Segment(K, P)
a = Ray(L, P)
R = Point(a)
Theta5: asind((n_v_a_n_d_,_b * sin(Theta4) / n_l_u_f_t))
R' = Rotate(R, (-Theta5), P)
η = Angle(R', P, R)
b = Ray(P, R')
n_v_a_n_d_,_g_r = 1.6 (slider from 1 to 2.5, step 0.001)
n_v_a_n_d_,_g_u = 1.78 (slider from 1 to 2.5, step 0.001)
Theta6: asind((n_l_u_f_t * sin(Theta1) / n_v_a_n_d_,_g_r))
J'_{1} = Rotate(J, Theta6, B)
ε = Angle(J, B, J'_{1})
d = Ray(B, J'_{1})
S = Intersect(c, d, 2)
e = Segment(B, S)
T = Intersect(g, j)
f_1 = Ray(T, S)
U = Point(f_1)
U' = Rotate(U, Theta6, S)
θ = Angle(U, S, U')
g_1 = Ray(S, U')
V = Intersect(c, g_1, 2)
h_1 = Segment(S, V)
i_1 = Ray(T, V)
W = Point(i_1)
Theta7: asind((n_v_a_n_d_,_g_r * sin(Theta6)))
W' = Rotate(W, (-Theta7), V)
ι = Angle(W', V, W)
j_1 = Ray(V, W')
Theta8: asind((n_l_u_f_t * sin(Theta1) / n_v_a_n_d_,_g_u))
Z = Point(g)
Z' = Rotate(Z, Theta8, B)
κ = Angle(Z, B, Z')
k_1 = Ray(B, Z')
A_1 = Intersect(c, k_1, 2)
l_1 = Segment(B, A_1)
m_1 = Ray(T, A_1)
B_1 = Point(m_1)
C_1 = Rotate(B_1, Theta8, A_1)
λ = Angle(B_1, A_1, C_1)
n_1 = Ray(A_1, C_1)
D_1 = Intersect(c, n_1, 2)
p_1 = Segment(A_1, D_1)
q_1 = Ray(T, D_1)
Theta9: asind((n_v_a_n_d_,_g_u * sin(Theta8) / n_l_u_f_t))
E_1 = Point(q_1)
F_1 = Rotate(E_1, (-Theta9), D_1)
μ = Angle(F_1, D_1, E_1)
r_1 = Ray(D_1, F_1)
G_1 = Point(f)
H_1 = Point(g)
ν = Angle(H_1, B, G_1)