A = (10.370451377890403, 6.647890402280643)
B = (5.452808045612926, -0.06576179917645919)
C = (12, 0)
a = Segment(B, C)
b = Segment(C, A)
c = Segment(A, B)
AB = Line(A, B)
BC = Line(B, C)
CA = Line(C, A)
S: (1 / 2 * sqrt(((((a + b - c) * (a - b + c)) * ((-a) + b + c)) * (a + b + c))))
J: sqrt(a^(6) - (a^(4) * b^(2)) - (a^(2) * b^(4)) + b^(6) - (a^(4) * c^(2)) + (((3 * a^(2)) * b^(2)) * c^(2)) - (b^(4) * c^(2)) - (a^(2) * c^(4)) - (b^(2) * c^(4)) + c^(6)) / (((a * b) * c))
I = TriangleCenter(A, B, C, 1)
d = Circle(B, I, C)
e = Circle(I, C, A)
f = Circle(B, I, A)
g = Ray(A, I)
h = Ray(B, I)
i = Ray(C, I)
A1 = Barycenter({A, B, C}, {(-2 * a), (2 * b), (2 * c)})
B1 = Barycenter({A, B, C}, {(2 * a), (-2 * b), (2 * c)})
C1 = Barycenter({A, B, C}, {(2 * a), (2 * b), (-2 * c)})
A2 = Barycenter({A, B, C}, {(2 * a), (2 * (a - (2 * b) - c)), (2 * (a - b - (2 * c)))})
B2 = Barycenter({A, B, C}, {(2 * ((-2 * a) + b - c)), (2 * b), (2 * ((-a) + b - (2 * c)))})
C2 = Barycenter({A, B, C}, {(2 * ((-2 * a) - b + c)), (2 * ((-a) - (2 * b) + c)), (2 * c)})
j = Segment(B2, C2)
k = Segment(C2, A2)
l = Segment(A2, B2)
p = Circle(A2, B, C)
q = Circle(B2, A, C)
r = Circle(C2, A, B)
X34578 = Barycenter({A, B, C}, {((a^(2) + (a * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2)) * (a^(2) - ((2 * a) * b) + b^(2) + (a * c) - ((2 * b) * c) + c^(2))), ((a^(2) + (a * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2)) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) + (b * c) + c^(2))), ((a^(2) - ((2 * a) * b) + b^(2) + (a * c) - ((2 * b) * c) + c^(2)) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) + (b * c) + c^(2)))})