back to table · edit · history · where entries came from · files · download
49499 bytes, as of the version from 2026-10-26 15:41 (current). Recorded here, not run.
{
"tid": "T94",
"entries": 189,
"python_flint": "0.6.0",
"mpmath": "1.3.0",
"working_bits": 493,
"minimum_certified_accuracy_bits": 488,
"identity_checks": 21,
"exact_rows": 99,
"nonzero_control_passed": true,
"records": [
{
"parameters": {
"x": "1/2",
"s": "0"
},
"number": "0",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "1/2"
},
"number": "-0.604898643421630370247265914235955499759762545130247380378546648082187253495060357327403956918349554",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-1"
},
"number": "1/24",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "2"
},
"number": "4.934802200544679309417245499938075567656849703620395313206674688110022411209602621500886701859276115",
"certified_accuracy_bits": 497,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-2"
},
"number": "0",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "3"
},
"number": "8.414398322117159997798167130580149935354904046383492172545900887392867440504191631305191115265346807",
"certified_accuracy_bits": 498,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-3"
},
"number": "-7/960",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "4"
},
"number": "16.23484850566707287274005544811751854162126427878090361524464323166180924280453269835364453912549875",
"certified_accuracy_bits": 499,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-4"
},
"number": "0",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "5"
},
"number": "32.14476040944446771627233008016805920976950850455929717119997301501791128337472602136133630327113342",
"certified_accuracy_bits": 500,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-5"
},
"number": "31/8064",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "6"
},
"number": "64.09261290502029580201462957682799325781450187206977439607174583227292752282334756661476061012771574",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-6"
},
"number": "0",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "7"
},
"number": "128.0603582275041990086542888309241884691826721917853157149949583445933877463041783889543150520591181",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-7"
},
"number": "-127/30720",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "8"
},
"number": "256.0397258304758065415647358197063786410350016157117551839231016764086529065609476707982437449548526",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-8"
},
"number": "0",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "9"
},
"number": "512.0262887341280115675227650777625629081445900627881545963328707299001622824220418636508583239836585",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-9"
},
"number": "511/67584",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "10"
},
"number": "1024.017450355757901299900315955026354397157980790460500154718141512926168850406952348173933888424522",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/2",
"s": "-10"
},
"number": "0",
"exact": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "0"
},
"number": "1/6",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "1/2"
},
"number": "-0.118083327934221719094454170794102733145883537707991498915725290287637208406276710158079046042925204",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-1"
},
"number": "1/36",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "2"
},
"number": "10.09559712542709408179200409989251636051890411928097814194168320083102131254508547675242867122397919",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-2"
},
"number": "-1/81",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "3"
},
"number": "27.56106119970080377622787797740750928454209531301488108286446031855695818017193319714478144925225572",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-3"
},
"number": "-13/3240",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "4"
},
"number": "81.36396942396904029262846038701759877256406348918475617709462160986569294762753996597580083920752837",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-4"
},
"number": "1/243",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "5"
},
"number": "243.2552899644188750622367864472924936516933560790675043589542498693177675224814831504573116405904792",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-5"
},
"number": "121/61236",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "6"
},
"number": "729.1851269683050198294046987264106157086812142094442012396994831697000326571877903398898562832139889",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-6"
},
"number": "-7/2187",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "7"
},
"number": "2187.136405211307613421908035527481041164135476102894927623721421707753520184137845291494795761880309",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-7"
},
"number": "-1093/524880",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "8"
},
"number": "6561.101326791542015765966785009244563311871278246751390764199152186151444939797401715431025774482362",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-8"
},
"number": "809/177147",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "9"
},
"number": "19683.07559436060070226411091341654961910071301324986541286022285514733842001902645914690201414458519",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-9"
},
"number": "9841/2598156",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "10"
},
"number": "59049.05652895576589396163505673037324116931135174361071569061828009063702321261775229521634778654452",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/3",
"s": "-10"
},
"number": "-1847/177147",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "0"
},
"number": "-1/6",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "1/2"
},
"number": "-0.950970369576687437180062727168834864862466022701437925449407172954472452266984832316328472300344077",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-1"
},
"number": "1/36",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "2"
},
"number": "3.063875409358717409987317233275685153232695090373409359942782634129038450680521513916602533734090446",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-2"
},
"number": "1/81",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "3"
},
"number": "3.692418282448647644165314221890190475347548287838089843734600120330835170272207147703071264590460987",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-3"
},
"number": "-13/3240",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "4"
},
"number": "5.221889272922015028651835336275833449416012664313396437543475625663956347329967758576970036128465000",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-4"
},
"number": "-1/243",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "5"
},
"number": "7.681226780276647109953661275309775018120226440395396138800378183402701205798636113073120146235788184",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-5"
},
"number": "121/61236",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "6"
},
"number": "11.44062215637395388276435416137952860384191853447319178157402422545379649543755931876959965603961520",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-6"
},
"number": "7/2187",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "7"
},
"number": "17.11511514557568604988940844417467532116626729271688460445951483776731141760179217507317828379868474",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-7"
},
"number": "-1093/524880",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "8"
},
"number": "25.64612986697285055820837960751560878691150841626474259476377721479272395055482071765320546827776828",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-8"
},
"number": "-809/177147",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "9"
},
"number": "38.45359324234944190806729061578455537698135390433509352925573918905100080803934899473437241636660413",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-9"
},
"number": "9841/2598156",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "10"
},
"number": "57.67114319163640902615952441566407500212994807565772334730627519310141107753837894131781471950749412",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/3",
"s": "-10"
},
"number": "1847/177147",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "0"
},
"number": "1/4",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "1/2"
},
"number": "0.239963524495630955337574310160577225897864436801770042667628937450089970799560852126575361457251515",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-1"
},
"number": "1/96",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "2"
},
"number": "17.19732915450711073927131911933522402150689440149416770054533433319414898062924339883662550712747308",
"certified_accuracy_bits": 498,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-2"
},
"number": "-1/64",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "3"
},
"number": "64.66386996876846016666898358942199494364490475141907638432814165337786467948247256278746549366427342",
"certified_accuracy_bits": 500,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-3"
},
"number": "-7/15360",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "4"
},
"number": "256.4636906681980660037985406381725094614003077742771695020521732630884188637825907275536963449783815",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-4"
},
"number": "5/1024",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "5"
},
"number": "1024.348974526580572231592798021748291490146647119740405661686974384011567423352323818087214974846666",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-5"
},
"number": "31/516096",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "6"
},
"number": "4096.270948064010767048866559996198797991354650373334295229946838751185397971242793336499853459200729",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-6"
},
"number": "-61/16384",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "7"
},
"number": "16384.21345519957167514794542195223925078161906440846189589337973562603080264837073854843660815358773",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-7"
},
"number": "-127/7864320",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "8"
},
"number": "65536.16938670901741620606758211393365745829177159850765229054509593862012080375191803325135946012871",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-8"
},
"number": "1385/262144",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "9"
},
"number": "262144.1349217240825743509781002783992122858405081048305721835993467866193378546960827828761948791914",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-9"
},
"number": "511/69206016",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "10"
},
"number": "1.048576107683114753926745099997368583807477957060385151250594582192326177389373061288826576240448215e6",
"certified_accuracy_bits": 499,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/4",
"s": "-10"
},
"number": "-50521/4194304",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "0"
},
"number": "-1/4",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "1/2"
},
"number": "-1.095419389883587397979807548439919738605331222684104152831968377193433246779001120075590780002258780",
"certified_accuracy_bits": 497,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-1"
},
"number": "1/96",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "2"
},
"number": "2.541879647671606498397662880417078249120504412987413552281364419245940664209167087166921300309631381",
"certified_accuracy_bits": 497,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-2"
},
"number": "1/64",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "3"
},
"number": "2.651316608168819815716353455219204539194327619648860996039065445765074844551060487654063428458501035",
"certified_accuracy_bits": 497,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-3"
},
"number": "-7/15360",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "4"
},
"number": "3.293885422475099960042346531707787204539920686217288341862118443500529021089932446104616281029598543",
"certified_accuracy_bits": 498,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-4"
},
"number": "-5/1024",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "5"
},
"number": "4.283358575642394689121764543629603222477625026157103816712162096561593644638908865475546729829603337",
"certified_accuracy_bits": 499,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-5"
},
"number": "31/516096",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "6"
},
"number": "5.656277857288164280069732920792770508773469439131266118644894514281963489451450926844825588973077811",
"certified_accuracy_bits": 500,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-6"
},
"number": "61/16384",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "7"
},
"number": "7.512397920965797959803548406056873273762976140058515625974932481922828878564095237715718509979389233",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-7"
},
"number": "-127/7864320",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "8"
},
"number": "10.00042589278905843450478773089927464666864202370167479376893322199502327585068569109903924831356489",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-8"
},
"number": "-1385/262144",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "9"
},
"number": "13.32491014945934822067761953603299668418960404270458113883046692226375074538935140636326700044167789",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-9"
},
"number": "511/69206016",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "10"
},
"number": "17.76148118133700435282354057840309521181526904640090783679471691021951344365791570353206129849587431",
"certified_accuracy_bits": 501,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/4",
"s": "-10"
},
"number": "50521/4194304",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "0"
},
"number": "3/10",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "1/2"
},
"number": "0.532174445889806671755534973682753163907785372688433310392490811569029588536463186427013369377006992",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-1"
},
"number": "-1/300",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "2"
},
"number": "26.26737720542377912330246621503190788838988399080040938445663873863547305090742040997292929530322331",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-2"
},
"number": "-2/125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "3"
},
"number": "125.7390180572179665295990450183751810318670140080030728087917456338750718509241827534676472634140045",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-3"
},
"number": "29/15000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "4"
},
"number": "625.5408324774542966919937573694648175518266362163601873959594684219451756031007481803297908479664132",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-4"
},
"number": "74/15625",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "5"
},
"number": "3125.425520748860842139697326202328066131604329611228222410317162446036094974051555959611068691983475",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-5"
},
"number": "-4537/3937500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "6"
},
"number": "15625.34491398681477095949518389630450910838137410614560763486851789108982014592330292412254650716668",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-6"
},
"number": "-278/78125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "7"
},
"number": "78125.28343945023873232532559418550167233249467099440300762281115254535536264672969959076853092252969",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-7"
},
"number": "23789/18750000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "8"
},
"number": "390625.2344941637267702957200471310783276487969835899003670134914979076237239819387419760776698860561",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-8"
},
"number": "9826/1953125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "9"
},
"number": "1.953125194666358282328038433493928263415015939415316239943147822296141735735913645160795901123882154e6",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-9"
},
"number": "-15034541/6445312500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "10"
},
"number": "9.765625161891642127719095943452167829820539578605226365169695885567770681715956085648576027568307078e6",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "1/5",
"s": "-10"
},
"number": "-559526/48828125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "0"
},
"number": "1/10",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "1/2"
},
"number": "-0.338253094704176860308446788794021337302279787188541222813123493038699840685444046691641052126198010",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-1"
},
"number": "11/300",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "2"
},
"number": "7.275356590529597437537027549009956633947223294273610399702948252591549141138142005773652939442825857",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-2"
},
"number": "-1/125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "3"
},
"number": "16.11956431178917847526563373333078988139648151118044162244746165123216647793720447163213288797295065",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-3"
},
"number": "-91/15000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "4"
},
"number": "39.36587650565784908039775595817582883474593740138412624029024040012626104336992183122691050678510939",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-4"
},
"number": "43/15625",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "5"
},
"number": "97.85796972866625627771007425557579418311558842525579166114181711188350416758333219695897956608696317",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-5"
},
"number": "12347/3937500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "6"
},
"number": "244.2795205771564119835815291193307240746833608159617907912985502849020157497607815043744798738565136",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-6"
},
"number": "-169/78125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "7"
},
"number": "610.4488402761203393342502241494892325983465217745482789211648773363179450197583479557097363153320351",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-7"
},
"number": "-62851/18750000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "8"
},
"number": "1525.947640117580219726525174009511321291983016416641818979554528237311948901861736764330091465724601",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-8"
},
"number": "6047/1953125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "9"
},
"number": "3814.746062834144376141616942002989074826972698932998777512750473947787507823796234907348126186345873",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-9"
},
"number": "39448591/6445312500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "10"
},
"number": "9536.777898666596874548990813622451851459818049191352822783630556970057791560271277006130380284121939",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "2/5",
"s": "-10"
},
"number": "-345433/48828125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "0"
},
"number": "-1/10",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "1/2"
},
"number": "-0.823401063598787756167436211412559211436591352099019193494026522648888474338718786401079672905666199",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-1"
},
"number": "11/300",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "2"
},
"number": "3.636209670902357675994414753710295290927094622046135053847282972777570448220480884187711787862108550",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-2"
},
"number": "1/125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "3"
},
"number": "4.981415768571729079787502059245503474882889555367658878004468568641562692521117861901821480886473638",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-3"
},
"number": "-91/15000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "4"
},
"number": "7.901173507557629232949738279653828547807077121950667571998877743184762553552445535721032953983785256",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-4"
},
"number": "-43/15625",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "5"
},
"number": "12.96636383038591045695417371555913860734416996982852797760968167412752123534171995793488113052221801",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-5"
},
"number": "12347/3937500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "6"
},
"number": "21.49693256473723858930765933100398148344356326200081447328617078879034279895392207873530664357277352",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-6"
},
"number": "169/78125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "7"
},
"number": "35.76110823383758590763019160412171109236002707390163591619186241403714515333416569149126782681831625",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-7"
},
"number": "-62851/18750000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "8"
},
"number": "59.56122190301949505942116905656409493354634482407120772444940159960588737839534803163760148920441006",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-8"
},
"number": "-6047/1953125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "9"
},
"number": "99.24377739741052680554505224913172085670275451948961774091638482704594705186960837926239157174343531",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-9"
},
"number": "39448591/6445312500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "10"
},
"number": "165.3908856767040688928449169622095687065576104540665647721408525701410120356560322012118654033117015",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "3/5",
"s": "-10"
},
"number": "345433/48828125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "0"
},
"number": "-3/10",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "1/2"
},
"number": "-1.175617731723806841901564042586502651424715631857092474774260107728303901331851225565691581631706418",
"certified_accuracy_bits": 492,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-1"
},
"number": "-1/300",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "2"
},
"number": "2.299474137501700238504055481752444727990595721843007667646527540875586649410777672072799592266051203",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-2"
},
"number": "2/125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "3"
},
"number": "2.215057854210817304915351216468324466711915175670688032997997008639136496120318096118926695284143190",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-3"
},
"number": "29/15000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "4"
},
"number": "2.561815345080456500645055034394296397064943257590609185928571871875065300645444704233878518885440435",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-4"
},
"number": "-74/15625",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "5"
},
"number": "3.112452759974640984824205518311742088256704517663082558309264539435294115366749651069735495891886266",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-5"
},
"number": "-4537/3937500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "6"
},
"number": "3.846633316324937367243762706703113271488166089195837326339727438903846965552190013228298287077529459",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-6"
},
"number": "278/78125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "7"
},
"number": "4.785558225142266465137774526409430956539585755855777683659869224083439245277254940510064361040783829",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-7"
},
"number": "23789/18750000",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "8"
},
"number": "5.969831281483140377876217006706845441973541976400947320848373218021706296485047572633714136443726196",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-8"
},
"number": "-9826/1953125",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "9"
},
"number": "7.455723459161721668676566105189013188828031021979406819727697266453427005734187505001104293726762037",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-9"
},
"number": "-15034541/6445312500",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "10"
},
"number": "9.316062037933139942888557216508889686527649947405435826735978728322563132780412875207854834267238639",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"x": "4/5",
"s": "-10"
},
"number": "559526/48828125",
"exact": true,
"mpmath_150_200_pass": true
}
]
}