exp(pi) == exp(i*pi)^(-i)