a = 1 (slider from 0 to 5, step 0.1)
A = Intersect(xAxis, yAxis)
c = Circle(A, (a * sqrt(2)))
B = Intersect(c, xAxis, 2)
d = Circle(B, a)
α = 0.4188790204786391 rad (slider from 0 to 6.283185307179586, step 2*°)
B' = Rotate(B, α, A)
β = Angle(B, A, B')
b = Line(A, B')
C, D = Intersect(d, b)
e = Circle(A, Segment[C, D])
E, F = Intersect(e, b)
h = CurveCartesian(((2 * cos(t)) * sqrt(cos((2 * t)))), ((2 * sin(t)) * sqrt(cos((2 * t)))), t, 0, 6.283185307179586)
G = Mirror(B, yAxis)
f = Segment(B, F)
g = Segment(F, G)
i: (f * g)
j = Segment(G, E)
k = Segment(E, B)
FB = Distance(F, B)