{
  "tid": "T493",
  "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": "41130ab06244c75a9e162af48dd093eae1353cacb009a956c70e538bc111a1e1",
  "count": 20,
  "independently_checked_additions": 14,
  "minimum_accuracy_bits": 736,
  "records": [
    {
      "params": {
        "nu": "0",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 793,
      "root_certificate": {
        "lower": "20208811083178395423954326929405750084000998400005567774931732585145729632008393210309587145646599327108285730962921224395507546035348437343205981120438166941834881105416581757108331751361843968337243301109294935789798993802193318450932619887818837101088842282998284945715425631332676343537033212519527505868172727910349598375186793017277302779132546031270283941233155544041765868396913953388157479026582334834298540460066238320906421974403313454799149214785444651457003/7580654747562055347407126408508313258090263755452620171577402529424076917413949640287492230608625380617615872544585318389509668184154367145724058960162017281271752812601806179444654714998039281373354488250568695072718978778398720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "20208811083178395423954326929405750084000998400005567774931732585145729632008393210309587145646599327108285730962921224395507546035348437343205981120438166941834881105416581757108331751361843968337243301109294935789798993802193318450932619889334968050601253352479710227417088282950729094627557246835008011752988111393139526432685239139002378902655720540187347619135089180872639297541725745420560935280932897354659776348997181320514278249074211104912888229329240407136747/7580654747562055347407126408508313258090263755452620171577402529424076917413949640287492230608625380617615872544585318389509668184154367145724058960162017281271752812601806179444654714998039281373354488250568695072718978778398720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "2729/1024",
          "1365/512"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 781,
      "root_certificate": {
        "lower": "13592345408794056399238053728024756636093729280474355024617423393566453563889924981365063535266664108042078807168301865256965272494276540158409578413742075680778838167202422152496311875866893426830590720516824460432699693612317309378050475318463892091740794221731705704072023471972369242411199222476513311371870511799513233511621296044887840676834467990832082194233712248876159945339977108891046456880457317891415703489078602814386987870308160605194228708635058977805657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "13592345408794056399238053728024756636093729280474355024617423393566453563889924981365063535266664108042078807168301865256965272494276540158409578413742075680778838167202422152496311875866893426830590720516824460432699693612317309378050475318842924829118896989102062024497439134876882430183830231055383437843074357670210715525995907575319109707715261618061348113709195658083878302626180056899147320944044958521506012461311338564288951938975885017722663462271007916725593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "459/64",
          "7345/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 770,
      "root_certificate": {
        "lower": "5511224313620608450506772707552258224264464534895934239176654871153083473784798045211754576877455745678124442874177295373282839796333888409208014860456838699115433784373541087312022643030437549715471060242641184897908861925914760898893546592625754653660126316907944879746247470904753099196229152692456962760616842742416173751436375642757593568222887098554690454126035833756159613491251688554144626954579781292135620455718877112186882263039215842071267545195988560369383/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "5511224313620608450506772707552258224264464534895934239176654871153083473784798045211754576877455745678124442874177295373282839796333888409208014860456838699115433784373541087312022643030437549715471060242641184897908861925914760898893546592720512838004652008750533959852601386630881396139386904837174494378417804210090544255030028525365410825943085505362006933994906686058089202812802425556169842970476691449658197698777061049662373280206146945203376233604975795099367/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "11911/1024",
          "1489/128"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 759,
      "root_certificate": {
        "lower": "3810018183570910158362851405602349329883938662533508094097790362063593490963625839477567567895538122784633040258434659381666747917910054640692871281579136924326867877647949895018069524740116143428462805182358796517331888443250683640779681143669096180616092278495668591160545686286587875262776496966248837744720452599799633607065743647148262035125985462616507493493582118220680976553620309002108428629439270480280109977081352403472874891118617966384766042218889665926879/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "3810018183570910158362851405602349329883938662533508094097790362063593490963625839477567567895538122784633040258434659381666747917910054640692871281579136924326867877647949895018069524740116143428462805182358796517331888443250683640779681143716475272788355124416963131213722644149652023734355373038607603553620933333636818858862570088452170663986084666020165733428017544371645771214395677503121036637387725559041398598610444372210620399702083517950820386423383283291871/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "16469/1024",
          "8235/512"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 747,
      "root_certificate": {
        "lower": "607953066792359389654695548982078601731772559164281309141194925898397717357394765039137304797654531640760728393424198881620916348633390203988874357597636247316102737170681777362903805961178482660741692881111605079210528034129491841553315658873698251377465312728426788531932353055138754119941393520635609542260480325479640264393518902768273213954840648297260796948242262739149818942642121206812156406252335043056629433927120309729157810028536960739892601965154939930313/29611932607664278700809087533235598664415092794736797545224228630562800458648240782373016525814942893037562002127286399959022141344352996662984605313132880004967784424225805388455682480461090942864665969728783965127808510853120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "607953066792359389654695548982078601731772559164281309141194925898397717357394765039137304797654531640760728393424198881620916348633390203988874357597636247316102737170681777362903805961178482660741692881111605079210528034129491841553315658879620637898998168468588606038579472788021772678888753029680455268373040417209288420868122207931261792562353048722718076940046691008020418275239042269438732407245891927901790511618256805821375998601470154685649394990716642100937/29611932607664278700809087533235598664415092794736797545224228630562800458648240782373016525814942893037562002127286399959022141344352996662984605313132880004967784424225805388455682480461090942864665969728783965127808510853120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "21023/1024",
          "657/32"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 736,
      "root_certificate": {
        "lower": "5916847206146270463420445902947140304112270537227212427892292910194074510028411127374603241648252034169574980859857785997019152494504743949893596573393332679279117710043859707461544328276647253273813595570398711096201449475234914112411763864088475982389849938863078821412180110665183384246140104051067222538479861700764742185002989935549135488093078064025991014256739133031604606110294223546878853580275022085148457793672409325406663783550111844050837099538530779208129/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "5916847206146270463420445902947140304112270537227212427892292910194074510028411127374603241648252034169574980859857785997019152494504743949893596573393332679279117710043859707461544328276647253273813595570398711096201449475234914112411763864135855074562112784784373361465357068528247532717718980123425988347380342434601927436799816376853044116953177267429649254191174559182569400771069592047891461588223477163909746415201501294144409292133577395616891443743024396573121/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "3197/128",
          "25577/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "1/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": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "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": 989,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [],
      "integral_relative_error": "1.14566032594e-151"
    },
    {
      "params": {
        "nu": "0",
        "x": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 988,
      "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": 982,
      "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": 974,
      "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": 989,
      "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": 987,
      "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": 978,
      "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": 993,
      "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": 992,
      "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": 993,
      "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": 991,
      "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": 990,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [],
      "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."
}