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