E_1 = (-6.057978163022511, -11.480476279221453)
E = (2.3344760278571366, -6.736915214811218)
F = (13.463600063588846, -6.700426283546524)
a = Segment(E, F)
b = LineBisector(a)
D = Point(b)
c = Segment(D, E)
d = Segment(D, F)
K = Intersect(b, a)
e = Segment(D, K)
f = Segment(E, K)
g = Segment(K, F)
α = Angle(F, K, D)
β = Angle(E, D, K)
γ = Angle(K, D, F)