{
  "table": "T200",
  "entries": 8,
  "digits": 100,
  "known_root_control": {
    "equation": "w-1=0",
    "initial_bracket": [
      0,
      3
    ],
    "exact_answer": 1,
    "passed": true
  },
  "exact_entries": 4,
  "nonexact_entries": 4,
  "every_written_interval_verified": true,
  "argument_uncertainty_propagated": true,
  "records": [
    {
      "params": {
        "branch": "0",
        "x": "0"
      },
      "written": "0",
      "exact_proof": "W_k(y*exp(y))=y on the specified real branch"
    },
    {
      "params": {
        "branch": "0",
        "x": "1"
      },
      "written": "0.5671432904097838729999686622103555497538157871865125081351310792230457930866845666932194469617522946",
      "significant_digits": 100,
      "arb_enclosures": [
        {
          "working_bits": 493,
          "value_relative_accuracy_bits": 491,
          "argument_relative_accuracy_bits": 9223372036854775807,
          "value_lower": "14503761876239848121964340347485001661157142650015673610002334489070376616273394572661588892561461683865559795806722520467365020697144859308852296453/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
          "value_upper": "14503761876239848121964340347485001661157142650015673610002334489070376616273394572661588892561461683865559795806722520467365020697144859308852296457/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
          "entire_enclosure_contained": true
        },
        {
          "working_bits": 672,
          "value_relative_accuracy_bits": 670,
          "argument_relative_accuracy_bits": 9223372036854775807,
          "value_lower": "2778368800139780628763295874603812845409835243657355262422577015782323988089398717192815871625350113084486349945592470825190754275267766729681944945952247711568133835797555705435931239768052724557944125/4898883310657342436947850401401639604522231782621865961233415550616320366316550245614411808808882209683752589725123921141977824503727074585042721378292777435812376133285876920625254286345394996247527424",
          "value_upper": "1389184400069890314381647937301906422704917621828677631211288507891161994044699358596407935812675056542243174972796235412595377137633883364840972472976123855784066917898777852717965619884026362278972063/2449441655328671218473925200700819802261115891310932980616707775308160183158275122807205904404441104841876294862561960570988912251863537292521360689146388717906188066642938460312627143172697498123763712",
          "entire_enclosure_contained": true
        }
      ],
      "root_bracket": {
        "equation": "w*exp(w)=1; root in (0,1)",
        "root_lower": "11997230633111327535619016930480500286751343206910145924223762373762554035692075078032274956562584731816446268701809234123553/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "root_upper": "95977845064890620284952135443844002294010745655281167393790098990100432285536600624258199652500677854531570149614473872988425/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536",
        "opposite_endpoint_signs_certified": true,
        "value_lower": "11997230633111327535619016930480500286751343206910145924223762373762554035692075078032274956562584731816446268701809234123553/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "value_upper": "95977845064890620284952135443844002294010745655281167393790098990100432285536600624258199652500677854531570149614473872988425/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536"
      },
      "mpmath": [
        {
          "digits": 150,
          "value": "0.56714329040978387299996866221035554975381578718651250813513107922304579308668456669321944696175229455763802497"
        },
        {
          "digits": 200,
          "value": "0.56714329040978387299996866221035554975381578718651250813513107922304579308668456669321944696175229455763802497"
        }
      ]
    },
    {
      "params": {
        "branch": "0",
        "x": "e"
      },
      "written": "1",
      "exact_proof": "W_k(y*exp(y))=y on the specified real branch"
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/e"
      },
      "written": "-1",
      "exact_proof": "W_k(y*exp(y))=y on the specified real branch"
    },
    {
      "params": {
        "branch": "0",
        "x": "-3*exp(-3)"
      },
      "written": "-0.1785606278779211065968086697055148046541182559268859077201423060587856954944826087543134346521603556",
      "significant_digits": 100,
      "arb_enclosures": [
        {
          "working_bits": 493,
          "value_relative_accuracy_bits": 489,
          "argument_relative_accuracy_bits": 491,
          "value_lower": "-9132791909931639812473261692427915683052769956342568742499121946891374240389159598614677864571078338730523618328094971441050042916197972613665603113/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
          "value_upper": "-9132791909931639812473261692427915683052769956342568742499121946891374240389159598614677864571078338730523618328094971441050042916197972613665603107/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
          "entire_enclosure_contained": true
        },
        {
          "working_bits": 672,
          "value_relative_accuracy_bits": 669,
          "argument_relative_accuracy_bits": 671,
          "value_lower": "-13995962877626302478016765198694836674342259560834101777628756902306442143475578920880121337229025304041611696570931075076539098481738587965318369630361897907636474302887380451454120951559635032844907513/78382132970517478991165606422426233672355708521949855379734648809861125861064803929830588940942115354940041435601982738271645192059633193360683542052684438972998018132574030730004068581526319939960438784",
          "value_upper": "-13995962877626302478016765198694836674342259560834101777628756902306442143475578920880121337229025304041611696570931075076539098481738587965318369630361897907636474302887380451454120951559635032844907505/78382132970517478991165606422426233672355708521949855379734648809861125861064803929830588940942115354940041435601982738271645192059633193360683542052684438972998018132574030730004068581526319939960438784",
          "entire_enclosure_contained": true
        }
      ],
      "root_bracket": {
        "equation": "z=3*(1-exp(-z)); positive root in (2,3)",
        "root_lower": "59684138800675570812744317392117404122030483071947159435805065618188205777229815098670533225987126735285533130580853767788099/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "root_upper": "477473110405404566501954539136939232976243864575577275486440524945505646217838520789364265807897013882284265044646830142304793/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536",
        "opposite_endpoint_signs_certified": true,
        "value_lower": "-3777234203188294686639552179028615701496366492623837615521218728154750181456074100547630976225540610083223223821388629420477/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "value_upper": "-30217873625506357493116417432228925611970931940990700924169749825238001451648592804381047809804324880665785790571109035363815/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536"
      },
      "mpmath": [
        {
          "digits": 150,
          "value": "-0.17856062787792110659680866970551480465411825592688590772014230605878569549448260875431343465216035561040096629"
        },
        {
          "digits": 200,
          "value": "-0.17856062787792110659680866970551480465411825592688590772014230605878569549448260875431343465216035561040096629"
        }
      ]
    },
    {
      "params": {
        "branch": "0",
        "x": "-5*exp(-5)"
      },
      "written": "-0.03488576825572369630124086867710605594441501320274902718555385521953601204254702776172954933999039170",
      "significant_digits": 100,
      "arb_enclosures": [
        {
          "working_bits": 493,
          "value_relative_accuracy_bits": 489,
          "argument_relative_accuracy_bits": 491,
          "value_lower": "-1784292908711364360333336032589944263985370802946186714078548165415387683451533271588416179873009110993004031328625212880730042727282168266260121527/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
          "value_upper": "-7137171634845457441333344130359777055941483211784746856314192661661550733806133086353664719492036443972016125314500851522920170909128673065040486103/204586912993508866875824356051724947013540127877691549342705710506008362275292159680204380770369009821930417757972504438076078534117837065833032974336",
          "entire_enclosure_contained": true
        },
        {
          "working_bits": 672,
          "value_relative_accuracy_bits": 669,
          "argument_relative_accuracy_bits": 671,
          "value_lower": "-10937683704795169516907071921033650000320157143717168131262717736671083222718956053117083261982978433196800815359666676233851112282663846571432985753475447412537545955921171181650321873612332872333740847/313528531882069915964662425689704934689422834087799421518938595239444503444259215719322355763768461419760165742407930953086580768238532773442734168210737755891992072530296122920016274326105279759841755136",
          "value_upper": "-10937683704795169516907071921033650000320157143717168131262717736671083222718956053117083261982978433196800815359666676233851112282663846571432985753475447412537545955921171181650321873612332872333740841/313528531882069915964662425689704934689422834087799421518938595239444503444259215719322355763768461419760165742407930953086580768238532773442734168210737755891992072530296122920016274326105279759841755136",
          "entire_enclosure_contained": true
        }
      ],
      "root_bracket": {
        "equation": "z=5*(1-exp(-z)); positive root in (4,5)",
        "root_lower": "105030988755838830901541596313817904183366202859585000619840195835221356625203502664617998973122649596697468430786359370702179/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "root_upper": "840247910046710647212332770510543233466929622876680004958721566681770853001628021316943991784981196773579747446290874965617433/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536",
        "opposite_endpoint_signs_certified": true,
        "value_lower": "-737966250600944930764852971425462189178546414699994465703611408683569972606312667412274697231795978917125493217377957978781/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "value_upper": "-5903730004807559446118823771403697513428371317599955725628891269468559780850501339298197577854367831337003945739023663830247/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536"
      },
      "mpmath": [
        {
          "digits": 150,
          "value": "-0.034885768255723696301240868677106055944415013202749027185553855219536012042547027761729549339990391702230593708"
        },
        {
          "digits": 200,
          "value": "-0.034885768255723696301240868677106055944415013202749027185553855219536012042547027761729549339990391702230593708"
        }
      ]
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/e"
      },
      "written": "-1",
      "exact_proof": "W_k(y*exp(y))=y on the specified real branch"
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/2)/2"
      },
      "written": "-1.756431208626169676982737616609216326916416831701323711125894727048300478541051903533664750947250849",
      "significant_digits": 100,
      "arb_enclosures": [
        {
          "working_bits": 493,
          "value_relative_accuracy_bits": 490,
          "argument_relative_accuracy_bits": 491,
          "value_lower": "-22458927428642862276841015764699590212876784282366235356354710201792855464263198298798317452972846188456990137465533726430325397283574101313194654147/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
          "value_upper": "-22458927428642862276841015764699590212876784282366235356354710201792855464263198298798317452972846188456990137465533726430325397283574101313194654139/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
          "entire_enclosure_contained": true
        },
        {
          "working_bits": 672,
          "value_relative_accuracy_bits": 669,
          "argument_relative_accuracy_bits": 670,
          "value_lower": "-4302275767128223715404204541531958227193161598212705596477950848960817061900671925182440622201630655465674945060833886252094926254292281796475820842569823906755484998317869464034037809065208653975472581/2449441655328671218473925200700819802261115891310932980616707775308160183158275122807205904404441104841876294862561960570988912251863537292521360689146388717906188066642938460312627143172697498123763712",
          "value_upper": "-4302275767128223715404204541531958227193161598212705596477950848960817061900671925182440622201630655465674945060833886252094926254292281796475820842569823906755484998317869464034037809065208653975472579/2449441655328671218473925200700819802261115891310932980616707775308160183158275122807205904404441104841876294862561960570988912251863537292521360689146388717906188066642938460312627143172697498123763712",
          "entire_enclosure_contained": true
        }
      ],
      "root_bracket": {
        "equation": "exp(lambda)-1=2*lambda; positive root in (1,2)",
        "root_lower": "212626265558188940351068960963764933259072801010528572249970262223237319624603315447984592665648869775471676485117164300418415/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536",
        "root_upper": "13289141597386808771941810060235308328692050063158035765623141388952332476537707215499037041603054360966979780319822768776151/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "opposite_endpoint_signs_certified": true,
        "value_lower": "-18577589347708797563557132524497476647319287526872285519900331751147578806428197982100550725120776639747709476520009635210199/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "value_upper": "-297241429563340761016914120391959626357108600429956568318405308018361260902851167713608811601932426235963351624320154163363183/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536"
      },
      "mpmath": [
        {
          "digits": 150,
          "value": "-1.7564312086261696769827376166092163269164168317013237111258947270483004785410519035336647509472508489420253089"
        },
        {
          "digits": 200,
          "value": "-1.7564312086261696769827376166092163269164168317013237111258947270483004785410519035336647509472508489420253089"
        }
      ]
    }
  ],
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "retained_without_text_changes": [
    {
      "branch": "0",
      "x": "1"
    }
  ],
  "added": [
    {
      "branch": "0",
      "x": "0"
    },
    {
      "branch": "0",
      "x": "e"
    },
    {
      "branch": "0",
      "x": "-1/e"
    },
    {
      "branch": "0",
      "x": "-3*exp(-3)"
    },
    {
      "branch": "0",
      "x": "-5*exp(-5)"
    },
    {
      "branch": "-1",
      "x": "-1/e"
    },
    {
      "branch": "-1",
      "x": "-exp(-1/2)/2"
    }
  ]
}