{
  "f13-expanded": {
    "names": [
      "alpha",
      "amuq",
      "ammu",
      "xcp1",
      "e1245",
      "xcp4",
      "e3e2",
      "e1234",
      "e2345",
      "e1235",
      "e1345",
      "amel2",
      "e2e1",
      "e5e2",
      "e4e2",
      "e3e1",
      "e4e1",
      "e5e1",
      "ammu2",
      "amuq2",
      "e5e3",
      "e4e3",
      "x5",
      "x6",
      "x1",
      "x3",
      "x4",
      "xcp3",
      "xcp2"
    ],
    "terms": 105114,
    "max_total_degree": 10,
    "input_numerators": [
      [
        -8,
        10,
        -7,
        8,
        8,
        5,
        -9,
        -5,
        8,
        7,
        7,
        7,
        11,
        9,
        12,
        5,
        -11,
        -12,
        -5,
        -7,
        9,
        -6,
        -4,
        -9,
        -11,
        -7,
        -5,
        -6,
        -4
      ],
      [
        -7,
        -7,
        -12,
        -9,
        6,
        6,
        -5,
        -7,
        -7,
        4,
        -8,
        -10,
        4,
        9,
        8,
        -5,
        12,
        8,
        -5,
        7,
        -9,
        -10,
        -5,
        -5,
        8,
        -8,
        -7,
        5,
        12
      ],
      [
        -5,
        5,
        -7,
        -11,
        8,
        8,
        10,
        4,
        6,
        -4,
        -8,
        12,
        6,
        -11,
        12,
        7,
        9,
        -9,
        9,
        -9,
        -11,
        12,
        4,
        5,
        -7,
        -11,
        -8,
        -12,
        -5
      ],
      [
        11,
        -9,
        9,
        -12,
        -6,
        -12,
        5,
        -12,
        -12,
        -12,
        6,
        -4,
        8,
        4,
        4,
        -8,
        4,
        7,
        -4,
        -8,
        7,
        6,
        -6,
        11,
        7,
        5,
        -7,
        12,
        -9
      ],
      [
        -4,
        12,
        9,
        11,
        -6,
        12,
        7,
        -12,
        -4,
        4,
        -12,
        12,
        12,
        -4,
        9,
        -9,
        10,
        -6,
        -6,
        7,
        -8,
        4,
        6,
        -10,
        -9,
        -9,
        -5,
        6,
        -4
      ],
      [
        12,
        -7,
        7,
        -11,
        10,
        -5,
        4,
        5,
        5,
        7,
        8,
        -10,
        11,
        -5,
        -12,
        -4,
        -11,
        4,
        4,
        -9,
        -4,
        6,
        -8,
        -9,
        10,
        -4,
        -7,
        -4,
        4
      ],
      [
        -12,
        -6,
        -7,
        -7,
        10,
        -4,
        5,
        6,
        8,
        12,
        -11,
        -4,
        5,
        -11,
        -6,
        6,
        -4,
        -10,
        -7,
        -7,
        5,
        5,
        -11,
        -8,
        -12,
        5,
        4,
        9,
        -8
      ],
      [
        5,
        -12,
        12,
        -11,
        4,
        11,
        11,
        -6,
        -11,
        9,
        7,
        9,
        7,
        10,
        10,
        9,
        7,
        6,
        -11,
        -6,
        -11,
        -5,
        8,
        12,
        -4,
        -6,
        11,
        -6,
        -7
      ],
      [
        5,
        11,
        7,
        -10,
        10,
        -7,
        -10,
        10,
        11,
        -7,
        7,
        -4,
        -4,
        -10,
        -10,
        -5,
        -11,
        -7,
        5,
        12,
        5,
        -5,
        11,
        6,
        -11,
        10,
        -12,
        7,
        11
      ],
      [
        -5,
        -12,
        -5,
        -8,
        8,
        -8,
        8,
        6,
        -8,
        5,
        7,
        -8,
        -11,
        10,
        11,
        -6,
        10,
        4,
        -4,
        7,
        7,
        -4,
        10,
        6,
        11,
        4,
        -4,
        9,
        12
      ],
      [
        9,
        5,
        -9,
        -7,
        11,
        -6,
        -6,
        4,
        -6,
        -12,
        -9,
        4,
        7,
        -12,
        -8,
        -5,
        8,
        5,
        -9,
        11,
        10,
        9,
        5,
        -8,
        9,
        4,
        8,
        7,
        -9
      ],
      [
        9,
        -4,
        -6,
        5,
        -4,
        6,
        9,
        9,
        9,
        -11,
        9,
        12,
        -12,
        8,
        -10,
        9,
        6,
        7,
        8,
        -5,
        -11,
        10,
        -9,
        8,
        -8,
        4,
        -5,
        10,
        -5
      ],
      [
        8,
        9,
        -12,
        -5,
        5,
        -6,
        4,
        -7,
        6,
        -6,
        -12,
        -12,
        12,
        6,
        12,
        6,
        -11,
        -11,
        -10,
        5,
        -10,
        7,
        6,
        -9,
        -11,
        -5,
        12,
        -7,
        -4
      ],
      [
        -6,
        12,
        4,
        -5,
        7,
        -10,
        -5,
        10,
        -10,
        7,
        -10,
        8,
        -9,
        5,
        9,
        -11,
        7,
        -11,
        12,
        -6,
        -12,
        9,
        -9,
        -11,
        5,
        -10,
        8,
        4,
        -5
      ],
      [
        -10,
        -6,
        11,
        -11,
        4,
        8,
        -6,
        -12,
        -8,
        6,
        -8,
        10,
        -9,
        7,
        8,
        -10,
        9,
        9,
        -10,
        -12,
        11,
        11,
        10,
        9,
        -11,
        -5,
        7,
        6,
        12
      ],
      [
        7,
        10,
        -12,
        11,
        6,
        7,
        7,
        -5,
        -4,
        -4,
        -10,
        6,
        9,
        8,
        -4,
        10,
        5,
        -5,
        8,
        -11,
        -12,
        5,
        -12,
        -7,
        10,
        11,
        -11,
        -8,
        8
      ],
      [
        10,
        6,
        -11,
        6,
        8,
        11,
        8,
        -12,
        -12,
        -8,
        -9,
        10,
        -8,
        -12,
        7,
        9,
        6,
        11,
        -12,
        -7,
        -9,
        -7,
        7,
        11,
        -6,
        5,
        5,
        10,
        -9
      ],
      [
        -5,
        -9,
        -7,
        8,
        -12,
        -9,
        -4,
        6,
        -9,
        4,
        -9,
        8,
        8,
        9,
        12,
        -5,
        12,
        11,
        11,
        -11,
        -8,
        -12,
        -12,
        5,
        11,
        -4,
        -12,
        6,
        -8
      ],
      [
        -11,
        -9,
        10,
        8,
        4,
        -6,
        5,
        8,
        -8,
        -5,
        8,
        9,
        10,
        -11,
        12,
        -10,
        -7,
        -8,
        -6,
        9,
        -8,
        8,
        12,
        -11,
        -7,
        11,
        -5,
        7,
        -9
      ],
      [
        7,
        -5,
        -10,
        11,
        -6,
        -9,
        12,
        7,
        9,
        9,
        -11,
        -5,
        8,
        -8,
        5,
        -6,
        7,
        -5,
        -5,
        7,
        -12,
        -6,
        12,
        -4,
        6,
        8,
        8,
        8,
        -10
      ],
      [
        -7,
        -7,
        9,
        6,
        -9,
        12,
        11,
        4,
        -8,
        12,
        -7,
        -11,
        -5,
        -10,
        12,
        8,
        10,
        -9,
        -12,
        7,
        -4,
        7,
        4,
        -5,
        -4,
        -10,
        8,
        12,
        -6
      ],
      [
        -8,
        4,
        5,
        -11,
        10,
        4,
        9,
        -12,
        -8,
        -10,
        -11,
        -4,
        -6,
        5,
        5,
        11,
        6,
        -5,
        4,
        11,
        12,
        -9,
        12,
        5,
        -10,
        -5,
        -7,
        12,
        -4
      ],
      [
        12,
        11,
        8,
        -11,
        6,
        -4,
        11,
        -5,
        5,
        4,
        6,
        12,
        6,
        4,
        8,
        -8,
        -4,
        10,
        6,
        -4,
        4,
        -12,
        -10,
        7,
        12,
        8,
        -4,
        -9,
        7
      ],
      [
        4,
        -5,
        -8,
        7,
        11,
        -12,
        12,
        11,
        -5,
        -4,
        -11,
        -8,
        -5,
        -8,
        -7,
        -10,
        -5,
        -4,
        4,
        -8,
        -11,
        -6,
        8,
        6,
        4,
        11,
        7,
        12,
        7
      ],
      [
        5,
        11,
        7,
        -7,
        11,
        12,
        12,
        -8,
        12,
        10,
        -7,
        4,
        -12,
        6,
        12,
        -12,
        -8,
        12,
        8,
        -5,
        -8,
        6,
        -7,
        6,
        4,
        -5,
        -5,
        4,
        -6
      ],
      [
        -7,
        -6,
        -7,
        -5,
        -6,
        11,
        -7,
        10,
        6,
        -10,
        -8,
        -6,
        -4,
        -7,
        -8,
        10,
        -4,
        -8,
        10,
        5,
        4,
        -4,
        -7,
        -8,
        7,
        -12,
        -6,
        -11,
        -5
      ],
      [
        12,
        -8,
        -5,
        4,
        5,
        -5,
        10,
        -5,
        4,
        8,
        5,
        -11,
        9,
        -7,
        4,
        7,
        -11,
        -8,
        12,
        -9,
        7,
        -12,
        -5,
        9,
        -5,
        -11,
        -8,
        11,
        -7
      ],
      [
        -5,
        8,
        6,
        -7,
        5,
        8,
        -7,
        -5,
        9,
        5,
        10,
        8,
        -8,
        4,
        -4,
        -5,
        11,
        -11,
        -5,
        10,
        6,
        8,
        -5,
        10,
        11,
        10,
        -8,
        -8,
        -7
      ],
      [
        -9,
        -4,
        9,
        11,
        -5,
        -10,
        11,
        -11,
        6,
        -9,
        -12,
        12,
        -6,
        -6,
        -5,
        12,
        5,
        5,
        -6,
        -6,
        10,
        4,
        -5,
        9,
        8,
        -6,
        -7,
        10,
        6
      ],
      [
        -6,
        11,
        -5,
        4,
        11,
        -12,
        10,
        -5,
        -6,
        -5,
        -11,
        -6,
        -12,
        -11,
        -11,
        -7,
        8,
        -6,
        -6,
        6,
        -9,
        -7,
        -11,
        -5,
        -6,
        -6,
        11,
        9,
        10
      ],
      [
        11,
        -10,
        -4,
        -4,
        10,
        -7,
        10,
        6,
        8,
        -5,
        5,
        -11,
        4,
        4,
        -7,
        11,
        -5,
        8,
        -11,
        -6,
        -7,
        -12,
        -8,
        6,
        -5,
        6,
        -9,
        4,
        10
      ],
      [
        -5,
        11,
        -4,
        11,
        -11,
        -6,
        -6,
        5,
        11,
        -6,
        12,
        -9,
        -10,
        12,
        -11,
        6,
        -10,
        10,
        -4,
        5,
        8,
        -6,
        6,
        7,
        -11,
        -11,
        -6,
        11,
        -7
      ]
    ],
    "input_denominator": 8,
    "expected": [
      1293864.470935464,
      -149780.81508994102,
      -39018.499004244804,
      3294.2235513925552,
      847034.2066369057,
      71807.86657476425,
      78364.52078676224,
      -3192784.470076561,
      -59936.902666568756,
      80925.87481498718,
      -37171.643770337105,
      -14502.68231678009,
      -3320.769956588745,
      598560.1415205002,
      -43504.106937646866,
      423911.57452583313,
      -13945.885622262955,
      -308297.5228174031,
      109454.01314735413,
      8492.223930358887,
      -404483.8282481432,
      -51017.840069532394,
      13660.384737968445,
      293826.0195493698,
      -153507.89856004715,
      -252108.07024383545,
      -16150.996248722076,
      110788.47738933563,
      14233.75404381752,
      548981.9888806343,
      -1545304.0342712402,
      109467.85919880867
    ],
    "sum_absolute_terms_over_absolute_result": [
      44.060503924345156,
      388.6009371652339,
      2058.569949948801,
      14215.667400495633,
      279.32332145357475,
      550.5225793250542,
      230.8777704628466,
      175.63756047381796,
      1766.355227867545,
      900.957138429056,
      641.3103708578443,
      3832.789477681608,
      75130.93645437197,
      202.83216104660474,
      6571.698788441595,
      722.226962752128,
      12002.321243990122,
      653.4596383147643,
      2517.785291368067,
      8385.402143298432,
      249.3670705438381,
      442.01189686152236,
      13014.86813219477,
      199.30280347793544,
      636.9069466522988,
      128.45699488794784,
      4681.871475923125,
      439.4023022899751,
      5052.199055164894,
      250.05213448474024,
      39.020403916850775,
      631.243095646215
    ],
    "batch_size": 4096,
    "seed": 130013,
    "input_sha256": "fe8e3d88c7a7027e445649f39fe780c9db756677c10812e5a6039f39e8fb629d"
  },
  "nested-original": {
    "names": [
      "x0",
      "x1",
      "x2",
      "x3",
      "x4",
      "x5",
      "x6"
    ],
    "input_numerators": [
      [
        8,
        -11,
        1,
        4,
        2,
        -7,
        9
      ],
      [
        -11,
        -7,
        -3,
        4,
        -1,
        -3,
        -6
      ],
      [
        -8,
        11,
        5,
        3,
        -12,
        7,
        2
      ],
      [
        -1,
        0,
        -1,
        11,
        9,
        10,
        12
      ],
      [
        1,
        7,
        -1,
        5,
        -5,
        0,
        -11
      ],
      [
        6,
        -11,
        10,
        7,
        -9,
        5,
        0
      ],
      [
        11,
        7,
        6,
        -3,
        -1,
        -12,
        6
      ],
      [
        -3,
        6,
        2,
        6,
        3,
        1,
        2
      ],
      [
        1,
        -5,
        -12,
        -4,
        0,
        -9,
        -6
      ],
      [
        -7,
        2,
        -3,
        5,
        2,
        -9,
        10
      ],
      [
        2,
        -8,
        8,
        -1,
        -4,
        4,
        2
      ],
      [
        2,
        -6,
        -2,
        -9,
        -11,
        11,
        4
      ],
      [
        8,
        3,
        -11,
        -3,
        -1,
        1,
        -7
      ],
      [
        6,
        -7,
        10,
        5,
        2,
        2,
        -7
      ],
      [
        2,
        11,
        5,
        -4,
        4,
        2,
        4
      ],
      [
        11,
        5,
        7,
        10,
        9,
        -9,
        -4
      ],
      [
        1,
        10,
        -9,
        -10,
        3,
        11,
        -4
      ],
      [
        6,
        -12,
        8,
        -4,
        -3,
        11,
        -11
      ],
      [
        -7,
        7,
        8,
        3,
        -4,
        -5,
        -6
      ],
      [
        -10,
        -3,
        3,
        -3,
        9,
        4,
        -4
      ],
      [
        1,
        -3,
        3,
        0,
        -12,
        11,
        4
      ],
      [
        -5,
        10,
        -9,
        -3,
        11,
        9,
        -7
      ],
      [
        -7,
        -3,
        -4,
        11,
        6,
        -7,
        6
      ],
      [
        -10,
        -5,
        8,
        2,
        -10,
        -1,
        0
      ],
      [
        10,
        -3,
        11,
        3,
        -11,
        -2,
        10
      ],
      [
        -7,
        10,
        1,
        -11,
        10,
        -9,
        -9
      ],
      [
        11,
        -1,
        -8,
        12,
        11,
        -5,
        9
      ],
      [
        5,
        -7,
        8,
        11,
        9,
        5,
        -11
      ],
      [
        9,
        3,
        -10,
        11,
        -11,
        3,
        12
      ],
      [
        -4,
        0,
        -9,
        9,
        9,
        9,
        12
      ],
      [
        -9,
        6,
        12,
        -8,
        8,
        6,
        -3
      ],
      [
        -7,
        4,
        12,
        -10,
        0,
        5,
        -8
      ]
    ],
    "input_denominator": 16,
    "expected": [
      -0.06056972406055486,
      0.16424467278598764,
      -1.0748311567647686,
      -0.9955277546285298,
      -0.03563810242724207,
      0.04451180576128822,
      0.6931108069627067,
      -0.0001370007064139696,
      0.06355482418080079,
      0.05836597569811888,
      -0.0007546647159979964,
      -0.006015667081621417,
      0.1091970324653582,
      -0.06112316630131154,
      0.10657027432830102,
      1.2755495797659722,
      0.021883613643094702,
      -0.05484448420950937,
      -0.05106749032336919,
      0.20961710043402748,
      0.1400521290351711,
      -0.7423483932032581,
      0.11991643631056806,
      -0.24075641539093204,
      -0.057497422667237584,
      -0.18720080018132726,
      -0.12876911930304208,
      -0.31843183364210326,
      3.25901205723186,
      -0.6329388373949766,
      -0.018583374552808805,
      -0.16612709288010277
    ],
    "expected_120_digits": [
      "-0.0605697240605548575997979757480992423211895662540299566580523036230529453862192157804306371591745713098874110378582431319",
      "0.164244672785987647195878304552186803666919764822733798327531865648333019694916926152409085398539295839763474266427554496",
      "-1.07483115676476856434188371262014333463929511859888325234017849404807708228857422314075375186072276364312995465859696292",
      "-0.995527754628529805063379077771413251621237141809413582449665514817891990187037658522569960030494698667191340942568825784",
      "-0.0356381024272420700988513111933466667802858570478245347917770249075125413292146444342852287541005587505412798868610374734",
      "0.044511805761288224940580123102478984087075458147198605401181996207573314424365672281509578794927963101404619841162303866",
      "0.69311080696270665025234716120187039597679180666667380129340551247250999144058211898051139739266273453221598260056237993",
      "-0.000137000706413969601333619742986136536061948271974330277254527968947863500124901481150910620872053202482787501049076999022",
      "0.0635548241808007907893594789473874588432371495828973772189295797057234214545834018243538575866316481420764569324700587485",
      "0.0583659756981188793064144488537873312371501597783691004536251603857797513544948999356127789448444063787867214927258847189",
      "-0.000754664715997996393122068714548823953848588773554090792870013093144955545574058190994807881849895296721522460479706308753",
      "-0.00601566708162141659539281722897420815988784321327066903433340320898745087960000433298308931670777434739704497843144119651",
      "0.109197032465358190730303712244070781735422625701155846466352230077412823076734362954392170515124835683309043081669610454",
      "-0.0611231663013115375516728632810406335756904230829174066720323360220706180266737419238444057273183697655374190286774038462",
      "0.106570274328301011752177138477468243267184879554470764192711542489716871827439980576017533707102733746842254925965235782",
      "1.27554957976597226634836490279305998084590324534673871659272353983713389175890129102922569331068116695993638666746352288",
      "0.0218836136430947026594799920461010704451535294541148229201547991022901482294850740732522653519262824899143900506457534418",
      "-0.0548444842095093660621799624061948086833507464234859282744253662250052679216746736706513164343596787898905576057895785435",
      "-0.0510674903233691893524574704279737135182044302385883487204904170408140697282596195367272718578868556793276034323315309144",
      "0.209617100434027481065254752316949866321080165382556473249030212810767187321323754959368197123101295902451567563596979991",
      "0.140052129035171105150855570224308026944832083238501360908946019802213033262438711034369213267318937405350454533475051012",
      "-0.742348393203258080393124357147363888213394420361901842206991226351170180186993135101330992011588715165828638854960533537",
      "0.119916436310568053600734976324089385909367488790348685687957844134154967619615987609510158740398534433685456169583092032",
      "-0.240756415390932035305334068611676084996766606454480481019036766155833481932582889701036853589501817254298531260612739191",
      "-0.0574974226672375839135290476929237843974964119775261889685067164776815383402994925907745771598053491305679488768751780302",
      "-0.187200800181327265149962965590528495079965766468242870371749953216397670173415484917393861437963981201041666377498023234",
      "-0.128769119303042071472413718806753105311776560248103020288345417712970397720430195032221392165667348187155285107715428438",
      "-0.318431833642103260593933343805110723731054113338026729493727990827895813861859069629469598443034244291883130745517903467",
      "3.25901205723185978314282058545491062791601626933031723640556856800808475420419052031112136769737372042752078132516216611",
      "-0.632938837394976562218713182798940375573892457361840285471346611830022764439651984678449063206217128935771862550545332554",
      "-0.0185833745528088055650905727961227269057930548830108754522225095129128322913066114534031528373040412200300982638401775032",
      "-0.166127092880102772102122119677591565664987560277204766021756013836118639890631984482081382837191407485769618474811875134"
    ],
    "batch_size": 1024,
    "reference": "Independent iterative parser and mpmath evaluation at 80 and 120 decimal digits",
    "source_bytes": 732842,
    "source_function_occurrences": {
      "exp": 8,
      "sin": 8,
      "cos": 8
    },
    "input_sha256": "0346830b5da0330869d718cdce3dd3ed3071c9448edb4b3cc3304862733d2d84"
  }
}