{
  "completed": true,
  "runs": 32,
  "all_quality_identical": true,
  "changed_sources": [
    "src/evaluate/function_map.rs",
    "src/evaluate/tree.rs"
  ],
  "manifest_sha256": "5fd87f3ebf00d7fbb9f01f2de8a1a132d0af4f8bd01f4df30bd819282e1c8543",
  "notes": [
    "Fresh serial processes, paired before/after with alternating pair order.",
    "Both versions omit the progress monitor. Ten iterations means ten per region.",
    "Peak RSS is reset after input/definition preparation, before the constructor.",
    "Peak includes native/Python runtime, stored input/definitions, and allocator retention.",
    "Python FunctionDefinition extraction copies definitions into the Rust builder on both sides.",
    "JIT, quality inspection, numerical checks and reload are excluded from the measured peak.",
    "Function-map arithmetic totals include all registered bodies; every body is called once.",
    "One timing and peak-memory sample per setting, not a precise statistical estimate.",
    "Unrelated compilation may overlap runs; compiler and CPU/sibling snapshots are recorded."
  ],
  "rows": [
    {
      "name": "f13-i10-cpefalse",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3766610,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 18548,
          "add": 26963
        },
        "function_calls": {},
        "instruction_count": 34221,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 18548,
          "add": 26963
        },
        "function_calls": {},
        "instruction_count": 34221,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 5.909626272001333,
        "after": 5.9128523230010614,
        "after_over_before": 1.0005458976340031,
        "change_percent": 0.05458976340031452
      },
      "constructor_cpu_seconds": {
        "before": 5.887365087,
        "after": 5.891310076,
        "after_over_before": 1.0006700771808277,
        "change_percent": 0.06700771808276773
      },
      "rss_after_preparation_bytes": {
        "before": 108986368,
        "after": 117616640,
        "after_over_before": 1.0791867107636801,
        "change_percent": 7.918671076368011
      },
      "peak_constructor_rss_bytes": {
        "before": 184193024,
        "after": 161730560,
        "after_over_before": 0.8780493228668639,
        "change_percent": -12.195067713313613
      },
      "rss_after_constructor_bytes": {
        "before": 151949312,
        "after": 150257664,
        "after_over_before": 0.9888670242876783,
        "change_percent": -1.1132975712321747
      }
    },
    {
      "name": "f13-i10-cpetrue",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3766610,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 18538,
          "add": 26965
        },
        "function_calls": {},
        "instruction_count": 34202,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 18538,
          "add": 26965
        },
        "function_calls": {},
        "instruction_count": 34202,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 5.684658652000508,
        "after": 5.575700241999584,
        "after_over_before": 0.9808329019082651,
        "change_percent": -1.916709809173489
      },
      "constructor_cpu_seconds": {
        "before": 5.665639071,
        "after": 5.554225906,
        "after_over_before": 0.9803352872281829,
        "change_percent": -1.9664712771817139
      },
      "rss_after_preparation_bytes": {
        "before": 109047808,
        "after": 117657600,
        "after_over_before": 1.0789542876460203,
        "change_percent": 7.8954287646020305
      },
      "peak_constructor_rss_bytes": {
        "before": 189444096,
        "after": 188186624,
        "after_over_before": 0.9933623056798772,
        "change_percent": -0.6637694320122844
      },
      "rss_after_constructor_bytes": {
        "before": 174751744,
        "after": 188186624,
        "after_over_before": 1.0768798049878117,
        "change_percent": 7.687980498781166
      }
    },
    {
      "name": "nested-original-i10-cpefalse",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 741271,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 0.27806625599987456,
        "after": 0.26916196399906767,
        "after_over_before": 0.9679778045387467,
        "change_percent": -3.202219546125329
      },
      "constructor_cpu_seconds": {
        "before": 0.277177835,
        "after": 0.268333795,
        "after_over_before": 0.9680925424646599,
        "change_percent": -3.190745753534008
      },
      "rss_after_preparation_bytes": {
        "before": 74379264,
        "after": 84373504,
        "after_over_before": 1.1343686326339557,
        "change_percent": 13.436863263395571
      },
      "peak_constructor_rss_bytes": {
        "before": 125100032,
        "after": 146583552,
        "after_over_before": 1.1717307314517713,
        "change_percent": 17.17307314517713
      },
      "rss_after_constructor_bytes": {
        "before": 125100032,
        "after": 146583552,
        "after_over_before": 1.1717307314517713,
        "change_percent": 17.17307314517713
      }
    },
    {
      "name": "nested-original-i10-cpetrue",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 741271,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 0.5739188249990548,
        "after": 0.5621650939992833,
        "after_over_before": 0.9795202204775373,
        "change_percent": -2.0479779522462715
      },
      "constructor_cpu_seconds": {
        "before": 0.572134119,
        "after": 0.560338958,
        "after_over_before": 0.9793839230902431,
        "change_percent": -2.0616076909756864
      },
      "rss_after_preparation_bytes": {
        "before": 76500992,
        "after": 82268160,
        "after_over_before": 1.0753868394281736,
        "change_percent": 7.538683942817359
      },
      "peak_constructor_rss_bytes": {
        "before": 148197376,
        "after": 165449728,
        "after_over_before": 1.1164146927945606,
        "change_percent": 11.641469279456063
      },
      "rss_after_constructor_bytes": {
        "before": 148197376,
        "after": 165449728,
        "after_over_before": 1.1164146927945606,
        "change_percent": 11.641469279456063
      }
    },
    {
      "name": "nested-expanded-i10-cpefalse",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 164624276,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 171885,
          "add": 194765
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 298929,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 171885,
          "add": 194765
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 298929,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 37.02721796900005,
        "after": 37.60104546200091,
        "after_over_before": 1.0154974509151966,
        "change_percent": 1.5497450915196609
      },
      "constructor_cpu_seconds": {
        "before": 36.878888692000004,
        "after": 37.448534362000004,
        "after_over_before": 1.0154463892542285,
        "change_percent": 1.5446389254228476
      },
      "rss_after_preparation_bytes": {
        "before": 673144832,
        "after": 693936128,
        "after_over_before": 1.03088680921493,
        "change_percent": 3.0886809214929922
      },
      "peak_constructor_rss_bytes": {
        "before": 1943707648,
        "after": 1955450880,
        "after_over_before": 1.0060416657886198,
        "change_percent": 0.6041665788619754
      },
      "rss_after_constructor_bytes": {
        "before": 590430208,
        "after": 731791360,
        "after_over_before": 1.2394205954990705,
        "change_percent": 23.942059549907047
      }
    },
    {
      "name": "nested-expanded-i10-cpetrue",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 164624276,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 162371,
          "add": 193916
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 193061,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 162371,
          "add": 193916
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 193061,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 60.9189387860024,
        "after": 62.383886359002645,
        "after_over_before": 1.0240474900284515,
        "change_percent": 2.4047490028451524
      },
      "constructor_cpu_seconds": {
        "before": 60.66837627100001,
        "after": 62.11919647999999,
        "after_over_before": 1.0239139449277381,
        "change_percent": 2.391394492773813
      },
      "rss_after_preparation_bytes": {
        "before": 708694016,
        "after": 678375424,
        "after_over_before": 0.9572190658937354,
        "change_percent": -4.27809341062646
      },
      "peak_constructor_rss_bytes": {
        "before": 2386345984,
        "after": 2417639424,
        "after_over_before": 1.013113538527027,
        "change_percent": 1.3113538527026902
      },
      "rss_after_constructor_bytes": {
        "before": 1246208000,
        "after": 1642704896,
        "after_over_before": 1.3181626951520131,
        "change_percent": 31.816269515201313
      }
    },
    {
      "name": "function-map-i10-cpefalse",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3461,
      "function_body_bytes": 94883069,
      "function_count": 128,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "quality_after": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "constructor_seconds": {
        "before": 31.331520118998014,
        "after": 30.051574180000898,
        "after_over_before": 0.9591482974928811,
        "change_percent": -4.085170250711889
      },
      "constructor_cpu_seconds": {
        "before": 31.209742793,
        "after": 29.940326505,
        "after_over_before": 0.9593262816544353,
        "change_percent": -4.067371834556466
      },
      "rss_after_preparation_bytes": {
        "before": 185749504,
        "after": 191565824,
        "after_over_before": 1.0313127081082274,
        "change_percent": 3.1312708108227394
      },
      "peak_constructor_rss_bytes": {
        "before": 602939392,
        "after": 516407296,
        "after_over_before": 0.856482928221084,
        "change_percent": -14.351707177891605
      },
      "rss_after_constructor_bytes": {
        "before": 602939392,
        "after": 516407296,
        "after_over_before": 0.856482928221084,
        "change_percent": -14.351707177891605
      }
    },
    {
      "name": "function-map-i10-cpetrue",
      "settings": {
        "iterations": 10,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3461,
      "function_body_bytes": 94883069,
      "function_count": 128,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "quality_after": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "constructor_seconds": {
        "before": 75.73953414000061,
        "after": 74.99075844899926,
        "after_over_before": 0.9901138064882036,
        "change_percent": -0.9886193511796426
      },
      "constructor_cpu_seconds": {
        "before": 75.446025733,
        "after": 74.702053072,
        "after_over_before": 0.9901390079361783,
        "change_percent": -0.9860992063821739
      },
      "rss_after_preparation_bytes": {
        "before": 185720832,
        "after": 191471616,
        "after_over_before": 1.0309646685192537,
        "change_percent": 3.0964668519253724
      },
      "peak_constructor_rss_bytes": {
        "before": 618467328,
        "after": 524410880,
        "after_over_before": 0.847920102256396,
        "change_percent": -15.207989774360398
      },
      "rss_after_constructor_bytes": {
        "before": 618467328,
        "after": 524410880,
        "after_over_before": 0.847920102256396,
        "change_percent": -15.207989774360398
      }
    },
    {
      "name": "f13-i1-cpefalse",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3766610,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 28200,
          "add": 46933
        },
        "function_calls": {},
        "instruction_count": 54017,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 28200,
          "add": 46933
        },
        "function_calls": {},
        "instruction_count": 54017,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 0.7338163749991509,
        "after": 0.6689061220022268,
        "after_over_before": 0.9115442838175978,
        "change_percent": -8.845571618240221
      },
      "constructor_cpu_seconds": {
        "before": 0.731084991,
        "after": 0.666452675,
        "after_over_before": 0.9115939777239935,
        "change_percent": -8.840602227600646
      },
      "rss_after_preparation_bytes": {
        "before": 108888064,
        "after": 115384320,
        "after_over_before": 1.0596599458320795,
        "change_percent": 5.965994583207945
      },
      "peak_constructor_rss_bytes": {
        "before": 170635264,
        "after": 171556864,
        "after_over_before": 1.005400993782856,
        "change_percent": 0.5400993782856078
      },
      "rss_after_constructor_bytes": {
        "before": 170635264,
        "after": 171556864,
        "after_over_before": 1.005400993782856,
        "change_percent": 0.5400993782856078
      }
    },
    {
      "name": "f13-i1-cpetrue",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3766610,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 28200,
          "add": 46933
        },
        "function_calls": {},
        "instruction_count": 54017,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 28200,
          "add": 46933
        },
        "function_calls": {},
        "instruction_count": 54017,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 0.7383019910012081,
        "after": 0.6660234640003182,
        "after_over_before": 0.9021016767097251,
        "change_percent": -9.789832329027492
      },
      "constructor_cpu_seconds": {
        "before": 0.7355061459999999,
        "after": 0.6635349050000001,
        "after_over_before": 0.9021473288953322,
        "change_percent": -9.785267110466778
      },
      "rss_after_preparation_bytes": {
        "before": 108892160,
        "after": 115425280,
        "after_over_before": 1.059996238480346,
        "change_percent": 5.999623848034608
      },
      "peak_constructor_rss_bytes": {
        "before": 172736512,
        "after": 173690880,
        "after_over_before": 1.0055249928862753,
        "change_percent": 0.5524992886275282
      },
      "rss_after_constructor_bytes": {
        "before": 172736512,
        "after": 173690880,
        "after_over_before": 1.0055249928862753,
        "change_percent": 0.5524992886275282
      }
    },
    {
      "name": "nested-original-i1-cpefalse",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 741271,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 0.08598987799996394,
        "after": 0.07797624500017264,
        "after_over_before": 0.9068072523629507,
        "change_percent": -9.319274763704932
      },
      "constructor_cpu_seconds": {
        "before": 0.08567282799999998,
        "after": 0.07763505600000001,
        "after_over_before": 0.9061806153988523,
        "change_percent": -9.38193846011477
      },
      "rss_after_preparation_bytes": {
        "before": 74248192,
        "after": 80101376,
        "after_over_before": 1.0788326805318034,
        "change_percent": 7.883268053180337
      },
      "peak_constructor_rss_bytes": {
        "before": 133160960,
        "after": 132079616,
        "after_over_before": 0.991879421716395,
        "change_percent": -0.8120578283605018
      },
      "rss_after_constructor_bytes": {
        "before": 133160960,
        "after": 132079616,
        "after_over_before": 0.991879421716395,
        "change_percent": -0.8120578283605018
      }
    },
    {
      "name": "nested-original-i1-cpetrue",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 741271,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 3220,
          "add": 22243
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 8588,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 0.08732876900103292,
        "after": 0.07821592000254896,
        "after_over_before": 0.8956489470454326,
        "change_percent": -10.435105295456736
      },
      "constructor_cpu_seconds": {
        "before": 0.08699944300000001,
        "after": 0.077911545,
        "after_over_before": 0.8955407335194088,
        "change_percent": -10.445926648059123
      },
      "rss_after_preparation_bytes": {
        "before": 74326016,
        "after": 79982592,
        "after_over_before": 1.07610492670561,
        "change_percent": 7.610492670560998
      },
      "peak_constructor_rss_bytes": {
        "before": 133308416,
        "after": 132026368,
        "after_over_before": 0.9903828427456524,
        "change_percent": -0.9617157254347641
      },
      "rss_after_constructor_bytes": {
        "before": 133308416,
        "after": 132026368,
        "after_over_before": 0.9903828427456524,
        "change_percent": -0.9617157254347641
      }
    },
    {
      "name": "nested-expanded-i1-cpefalse",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 164624276,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 171992,
          "add": 194661
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 298996,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 171992,
          "add": 194661
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 298996,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 3.654903121001553,
        "after": 3.7179655469990394,
        "after_over_before": 1.0172541990607415,
        "change_percent": 1.7254199060741549
      },
      "constructor_cpu_seconds": {
        "before": 3.6418563489999993,
        "after": 3.7038653120000005,
        "after_over_before": 1.0170267459937095,
        "change_percent": 1.7026745993709458
      },
      "rss_after_preparation_bytes": {
        "before": 673116160,
        "after": 678367232,
        "after_over_before": 1.0078011379194938,
        "change_percent": 0.7801137919493772
      },
      "peak_constructor_rss_bytes": {
        "before": 1181065216,
        "after": 888508416,
        "after_over_before": 0.7522941188710784,
        "change_percent": -24.770588112892156
      },
      "rss_after_constructor_bytes": {
        "before": 519221248,
        "after": 709025792,
        "after_over_before": 1.3655561954197992,
        "change_percent": 36.55561954197992
      }
    },
    {
      "name": "nested-expanded-i1-cpetrue",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 164624276,
      "function_body_bytes": 0,
      "function_count": 0,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "mul": 171992,
          "add": 194661
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 298996,
        "registered_bodies": 0
      },
      "quality_after": {
        "arithmetic": {
          "mul": 171992,
          "add": 194661
        },
        "function_calls": {
          "exp": 8,
          "sin": 8,
          "cos": 8
        },
        "instruction_count": 298996,
        "registered_bodies": 0
      },
      "constructor_seconds": {
        "before": 3.6699739079995197,
        "after": 3.732285177000449,
        "after_over_before": 1.016978668122165,
        "change_percent": 1.6978668122165086
      },
      "constructor_cpu_seconds": {
        "before": 3.6560564000000007,
        "after": 3.7183171690000005,
        "after_over_before": 1.0170294881118354,
        "change_percent": 1.7029488111835356
      },
      "rss_after_preparation_bytes": {
        "before": 673116160,
        "after": 678342656,
        "after_over_before": 1.0077646271335992,
        "change_percent": 0.7764627133599156
      },
      "peak_constructor_rss_bytes": {
        "before": 1181069312,
        "after": 888422400,
        "after_over_before": 0.7522186809642549,
        "change_percent": -24.778131903574508
      },
      "rss_after_constructor_bytes": {
        "before": 567463936,
        "after": 706658304,
        "after_over_before": 1.245292007420186,
        "change_percent": 24.52920074201861
      }
    },
    {
      "name": "function-map-i1-cpefalse",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": false,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3461,
      "function_body_bytes": 94883069,
      "function_count": 128,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "quality_after": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "constructor_seconds": {
        "before": 6.591172306001681,
        "after": 5.428290296997147,
        "after_over_before": 0.8235697756003654,
        "change_percent": -17.643022439963463
      },
      "constructor_cpu_seconds": {
        "before": 6.565509975,
        "after": 5.40639803,
        "after_over_before": 0.8234543928173683,
        "change_percent": -17.65456071826317
      },
      "rss_after_preparation_bytes": {
        "before": 181600256,
        "after": 185212928,
        "after_over_before": 1.0198935402381812,
        "change_percent": 1.989354023818124
      },
      "peak_constructor_rss_bytes": {
        "before": 623800320,
        "after": 522366976,
        "after_over_before": 0.8373945303522768,
        "change_percent": -16.260546964772317
      },
      "rss_after_constructor_bytes": {
        "before": 623800320,
        "after": 522366976,
        "after_over_before": 0.8373945303522768,
        "change_percent": -16.260546964772317
      }
    },
    {
      "name": "function-map-i1-cpetrue",
      "settings": {
        "iterations": 1,
        "n_cores": 1,
        "horner_use_cpe": true,
        "cpe_iterations": null,
        "max_common_pair_cache_entries": 1000000,
        "jit_compile": false,
        "direct_translation": true
      },
      "input_atom_bytes": 3461,
      "function_body_bytes": 94883069,
      "function_count": 128,
      "quality_identical": true,
      "quality_before": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "quality_after": {
        "arithmetic": {
          "add": 3539198,
          "mul": 779136
        },
        "function_calls": {
          "f_0": 1,
          "f_1": 1,
          "f_2": 1,
          "f_3": 1,
          "f_4": 1,
          "f_5": 1,
          "f_6": 1,
          "f_7": 1,
          "f_8": 1,
          "f_9": 1,
          "f_10": 1,
          "f_11": 1,
          "f_12": 1,
          "f_13": 1,
          "f_14": 1,
          "f_15": 1,
          "f_16": 1,
          "f_17": 1,
          "f_18": 1,
          "f_19": 1,
          "f_20": 1,
          "f_21": 1,
          "f_22": 1,
          "f_23": 1,
          "f_24": 1,
          "f_25": 1,
          "f_26": 1,
          "f_27": 1,
          "f_28": 1,
          "f_29": 1,
          "f_30": 1,
          "f_31": 1,
          "f_32": 1,
          "f_33": 1,
          "f_34": 1,
          "f_35": 1,
          "f_36": 1,
          "f_37": 1,
          "f_38": 1,
          "f_39": 1,
          "f_40": 1,
          "f_41": 1,
          "f_42": 1,
          "f_43": 1,
          "f_44": 1,
          "f_45": 1,
          "f_46": 1,
          "f_47": 1,
          "f_48": 1,
          "f_49": 1,
          "f_50": 1,
          "f_51": 1,
          "f_52": 1,
          "f_53": 1,
          "f_54": 1,
          "f_55": 1,
          "f_56": 1,
          "f_57": 1,
          "f_58": 1,
          "f_59": 1,
          "f_60": 1,
          "f_61": 1,
          "f_62": 1,
          "f_63": 1,
          "f_64": 1,
          "f_65": 1,
          "f_66": 1,
          "f_67": 1,
          "f_68": 1,
          "f_69": 1,
          "f_70": 1,
          "f_71": 1,
          "f_72": 1,
          "f_73": 1,
          "f_74": 1,
          "f_75": 1,
          "f_76": 1,
          "f_77": 1,
          "f_78": 1,
          "f_79": 1,
          "f_80": 1,
          "f_81": 1,
          "f_82": 1,
          "f_83": 1,
          "f_84": 1,
          "f_85": 1,
          "f_86": 1,
          "f_87": 1,
          "f_88": 1,
          "f_89": 1,
          "f_90": 1,
          "f_91": 1,
          "f_92": 1,
          "f_93": 1,
          "f_94": 1,
          "f_95": 1,
          "f_96": 1,
          "f_97": 1,
          "f_98": 1,
          "f_99": 1,
          "f_100": 1,
          "f_101": 1,
          "f_102": 1,
          "f_103": 1,
          "f_104": 1,
          "f_105": 1,
          "f_106": 1,
          "f_107": 1,
          "f_108": 1,
          "f_109": 1,
          "f_110": 1,
          "f_111": 1,
          "f_112": 1,
          "f_113": 1,
          "f_114": 1,
          "f_115": 1,
          "f_116": 1,
          "f_117": 1,
          "f_118": 1,
          "f_119": 1,
          "f_120": 1,
          "f_121": 1,
          "f_122": 1,
          "f_123": 1,
          "f_124": 1,
          "f_125": 1,
          "f_126": 1,
          "f_127": 1,
          "exp": 1024,
          "sin": 1024,
          "cos": 1024
        },
        "instruction_count": 513281,
        "registered_bodies": 128
      },
      "constructor_seconds": {
        "before": 7.486592155000835,
        "after": 6.062651123997057,
        "after_over_before": 0.8098011750175779,
        "change_percent": -19.019882498242215
      },
      "constructor_cpu_seconds": {
        "before": 7.458795779,
        "after": 6.039573668,
        "after_over_before": 0.8097250343016799,
        "change_percent": -19.027496569832014
      },
      "rss_after_preparation_bytes": {
        "before": 181665792,
        "after": 185270272,
        "after_over_before": 1.0198412698412698,
        "change_percent": 1.984126984126977
      },
      "peak_constructor_rss_bytes": {
        "before": 623800320,
        "after": 528789504,
        "after_over_before": 0.8476903378311829,
        "change_percent": -15.230966216881715
      },
      "rss_after_constructor_bytes": {
        "before": 623800320,
        "after": 528789504,
        "after_over_before": 0.8476903378311829,
        "change_percent": -15.230966216881715
      }
    }
  ]
}