{
  "date": "2026-10-29",
  "package_version": "3.0.2",
  "symbolica_revision": "symbolica-e227fe7",
  "hardware": "AMD Ryzen 9 5900X",
  "kernel": "7.2.11-arch1-1",
  "logical_cpu": 6,
  "node": "v26.12.1",
  "pyodide": "314.0.7",
  "pyodide_abi": "2026_0",
  "native_wheel_sha256": "25ddf0b492b1f00a856decdac6f957d97d3f368e50ffb03a4df76e9d68e4d04e",
  "wasm_wheel_sha256": "7563175271b587541c18d58a2775f09302c08f9b105e630944a3ed9fc4d73f77",
  "methodology": "Three fresh processes per backend, order N/W then W/N then N/W, pinned to CPU 6. Each case has at least 5 s warmup (small expansion 10 s), then 9 batches targeting 120 ms. Median of process medians. Large derivative uses the separate 20 s / minimum 2000 operations confirmation. All individual samples and original main-run derivative measurements retained. No sample exclusions. Inputs prepared outside timing except parsing. Output allocation and destruction and Python loop/API overhead included. Startup, download and installation excluded.",
  "workloads": {
    "parse_496_terms": "Parse the full expanded (1+x+y)^30, 496 terms",
    "expand_5456_terms": "Expand (1+x+y+z)^30, 5456 terms",
    "derivative_5456_terms": "Differentiate expanded (1+x+y+z)^30 with respect to x",
    "evaluate_496_terms": "Direct Expression.evaluate of expanded (1+x+y)^30 at x=0.1, y=0.2, default precision; no compiled evaluator",
    "flint_dense_multiply": "Multiply expanded (1+x+y+z)^12 and (1+2*x-y+3*z)^11 through the Python polynomial API, 455 x 364 terms",
    "flint_dense_exact_divide": "Divide product of expanded (1+x+y+z)^12 and (1+2*x-y+3*z)^7 by the second factor through the Python polynomial API; inputs from FLINT comparison suite; FLINT itself is not timed"
  },
  "results": {
    "derivative_5456_terms": {
      "native_ns": 6234967,
      "wasm_ns": 8787536.461538462,
      "ratio": 1.4093958254371615,
      "process_medians_ns": {
        "native": [
          6234967,
          6213524.052631579,
          6256245.052631579
        ],
        "wasm": [
          8854205.384615384,
          8787536.461538462,
          8658254.846153846
        ]
      }
    },
    "derivative_small": {
      "native_ns": 1427.7111702953505,
      "wasm_ns": 1997.3753253859036,
      "ratio": 1.3990051818202884,
      "process_medians_ns": {
        "native": [
          1455.4285489398287,
          1427.7111702953505,
          1423.2592362546136
        ],
        "wasm": [
          1994.3816267910806,
          2239.1542192407037,
          1997.3753253859036
        ]
      }
    },
    "evaluate_496_terms": {
      "native_ns": 128632.25454545455,
      "wasm_ns": 1403636.471264368,
      "ratio": 10.91201018146166,
      "process_medians_ns": {
        "native": [
          126831.6390658174,
          132747.54054054053,
          128632.25454545455
        ],
        "wasm": [
          1400900.2235294117,
          1499378.8352941177,
          1403636.471264368
        ]
      }
    },
    "evaluate_small": {
      "native_ns": 800.6081993569131,
      "wasm_ns": 4289.052864536855,
      "ratio": 5.357243240803713,
      "process_medians_ns": {
        "native": [
          800.6081993569131,
          812.5276508776149,
          787.5465517581399
        ],
        "wasm": [
          4351.271635400413,
          4289.052864536855,
          4272.248811635332
        ]
      }
    },
    "expand_5456_terms": {
      "native_ns": 6051729.578947368,
      "wasm_ns": 9372952.166666666,
      "ratio": 1.5488055182229388,
      "process_medians_ns": {
        "native": [
          6051729.578947368,
          6128410.315789473,
          6048938.736842105
        ],
        "wasm": [
          9371175.583333334,
          10545700.181818182,
          9372952.166666666
        ]
      }
    },
    "expand_small": {
      "native_ns": 430525.9428571428,
      "wasm_ns": 670503.7932960894,
      "ratio": 1.5574062479170414,
      "process_medians_ns": {
        "native": [
          430381.03249097476,
          430978.21942446043,
          430525.9428571428
        ],
        "wasm": [
          658044.2864864864,
          752849.5220125787,
          670503.7932960894
        ]
      }
    },
    "factor_small": {
      "native_ns": 268863.08988764044,
      "wasm_ns": 436407.8210526316,
      "ratio": 1.6231600300175422,
      "process_medians_ns": {
        "native": [
          267376.293598234,
          268863.08988764044,
          268909.4808126411
        ],
        "wasm": [
          436873.8323699422,
          436407.8210526316,
          429302.7107142857
        ]
      }
    },
    "flint_dense_exact_divide": {
      "native_ns": 775073.9741935484,
      "wasm_ns": 1250628.7291666667,
      "ratio": 1.613560473976597,
      "process_medians_ns": {
        "native": [
          768285.1337579618,
          775073.9741935484,
          776533.9419354838
        ],
        "wasm": [
          1263554.9684210527,
          1250628.7291666667,
          1244018.6458333333
        ]
      }
    },
    "flint_dense_multiply": {
      "native_ns": 799949.4768211921,
      "wasm_ns": 1606419.0273972603,
      "ratio": 2.00815060693681,
      "process_medians_ns": {
        "native": [
          795813.1655629139,
          799949.4768211921,
          805052.644295302
        ],
        "wasm": [
          1606419.0273972603,
          1602245.4594594594,
          1615197.0666666667
        ]
      }
    },
    "parse_496_terms": {
      "native_ns": 507338.66949152545,
      "wasm_ns": 685388.3238636364,
      "ratio": 1.350948321267447,
      "process_medians_ns": {
        "native": [
          508966.2719665272,
          506023.1729957806,
          507338.66949152545
        ],
        "wasm": [
          685388.3238636364,
          699184.2325581395,
          665911.5586592179
        ]
      }
    },
    "parse_small": {
      "native_ns": 1563.5239671800778,
      "wasm_ns": 2292.5179966893793,
      "ratio": 1.4662506266687374,
      "process_medians_ns": {
        "native": [
          1540.0592450843149,
          1601.9097783468033,
          1563.5239671800778
        ],
        "wasm": [
          2292.5179966893793,
          2319.6761005079265,
          2256.56047345491
        ]
      }
    }
  },
  "sessions": {
    "warmed-final": {
      "native-1": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/tmp/tmp.y9RBZxN093/native/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.8 (main, Oct  2 2026, 10:23:31) [GCC 16.2.1 20260810]",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6104951.052631579,
            "samples_ns": [
              6103616.947368421,
              6094497.52631579,
              6130298.105263158,
              6143163,
              6142688.421052632,
              6097832.315789473,
              6107280.2105263155,
              6103151.315789473,
              6104951.052631579
            ],
            "warmup_operations": 804,
            "warmup_seconds": 5.002850290000424
          },
          "derivative_small": {
            "iterations_per_sample": 82581,
            "median_ns": 1455.4285489398287,
            "samples_ns": [
              1451.595572831523,
              1449.9704532519586,
              1451.617660236616,
              1454.6934524890714,
              1458.219711555927,
              1458.8689044695511,
              1461.4319879875516,
              1573.3328247417687,
              1455.4285489398287
            ],
            "warmup_operations": 3399680,
            "warmup_seconds": 5.002208095000242
          },
          "evaluate_496_terms": {
            "iterations_per_sample": 942,
            "median_ns": 126831.6390658174,
            "samples_ns": [
              126846.19957537155,
              126221.45859872611,
              126831.6390658174,
              131104.0127388535,
              129321.80997876858,
              126855.48407643312,
              126656.28450106157,
              126635.06581740976,
              126714.08067940552
            ],
            "warmup_operations": 39168,
            "warmup_seconds": 5.0043484839989105
          },
          "evaluate_small": {
            "iterations_per_sample": 149280,
            "median_ns": 800.6081993569131,
            "samples_ns": [
              798.1037781350483,
              803.5639670418007,
              801.6995645766345,
              797.0014737406217,
              800.6081993569131,
              800.811562165059,
              799.4795819935691,
              804.6163384244373,
              798.2073419078242
            ],
            "warmup_operations": 6250496,
            "warmup_seconds": 5.001118226000472
          },
          "expand_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6051729.578947368,
            "samples_ns": [
              6025188.736842105,
              6042797.421052632,
              6051729.578947368,
              6391585.947368421,
              6737863.421052632,
              6796437.157894737,
              6036111,
              6090157.263157895,
              6047758.894736842
            ],
            "warmup_operations": 825,
            "warmup_seconds": 5.002236827000161
          },
          "expand_small": {
            "iterations_per_sample": 277,
            "median_ns": 430381.03249097476,
            "samples_ns": [
              430884.6606498195,
              435548.6353790614,
              431321.916967509,
              431326.2238267148,
              429076.13718411553,
              429527.93501805054,
              429227.0722021661,
              430202.678700361,
              430381.03249097476
            ],
            "warmup_operations": 23248,
            "warmup_seconds": 10.00261670799955
          },
          "factor_small": {
            "iterations_per_sample": 453,
            "median_ns": 267376.293598234,
            "samples_ns": [
              270362.5099337748,
              273478.86534216336,
              267105.119205298,
              266445.5651214128,
              267502.84768211923,
              267372.18101545254,
              266900.3156732892,
              267376.293598234,
              268970.11258278147
            ],
            "warmup_operations": 18720,
            "warmup_seconds": 5.003749961999347
          },
          "flint_dense_exact_divide": {
            "iterations_per_sample": 157,
            "median_ns": 768285.1337579618,
            "samples_ns": [
              769562.3949044585,
              766717,
              766944.7515923567,
              769318.8089171974,
              768285.1337579618,
              767450.1719745223,
              767988.7707006369,
              770698.7579617834,
              768289.7261146497
            ],
            "warmup_operations": 6520,
            "warmup_seconds": 5.002971422998598
          },
          "flint_dense_multiply": {
            "iterations_per_sample": 151,
            "median_ns": 795813.1655629139,
            "samples_ns": [
              795813.1655629139,
              794974.417218543,
              795396.1390728477,
              794643.8543046358,
              798146.1258278146,
              795775.6092715232,
              796124.8079470198,
              796592.9867549669,
              798091.9867549669
            ],
            "warmup_operations": 6288,
            "warmup_seconds": 5.003953174000344
          },
          "parse_496_terms": {
            "iterations_per_sample": 239,
            "median_ns": 508966.2719665272,
            "samples_ns": [
              502595.69037656905,
              501259.3054393305,
              501046.26359832636,
              502129.48953974893,
              508966.2719665272,
              510256.53974895395,
              509404.2970711297,
              509246.0460251046,
              511251.18828451884
            ],
            "warmup_operations": 9824,
            "warmup_seconds": 5.007898046998889
          },
          "parse_small": {
            "iterations_per_sample": 77863,
            "median_ns": 1540.0592450843149,
            "samples_ns": [
              1541.9762403195357,
              1540.0592450843149,
              1540.6742997315798,
              1538.885067361905,
              1543.1936221311792,
              1539.915890731156,
              1539.5411813056267,
              1543.392291589073,
              1539.9815188215198
            ],
            "warmup_operations": 3235840,
            "warmup_seconds": 5.00218311900062
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "native-2": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/tmp/tmp.y9RBZxN093/native/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.8 (main, Oct  2 2026, 10:23:31) [GCC 16.2.1 20260810]",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6154063.684210527,
            "samples_ns": [
              6135509,
              6153294.842105263,
              6143341.157894737,
              6171892.2105263155,
              6151652.263157895,
              6163189.947368421,
              6162608.842105263,
              6154063.684210527,
              6154538.2105263155
            ],
            "warmup_operations": 804,
            "warmup_seconds": 5.002489746999345
          },
          "derivative_small": {
            "iterations_per_sample": 83731,
            "median_ns": 1427.7111702953505,
            "samples_ns": [
              1426.0475928867445,
              1423.779842591155,
              1424.5180160275168,
              1429.0092200021497,
              1425.1494428586784,
              1427.7111702953505,
              1428.1673215416035,
              1427.9725071956623,
              1430.0740466493892
            ],
            "warmup_operations": 3502080,
            "warmup_seconds": 5.005660460999934
          },
          "evaluate_496_terms": {
            "iterations_per_sample": 888,
            "median_ns": 132747.54054054053,
            "samples_ns": [
              134051.46734234234,
              140508.4786036036,
              132778.19594594595,
              131989.70720720722,
              132081.33333333334,
              132747.54054054053,
              133191.90765765766,
              131739.76126126127,
              131706.6813063063
            ],
            "warmup_operations": 37696,
            "warmup_seconds": 5.002393175000179
          },
          "evaluate_small": {
            "iterations_per_sample": 149724,
            "median_ns": 812.5276508776149,
            "samples_ns": [
              805.6616774865753,
              804.6858419491865,
              806.5093104645882,
              805.5459779327296,
              812.5276508776149,
              818.1855013224333,
              821.6521800112206,
              815.8200756057813,
              821.5216865699554
            ],
            "warmup_operations": 6193152,
            "warmup_seconds": 5.004596914001013
          },
          "expand_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6128410.315789473,
            "samples_ns": [
              6100078.631578947,
              6112035.52631579,
              6128410.315789473,
              6136103.263157895,
              6128006.842105263,
              6136580,
              6137868.736842105,
              6142757,
              6121421.736842105
            ],
            "warmup_operations": 818,
            "warmup_seconds": 5.0049777060012275
          },
          "expand_small": {
            "iterations_per_sample": 278,
            "median_ns": 430978.21942446043,
            "samples_ns": [
              430589.3165467626,
              430978.21942446043,
              432772.6654676259,
              430936.845323741,
              430773.1151079137,
              432561.18705035973,
              431650.5755395683,
              430843.8273381295,
              431796.8201438849
            ],
            "warmup_operations": 22864,
            "warmup_seconds": 10.00588915499975
          },
          "factor_small": {
            "iterations_per_sample": 445,
            "median_ns": 268863.08988764044,
            "samples_ns": [
              268863.79101123597,
              274565.37078651687,
              268863.08988764044,
              269330.0449438202,
              267884.0202247191,
              267411.8449438202,
              272288.6247191011,
              268678.4943820225,
              268300.5415730337
            ],
            "warmup_operations": 18464,
            "warmup_seconds": 5.0062501590000466
          },
          "flint_dense_exact_divide": {
            "iterations_per_sample": 155,
            "median_ns": 775073.9741935484,
            "samples_ns": [
              774033.8064516129,
              771246.2,
              775633.8774193549,
              776136.7677419354,
              775091.4903225807,
              775073.9741935484,
              773479.7935483871,
              774488.4129032259,
              776539.6580645161
            ],
            "warmup_operations": 6384,
            "warmup_seconds": 5.0035507940010575
          },
          "flint_dense_multiply": {
            "iterations_per_sample": 151,
            "median_ns": 799949.4768211921,
            "samples_ns": [
              796384.0397350993,
              798717.7284768212,
              798467.655629139,
              800652.3377483444,
              799949.4768211921,
              802335.6622516556,
              854817.3377483444,
              799501.8741721854,
              817679.6622516556
            ],
            "warmup_operations": 6280,
            "warmup_seconds": 5.002451297001244
          },
          "parse_496_terms": {
            "iterations_per_sample": 237,
            "median_ns": 506023.1729957806,
            "samples_ns": [
              502944.1223628692,
              503022.2489451477,
              505271.6624472574,
              506023.1729957806,
              503520.2405063291,
              533655.1687763713,
              676784.3628691983,
              679466.3291139241,
              509972.10126582277
            ],
            "warmup_operations": 9792,
            "warmup_seconds": 5.003815170000962
          },
          "parse_small": {
            "iterations_per_sample": 74982,
            "median_ns": 1601.9097783468033,
            "samples_ns": [
              1600.665119628711,
              1603.3222773465632,
              1598.8589928249446,
              1598.8174361846843,
              1600.0220186178017,
              1604.1922594756074,
              1602.290456376197,
              1602.682097036622,
              1601.9097783468033
            ],
            "warmup_operations": 3092480,
            "warmup_seconds": 5.002056401999653
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "native-3": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/tmp/tmp.y9RBZxN093/native/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.8 (main, Oct  2 2026, 10:23:31) [GCC 16.2.1 20260810]",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6153664.2105263155,
            "samples_ns": [
              6210016.421052632,
              6153664.2105263155,
              6146940.421052632,
              6149143,
              6154674.105263158,
              6133926.736842105,
              6203708.684210527,
              6204741.105263158,
              6117757.105263158
            ],
            "warmup_operations": 816,
            "warmup_seconds": 5.000825168999654
          },
          "derivative_small": {
            "iterations_per_sample": 83719,
            "median_ns": 1423.2592362546136,
            "samples_ns": [
              1438.439553745267,
              1421.0544798671747,
              1421.766301556397,
              1423.4914057740775,
              1422.2058672463838,
              1422.3146478099357,
              1424.8840526045462,
              1424.468782474707,
              1423.2592362546136
            ],
            "warmup_operations": 3506176,
            "warmup_seconds": 5.0040301059998455
          },
          "evaluate_496_terms": {
            "iterations_per_sample": 935,
            "median_ns": 128632.25454545455,
            "samples_ns": [
              128632.25454545455,
              128565.59251336899,
              128333.32299465241,
              128695.36898395722,
              128521.80855614973,
              128514.24385026738,
              129183.64171122995,
              130265.39572192513,
              130046.04919786096
            ],
            "warmup_operations": 38528,
            "warmup_seconds": 5.003413272999751
          },
          "evaluate_small": {
            "iterations_per_sample": 152121,
            "median_ns": 787.5465517581399,
            "samples_ns": [
              785.1431886458806,
              788.4676408911328,
              787.5465517581399,
              788.9394035011603,
              790.0453652027005,
              787.2890396460713,
              785.7152661368253,
              786.9724429894624,
              787.8893709612743
            ],
            "warmup_operations": 6266880,
            "warmup_seconds": 5.000715201000276
          },
          "expand_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6048938.736842105,
            "samples_ns": [
              6048938.736842105,
              6087484.47368421,
              6070808.631578947,
              6636652,
              6062471.315789473,
              6021603.157894737,
              6012832.894736842,
              6014276.157894737,
              6025567.578947368
            ],
            "warmup_operations": 824,
            "warmup_seconds": 5.001734530998874
          },
          "expand_small": {
            "iterations_per_sample": 280,
            "median_ns": 430525.9428571428,
            "samples_ns": [
              429547.3,
              430071.9428571428,
              431358.27142857143,
              430140.10714285716,
              430086.9321428572,
              430525.9428571428,
              434502.34642857144,
              432088.0142857143,
              431449.98214285716
            ],
            "warmup_operations": 23136,
            "warmup_seconds": 10.003197433001333
          },
          "factor_small": {
            "iterations_per_sample": 443,
            "median_ns": 268909.4808126411,
            "samples_ns": [
              268967.8532731377,
              270218.9164785553,
              268544.927765237,
              268729.90744920995,
              268219.6613995485,
              268319.62528216705,
              268909.4808126411,
              269181.95936794585,
              270293.23250564333
            ],
            "warmup_operations": 18272,
            "warmup_seconds": 5.00501734700083
          },
          "flint_dense_exact_divide": {
            "iterations_per_sample": 155,
            "median_ns": 776533.9419354838,
            "samples_ns": [
              777256.9225806452,
              776879.5612903226,
              776522.9483870968,
              774979.7032258065,
              776877.3032258064,
              776683.9677419355,
              776533.9419354838,
              775675.4774193548,
              775722.7225806451
            ],
            "warmup_operations": 6328,
            "warmup_seconds": 5.0055025439996825
          },
          "flint_dense_multiply": {
            "iterations_per_sample": 149,
            "median_ns": 805052.644295302,
            "samples_ns": [
              806584.5369127517,
              807597.9395973154,
              804926.1543624161,
              806026.9731543624,
              805052.644295302,
              805585.1208053691,
              804351.711409396,
              804697.134228188,
              803732.6241610738
            ],
            "warmup_operations": 6112,
            "warmup_seconds": 5.002073694999126
          },
          "parse_496_terms": {
            "iterations_per_sample": 236,
            "median_ns": 507338.66949152545,
            "samples_ns": [
              508941.6652542373,
              507233.8093220339,
              507338.66949152545,
              508314.41949152545,
              507014.32627118647,
              508532.66949152545,
              507437.07627118647,
              505567.85169491527,
              506476.73728813557
            ],
            "warmup_operations": 9840,
            "warmup_seconds": 5.006960320000871
          },
          "parse_small": {
            "iterations_per_sample": 76417,
            "median_ns": 1563.5239671800778,
            "samples_ns": [
              1563.5239671800778,
              1561.4229294528704,
              1561.9847285289923,
              1563.7387099729117,
              1565.922477982648,
              1566.716869283013,
              1563.230014263842,
              1567.612219794025,
              1562.5866495675045
            ],
            "warmup_operations": 3141632,
            "warmup_seconds": 5.006228935000763
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "wasm-1": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.2 (main, Sep 14 2026, 03:03:51) [Clang 23.0.0git (https:/github.com/llvm/llvm-project e5927fecf8a6ce89e1a4eac5b8",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 13,
            "median_ns": 8708850,
            "samples_ns": [
              8762965,
              8715880.307692308,
              8708850,
              8696908.076923076,
              9235779.615384616,
              8616324.538461538,
              8751665.846153846,
              8611888.384615384,
              8653122
            ],
            "warmup_operations": 580,
            "warmup_seconds": 5.007749672999999
          },
          "derivative_small": {
            "iterations_per_sample": 60229,
            "median_ns": 1994.3816267910806,
            "samples_ns": [
              2000.93660861047,
              1998.4135881386044,
              1996.7066695445715,
              1993.2985438908167,
              1994.3816267910806,
              2072.1179664281326,
              1991.2299888757907,
              1992.8212821066263,
              1991.9818858025203
            ],
            "warmup_operations": 2482176,
            "warmup_seconds": 5.001976114999998
          },
          "evaluate_496_terms": {
            "iterations_per_sample": 85,
            "median_ns": 1400900.2235294117,
            "samples_ns": [
              1406658.9176470588,
              1400900.2235294117,
              1398602.094117647,
              1403001.9882352941,
              1395966.8705882353,
              1395092.6235294119,
              1406611.0588235294,
              1410265.517647059,
              1398654.2
            ],
            "warmup_operations": 3562,
            "warmup_seconds": 5.000051524000007
          },
          "evaluate_small": {
            "iterations_per_sample": 27559,
            "median_ns": 4351.271635400413,
            "samples_ns": [
              4352.313944627889,
              4349.617148662869,
              4350.578722014587,
              4349.683297652309,
              4351.4000145143145,
              4354.3694255959945,
              4351.271635400413,
              4353.181755506368,
              4347.117384520483
            ],
            "warmup_operations": 1139712,
            "warmup_seconds": 5.000208925999999
          },
          "expand_5456_terms": {
            "iterations_per_sample": 12,
            "median_ns": 9371175.583333334,
            "samples_ns": [
              9389454.416666666,
              9362848.166666666,
              9372725.25,
              9371175.583333334,
              9416116.75,
              9368614.833333334,
              9397430.333333334,
              9370809,
              9357843.666666666
            ],
            "warmup_operations": 535,
            "warmup_seconds": 5.006728982000006
          },
          "expand_small": {
            "iterations_per_sample": 185,
            "median_ns": 658044.2864864864,
            "samples_ns": [
              1013294.2432432432,
              656774.7405405405,
              658044.2864864864,
              656684.5189189189,
              661770.6486486486,
              663774.9405405405,
              657772.6918918919,
              657687.2324324325,
              660718.2756756757
            ],
            "warmup_operations": 15336,
            "warmup_seconds": 10.001631555
          },
          "factor_small": {
            "iterations_per_sample": 173,
            "median_ns": 436873.8323699422,
            "samples_ns": [
              651421.4913294797,
              427191.4797687861,
              441220.28323699423,
              440275.25433526014,
              436873.8323699422,
              435450.26589595375,
              428647.82658959535,
              455609.1445086705,
              430555.1387283237
            ],
            "warmup_operations": 10212,
            "warmup_seconds": 5.000677788000001
          },
          "flint_dense_exact_divide": {
            "iterations_per_sample": 95,
            "median_ns": 1263554.9684210527,
            "samples_ns": [
              1267328.852631579,
              1264594.5157894737,
              1264979.1368421053,
              1259363.1157894738,
              1258636.2631578948,
              1263554.9684210527,
              1290217.4315789475,
              1260400.6631578947,
              1258998.2105263157
            ],
            "warmup_operations": 3924,
            "warmup_seconds": 5.003209665
          },
          "flint_dense_multiply": {
            "iterations_per_sample": 73,
            "median_ns": 1606419.0273972603,
            "samples_ns": [
              1644083.3561643835,
              1649528.8904109588,
              1627063.3835616438,
              1606419.0273972603,
              1587980.2191780822,
              1586542.6849315069,
              1585931.9452054794,
              1587720.6712328766,
              1663736.6575342466
            ],
            "warmup_operations": 3080,
            "warmup_seconds": 5.002863232999999
          },
          "parse_496_terms": {
            "iterations_per_sample": 176,
            "median_ns": 685388.3238636364,
            "samples_ns": [
              684719.4375,
              686792.9772727273,
              684985.7386363636,
              685388.3238636364,
              687512.2386363636,
              687453.2045454546,
              684799.3125,
              684056.5397727273,
              685652.7443181818
            ],
            "warmup_operations": 7272,
            "warmup_seconds": 5.005355762999997
          },
          "parse_small": {
            "iterations_per_sample": 51954,
            "median_ns": 2292.5179966893793,
            "samples_ns": [
              2301.8545251568694,
              2294.5116064210647,
              2293.048696924202,
              2293.765889055703,
              2292.5179966893793,
              2283.549216614698,
              2282.001058628787,
              2279.92470262155,
              2277.9332101474383
            ],
            "warmup_operations": 2107136,
            "warmup_seconds": 5.000112613
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "wasm-2": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.2 (main, Sep 14 2026, 03:03:51) [Clang 23.0.0git (https:/github.com/llvm/llvm-project e5927fecf8a6ce89e1a4eac5b8",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 7,
            "median_ns": 16568368,
            "samples_ns": [
              16568368,
              16419797.57142857,
              16495757.42857143,
              16479991.714285715,
              16774164,
              18115948,
              18645561.42857143,
              17506951.285714287,
              10117821
            ],
            "warmup_operations": 479,
            "warmup_seconds": 5.002214557999999
          },
          "derivative_small": {
            "iterations_per_sample": 53813,
            "median_ns": 2239.1542192407037,
            "samples_ns": [
              2226.545797483879,
              2240.9110623826955,
              2239.1542192407037,
              2224.383104454314,
              2235.88673740546,
              2238.9458866816567,
              2241.129243863007,
              2247.6450671770763,
              2249.1732480999017
            ],
            "warmup_operations": 2209792,
            "warmup_seconds": 5.000629612000001
          },
          "evaluate_496_terms": {
            "iterations_per_sample": 85,
            "median_ns": 1499378.8352941177,
            "samples_ns": [
              1488745.1529411764,
              1440047.2235294117,
              1532785.505882353,
              1424363.3647058823,
              1569057.3764705881,
              1499378.8352941177,
              1507151.105882353,
              1513622.5647058825,
              1449434.8
            ],
            "warmup_operations": 3486,
            "warmup_seconds": 5.002477544999998
          },
          "evaluate_small": {
            "iterations_per_sample": 28015,
            "median_ns": 4289.052864536855,
            "samples_ns": [
              4296.402141709798,
              4298.703837230055,
              4297.465000892379,
              4299.601856148492,
              4289.052864536855,
              4278.162305907549,
              4285.008781010173,
              4284.263430305194,
              4283.236694627878
            ],
            "warmup_operations": 1156352,
            "warmup_seconds": 5.000852650999995
          },
          "expand_5456_terms": {
            "iterations_per_sample": 11,
            "median_ns": 10545700.181818182,
            "samples_ns": [
              10534774,
              10606043.818181818,
              10545700.181818182,
              10630334.363636363,
              10691571.454545455,
              10641658.636363637,
              10440562.545454545,
              10466119.181818182,
              10452856.727272727
            ],
            "warmup_operations": 478,
            "warmup_seconds": 5.004915373000003
          },
          "expand_small": {
            "iterations_per_sample": 159,
            "median_ns": 752849.5220125787,
            "samples_ns": [
              1213426.1006289308,
              750723.3522012578,
              751913.7924528302,
              752489.2767295598,
              752849.5220125787,
              753791.3144654088,
              754056.8427672955,
              752822.1132075472,
              752851.1572327045
            ],
            "warmup_operations": 13320,
            "warmup_seconds": 10.005214419
          },
          "factor_small": {
            "iterations_per_sample": 285,
            "median_ns": 436407.8210526316,
            "samples_ns": [
              439468.25964912283,
              436407.8210526316,
              437591.9614035088,
              429098.3052631579,
              428377.46315789473,
              428172.79649122804,
              432009.40701754385,
              442145.26666666666,
              441950.2631578947
            ],
            "warmup_operations": 9983,
            "warmup_seconds": 5.000052969999999
          },
          "flint_dense_exact_divide": {
            "iterations_per_sample": 96,
            "median_ns": 1250628.7291666667,
            "samples_ns": [
              1249830.8541666667,
              1249091.75,
              1247989.8645833333,
              1374782.7916666667,
              1256127.375,
              1250735.28125,
              1252129.4895833333,
              1250628.7291666667,
              1249667.40625
            ],
            "warmup_operations": 3836,
            "warmup_seconds": 5.0009034360000015
          },
          "flint_dense_multiply": {
            "iterations_per_sample": 74,
            "median_ns": 1602245.4594594594,
            "samples_ns": [
              1598530.7027027027,
              1598985.6216216215,
              1606816.1486486488,
              1603053.7432432433,
              1602245.4594594594,
              1605353.6486486488,
              1609511.1216216215,
              1601553.3243243243,
              1600066.5810810812
            ],
            "warmup_operations": 3072,
            "warmup_seconds": 5.000988559000007
          },
          "parse_496_terms": {
            "iterations_per_sample": 172,
            "median_ns": 699184.2325581395,
            "samples_ns": [
              703071.8430232558,
              702394.976744186,
              699570.3720930233,
              698800.1279069767,
              699184.2325581395,
              696263.1104651163,
              697143.4418604651,
              699366.6686046511,
              697987.4244186047
            ],
            "warmup_operations": 7104,
            "warmup_seconds": 5.001234272000005
          },
          "parse_small": {
            "iterations_per_sample": 51976,
            "median_ns": 2319.6761005079265,
            "samples_ns": [
              2331.1159573649375,
              2323.086655379406,
              2319.6761005079265,
              2329.470159304294,
              2315.728528551639,
              2319.240264737571,
              2325.7132137909803,
              2317.2378405417885,
              2309.921944743728
            ],
            "warmup_operations": 2081280,
            "warmup_seconds": 5.00026487
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "wasm-3": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.2 (main, Sep 14 2026, 03:03:51) [Clang 23.0.0git (https:/github.com/llvm/llvm-project e5927fecf8a6ce89e1a4eac5b8",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 13,
            "median_ns": 8636049.538461538,
            "samples_ns": [
              8628561.384615384,
              8638963.461538462,
              8640801.538461538,
              8631093.153846154,
              8636049.538461538,
              8633071.538461538,
              8629295.923076924,
              9038738.692307692,
              8645535.923076924
            ],
            "warmup_operations": 573,
            "warmup_seconds": 5.000882820999998
          },
          "derivative_small": {
            "iterations_per_sample": 60313,
            "median_ns": 1997.3753253859036,
            "samples_ns": [
              1995.5656326165172,
              1997.3753253859036,
              1996.2173163331288,
              1999.691310331106,
              2010.673635866231,
              2003.0058528012203,
              2000.7059506242435,
              1995.7666506391656,
              1992.1090643808134
            ],
            "warmup_operations": 2482176,
            "warmup_seconds": 5.001628124
          },
          "evaluate_496_terms": {
            "iterations_per_sample": 87,
            "median_ns": 1403636.471264368,
            "samples_ns": [
              1380995.0229885057,
              1388003.9425287356,
              1376875.0114942528,
              1403636.471264368,
              1410451.9310344828,
              1403790.0919540229,
              1405897.4367816092,
              1845978.2068965517,
              1389468.2183908045
            ],
            "warmup_operations": 3524,
            "warmup_seconds": 5.002545291000004
          },
          "evaluate_small": {
            "iterations_per_sample": 28190,
            "median_ns": 4272.248811635332,
            "samples_ns": [
              4274.709684285208,
              4267.19741042923,
              4285.34214260376,
              4272.248811635332,
              4280.1293011706275,
              4267.589038666194,
              4268.453423199716,
              4275.320290883292,
              4268.55899255055
            ],
            "warmup_operations": 1163264,
            "warmup_seconds": 5.000337971
          },
          "expand_5456_terms": {
            "iterations_per_sample": 12,
            "median_ns": 9372952.166666666,
            "samples_ns": [
              9417342.166666666,
              9405590.666666666,
              9502465.333333334,
              9372952.166666666,
              9356819,
              9359083.333333334,
              9363117.666666666,
              9405168.25,
              9367372.416666666
            ],
            "warmup_operations": 534,
            "warmup_seconds": 5.004431005999997
          },
          "expand_small": {
            "iterations_per_sample": 179,
            "median_ns": 670503.7932960894,
            "samples_ns": [
              1046497.0279329609,
              670503.7932960894,
              670261.7709497206,
              670551.0391061453,
              670460.6424581006,
              670557.1955307262,
              669885.5251396648,
              668875.4022346368,
              672259.2458100559
            ],
            "warmup_operations": 14864,
            "warmup_seconds": 10.000615150000002
          },
          "factor_small": {
            "iterations_per_sample": 280,
            "median_ns": 429302.7107142857,
            "samples_ns": [
              428806.91071428574,
              429817.725,
              431074.28571428574,
              429196.7607142857,
              429302.7107142857,
              428932.3678571429,
              431237.8821428571,
              429682.1785714286,
              429149.35
            ],
            "warmup_operations": 10024,
            "warmup_seconds": 5.001276331000003
          },
          "flint_dense_exact_divide": {
            "iterations_per_sample": 96,
            "median_ns": 1244018.6458333333,
            "samples_ns": [
              1364401.7916666667,
              1341286.6770833333,
              1246437.3958333333,
              1242229.5104166667,
              1242059.1979166667,
              1243490.65625,
              1241549.8854166667,
              1248948.6041666667,
              1244018.6458333333
            ],
            "warmup_operations": 3964,
            "warmup_seconds": 5.003198372
          },
          "flint_dense_multiply": {
            "iterations_per_sample": 75,
            "median_ns": 1615197.0666666667,
            "samples_ns": [
              1591170.1733333333,
              1597402.9066666667,
              1600370.4266666668,
              1589628.1733333333,
              1615197.0666666667,
              1671596.4533333334,
              1622891.2666666666,
              1772217.4666666666,
              1691554.1866666668
            ],
            "warmup_operations": 3136,
            "warmup_seconds": 5.004016438000008
          },
          "parse_496_terms": {
            "iterations_per_sample": 179,
            "median_ns": 665911.5586592179,
            "samples_ns": [
              665911.5586592179,
              665525.1843575418,
              669487.8379888268,
              666921.5754189944,
              665062.4078212291,
              664297.8212290503,
              664938.7597765363,
              666543.8715083799,
              667478.7206703911
            ],
            "warmup_operations": 7456,
            "warmup_seconds": 5.001952669999994
          },
          "parse_small": {
            "iterations_per_sample": 51874,
            "median_ns": 2256.56047345491,
            "samples_ns": [
              2255.0203762964106,
              2247.675039518834,
              2251.127424143116,
              2264.735956355785,
              2271.0735050314224,
              2257.098392258164,
              2261.2663569418205,
              2256.56047345491,
              2255.513282183753
            ],
            "warmup_operations": 2138496,
            "warmup_seconds": 5.000142643999999
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      }
    },
    "warmed-derivative-check": {
      "native-1": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/tmp/tmp.y9RBZxN093/native/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.8 (main, Oct  2 2026, 10:23:31) [GCC 16.2.1 20260810]",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6234967,
            "samples_ns": [
              6234967,
              6212962.684210527,
              6230267.578947368,
              6212603,
              6439712.7894736845,
              6725262.315789473,
              6512231.947368421,
              6887578.631578947,
              6218323.894736842
            ],
            "warmup_operations": 3153,
            "warmup_seconds": 20.000097582000308
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "native-2": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/tmp/tmp.y9RBZxN093/native/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.8 (main, Oct  2 2026, 10:23:31) [GCC 16.2.1 20260810]",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6213524.052631579,
            "samples_ns": [
              6215376.52631579,
              7120150.631578947,
              6213524.052631579,
              6209281.315789473,
              6196300.894736842,
              6199861.842105263,
              6189109.842105263,
              6240974.578947368,
              6227699.368421053
            ],
            "warmup_operations": 3163,
            "warmup_seconds": 20.00327094199929
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "native-3": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/tmp/tmp.y9RBZxN093/native/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.8 (main, Oct  2 2026, 10:23:31) [GCC 16.2.1 20260810]",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 19,
            "median_ns": 6256245.052631579,
            "samples_ns": [
              6215355.894736842,
              6212247.421052632,
              6256245.052631579,
              6204968.842105263,
              6193276.105263158,
              6303604.894736842,
              6299825.105263158,
              6280217.368421053,
              6286120.157894737
            ],
            "warmup_operations": 3174,
            "warmup_seconds": 20.002605976000268
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "wasm-1": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.2 (main, Sep 14 2026, 03:03:51) [Clang 23.0.0git (https:/github.com/llvm/llvm-project e5927fecf8a6ce89e1a4eac5b8",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 13,
            "median_ns": 8854205.384615384,
            "samples_ns": [
              8784963.23076923,
              8799741.23076923,
              8873444.153846154,
              8854205.384615384,
              10754805.153846154,
              9013139.153846154,
              9451669.461538462,
              8799184,
              8825187.153846154
            ],
            "warmup_operations": 2261,
            "warmup_seconds": 20.002264322000002
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "wasm-2": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.2 (main, Sep 14 2026, 03:03:51) [Clang 23.0.0git (https:/github.com/llvm/llvm-project e5927fecf8a6ce89e1a4eac5b8",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 13,
            "median_ns": 8787536.461538462,
            "samples_ns": [
              8853206.461538462,
              8787536.461538462,
              8822340.923076924,
              8841606.692307692,
              8772083.307692308,
              8780710.461538462,
              8858803.23076923,
              8786771.153846154,
              8780278.846153846
            ],
            "warmup_operations": 2185,
            "warmup_seconds": 20.002622944
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      },
      "wasm-3": {
        "input_sha256": "5a4f508778d3f76120545c297d1feae882cd7856609063a222004c36cef45e54",
        "module": "/lib/python3.14/site-packages/symbolica/__init__.py",
        "python": "3.14.2 (main, Sep 14 2026, 03:03:51) [Clang 23.0.0git (https:/github.com/llvm/llvm-project e5927fecf8a6ce89e1a4eac5b8",
        "results": {
          "derivative_5456_terms": {
            "iterations_per_sample": 13,
            "median_ns": 8658254.846153846,
            "samples_ns": [
              9569185.923076924,
              8704088.76923077,
              8617236.307692308,
              8608999.846153846,
              8658254.846153846,
              8916783.76923077,
              12746939.692307692,
              8632113.76923077,
              8612995.153846154
            ],
            "warmup_operations": 2286,
            "warmup_seconds": 20.001343671
          }
        },
        "validation": "passed",
        "version": "symbolica-e227fe7"
      }
    }
  }
}
