back to table · edit · history · where entries came from · files · download
36450 bytes, as of the version from 2026-10-27 01:11 (current). Recorded here, not run.
{
"tid": "T492",
"all_passed": true,
"controls": [
"pi",
"displaced_value_rejected",
"nan_rejected",
"wide_ball_rejected",
"integral_t_equals_half",
"Q0_logarithm",
"F0_free_sine",
"G0_free_cosine"
],
"source_sha256": {
"balanced_checks.py": "7d29b572b3d3edcbb0ff9861c8eb1116777d72f0fdaa1282274fdb93adfd5c62",
"balanced_generate.py": "1bac17812c98ca64baf6d54ba58e3bbdd947796f28c27cef6fab748461aee6ed"
},
"selection_sha256": "95cf7f5e30cbdbfd17abf788c264d8c4a9dfe47a2be446351d62a89c0ff10977",
"count": 35,
"independently_checked_additions": 21,
"minimum_accuracy_bits": 774,
"records": [
{
"params": {
"nu": "0",
"x": "0"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": null
},
{
"params": {
"nu": "0",
"x": "critical-1"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 799,
"root_certificate": {
"lower": "29994233912016044160767183419148079597449533803558017372883044267959089714982936254486881067659083421529841732279235210984294883123979391184229755310943299238131036026623785405518354547905657262634002287402069470375200425140662439344078122910801565808164188650783374236379192660060196213801627612409715180673346180807579524141344384731932739394924879370610967642928840827144401047363238131540526037348938635113420559204345651465572195321649356597871109901986813375179631/15161309495124110694814252817016626516180527510905240343154805058848153834827899280574984461217250761235231745089170636779019336368308734291448117920324034562543505625203612358889309429996078562746708976501137390145437957556797440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "29994233912016044160767183419148079597449533803558017372883044267959089714982936254486881067659083421529841732279235210984294883123979391184229755310943299238131036026623785405518354547905657262634002287402069470375200425140662439344078122913833827707189010789746224799782517963296301715982675681040676192442976947773159380256341276975382891641971228388445094998732708100806147905652861715605332949857639760154143030982207537464787907870991151898098587931074404886539119/15161309495124110694814252817016626516180527510905240343154805058848153834827899280574984461217250761235231745089170636779019336368308734291448117920324034562543505625203612358889309429996078562746708976501137390145437957556797440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"2025/1024",
"1013/512"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 792,
"root_certificate": {
"lower": "20799872809556317911666423882415198998575303544043495485387645550436204392780758068924695228415681151253698045972024404710498196468704389420597292457655732676352506187815970197310063840502139418196236194719955078927218917720685483608046927423162222923755652674688542803982939308735499651589729136171926412734071161771747051109354906819521761725274867071681766519591704600732182675311242101154820661029973353172653978976447125313796595518086575331387473284980231481001939/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "20799872809556317911666423882415198998575303544043495485387645550436204392780758068924695228415681151253698045972024404710498196468704389420597292457655732676352506187815970197310063840502139418196236194719955078927218917720685483608046927423920288398511858209429255444833770634544526027134991153329666665676478853513142015138104129880384299787036454326140298358542671419147619389883647997171022389157148634432834596920912596813600523655422024156444342792252129358841811/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"5619/1024",
"1405/256"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 789,
"root_certificate": {
"lower": "4058116225826986544612939019251257225459615495319446046475483631259345834816331576914041652111686894741361146818454337593938312544843514242536647936300931563851885092676993481518128801988877749415693886100114026513758781328823319610942889664266715463289842880151964068564278292895376088029287499701351434112904626240276143946363105053423987178643073335901619301522243252063935822198899362078341557702664161613486341374375273580175238754258053460433426082106999302556883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4058116225826986544612939019251257225459615495319446046475483631259345834816331576914041652111686894741361146818454337593938312544843514242536647936300931563851885092676993481518128801988877749415693886100114026513758781328823319610942889664361473647634368571994553148670632208621504384972445251846068965730705587707950514449956757936031804436363271742708935781391114104365865411520450099080366773718561071771008918617433457517650729771424984563565534770515986537286867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"4385/512",
"8771/1024"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 783,
"root_certificate": {
"lower": "22303338354798769729256664393729328414123522255004720974520639174575898079729124222130721306259425024169538332533846913915490347278832737185354354588976040036415282800285032253005483726396083491262043249527795575040104534471516048701341742930839857215912074399565839481725217841237247274060671760628847801592565048605367686621743904362815737041577953190442735170612455016351871596062932074895737884879603165209985165937074114239498169273077649673499348580728259661399407/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "22303338354798769729256664393729328414123522255004720974520639174575898079729124222130721306259425024169538332533846913915490347278832737185354354588976040036415282800285032253005483726396083491262043249527795575040104534471516048701341742931218889953290177166936195802150633504141760461833302769207717928063768894476065168636118515893247006072458746817672001090087938425559589953349135022903838748943190805840075474909306849989400133341745374086027783334364208600319343/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"12051/1024",
"3013/256"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 779,
"root_certificate": {
"lower": "14103535002052273189011901461392382210709845439118813599215834686846955405520601794461398073475268697304697277280232963050274782831706732959396855500651859112748071479975473691190479623069470923612927114115804703417265228880589778501860969464908923300041576544876643149020465181125363136418319834866800269971133112795420934720766409862804944682429226447872454133316102672043379872488304636324424088664317397773814094450050782282424267059483255818919835150187356759410641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "14103535002052273189011901461392382210709845439118813599215834686846955405520601794461398073475268697304697277280232963050274782831706732959396855500651859112748071479975473691190479623069470923612927114115804703417265228880589778501860969465098439668730627928561821309233173012577619730304635339156235333206735035730769675727953715628020579197869623261487087093053844376647239051131406110328474520696111218088859248936167150157375249093817118025184052527005331228870609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1905/128",
"15241/1024"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 775,
"root_certificate": {
"lower": "17107375388079374126404149784140964186155939377647618096273202009693588784714152507257206210051532066019024267358181172063909823536936629717814381697780379058129849105666230856634539467818687392351731294003160842383612925180873778084170670344843124913138600776856780668382090231745050367259459846674189367738020803849805911836503560728709988032415570688050405134935113237082032209255339452189467031429080134700191243441284646890060450722913784941626337826197488595348141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "17107375388079374126404149784140964186155939377647618096273202009693588784714152507257206210051532066019024267358181172063909823536936629717814381697780379058129849105666230856634539467818687392351731294003160842383612925180873778084170670345032641281827652160541958828594798063197306961145775350963624430973622726785154652843690866493925622547855967501665038094672854941685891387898440926193517463460873955015236397927401014765011432757247647147890555203015463064808109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"18487/1024",
"2311/128"
]
}
},
{
"params": {
"nu": "1",
"x": "0"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": null
},
{
"params": {
"nu": "1",
"x": "critical-1"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 798,
"root_certificate": {
"lower": "859818205694282356069488099334434035033034362749930783353756563307170172594840591864818127751553693365833628125478143712636764069749040805506518704370035548577778416595934791311779482756704203761066654814941270449915451776395903033333823767519510671759886998975784417410261429938156953957816787302531014738610781555270928505937745854123194485642829248596801726786106903439423711932675094726029845802716665012564616866245177794884574496844589162464392721639360857333129/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "859818205694282356069488099334434035033034362749930783353756563307170172594840591864818127751553693365833628125478143712636764069749040805506518704370035548577778416595934791311779482756704203761066654814941270449915451776395903033333823767566889763932149844897078957463438387801221102429395663374889780547511262289108113757734572295427103114502928452000459966720542329590388506593450463227042453810665120091325905487774269763622320005428054714030447065843854474698121/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"929/256",
"3717/1024"
]
}
},
{
"params": {
"nu": "1",
"x": "critical-2"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 791,
"root_certificate": {
"lower": "3294318762852951981632473611040983723772658906340391106747509580341054863276131282520796361301495618905081933015584110521565602349874335319734267363177558452677455558683991338865205207931281737844736909086291334851481468313077533649294159193772892226057588322968663577539263412226400832010688439068554793450741776004167143432883950661299740519421682238119781410957663958136475077126956449212162649267871834749620095801803899106261641895592866432196738898726872349431883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3294318762852951981632473611040983723772658906340391106747509580341054863276131282520796361301495618905081933015584110521565602349874335319734267363177558452677455558683991338865205207931281737844736909086291334851481468313077533649294159193867650410402114014811252657645617327952529128953846191213272325068542737471841513936477603543907557777141880644927097890826534810438404666448507186214187865283768744907142673044862083043737132912759797535328847587135859584161867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"7119/1024",
"445/64"
]
}
},
{
"params": {
"nu": "1",
"x": "critical-3"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 788,
"root_certificate": {
"lower": "9588299565115634913437327873160023599713110225812088383014999269195412051195318267473298631831567394730138963587829710661719253307533940844460749832413076332037587435722445228811257189461698729726673755891355322534760967375752108589496261355165659647188949822253754473154259935246320275210695587506698913175800763418347034934326647631872110705156222863661814493639848929772778556773921569014533674005085587014981515313632540654428837982280739763952416837160928536754391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "9588299565115634913437327873160023599713110225812088383014999269195412051195318267473298631831567394730138963587829710661719253307533940844460749832413076332037587435722445228811257189461698729726673755891355322534760967375752108589496261355355176015878001205938932633366967766698576869097011091796133976411402686353695775941513953397087745220596619677276447453377590634376637735417023043018584106036879407330026669799748908529379820016614601970216634213978903006214359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"10361/1024",
"5181/512"
]
}
},
{
"params": {
"nu": "1",
"x": "critical-4"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 782,
"root_certificate": {
"lower": "25183266077167305310755793799155319981224009061964391064856958929380050545412326312978223152917459700905634832362645546386210445202413964146081481441039445050521184149985618981150835900936042096852797757638654214772017790648395555162699712115106806175962975047571336956368154453663178158242542395064614510079819061089119408674172869016736046425989605424921616012149691790321765678788125810097816661391883370225722723488808876175297569684972671207791375934968677141868157/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "25183266077167305310755793799155319981224009061964391064856958929380050545412326312978223152917459700905634832362645546386210445202413964146081481441039445050521184149985618981150835900936042096852797757638654214772017790648395555162699712115485838913341077814941693276793570116567691346015173403643484636551022906959816890688547480547167315456870399052150881931625175199529484036074328758105917525455471010855813032461041611925199533753640395620319810688604626080788093/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"13607/1024",
"1701/128"
]
}
},
{
"params": {
"nu": "1",
"x": "critical-5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 779,
"root_certificate": {
"lower": "3894236014667455750556414209805922052864585547619128632984417254532165894476727658290931340443092307056932341258033026826504953460213422999835158925130036562069795433900973864325918935445459236124753267965547814917754011117349313876449945946138262807625259592132772350822581030036057327555650605289177324148884765637922531190700909596988370208076278226424222810248741929047245723102589936097806099359119280889906740337283189983945069912859917536224377691732134294833129/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3894236014667455750556414209805922052864585547619128632984417254532165894476727658290931340443092307056932341258033026826504953460213422999835158925130036562069795433900973864325918935445459236124753267965547814917754011117349313876449945946185641899797522438054066890875757987899121476027229481361536089957785246371759716442497736038292278836936377429827881050183177355198210517763365304598818707367067735968668028958812281952682815421443383087790432035936627912198121/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"16833/1024",
"8417/512"
]
}
},
{
"params": {
"nu": "1",
"x": "critical-6"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 774,
"root_certificate": {
"lower": "580132389368667777402439801324216128886868479994583881060336907308904263511817349261353812597378950275974334059953033337701163455449630718938759282306152454219718143673993925758005188019349889885007763686674209828681471504166717118739625355267317889090072094215401391037584498026116205963881764863540680165031537909718614965228814464968460992094661131900165342829970954388932182406195575609088626929871034030989240294648083241292906720008486491419625163076605135242813/29611932607664278700809087533235598664415092794736797545224228630562800458648240782373016525814942893037562002127286399959022141344352996662984605313132880004967784424225805388455682480461090942864665969728783965127808510853120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "580132389368667777402439801324216128886868479994583881060336907308904263511817349261353812597378950275974334059953033337701163455449630718938759282306152454219718143673993925758005188019349889885007763686674209828681471504166717118739625355273240275611604949955563208544231617758999224522829124372585525891144098001448263121703417770131449570702173532325622622821775382657802781738792496671715202930864590915834401372339219737385124908581419685365381956102166837413437/29611932607664278700809087533235598664415092794736797545224228630562800458648240782373016525814942893037562002127286399959022141344352996662984605313132880004967784424225805388455682480461090942864665969728783965127808510853120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"20061/1024",
"10031/512"
]
}
},
{
"params": {
"nu": "0",
"x": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.03086494559e-151"
},
{
"params": {
"nu": "0",
"x": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1",
"x": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "9.62088509162e-152"
},
{
"params": {
"nu": "1",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.18085485855e-151"
},
{
"params": {
"nu": "1",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.497356978e-151"
},
{
"params": {
"nu": "1",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1",
"x": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.17963202508e-151"
},
{
"params": {
"nu": "3",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "4",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1/2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "3/2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "5/2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1/2",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 997,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1/2",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "8.33127181007e-152"
},
{
"params": {
"nu": "1/2",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "0.0"
}
],
"limitations": "Retained values are fully Arb-recomputed; new values additionally have independent mpmath and family-identity checks. Existing manual numbers and annotations are not claimed to originate in this run."
}