e^z := e^(zlog(e)) は多価だが、つまり e^z ≠ exp(z) という立場か。