a = -0.2 (slider from -2 to 2, step 0.2)
b = 0.1 (slider from -1 to 1, step 0.1)
b_s = CurveCartesian(t, b, t, -2, 2)
a_s = CurveCartesian(a, t, t, -1, 1)
B = Point(b_s)
A = Point(a_s)
l1 = Sequence(CurveCartesian[a, t, t, -1, 1], a, -2, 2, 0.2)
l2 = Sequence(CurveCartesian[t, b, t, -2, 2], b, -1, 1, 0.1)
l3 = Sequence(CurveCartesian[((1 / 2 * sqrt(2)) * sqrt(a + sqrt(a^(2) + t^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-a) + sqrt(a^(2) + t^(2)))), t, -1, 1], a, -2, 2, 0.2)
l4 = Sequence(CurveCartesian[((1 / 2 * sqrt(2)) * sqrt(t + sqrt(t^(2) + b^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-t) + sqrt(t^(2) + b^(2)))), t, -2, 2], b, -1, 1, 0.1)
bib = If(b > 0, CurveCartesian[((1 / 2 * sqrt(2)) * sqrt(t + sqrt(t^(2) + b^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-t) + sqrt(t^(2) + b^(2)))), t, -2, 2], CurveCartesian[((-1 / 2 * sqrt(2)) * sqrt(t + sqrt(t^(2) + b^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-t) + sqrt(t^(2) + b^(2)))), t, -2, 2])
I5 = Sequence(CurveCartesian[((-1 / 2 * sqrt(2)) * sqrt(t + sqrt(t^(2) + b^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-t) + sqrt(t^(2) + b^(2)))), t, -2, 2], b, -1, 1, 0.1)
B' = If(b > 0, (((1 / 2 * sqrt(2)) * sqrt(x(B) + sqrt(x(B)^(2) + y(B)^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-x(B)) + sqrt(x(B)^(2) + y(B)^(2))))), (((-1 / 2 * sqrt(2)) * sqrt(x(B) + sqrt(x(B)^(2) + y(B)^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-x(B)) + sqrt(x(B)^(2) + y(B)^(2))))))
I6 = Sequence(CurveCartesian[((-1 / 2 * sqrt(2)) * sqrt(a + sqrt(a^(2) + t^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-a) + sqrt(a^(2) + t^(2)))), t, -1, 1], a, -2, 2, 0.2)
A' = If(y(A) > 0, (((1 / 2 * sqrt(2)) * sqrt(x(A) + sqrt(x(A)^(2) + y(A)^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-x(A)) + sqrt(x(A)^(2) + y(A)^(2))))), (((-1 / 2 * sqrt(2)) * sqrt(x(A) + sqrt(x(A)^(2) + y(A)^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-x(A)) + sqrt(x(A)^(2) + y(A)^(2))))))
bia = If(b ≠ 0, CurveCartesian[((1 / 2 * sqrt(2)) * sqrt(a + sqrt(a^(2) + t^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-a) + sqrt(a^(2) + t^(2)))), t, -1, 1], CurveCartesian[((-1 / 2 * sqrt(2)) * sqrt(a + sqrt(a^(2) + t^(2)))), ((1 / 2 * sqrt(2)) * sqrt((-a) + sqrt(a^(2) + t^(2)))), t, -1, 1])