t = 4.5364597917836615 (slider from 0 to (2 * π), step π / 1000)
P: (1 + (sqrt(2) * cos(t)), (sqrt(2) * sin(t)))
A = If(0 < t < π, P)
Q: (1 + (sqrt(2) * cos(t)), (sqrt(2) * sin(t)))
B = If(π < t < (2 * π), Q)
C = Point(xAxis)
D = Point(xAxis)
c = Circle(C, sqrt(2))
d = Circle(D, sqrt(2))
E, F = Intersect(d, xAxis)
e = Semicircle(F, E)
f = Semicircle(E, F)
g = Circle(A, 2)
G = Intersect(e, g)
h = Segment(C, A)
i = Segment(D, G)
j = Segment(G, A)
k = Circle(B, 2)
H = Intersect(k, f)
l = Segment(D, H)
m = Segment(C, B)
n = Segment(B, H)
I = Midpoint(G, A)
J = Midpoint(B, H)
r = 0.05 (slider from -5 to 5, step 1)
p = Circle(C, r)
q = Circle(A, r)
s = Circle(I, r)
c_1 = Circle(G, r)
d_1 = Circle(D, r)
e_1 = Circle(D, 2.605139476750591)
f_1 = Circle(B, r)
g_1 = Circle(J, r)
h_1 = Circle(H, r)
Lemniskate: x^4 + 2x^2 y^2 - 2x^2 + y^4 + 2y^2 = 0
Lemniskate: (((x - 1)^(2) + y^(2)) * ((x + 1)^(2) + y^(2))) = 1