cos sin

A = Intersect(xAxis, yAxis)
B = Point(Circle[A, (2 * π)])
f = Segment(A, B)
c = Circle(A, 1)
D = Point(c)
j = OrthogonalLine(D, f)
F = Intersect(j, xAxis)
C = Point(f)
g = OrthogonalLine(C, f)
h: x(F)
E = Intersect(h, g)
i = Segment(A, D)
k = Segment(D, F)
l = Segment(A, F)
G: (0, h)
m = Line(G, f)
H = Intersect(m, g)
I = Intersect(m, g)
n = Line(D, xAxis)
J = Intersect(g, n)
K = Intersect(c, f)