z

w

ε=β

z\cdot w

γ=α+β

\frac{z}{w}

ω=α-β

E: (1, 0)
O: (0, 0)
c = Circle(O, E)
A = (0.8, 0.4)
B = (1, 1)
α = Angle(E, O, A)
β = Angle(E, O, B)
E' = Rotate(E, α + β, O)
γ = Angle(E, O, E')
f = Segment(O, A)
g = Segment(O, B)
h = Segment(O, E')
i = Ray(O, E')
d = Circle(O, (f * g))
C = Intersect(d, i)
u = Vector(O, C)
v = Vector(O, B)
w = Vector(O, A)
ε = Angle(A, O, C)
δ: α - β
E'_2 = Rotate(E, (-(β - α)), O)
ω = Angle(E'_2, O, E)
j = Ray(O, E'_2)
e = Circle(O, f / g)
D = Intersect(e, j)
a = Vector(O, D)