e^((W(8)-2ln(2))/(-2)))