A_1 = (8.944737417835446, -3.12939736155027)
B = (8.90457920597226, 3.315995642490717)
d2 = Line(A_1, B)
C = (0.2504845494561741, -5.659364708930843)
d1 = Line(C, d2)
A = Point(d1)
C' = Rotate(C, 150.00000000000003*°, A)
α = Angle(C, A, C')
a = Line(A, C')