A: (0, 0)
B: (1, 0)
C = (0.7982614077016217, 1.281223403758601)
a: x(C)
b: y(C)
eq1: (((-a^(4)) * b) * x^(2)) + ((a^(6) * b) * x^(2)) + ((a^(4) * b^(3)) * x^(2)) + (((2 * a^(3)) * b) * x^(3)) + (((4 * a^(5)) * b) * x^(3)) - (((6 * a^(6)) * b) * x^(3)) - (((2 * a^(2)) * b^(3)) * x^(3)) + (((4 * a^(3)) * b^(3)) * x^(3)) - (((6 * a^(4)) * b^(3)) * x^(3)) + ((a^(2) * b) * x^(4)) - (((10 * a^(3)) * b) * x^(4)) + (((10 * a^(4)) * b) * x^(4)) - (((14 * a^(5)) * b) * x^(4)) + (((13 * a^(6)) * b) * x^(4)) + (b^(3) * x^(4)) - (((4 * a) * b^(3)) * x^(4)) + (((12 * a^(2)) * b^(3)) * x^(4)) - (((16 * a^(3)) * b^(3)) * x^(4)) + (((13 * a^(4)) * b^(3)) * x^(4)) - (((2 * a) * b) * x^(5)) + (((6 * a^(2)) * b) * x^(5)) + (((2 * a^(3)) * b) * x^(5)) - (((6 * a^(4)) * b) * x^(5)) + (((12 * a^(5)) * b) * x^(5)) - (((12 * a^(6)) * b) * x^(5)) - ((2 * b^(3)) * x^(5)) + (((8 * a) * b^(3)) * x^(5)) - (((18 * a^(2)) * b^(3)) * x^(5)) + (((20 * a^(3)) * b^(3)) * x^(5)) - (((12 * a^(4)) * b^(3)) * x^(5)) + (((4 * a) * b) * x^(6)) - (((15 * a^(2)) * b) * x^(6)) + (((18 * a^(3)) * b) * x^(6)) - (((13 * a^(4)) * b) * x^(6)) + (((2 * a^(5)) * b) * x^(6)) + (((4 * a^(6)) * b) * x^(6)) + (b^(3) * x^(6)) - (((4 * a) * b^(3)) * x^(6)) + (((8 * a^(2)) * b^(3)) * x^(6)) - (((8 * a^(3)) * b^(3)) * x^(6)) + (((4 * a^(4)) * b^(3)) * x^(6)) - (((2 * a) * b) * x^(7)) + (((8 * a^(2)) * b) * x^(7)) - (((12 * a^(3)) * b) * x^(7)) + (((10 * a^(4)) * b) * x^(7)) - (((4 * a^(5)) * b) * x^(7)) + (((2 * a^(5)) * x) * y) - (((2 * a^(7)) * x) * y) - ((((2 * a^(5)) * b^(2)) * x) * y) - (((8 * a^(4)) * x^(2)) * y) + (((4 * a^(5)) * x^(2)) * y) - (((4 * a^(6)) * x^(2)) * y) + (((8 * a^(7)) * x^(2)) * y) - ((((2 * a^(2)) * b^(2)) * x^(2)) * y) + ((((8 * a^(3)) * b^(2)) * x^(2)) * y) + ((((4 * a^(2)) * b^(4)) * x^(2)) * y) - ((((8 * a^(3)) * b^(4)) * x^(2)) * y) + (((12 * a^(3)) * x^(3)) * y) - (((4 * a^(4)) * x^(3)) * y) + (((4 * a^(6)) * x^(3)) * y) - (((12 * a^(7)) * x^(3)) * y) + ((((4 * a) * b^(2)) * x^(3)) * y) - ((((16 * a^(2)) * b^(2)) * x^(3)) * y) + ((((8 * a^(3)) * b^(2)) * x^(3)) * y) - ((((20 * a^(4)) * b^(2)) * x^(3)) * y) + ((((20 * a^(5)) * b^(2)) * x^(3)) * y) - (((4 * b^(4)) * x^(3)) * y) + ((((16 * a) * b^(4)) * x^(3)) * y) - ((((32 * a^(2)) * b^(4)) * x^(3)) * y) + ((((32 * a^(3)) * b^(4)) * x^(3)) * y) - (((10 * a^(2)) * x^(4)) * y) + (((6 * a^(3)) * x^(4)) * y) - (((8 * a^(4)) * x^(4)) * y) + (((8 * a^(5)) * x^(4)) * y) - (((6 * a^(6)) * x^(4)) * y) + (((10 * a^(7)) * x^(4)) * y) - (((4 * b^(2)) * x^(4)) * y) + ((((18 * a) * b^(2)) * x^(4)) * y) - ((((18 * a^(2)) * b^(2)) * x^(4)) * y) + ((((20 * a^(3)) * b^(2)) * x^(4)) * y) + ((((10 * a^(4)) * b^(2)) * x^(4)) * y) - ((((30 * a^(5)) * b^(2)) * x^(4)) * y) + (((8 * b^(4)) * x^(4)) * y) - ((((32 * a) * b^(4)) * x^(4)) * y) + ((((52 * a^(2)) * b^(4)) * x^(4)) * y) - ((((40 * a^(3)) * b^(4)) * x^(4)) * y) + (((4 * a) * x^(5)) * y) - (((2 * a^(2)) * x^(5)) * y) + (((2 * a^(3)) * x^(5)) * y) - (((2 * a^(5)) * x^(5)) * y) + (((2 * a^(6)) * x^(5)) * y) - (((4 * a^(7)) * x^(5)) * y) + (((6 * b^(2)) * x^(5)) * y) - ((((38 * a) * b^(2)) * x^(5)) * y) + ((((72 * a^(2)) * b^(2)) * x^(5)) * y) - ((((76 * a^(3)) * b^(2)) * x^(5)) * y) + ((((30 * a^(4)) * b^(2)) * x^(5)) * y) + ((((12 * a^(5)) * b^(2)) * x^(5)) * y) - (((4 * b^(4)) * x^(5)) * y) + ((((16 * a) * b^(4)) * x^(5)) * y) - ((((24 * a^(2)) * b^(4)) * x^(5)) * y) + ((((16 * a^(3)) * b^(4)) * x^(5)) * y) - (((4 * a) * x^(6)) * y) + (((12 * a^(2)) * x^(6)) * y) - (((20 * a^(3)) * x^(6)) * y) + (((20 * a^(4)) * x^(6)) * y) - (((12 * a^(5)) * x^(6)) * y) + (((4 * a^(6)) * x^(6)) * y) - (((2 * b^(2)) * x^(6)) * y) + ((((16 * a) * b^(2)) * x^(6)) * y) - ((((36 * a^(2)) * b^(2)) * x^(6)) * y) + ((((40 * a^(3)) * b^(2)) * x^(6)) * y) - ((((20 * a^(4)) * b^(2)) * x^(6)) * y) + ((a^(4) * b) * y^(2)) - ((a^(6) * b) * y^(2)) - ((a^(4) * b^(3)) * y^(2)) - ((((4 * a^(3)) * b) * x) * y^(2)) + ((((2 * a^(4)) * b) * x) * y^(2)) - ((((6 * a^(5)) * b) * x) * y^(2)) + ((((12 * a^(6)) * b) * x) * y^(2)) + ((((4 * a^(2)) * b^(3)) * x) * y^(2)) - ((((6 * a^(3)) * b^(3)) * x) * y^(2)) + ((((10 * a^(4)) * b^(3)) * x) * y^(2)) - ((((2 * a^(2)) * b^(5)) * x) * y^(2)) + ((((8 * a^(2)) * b) * x^(2)) * y^(2)) - ((((10 * a^(3)) * b) * x^(2)) * y^(2)) + ((((12 * a^(4)) * b) * x^(2)) * y^(2)) + ((((2 * a^(5)) * b) * x^(2)) * y^(2)) - ((((28 * a^(6)) * b) * x^(2)) * y^(2)) - ((((8 * a) * b^(3)) * x^(2)) * y^(2)) + ((((6 * a^(2)) * b^(3)) * x^(2)) * y^(2)) - ((((6 * a^(3)) * b^(3)) * x^(2)) * y^(2)) - ((((2 * a^(4)) * b^(3)) * x^(2)) * y^(2)) + (((6 * b^(5)) * x^(2)) * y^(2)) - ((((20 * a) * b^(5)) * x^(2)) * y^(2)) + ((((26 * a^(2)) * b^(5)) * x^(2)) * y^(2)) - ((((8 * a) * b) * x^(3)) * y^(2)) + ((((16 * a^(2)) * b) * x^(3)) * y^(2)) - ((((20 * a^(3)) * b) * x^(3)) * y^(2)) + ((((12 * a^(4)) * b) * x^(3)) * y^(2)) - ((((8 * a^(5)) * b) * x^(3)) * y^(2)) + ((((32 * a^(6)) * b) * x^(3)) * y^(2)) + (((12 * b^(3)) * x^(3)) * y^(2)) - ((((34 * a) * b^(3)) * x^(3)) * y^(2)) + ((((58 * a^(2)) * b^(3)) * x^(3)) * y^(2)) - ((((28 * a^(3)) * b^(3)) * x^(3)) * y^(2)) - ((((16 * a^(4)) * b^(3)) * x^(3)) * y^(2)) - (((14 * b^(5)) * x^(3)) * y^(2)) + ((((44 * a) * b^(5)) * x^(3)) * y^(2)) - ((((48 * a^(2)) * b^(5)) * x^(3)) * y^(2)) + (((4 * b) * x^(4)) * y^(2)) - ((((12 * a) * b) * x^(4)) * y^(2)) + ((((19 * a^(2)) * b) * x^(4)) * y^(2)) - ((((18 * a^(3)) * b) * x^(4)) * y^(2)) + ((((9 * a^(4)) * b) * x^(4)) * y^(2)) - ((((2 * a^(5)) * b) * x^(4)) * y^(2)) - ((((16 * a^(6)) * b) * x^(4)) * y^(2)) - (((21 * b^(3)) * x^(4)) * y^(2)) + ((((82 * a) * b^(3)) * x^(4)) * y^(2)) - ((((134 * a^(2)) * b^(3)) * x^(4)) * y^(2)) + ((((84 * a^(3)) * b^(3)) * x^(4)) * y^(2)) + ((((8 * a^(4)) * b^(3)) * x^(4)) * y^(2)) + (((8 * b^(5)) * x^(4)) * y^(2)) - ((((24 * a) * b^(5)) * x^(4)) * y^(2)) + ((((24 * a^(2)) * b^(5)) * x^(4)) * y^(2)) - (((4 * b) * x^(5)) * y^(2)) + ((((22 * a) * b) * x^(5)) * y^(2)) - ((((52 * a^(2)) * b) * x^(5)) * y^(2)) + ((((68 * a^(3)) * b) * x^(5)) * y^(2)) - ((((50 * a^(4)) * b) * x^(5)) * y^(2)) + ((((20 * a^(5)) * b) * x^(5)) * y^(2)) + (((8 * b^(3)) * x^(5)) * y^(2)) - ((((36 * a) * b^(3)) * x^(5)) * y^(2)) + ((((60 * a^(2)) * b^(3)) * x^(5)) * y^(2)) - ((((40 * a^(3)) * b^(3)) * x^(5)) * y^(2)) - (((2 * a^(4)) * b^(2)) * y^(3)) + (((4 * a^(5)) * b^(2)) * y^(3)) - (((2 * a^(2)) * b^(4)) * y^(3)) + (((4 * a^(3)) * b^(4)) * y^(3)) - ((((4 * a^(2)) * b^(2)) * x) * y^(3)) + ((((12 * a^(3)) * b^(2)) * x) * y^(3)) - ((((4 * a^(4)) * b^(2)) * x) * y^(3)) - ((((20 * a^(5)) * b^(2)) * x) * y^(3)) + ((((4 * a) * b^(4)) * x) * y^(3)) - ((((12 * a^(3)) * b^(4)) * x) * y^(3)) - (((4 * b^(6)) * x) * y^(3)) + ((((8 * a) * b^(6)) * x) * y^(3)) + ((((8 * a) * b^(2)) * x^(2)) * y^(3)) - ((((16 * a^(2)) * b^(2)) * x^(2)) * y^(3)) + ((((4 * a^(3)) * b^(2)) * x^(2)) * y^(3)) + ((((4 * a^(4)) * b^(2)) * x^(2)) * y^(3)) + ((((36 * a^(5)) * b^(2)) * x^(2)) * y^(3)) - (((14 * b^(4)) * x^(2)) * y^(3)) + ((((40 * a) * b^(4)) * x^(2)) * y^(3)) - ((((40 * a^(2)) * b^(4)) * x^(2)) * y^(3)) + ((((12 * a^(3)) * b^(4)) * x^(2)) * y^(3)) + (((12 * b^(6)) * x^(2)) * y^(3)) - ((((24 * a) * b^(6)) * x^(2)) * y^(3)) - (((8 * b^(2)) * x^(3)) * y^(3)) + ((((24 * a) * b^(2)) * x^(3)) * y^(3)) - ((((36 * a^(2)) * b^(2)) * x^(3)) * y^(3)) + ((((32 * a^(3)) * b^(2)) * x^(3)) * y^(3)) - ((((20 * a^(4)) * b^(2)) * x^(3)) * y^(3)) - ((((24 * a^(5)) * b^(2)) * x^(3)) * y^(3)) + (((28 * b^(4)) * x^(3)) * y^(3)) - ((((92 * a) * b^(4)) * x^(3)) * y^(3)) + ((((92 * a^(2)) * b^(4)) * x^(3)) * y^(3)) - ((((8 * a^(3)) * b^(4)) * x^(3)) * y^(3)) - (((8 * b^(6)) * x^(3)) * y^(3)) + ((((16 * a) * b^(6)) * x^(3)) * y^(3)) + (((10 * b^(2)) * x^(4)) * y^(3)) - ((((44 * a) * b^(2)) * x^(4)) * y^(3)) + ((((84 * a^(2)) * b^(2)) * x^(4)) * y^(3)) - ((((80 * a^(3)) * b^(2)) * x^(4)) * y^(3)) + ((((40 * a^(4)) * b^(2)) * x^(4)) * y^(3)) - (((12 * b^(4)) * x^(4)) * y^(3)) + ((((40 * a) * b^(4)) * x^(4)) * y^(3)) - ((((40 * a^(2)) * b^(4)) * x^(4)) * y^(3)) + (((2 * a^(2)) * b^(3)) * y^(4)) - (((2 * a^(3)) * b^(3)) * y^(4)) - (((4 * a^(4)) * b^(3)) * y^(4)) - (((3 * a^(2)) * b^(5)) * y^(4)) + (b^(7) * y^(4)) - ((((4 * a) * b^(3)) * x) * y^(4)) + ((((8 * a^(3)) * b^(3)) * x) * y^(4)) + ((((16 * a^(4)) * b^(3)) * x) * y^(4)) + (((8 * b^(5)) * x) * y^(4)) - ((((16 * a) * b^(5)) * x) * y^(4)) + ((((12 * a^(2)) * b^(5)) * x) * y^(4)) - (((4 * b^(7)) * x) * y^(4)) + (((8 * b^(3)) * x^(2)) * y^(4)) - ((((22 * a) * b^(3)) * x^(2)) * y^(4)) + ((((30 * a^(2)) * b^(3)) * x^(2)) * y^(4)) - ((((28 * a^(3)) * b^(3)) * x^(2)) * y^(4)) - ((((16 * a^(4)) * b^(3)) * x^(2)) * y^(4)) - (((21 * b^(5)) * x^(2)) * y^(4)) + ((((42 * a) * b^(5)) * x^(2)) * y^(4)) - ((((12 * a^(2)) * b^(5)) * x^(2)) * y^(4)) + (((4 * b^(7)) * x^(2)) * y^(4)) - (((12 * b^(3)) * x^(3)) * y^(4)) + ((((44 * a) * b^(3)) * x^(3)) * y^(4)) - ((((60 * a^(2)) * b^(3)) * x^(3)) * y^(4)) + ((((40 * a^(3)) * b^(3)) * x^(3)) * y^(4)) + (((10 * b^(5)) * x^(3)) * y^(4)) - ((((20 * a) * b^(5)) * x^(3)) * y^(4)) + (((2 * a^(2)) * b^(4)) * y^(5)) + (((2 * a^(3)) * b^(4)) * y^(5)) - ((2 * b^(6)) * y^(5)) + (((2 * a) * b^(6)) * y^(5)) - (((4 * b^(4)) * x) * y^(5)) + ((((10 * a) * b^(4)) * x) * y^(5)) - ((((14 * a^(2)) * b^(4)) * x) * y^(5)) - ((((4 * a^(3)) * b^(4)) * x) * y^(5)) + (((6 * b^(6)) * x) * y^(5)) - ((((4 * a) * b^(6)) * x) * y^(5)) + (((8 * b^(4)) * x^(2)) * y^(5)) - ((((20 * a) * b^(4)) * x^(2)) * y^(5)) + ((((20 * a^(2)) * b^(4)) * x^(2)) * y^(5)) - (((4 * b^(6)) * x^(2)) * y^(5)) + (b^(5) * y^(6)) - (((2 * a) * b^(5)) * y^(6)) - (((2 * b^(5)) * x) * y^(6)) + ((((4 * a) * b^(5)) * x) * y^(6)) = 0
l1 = Asymptote(eq1)
X_4 = TriangleCenter(A, B, C, 4)
X_{13} = TriangleCenter(A, B, C, 13)
X_{14} = TriangleCenter(A, B, C, 14)
X_3 = TriangleCenter(A, B, C, 3)