E_1 = (-6.057978163022511, -11.480476279221453)
B = (2.152031371533666, -9.437096128398583)
C = (13.281155407265375, -9.400607197133889)
a = Segment(B, C)
b = LineBisector(a)
A = Point(b)
c = Segment(A, B)
d = Segment(A, C)
e = Ray(B, A)
f = Circle(A, C)
H = Intersect(f, e, 2.0)
g = Segment(H, C)
h = Segment(H, A)
D = Point(c)
i = Line(D, a)
E = Intersect(i, d)
j = Segment(A, D)
k = Segment(D, B)
l = Segment(A, E)
m = Segment(E, C)
n = Segment(D, E)
o = Distance(j, l)
p = Distance(m, k)