t

xScale = 1.9
RI = 1
X0f: (1.2 * RI)
θ = 0.520413468418713 rad (slider from 0 to 6.28, step 0.017453292519943295)
PI: (RI * (cos(θ), sin(θ)))
A = Intersect(xAxis, yAxis)
c = Circle(A, RI)
I = Vector(A, PI)
a = OrthogonalLine(A, yAxis)
b = OrthogonalLine(A, a)
B = Point(a)
B' = Rotate(B, θ, A)
α = Angle(B, A, B')
C = (0.7141203199450649, 0.3039769729983192)
PfI: (X0f + θ / xScale, (RI * sin(θ)))
d = Segment(PI, PfI)
fI = Function((RI * sin((xScale * (x - X0f)))), X0f, X0f + θ / xScale)
Zerof: (X0f, 0)
e = OrthogonalLine(Zerof, a)
D = Point(e)
DD: (x(Zerof), (-y(D)))
u = Vector(DD, D)
E = Point(a)
v = Vector(Zerof, E)
F = Point(a)
PIx: (x(PI), 0)
f = Segment(PI, PIx)
PfIx: (x(PfI), 0)
g = Segment(PfI, PfIx)