For , the complex logarithm consists of all values , . They give the same exponential because . In particular, the logarithms of one are , not just zero.
Choosing a single-valued branch of the complex logarithm requires a domain and an argument convention. A holomorphic branch has derivative , but no such branch exists on all of : integrating that derivative once around the origin gives , whereas a globally defined primitive would give zero. This is why branch geometry matters in contour calculations.
New to topics? Read the docs here!