A = Point(xAxis)
B = Point(xAxis)
D = Point(yAxis)
a = Line(A, B)
d = Line(B, D)
b, c = AngularBisector(yAxis, a)
e = OrthogonalLine(A, b)
C = Intersect(e, yAxis)
P = Point(e)
poly1, e_1, d_1, c_1 = Polygon(D, C, P)
poly2, b_1, e_2, a_1 = Polygon(P, A, B)
poly3, e_3, b_2, d_2 = Polygon(B, D, P)
α = Angle(B, A, P)
β = Angle(P, C, D)
γ = Angle(B, P, D)
δ = Angle(D, B, P)
ε = Angle(P, B, A)
ζ = Angle(A, P, B)
η = Angle(D, P, C)
f = OrthogonalLine(D, d)
g = OrthogonalLine(B, d)
h = Circle(B, D)
F, G = Intersect(h, g)
i = Line(F, d)
H = Intersect(i, f)
poly4, d_3, h_1, f_1, b_3 = Polygon(D, H, F, B)
j = OrthogonalLine(P, a)
k = OrthogonalLine(P, yAxis)
I = Intersect(a, j)
l = Segment(P, I)
J = Intersect(yAxis, k)
m = Segment(J, P)
poly5, b_4, e_4, i_1 = Polygon(P, I, B)
poly6, d_4, e_5, j_1 = Polygon(P, J, D)
K = Intersect(yAxis, a)
poly7, b_5, d_5, k_1 = Polygon(D, K, B)
θ = Angle(P, D, B)
n = Segment(K, P)
p = Line(B, n)
q = OrthogonalLine(P, p)
s = Circle(D, K, B)
L = Center(s)
t = OrthogonalLine(B, b_5)
g_1 = OrthogonalLine(D, d_5)
m_1 = LineBisector(d_5)
n_1 = LineBisector(b_5)
p_1, q_1 = AngularBisector(b_5, b_3)
r_1, s_1 = AngularBisector(d_5, b_5)
t_1, a_2 = AngularBisector(d_5, b_3)
E = Intersect(a_2, e)
M = Intersect(q_1, e)
ν = Angle(L, B, A)
N = Intersect(q_1, d_5)