e^z=1-i,
z=ln(1-i)
z=(ln2)/2+i(2kπ+3π/2) (k=0,1,)
所以Re(z)==(ln2)/2