-8/log(2)*LambertW[-1,-log(2)/8]