Complex Arithmetic/Examples/Real (2 z 1^3 + 3 z 2^2 - 5 z 3^2)

Example of Complex Arithmetic
Let $z_1 = 1 - i$, $z_2 = -2 + 4 i$ and $z_3 = \sqrt 3 - 2 i$.

Then:
 * $\map \Re {2 {z_1}^3 + 3 {z_2}^2 - 5 {z_3}^2} = -35$