A = (-1.08, 5.04)
B = (-3.522202632305247, -0.06536044365452312)
C = (3.955898802297392, -1.967118998143988)
t1, c, a, b = Polygon(A, B, C)
f = LineBisector(b)
g = LineBisector(c)
h = LineBisector(a)
D = Intersect(f, g)
Y = Midpoint(a)
X = Midpoint(b)
G = Midpoint(c)
i = Line(X, B)
j = Line(A, Y)
k = Line(G, C)
E = Intersect(i, j)
C' = Rotate(C, 90°, B)
l = OrthogonalLine(A, a)
m = OrthogonalLine(C, c)
n = OrthogonalLine(B, b)
F = Intersect(l, m)
p = Line(F, D)