constr

A = Point(xAxis)
B = Point(xAxis)
C = (-0.8282750692654769, 3.5508542491995194)
ab = Line(A, B)
bc = Line(B, C)
ac = Line(A, C)
AB = Segment(A, B)
BC = Segment(B, C)
AC = Segment(A, C)
ai = AngularBisector(C, A, B)
cj = OrthogonalLine(C, AngularBisector[A, C, B])
J_a = Intersect(ai, cj)
H = Midpoint(J_a, Mirror[J_a, ac])
c_j = Circle(J_a, H)
N = Rotate(C, Angle[C, A, B], A)
jh = OrthogonalLine(J_a, ac)
mBN = LineBisector(N, B)
O = Intersect(jh, mBN)
c_o = Circle(O, B)
V, Y = Intersect(c_o, ac)
Γ = Circle(J_a, V)
by = Line(B, Y)
cz = Line(C, by)
Z = Intersect(cz, ab)
ax = Line(A, by)
X = Intersect(ax, bc)
g = Line(B, V)
au = Line(A, g)
cw = Line(C, g)
W = Intersect(cw, ab)
U = Intersect(au, bc)
a = false