back to table · edit · history · where entries came from · files · download
300699 bytes, as of the version from 2026-11-02 11:01 (current). Recorded here, not run.
{
"scope": "modified",
"records": [
{
"kind": "modified",
"key": "-13500000+1431000*sqrt(89)",
"readings": [
{
"working_digits": 125,
"value": "-1.938392354885384622642192274639343697785362106957646937023009099408714775556172476069611853799770514371220224423669443665888",
"isolation": {
"lower": "345240070436821015411896595277979273496559210024434798311796036105429788440490788675612936852670656969938686002445191217140359470904682361077581855805/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"upper": "1380960281747284061647586381111917093986236840097739193247184144421719153761963154702451747410682627879754744009780764868561437883618729444310327423221/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 23,
"last_term": "4.93470561966053e-139",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "fcd07722b0ba8853ff92261adb668e8e62c5573ebee770593dacf96af7f23f07"
},
{
"working_digits": 145,
"value": "-1.938392354885384622642192274639343697785362106957646937023009099408714775556172476069611853799770514371220224423669443665888046720888506134745631",
"isolation": {
"lower": "50948441786699969895181162800169728684751102049086354870764760365131999218506155375803574571736170998524408110062524421328697179668410514028454810744135986988025681067293/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896883573399939790362325600339457369502204098172709741529520730263998437012310751607149143472341997048816220125048842657394359336821028056909621488271973976051362134587/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 26,
"last_term": "4.19484332990157e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "df83a0a46773abe2fa102fc68000c8375b6b654d41def130ea36b3b4c7536fc2"
}
],
"comparisons": [
{
"relative_error": "2.41029058891936e-125",
"agreement_digits": "124.617930595",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.99405159603436e-135",
"agreement_digits": "134.700263609",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.91614206938553e-146",
"agreement_digits": "145.227961405",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.91614206938553e-146",
"agreement_digits": "145.227961405",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.371220224423669"
}
],
"controls": []
},
{
"kind": "modified",
"key": "-163296+35640*sqrt(21)",
"readings": [
{
"working_digits": 125,
"value": "-1.9381876166125286026989364961414812109763207137580785585384119265197191233329563446953269783507580855162347507779053692773235",
"isolation": {
"lower": "690423757387472428276963069145702448941931416802320968803173625089646593948111163091360877046834324043668166250997429165106939136127011290012230847551/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380847514774944856553926138291404897883862833604641937606347250179293187896222326182721754093668648087336332501994858330213878272254022580024461695103/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 33,
"last_term": "4.1197636667873e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "f9ca7d9a4661fcf5e2fba43a87e68e5da319c9e3d0166ba008b6fb558f48cf2d"
},
{
"working_digits": 145,
"value": "-1.938187616612528602698936496141481210976320713758078558538411926519719123332956344695326978350758085516234750777905369277323522860283357901130349",
"isolation": {
"lower": "101888562839485106188384472782741912517806491169380894966934538945418718657503153223243805696695099811306045930230542869766605243171758761328718146613218580454253916859597/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50944281419742553094192236391370956258903245584690447483467269472709359328751576611621902848347549905653022965115271434883302621585879380664359073306609290227126958429799/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 38,
"last_term": "1.31825391601811e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "40c1ed6bfbc3c1c12b92cd959d2b29a9e8124c3253a0e862c7d075fe4236f0d1"
}
],
"comparisons": [
{
"relative_error": "1.17946700112837e-125",
"agreement_digits": "124.928314205",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.08290324064102e-135",
"agreement_digits": "134.965410347",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.88524230648016e-145",
"agreement_digits": "144.724632823",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.88524230648016e-145",
"agreement_digits": "144.724632823",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.483765249222095"
}
],
"controls": []
},
{
"kind": "modified",
"key": "-16740+2916*sqrt(33)",
"readings": [
{
"working_digits": 125,
"value": "-1.276728224888631527984651430908906310784113775297782331334350359993656517307210947957583367819621886765091526725724525563074",
"isolation": {
"lower": "570013781529146239158087057087517444973135471669854031371439971609267476007595250902556329952847885704512931587039784678939618627897129279674994664993/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "1140027563058292478316174114175034889946270943339708062742879943218534952015190501805112659905695771409025863174079569357879237255794258559349989329987/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"bisections": 399,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b8c1bbbfbfc1ca5c936386a8331357ee70a3eb21dfd2a13e4299c036a26d1b8d"
},
{
"working_digits": 145,
"value": "-1.276728224888631527984651430908906310784113775297782331334350359993656517307210947957583367819621886765091526725724525563073982939721687310182529",
"isolation": {
"lower": "168238373541688791420255353527073891538678762604173097863784536067236208208274036091953749098530614520630044339342417291870514267588406552918521247438862042053438010497067/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904",
"upper": "42059593385422197855063838381768472884669690651043274465946134016809052052068509022988437274632653630157511084835604322967628566897101638229630311859715510513359502624267/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 466,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "d1f401acc16db7d60afcd28909acdaf36ee7b5a3b6fb9e70940707ebde0e11bd"
}
],
"comparisons": [
{
"relative_error": "1.33624979695095e-125",
"agreement_digits": "124.874112348",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.10680504947295e-135",
"agreement_digits": "134.676375649",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.72101776967752e-145",
"agreement_digits": "144.764214646",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.72101776967752e-145",
"agreement_digits": "144.764214646",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.234908473274275"
}
],
"controls": []
},
{
"kind": "modified",
"key": "-27/2+27/2*sqrt(5)",
"readings": [
{
"working_digits": 125,
"value": "-1.5136871862397433418727450496885796730874636741587723862308701015769995854875449088035600488170779128202850972389270507218153",
"isolation": {
"lower": "1706962489425980664829278837560886497042439145684957377506028676055058497260377791293739663310170542527242748327909617516904440013167437260911712587061/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"upper": "853481244712990332414639418780443248521219572842478688753014338027529248630188895646869831655085271263621374163954808758452220006583718630455856293531/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 399,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ff4b87fe8c91b4fecbec5171dd2bbaf1dae0a046b8413593192662fcefb465c1"
},
{
"working_digits": 145,
"value": "-1.513687186239743341872745049688579673087463674158772386230870101576999585487544908803560048817077912820285097238927050721815318477857898059243012",
"isolation": {
"lower": "62975800371726423987951372893509963858498549704992425890338757871774424105686736041988511541509775449537274052871798427020007046262683835956481010257428314082605510815611/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "125951600743452847975902745787019927716997099409984851780677515743548848211373472083977023083019550899074548105743596854040014092525367671912962020514856628165211021631223/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "84e35d842e7ea6db5b7c518fc806dd765c4a8f806d58d2dee779ed59b99646d8"
}
],
"comparisons": [
{
"relative_error": "1.22071839320787e-125",
"agreement_digits": "124.913384512",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.28213874414909e-135",
"agreement_digits": "134.892064976",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.32781206232066e-145",
"agreement_digits": "144.87686339",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.32781206232066e-145",
"agreement_digits": "144.87686339",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.179714902761073"
}
],
"controls": []
},
{
"kind": "modified",
"key": "-4320+1944*sqrt(5)",
"readings": [
{
"working_digits": 125,
"value": "-1.9326419080645287255814497621875751354627657356376318140478826171713229501095033375956730707218302435115255739745792812909539",
"isolation": {
"lower": "1376672920526340943468408809659209261012782529968150870866872635395244611223658123107853580733087227734809731373824824999929031682060265680821719512841/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "688336460263170471734204404829604630506391264984075435433436317697622305611829061553926790366543613867404865686912412499964515841030132840410859756421/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 54,
"last_term": "2.95855927627225e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6aded86a765f8611368e7b531b37de24fd4be66bcdbb296dc4c49646567be5ba"
},
{
"working_digits": 145,
"value": "-1.932641908064528725581449762187575135462765735637631814047882617171322950109503337595673070721830243511525573974579281290953944610218231259153681",
"isolation": {
"lower": "101580532152622801339064012237307910805186337809446870386914964151914061375144317489708562955290433054838604540444078009026105581125165082767297695665591428184230260553049/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50790266076311400669532006118653955402593168904723435193457482075957030687572158744854281477645216527419302270222039004513052790562582541383648847832795714092115130276525/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 62,
"last_term": "2.13045193891857e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "994a415732ef62deba484de136533db5d7a11bfb0ffd6c3c0470f9ac4c20482a"
}
],
"comparisons": [
{
"relative_error": "2.30825058926383e-125",
"agreement_digits": "124.636717045",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.51519392053853e-136",
"agreement_digits": "135.186072653",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.10579207130606e-145",
"agreement_digits": "144.676584514",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.10579207130606e-145",
"agreement_digits": "144.676584514",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.488474426025421"
}
],
"controls": []
},
{
"kind": "modified",
"key": "-55296+8640*sqrt(41)",
"readings": [
{
"working_digits": 125,
"value": "-1.9378299506554835362262359780845977681544426861162679641643551821602576134994601558800710437470736475034378656338994905532199",
"isolation": {
"lower": "1380624678385799883064800483542982497728317889465442031884937161005268880915199901729220611403668636292584664346307089046239004760020446679910463913591/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "172578084798224985383100060442872812216039736183180253985617145125658610114399987716152576425458579536573083043288386130779875595002555834988807989199/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 38,
"last_term": "8.75681308502763e-139",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "8022b838608620bbdd8bd65ccf215edf8aa241897986ec7094a6a476bc074281"
},
{
"working_digits": 145,
"value": "-1.937829950655483536226235978084597768154442686116267964164355182160257613499460155880071043747073647503437865633899490553219911330794246956211437",
"isolation": {
"lower": "397937970375475151123872280831332603852001384819989941053600865041088611553805426903149600211797973534815780626419600182895818166614699167205548101617012018713886280177/14742040721959145907193572581985425355144223517251720423344555860334469384344331453461432520225229560708860839963921269139728846210643721220943102544658968920505450496",
"upper": "101872120416121638687711303892821146586112354513917424909721821450518684557774189287206297654220281224912839840363417646821329450653362986804620314013955076790754887725313/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 43,
"last_term": "6.42996494465944e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "cfbe1c744af76ddb1583375191daa0ca5e5da0911635921bef94282c9df39040"
}
],
"comparisons": [
{
"relative_error": "5.84715611559389e-126",
"agreement_digits": "125.233055311",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.57072015631218e-135",
"agreement_digits": "134.803901183",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.56297631323761e-146",
"agreement_digits": "145.254692789",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.56297631323761e-146",
"agreement_digits": "145.254692789",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.496562134366101"
}
],
"controls": []
},
{
"kind": "modified",
"key": "-864+216*sqrt(17)",
"readings": [
{
"working_digits": 125,
"value": "-1.9146404091267341842304320883458607974269928314139363762820898090505065782630900110646721128960294181319494200046603099173129",
"isolation": {
"lower": "85002074720724808683987012998006167320046294014023046149891381033866411855253002237896184515754042020253625949136379569386896495281369013087432388215/3196670515523576044934755563308202297086564498088930458479776726656380660551439995003193449537015778467662777468320381844938727095591204153641140224",
"upper": "1360033195531596938943792207968098677120740704224368738398262096541862589684048035806338952252064672324058015186182073110190343924501904209398918211441/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 74,
"last_term": "9.44819410086856e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "857a3c78c041c152a44f9a04d86c3ef692337d2ed24c0d2e45f0547f49418de2"
},
{
"working_digits": 145,
"value": "-1.914640409126734184230432088345860797426992831413936376282089809050506578263090011064672112896029418131949420004660309917312911347897742018068566",
"isolation": {
"lower": "100352737158882998677557721518269314958352547135276815524056030831178102579309882637272544226051270651282814618111575955989457734146811062204677414145450779159004480535545/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50176368579441499338778860759134657479176273567638407762028015415589051289654941318636272113025635325641407309055787977994728867073405531102338707072725389579502240267773/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 85,
"last_term": "7.60847924312131e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "a50391c288fe746cf51760ca10c9537e3fa146cd9c798ba788f38a44f685e31f"
}
],
"comparisons": [
{
"relative_error": "5.9269080961233e-126",
"agreement_digits": "125.227171807",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.05401962498036e-135",
"agreement_digits": "134.977151303",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.59422127655952e-146",
"agreement_digits": "145.017990269",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.59422127655952e-146",
"agreement_digits": "145.017990269",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.13194942000466"
}
],
"controls": []
},
{
"kind": "modified",
"key": "0",
"readings": [
{
"working_digits": 125,
"value": "0.0",
"isolation": {
"lower": "0",
"upper": "0",
"bisections": 0,
"exact_rational": "0",
"method": "rational Sturm isolation and rational bisection"
},
"method": "exact continuous value of the corrected convergent identity",
"exact": true,
"arithmetic_working_digits": 125,
"proof": "Both 3F2 series are analytic at t=0 and equal 1 there; their prefactors are k and k^2. Continuity of I-2J gives the exact value zero.",
"cache_reused": false,
"numerical_cache_fingerprint": "9a749127f10f2a515e16bae2a9882847c2e18659c931841a3bec87144a67639f"
},
{
"working_digits": 145,
"value": "0.0",
"isolation": {
"lower": "0",
"upper": "0",
"bisections": 0,
"exact_rational": "0",
"method": "rational Sturm isolation and rational bisection"
},
"method": "exact continuous value of the corrected convergent identity",
"exact": true,
"arithmetic_working_digits": 145,
"proof": "Both 3F2 series are analytic at t=0 and equal 1 there; their prefactors are k and k^2. Continuity of I-2J gives the exact value zero.",
"cache_reused": false,
"numerical_cache_fingerprint": "9d2e78677694ec96573df59894f01115ce7fde673cd4f502e5e8bd6b55211b83"
}
],
"comparisons": [
{
"exact_zero": true
}
],
"controls": []
},
{
"kind": "modified",
"key": "1",
"readings": [
{
"working_digits": 125,
"value": "-0.51936418732702415696471025744242843352006579789929230467041673522297409205587390136412044230453238590513562222956310577734154",
"isolation": {
"lower": "1",
"upper": "1",
"bisections": 0,
"exact_rational": "1",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "af6ac68c31409cc057bc901feedc9cfe91be50662f0f819ed46afc1a504e72e4"
},
{
"working_digits": 145,
"value": "-0.5193641873270241569647102574424284335200657978992923046704167352229740920558739013641204423045323859051356222295631057773415426120530130847491084",
"isolation": {
"lower": "1",
"upper": "1",
"bisections": 0,
"exact_rational": "1",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "686638411391908789175075d24d8d06f62e854a51ac9e87fcf5d12b913c3c6c"
}
],
"comparisons": [
{
"relative_error": "5.02932831493065e-126",
"agreement_digits": "125.298490013",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.63178575781616e-136",
"agreement_digits": "135.787336862",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.35393724498965e-146",
"agreement_digits": "145.628205119",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.35393724498965e-146",
"agreement_digits": "145.628205119",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0513562222956311"
}
],
"controls": []
},
{
"kind": "modified",
"key": "10",
"readings": [
{
"working_digits": 125,
"value": "-1.2220560761907430148949645134205934895805466295024935095167418527115658518267513807122201964009845107689930158738205602834078",
"isolation": {
"lower": "10",
"upper": "10",
"bisections": 0,
"exact_rational": "10",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3ebfc57e9c69110d350e1b893ad37c1547e3e58f7e06c1d752de3c04d53162d3"
},
{
"working_digits": 145,
"value": "-1.222056076190743014894964513420593489580546629502493509516741852711565851826751380712220196400984510768993015873820560283407792844603090289104873",
"isolation": {
"lower": "10",
"upper": "10",
"bisections": 0,
"exact_rational": "10",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "aa1c20337bab91296d82f5bed933005702b0242b0465e5fcaa9748335320c61f"
}
],
"comparisons": [
{
"relative_error": "5.85521159717556e-126",
"agreement_digits": "125.232457406",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.36572509750261e-136",
"agreement_digits": "135.626035723",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.25860066465593e-146",
"agreement_digits": "145.203522758",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.25860066465593e-146",
"agreement_digits": "145.203522758",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.231006984126179"
}
],
"controls": []
},
{
"kind": "modified",
"key": "11",
"readings": [
{
"working_digits": 125,
"value": "-1.2699658501980570461111978015252416719389405518011423708788672846405528801398322545444092074597022607678838070251147823521714",
"isolation": {
"lower": "11",
"upper": "11",
"bisections": 0,
"exact_rational": "11",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "708296dd692ddbf42b2b8c94d4a03507d2c5f92a8f3d11edccf5848185a70b13"
},
{
"working_digits": 145,
"value": "-1.269965850198057046111197801525241671938940551801142370878867284640552880139832254544409207459702260767883807025114782352171398686324420092704202",
"isolation": {
"lower": "11",
"upper": "11",
"bisections": 0,
"exact_rational": "11",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "eb8cd0d06983fc2f1554d5f13cb70f25617d385233693aaf6ed7c55cd97e138a"
}
],
"comparisons": [
{
"relative_error": "1.03441803549475e-126",
"agreement_digits": "125.985303916",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.29973975170611e-137",
"agreement_digits": "136.136692623",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.24132002500989e-145",
"agreement_digits": "144.489278088",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.24132002500989e-145",
"agreement_digits": "144.489278088",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.232116192974885"
}
],
"controls": []
},
{
"kind": "modified",
"key": "12",
"readings": [
{
"working_digits": 125,
"value": "-1.315933638694070583545848111991270813816601016427280940976081946603490599755515352220404656618612637979843263637657883377631",
"isolation": {
"lower": "12",
"upper": "12",
"bisections": 0,
"exact_rational": "12",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "12b86c16ab2093d95cc475cc3dfc30f38a012cfb803982693a5886fce675b8e4"
},
{
"working_digits": 145,
"value": "-1.315933638694070583545848111991270813816601016427280940976081946603490599755515352220404656618612637979843263637657883377631017730966920289146006",
"isolation": {
"lower": "12",
"upper": "12",
"bisections": 0,
"exact_rational": "12",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "31cd76e9e3107be08796dde25f861c4d58d9fcd63c900c43e94460cf1d569e71"
}
],
"comparisons": [
{
"relative_error": "1.34740585687021e-125",
"agreement_digits": "124.870501569",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.1972689009375e-136",
"agreement_digits": "135.658116791",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.42844527130651e-145",
"agreement_digits": "144.464902779",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.42844527130651e-145",
"agreement_digits": "144.464902779",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0201567363623421"
}
],
"controls": []
},
{
"kind": "modified",
"key": "13",
"readings": [
{
"working_digits": 125,
"value": "-1.3602790139318521787160749291669853050865798507654936070857812616644727095592679365243663775666757496732426482914026164247831",
"isolation": {
"lower": "13",
"upper": "13",
"bisections": 0,
"exact_rational": "13",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "4a5694eaaf7b343b8a492e35d6c5f8964dec008fa970fb066a24d57612283c13"
},
{
"working_digits": 145,
"value": "-1.36027901393185217871607492916698530508657985076549360708578126166447270955926793652436637756667574967324264829140261642478309870126814977206539",
"isolation": {
"lower": "13",
"upper": "13",
"bisections": 0,
"exact_rational": "13",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ce5fc8094756f9d6870581f09e1c13641f3b66f434a43ff03b54fa456c91ccbc"
}
],
"comparisons": [
{
"relative_error": "9.54754015114872e-127",
"agreement_digits": "126.020108507",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.67564600839618e-136",
"agreement_digits": "135.775817724",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.64315831398774e-145",
"agreement_digits": "144.784320591",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.64315831398774e-145",
"agreement_digits": "144.784320591",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.326757351708597"
}
],
"controls": []
},
{
"kind": "modified",
"key": "14",
"readings": [
{
"working_digits": 125,
"value": "-1.4032659121614447478881968349968516301055878618047791127595581312416693970522022627057393799300802246401264301205989312078251",
"isolation": {
"lower": "14",
"upper": "14",
"bisections": 0,
"exact_rational": "14",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7f31f29583d4d84a80eb846cd1288aa196d106592f527be273fece4ffd72c896"
},
{
"working_digits": 145,
"value": "-1.403265912161444747888196834996851630105587861804779112759558131241669397052202262705739379930080224640126430120598931207825141127865278186334831",
"isolation": {
"lower": "14",
"upper": "14",
"bisections": 0,
"exact_rational": "14",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "a1e7faba820d53dcde650699bf2b85c261fead26a72bd9b82a3c8b4539130526"
}
],
"comparisons": [
{
"relative_error": "2.93086755131372e-125",
"agreement_digits": "124.533003807",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.29246007708291e-135",
"agreement_digits": "134.888582863",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.95740715810592e-146",
"agreement_digits": "145.224942717",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.95740715810592e-146",
"agreement_digits": "145.224942717",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.359873569879401"
}
],
"controls": []
},
{
"kind": "modified",
"key": "15",
"readings": [
{
"working_digits": 125,
"value": "-1.4451185769916907363896852908818803682968920122579957430149611901293880361262117744915046568754799144882184283168209415759799",
"isolation": {
"lower": "15",
"upper": "15",
"bisections": 0,
"exact_rational": "15",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "08d1163e32ad157a476b611c87034a402aa9f1be65f6b080bf28278d8b46204c"
},
{
"working_digits": 145,
"value": "-1.445118576991690736389685290881880368296892012257995743014961190129388036126211774491504656875479914488218428316820941575979908025774935889764953",
"isolation": {
"lower": "15",
"upper": "15",
"bisections": 0,
"exact_rational": "15",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e6bbea87d2a388084c3e0fb33f2dfa536f130bad16ab1c30d28c91fc55ebb609"
}
],
"comparisons": [
{
"relative_error": "5.55371376693327e-126",
"agreement_digits": "125.255416507",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.84421992246221e-135",
"agreement_digits": "134.546036826",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.89607720647006e-145",
"agreement_digits": "144.538189864",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.89607720647006e-145",
"agreement_digits": "144.538189864",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.488218428316821"
}
],
"controls": []
},
{
"kind": "modified",
"key": "16",
"readings": [
{
"working_digits": 125,
"value": "-1.4860332010404585409784689826967184765778705147396465959994589430587315225998779209479286414899269344429043867923528711828265",
"isolation": {
"lower": "16",
"upper": "16",
"bisections": 0,
"exact_rational": "16",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ba657dff4bebfb2009db18df7dee7fd058b96204269d92cbd22e289efd146d5b"
},
{
"working_digits": 145,
"value": "-1.486033201040458540978468982696718476577870514739646595999458943058731522599877920947928641489926934442904386792352871182826466573603181311675306",
"isolation": {
"lower": "16",
"upper": "16",
"bisections": 0,
"exact_rational": "16",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "fd3b95f6e09008acc20c3d3f9bc72266195a824a77445068f46cf4857fb85731"
}
],
"comparisons": [
{
"relative_error": "2.24937079435941e-125",
"agreement_digits": "124.647938948",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "8.82668910143878e-136",
"agreement_digits": "135.05420217",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.69915494865586e-145",
"agreement_digits": "144.568772183",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.69915494865586e-145",
"agreement_digits": "144.568772183",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.442904386792353"
}
],
"controls": []
},
{
"kind": "modified",
"key": "17",
"readings": [
{
"working_digits": 125,
"value": "-1.5261869950069896083183959576415079547854635319591313685450357565124948761640788914990493688977064957823994011986163642949288",
"isolation": {
"lower": "17",
"upper": "17",
"bisections": 0,
"exact_rational": "17",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "99583bdfa8904701042dd4e54754eb0dc2651575ada38e573d4a7cc110198cd2"
},
{
"working_digits": 145,
"value": "-1.526186995006989608318395957641507954785463531959131368545035756512494876164078891499049368897706495782399401198616364294928764995971998996774045",
"isolation": {
"lower": "17",
"upper": "17",
"bisections": 0,
"exact_rational": "17",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "301ffb22e1ebae474d3f791a975e0818634e909cd6c57ed8929e90d5c46377cd"
}
],
"comparisons": [
{
"relative_error": "2.29356088837875e-125",
"agreement_digits": "124.639489726",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.57341438684848e-136",
"agreement_digits": "135.182208989",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.531380891533e-145",
"agreement_digits": "144.596642503",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.531380891533e-145",
"agreement_digits": "144.596642503",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.217600598801384"
}
],
"controls": []
},
{
"kind": "modified",
"key": "18",
"readings": [
{
"working_digits": 125,
"value": "-1.5657458824429559124608008866530195154146029446844632985102899180363658822103314729625210599483399157113278969607787949950599",
"isolation": {
"lower": "18",
"upper": "18",
"bisections": 0,
"exact_rational": "18",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9d762dac388ca26522c79bd829df05560d5bb68f851f744f2fbd316ed01e20d0"
},
{
"working_digits": 145,
"value": "-1.565745882442955912460800886653019515414602944684463298510289918036365882210331472962521059948339915711327896960778794995059923648773728560087378",
"isolation": {
"lower": "18",
"upper": "18",
"bisections": 0,
"exact_rational": "18",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "563fc4a9e811dbc71a5f4e6222e3fb3e37059f3bbf9fdb9c398f08ce75ff0a6f"
}
],
"comparisons": [
{
"relative_error": "1.51038390033395e-125",
"agreement_digits": "124.820912652",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.19633663512099e-136",
"agreement_digits": "135.03638514",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.50533028849557e-145",
"agreement_digits": "144.8223682",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.50533028849557e-145",
"agreement_digits": "144.8223682",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.288672103039221"
}
],
"controls": []
},
{
"kind": "modified",
"key": "18-6*sqrt(3)",
"readings": [
{
"working_digits": 125,
"value": "-1.0969519093667716019520109977335387522971493490507595649314389301692936733868524064240596331506100005310235066657870108456833",
"isolation": {
"lower": "778217433336287797915990361781919534510064285580784348574285677373805516742124543054140128405951401365118640856033206059473394499284590318166023843699/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"upper": "1556434866672575595831980723563839069020128571161568697148571354747611033484249086108280256811902802730237281712066412118946788998569180636332047687399/204586912993508866875824356051724947013540127877691549342705710506008362275292159680204380770369009821930417757972504438076078534117837065833032974336",
"bisections": 400,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "079e52207028e4d5f3ad799d0fb9ae77c05b9cc3b4464ee26abfeb9f0489a4ef"
},
{
"working_digits": 145,
"value": "-1.096951909366771601952010997733538752297149349050759564931438930169293673386852406424059633150610000531023506665787010845683279359127062535682192",
"isolation": {
"lower": "57422311305814499957808608946312489140916931856719587707406405409529715279374906097943529026325078618635746872035722911279602040760116633471340705891541636449941476283757/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"upper": "114844622611628999915617217892624978281833863713439175414812810819059430558749812195887058052650157237271493744071445822559204081520233266942681411783083272899882952567515/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904",
"bisections": 466,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "2514b4d3e863d256833740e815593dad646f08aee834e634206e5908fc710ff1"
}
],
"comparisons": [
{
"relative_error": "1.88165704997765e-125",
"agreement_digits": "124.725459528",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.31157097257231e-135",
"agreement_digits": "134.636092768",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.04082928139522e-145",
"agreement_digits": "144.982620498",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.04082928139522e-145",
"agreement_digits": "144.982620498",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.468976493334213"
}
],
"controls": []
},
{
"kind": "modified",
"key": "19",
"readings": [
{
"working_digits": 125,
"value": "-1.6048718106059485730806034670199877785363383716754348481029501864274862483545480408446534902594906459590725227485182399146144",
"isolation": {
"lower": "19",
"upper": "19",
"bisections": 0,
"exact_rational": "19",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "1b0418b3c919a5cede7efa5dd225db534f1a99c22356f4dc84b7044270e24ed3"
},
{
"working_digits": 145,
"value": "-1.604871810605948573080603467019987778536338371675434848102950186427486248354548040844653490259490645959072522748518239914614435593479464819778976",
"isolation": {
"lower": "19",
"upper": "19",
"bisections": 0,
"exact_rational": "19",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "19a33e4abbd2e232ee4e5532c6c70189312ee70605704a65458561c86a09ebb0"
}
],
"comparisons": [
{
"relative_error": "2.21783940808212e-125",
"agreement_digits": "124.654069904",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.0032174184555e-135",
"agreement_digits": "134.522413226",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.44495002633297e-146",
"agreement_digits": "145.190780446",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.44495002633297e-146",
"agreement_digits": "145.190780446",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0409274772514818"
}
],
"controls": []
},
{
"kind": "modified",
"key": "2",
"readings": [
{
"working_digits": 125,
"value": "-0.66594523300113742946209983325123257791006199739579453320562220340023273645759493661215308646856568555546488200942126277620852",
"isolation": {
"lower": "2",
"upper": "2",
"bisections": 0,
"exact_rational": "2",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7c283425bd59ca4a7ee2bbe4489ad6ca557133e6d9b5c91240bffd7e4e2a24a0"
},
{
"working_digits": 145,
"value": "-0.6659452330011374294620998332512325779100619973957945332056222034002327364575949366121530864685656855554648820094212627762085257638434437534804776",
"isolation": {
"lower": "2",
"upper": "2",
"bisections": 0,
"exact_rational": "2",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "fc2e6b54c02b6a942b2b71b9078fc274c39586cb50996b62166e68d5822ef821"
}
],
"comparisons": [
{
"relative_error": "8.65513132030128e-126",
"agreement_digits": "125.062726338",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.70179873935037e-136",
"agreement_digits": "135.431587197",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.07351122265417e-146",
"agreement_digits": "145.390031083",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.07351122265417e-146",
"agreement_digits": "145.390031083",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.445351179905787"
}
],
"controls": []
},
{
"kind": "modified",
"key": "20",
"readings": [
{
"working_digits": 125,
"value": "-1.6437307348197026473953711009019827230726272625349387377495106963913617651650472253983870905804796794204873136139275630123445",
"isolation": {
"lower": "20",
"upper": "20",
"bisections": 0,
"exact_rational": "20",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9096e191fef1afe4a57459dd4c0dbde2d397bca585003a55ffd4e9efd29dc28c"
},
{
"working_digits": 145,
"value": "-1.643730734819702647395371100901982723072627262534938737749510696391361765165047225398387090580479679420487313613927563012344457881177576841324313",
"isolation": {
"lower": "20",
"upper": "20",
"bisections": 0,
"exact_rational": "20",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "1c84e62757d8580d8f1ef791ad4b68999581eba591824c68d81f876fe97d8b89"
}
],
"comparisons": [
{
"relative_error": "2.56239185232359e-125",
"agreement_digits": "124.591354455",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.92165031661738e-135",
"agreement_digits": "134.716325638",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.59124444579349e-145",
"agreement_digits": "144.798263099",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.59124444579349e-145",
"agreement_digits": "144.798263099",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.420487313613928"
}
],
"controls": []
},
{
"kind": "modified",
"key": "21",
"readings": [
{
"working_digits": 125,
"value": "-1.682502771961712079308896920741846784996874935343267249773453804833732122944094644302712194928027595529793171654766652535917",
"isolation": {
"lower": "21",
"upper": "21",
"bisections": 0,
"exact_rational": "21",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "11d32f48d2688e724c1cbd026c71d0f6dccc66b062d7a7034e109d852522841e"
},
{
"working_digits": 145,
"value": "-1.68250277196171207930889692074184678499687493534326724977345380483373212294409464430271219492802759552979317165476665253591702195766430844726036",
"isolation": {
"lower": "21",
"upper": "21",
"bisections": 0,
"exact_rational": "21",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "91c535301a02d3dc06b58cef58152b5e1aebb54589f26a7749f1460799e01b7b"
}
],
"comparisons": [
{
"relative_error": "1.30505962155686e-125",
"agreement_digits": "124.884369647",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.22874937192279e-136",
"agreement_digits": "135.034857148",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.50744039881989e-145",
"agreement_digits": "144.600769381",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.50744039881989e-145",
"agreement_digits": "144.600769381",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.470206828345233"
}
],
"controls": []
},
{
"kind": "modified",
"key": "22",
"readings": [
{
"working_digits": 125,
"value": "-1.7213971950425730211381785675084657858132084100249466918700313704540415336916054403724751599838162725410641925536285796804502",
"isolation": {
"lower": "22",
"upper": "22",
"bisections": 0,
"exact_rational": "22",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 182,
"last_term": "3.72251010430349e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "8f99de003681227646fbfed6bcb393cdfb4e53e1816c2e447a891a378a14eb5b"
},
{
"working_digits": 145,
"value": "-1.721397195042573021138178567508465785813208410024946691870031370454041533691605440372475159983816272541064192553628579680450206710886172806800269",
"isolation": {
"lower": "22",
"upper": "22",
"bisections": 0,
"exact_rational": "22",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 209,
"last_term": "5.19897610096206e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ccb92ecc719cf5256e696d447ddcafae70b5c89c2b438b838fe085e843254c9c"
}
],
"comparisons": [
{
"relative_error": "3.89851115833893e-126",
"agreement_digits": "125.409101218",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.63053610002576e-135",
"agreement_digits": "134.787669581",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.49865229344672e-145",
"agreement_digits": "144.824299117",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.49865229344672e-145",
"agreement_digits": "144.824299117",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.458935807446371"
}
],
"controls": []
},
{
"kind": "modified",
"key": "23",
"readings": [
{
"working_digits": 125,
"value": "-1.7606779898218900440855715369349374235361241696104577303009126267684518834416489832314226649172156960708571449722912925892001",
"isolation": {
"lower": "23",
"upper": "23",
"bisections": 0,
"exact_rational": "23",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 161,
"last_term": "2.78987454719706e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b1a52f114841838d84125243ff69b98b390d69e57cdd9ceeacae6d129f1595e4"
},
{
"working_digits": 145,
"value": "-1.760677989821890044085571536934937423536124169610457730300912626768451883441648983231422664917215696070857144972291292589200141841804878500416361",
"isolation": {
"lower": "23",
"upper": "23",
"bisections": 0,
"exact_rational": "23",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 185,
"last_term": "2.89517498441767e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6ec288a789f4abdb81ec7d0b8f58b5e88fbdfb7e92e11a80aeb481cf8a7f41c8"
}
],
"comparisons": [
{
"relative_error": "2.37645981379782e-125",
"agreement_digits": "124.624069525",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "8.5170806227418e-136",
"agreement_digits": "135.069709242",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.67736143819757e-145",
"agreement_digits": "144.775373345",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.67736143819757e-145",
"agreement_digits": "144.775373345",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0708571449722913"
}
],
"controls": []
},
{
"kind": "modified",
"key": "24",
"readings": [
{
"working_digits": 125,
"value": "-1.8007145213892325195011854057438402917372961865917979055327163861623631700581598180831296257656021966504313420833041929982643",
"isolation": {
"lower": "24",
"upper": "24",
"bisections": 0,
"exact_rational": "24",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 140,
"last_term": "3.03218765640184e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "bf1293417db5129b061f9c5c872b821a38da639996cf8fdf5e78ad94818ba98a"
},
{
"working_digits": 145,
"value": "-1.800714521389232519501185405743840291737296186591797905532716386162363170058159818083129625765602196650431342083304192998264300297207688924861256",
"isolation": {
"lower": "24",
"upper": "24",
"bisections": 0,
"exact_rational": "24",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 161,
"last_term": "2.2993783234012e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "52730cc8ad742fbf8ad70a351969644c5590c493d5d6a138cbe11abe1c97f88c"
}
],
"comparisons": [
{
"relative_error": "1.65049865147735e-127",
"agreement_digits": "126.782384826",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.97062294566571e-136",
"agreement_digits": "135.223980354",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.5186201839633e-145",
"agreement_digits": "144.818550832",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.5186201839633e-145",
"agreement_digits": "144.818550832",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.349568657916696"
}
],
"controls": []
},
{
"kind": "modified",
"key": "25",
"readings": [
{
"working_digits": 125,
"value": "-1.8421033377291360340542868426845809284401257772067986481108883975456285212846670453364812354771391665220236406568074394553766",
"isolation": {
"lower": "25",
"upper": "25",
"bisections": 0,
"exact_rational": "25",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 118,
"last_term": "6.85126414976358e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e44a3de72758c6c4385f900176f46e82682fabd299339f6e3a96e4b45857c8bb"
},
{
"working_digits": 145,
"value": "-1.842103337729136034054286842684580928440125777206798648110888397545628521284667045336481235477139166522023640656807439455376606544017114554443925",
"isolation": {
"lower": "25",
"upper": "25",
"bisections": 0,
"exact_rational": "25",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 136,
"last_term": "2.55551539986577e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b560fde92e15ba0ba2585c7a5ea2b1398d5fb9fdc0e32b21468dcfa46dd6b4e6"
}
],
"comparisons": [
{
"relative_error": "3.55247014677343e-126",
"agreement_digits": "125.449469563",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.47241500067771e-135",
"agreement_digits": "134.60687863",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.23678831575476e-146",
"agreement_digits": "145.140454131",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.23678831575476e-146",
"agreement_digits": "145.140454131",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.477976359343193"
}
],
"controls": []
},
{
"kind": "modified",
"key": "26",
"readings": [
{
"working_digits": 125,
"value": "-1.8860701609659055098183879134081776718033417359790826577154417363821150158107870407243519981333411479159930189846638605310848",
"isolation": {
"lower": "26",
"upper": "26",
"bisections": 0,
"exact_rational": "26",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 94,
"last_term": "7.24167636148486e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "2ec20f41d88047eac9c31af344f8c54a29ae357985e3c4d4a35c1089d07bef90"
},
{
"working_digits": 145,
"value": "-1.886070160965905509818387913408177671803341735979082657715441736382115015810787040724351998133341147915993018984663860531084781743108120247294467",
"isolation": {
"lower": "26",
"upper": "26",
"bisections": 0,
"exact_rational": "26",
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 108,
"last_term": "5.4998914337141e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "d28f4f133fac7eea8975167e6cd003c6ec1e03d5f21207821dc96b1d277897d3"
}
],
"comparisons": [
{
"relative_error": "9.67985828820009e-126",
"agreement_digits": "125.014131001",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.31116260740456e-136",
"agreement_digits": "135.882343445",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.13993913911416e-146",
"agreement_digits": "145.943118335",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.13993913911416e-146",
"agreement_digits": "145.943118335",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0840069810153361"
}
],
"controls": []
},
{
"kind": "modified",
"key": "3",
"readings": [
{
"working_digits": 125,
"value": "-0.7721669717878543808248902763318874556126352039922554273362075518130980634213634499331926251917925780431656580656486627986485",
"isolation": {
"lower": "3",
"upper": "3",
"bisections": 0,
"exact_rational": "3",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "4a497f7ed6756e8fba6ace85c3db7215b51f41f429bd212db32007ab0254db3d"
},
{
"working_digits": 145,
"value": "-0.7721669717878543808248902763318874556126352039922554273362075518130980634213634499331926251917925780431656580656486627986485020175074249207853602",
"isolation": {
"lower": "3",
"upper": "3",
"bisections": 0,
"exact_rational": "3",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "c81954b1c847397831cb842f4d255049dc8b955acd28dcdea43542afd11372eb"
}
],
"comparisons": [
{
"relative_error": "2.61278648094661e-126",
"agreement_digits": "125.58289608",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.02587448951084e-136",
"agreement_digits": "135.98890577",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.64220956168646e-146",
"agreement_digits": "145.116781057",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.64220956168646e-146",
"agreement_digits": "145.116781057",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.431656580656487"
}
],
"controls": []
},
{
"kind": "modified",
"key": "4",
"readings": [
{
"working_digits": 125,
"value": "-0.85896800190962741106967481113538033613498070927695455761006637657995207514459566652975379944333220778581818094104770206837337",
"isolation": {
"lower": "4",
"upper": "4",
"bisections": 0,
"exact_rational": "4",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "30b5d29a3b2dd74bd350c064c2308c9b25cd036527dec9702185b722ef0451f1"
},
{
"working_digits": 145,
"value": "-0.8589680019096274110696748111353803361349807092769545576100663765799520751445956665297537994433322077858181809410477020683733691729272534071631453",
"isolation": {
"lower": "4",
"upper": "4",
"bisections": 0,
"exact_rational": "4",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e31d9acd0a54301eb78290d949674188f2fc9f6e9c4b2a77e81cbc989841cff1"
}
],
"comparisons": [
{
"relative_error": "9.62867935422644e-127",
"agreement_digits": "126.016433276",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.74014333938877e-136",
"agreement_digits": "135.324208525",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.43933613174011e-146",
"agreement_digits": "145.35268197",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.43933613174011e-146",
"agreement_digits": "145.35268197",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.141818190589523"
}
],
"controls": []
},
{
"kind": "modified",
"key": "4+4*sqrt(33)",
"readings": [
{
"working_digits": 125,
"value": "-1.9367046322669769788607712420923030765417122827198661964146830705690611357009686142795655081120226582655677202858734320691575",
"isolation": {
"lower": "1379849251346545566621342898073064344402619099948760120029392731684683620983255511549282418978801319822593396151253671595863908827548626160196432140675/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "344962312836636391655335724518266086100654774987190030007348182921170905245813877887320604744700329955648349037813417898965977206887156540049108035169/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 44,
"last_term": "8.91515828011819e-138",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "c4121faeb9d23b02518381727eb32c1a22511df9b4cb2c97521a9b8d5007ad98"
},
{
"working_digits": 145,
"value": "-1.936704632266976978860771242092303076541712282719866196414683070569061135700968614279565508112022658265567720285873432069157467695531872821376728",
"isolation": {
"lower": "12726862999944725483113007661571876164737255349649622142426038609678463235259284352816854483430502981554399844082566827790270617292986767082280038058645539942470143012631/471745303102692669030194322623533611364615152552055053547025787530703020299018606510765840647207345942683546878845480612471323078740599079070179281429087005456174415872",
"upper": "101814903999557803864904061292575009317898042797196977139408308877427705882074274822534835867444023852435198752660534622322164938343894136658240304469164319539761144101049/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 50,
"last_term": "2.05526439875738e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "218d5059970cee3050a22402fb30f075cece421bff0fa10086a8ffe0deeddffb"
}
],
"comparisons": [
{
"relative_error": "1.6680121268345e-125",
"agreement_digits": "124.777800796",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.45679247160032e-135",
"agreement_digits": "134.836602312",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.0936551189949e-145",
"agreement_digits": "144.96111961",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.0936551189949e-145",
"agreement_digits": "144.96111961",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.265567720285873"
}
],
"controls": []
},
{
"kind": "modified",
"key": "5",
"readings": [
{
"working_digits": 125,
"value": "-0.93397702986299095585459520956167908221798479147858961220691951432953050667882269149078414062126262176114613360896437471017976",
"isolation": {
"lower": "5",
"upper": "5",
"bisections": 0,
"exact_rational": "5",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "5d3e721c0d39270aa37f45afc4de5c9442e105259f6f0172c3612d60215a8aec"
},
{
"working_digits": 145,
"value": "-0.9339770298629909558545952095616790822179847914785896122069195143295305066788226914907841406212626217611461336089643747101797542514093910519842078",
"isolation": {
"lower": "5",
"upper": "5",
"bisections": 0,
"exact_rational": "5",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6fbebc202492b7b68d35e32e6d0bf4a3afd40e54fd0bd7f60c8f1997d999c22a"
}
],
"comparisons": [
{
"relative_error": "6.15495930321895e-126",
"agreement_digits": "125.210774814",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.56589789018963e-137",
"agreement_digits": "136.254464765",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.33147626180664e-146",
"agreement_digits": "145.632369002",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.33147626180664e-146",
"agreement_digits": "145.632369002",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.388538663910356"
}
],
"controls": []
},
{
"kind": "modified",
"key": "6",
"readings": [
{
"working_digits": 125,
"value": "-1.0009539609139232972389084895385006541938977742398511677539759260345305846710978814989991618537181328385107440195083008304503",
"isolation": {
"lower": "6",
"upper": "6",
"bisections": 0,
"exact_rational": "6",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9fc274dfc73fb79b12475ec3b7c9503e49aaec70137e1e25c3165906f085fb29"
},
{
"working_digits": 145,
"value": "-1.000953960913923297238908489538500654193897774239851167753975926034530584671097881498999161853718132838510744019508300830450285510374881809631925",
"isolation": {
"lower": "6",
"upper": "6",
"bisections": 0,
"exact_rational": "6",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9096b40090352804622b20c0385e904c955b86312880e4c1778d24df7b0669e9"
}
],
"comparisons": [
{
"relative_error": "1.44758157557622e-125",
"agreement_digits": "124.839356953",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.80790725214545e-135",
"agreement_digits": "134.742823853",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.83520828249589e-145",
"agreement_digits": "144.547415031",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.83520828249589e-145",
"agreement_digits": "144.547415031",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.161489255980492"
}
],
"controls": []
},
{
"kind": "modified",
"key": "7",
"readings": [
{
"working_digits": 125,
"value": "-1.0620685256355161032463924339231849184336151647954407826873967738929944692981886255991753704097833175002865035850518878180056",
"isolation": {
"lower": "7",
"upper": "7",
"bisections": 0,
"exact_rational": "7",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e627fb3d07560aebee08560407062e0efb1a4090203eee6794a9446025550d21"
},
{
"working_digits": 145,
"value": "-1.062068525635516103246392433923184918433615164795440782687396773892994469298188625599175370409783317500286503585051887818005642828644664860221811",
"isolation": {
"lower": "7",
"upper": "7",
"bisections": 0,
"exact_rational": "7",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6bde30c61e4bdbad40eed78f8d378fbf69196266f079acb9d5740bcdcac166a7"
}
],
"comparisons": [
{
"relative_error": "4.0325688626572e-125",
"agreement_digits": "124.394418208",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.57618476933187e-135",
"agreement_digits": "134.339496449",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "8.57049533977231e-146",
"agreement_digits": "145.066994077",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "8.57049533977231e-146",
"agreement_digits": "145.066994077",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.499713496414948"
}
],
"controls": []
},
{
"kind": "modified",
"key": "8",
"readings": [
{
"working_digits": 125,
"value": "-1.1187040102679363260719946708903749472124125183691896498319472916726378648087246620011077457684675156292179260373315068742713",
"isolation": {
"lower": "8",
"upper": "8",
"bisections": 0,
"exact_rational": "8",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "88fcc475a9d3957f55e67473fb3b6feda47b884a7c28751c9c9b6ad4a7cf55bf"
},
{
"working_digits": 145,
"value": "-1.118704010267936326071994670890374947212412518369189649831947291672637864808724662001107745768467515629217926037331506874271345273311745104388548",
"isolation": {
"lower": "8",
"upper": "8",
"bisections": 0,
"exact_rational": "8",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "967fc122fb1e556ba80837d689d06411cb4cdf998ad7a5c2625011ba78ddfc51"
}
],
"comparisons": [
{
"relative_error": "4.04694283113021e-125",
"agreement_digits": "124.392872931",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.37614543888823e-135",
"agreement_digits": "134.358908253",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.08004108757234e-145",
"agreement_digits": "144.681928086",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.08004108757234e-145",
"agreement_digits": "144.681928086",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.370782073962668"
}
],
"controls": [
{
"source": "Samart 2301.05390v3, Theorem 2, E_2: y^2+2xy+y=x^3 (19a3)",
"identity_status": "proved in cited literature",
"pari_version": "[2, 17, 1]",
"ainvariants": [
2,
0,
1,
0,
0
],
"conductor": 19,
"root_number": 1,
"L2": "0.774818668298718554261759906987504014802129644760520144117677469998492343795328934770093177100280260861622639373025444902733248844222654393664036",
"multiplier_of_Lprime0": "-3",
"functional_equation": "L'(E,0)=root_number*N*L(E,2)/(4*pi^2)",
"pari_zeta2_control": {
"relative_error": "1.2171205737256e-146",
"agreement_digits": "145.914666396",
"required_digits_strictly_greater_than": 110
},
"relative_error": "2.05940076179343e-145",
"agreement_digits": "144.686259131",
"required_digits_strictly_greater_than": 110
}
]
},
{
"kind": "modified",
"key": "9",
"readings": [
{
"working_digits": 125,
"value": "-1.171806080066140698461301764503744621233423649063652163500911632027918698646439611400329499921813319353197010509314261730097",
"isolation": {
"lower": "9",
"upper": "9",
"bisections": 0,
"exact_rational": "9",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "4f15dcb3ef7c72f604c8d71a88d0209aa8b86e190daf893f3369bd75b78ba7bf"
},
{
"working_digits": 145,
"value": "-1.171806080066140698461301764503744621233423649063652163500911632027918698646439611400329499921813319353197010509314261730097029689513395742934178",
"isolation": {
"lower": "9",
"upper": "9",
"bisections": 0,
"exact_rational": "9",
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "eee90558c30484881c7006e7c49eea58405f51ac7332c17d6e53bd2edafff397"
}
],
"comparisons": [
{
"relative_error": "2.53365415155272e-125",
"agreement_digits": "124.596252667",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.63290982562551e-135",
"agreement_digits": "134.439745382",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.30345045553167e-145",
"agreement_digits": "144.481032202",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.30345045553167e-145",
"agreement_digits": "144.481032202",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.353197010509314"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m1227-309-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956833166811528632250139894593947960660731496613514429352542953190664708819372384663883911140508337171114670914516116947",
"isolation": {
"lower": "690480831353090238938957877422319561953306733627129537921302638744951510677602099906154097975173382909421459943791983521632118013354570739278570625141/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380961662706180477877915754844639123906613467254259075842605277489903021355204199812308195950346765818842919887583967043264236026709141478557141250283/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 10,
"last_term": "3.35042163194226e-145",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "06956c1621e032c83290693b93e7520eb2e643ce22643d23da44dc1e1f26e759"
},
{
"working_digits": 145,
"value": "-1.938395683316681152863225013989459394796066073149661351442935254295319066470881937238466388391114050833717111467091451611694654055454439039393527",
"isolation": {
"lower": "50948492735090646900339934719079190338620216203758490020167317987124352025643989226156543152166383963580145655202873854803111245299617611704498584897115919621130457935411/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896985470181293800679869438158380677240432407516980040334635974248704051287978452313086304332767927160291310405747709606222490599235223408997169794231839242260915870823/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 11,
"last_term": "9.35453971201726e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "2078431599a02dab124cffc1270a93fc49c278986862cf11844f93016c51cf8e"
}
],
"comparisons": [
{
"relative_error": "2.37023565190506e-125",
"agreement_digits": "124.625208474",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.95567794164894e-136",
"agreement_digits": "135.304896925",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.85305753827454e-147",
"agreement_digits": "146.232617207",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.85305753827454e-147",
"agreement_digits": "146.232617207",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.166282888532909"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m132-21-6-2",
"readings": [
{
"working_digits": 125,
"value": "-1.8537372665897360506435371881441993389590545977186140280996184070420831198089669247968731018300880949619483677666512827986571",
"isolation": {
"lower": "1292594049893219677772198196574387010607638616157714269646126626472579486008035952074952941663468096709107118024703937336785756663038007789854536339457/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "646297024946609838886099098287193505303819308078857134823063313236289743004017976037476470831734048354553559012351968668392878331519003894927268169729/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 112,
"last_term": "3.49582167004279e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "1ce61ca6d7399d0c4d37ae3914a216f7059af7a6672994020211097e61b56db7"
},
{
"working_digits": 145,
"value": "-1.85373726658973605064353718814419933895905459771861402809961840704208311980896692479687310183008809496194836776665128279865707477889014701750181",
"isolation": {
"lower": "190753213036639828566119884613169000014290301909754374870887360201473675411954966266360012217323010291796640405829680489269179746028765586058147069190174747580603745827339/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"upper": "47688303259159957141529971153292250003572575477438593717721840050368418852988741566590003054330752572949160101457420122317294936507191396514536767297543686895150936456835/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 129,
"last_term": "1.46405797317408e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "446f79c202acf9662bd3d8b59867c5a03491a2c14baf550703c63cf59703553f"
}
],
"comparisons": [
{
"relative_error": "1.36055471870515e-125",
"agreement_digits": "124.866283987",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.60891095181293e-135",
"agreement_digits": "134.793467992",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.99783535219891e-145",
"agreement_digits": "144.699440306",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.99783535219891e-145",
"agreement_digits": "144.699440306",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0380516322333487"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m1467-369-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956833167023075980427610788578794001213660674504377458897325244737215901382994044571909257784720394385179992283773473356",
"isolation": {
"lower": "1380961662706184709390284907720412931679812761273807019288975377849531017985566705697318548441066153718726566823533545498156721827873844539360520375001/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "690480831353092354695142453860206465839906380636903509644487688924765508992783352848659274220533076859363283411766772749078360913936922269680260187501/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 9,
"last_term": "5.35127972035297e-144",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": true,
"numerical_cache_fingerprint": "f15e7772c5a4ca0c882ad98d0b8651f38167302cbb888e059fb800fa101a5a5e"
},
{
"working_digits": 145,
"value": "-1.938395683316702307598042761078857879400121366067450437745889732524473721590138299404457190925778472039438517999228377347335645321166377111120985",
"isolation": {
"lower": "50948492735090803015591371718030492439101139719276144605107910429194814884384508733043860372303058487649917951587365424573137109683736389884804909349598188707709395350023/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896985470181606031182743436060984878202279438552289210215820858389629768769017466087720744606116975299835903174730849146274219367472779769609818699196377415418790700047/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 10,
"last_term": "4.78770885373721e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": true,
"numerical_cache_fingerprint": "01e7417841835612e8d84509cbd16b23ab49fe2bb73450650e71d293e15a93f1"
}
],
"comparisons": [
{
"relative_error": "2.33807610939187e-125",
"agreement_digits": "124.631141356",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.49034536130258e-135",
"agreement_digits": "134.82671308",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.05915633943546e-145",
"agreement_digits": "144.686310679",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.05915633943546e-145",
"agreement_digits": "144.686310679",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0394385179992284"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m163-43-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9382843298809160700063121312364810504255981537316491836612208398659063227343367854829239191609804458842405862035910519772542",
"isolation": {
"lower": "690451716796199941557987423937810569898144834046596380754336768846434347351132561309631919292698435225034200810890841762034461894895037128079144777101/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380903433592399883115974847875621139796289668093192761508673537692868694702265122619263838585396870450068401621781683524068923789790074256158289554203/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 31,
"last_term": "6.0100713515742e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "d56e15b84aa4f6cc946bc9520811d19ec38329df4c298014bebbc0084ea7c3c9"
},
{
"working_digits": 145,
"value": "-1.938284329880916070006312131236481050425598153731649183661220839865906322734336785482923919160980445884240586203591051977254150602928144020568804",
"isolation": {
"lower": "50946344459971547809121875638099683940912424018070920059612509364111699190105335088706652613326670467452359266980747079857704774213004859938888406146046045240384171456585/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101892688919943095618243751276199367881824848036141840119225018728223398380210670177413305226653340934904718533961494159715409548426009719877776812292092090480768342913171/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 36,
"last_term": "6.56936470208735e-159",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "01de8c728ec087a4ae160388ee3e42640280b3392b797ca601b78a83e18d8248"
}
],
"comparisons": [
{
"relative_error": "2.54849461941501e-125",
"agreement_digits": "124.593716279",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.07429258030839e-135",
"agreement_digits": "134.683129986",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.19604021814115e-145",
"agreement_digits": "144.658359711",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.19604021814115e-145",
"agreement_digits": "144.658359711",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.115759413796409"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m171-45-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383133433779410979561919507635241708520655352447383743549667212806574995696392933230729394392486401652458201609727892913632",
"isolation": {
"lower": "1380919555070822971129223120158679866217336396470314318025837042260042466676614302366225776587387630179711055374349159394538745395341127725866283741909/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "690459777535411485564611560079339933108668198235157159012918521130021233338307151183112888293693815089855527687174579697269372697670563862933141870955/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 30,
"last_term": "9.13789094675143e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "a8457e43f0a61846f03b97be1655b7ff59d5e4b127012355f437611a9eaf7478"
},
{
"working_digits": 145,
"value": "-1.938313343377941097956191950763524170852065535244738374354966721280657499569639293323072939439248640165245820160972789291363190928185012511563158",
"isolation": {
"lower": "25473469618772334439776750142496356251382236576937123613821274740557459499983408314340223047295883057169536693791774502047674801187001538060136694455759630053535222885033/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"upper": "101893878475089337759107000569985425005528946307748494455285098962229837999933633257360892189183532228678146775167098008190699204748006152240546777823038520214140891540133/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 35,
"last_term": "1.96310854076485e-159",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9348942d9a6095275941f67b82e211cbbaa32692a5c269b756f47daf8b8aa000"
}
],
"comparisons": [
{
"relative_error": "4.6802623623685e-126",
"agreement_digits": "125.329729801",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.29574672050859e-135",
"agreement_digits": "134.887479882",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.06812328435103e-145",
"agreement_digits": "144.971378618",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.06812328435103e-145",
"agreement_digits": "144.971378618",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.165245820160973"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m180-18-18-7",
"readings": [
{
"working_digits": 125,
"value": "0.45045381774009770410542629759705026989576921594759827602267041029777435418701856853236233879391516703451391183305568439074018",
"isolation": {
"lower": "-792414525010238562831600742409488641663698898339489920694591134299960070466181661968549014655518206757289825230130123901566977297097854964273739236673/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344",
"upper": "-1584829050020477125663201484818977283327397796678979841389182268599920140932363323937098029311036413514579650460260247803133954594195709928547478473345/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688",
"bisections": 403,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "Theorem 1 real part of 4F3 continuation; avoids inconsistent printed negative-argument 3F2 prefactor",
"extra_working_digits": 30,
"arithmetic_working_digits": 155,
"source_caveat": "Printed post-Theorem-1 3F2 coefficient disagrees with Theorem 1 by a factor of four for negative k",
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "26440004a494f2cae5aa5643641dca7dbfe73ca52ca0baca724530fb24519112"
},
{
"working_digits": 145,
"value": "0.4504538177400977041054262975970502698957692159475982760226704102977743541870185685323623387939151670345139118330556843907401788747237777084773465",
"isolation": {
"lower": "-58469871772615949919971025123789256728856443646506950873081575358602777663242034466377496480424081247070621040116663357489530700689609959346485284454693115502263532039537/60383398797144661635864873295812302254670739526663046854019300803929986598274381633378027602842540280663494000492221518396329354078796682120982948022923136698390325231616",
"upper": "-116939743545231899839942050247578513457712887293013901746163150717205555326484068932754992960848162494141242080233326714979061401379219918692970568909386231004527064079073/120766797594289323271729746591624604509341479053326093708038601607859973196548763266756055205685080561326988000984443036792658708157593364241965896045846273396780650463232",
"bisections": 469,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "Theorem 1 real part of 4F3 continuation; avoids inconsistent printed negative-argument 3F2 prefactor",
"extra_working_digits": 30,
"arithmetic_working_digits": 175,
"source_caveat": "Printed post-Theorem-1 3F2 coefficient disagrees with Theorem 1 by a factor of four for negative k",
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "f13221c41dccf2ea22a54a2729cc83e384fa5956ca9b86ddc04014660303ac28"
}
],
"comparisons": [
{
"relative_error": "2.49809453927369e-126",
"agreement_digits": "125.60239113",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.47175452885611e-136",
"agreement_digits": "135.188977964",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.68731071321052e-146",
"agreement_digits": "145.114225565",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.68731071321052e-146",
"agreement_digits": "145.114225565",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.345139118330557"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m180-27-6-2",
"readings": [
{
"working_digits": 125,
"value": "-1.9030198045453630007453493073092267289103642469043822157265793494839174633428173531817931906342948429715544337966011028358085",
"isolation": {
"lower": "337036570087022315224697990759812904686138403724390371803695670041878994602911371007685093532832044083536563137715181398438720001276744431565392010465/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"upper": "1348146280348089260898791963039251618744553614897561487214782680167515978411645484030740374131328176334146252550860725593754880005106977726261568041861/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 83,
"last_term": "5.18106782716997e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b16afe35a06a64aa72c199d80fe12194ac46c6655a4d375d11989f2bf14b4b0d"
},
{
"working_digits": 145,
"value": "-1.903019804545363000745349307309226728910364246904382215726579349483917463342817353181793190634294842971554433796601102835808541664165302966295526",
"isolation": {
"lower": "99475637630018765288740468298549333257016253416612523100326256444303169646797957599636321250887978346204559022007910601491538354340058742873473364089713949425784501271985/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "198951275260037530577480936597098666514032506833225046200652512888606339293595915199272642501775956692409118044015821202983076708680117485746946728179427898851569002543971/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 95,
"last_term": "1.40287589976172e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3bdb9c0b9406e0b75c880a9d14721d013501bd63dcbba056efd95814ca6b5ff8"
}
],
"comparisons": [
{
"relative_error": "2.18937108292049e-125",
"agreement_digits": "124.659680622",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.55873077038663e-135",
"agreement_digits": "134.807228891",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.19058526744068e-145",
"agreement_digits": "144.659439837",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.19058526744068e-145",
"agreement_digits": "144.659439837",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0284455662033989"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m19-7-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.6548633429568891320404963423399576127620919538050863936948069079134715638388412705753951306396456378856416631506156521089372",
"isolation": {
"lower": "1037619768596606979661530193161760937732100535197845498372423573160071242395690993180643008243228892667670803298196669251024521754638779657839859207777/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "518809884298303489830765096580880468866050267598922749186211786580035621197845496590321504121614446333835401649098334625512260877319389828919929603889/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6328c67cb3731e421af41086c25cf7cd29be3345ddc4340d8eca335cdbd31581"
},
{
"working_digits": 145,
"value": "-1.654863342956889132040496342339957612762091953805086393694806907913471563838841270575395130639645637885641663150615652108937161957887669263197109",
"isolation": {
"lower": "38281412634246672227166064342705953179886534464548943278590663695849009174185363851823000172575285889235587862612789259061863044815848855951682984853408886538094178836385/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "153125650536986688908664257370823812719546137858195773114362654783396036696741455407292000690301143556942351450451157036247452179263395423806731939413635546152376715345541/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7fe33ecfea2bd8cfd7efd734fb668fc49ccc00d893762b9b15b9dbdd4ec05637"
}
],
"comparisons": [
{
"relative_error": "2.2988068768726e-125",
"agreement_digits": "124.638497512",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.45234885488182e-136",
"agreement_digits": "135.351410815",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.38342796724167e-145",
"agreement_digits": "144.859043449",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.38342796724167e-145",
"agreement_digits": "144.859043449",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.114358336849384"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m192-21-12-4",
"readings": [
{
"working_digits": 125,
"value": "-1.3486956234041571395362672847982515480449330860773282116517968368446704963370085969779005470297138952916435111125223373515927",
"isolation": {
"lower": "162845898595034954536924071569991745168780871238020516134964124513922455102486301189463692230215396060104438303674805568972217969152079809505491379635/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"upper": "1302767188760279636295392572559933961350246969904164129079712996111379640819890409515709537841723168480835506429398444551777743753216638476043931037081/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"bisections": 399,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b7f08ce07c298244fc4fcf86636fbda7685e3bd543ef079337c87d03052f1d09"
},
{
"working_digits": 145,
"value": "-1.348695623404157139536267284798251548044933086077328211651796836844670496337008596977900547029713895291643511112522337351592710485969046406863162",
"isolation": {
"lower": "24031812918686941162711262067623472292023377768295198305615005678476407386354213412376710522586149550242840618734676248608083292432562094245875908374657305958820358765573/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "192254503349495529301690096540987778336187022146361586444920045427811259090833707299013684180689196401942724949877409988864666339460496753967007266997258447670562870124585/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904",
"bisections": 466,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "5c09a1a693aae957c8b5d500f5134a250bd4b59ac8927708067df15e03ff3645"
}
],
"comparisons": [
{
"relative_error": "7.77489662192266e-126",
"agreement_digits": "125.109305377",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.66415696443857e-135",
"agreement_digits": "134.574440191",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.74778917266815e-145",
"agreement_digits": "144.757510955",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.74778917266815e-145",
"agreement_digits": "144.757510955",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.291643511112522"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m195-21-15-5",
"readings": [
{
"working_digits": 125,
"value": "-0.95932396070419510039750327841152996984152330415819939016827052907154187631334231509182939453935233994534704411044107923982721",
"isolation": {
"lower": "548965607175797973930492099062392976946466227091813281823809350084868627363829203698049462808148312639421038433440939086582610309726224438180003950403/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"upper": "1097931214351595947860984198124785953892932454183626563647618700169737254727658407396098925616296625278842076866881878173165220619452448876360007900807/204586912993508866875824356051724947013540127877691549342705710506008362275292159680204380770369009821930417757972504438076078534117837065833032974336",
"bisections": 400,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "04773ec6e807e57f696439228d0494b040cf94c19cbcedb4331f23aec2ba1256"
},
{
"working_digits": 145,
"value": "-0.959323960704195100397503278411529969841523304158199390168270529071541876313342315091829394539352339945347044110441079239827212109828749745677084",
"isolation": {
"lower": "81013024486724135826781778326755464361992036276159956321827622827587038003487921996760083529191903957357156480596450169726543418602025439763433966775290932674434385584671/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904",
"upper": "162026048973448271653563556653510928723984072552319912643655245655174076006975843993520167058383807914714312961192900339453086837204050879526867933550581865348868771169343/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808",
"bisections": 467,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "595aa0d0218f0a859c04ab97d8b19b518365408d96ac936df2e8ef6d9addce24"
}
],
"comparisons": [
{
"relative_error": "2.19928703562971e-126",
"agreement_digits": "125.657718086",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.6510639410415e-136",
"agreement_digits": "135.576579797",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.60841552485105e-146",
"agreement_digits": "145.179902657",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.60841552485105e-146",
"agreement_digits": "145.179902657",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.453470441104411"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m195-51-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383611212304335347172060696754171784904924786084520532094388613315924372938577880914800656469352176375288148663128075931721",
"isolation": {
"lower": "690472519712371233229869792582042206713659322793010389272883751274112685158514616292014563267390813482719144726798355721467580930531491836716326342677/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380945039424742466459739585164084413427318645586020778545767502548225370317029232584029126534781626965438289453596711442935161861062983673432652685355/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 28,
"last_term": "5.77202436336373e-139",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "66c3541301585a447bf0aa7d1414a611f9999db217aec021ee7dc5ed44f37886"
},
{
"working_digits": 145,
"value": "-1.938361121230433534717206069675417178490492478608452053209438861331592437293857788091480065646935217637528814866312807593172105073146841548964632",
"isolation": {
"lower": "101895758888507884828194448852837547629817670249816329807265898189176864831829066226311297154656350912391274101783317839089323113601918317757313444125970684658178126232573/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50947879444253942414097224426418773814908835124908164903632949094588432415914533113155648577328175456195637050891658919544661556800959158878656722062985342329089063116287/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 32,
"last_term": "1.015260470765e-158",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3a6c1c5167b905aeda581fbac90050d73cabb68b090a5352f18c41063d6f3e5d"
}
],
"comparisons": [
{
"relative_error": "2.61723514054421e-126",
"agreement_digits": "125.582157257",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.99110452141522e-136",
"agreement_digits": "135.097393189",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.03521542747323e-145",
"agreement_digits": "144.984969264",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.03521542747323e-145",
"agreement_digits": "144.984969264",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.362471185133687"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m20-7-6-2",
"readings": [
{
"working_digits": 125,
"value": "-0.5070736509698308743201140800421117011857372313596145794895069450471123345921855947074727317915365107668886607709798285337843",
"isolation": {
"lower": "382489894551617040527328078279522950505340406571974450221935168639039908237470457736462374252119500374292708480427689979540013174320047117764650890887/409173825987017733751648712103449894027080255755383098685411421012016724550584319360408761540738019643860835515945008876152157068235674131666065948672",
"upper": "1529959578206468162109312313118091802021361626287897800887740674556159632949881830945849497008478001497170833921710759918160052697280188471058603563549/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688",
"bisections": 403,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e4dbe36a8ef54d4a455e38001cfc958251e6f911490dbdbecbdbaae4afda86cb"
},
{
"working_digits": 145,
"value": "-0.5070736509698308743201140800421117011857372313596145794895069450471123345921855947074727317915365107668886607709798285337843045011880796834984376",
"isolation": {
"lower": "28222772782295331830784237956194292618429082036076528958608630392592602244980341321364292693047839123963973938576553291177862404343439473036823543855973169290930241861151/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808",
"upper": "112891091129181327323136951824777170473716328144306115834434521570370408979921365285457170772191356495855895754306213164711449617373757892147294175423892677163720967444605/120766797594289323271729746591624604509341479053326093708038601607859973196548763266756055205685080561326988000984443036792658708157593364241965896045846273396780650463232",
"bisections": 469,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e8aa361a587491aed56ebeeca618219b5a66879f1464cabcf7e6ffaeff13de93"
}
],
"comparisons": [
{
"relative_error": "8.87679348172501e-126",
"agreement_digits": "125.051743884",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.24172764241759e-136",
"agreement_digits": "135.204695186",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.62686250110646e-146",
"agreement_digits": "145.334713406",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.62686250110646e-146",
"agreement_digits": "145.334713406",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.331113392290202"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m219-57-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383804514810455918249490301000109360370717545194831949095284716112372682510785808430185433811785870446479513488141438445513",
"isolation": {
"lower": "1380954724684019683786333406329675451012658083265410154382572957815600022001952906680786601321862693225380713470116857509113846797512260997235570877889/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "690477362342009841893166703164837725506329041632705077191286478907800011000976453340393300660931346612690356735058428754556923398756130498617785438945/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 26,
"last_term": "6.36456310055722e-139",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3956806bc5ef7b507bc960beb72d61dca070475de5da1b40b3d5bc3d52bdc01d"
},
{
"working_digits": 145,
"value": "-1.938380451481045591824949030100010936037071754519483194909528471611237268251078580843018543381178587044647951348814143844551288945790795810048087",
"isolation": {
"lower": "101896473534504582224893044870480972708629432761893222522828708064079851429036612805440174324012535722776737357926282165326343123394691185674942344187500232984034161135449/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50948236767252291112446522435240486354314716380946611261414354032039925714518306402720087162006267861388368678963141082663171561697345592837471172093750116492017080567725/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 30,
"last_term": "3.35435624543396e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "0516d9838403cb266ac3252ea68028486e99cc6c80fc8693c7d94eeb4baa3db8"
}
],
"comparisons": [
{
"relative_error": "5.70280679200197e-126",
"agreement_digits": "125.243911342",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.1615735496087e-135",
"agreement_digits": "134.665229983",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.66662538636964e-145",
"agreement_digits": "144.778162007",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.66662538636964e-145",
"agreement_digits": "144.778162007",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0446479513488141"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m228-33-6-2",
"readings": [
{
"working_digits": 125,
"value": "-1.9221210014357145814008278490080908854841734544921228691082204671287218776431599379783278633743563086753017847907001403491069",
"isolation": {
"lower": "1367283713294907256114900182163318925288279347940757054069060752421188600669332476157315329366675308939247641400655730230003191697648191942106507532721/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "683641856647453628057450091081659462644139673970378527034530376210594300334666238078657664683337654469623820700327865115001595848824095971053253766361/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 67,
"last_term": "2.64080869339794e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b522a67acc93bd25186936d617a7164761fbdea5069fd2d95b22d257d068efdd"
},
{
"working_digits": 145,
"value": "-1.922121001435714581400827849008090885484173454492122869108220467128721877643159937978327863374356308675301784790700140349106909844851039979451517",
"isolation": {
"lower": "50443865470604840192242220140908554018005948394712293638944354814761165302989605943334147815370930322128414136183835839427644160128066818202887269911937264434175357309171/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "100887730941209680384484440281817108036011896789424587277888709629522330605979211886668295630741860644256828272367671678855288320256133636405774539823874528868350714618343/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 77,
"last_term": "1.99386499181e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "41d8744761cedee905cddad316e7e1acfc19ffa5a54b19720d1ce4ead814cca1"
}
],
"comparisons": [
{
"relative_error": "5.12186851536709e-126",
"agreement_digits": "125.290571575",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.06905251982843e-137",
"agreement_digits": "136.971000958",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.15575996018856e-145",
"agreement_digits": "144.937132355",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.15575996018856e-145",
"agreement_digits": "144.937132355",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.3246982152093"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m243-63-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383886881388410558965134616060991865284509861148135950774302189233183971153119612104863416952154924589790199899788342819164",
"isolation": {
"lower": "690479314276630753552935174252919617901145888260813070393132025069443800070627848508895055107713321052556369522006649496391745076360521765264958037083/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380958628553261507105870348505839235802291776521626140786264050138887600141255697017790110215426642105112739044013298992783490152721043530529916074167/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 24,
"last_term": "7.10152527684022e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6974f9d0ba06218cde77b022e255709e7bf883a13ba43c399878953a3874c7da"
},
{
"working_digits": 145,
"value": "-1.938388688138841055896513461606099186528450986114813595077430218923318397115311961210486341695215492458979019989978834281916416180361013923812891",
"isolation": {
"lower": "12737095198651473348771685839622050058897788321783334377702655306927618416048827606431496649631308758435477371996042197589585824086390736172580513562308447082637367882193/471745303102692669030194322623533611364615152552055053547025787530703020299018606510765840647207345942683546878845480612471323078740599079070179281429087005456174415872",
"upper": "101896761589211786790173486716976400471182306574266675021621242455420947328390620851451973197050470067483818975968337580716686592691125889380644108498467576661098943057545/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 28,
"last_term": "1.34914842173068e-159",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "25c32f95fbf3d5fa45c01d5b9ef164532e997b8b8b2b3e3c9e8a3bf044803cc2"
}
],
"comparisons": [
{
"relative_error": "8.34732533930515e-126",
"agreement_digits": "125.078452659",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.02426526475837e-135",
"agreement_digits": "134.693732577",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.81168059434148e-146",
"agreement_digits": "145.107255523",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "7.81168059434148e-146",
"agreement_digits": "145.107255523",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.458979019989979"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m288-27-12-4",
"readings": [
{
"working_digits": 125,
"value": "-1.6257109071534836287755488682043406133351644800052770021961542880145745717294110687213692314379784205863979569080658674629122",
"isolation": {
"lower": "1998374692654511601683687601216074186671447731917055062266992471131394598808442046628188722739812638127729598828328191302390538662098380298151033312365/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"upper": "999187346327255800841843800608037093335723865958527531133496235565697299404221023314094361369906319063864799414164095651195269331049190149075516656183/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 399,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "f919ecf759a00ccb6b8ac13982355c5186240ed53692a72cdb1e388fd83b2229"
},
{
"working_digits": 145,
"value": "-1.625710907153483628775548868204340613335164480005277002196154288014574571729411068721369231437978420586397956908065867462912204982209665032375023",
"isolation": {
"lower": "73727013037551517035229626230363225907183706102797679593459141015542404102289911143841463369106915525772399598107769117331709589026617995757239860610483716254276518563431/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "147454026075103034070459252460726451814367412205595359186918282031084808204579822287682926738213831051544799196215538234663419178053235991514479721220967432508553037126863/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3ab6d22b3174cb20bc95bc16746f90f438b184a609b1606e171c0cfb291f7dca"
}
],
"comparisons": [
{
"relative_error": "3.0646344581374e-126",
"agreement_digits": "125.51362132",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.05566319026425e-135",
"agreement_digits": "134.514894517",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.24670486690003e-145",
"agreement_digits": "144.648453974",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.24670486690003e-145",
"agreement_digits": "144.648453974",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.413602043091934"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m288-27-24-8",
"readings": [
{
"working_digits": 125,
"value": "-0.39927119126020144055880428910235341108494606393438818675731982622877900276441953632375752286285542720103319775678106524478894",
"isolation": {
"lower": "776443694006901799090056245077708394949958916325336103563601530887177823136437263724492282636037584205066618048948640257847283053982710420031987018829/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688",
"upper": "1552887388013803598180112490155416789899917832650672207127203061774355646272874527448984565272075168410133236097897280515694566107965420840063974037659/3273390607896141870013189696827599152216642046043064789483291368096133796404674554883270092325904157150886684127560071009217256545885393053328527589376",
"bisections": 404,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "8e4b4f5a42842ea7553963419dc91d0d2ee775fabb7631d21e89595dc23fcdf3"
},
{
"working_digits": 145,
"value": "-0.399271191260201440558804289102353411084946063934388186757319826228779002764419536323757522862855427201033197756781065244788939515495265885039662",
"isolation": {
"lower": "14322858110990968261273138518821509497191277808531406296357031732453470765660187303031937168608898800563980260774039247782139835211167098857363244424592334861818137022579/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808",
"upper": "114582864887927746090185108150572075977530222468251250370856253859627766125281498424255497348871190404511842086192313982257118681689336790858905955396738678894545096180633/241533595188578646543459493183249209018682958106652187416077203215719946393097526533512110411370161122653976001968886073585317416315186728483931792091692546793561300926464",
"bisections": 470,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "78aa83f7137990215df632819920732359139ef2c5ca9c2d37ac230ca71a35ab"
}
],
"comparisons": [
{
"relative_error": "1.21347280925964e-126",
"agreement_digits": "125.915969951",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.87925451463593e-136",
"agreement_digits": "135.540719944",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.50818640333863e-147",
"agreement_digits": "146.345998135",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.50818640333863e-147",
"agreement_digits": "146.345998135",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0103319775678107"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m291-75-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383940498462755878705551713399311418577253938921407360811230921090036479869238004487269727407954581646280392308615036764652",
"isolation": {
"lower": "690480506008987319409980772880218675422828774141256715817548638656092290802072304223751785427803992978040678044252997816357018049332139873307472353023/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380961012017974638819961545760437350845657548282513431635097277312184581604144608447503570855607985956081356088505995632714036098664279746614944706047/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 22,
"last_term": "3.54059447119428e-140",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e8cb2b9076ef940f79bb41b97f9be82a9bd121949af1349d1668993c36d193cc"
},
{
"working_digits": 145,
"value": "-1.938394049846275587870555171339931141857725393892140736081123092109003647986923800448726972740795458164628039230861503676465232336755110715248704",
"isolation": {
"lower": "101896937457866074223307162737463944109808524750909845018096307315981468387289200377925587626194542254452712571316373078411209594135298129649490992820723756177646520799583/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "3184279295558314819478348835545748253431516398465932656815509603624420887102787511810174613318579445451647267853636658700350299816728066551546593525647617380551453774987/117936325775673167257548580655883402841153788138013763386756446882675755074754651627691460161801836485670886719711370153117830769685149769767544820357271751364043603968",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 25,
"last_term": "3.12689839863153e-159",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "43a23969fac9aec3c5776b109f91e2cf0950ea46ca3f1c9b8013def7ae511e19"
}
],
"comparisons": [
{
"relative_error": "1.66822401839707e-125",
"agreement_digits": "124.77774563",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.68990352635845e-136",
"agreement_digits": "135.432984988",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.51740170363377e-146",
"agreement_digits": "145.258265395",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.51740170363377e-146",
"agreement_digits": "145.258265395",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.164628039230862"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m315-27-15-5",
"readings": [
{
"working_digits": 125,
"value": "-1.3872577410251634142803266775177885063327996521928279684299975772732880847976790811868585635120179142614172945671896813849806",
"isolation": {
"lower": "348417780788843560343463384140207979078106924002057278823457342889309048789512056146190147393593595920015511015698953109006191158301649912065560819093/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1393671123155374241373853536560831916312427696008229115293829371557236195158048224584760589574374383680062044062795812436024764633206599648262243276373/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"bisections": 399,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "4e4f3d3c9b0597757b252824a28c03b1f6acf8200dd977f33b9309250780eb7d"
},
{
"working_digits": 145,
"value": "-1.387257741025163414280326677517788506332799652192827968429997577273288084797679081186858563512017914261417294567189681384980614057831006277994113",
"isolation": {
"lower": "12854347265883267221383717457387603396599780493052353012179138165650874254354749381937594892507562030069411267858417771604239746435419064703788405475203115090452764445081/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"upper": "102834778127066137771069739659100827172798243944418824097433105325206994034837995055500759140060496240555290142867342172833917971483352517630307243801624920723622115560649/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b9353489e003fda328d264b8916d78aa8de36188625889199c946c8e1dda4565"
}
],
"comparisons": [
{
"relative_error": "1.01335394213691e-125",
"agreement_digits": "124.994238839",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.68299521922256e-135",
"agreement_digits": "134.571380101",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.06087755165528e-145",
"agreement_digits": "144.97433474",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.06087755165528e-145",
"agreement_digits": "144.97433474",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.26141729456719"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m315-27-21-7",
"readings": [
{
"working_digits": 125,
"value": "-0.76518727604480103591999749751305281305160429176778574500507780798119624080854331255008704767812442699375935304918063192126593",
"isolation": {
"lower": "1197580004329402526096226129676119964432462393952492711429561081825503170466597494643005974105099501562374046289672118129248019860159869070668117400101/409173825987017733751648712103449894027080255755383098685411421012016724550584319360408761540738019643860835515945008876152157068235674131666065948672",
"upper": "598790002164701263048113064838059982216231196976246355714780540912751585233298747321502987052549750781187023144836059064624009930079934535334058700051/204586912993508866875824356051724947013540127877691549342705710506008362275292159680204380770369009821930417757972504438076078534117837065833032974336",
"bisections": 401,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "67ed277d0d6dea5bde9fe4314cc2033fce7abe74e06be73f289aca62a096d153"
},
{
"working_digits": 145,
"value": "-0.7651872760448010359199974975130528130516042917677857450050778079811962408085433125500870476781244269937593530491806319212659264387003944441000981",
"isolation": {
"lower": "88365807390625860861032006975907019141378451807245808730508700295116541463309639933600869720289327766179620733509655262221429655324564731873518567671312611382896658015693/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808",
"upper": "176731614781251721722064013951814038282756903614491617461017400590233082926619279867201739440578655532359241467019310524442859310649129463747037135342625222765793316031387/60383398797144661635864873295812302254670739526663046854019300803929986598274381633378027602842540280663494000492221518396329354078796682120982948022923136698390325231616",
"bisections": 468,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "df9cf1e2896a5a10232991595e8b771a796b52a0bdefa6b4c7b177d471c1d9c5"
}
],
"comparisons": [
{
"relative_error": "4.65415424046778e-126",
"agreement_digits": "125.332159228",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.80380923733497e-136",
"agreement_digits": "135.236286871",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.9623423672637e-146",
"agreement_digits": "145.402048002",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.9623423672637e-146",
"agreement_digits": "145.402048002",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0624064695081937"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m315-81-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383948594864970122844026439507171969598040594082619656563781321354916796304828714611052127163258864609397085733990196330401",
"isolation": {
"lower": "345240336658554559842263073799363125466736310145499707431978238443214219176171502202390709374908824176256126431115462817016213889590127785806815303467/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"upper": "1380961346634218239369052295197452501866945240581998829727912953772856876704686008809562837499635296705024505724461851268064855558360511143227261213869/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 21,
"last_term": "2.16612165618765e-140",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "52f890cf610cd542f47dd6a74ed8f55289a9199cac076759a5f02da29038c590"
},
{
"working_digits": 145,
"value": "-1.938394859486497012284402643950717196959804059408261965656378132135491679630482871461105212716325886460939708573399019633040083215943912311217102",
"isolation": {
"lower": "50948481074093454322414812797403278359917910026208959990429561065625840110572644596272703541381750193512837708960321678700352131496789863965638435762423457045429067896893/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896962148186908644829625594806556719835820052417919980859122131251680221145289192545407082763500387025675417920643357400704262993579727931276871524846914090858135793787/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 24,
"last_term": "2.17618543450315e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "0a4f5be490c0c62933d3c371d99a166cb41373dd35ab4b6704b06cccca06d4d5"
}
],
"comparisons": [
{
"relative_error": "8.65873947485347e-126",
"agreement_digits": "125.062545327",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.19233555056593e-135",
"agreement_digits": "134.923601507",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.87579688784613e-146",
"agreement_digits": "145.311954394",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.87579688784613e-146",
"agreement_digits": "145.311954394",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.460939708573399"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m32-8-8-3",
"readings": [
{
"working_digits": 125,
"value": "0.36247629137064212209812080959135668622977802763354470565273145604566431509108938255859591137328167589815603439392328839999559",
"isolation": {
"lower": "-1580660006719719148251287809756601028927080118874498013395456593446663480017313330177582164106527239465132759401462435681933712173438066451421395831749/3273390607896141870013189696827599152216642046043064789483291368096133796404674554883270092325904157150886684127560071009217256545885393053328527589376",
"upper": "-395165001679929787062821952439150257231770029718624503348864148361665870004328332544395541026631809866283189850365608920483428043359516612855348957937/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344",
"bisections": 404,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "Theorem 1 real part of 4F3 continuation; avoids inconsistent printed negative-argument 3F2 prefactor",
"extra_working_digits": 30,
"arithmetic_working_digits": 155,
"source_caveat": "Printed post-Theorem-1 3F2 coefficient disagrees with Theorem 1 by a factor of four for negative k",
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ac7feb45161b7c980e6e567fbb96a841a759e0467230e68f4a38b66fc44036ad"
},
{
"working_digits": 145,
"value": "0.3624762913706421220981208095913566862297780276335447056527314560456643150910893825585959113732816758981560343939232883999955866843221191709963121",
"isolation": {
"lower": "-58316061223013358464687198599905152884960427117573508207923571373769092129145727385783348409216879373462106037115132276071402564431337455645759256622413671802805442080393/120766797594289323271729746591624604509341479053326093708038601607859973196548763266756055205685080561326988000984443036792658708157593364241965896045846273396780650463232",
"upper": "-116632122446026716929374397199810305769920854235147016415847142747538184258291454771566696818433758746924212074230264552142805128862674911291518513244827343605610884160785/241533595188578646543459493183249209018682958106652187416077203215719946393097526533512110411370161122653976001968886073585317416315186728483931792091692546793561300926464",
"bisections": 470,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "Theorem 1 real part of 4F3 continuation; avoids inconsistent printed negative-argument 3F2 prefactor",
"extra_working_digits": 30,
"arithmetic_working_digits": 175,
"source_caveat": "Printed post-Theorem-1 3F2 coefficient disagrees with Theorem 1 by a factor of four for negative k",
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "0972940bcd8beba2979324ab24a06bb78ffde0327ece2283a110bb980b901e1c"
}
],
"comparisons": [
{
"relative_error": "9.14729586393453e-126",
"agreement_digits": "125.038707274",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.71744817994597e-136",
"agreement_digits": "135.326292862",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.66045632624906e-146",
"agreement_digits": "145.015002359",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.66045632624906e-146",
"agreement_digits": "145.015002359",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0184396560607671"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m35-11-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.8658046209686745013986961494321557928034561579443093506737489579928251324389127053539166617703961307139089252728804325382664",
"isolation": {
"lower": "653384138496794259389607024383142293018028853892269840804180955037013187461411646482588899989908829011696142312031291086394329299988150084050085871457/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1306768276993588518779214048766284586036057707784539681608361910074026374922823292965177799979817658023392284624062582172788658599976300168100171742915/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 106,
"last_term": "5.08378575224881e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7503fd29891eb804f57589298f4523c622c3286ee7e774ea412988c18d5c04dc"
},
{
"working_digits": 145,
"value": "-1.865804620968674501398696149432155792803456157944309350673748957992825132438912705353916661770396130713908925272880432538266383870247387081040043",
"isolation": {
"lower": "192844959754744966483757218438533046601631408957585592908561064662386749562073108047078778559798113939734055267029510657871201660612546216019649824918950378744322977593909/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"upper": "96422479877372483241878609219266523300815704478792796454280532331193374781036554023539389279899056969867027633514755328935600830306273108009824912459475189372161488796955/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 121,
"last_term": "3.82178398866288e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "2c5151615881d839c1d5ad831418385706f8903ddb07f9e3c90ccdb024fdc40e"
}
],
"comparisons": [
{
"relative_error": "8.64493121715222e-126",
"agreement_digits": "125.063238458",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.56445102782764e-135",
"agreement_digits": "134.805638027",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.625655221809e-146",
"agreement_digits": "145.249826888",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.625655221809e-146",
"agreement_digits": "145.249826888",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.28609107472712"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m363-93-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383954584522273259130644019685588241583784086590838026803616499042008003672628888295083313758842834444281987390850819227762",
"isolation": {
"lower": "1380961582058525332212449779297745435034226849518583229827216680508396240743344371212078683628662261860060155435199106984674252294910667056778647293371/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "345240395514631333053112444824436358758556712379645807456804170127099060185836092803019670907165565465015038858799776746168563073727666764194661823343/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 19,
"last_term": "2.72942478963851e-138",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ff7b3a24000e9edac59bbefbcda67b906ef17a98bef46dd7a00680022299760d"
},
{
"working_digits": 145,
"value": "-1.938395458452227325913064401968558824158378408659083802680361649904200800367262888829508331375884283444428198739085081922776185455293076977591437",
"isolation": {
"lower": "101896979519434675333175628796476497208799957228318187098235622672037575908418628592168357292298808082294834718074954845962757499998329994174213755270913426246236847678209/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50948489759717337666587814398238248604399978614159093549117811336018787954209314296084178646149404041147417359037477422981378749999164997087106877635456713123118423839105/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 22,
"last_term": "4.47719228154375e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "95166893725cf892651fbb20e13c6514c463327a5c8a03d80083863014397a60"
}
],
"comparisons": [
{
"relative_error": "7.50347761061929e-126",
"agreement_digits": "125.124737409",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.55923217309503e-135",
"agreement_digits": "134.807089213",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.29408612745814e-145",
"agreement_digits": "144.888036818",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.29408612745814e-145",
"agreement_digits": "144.888036818",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.444428198739085"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m372-51-6-2",
"readings": [
{
"working_digits": 125,
"value": "-1.9361307905609220826455390546898408887041751934672281525408521345992713346367318388790133521240639905788937803585449498819756",
"isolation": {
"lower": "1379428900786100774812923540854462245991736553156575631175752070456655271681261474566716097749051697848585164390647167120745836553514802071125436291195/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "344857225196525193703230885213615561497934138289143907793938017614163817920315368641679024437262924462146291097661791780186459138378700517781359072799/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 46,
"last_term": "1.33300258124543e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b2865608b3edf4db1c1207df495f9b8f67083dabb0f18767ae29bec118ba641d"
},
{
"working_digits": 145,
"value": "-1.93613079056092208264553905468984088870417519346722815254085213459927133463673183887901335212406399057889378035854494988197559148794731724339324",
"isolation": {
"lower": "25445971900679685514270886486166586787948059976372937159306056667140758897898380457103168535423364355630028827334908613425868088499323197875119564633632583397822015468263/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"upper": "101783887602718742057083545944666347151792239905491748637224226668563035591593521828412674141693457422520115309339634453703472353997292791500478258534530333591288061873053/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 53,
"last_term": "2.2915473669461e-158",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e2568412ddea68de09ce1901368ca0174077927de88c8196a8939d617c4a9c57"
}
],
"comparisons": [
{
"relative_error": "4.3964244173249e-126",
"agreement_digits": "125.356900389",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.42377094225198e-135",
"agreement_digits": "134.846559875",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.10123630380221e-145",
"agreement_digits": "144.95811948",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.10123630380221e-145",
"agreement_digits": "144.95811948",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.421106219641455"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m387-99-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383955621707115423417443369068201872242324364196446077342824300817096374241200436675601690913878482588238771227905274532643",
"isolation": {
"lower": "690480810281307716743071485890451582494985008399591080597318368889578803356115393270486445131795811527232376464396034595785731569439876294582709773543/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380961620562615433486142971780903164989970016799182161194636737779157606712230786540972890263591623054464752928792069191571463138879752589165419547087/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 18,
"last_term": "4.38510726581374e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "899454c531d1757e372767bcc98a65ddd54d93a78e83f821ccfa4d82604202d1"
},
{
"working_digits": 145,
"value": "-1.938395562170711542341744336906820187224232436419644607734282430081709637424120043667560169091387848258823877122790527453264322398407117454752247",
"isolation": {
"lower": "25474245590133764722543016202346614972599852750496171812475902691969757752375877809194175636678686544771119939378962814864691934835931397183570167926107085252520563245179/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"upper": "101896982360535058890172064809386459890399411001984687249903610767879031009503511236776702546714746179084479757515851259458767739343725588734280671704428341010082252980717/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 21,
"last_term": "1.01625233011993e-158",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7665843f00d7ddac3c1ac34a6cee179d45d684e3e85cd4994124bca69b3bbae9"
}
],
"comparisons": [
{
"relative_error": "1.15551271136692e-125",
"agreement_digits": "124.937225273",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.31306932530825e-135",
"agreement_digits": "134.881712344",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.58592483183305e-145",
"agreement_digits": "144.799717401",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.58592483183305e-145",
"agreement_digits": "144.799717401",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.258823877122791"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m39-12-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.8844499726554562512454328681690431278951464315055098939832275727824138634984043718147560387273935771966835970082803748271928",
"isolation": {
"lower": "664006443303520334914990662106528851416664314316270981948395715929927045988906527615421813286781417278298161814170888740445944232413896109087454555137/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1328012886607040669829981324213057702833328628632541963896791431859854091977813055230843626573562834556596323628341777480891888464827792218174909110275/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 95,
"last_term": "7.04870822401784e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "965de6dcc1ecb16aa64f68dfbe5211dd9d788c9ea4ebed0b5ea534bf0d30a6f5"
},
{
"working_digits": 145,
"value": "-1.884449972655456251245432868169043127895146431505509893983227572782413863498404371814756038727393577196683597008280374827192836750382137469983304",
"isolation": {
"lower": "97990055383313368984068033497533997051171580833740790698168805400194915422110532722274624819082551460514179472327508413816304823616873574591215386549515522124441382326125/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "195980110766626737968136066995067994102343161667481581396337610800389830844221065444549249638165102921028358944655016827632609647233747149182430773099031044248882764652251/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 109,
"last_term": "8.70852460153069e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "edc52adfa8673879f2297ab7d353946f75ec057d8c54cd2a97f2000fe5997b13"
}
],
"comparisons": [
{
"relative_error": "1.95019144422728e-125",
"agreement_digits": "124.709922753",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.34257567603923e-135",
"agreement_digits": "134.872061225",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.79134016860388e-146",
"agreement_digits": "145.237220925",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.79134016860388e-146",
"agreement_digits": "145.237220925",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.19668359700828"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m43-13-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.8977931842571021337530220859421997316330160937230309148220376912018615233445745418162641438262409568976543007878689005933627",
"isolation": {
"lower": "671301925081413152185262297330001913302606050141179858352369741232380240715962266205988196636929368537988061585811284903838843258128821151074961870033/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1342603850162826304370524594660003826605212100282359716704739482464760481431924532411976393273858737075976123171622569807677686516257642302149923740067/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 86,
"last_term": "4.34857219804296e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "b339405a49f05711b8e33d946ace6d2b6f1284a0a64e7272c7ce26c97eac8cf0"
},
{
"working_digits": 145,
"value": "-1.897793184257102133753022085942199731633016093723030914822037691201861523344574541816264143826240956897654300787868900593362692995500596255420682",
"isolation": {
"lower": "198133356930645943572850590638708533019966133660203302162841716259576463494886839071255055782427463612774767186028996594933175627097905543623121610218476664076223083125175/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"upper": "24766669616330742946606323829838566627495766707525412770355214532447057936860854883906881972803432951596845898253624574366646953387238192952890201277309583009527885390647/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 99,
"last_term": "2.11154289007175e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "018e309f137fd507ecbf5a0d10fc052469cbc511acfc66303854383aada6a3b1"
}
],
"comparisons": [
{
"relative_error": "3.69086550728999e-126",
"agreement_digits": "125.43287178",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.97312296675037e-135",
"agreement_digits": "134.704845848",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.78403143169667e-145",
"agreement_digits": "144.748597498",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.78403143169667e-145",
"agreement_digits": "144.748597498",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.102345699212131"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m435-111-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956462548267366961394496765807354137930709083466371340578656178987164969240778105839799609826611105974654168468865293617",
"isolation": {
"lower": "1380961650513377443455290564283842226193423350846642332155030465919091640559673937254385182575435699272112852158183915951193501776640920312352568376127/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "21577525789271522553988915066935034784272239856978786439922351029985806883744905269599768477741182801126763314971623686737398465260014379880508880877/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 17,
"last_term": "1.14925500166691e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3937a6420dbdb9ec6e7be1bf8d53d8cd6cc838efa5e4d5a84467f237a1bd9cd5"
},
{
"working_digits": 145,
"value": "-1.938395646254826736696139449676580735413793070908346637134057865617898716496924077810583979960982661110597465416846886529361725496570258158087487",
"isolation": {
"lower": "101896984570511225332106272207269768477351238732378720159188302397128171390640544014684446186177491881293254448234888431999269485450973571741877941752051068201567819976327/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "12737123071313903166513284025908721059668904841547340019898537799641021423830068001835555773272186485161656806029361053999908685681371696467734742719006383525195977497041/471745303102692669030194322623533611364615152552055053547025787530703020299018606510765840647207345942683546878845480612471323078740599079070179281429087005456174415872",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 20,
"last_term": "6.37921721699133e-162",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "dd747496f928d1019718b25602dd9fe64aa150b171e2e3fcf916703b954d377c"
}
],
"comparisons": [
{
"relative_error": "1.31534397053667e-125",
"agreement_digits": "124.880960662",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.50225263123531e-136",
"agreement_digits": "135.022173427",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.28393760906766e-145",
"agreement_digits": "144.641315764",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.28393760906766e-145",
"agreement_digits": "144.641315764",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.110597465416847"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m435-33-15-5",
"readings": [
{
"working_digits": 125,
"value": "-1.6064816739987181048729826412264050948834629019034450534386868930472494247166983538036795861569513120623468455559649235173096",
"isolation": {
"lower": "1947802698039735249039891801265763289095391855760689748182582070293651169483821726961144193808891310465117051874052886467600100768005633539040604565363/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"upper": "486950674509933812259972950316440822273847963940172437045645517573412792370955431740286048452222827616279262968513221616900025192001408384760151141341/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 399,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "0ddf8575cadbdaccb7a479e23351fa44848c8357304b16223b9a2e25cb1a15fb"
},
{
"working_digits": 145,
"value": "-1.606481673998718104872982641226405094883462901903445053438686893047249424716698353803679586156951312062346845555964923517309552420018819259459703",
"isolation": {
"lower": "143722471507279845903036228814915722107978713736468339952348578588492253004938770772226586202654878831798867497671200566884536477755843406634434098988725203880232769579171/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"upper": "35930617876819961475759057203728930526994678434117084988087144647123063251234692693056646550663719707949716874417800141721134119438960851658608524747181300970058192394793/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "72a5a55194ed86fe0f9ffb16bca83600d5351822f3f64b5c7e87d221bf809791"
}
],
"comparisons": [
{
"relative_error": "2.96175063499532e-125",
"agreement_digits": "124.52845151",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "4.60970273726628e-136",
"agreement_digits": "135.33632708",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.23670172302115e-145",
"agreement_digits": "144.489897321",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.23670172302115e-145",
"agreement_digits": "144.489897321",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0623468455559649"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m483-123-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956712651682747220115291989507626273840133253731600164105587222792885874857572451291931895373425548526742962292997871191",
"isolation": {
"lower": "1380961658935151964123219727441532817755739215267951407347913336171327674422429988758767108207765951602880645146612807965265599657536956022536551039631/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "86310103683446997757701232965095801109733700954246962959244583510707979651401874297422944262985371975180040321663300497829099978596059751408534439977/3196670515523576044934755563308202297086564498088930458479776726656380660551439995003193449537015778467662777468320381844938727095591204153641140224",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 16,
"last_term": "1.04460230735395e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "3c15310040e54c9add42638d7e12ed4e255e3d9ab60986fc92d26a01e957fa86"
},
{
"working_digits": 145,
"value": "-1.938395671265168274722011529198950762627384013325373160016410558722279288587485757245129193189537342554852674296229299787119107086218512384156897",
"isolation": {
"lower": "101896985191928502249103160256831902162799562749333487935260303108117125890404603590580803381158405024392442341177191133512208260686050205573608684166763508357790761912651/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "25474246297982125562275790064207975540699890687333371983815075777029281472601150897645200845289601256098110585294297783378052065171512551393402171041690877089447690478163/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 19,
"last_term": "1.69444144401494e-163",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "59ea991eafc74fad8cdf765d3575785b911fe06f11cc8ad4a184277b40408d85"
}
],
"comparisons": [
{
"relative_error": "3.6557131329947e-126",
"agreement_digits": "125.437027891",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.22996400185102e-135",
"agreement_digits": "134.910107599",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.46968862895085e-145",
"agreement_digits": "144.832774666",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.46968862895085e-145",
"agreement_digits": "144.832774666",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.445147325703771"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m483-33-21-7",
"readings": [
{
"working_digits": 125,
"value": "-1.180634857703627126187586399568743564925010268164733142573912433121146816149451140626744766870233194259025166198790151488726",
"isolation": {
"lower": "469116490519650227463362143366168909911763189446913859659109286279095486018333682271538712844382422678588293906540848866226640566020720815978587765185/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "1876465962078600909853448573464675639647052757787655438636437145116381944073334729086154851377529690714353175626163395464906562264082883263914351060741/204586912993508866875824356051724947013540127877691549342705710506008362275292159680204380770369009821930417757972504438076078534117837065833032974336",
"bisections": 400,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "455fff342670d2f5607c90a36078afeae2f25177e0aba014645d67890538edc1"
},
{
"working_digits": 145,
"value": "-1.180634857703627126187586399568743564925010268164733142573912433121146816149451140626744766870233194259025166198790151488726012390208477643082693",
"isolation": {
"lower": "8653671841372780887433343941443848797250377397666284377289599902462083083709690051901385997635161271396920899161251792295524064018986977543211894696801621137051450541665/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744",
"upper": "138458749461964494198933503063101580756006038362660550036633598439393329339355040830422175962162580342350734386580028676728385024303791640691390315148825938192823208666641/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904",
"bisections": 466,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9dff5cb49ae4b9e199e5b7ba3ee175e58d65b6714a038da81420a7bfa6fb310d"
}
],
"comparisons": [
{
"relative_error": "1.04945304611304e-125",
"agreement_digits": "124.979036988",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.99631350169034e-135",
"agreement_digits": "134.699771256",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.17324875121748e-145",
"agreement_digits": "144.498495882",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.17324875121748e-145",
"agreement_digits": "144.498495882",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.25902516619879"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m507-129-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956763049812585889521642820323803579686124089238060919893842037597635309250617775127331146314596529313907366103611841325",
"isolation": {
"lower": "345240415140643843050799313664834172435203135437336717343370952425590687528340717296967333449702390220010501494254292045694680089240133998450088334005/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"upper": "1380961660562575372203197254659336689740812541749346869373483809702362750113362869187869333798809560880042005977017168182778720356960535993800353336021/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 16,
"last_term": "1.27339824831784e-141",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7af40444d78ad9857a770f82f27a15d43aa7fd1930bfa007281267d51ab592b0"
},
{
"working_digits": 145,
"value": "-1.938395676304981258588952164282032380357968612408923806091989384203759763530925061777512733114631459652931390736610361184132459026788563977134724",
"isolation": {
"lower": "101896985312011154682765266934022283231992278153650054297550936912388065197895218214602975055113192540053745122185024835535166923836482544152933111236711589641295580660063/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "3184280791000348583836414591688196350999758692301564196798466778512127037434225569206342970472287266876679535068282026110473966369890079504779159726147237176290486895627/117936325775673167257548580655883402841153788138013763386756446882675755074754651627691460161801836485670886719711370153117830769685149769767544820357271751364043603968",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 18,
"last_term": "2.62548325370105e-159",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "10a63c49bc4620f2304251248c55a40419ade38dc2d36fc0f09899997af98823"
}
],
"comparisons": [
{
"relative_error": "2.11376923385049e-125",
"agreement_digits": "124.674942428",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.0517661964565e-135",
"agreement_digits": "134.68787213",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.54780555932602e-146",
"agreement_digits": "145.183904226",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.54780555932602e-146",
"agreement_digits": "145.183904226",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.34706860926339"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m555-141-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956808569418278167253700367797484132340828615278525324365387910393748465723453207789686105232999306148868934400876714816",
"isolation": {
"lower": "1380961661986150058870384378141158770252605054383580697657755607113047004346945779635105468811257532089400736849653431625715116615775682994333717173651/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "345240415496537514717596094535289692563151263595895174414438901778261751086736444908776367202814383022350184212413357906428779153943920748583429293413/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 15,
"last_term": "7.32448432340763e-140",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": true,
"numerical_cache_fingerprint": "b5ae7155236081a9c35095e1a6359be3ac5480a1d21a155f3b218484cc2c4134"
},
{
"working_digits": 145,
"value": "-1.938395680856941827816725370036779748413234082861527852532436538791039374846572345320778968610523299930614886893440087671481555648759641131059569",
"isolation": {
"lower": "50948492708526213170904365293194375345120850562610937095166091591769168748735101785509160624256840422944451458978766562498066846537071133447208953638507300461086330726797/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896985417052426341808730586388750690241701125221874190332183183538337497470203571018321248513680845888902917957533124996133693074142266894417907277014600922172661453595/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 17,
"last_term": "1.68734512506317e-158",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": true,
"numerical_cache_fingerprint": "9d29409695b9f6c6d20ae4986826f9c2d93ab270800dfa8b65fc5854109cbfaf"
}
],
"comparisons": [
{
"relative_error": "2.28803854635405e-125",
"agreement_digits": "124.640536663",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.83502935014781e-136",
"agreement_digits": "135.233956955",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.60399799542821e-146",
"agreement_digits": "145.251502029",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.60399799542821e-146",
"agreement_digits": "145.251502029",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0693851131065599"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m555-39-15-5",
"readings": [
{
"working_digits": 125,
"value": "-1.7285439430361359433146446604032913968697889507157180111321978174519202931341984154769139694405389713505505683615940240996247",
"isolation": {
"lower": "1134583036093458908127668979708855571571940524146218726539620708166073707942333519958426103027683911139926018702323413129901604216257314818164117359357/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "567291518046729454063834489854427785785970262073109363269810354083036853971166759979213051513841955569963009351161706564950802108128657409082058679679/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 178,
"last_term": "4.33348176646362e-136",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "ca35ca2eeadc9b97af92a6687a898d6389b253ab33968f7d379cd5328c8f0220"
},
{
"working_digits": 145,
"value": "-1.728543943036135943314644660403291396869788950715718011132197817451920293134198415476913969440538971350550568361594024099624726626653934977857054",
"isolation": {
"lower": "83717451588753613657277717496167487357492843348888990953280770462944931332690703523711674825327540147831058284168425924695290389561574934230007183364227192849310337258045/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "167434903177507227314555434992334974714985686697777981906561540925889862665381407047423349650655080295662116568336851849390580779123149868460014366728454385698620674516091/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 205,
"last_term": "2.20420031950977e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e5fad753d5967d958c26ce01394373074ad5a8f8f4b06d19cbd15d804c77f068"
}
],
"comparisons": [
{
"relative_error": "1.54040943201067e-125",
"agreement_digits": "124.812363831",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.87979780557765e-135",
"agreement_digits": "134.540638004",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.93799872629422e-145",
"agreement_digits": "144.712646513",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.93799872629422e-145",
"agreement_digits": "144.712646513",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.350550568361594"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m603-153-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956824161539974639055409080564843470193971216427572716991777064995369395195428965880745635750583074906117854827451117338",
"isolation": {
"lower": "690480831226439968266932521921203706851719779340860405336761374475677708781863295971936718252024898524421658187635670395322723952869933951295848538525/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"upper": "1380961662452879936533865043842407413703439558681720810673522748951355417563726591943873436504049797048843316375271340790645447905739867902591697077051/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 14,
"last_term": "7.14709844936762e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "57a76e65d93f7de79e2be3e59a2b19e17fe49638801eeec8b4cbc0ff720fbe9e"
},
{
"working_digits": 145,
"value": "-1.938395682416153997463905540908056484347019397121642757271699177706499536939519542896588074563575058307490611785482745111733835426816356664889558",
"isolation": {
"lower": "50948492725745506380528357288206790970738947377098850282707005476246621258382620303311667699578340824757050523783358511122950184592252732312995736682021256642834501803117/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896985451491012761056714576413581941477894754197700565414010952493242516765240606623335399156681649514101047566717022245900369184505464625991473364042513285669003606235/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 16,
"last_term": "2.01526366963803e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "81c4f86e9452e5c13c1e8e2e752610e8dffeb5472fadd135b0f144d929634fb6"
}
],
"comparisons": [
{
"relative_error": "1.82763595059737e-125",
"agreement_digits": "124.738110308",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.72055193490881e-135",
"agreement_digits": "134.764332214",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.965869497115e-145",
"agreement_digits": "144.706445316",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.965869497115e-145",
"agreement_digits": "144.706445316",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.307490611785483"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m627-159-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956827638752624617805191306454864968863220354472974781016784638114932060091489605634564697318866464019096094248448279271",
"isolation": {
"lower": "1380961662553581074302471586335823034179424215681863840119707940876025063341020546583896699762918056412888812240164458856569263052068835423267304375113/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "690480831276790537151235793167911517089712107840931920059853970438012531670510273291948349881459028206444406120082229428284631526034417711633652187557/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 14,
"last_term": "6.05159699719039e-140",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "2aaf16347a4fe3d9ff35e26000f2eb20ee30e22f62320cfa6fef2c825113b171"
},
{
"working_digits": 145,
"value": "-1.938395682763875262461780519130645486496886322035447297478101678463811493206009148960563456469731886646401909609424844827927123095801719281144483",
"isolation": {
"lower": "101896985458921445226452121929398344520819347287096516530031364393979016671528145539271361326054705380851926647210432015644002728828691652186772510376545717147638876867081/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "50948492729460722613226060964699172260409673643548258265015682196989508335764072769635680663027352690425963323605216007822001364414345826093386255188272858573819438433541/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 16,
"last_term": "6.19334461452059e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e6692ee3c44dc3f86f5dfe1ed2594cc2ddb378b1ccd086ee267f1e6991fb4d7e"
}
],
"comparisons": [
{
"relative_error": "1.19149056741345e-125",
"agreement_digits": "124.923909391",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.70850762510477e-136",
"agreement_digits": "135.430800824",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.78736090578509e-145",
"agreement_digits": "144.747787745",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.78736090578509e-145",
"agreement_digits": "144.747787745",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.353598090390575"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m627-39-33-11",
"readings": [
{
"working_digits": 125,
"value": "-0.5437872510055009646909078986597439717364437945941266194799208780612905330083469944044245414510603206527724849851100246830854",
"isolation": {
"lower": "1862233863797468280731289425849595471448922092444855932147946074514799816314294212807403801110636923912763720035735135714110531544736682694994937993385/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688",
"upper": "931116931898734140365644712924797735724461046222427966073973037257399908157147106403701900555318461956381860017867567857055265772368341347497468996693/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344",
"bisections": 403,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6d444800413560f202ee78d7db3ac11e45f663b84ca736fc118b2d500b26d326"
},
{
"working_digits": 145,
"value": "-0.5437872510055009646909078986597439717364437945941266194799208780612905330083469944044245414510603206527724849851100246830853997330944107203971508",
"isolation": {
"lower": "137408605963468753309651323348960905305093347883035075111365453306889045402520112403461949525009015029141284583080796014038586054134709510039065714780766123750850623645461/120766797594289323271729746591624604509341479053326093708038601607859973196548763266756055205685080561326988000984443036792658708157593364241965896045846273396780650463232",
"upper": "68704302981734376654825661674480452652546673941517537555682726653444522701260056201730974762504507514570642291540398007019293027067354755019532857390383061875425311822731/60383398797144661635864873295812302254670739526663046854019300803929986598274381633378027602842540280663494000492221518396329354078796682120982948022923136698390325231616",
"bisections": 469,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "0e6dbab7d5d10c0b21c6b691d2fae28908799ca7cf153d19e912775dbc243864"
}
],
"comparisons": [
{
"relative_error": "4.90827228453914e-127",
"agreement_digits": "126.309071353",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.14176911435483e-136",
"agreement_digits": "135.288887429",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.52078117851892e-146",
"agreement_digits": "145.257999466",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "5.52078117851892e-146",
"agreement_digits": "145.257999466",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.4722751501489"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m63-18-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9270524091453267260055564090030084025222190041842527428997384518637834119108122981903566131773068559105981544803748573811566",
"isolation": {
"lower": "1371831774425557371482698769940293595645933067554998605523190007767658366056442962365663304817294626566674518297496472741563570298148474965787466127593/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "685915887212778685741349384970146797822966533777499302761595003883829183028221481182831652408647313283337259148748236370781785149074237482893733063797/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 62,
"last_term": "4.25226209037182e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "977e1f62ad2bba494632ce0dbe061392305aa0fd6bab701313e5dd9ae4e33331"
},
{
"working_digits": 145,
"value": "-1.927052409145326726005556409003008402522219004184252742899738451863783411910812298190356613177306855910598154480374857381156560024783211192857024",
"isolation": {
"lower": "101223318620044435498174937844307050710455287859119605999478627077070407682508592582610521112041622325434253987011894181951416168552662420483638683147158134619061598644791/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "12652914827505554437271867230538381338806910982389950749934828384633800960313574072826315139005202790679281748376486772743927021069082802560454835393394766827382699830599/471745303102692669030194322623533611364615152552055053547025787530703020299018606510765840647207345942683546878845480612471323078740599079070179281429087005456174415872",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 71,
"last_term": "8.56708256927769e-157",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "e03c50e7c71e8b57ef013fa312d86de777e373a80c5c46fcd5ff13579e859f85"
}
],
"comparisons": [
{
"relative_error": "2.07442291652756e-125",
"agreement_digits": "124.683102698",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.19006010598875e-136",
"agreement_digits": "135.208305134",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.34885911305715e-146",
"agreement_digits": "145.029241385",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.34885911305715e-146",
"agreement_digits": "145.029241385",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0894018455196251"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m67-19-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9294029716701428796814966960725889121316335367988945278364271193934560781230000392663050509348505304243185428032000153523963",
"isolation": {
"lower": "1373915953569222394650832718114741890034948072929159485187094681192498018650366073350454994316097527605292965901870735048454900644539471618473865030757/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "686957976784611197325416359057370945017474036464579742593547340596249009325183036675227497158048763802646482950935367524227450322269735809236932515379/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 59,
"last_term": "3.7343645142235e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "0145d24d873834fc75af0dfbebf9af9f1a508b49abc1efc99f0487b4d76dc022"
},
{
"working_digits": 145,
"value": "-1.929402971670142879681496696072588912131633536798894527836427119393456078123000039266305050934850530424318542803200015352396304812249187960309502",
"isolation": {
"lower": "50688551948556121377694676130770965609621967417331872367739482145227536981976051198135908609182221262790299435409730630952688167498402781896173821448417464372767301379437/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101377103897112242755389352261541931219243934834663744735478964290455073963952102396271817218364442525580598870819461261905376334996805563792347642896834928745534602758875/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 68,
"last_term": "7.2421760110807e-158",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "4e2120c1c1999d61b6f393f55cde7052b1663856d19ac1594f8cb045514da473"
}
],
"comparisons": [
{
"relative_error": "2.49416490936297e-126",
"agreement_digits": "125.603074835",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.05716147842065e-135",
"agreement_digits": "134.97585867",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.19288457717579e-145",
"agreement_digits": "144.923401576",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.19288457717579e-145",
"agreement_digits": "144.923401576",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.4243185428032"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m7-4-3-1",
"readings": [
{
"working_digits": 125,
"value": "-0.85154263694283300046813564439805492392971038117955218258197899312265419383489074684248270901232327673270183171932401382110514",
"isolation": {
"lower": "1599005983804349118450418201512966324590286501745761694814424489976988364016439793044760983478686563315210379063002391789361562988726763584246617948923/409173825987017733751648712103449894027080255755383098685411421012016724550584319360408761540738019643860835515945008876152157068235674131666065948672",
"upper": "399751495951087279612604550378241581147571625436440423703606122494247091004109948261190245869671640828802594765750597947340390747181690896061654487231/102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487168",
"bisections": 401,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "1956d11890f6c856a5ee3d529ce6227caba621298c039234235bcefc37159a39"
},
{
"working_digits": 145,
"value": "-0.8515426369428330004681356443980549239297103811795521825819789931226541938348907468424827090123232767327018317193240138211051371371433838708963442",
"isolation": {
"lower": "58992908311137976744400145295910601663087601160034304043810223654191063454566750246821704802817455999641295286572633012338710378844636441182220801406492601706114531235837/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904",
"upper": "117985816622275953488800290591821203326175202320068608087620447308382126909133500493643409605634911999282590573145266024677420757689272882364441602812985203412229062471675/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808",
"bisections": 467,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "7c5007ac87aeb9b836114420bda8e2ede0c7c7c441998a4956868195590c56c7"
}
],
"comparisons": [
{
"relative_error": "3.36196508774615e-126",
"agreement_digits": "125.473406801",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.51611499176955e-136",
"agreement_digits": "135.819267858",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.6994769787659e-146",
"agreement_digits": "145.769684714",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.6994769787659e-146",
"agreement_digits": "145.769684714",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.32701831719324"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m708-93-6-2",
"readings": [
{
"working_digits": 125,
"value": "-1.9383297421305312128439235194866868114994505451155481137908576278197715606988879408819068478902487457448389190386312378638841",
"isolation": {
"lower": "5394251871015240743929431486759329487610852041919302992127251132007421493246964637152201039518329306256067651891340285199121560892353344684243566309/199791907220223502808422222706762643567910281130558153654986045416023791284464999687699590596063486154228923591770023865308670443474450259602571264",
"upper": "1380928478979901630445934460610388348828378122731341565984576289793899902271222947110963466116692302401553318884183113010975119588442456239166352975105/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 30,
"last_term": "7.34465116102073e-140",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "c1312d534c3889c1f33a802731c9c11e678e6d45335ca52bd95bb5ee7114d940"
},
{
"working_digits": 145,
"value": "-1.938329742130531212843923519486686811499450545115548113790857627819771560698887940881906847890248745744838919038631237863884096652094531830492681",
"isolation": {
"lower": "50947268471678491042784378183230161666268660057991978014615181650328560302551014241359092208652993428781275237728133303412659831790830201542352783904099312067096771686981/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101894536943356982085568756366460323332537320115983956029230363300657120605102028482718184417305986857562550475456266606825319663581660403084705567808198624134193543373963/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 34,
"last_term": "2.0742157654291e-158",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "6e387bb00525976bd8b57c6fe99b3e8cd3d4a9a60c500d31fba2238e4fc2f13a"
}
],
"comparisons": [
{
"relative_error": "1.72721152412883e-126",
"agreement_digits": "125.762654473",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "9.44365987485699e-136",
"agreement_digits": "135.024859663",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.73032156019164e-146",
"agreement_digits": "145.171964186",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "6.73032156019164e-146",
"agreement_digits": "145.171964186",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.255161080961369"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m723-183-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956832312639627968193114656907667789162435686643957281148534753496143804706380455832787595570690346595640422694511189641",
"isolation": {
"lower": "1380961662684165979471826932296813104327559574242068551306095547105580669815970771106754363443989320469883146987264964510140901334466848446737169276577/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "690480831342082989735913466148406552163779787121034275653047773552790334907985385553377181721994660234941573493632482255070450667233424223368584638289/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 13,
"last_term": "7.64258589449285e-141",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "a0e52fac147ff155e47162d257dd3cc9e64ac853a1fc3d856571082e2b51bba2"
},
{
"working_digits": 145,
"value": "-1.938395683231263962796819311465690766778916243568664395728114853475349614380470638045583278759557069034659564042269451118964063237719113773202378",
"isolation": {
"lower": "50948492734278455264323520004348934070653333113059756010610292316207163064500595419082090374749723063899696929032130513667952814149614504258811284710610825481221549248475/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "101896985468556910528647040008697868141306666226119512021220584632414326129001190838164180749499446127799393858064261027335905628299229008517622569421221650962443098496951/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 15,
"last_term": "1.60795347795256e-162",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "14ddc78c80ff3a262c9750c4e871b64face8b8209b495b7de8e1e31a0460ccb8"
}
],
"comparisons": [
{
"relative_error": "1.89653130185189e-125",
"agreement_digits": "124.722039985",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.9465594205772e-135",
"agreement_digits": "134.710732334",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.04341079514451e-145",
"agreement_digits": "144.689644317",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.04341079514451e-145",
"agreement_digits": "144.689644317",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0346595640422695"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m795-201-3-1",
"readings": [
{
"working_digits": 125,
"value": "-1.9383956832939453939718442636041394681632003943261357649812177648026662434830749345059551876761476030757879308765823495524217",
"isolation": {
"lower": "172620207837572856446843516614369182733236673635205900688465391569777900835553575034306369824059444202559339559221757813827076708217930107847335657923/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448",
"upper": "1380961662700582851574748132914953461865893389081647205507723132558223206684428600274450958592475553620474716473774062510616613665743440862778685263385/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 12,
"last_term": "4.11695789545254e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": true,
"numerical_cache_fingerprint": "280156dff1c9a1d1a847512fefd45a22ce41d8fcd965c781a340e504bf6cacde"
},
{
"working_digits": 145,
"value": "-1.938395683293945393971844263604139468163200394326135764981217764802666243483074934505955187676147603075787930876582349552421738004616967424391766",
"isolation": {
"lower": "101896985469768261881340677295173938672993153661293990123132816727413145258017227015584210836425086249311703128283398533279826901548706625028258643994611861436689451619015/3773962424821541352241554580988268890916921220416440428376206300245624162392148852086126725177658767541468375030763844899770584629924792632561434251432696043649395326976",
"upper": "12737123183721032735167584661896742334124144207661748765391602090926643157252153376948026354553135781163962891035424816659978362693588328128532330499326482679586181452377/471745303102692669030194322623533611364615152552055053547025787530703020299018606510765840647207345942683546878845480612471323078740599079070179281429087005456174415872",
"bisections": 464,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 14,
"last_term": "5.52533011140404e-160",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": true,
"numerical_cache_fingerprint": "1607797895179b616b10b9fab3ccd1e610a20950c9edefc9bf821d73417a8dfc"
}
],
"comparisons": [
{
"relative_error": "1.96062224523956e-125",
"agreement_digits": "124.707606074",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.32873192826308e-135",
"agreement_digits": "134.876562629",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.15440602963729e-146",
"agreement_digits": "145.501082406",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.15440602963729e-146",
"agreement_digits": "145.501082406",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.0757879308765823"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m795-51-15-5",
"readings": [
{
"working_digits": 125,
"value": "-1.8453803510282595423805551591117625415089680030472920730270040700321784781707587538449280528913417892642795376882927499137026",
"isolation": {
"lower": "1282614522115399786551084114500858887475582235266715653844540121196276778130081065494060820382689513227537122909367141887747802219067849559245304142613/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "641307261057699893275542057250429443737791117633357826922270060598138389065040532747030410191344756613768561454683570943873901109533924779622652071307/25573364124188608359478044506465618376692515984711443667838213813251045284411519960025547596296126227741302219746563054759509816764729633229129121792",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 145,
"terms": 117,
"last_term": "9.4553494582398e-137",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "1f2b90cec2f92ad5373ce0f168d6bf41bf965708a9a48efa2d28689df722ccfe"
},
{
"working_digits": 145,
"value": "-1.845380351028259542380555159111762541508968003047292073027004070032178478170758753844928052891341789264279537688292749913702634333423636819304511",
"isolation": {
"lower": "47320123669372119282917451315853097671891167975253280194614960854572020764820525918035127466656416126868297209905386364118187757934237690213703910428487879284659838268235/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"upper": "189280494677488477131669805263412390687564671901013120778459843418288083059282103672140509866625664507473188839621545456472751031736950760854815641713951517138639353072941/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "integrated zero-balanced 2F1 Frobenius log series at t=27",
"extra_working_digits": 20,
"arithmetic_working_digits": 165,
"terms": 134,
"last_term": "2.45988084542236e-156",
"boundary": "Ntilde(27-)=-6*mu3",
"source": "DLMF 15.8.10 (m=0); Samart Theorem 1",
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "62cebf5e8c102a4d2f1abbe7aaa11de17e4561c6be8892b8b662bebcc206ade4"
}
],
"comparisons": [
{
"relative_error": "1.86050662226291e-125",
"agreement_digits": "124.73036878",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.72359887067601e-135",
"agreement_digits": "134.763563799",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "8.82095062354691e-146",
"agreement_digits": "145.054484609",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "8.82095062354691e-146",
"agreement_digits": "145.054484609",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.264279537688293"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m84-15-6-2",
"readings": [
{
"working_digits": 125,
"value": "-1.7039604988561455846237061036388574667767882677149925536171135168860888985676180604504995329431937310978485082031240348750616",
"isolation": {
"lower": "1102338399796487746147019574935748853069007938487389220270092151795401188912229730088789548592727483703033915621723991219926501755736334642330101414383/51146728248377216718956089012931236753385031969422887335676427626502090568823039920051095192592252455482604439493126109519019633529459266458258243584",
"upper": "68896149987280484134188723433484303316812996155461826266880759487212574307014358130549346787045467731439619726357749451245406359733520915145631338399/3196670515523576044934755563308202297086564498088930458479776726656380660551439995003193449537015778467662777468320381844938727095591204153641140224",
"bisections": 398,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "d75ffc24ab497a3a78d500395a3fc36add0f68e41e6de6cd793dc73461b780e8"
},
{
"working_digits": 145,
"value": "-1.703960498856145584623706103638857466776788267714992553617113516886088898567618060450499532943193731097848508203124034875061568569947411781554814",
"isolation": {
"lower": "162676434749346645843272911055710560193172509953179654612255755817274056263993370445526098051159885188728202296176964192082281107474575884289255413525206024204558174813179/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952",
"upper": "40669108687336661460818227763927640048293127488294913653063938954318514065998342611381524512789971297182050574044241048020570276868643971072313853381301506051139543703295/1886981212410770676120777290494134445458460610208220214188103150122812081196074426043063362588829383770734187515381922449885292314962396316280717125716348021824697663488",
"bisections": 465,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "f9e31334d444f5f8d896a8ed2429eb36eab7f2a6822b36d603101ce283f4ffa0"
}
],
"comparisons": [
{
"relative_error": "1.84452941305372e-125",
"agreement_digits": "124.734114415",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.04553762554704e-135",
"agreement_digits": "134.980660334",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.33908328629013e-145",
"agreement_digits": "144.630954314",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "2.33908328629013e-145",
"agreement_digits": "144.630954314",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.097848508203124"
}
],
"controls": []
},
{
"kind": "modified",
"key": "cm-m96-15-12-4",
"readings": [
{
"working_digits": 125,
"value": "-0.69458257609094403881847958234517646577321619733486470523207591906369154932686952981077360974070164442058804032495060151814872",
"isolation": {
"lower": "918974734544672624012185471954690131771982412879464067880295555955998332802728684332696224050490094483826814386843700599211200809454105289611801691959/409173825987017733751648712103449894027080255755383098685411421012016724550584319360408761540738019643860835515945008876152157068235674131666065948672",
"upper": "1837949469089345248024370943909380263543964825758928135760591111911996665605457368665392448100980188967653628773687401198422401618908210579223603383919/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344",
"bisections": 402,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 125,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "9ffb31700a88560112adad11512e86f68a86d1b3228bd10ee81251d16ade9740"
},
{
"working_digits": 145,
"value": "-0.6945825760909440388184795823451764657732161973348647052320759190636915493268695298107736097407016444205880403249506015181487166812916468943270847",
"isolation": {
"lower": "135616733906805984709451866552925556145068628992180445777356117303183596005702511022997871826325413524614924758255777321745622111252806359810504958544602518707651310740485/60383398797144661635864873295812302254670739526663046854019300803929986598274381633378027602842540280663494000492221518396329354078796682120982948022923136698390325231616",
"upper": "67808366953402992354725933276462778072534314496090222888678058651591798002851255511498935913162706762307462379127888660872811055626403179905252479272301259353825655370243/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808",
"bisections": 468,
"exact_rational": null,
"method": "rational Sturm isolation and rational bisection"
},
"method": "corrected convergent pair of 3F2 series",
"extra_working_digits": 0,
"arithmetic_working_digits": 145,
"source_caveat": null,
"quadrature_error_estimate": null,
"error_estimate_is_rigorous": false,
"cache_reused": false,
"numerical_cache_fingerprint": "4d419d1a9ec4b844142a76d54f51f5fd9edeb70a73cc4d4a66873845dd942562"
}
],
"comparisons": [
{
"relative_error": "4.77798964060271e-126",
"agreement_digits": "125.320754796",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "1.5213873618126e-136",
"agreement_digits": "135.817760196",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.72673632952257e-146",
"agreement_digits": "145.428671333",
"required_digits_strictly_greater_than": 110
},
{
"relative_error": "3.72673632952257e-146",
"agreement_digits": "145.428671333",
"required_digits_strictly_greater_than": 110
},
{
"distance_in_stored_ulps": "0.205880403249506"
}
],
"controls": []
}
],
"quadratic_checks": []
}