The first one is a bit complicated and the second one seems contrived. I guess just use the one I did (without the imaginary part). I think it should be possible to come up with an example of a chopped imaginary part that is simpler. You just need something that evalfs in the complex plane but which looks like `z + z.conjugate()`.