exp(-W(-1, -log(2)/2))