back to table · edit · history · where entries came from · files · download
18382 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"table": "T191",
"records": [
{
"params": {
"x": "2"
},
"retained": true,
"written": "1.045163780117492784844588889194613136522615578151201575832909144075013205210359530172717405626383356",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10"
},
"retained": true,
"written": "6.165599504787297937522981752669522749130602806376581578932338490205589934760180157228276724309143254",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100"
},
"retained": true,
"written": "30.12614158407962992590174133903218497959990703890315154216356044099095339144004461735322234139553627",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000"
},
"retained": true,
"written": "177.6096579901522266876406239486993179785577025645480810681284511852751362573542630364773157199519343",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 906,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000"
},
"retained": true,
"written": "1246.137215899388459692771107529059792486534653514072285774809081409016981733687861836397912132822135",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 906,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100000"
},
"retained": true,
"written": "9629.809001050798205034259560580094958897668987629031163363379794260332987106089243105737290935056553",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 905,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000000"
},
"retained": true,
"written": "78627.54915946218191986291074794726116132187438242176707475931789394167624357802172453432702851546268",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 905,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000000"
},
"retained": true,
"written": "664918.4050485689123292128866011957931533265951242896704016376596538895257268980267843693643510260594",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 904,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100000000"
},
"retained": true,
"written": "5762209.375448031467569073609368981565599778125345746898577936231379153622019481878609558922124405586",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 904,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000000000"
},
"retained": true,
"written": "50849234.95700179800400878908022360785563359242887901959079424663250024819164245918838010382482384246",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 904,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000000000"
},
"retained": true,
"written": "455055614.5866230756095294565839217624488629330581957006107933942661284107341951220768250897123004853",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 904,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100000000000"
},
"retained": true,
"written": "4118066400.621611515039435328363888982149828490104138254840340007343271232824015426400621634421194178",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000000000000"
},
"retained": true,
"written": "37607950280.80486548953492709097818869279517315682222599982647854380532130506337047267215579865356049",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 904,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000000000000"
},
"retained": true,
"written": "346065645810.0503352144904675396792666603457677866237607904466014788649036628244926752371229782648783",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 904,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100000000000000"
},
"retained": true,
"written": "3204942065691.953988072328915392097804375703608868849568620990123082154144406649958448052111992287977",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000000000000000"
},
"retained": true,
"written": "29844571475287.58106490589058598594308149535013999906466925702605488461494751932061564151921187834778",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000000000000000"
},
"retained": true,
"written": "279238344248556.7927813936332216188213887549024553079095023638798116214373662550455374357157306057292",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100000000000000000"
},
"retained": true,
"written": "2623557165610821.778069124873574285405756091484733160998097090634270440095820712006083867586053646908",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000000000000000000"
},
"retained": true,
"written": "24739954309690415.02218938383725843483282112195906457058271503009713781540303193599378308818585604821",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000000000000000000"
},
"retained": true,
"written": "234057667376222382.2232510309771484401121240823077407408753245166317451273058727287787502679313142346",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "100000000000000000000"
},
"retained": true,
"written": "2220819602783663483.548305532067778823947751781788595977681676146360558159071139757660984123841602350",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 902,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "1000000000000000000000"
},
"retained": true,
"written": "21127269486616126182.33305833593592352819698972996559598656203540556796488788914583864214152788382314",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "10000000000000000000000"
},
"retained": true,
"written": "201467286691248261498.1505286717817039976105789431935817938808923600260738959111839625517552880452760",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "3"
},
"retained": false,
"written": "2.163588594667191972876922367347721366542116212453868873985823001863092853305919390199866424856772226",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "5"
},
"retained": false,
"written": "3.634588310032651864392342706860811271370411550229815556665838870218151370805808813685376286938805576",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "7"
},
"retained": false,
"written": "4.757051765997606069292390575450131824861568757165315950696408010698927727109200529964652542349845415",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "11"
},
"retained": false,
"written": "6.591009215721214087782454444587523253210901960225267317131158051648235128544200027474424576960244917",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "13"
},
"retained": false,
"written": "7.396547948188126599235034804933501798495305794791972618374405168216896334745751219251436437199606983",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "17"
},
"retained": false,
"written": "8.876464600018383278257414602263823491591318320619044136398149327861307200465228798123964702539690378",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "19"
},
"retained": false,
"written": "9.568625832887769196695123543746984835891510919840938530378155368833341761846179513199042868305026966",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "23"
},
"retained": false,
"written": "10.88354705428284581621873343958236761167006069765757525357048878522907689079539630871534751961141106",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "e"
},
"retained": false,
"written": "1.895117816355936755466520934331634269017060581732707591646228431882513834533804153548900710126138957",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "exp(2)"
},
"retained": false,
"written": "4.954234356001890163379505130227035275518053562420042054527095254570707913298407190883096971852850163",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "exp(3)"
},
"retained": false,
"written": "9.933832570625416558008336019216765262990653022987582119693034065242496228332697443187187398902087851",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 908,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "exp(4)"
},
"retained": false,
"written": "19.63087447005622002264572027972383885313207975115315216815404620859056206761114761767084729515828299",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "exp(-1)"
},
"retained": false,
"written": "-0.2193839343955202736771637754601216490310472934069082075779786130735686985591415447222102510351372500",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 905,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"x": "exp(-2)"
},
"retained": false,
"written": "-0.04890051070806111956723983522804952231449218496302311632732287371169292871415219127926896100745164177",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 902,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
}
],
"all_new_values_independently_checked": true,
"counts": {
"total": 37,
"new": 14
},
"controls": [
"integral exp(t), 0..1 = e-1, nonzero",
"W_0(e)=1",
"rho(2)=1-log(2)"
],
"working_bits": 733,
"second_working_bits": 912,
"delay_degrees": [
320,
420
],
"versions": {
"python-flint": "0.6.0",
"mpmath": "1.3.0"
},
"limitations": [],
"baseline_revision": "4662bdca35fd07ea6d4aad67a83a39e0cf710e7b97bbe84ffcce17baffcdfbb7",
"baseline_stale": false,
"retained_leaf_metadata_and_numeric_strings_unchanged": true,
"reused_independent_evidence": {
"path": "agents/runs/coverage-20261027/remaining/offline/T191/coverage-checks.json",
"sha256": "bcf02a2b8916f559817ad69a136722035b62fc5964a06ff7db46adf1af656d4d",
"identical_number_strings_parameters_metadata_selection_and_numerical_code": true
}
}