ProductLog[0,-Log(2)/8]*-8/(Log(2))