\sqrt{\frac{-productlog(-1,-2e^{2productlog(-1,-e^{-1})})}2}