back to table · edit · history · where entries came from · files · download
11620 bytes, as of the version from 2026-10-27 01:00 (current). Recorded here, not run.
{
"tid": "T51",
"entries": 29,
"digits": 100,
"controls": {
"gamma_1_1_equals_exp_minus_1": true,
"beta_half_half_at_half_equals_pi_over_2": true,
"rational_beta_2_2_at_half_equals_1_over_12": true,
"hypergeometric_at_zero_equals_1": true,
"polylogarithm_at_zero_equals_0": true
},
"records": [
{
"parameters": {
"a": "1",
"b": "sqrt(2)"
},
"number": "1.198140234735592207439922492280323878227212663215651558263674952946405214143915670835885556489793389",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1/sqrt(2)",
"b": "1"
},
"number": "0.8472130847939790866064991234821916364814459103269421850605793726597340048341347597232002939946112299",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "1"
},
"number": "1",
"exact_result": "1",
"stored_exact": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "2"
},
"number": "1.456791031046906869186432383265081974973863943221305590794172383267926454580250900257473712818448444",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "3"
},
"number": "1.863616783244896542355689031024270595157532856826853722220441226978325794579357223412777796614727710",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "4"
},
"number": "2.243028580287602570127802192829066540508973142406609975918823701387404804228999572241115059094195022",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "5"
},
"number": "2.604008190530940288696427448725034330927065255637649487748413254455679280568518526956121116854328855",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "6"
},
"number": "2.951328742390572760219270635177090504120654922946806134466697995198185549266872303981975340287141917",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "7"
},
"number": "3.287921981826418106223098714072612344643650010569253540046217265736608471272099543542450019040641738",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "8"
},
"number": "3.615756177597362748733192906502120611643324561464556329010802999458975229689874716887911805712572257",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "9"
},
"number": "3.936235503649555477978926175500747897827897640737163942458201226349598978791472980786266544198726912",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "10"
},
"number": "4.250407094932274861728164318373134866798467864190192859670147662223755312740903784525285460787617179",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "11"
},
"number": "4.559078717091160669597575844661316136795084548014541710542427667751288633913257693101651331654131486",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "12"
},
"number": "4.862890376598251977741808909636041298369186248916010562049178110999654725956168152953347061084770534",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "13"
},
"number": "5.162360281696470422035921077342339787076734739061128968529271051127546278985209694179638759086855265",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "14"
},
"number": "5.457915625839004704472692470141994295833656411332850364902539033883678209185291010563280629355044786",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "15"
},
"number": "5.749913939609722414938736462396561539239740421701891649834623458756035031405475865714890677001391060",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "16"
},
"number": "6.038658340417193651451838056751828375285039544140860144834880855132210563234114876933556470316225721",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(3)"
},
"number": "1.340933408990525735227339312519361901602872987191217883135600277575615405018736227980871202038603784",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(5)"
},
"number": "1.556086778541937427975619106435818475364867272775271970614859784257178841152580415078209492365340376",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(6)"
},
"number": "1.643945443135381154956134178599033804502658013450571327015822644328614669331413343709529634439601787",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(7)"
},
"number": "1.723328335951541379469884045371297413268308107360689232279036253395920224032973670029271341638766519",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(8)"
},
"number": "1.796122982928329497635119641583339163679491232044118809647290141033559067919515803435307777433394574",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(10)"
},
"number": "1.926732604773774420758583099338140427466787708574274354600292655904593106771750156362471615149291493",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(11)"
},
"number": "1.986157740820355049770889427321746921119234510263253193329537584756095047720600549284154514624255670",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(12)"
},
"number": "2.042419760637451473867200450647654649887107606943397041594016990132347735408649391024914045620498297",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(13)"
},
"number": "2.095933702997821789181167011460489520611291622836739224656233689842893167707710977872441223743713635",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(14)"
},
"number": "2.147032798015794840857659526557912822979862818110060488340851499641581594093529507118392192876935286",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"a": "1",
"b": "sqrt(15)"
},
"number": "2.195989224672134794956186113497215678550240553774379157283724683491526363810331272242792961851169098",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 489,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
}
],
"rigour": "proven",
"minimum_certified_accuracy_bits": 488,
"working_guard_bits": 160,
"identity_checks": 0,
"exact_rows": 1
}