back to table · edit · history · where entries came from · files · download
19395 bytes, as of the version from 2026-10-27 01:14 (current). Recorded here, not run.
{
"tid": "T491",
"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": "a513995c7a49bb3ba59c5c57d292e4dbd1829a567b951fc3e5bc164bf3e8523e",
"count": 21,
"independently_checked_additions": 14,
"minimum_accuracy_bits": 789,
"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": 798,
"root_certificate": {
"lower": "14299666900027890268184924274948586613431540963813886415431193180764273181059987072751933461444362467070737581012050102134289178645884296584642012804311584049175941097619533819575221210350567419864123312123274147951697984301069272242377711401668262151534334195500072896086813159871718659484687400859235274641962689146505179264901632788034441343942145451450082200741265964737555739868662345520264655432562108999110086250184719468516027977985628687299219906112128453658189/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "14299666900027890268184924274948586613431540963813886415431193180764273181059987072751933461444362467070737581012050102134289178645884296584642012804311584049175941097619533819575221210350567419864123312123274147951697984301069272242377711402426327626290539730240785536937644485680745035029949418016975527584370380887900143293650855848896979405703732705908614039692232783152992454441068241536466383559737390259290704194650190968319956115321077512356089413384026331498061/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3863/1024",
"483/128"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 796,
"root_certificate": {
"lower": "7846913732223395118161003975693637267741774403896648559999339651484103720049306553779059441874773382988856701010582104040475037167366731589522087883032488948264709820432255198896622969219989219987212942508870258286195286474250250494231880177085755448780989186209260445239577482370875930810761175803054137777699828511769810359402720209883028392888849800071976456570409508048220122455941958071663980052872436684207177749534020499822018472301507811495659410899026681285641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "7846913732223395118161003975693637267741774403896648559999339651484103720049306553779059441874773382988856701010582104040475037167366731589522087883032488948264709820432255198896622969219989219987212942508870258286195286474250250494231880177275271817470040569894438605452285313823132524697076680092489201013301751447118551366590025975098662908329246613686609416308151212652079301099043432075714412084666256999252332235650388374773000506635370017759876787717001150745609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"8479/1024",
"265/32"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 794,
"root_certificate": {
"lower": "24148455279793452041496426975819364297188150604527378186469430700161817669577623520335880911898725703385700961392912236291377917169954816587868566238632024723581842761253829648213719727874451027208365516172437462976533029229706482781374749871065352689944023761893153116883740358768331683588533092523463655511021540708264426605207187421624818139642941606286751360187632564811252972473557657980469567202870661154106628604338504950067923989707736150879594504724231341086907/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "24148455279793452041496426975819364297188150604527378186469430700161817669577623520335880911898725703385700961392912236291377917169954816587868566238632024723581842761253829648213719727874451027208365516172437462976533029229706482781374749871444385427322126529263509437309156021672844871361164101102333781982225386578961908619581798952056087170523735233516017279663115974018971329759760605988570431266458301784196937576571240699969888058375460563408029258360180280006843/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"13047/1024",
"1631/128"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 792,
"root_certificate": {
"lower": "16292183755196044323408093344308069527265067495066193032669785987439773846091299992394487409291455624686431805143186575414547894372704802495582784693969807576045276393707425247380811667232154433034970880233845372508859496630530881646989676658783206892546293403656882913279472539341058797702529210057559033817070839179540943891635981934642323094659381005462987764596657713512980285005311706314511464510870066541334924214137322115628115341522672336283696353381021310191891/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "16292183755196044323408093344308069527265067495066193032669785987439773846091299992394487409291455624686431805143186575414547894372704802495582784693969807576045276393707425247380811667232154433034970880233845372508859496630530881646989676658972723261235344787342061073492180370793315391588844714346994097052672762114889684898823287699857957610099777819077620724334399418116839463648413180318561896542663886856380078700253689990579097375856534542547913730198995779651859/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"8803/512",
"17607/1024"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 791,
"root_certificate": {
"lower": "10253377535017743828675537349967685160197572303255756430833094624071997416303709398761024079023209079195701060711459683044861790594100383805000965965353553352780689273534657633025583330496806728497173398899212067571246871882405056580487010427776780935559960858005727552945875767874324245617313905921234794129139679935082993988470981382493595758175546834782606849609438646776237273231523825773610889115438279095763288049084340604342347182658805478639247596236637974431883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "10253377535017743828675537349967685160197572303255756430833094624071997416303709398761024079023209079195701060711459683044861790594100383805000965965353553352780689273534657633025583330496806728497173398899212067571246871882405056580487010427871539119904486549848316633052229683600452542560471658065952325746940641402757364492064634265101413015895745241589923329478309499078166862553074562775636105131335189253285865292142524541817838199825736581771356284645625209161867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1385/64",
"22161/1024"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 789,
"root_certificate": {
"lower": "24719722508197525099146844507647785386433186924958742445806716526860368864220001067517082747096795203350757626439807280164508009940158009847517464607929723053473606376038776901486710644279959836689765848427638505467668630278018955012375779170638565986808594978854907627764512161292917517970142306547817821849711873275485181124978394789780839595987804199106327612323625613665803170041164074548834128596173457517348539845180842897659523864050399081749466717188699532848141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "24719722508197525099146844507647785386433186924958742445806716526860368864220001067517082747096795203350757626439807280164508009940158009847517464607929723053473606376038776901486710644279959836689765848427638505467668630278018955012375779170828082355497646362540085787977219992745174111856457810837252885085313796210833922132165700554996474111428201012720960572061367318269662348684265548552884560627967277832393694331297210772610505898384261288013684094006674002308109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"26713/1024",
"13357/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": []
},
{
"params": {
"nu": "0",
"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": "2.29518634856e-151"
},
{
"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": "3.14199595852e-151"
},
{
"params": {
"nu": "0",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 994,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"params": {
"nu": "0",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 987,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"params": {
"nu": "0",
"x": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 991,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"params": {
"nu": "0",
"x": "sqrt(2)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"params": {
"nu": "0",
"x": "2*sqrt(2)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"params": {
"nu": "0",
"x": "4*sqrt(2)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"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": "3.72484615659e-151"
},
{
"params": {
"nu": "2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": []
},
{
"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": []
},
{
"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_rotation_and_phase"
]
},
{
"params": {
"nu": "1",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 994,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "7.64306207186e-151"
}
],
"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."
}