Solution (source code)

= Solution

For $z\ne0$, rationalizing the denominators gives $1/z=(x-iy)/(x^2+y^2)$ and $1/\overline z=(x+iy)/(x^2+y^2)$. Their imaginary parts cancel, so
$$
\boxed{\operatorname{Re}\left(\frac1z+\frac1{\overline z}\right)=\frac{2x}{x^2+y^2},\qquad \operatorname{Im}\left(\frac1z+\frac1{\overline z}\right)=0.}
$$
This also follows because the summands are <complex conjugates>.