Evaluate abs(z)^(2n) -> z^n * conjugate(z)^n.