C = (8.229601677148846, 0.06981132075471735)
B = (10.190957372466807, -8.121733053808525)
A = (4.12, -11.22)
γ = Angle(A, C, B)
t_C: tan(γ / 2.0)
β = Angle(C, B, A)
t_B: tan(β / 2.0)
α = Angle(B, A, C)
t_A: tan(α / 2.0)
poly1, c, a, b = Polygon(A, B, C)
S: t_A + t_B + t_C
P: t_A * t_B * t_C
hG_1: P - S
hG_2 = 1
hG_0 = 1
wG_A: hG_0 + hG_1 * t_A + hG_2 * t_A^(2.0)
wG_B: hG_0 + hG_1 * t_B + hG_2 * t_B^(2.0)
wG_C: hG_0 + hG_1 * t_C + hG_2 * t_C^(2.0)
G: (a * wG_A * A + b * wG_B * B + c * wG_C * C) / (a * wG_A + b * wG_B + c * wG_C)
hI_0 = 1
hI_1 = 0
hI_2 = 0
wI_A: hI_0 + hI_1 * t_A + hI_2 * t_A^(2.0)
wI_B: hI_0 + hI_1 * t_B + hI_2 * t_B^(2.0)
wI_C: hI_0 + hI_1 * t_C + hI_2 * t_C^(2.0)
I: (a * wI_A * A + b * wI_B * B + c * wI_C * C) / (a * wI_A + b * wI_B + c * wI_C)
hO_0: S + P
hO_1 = -2
hO_2 = 0
wO_A: hO_0 + hO_1 * t_A + hO_2 * t_A^(2.0)
wO_B: hO_0 + hO_1 * t_B + hO_2 * t_B^(2.0)
wO_C: hO_0 + hO_1 * t_C + hO_2 * t_C^(2.0)
O: (a * wO_A * A + b * wO_B * B + c * wO_C * C) / (a * wO_A + b * wO_B + c * wO_C)
hH_0: S^(2.0) - P^(2.0) - 4.0
hH_1: 2.0 * (S - P)
hH_2 = -4
wH_A: hH_0 + hH_1 * t_A + hH_2 * t_A^(2.0)
wH_B: hH_0 + hH_1 * t_B + hH_2 * t_B^(2.0)
wH_C: hH_0 + hH_1 * t_C + hH_2 * t_C^(2.0)
H: (a * wH_A * A + b * wH_B * B + c * wH_C * C) / (a * wH_A + b * wH_B + c * wH_C)
hX5_0: S^(2.0) - P^(2.0) - 8.0
hX5_1: 6.0 * (S - P)
hX5_2 = -8
wX5_A: hX5_0 + hX5_1 * t_A + hX5_2 * t_A^(2.0)
wX5_B: hX5_0 + hX5_1 * t_B + hX5_2 * t_B^(2.0)
wX5_C: hX5_0 + hX5_1 * t_C + hX5_2 * t_C^(2.0)
X5: (a * wX5_A * A + b * wX5_B * B + c * wX5_C * C) / (a * wX5_A + b * wX5_B + c * wX5_C)
hX6_0 = 0
hX6_1: S
hX6_2 = -1
wX6_A: hX6_0 + hX6_1 * t_A + hX6_2 * t_A^(2.0)
wX6_B: hX6_0 + hX6_1 * t_B + hX6_2 * t_B^(2.0)
wX6_C: hX6_0 + hX6_1 * t_C + hX6_2 * t_C^(2.0)
X6: (a * wX6_A * A + b * wX6_B * B + c * wX6_C * C) / (a * wX6_A + b * wX6_B + c * wX6_C)
hX7_0 = 1
hX7_1 = 0
hX7_2 = 1
wX7_A: hX7_0 + hX7_1 * t_A + hX7_2 * t_A^(2.0)
wX7_B: hX7_0 + hX7_1 * t_B + hX7_2 * t_B^(2.0)
wX7_C: hX7_0 + hX7_1 * t_C + hX7_2 * t_C^(2.0)
X7: (a * wX7_A * A + b * wX7_B * B + c * wX7_C * C) / (a * wX7_A + b * wX7_B + c * wX7_C)
hX8_0: S * P - P^(2.0) - 1.0
hX8_1: S - P
hX8_2 = -1
wX8_A: hX8_0 + hX8_1 * t_A + hX8_2 * t_A^(2.0)
wX8_B: hX8_0 + hX8_1 * t_B + hX8_2 * t_B^(2.0)
wX8_C: hX8_0 + hX8_1 * t_C + hX8_2 * t_C^(2.0)
X8: (a * wX8_A * A + b * wX8_B * B + c * wX8_C * C) / (a * wX8_A + b * wX8_B + c * wX8_C)
hX9_0 = 1
hX9_1: -(S)
hX9_2 = 1
wX9_A: hX9_0 + hX9_1 * t_A + hX9_2 * t_A^(2.0)
wX9_B: hX9_0 + hX9_1 * t_B + hX9_2 * t_B^(2.0)
wX9_C: hX9_0 + hX9_1 * t_C + hX9_2 * t_C^(2.0)
X9: (a * wX9_A * A + b * wX9_B * B + c * wX9_C * C) / (a * wX9_A + b * wX9_B + c * wX9_C)
hX10_0: S * P - P^(2.0) - 2.0
hX10_1: 2.0 * (S - P)
hX10_2 = -2
wX10_A: hX10_0 + hX10_1 * t_A + hX10_2 * t_A^(2.0)
wX10_B: hX10_0 + hX10_1 * t_B + hX10_2 * t_B^(2.0)
wX10_C: hX10_0 + hX10_1 * t_C + hX10_2 * t_C^(2.0)
X10: (a * wX10_A * A + b * wX10_B * B + c * wX10_C * C) / (a * wX10_A + b * wX10_B + c * wX10_C)