Я напишу не в синтаксисе LaTeX, а так, как оно в Mathematica выглядит, чтобы, если что Вам не пришлось перпечатывать всё в неё:
F[x, y] := -E^(-2 a) (-1 + (c (1 - 1/y^2))/a) (-1 + (b (1 - 1/y^2))/(2 a)) + (1 + (c (1 - 1/y^2))/a) (1 + (b (1 - 1/y^2))/(2 a))
где
a = Sqrt[x^2 - (1 - 1/y^2) y^2]
b = Sqrt[x^2 - 2 y^2]
c = Sqrt[x^2 - y^2]
Я её строю при помощи ContourPlot, и получается вот такое:
А хотелось бы для наглядности продлить верхний график до начала координат, вот так:
Может быть, нужно действительно писать уравнение на обе части аргумента, я даже не знаю, как это определить из функции.
Ещё я попробовала построить уравнение типа Re[F[x,y]]==0, но там получается ещё одна ветвь, которая, наверное, соответствует каким-то комбинациям, где оба аргумента мнимые, или что-то такое: