integral_0^1 Log(1/x) dx