independent-values.json

back to table · edit · history · where entries came from · files · download

16394 bytes, as of the version from 2026-11-02 11:01 (current). Recorded here, not run.

{
  "-1": {
    "t": "-1",
    "cubic_jensen": "0.45496244602470221578996462904526697048377104304482801795617216774475804076919668147079100456159752066588512400166028112344349",
    "quadrature_estimate": "1.0504226e-188",
    "agreement_digits": 125.76830931908094,
    "hypergeometric": "0.45496244602470221578996462904526697048377104304482801795617216774475804076919668147079100456159752066588512400166028112344349",
    "hypergeometric_agreement_digits": 125.76830931908094,
    "seconds": 0.9
  },
  "0": {
    "t": "0",
    "cubic_jensen": "0.32306594721945051409363651072380639407224184078058701613086847036101511280726984208378760908937139207348729175596243546188767",
    "quadrature_estimate": "9.5492966e-191",
    "agreement_digits": 125.64559046353847,
    "seconds": 0.12
  },
  "27": {
    "t": "27",
    "cubic_jensen": "0.96919784165835154228090953217141918221672552234176104839260541108304533842180952625136282726811417622046187526788730638566302",
    "quadrature_estimate": "9.5492975e-216",
    "agreement_digits": 125.49277879916278,
    "seconds": 0.24
  },
  "-216": {
    "t": "-216",
    "cubic_jensen": "1.8007145213892325195011854057438402917372961865917979055327163861623631700581598180831296257656021966504313420833041929982643",
    "quadrature_estimate": "9.5492975e-189",
    "agreement_digits": 126.78238482616929,
    "hypergeometric": "1.8007145213892325195011854057438402917372961865917979055327163861623631700581598180831296257656021966504313420833041929983908",
    "hypergeometric_agreement_digits": 121.15335536168836,
    "seconds": 0.47
  },
  "24": {
    "t": "24",
    "cubic_jensen": "0.90176897177144970387118830432775139204478743794127189513427130184711651388786581548166149659527388307885996490177958099370484",
    "quadrature_estimate": "1.9098595e-127",
    "agreement_digits": 125.62165826593693,
    "seconds": 1.67
  },
  "54": {
    "t": "54",
    "cubic_jensen": "1.2857836123948765960752766693560465399333737923483892510087862667665745242293299916941791676045920260533516241804145454616158",
    "quadrature_estimate": "9.5492966e-153",
    "agreement_digits": 124.64670035176754,
    "hypergeometric": "1.2857836123948765960752766693560465399333737923483892510087862667665745242293299916941791676045920260533516241804145454621296",
    "hypergeometric_agreement_digits": 120.39839830349943,
    "seconds": 0.48
  },
  "108+54*sqrt(2)": {
    "t": "108+54*sqrt(2)",
    "cubic_jensen": "1.7276553401230657665411549586544232531255753510782199756103059186108120489891390333314942650617300808817622931302320183736811",
    "quadrature_estimate": "9.5492966e-181",
    "agreement_digits": 125.00912668125403,
    "hypergeometric": "1.7276553401230657665411549586544232531255753510782199756103059186108120489891390333314942650617300808817622931302320183740925",
    "hypergeometric_agreement_digits": 120.62317496116921,
    "seconds": 0.58
  },
  "108-54*sqrt(2)": {
    "t": "108-54*sqrt(2)",
    "cubic_jensen": "1.0599059358903934524508904008493504876147584328203269683173395303850180990530176913358443999863342778587238547843693944527295",
    "quadrature_estimate": "9.5492966e-186",
    "agreement_digits": 124.75244724808458,
    "hypergeometric": "1.0599059358903934524508904008493504876147584328203269683173395303850180990530176913358443999863342778587238547843693944536403",
    "hypergeometric_agreement_digits": 120.06583536574404,
    "seconds": 0.8
  },
  "18+6*sqrt(3)": {
    "t": "18+6*sqrt(3)",
    "cubic_jensen": "1.0030298348116051298398678695366441404532428347223024463251580964885938031948047339896748782834001001846915641486771028544564",
    "quadrature_estimate": "9.5492966e-187",
    "agreement_digits": 124.36662232632054,
    "hypergeometric": "1.0030298348116051298398678695366441404532428347223024463251580964885938031948047339896748782834001001846915641486771028554332",
    "hypergeometric_agreement_digits": 120.01148902853161,
    "seconds": 0.9
  },
  "18-6*sqrt(3)": {
    "t": "18-6*sqrt(3)",
    "cubic_jensen": "0.59209654699470624942954120926836364672269518444118480861533028408338624183772433372195241259872147251681291735738084559645883",
    "quadrature_estimate": "1.9098593e-129",
    "agreement_digits": 125.64735618490245,
    "seconds": 1.91
  },
  "270+162*sqrt(3)": {
    "t": "270+162*sqrt(3)",
    "cubic_jensen": "2.0999817441783767317918788672701828927503921837730620112565970266578874765816571404137345114340101007157150708144641137001396",
    "quadrature_estimate": "9.5493921e-196",
    "agreement_digits": 124.76305298991156,
    "hypergeometric": "2.0999817441783767317918788672701828927503921837730620112565970266578874765816571404137345114340101007157150708144641137008666",
    "hypergeometric_agreement_digits": 120.46070275670156,
    "seconds": 0.57
  },
  "270-162*sqrt(3)": {
    "t": "270-162*sqrt(3)",
    "cubic_jensen": "0.90910776025643865772772474133974952860933632039384532771887726280789393300275706155529012341619019983835962163156719486322944",
    "quadrature_estimate": "9.5492966e-135",
    "agreement_digits": 125.25168298872632,
    "hypergeometric": "0.90910776025643865772772474133974952860933632039384532771887726280789393300275706155529012341619019983835962163156719486322944",
    "hypergeometric_agreement_digits": 125.25168298872632,
    "seconds": 0.54
  },
  "729+405*sqrt(3)": {
    "t": "729+405*sqrt(3)",
    "cubic_jensen": "2.42051638516343444962941336685813956579155727977683196555273006264454994818733011830548219117431136149618583065247074129347",
    "quadrature_estimate": "9.6447896e-201",
    "agreement_digits": 124.70875730879894,
    "hypergeometric": "2.4205163851634344496294133668581395657915572797768319655527300626445499481873301183054821911743113614961858306524707412941036",
    "hypergeometric_agreement_digits": 120.58212530239447,
    "seconds": 0.51
  },
  "729-405*sqrt(3)": {
    "t": "729-405*sqrt(3)",
    "cubic_jensen": "0.9836819331422391110329967256481395117829931825084961780791013249893763236866702615284268795348466448323167887636978462020926",
    "quadrature_estimate": "9.5492966e-172",
    "agreement_digits": 125.11638585435212,
    "hypergeometric": "0.98368193314223911103299672564813951178299318250849617807910132498937632368667026152842687953484664483231678876369784620307999",
    "hypergeometric_agreement_digits": 120.00551463993233,
    "seconds": 1.24
  },
  "-27/2-27/2*sqrt(5)": {
    "t": "-27/2-27/2*sqrt(5)",
    "cubic_jensen": "1.2986057373928815917922492845004537346840305230828322187062018033166004281595942333586508063569892391062358980077326339131406",
    "quadrature_estimate": "9.5492966e-160",
    "agreement_digits": 125.36015474066201,
    "hypergeometric": "1.2986057373928815917922492845004537346840305230828322187062018033166004281595942333586508063569892391062358980077326339132896",
    "hypergeometric_agreement_digits": 120.94027453260807,
    "seconds": 0.62
  },
  "-27/2+27/2*sqrt(5)": {
    "t": "-27/2+27/2*sqrt(5)",
    "cubic_jensen": "0.76804345916501348881937302186858924392720607492167833508650089801026795564638614367720837218759796909694442116405397592031044",
    "quadrature_estimate": "9.5494876e-128",
    "agreement_digits": 124.30418226225612,
    "seconds": 2.09
  },
  "3375/2+1485/2*sqrt(5)": {
    "t": "3375/2+1485/2*sqrt(5)",
    "cubic_jensen": "2.7047521992091940586247464515949704385697776217036345211747377557634004349831638044397562339440228150694963956310624762306186",
    "quadrature_estimate": "1.9098593e-209",
    "agreement_digits": 124.73962451068049,
    "hypergeometric": "2.7047521992091940586247464515949704385697776217036345211747377557634004349831638044397562339440228150694963956310624762306359",
    "hypergeometric_agreement_digits": 122.19284650276022,
    "seconds": 0.5
  },
  "3375/2-1485/2*sqrt(5)": {
    "t": "3375/2-1485/2*sqrt(5)",
    "cubic_jensen": "0.97598356412258896667150563671826482707888079646892196741919935592600169216766822019128694266685622853516209916094100870012847",
    "quadrature_estimate": "9.5492966e-154",
    "agreement_digits": 124.41888456331712,
    "hypergeometric": "0.9759835641225889666715056367182648270788807964689219674191993559260016921676682201912869426668562285351620991609410087011155",
    "hypergeometric_agreement_digits": 120.00568641881765,
    "seconds": 1.69
  },
  "-4320-1944*sqrt(5)": {
    "t": "-4320-1944*sqrt(5)",
    "cubic_jensen": "3.0226533346011455852623774003986051844575419485371941280538264723442988157302597550665528339127728917776065608710559556486094",
    "quadrature_estimate": "9.5492975e-210",
    "agreement_digits": 125.16106776357864,
    "hypergeometric": "3.022653334601145585262377400398605184457541948537194128053826472344298815730259755066552833912772891777606560871055955648603",
    "hypergeometric_agreement_digits": 122.67279512011591,
    "seconds": 0.61
  },
  "-4320+1944*sqrt(5)": {
    "t": "-4320+1944*sqrt(5)",
    "cubic_jensen": "0.96632708740137870414061976624868573386283647120175707672163097878342150368078746588181253605987193007529666102733830800609841",
    "quadrature_estimate": "2.1008643e-129",
    "agreement_digits": 124.41411162610142,
    "seconds": 2.12
  },
  "32+2*sqrt(6)": {
    "t": "32+2*sqrt(6)",
    "cubic_jensen": "1.130631303161317244951209819006588591957195612395167473278322660001297126566378926469503558130560769335472900916382897693223",
    "quadrature_estimate": "9.5492966e-134",
    "agreement_digits": 125.45138572230512,
    "hypergeometric": "1.1306313031613172449512098190065885919571956123951674732783226600012971265663789264695035581305607693354729009163828976939701",
    "hypergeometric_agreement_digits": 120.17994459351841,
    "seconds": 0.54
  },
  "32-2*sqrt(6)": {
    "t": "32-2*sqrt(6)",
    "cubic_jensen": "0.97259159349161645987357568388019573223479066608611164635489647394683812025152795991651719613331081183193141324731715527181431",
    "quadrature_estimate": "9.5492966e-149",
    "agreement_digits": 125.3399845799922,
    "hypergeometric": "0.97259159349161645987357568388019573223479066608611164635489647394683812025152795991651719613331081183193141324731715527280405",
    "hypergeometric_agreement_digits": 120.00448088328191,
    "seconds": 2.3
  },
  "3672+1458*sqrt(6)": {
    "t": "3672+1458*sqrt(6)",
    "cubic_jensen": "2.9623369052069457248440148056421052919783866509507613197677183646519726687387268150676807010157453990600805732206658130414584",
    "quadrature_estimate": "9.5493921e-209",
    "agreement_digits": 124.79474886247638,
    "hypergeometric": "2.9623369052069457248440148056421052919783866509507613197677183646519726687387268150676807010157453990600805732206658130415653",
    "hypergeometric_agreement_digits": 121.44284984677132,
    "seconds": 0.52
  },
  "3672-1458*sqrt(6)": {
    "t": "3672-1458*sqrt(6)",
    "cubic_jensen": "1.5156261827062269097375367163827309805763811459374821926425433325417575295426459554922044188906847147175246969661514305054181",
    "quadrature_estimate": "9.5492966e-174",
    "agreement_digits": 124.63240587530402,
    "hypergeometric": "1.5156261827062269097375367163827309805763811459374821926425433325417575295426459554922044188906847147175246969661514305058489",
    "hypergeometric_agreement_digits": 120.54628078593939,
    "seconds": 0.75
  },
  "-864-216*sqrt(17)": {
    "t": "-864-216*sqrt(17)",
    "cubic_jensen": "2.4911320137791208441354372541106118912118529061727039264774106773449818930698578937975909823543937434181813659845973260714903",
    "quadrature_estimate": "9.5588459e-203",
    "agreement_digits": 124.76112755725934,
    "hypergeometric": "2.4911320137791208441354372541106118912118529061727039264774106773449818930698578937975909823543937434181813659845973260717007",
    "hypergeometric_agreement_digits": 121.07344014327812,
    "seconds": 0.71
  },
  "-864+216*sqrt(17)": {
    "t": "-864+216*sqrt(17)",
    "cubic_jensen": "0.95738683953469529295961145343839819153601804798622038430284831733508883186200659045147284502764403350488372931851635756927292",
    "quadrature_estimate": "2.1008472e-128",
    "agreement_digits": 125.88013617741538,
    "seconds": 3.4
  },
  "-163296-35640*sqrt(21)": {
    "t": "-163296-35640*sqrt(21)",
    "cubic_jensen": "4.2321893319123339399176621103139718194770431435995398608305369879192545361316249709693164240925325173485591883443998666570768",
    "quadrature_estimate": "1.9098593e-223",
    "agreement_digits": 125.32281504074832,
    "hypergeometric": "4.2321893319123339399176621103139718194770431435995398608305369879192545361316249709693164240925325173485591883443998666570724",
    "hypergeometric_agreement_digits": 122.98510343710913,
    "seconds": 0.64
  },
  "-163296+35640*sqrt(21)": {
    "t": "-163296+35640*sqrt(21)",
    "cubic_jensen": "0.9690938348865934061032467741226386558059164917456072943424975934076455079376955618820055877776451834881044585288829022794728",
    "quadrature_estimate": "1.1652052e-131",
    "agreement_digits": 122.61693236764644,
    "seconds": 2.03
  },
  "4-4*sqrt(33)": {
    "t": "4-4*sqrt(33)",
    "cubic_jensen": "1.0603138530427201133574741494556096072710324487150529615740375895065017757896469154876158146761196005299333801918012618058216",
    "quadrature_estimate": "9.5492966e-152",
    "agreement_digits": 124.78184379723587,
    "hypergeometric": "1.0603138530427201133574741494556096072710324487150529615740375895065017757896469154876158146761196005299333801918012618058216",
    "hypergeometric_agreement_digits": 124.78184379723587,
    "seconds": 0.52
  },
  "4+4*sqrt(33)": {
    "t": "4+4*sqrt(33)",
    "cubic_jensen": "0.96835312515208819883030426924415787034417173640982827664715979273459701966133049813842677508521666056208680519131640535066598",
    "quadrature_estimate": "2.1008643e-130",
    "agreement_digits": 125.32719925841644,
    "seconds": 1.98
  },
  "-16740-2916*sqrt(33)": {
    "t": "-16740-2916*sqrt(33)",
    "cubic_jensen": "3.4730718188695792952401881459123933115699906241467632963356612622070251140060479793934973418403264875016782539400945088385768",
    "quadrature_estimate": "9.5502515e-214",
    "agreement_digits": 126.12165179304088,
    "hypergeometric": "3.4730718188695792952401881459123933115699906241467632963356612622070251140060479793934973418403264875016782539400945088385944",
    "hypergeometric_agreement_digits": 122.29526586508923,
    "seconds": 0.47
  },
  "-16740+2916*sqrt(33)": {
    "t": "-16740+2916*sqrt(33)",
    "cubic_jensen": "0.6650239619828272423587108944358792115552304440499644641099408088759290276016741318065889380791871040155456605652107629887619",
    "quadrature_estimate": "1.9194086e-130",
    "agreement_digits": 125.07848345427381,
    "seconds": 1.61
  },
  "-55296-8640*sqrt(41)": {
    "t": "-55296-8640*sqrt(41)",
    "cubic_jensen": "3.8713004401821000513568114518533878736737706087391354984602018222371404457686283202393104018612578020671341446180801554419486",
    "quadrature_estimate": "9.6447896e-220",
    "agreement_digits": 125.24213685417563,
    "hypergeometric": "3.8713004401821000513568114518533878736737706087391354984602018222371404457686283202393104018612578020671341446180801554419481",
    "hypergeometric_agreement_digits": 123.90858134513223,
    "seconds": 0.49
  },
  "-55296+8640*sqrt(41)": {
    "t": "-55296+8640*sqrt(41)",
    "cubic_jensen": "0.96891511016748920163097128363931208914911663535200589194613769760981609391373792806933042221792655710678963800731473180954358",
    "quadrature_estimate": "3.8216285e-132",
    "agreement_digits": 123.65205859119138,
    "seconds": 1.94
  },
  "-13500000-1431000*sqrt(89)": {
    "t": "-13500000-1431000*sqrt(89)",
    "cubic_jensen": "5.7037828820630138179427659848405513720154620146367245687396992720769567119417147496600166410132247443746021333262257712155722",
    "quadrature_estimate": "1.9098593e-231",
    "agreement_digits": 125.09035573255669,
    "hypergeometric": "5.7037828820630138179427659848405513720154620146367245687396992720769567119417147496600166410132247443746021333262257712155724",
    "hypergeometric_agreement_digits": 124.36465603144441,
    "seconds": 0.49
  },
  "-13500000+1431000*sqrt(89)": {
    "t": "-13500000+1431000*sqrt(89)",
    "cubic_jensen": "0.96919617747805999310936563280950210799566388166521825880085514730908270201847110841429240912874844638770401401805214965137831",
    "quadrature_estimate": "9.5492966e-114",
    "agreement_digits": 119.8039682932619,
    "seconds": 5.28
  }
}