E

D

F

$y$

$x$

D

F

I

constr

U

V

E_0 = (-6.789476209516189, 2.595680491392213)
E_0x = Ray(E_0, E_0 + (1, 0))
D_0 = Point(E_0x)
PD_0: D_0
F_0 = (-4.488316673330665, 4.305716476997973)
PF_0: F_0
EF_0 = Segment(F_0, E_0)
DF_0 = Segment(F_0, D_0)
DE_0 = Segment(E_0, D_0)
O = Point(yAxis)
ox: y = 0
Y = (2.773770491803278, 4.032129911624121)
oy = Line(Y, O)
vy = Vector(Y, Dilate[Y, 1.1, O])
X = Point(ox)
vx = Vector(X, Dilate[X, 1.1, O])
D_1 = Translate(O, Vector[E_0, D_0])
F_1 = Translate(O, Vector[E_0, F_0])
I_1 = Intersect(OrthogonalLine[O, oy], LineBisector[O, D_1])
cid_1 = Circle(I_1, O)
If_1 = Ray(I_1, F_1)
U = Intersect(cid_1, If_1, 1)
V = Mirror(U, I_1)
ou = Line(O, U)
ov = Line(O, V)
if_1 = Line(I_1, F_1)
OI_1 = Segment(O, I_1)
IF_1 = Segment(I_1, F_1)
cab = Circle(O, OI_1 + IF_1)
A, B = Intersect(cab, ou)
OF_1 = Segment(O, F_1)
DF_1 = Segment(D_1, F_1)
c_m = Circle(O, abs(IF_1 - OI_1))
cis = Circle(I_1, F_1)
B', A' = Intersect(c_m, ov)
tB' = OrthogonalLine(B', ov)
Y'_F, Y_F = Intersect(cab, tB')
pFy = OrthogonalLine(Y_F, ou)
Fy = Intersect(pFy, ou)
F'_y = Mirror(Fy, O)
c = Ellipse(Fy, F'_y, B')
S = Intersect(cis, cab)
T' = Intersect(c_m, cis)
T = Mirror(T', O)
oi_1 = Line(O, I_1)
a = false
dir = Circle(O, Mirror[O, I_1])
ci = Circle(O, I_1)
I2 = Point(dir)
PI: I2
I = Midpoint(O, I2)
Um = Midpoint(I2, Mirror[I2, ou])
Vm = Midpoint(I2, Mirror[I2, ov])
UVm = Segment(Um, Vm)
rf = AffineRatio(I_1, U, F_1)
F = Dilate(Um, rf, I)
UFm = Segment(F, Um)
α = Angle(I_1, F_1, D_1)
β = Angle(O, F_1, I_1)
rd = AffineRatio(I_1, F_1, Rotate[D_1, (-α), F_1])
D = Rotate(Dilate[F, rd, I], α, F)
f = Segment(F, D)
re = AffineRatio(I_1, F_1, Rotate[O, β, F_1])
E = Rotate(Dilate[F, re, I], (-β), F)
g = Segment(E, F)
h = Segment(E, D)
t1, f_1, d, e = Polygon(D, E, F)