E^(-ProductLog[2]/2)