A = (-1.36, 2.52)
B = (-4.241378487128046, 2.4798982363512243)
A' = Rotate(A, 90°, B)
α = Angle(A, B, A')
f = Line(B, A')
c = Circle(B, 12)
C, D = Intersect(c, f)
d = Circle(B, 5)
g = Line(B, A)
E = Intersect(d, g, 2)
t1, d_1, b, e = Polygon(B, E, D)
h = OrthogonalLine(B, b)
F = Intersect(h, b)
β = Angle(D, F, B)
i = Segment(B, F)