back to table · edit · history · where entries came from · files · download
19383 bytes, as of the version from 2026-10-27 01:13 (current). Recorded here, not run.
{
"tid": "T490",
"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": "c2c234ed2a420163f13106ef1b00aadda00bf8b18ad8805ccc2840392fdbbf31",
"count": 21,
"independently_checked_additions": 14,
"minimum_accuracy_bits": 788,
"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": 797,
"root_certificate": {
"lower": "11444345436531487230979591011287504692625523715364797139139596343459503442036291798677139381462383450625695842920949682299172562672700877287348625492582455034979055957213814681198896157554048555090463091778423452208745092929061065684031414823127901017790920528059043280881345887412216823765657765014287168213755883012675587258206077150049723040245842162642011343807772068750406986115706072945889415032826362265924233442742462233053591898966345293732541620622363665305657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "11444345436531487230979591011287504692625523715364797139139596343459503442036291798677139381462383450625695842920949682299172562672700877287348625492582455034979055957213814681198896157554048555090463091778423452208745092929061065684031414823506933755169023295429399601306761550316730011538288773593157294684959728883373069272580688680480992071126635789871277263283255477958125343401909020953990279096414002896014542414975197982955555967634069706260976374258312604225593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"6183/1024",
"773/128"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 795,
"root_certificate": {
"lower": "19925073511083636690494364662766422758614882330008471885015522447001801875702473858971617549462980964323847992774677261686930846923595125207593613996299203894748571906211451730120076720559413357607532471274730752582900513260158976979179303698660122704400736311940565041345120299846904312264058206701121638613465290470907682331938477884742335440676855027287856303387044166797615938327406926325432220288473227022025441861930110042656972798512100094516011893640246966086907/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "19925073511083636690494364662766422758614882330008471885015522447001801875702473858971617549462980964323847992774677261686930846923595125207593613996299203894748571906211451730120076720559413357607532471274730752582900513260158976979179303699039155441778839079310921361770535962751417500036689215279991765084669136341605164346313089415173604471557648654517122222862527576005334295613609874333533084352060867652115750834162845792558936867179824507044446647276195905006843/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"10765/1024",
"5383/512"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 793,
"root_certificate": {
"lower": "14183827106337713705383662236972245695006264766402726707873292032875185931405859107688243773300506760753236166072329929478691828538703365583039769423842399306908991021524212751869208538043467224450092496396532294658098302802204614075166433329732697216854834577967029794156870047420661508651113752051443456497469753885100512675482997631817326986615023644994467472771502372793250443809479851302282832609373647614250498772465951682048047026129253593241421043818338204723141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "14183827106337713705383662236972245695006264766402726707873292032875185931405859107688243773300506760753236166072329929478691828538703365583039769423842399306908991021524212751869208538043467224450092496396532294658098302802204614075166433329922213585543885961652207954369577878872918102537429256340878519733071676820449253682670303397032961502055420458609100432509244077397109622452581325306333264641167467929295653258582319556999029060463115799505638420636312674183109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"15327/1024",
"479/32"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 791,
"root_certificate": {
"lower": "18399741443616174479693235343229794426858607936876037502908362920328168023491587655940475287243900844802990914586404359389091397222201485099213725339777886030825793198324923856567472557093884027597781902552112875856545844435769647419725929407242745120050374608990805707847982638598038608681301161422214791157040685769277076855653798509873676400427194594110269992446108828804828948006012942180623286823082330870514433308183667611768219977662894619131085932200296212535641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "18399741443616174479693235343229794426858607936876037502908362920328168023491587655940475287243900844802990914586404359389091397222201485099213725339777886030825793198324923856567472557093884027597781902552112875856545844435769647419725929407432261488739425992675983868060690470050295202567616665711649854392642608704625817862841104275089310915867591407724902952183850533408688126649114416184673718854876151185559587794300035486719202011996756825395303309018270681995609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"19883/1024",
"4971/256"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 790,
"root_certificate": {
"lower": "11306690741902380901368423331863781324221870228413867169582330716525828935721225811768594018565844775514099186789359498243608910902410871199721880132959542300604741618793650442880434455412756150460903135438932552577821333557374818935398806766837107137617005929005716091124117171966526532430912394042031990198646085197618185997371206543028841313841171083818636796772348066686117390337268020057406590912974835091326881716583657858108558349180121523603143870803288365056883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "11306690741902380901368423331863781324221870228413867169582330716525828935721225811768594018565844775514099186789359498243608910902410871199721880132959542300604741618793650442880434455412756150460903135438932552577821333557374818935398806766931865321961531620848305171230471087692654829374070146186749521816447046665292556500964859425636658571561369490625953276641218918988046979658818757059431806928871745248849458959641841795584049366347052626735252559212275599786867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"24437/1024",
"12219/512"
]
}
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 788,
"root_certificate": {
"lower": "6706461782922654361825867596238844951416555281314370188689538818286303381156644428600822861713050608900413230125476279218362976698141330637145153978907125632530869206898164201992813274414663424631448255411159893173453232125171315599709770845066039142290124262155971901674859159491490053795034764308010820431663524563185789786312923166409564037735770788116402146103345002484619628907609016845116334922686309138959149750927073437624043173851742181540605962262834978426879/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "6706461782922654361825867596238844951416555281314370188689538818286303381156644428600822861713050608900413230125476279218362976698141330637145153978907125632530869206898164201992813274414663424631448255411159893173453232125171315599709770845113418234462387108077266441728036117354554202266613640380369586240564005297022975038109749607713472666595869991520060386037780428635584423568384385346128942930634764217720438372456165406361788682435207733106660306467328595791871/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"28989/1024",
"14495/512"
]
}
},
{
"params": {
"nu": "0",
"x": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 998,
"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": 997,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "2.32755452849e-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": "4.06385186912e-151"
},
{
"params": {
"nu": "0",
"x": "3"
},
"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": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"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": 990,
"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": 996,
"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": 989,
"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": 993,
"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": "0.0"
},
{
"params": {
"nu": "2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"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": 994,
"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": 994,
"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": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.53194505844e-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."
}