C: (197 / 13, 0)
B: (0, 0)
A: (342549133 / 30368338, sqrt(68143844781297816) / 30368338)
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))))
X36241 = Barycenter({A, B, C}, {(a^(2) * ((4 * a^(6)) - ((7 * a^(4)) * b^(2)) + ((8 * a^(2)) * b^(4)) - (5 * b^(6)) - ((7 * a^(4)) * c^(2)) + (((6 * a^(2)) * b^(2)) * c^(2)) - (b^(4) * c^(2)) + ((8 * a^(2)) * c^(4)) - (b^(2) * c^(4)) - (5 * c^(6)) - (((a^(2) * b^(2)) - b^(4) + (a^(2) * c^(2)) - c^(4)) * (((2 * sqrt(3)) * S) + (sqrt(2) * sqrt((3 * ((5 * a^(4)) - ((4 * a^(2)) * b^(2)) + (5 * b^(4)) - ((4 * a^(2)) * c^(2)) - ((4 * b^(2)) * c^(2)) + (5 * c^(4)))) - (((2 * sqrt(3)) * (a^(2) + b^(2) + c^(2))) * S))))))), (b^(2) * ((-5 * a^(6)) + ((8 * a^(4)) * b^(2)) - ((7 * a^(2)) * b^(4)) + (4 * b^(6)) - (a^(4) * c^(2)) + (((6 * a^(2)) * b^(2)) * c^(2)) - ((7 * b^(4)) * c^(2)) - (a^(2) * c^(4)) + ((8 * b^(2)) * c^(4)) - (5 * c^(6)) - (((-a^(4)) + (a^(2) * b^(2)) + (b^(2) * c^(2)) - c^(4)) * (((2 * sqrt(3)) * S) + (sqrt(2) * sqrt((3 * ((5 * a^(4)) - ((4 * a^(2)) * b^(2)) + (5 * b^(4)) - ((4 * a^(2)) * c^(2)) - ((4 * b^(2)) * c^(2)) + (5 * c^(4)))) - (((2 * sqrt(3)) * (a^(2) + b^(2) + c^(2))) * S))))))), (c^(2) * ((-5 * a^(6)) - (a^(4) * b^(2)) - (a^(2) * b^(4)) - (5 * b^(6)) + ((8 * a^(4)) * c^(2)) + (((6 * a^(2)) * b^(2)) * c^(2)) + ((8 * b^(4)) * c^(2)) - ((7 * a^(2)) * c^(4)) - ((7 * b^(2)) * c^(4)) + (4 * c^(6)) - (((-a^(4)) - b^(4) + (a^(2) * c^(2)) + (b^(2) * c^(2))) * (((2 * sqrt(3)) * S) + (sqrt(2) * sqrt((3 * ((5 * a^(4)) - ((4 * a^(2)) * b^(2)) + (5 * b^(4)) - ((4 * a^(2)) * c^(2)) - ((4 * b^(2)) * c^(2)) + (5 * c^(4)))) - (((2 * sqrt(3)) * (a^(2) + b^(2) + c^(2))) * S)))))))})
CC = Circle(A, B, C)
cA = Line(A, X36241)
cB = Line(B, X36241)
cC = Line(C, X36241)
X3 = TriangleCenter(A, B, C, 3)
pA = OrthogonalLine(X3, cA)
pB = OrthogonalLine(X3, cB)
pC = OrthogonalLine(X3, cC)
A' = Mirror(A, pA)
B' = Mirror(B, pB)
C' = Mirror(C, pC)
X36241_A' = Mirror(X36241, A')
X36241_B' = Mirror(X36241, B')
X36241_C' = Mirror(X36241, C')
vX36241_A' = Mirror(X36241_A', CC)
vX36241_B' = Mirror(X36241_B', CC)
vX36241_C' = Mirror(X36241_C', CC)
f = Segment(vX36241_B', vX36241_C')
h = Segment(vX36241_C', vX36241_A')
g = Segment(vX36241_A', vX36241_B')
α = Angle(vX36241_C', vX36241_A', vX36241_B')
β = Angle(vX36241_A', vX36241_B', vX36241_C')
γ = Angle(vX36241_B', vX36241_C', vX36241_A')
X6 = TriangleCenter(A, B, C, 6)
Brocard = Line(X3, X6)