(e^(W(log 2)))^(e^(W(log 2)))