Source file regression_model_default.ml

open Smtzilla_utils.Regression_model

let default_models = [("bitwuzla", GBModel ({ init_value = (score_of_float 1132434.5224362633); trees = [Node { feature = "PromoteF32"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_fp"; threshold = (score_of_float 20.5); left = Node { feature = "ShrA"; threshold = (score_of_float 23.); left = Node { feature = "LtU"; threshold = (score_of_float 109.); left = Node { feature = "ShrA"; threshold = (score_of_float 19.); left = Leaf ((score_of_float (-376152.8563761792))); right = Leaf ((score_of_float 1018783217.4775639)) }; right = Node { feature = "nb_queries"; threshold = (score_of_float 13.5); left = Leaf ((score_of_float 152673218.81685033)); right = Leaf ((score_of_float 1643863338.8108959)) } }; right = Node { feature = "Eq"; threshold = (score_of_float 11.5); left = Leaf ((score_of_float (-1132434.5224362633))); right = Leaf ((score_of_float 4707015741.4775639)) } }; right = Node { feature = "Val"; threshold = (score_of_float 13.); left = Node { feature = "Not"; threshold = (score_of_float 0.5); left = Node { feature = "Ne"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 2040614983.5886748)); right = Leaf ((score_of_float 129056722.31089707)) }; right = Leaf ((score_of_float 5959955744.2775631)) }; right = Node { feature = "Not"; threshold = (score_of_float 0.5); left = Node { feature = "max_depth"; threshold = (score_of_float 15.5); left = Leaf ((score_of_float 19101616.092948355)); right = Leaf ((score_of_float 77035607.852563769)) }; right = Node { feature = "Mul"; threshold = (score_of_float 19.); left = Leaf ((score_of_float 190198678.33470663)); right = Leaf ((score_of_float 910555524.76741743)) } } } }; right = Node { feature = "max_depth"; threshold = (score_of_float 13.5); left = Node { feature = "Eq"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_bool"; threshold = (score_of_float 2.5); left = Node { feature = "OfBool"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 91037265.227563739)); right = Leaf ((score_of_float (-1132434.5224362633))) }; right = Leaf ((score_of_float 2045765644.1442306)) }; right = Leaf ((score_of_float 3475189505.4775639)) }; right = Leaf ((score_of_float 4731487215.6442289)) } }; Node { feature = "PromoteF32"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_fp"; threshold = (score_of_float 20.5); left = Node { feature = "ShrA"; threshold = (score_of_float 23.); left = Node { feature = "LtU"; threshold = (score_of_float 109.); left = Node { feature = "ShrA"; threshold = (score_of_float 19.); left = Leaf ((score_of_float (-338537.57072806673))); right = Leaf ((score_of_float 916904895.72980714)) }; right = Node { feature = "nb_queries"; threshold = (score_of_float 13.5); left = Leaf ((score_of_float 137405896.93516704)); right = Leaf ((score_of_float 1479477004.9298072)) } }; right = Node { feature = "Ne"; threshold = (score_of_float 144.5); left = Leaf ((score_of_float 4236314167.3298073)); right = Leaf ((score_of_float (-1019191.0701926369))) } }; right = Node { feature = "Val"; threshold = (score_of_float 13.); left = Node { feature = "Unop"; threshold = (score_of_float 0.5); left = Node { feature = "Ne"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 1836553485.2298074)); right = Leaf ((score_of_float 116151050.07980736)) }; right = Leaf ((score_of_float 5363960169.8498077)) }; right = Node { feature = "Add"; threshold = (score_of_float 14.5); left = Node { feature = "Mul"; threshold = (score_of_float 17.5); left = Leaf ((score_of_float 181974563.24806219)); right = Leaf ((score_of_float 928200644.03147149)) }; right = Node { feature = "mean_depth"; threshold = (score_of_float 18.5); left = Leaf ((score_of_float (-2725211.6623801449))); right = Leaf ((score_of_float 93023007.875440255)) } } } }; right = Node { feature = "max_depth"; threshold = (score_of_float 13.5); left = Node { feature = "Eq"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_bool"; threshold = (score_of_float 2.5); left = Node { feature = "Ty_bool"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 81933538.704807371)); right = Leaf ((score_of_float (-1019191.0701926369))) }; right = Leaf ((score_of_float 1841189079.7298076)) }; right = Leaf ((score_of_float 3127670554.9298077)) }; right = Leaf ((score_of_float 4258338494.0798073)) } }; Node { feature = "PromoteF32"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_fp"; threshold = (score_of_float 20.5); left = Node { feature = "ShrA"; threshold = (score_of_float 23.); left = Node { feature = "LtU"; threshold = (score_of_float 109.); left = Node { feature = "ShrA"; threshold = (score_of_float 19.); left = Leaf ((score_of_float (-304683.81365805684))); right = Leaf ((score_of_float 825214406.15682638)) }; right = Node { feature = "nb_queries"; threshold = (score_of_float 13.5); left = Leaf ((score_of_float 123665307.24164589)); right = Leaf ((score_of_float 1331529304.4368262)) } }; right = Node { feature = "Eq"; threshold = (score_of_float 11.5); left = Leaf ((score_of_float (-917271.96317337325))); right = Leaf ((score_of_float 3812682750.5968266)) } }; right = Node { feature = "Val"; threshold = (score_of_float 13.); left = Node { feature = "Unop"; threshold = (score_of_float 0.5); left = Node { feature = "Ne"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 1652898136.7068262)); right = Leaf ((score_of_float 104535945.07182665)) }; right = Leaf ((score_of_float 4827564152.8648272)) }; right = Node { feature = "Not"; threshold = (score_of_float 0.5); left = Node { feature = "Add"; threshold = (score_of_float 12.5); left = Leaf ((score_of_float (-44057506.501734018))); right = Leaf ((score_of_float 50188452.19992429)) }; right = Node { feature = "Mul"; threshold = (score_of_float 19.); left = Leaf ((score_of_float 156675349.6746386)); right = Leaf ((score_of_float 762991979.02474904)) } } } }; right = Node { feature = "max_depth"; threshold = (score_of_float 13.5); left = Node { feature = "Eq"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_bool"; threshold = (score_of_float 2.5); left = Node { feature = "Ty_bitv"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 73740184.834326625)); right = Leaf ((score_of_float (-917271.96317337325))) }; right = Leaf ((score_of_float 1657070171.7568264)) }; right = Leaf ((score_of_float 2814903499.4368267)) }; right = Leaf ((score_of_float 3832504644.6718268)) } }; Node { feature = "PromoteF32"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_fp"; threshold = (score_of_float 16.); left = Node { feature = "ShrA"; threshold = (score_of_float 23.); left = Node { feature = "LtU"; threshold = (score_of_float 181.); left = Node { feature = "ShrA"; threshold = (score_of_float 17.); left = Leaf ((score_of_float (-267259.12510830234))); right = Leaf ((score_of_float 580698826.60801733)) }; right = Node { feature = "max_depth"; threshold = (score_of_float 55.5); left = Leaf ((score_of_float 1198376373.993144)); right = Leaf ((score_of_float 122310118.03994943)) } }; right = Node { feature = "Eq"; threshold = (score_of_float 11.5); left = Leaf ((score_of_float (-825544.76685603592))); right = Leaf ((score_of_float 3431414475.5371437)) } }; right = Node { feature = "Val"; threshold = (score_of_float 13.); left = Node { feature = "Unop"; threshold = (score_of_float 0.5); left = Node { feature = "Ne"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 1115978818.8358514)); right = Leaf ((score_of_float 62967058.565864839)) }; right = Leaf ((score_of_float 4344807737.5783434)) }; right = Node { feature = "Add"; threshold = (score_of_float 14.5); left = Node { feature = "Mul"; threshold = (score_of_float 17.5); left = Leaf ((score_of_float 183553712.72270322)); right = Leaf ((score_of_float 784869237.57101488)) }; right = Node { feature = "mean_depth"; threshold = (score_of_float 33.5); left = Leaf ((score_of_float 34478312.592739239)); right = Leaf ((score_of_float (-126245370.89787431))) } } } }; right = Node { feature = "max_depth"; threshold = (score_of_float 13.5); left = Node { feature = "Eq"; threshold = (score_of_float 0.5); left = Node { feature = "Not"; threshold = (score_of_float 0.5); left = Node { feature = "Relop"; threshold = (score_of_float 4.5); left = Leaf ((score_of_float 66366166.350893974)); right = Leaf ((score_of_float (-825544.76685603592))) }; right = Leaf ((score_of_float 1491363154.5811441)) }; right = Leaf ((score_of_float 2533413149.493144)) }; right = Leaf ((score_of_float 3449254180.2046447)) } }; Node { feature = "PromoteF32"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_fp"; threshold = (score_of_float 20.5); left = Node { feature = "ShrA"; threshold = (score_of_float 23.); left = Node { feature = "Eq"; threshold = (score_of_float 526.); left = Node { feature = "ShrA"; threshold = (score_of_float 19.); left = Leaf ((score_of_float (-266770.50920644222))); right = Leaf ((score_of_float 684623082.88034248)) }; right = Node { feature = "max_depth"; threshold = (score_of_float 46.5); left = Leaf ((score_of_float 530072811.58311373)); right = Leaf ((score_of_float 80610893.413602918)) } }; right = Node { feature = "Ne"; threshold = (score_of_float 144.5); left = Leaf ((score_of_float 3088273027.983429)); right = Leaf ((score_of_float (-742990.2901704323))) } }; right = Node { feature = "Val"; threshold = (score_of_float 13.); left = Node { feature = "Ty_bool"; threshold = (score_of_float 2.5); left = Node { feature = "Ne"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 1376010441.1525586)); right = Leaf ((score_of_float 87785644.708057478)) }; right = Leaf ((score_of_float 3910326963.8205094)) }; right = Node { feature = "Not"; threshold = (score_of_float 0.5); left = Node { feature = "Symbol"; threshold = (score_of_float 74.); left = Leaf ((score_of_float (-92698407.403541237))); right = Leaf ((score_of_float 32844150.669337705)) }; right = Node { feature = "Mul"; threshold = (score_of_float 19.); left = Leaf ((score_of_float 125633951.43750365)); right = Leaf ((score_of_float 641297415.50477993)) } } } }; right = Node { feature = "max_depth"; threshold = (score_of_float 13.5); left = Node { feature = "Eq"; threshold = (score_of_float 0.5); left = Node { feature = "Unop"; threshold = (score_of_float 0.5); left = Node { feature = "Lt"; threshold = (score_of_float 2.5); left = Leaf ((score_of_float (-742990.2901704323))); right = Leaf ((score_of_float 59729549.715804577)) }; right = Leaf ((score_of_float 1342226839.1230295)) }; right = Leaf ((score_of_float 2280071834.543829)) }; right = Leaf ((score_of_float 3104328762.1841798)) } }] })); ("z3", GBModel ({ init_value = (score_of_float 1243590.7075071903); trees = [Node { feature = "Ty_fp"; threshold = (score_of_float 11.5); left = Node { feature = "Xor"; threshold = (score_of_float 1087.5); left = Node { feature = "ShrA"; threshold = (score_of_float 25.); left = Node { feature = "Ty_fp"; threshold = (score_of_float 8.5); left = Node { feature = "WrapI64"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float (-473295.8981299969))); right = Leaf ((score_of_float 288598603.62582612)) }; right = Node { feature = "Binop"; threshold = (score_of_float 7.5); left = Leaf ((score_of_float 158622767.99249282)); right = Leaf ((score_of_float 3408905211.7924929)) } }; right = Node { feature = "Ne"; threshold = (score_of_float 169.5); left = Leaf ((score_of_float 3165800550.6258254)); right = Leaf ((score_of_float (-1243590.7075071903))) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 40.5); left = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Node { feature = "Xor"; threshold = (score_of_float 1224.5); left = Leaf ((score_of_float 17839492.292492811)); right = Leaf ((score_of_float 22558278.292492811)) }; right = Node { feature = "LtU"; threshold = (score_of_float 81.); left = Leaf ((score_of_float 8976773925.7924919)); right = Leaf ((score_of_float 13477843325.292492)) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 48.5); left = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Leaf ((score_of_float 24401819.586610455)); right = Leaf ((score_of_float 4908162397.6258259)) }; right = Node { feature = "Ne"; threshold = (score_of_float 33.5); left = Leaf ((score_of_float 173380959.85379672)); right = Leaf ((score_of_float 598609994.4465884)) } } } }; right = Node { feature = "OfBool"; threshold = (score_of_float 2.5); left = Node { feature = "Unop"; threshold = (score_of_float 1.5); left = Node { feature = "Sub"; threshold = (score_of_float 1.); left = Node { feature = "Cvtop"; threshold = (score_of_float 2.); left = Leaf ((score_of_float 3380093467.9591599)); right = Leaf ((score_of_float 4281929966.2924938)) }; right = Node { feature = "max_depth"; threshold = (score_of_float 8.); left = Leaf ((score_of_float 6647281765.2924929)); right = Leaf ((score_of_float 6100445953.6258249)) } }; right = Leaf ((score_of_float 9698910338.0924931)) }; right = Node { feature = "Binop"; threshold = (score_of_float 8.); left = Node { feature = "LeU"; threshold = (score_of_float 0.5); left = Node { feature = "Ne"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 93890570.292492807)); right = Leaf ((score_of_float 119152481.79249281)) }; right = Leaf ((score_of_float 76765926.292492807)) }; right = Node { feature = "Eq"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 455640941.79249281)); right = Leaf ((score_of_float 2741986808.2924929)) } } } }; Node { feature = "Ty_fp"; threshold = (score_of_float 11.5); left = Node { feature = "Xor"; threshold = (score_of_float 1087.5); left = Node { feature = "ShrA"; threshold = (score_of_float 25.); left = Node { feature = "Ty_fp"; threshold = (score_of_float 8.5); left = Node { feature = "WrapI64"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float (-425966.30830078514))); right = Leaf ((score_of_float 259738743.26324385)) }; right = Node { feature = "Ty_fp"; threshold = (score_of_float 9.5); left = Leaf ((score_of_float 3068014690.6132431)); right = Leaf ((score_of_float 142760491.1932435)) } }; right = Node { feature = "Ne"; threshold = (score_of_float 169.5); left = Leaf ((score_of_float 2849220495.5632434)); right = Leaf ((score_of_float (-1119231.6367564714))) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 40.5); left = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_bitv"; threshold = (score_of_float 18865.); left = Leaf ((score_of_float 16055543.063243531)); right = Leaf ((score_of_float 20302450.463243529)) }; right = Node { feature = "Ty_bool"; threshold = (score_of_float 1870.); left = Leaf ((score_of_float 8079096533.2132435)); right = Leaf ((score_of_float 12130058992.763245)) } }; right = Node { feature = "Relop"; threshold = (score_of_float 1195.); left = Node { feature = "Sign_extend"; threshold = (score_of_float 687.); left = Leaf ((score_of_float 80378397.437511563)); right = Leaf ((score_of_float 847806424.95450962)) }; right = Node { feature = "mean_depth"; threshold = (score_of_float 38.5); left = Leaf ((score_of_float 2520207486.2443714)); right = Leaf ((score_of_float 483729097.16498548)) } } } }; right = Node { feature = "Relop"; threshold = (score_of_float 8.); left = Node { feature = "Unop"; threshold = (score_of_float 1.5); left = Node { feature = "Sub"; threshold = (score_of_float 1.); left = Node { feature = "max_depth"; threshold = (score_of_float 7.5); left = Leaf ((score_of_float 3853736969.6632452)); right = Leaf ((score_of_float 3042084121.1632438)) }; right = Node { feature = "mean_depth"; threshold = (score_of_float 6.5); left = Leaf ((score_of_float 5490401358.2632437)); right = Leaf ((score_of_float 5982553588.7632437)) } }; right = Leaf ((score_of_float 8729019304.2832451)) }; right = Node { feature = "Relop"; threshold = (score_of_float 11.); left = Node { feature = "Ne"; threshold = (score_of_float 3.5); left = Leaf ((score_of_float 2467788127.4632435)); right = Leaf ((score_of_float 410076847.61324352)) }; right = Node { feature = "LeU"; threshold = (score_of_float 0.5); left = Node { feature = "Eq"; threshold = (score_of_float 2.5); left = Leaf ((score_of_float 107237233.61324352)); right = Leaf ((score_of_float 84501513.263243526)) }; right = Leaf ((score_of_float 69089333.663243532)) } } } }; Node { feature = "Ty_fp"; threshold = (score_of_float 11.5); left = Node { feature = "Eq"; threshold = (score_of_float 819.5); left = Node { feature = "ShrA"; threshold = (score_of_float 25.); left = Node { feature = "Ty_bool"; threshold = (score_of_float 1264.); left = Node { feature = "Ty_fp"; threshold = (score_of_float 8.5); left = Leaf ((score_of_float (-390230.78419851896))); right = Leaf ((score_of_float 880692664.78191924)) }; right = Node { feature = "max_depth"; threshold = (score_of_float 40.5); left = Leaf ((score_of_float 758336396.95053625)); right = Leaf ((score_of_float 91036054.819550529)) } }; right = Node { feature = "Eq"; threshold = (score_of_float 12.5); left = Leaf ((score_of_float (-1007308.4730808242))); right = Leaf ((score_of_float 2564298446.0069194)) } }; right = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Node { feature = "max_depth"; threshold = (score_of_float 48.5); left = Node { feature = "Or"; threshold = (score_of_float 5448.); left = Leaf ((score_of_float 48995261.80160825)); right = Leaf ((score_of_float (-241183523.16560537))) }; right = Node { feature = "mean_depth"; threshold = (score_of_float 197.); left = Leaf ((score_of_float (-4780357.7736620558))); right = Leaf ((score_of_float 131889830.36839233)) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 48.5); left = Node { feature = "OfBool"; threshold = (score_of_float 31.); left = Leaf ((score_of_float 4777556998.4054728)); right = Leaf ((score_of_float 20155637.34646922)) }; right = Node { feature = "LtU"; threshold = (score_of_float 11.5); left = Leaf ((score_of_float 882385488.28383422)); right = Leaf ((score_of_float 357150443.86273569)) } } } }; right = Node { feature = "Ty_bool"; threshold = (score_of_float 4.5); left = Node { feature = "Unop"; threshold = (score_of_float 1.5); left = Node { feature = "Symbol"; threshold = (score_of_float 7.5); left = Node { feature = "LtU"; threshold = (score_of_float 0.5); left = Leaf ((score_of_float 5384298229.886919)); right = Leaf ((score_of_float 4941361222.4369192)) }; right = Node { feature = "Lt"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 3468363272.696919)); right = Leaf ((score_of_float 2737875709.0469193)) } }; right = Leaf ((score_of_float 7856117373.8549175)) }; right = Node { feature = "Relop"; threshold = (score_of_float 11.); left = Node { feature = "Eq"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 369069162.85191917)); right = Leaf ((score_of_float 2221009314.7169189)) }; right = Node { feature = "LeU"; threshold = (score_of_float 0.5); left = Node { feature = "Eq"; threshold = (score_of_float 2.5); left = Leaf ((score_of_float 96513510.25191918)); right = Leaf ((score_of_float 76051361.936919183)) }; right = Leaf ((score_of_float 62180400.296919167)) } } } }; Node { feature = "Ty_fp"; threshold = (score_of_float 11.5); left = Node { feature = "Xor"; threshold = (score_of_float 1087.5); left = Node { feature = "ShrA"; threshold = (score_of_float 25.); left = Node { feature = "Ty_fp"; threshold = (score_of_float 8.5); left = Node { feature = "WrapI64"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float (-350318.84274019889))); right = Leaf ((score_of_float 233803892.01533917)) }; right = Node { feature = "Lt"; threshold = (score_of_float 0.5); left = Leaf ((score_of_float 2673143955.0737271)); right = Leaf ((score_of_float 40415175.595727265)) } }; right = Node { feature = "Eq"; threshold = (score_of_float 12.5); left = Leaf ((score_of_float (-906577.62577274186))); right = Leaf ((score_of_float 2307868601.4062276)) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 40.5); left = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Node { feature = "Ty_bitv"; threshold = (score_of_float 18865.); left = Leaf ((score_of_float (-61383650.938134454))); right = Leaf ((score_of_float (-57561434.27813445))) }; right = Node { feature = "Ite"; threshold = (score_of_float 1477.); left = Leaf ((score_of_float 7195353240.1968651)); right = Leaf ((score_of_float 10841219453.791866)) } }; right = Node { feature = "Relop"; threshold = (score_of_float 647.5); left = Node { feature = "Rem"; threshold = (score_of_float 324.); left = Leaf ((score_of_float 16452272.932098947)); right = Leaf ((score_of_float 425868014.49750692)) }; right = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Leaf ((score_of_float (-9463711.0185097381))); right = Leaf ((score_of_float 537412268.08081305)) } } } }; right = Node { feature = "Ty_bool"; threshold = (score_of_float 4.5); left = Node { feature = "Ty_bool"; threshold = (score_of_float 3.5); left = Node { feature = "Symbol"; threshold = (score_of_float 7.5); left = Node { feature = "Symbol"; threshold = (score_of_float 6.); left = Leaf ((score_of_float 4845868406.8982277)); right = Leaf ((score_of_float 4447225100.1932268)) }; right = Node { feature = "Ty_bool"; threshold = (score_of_float 2.5); left = Leaf ((score_of_float 2464088138.1422267)); right = Leaf ((score_of_float 3121526945.4272265)) } }; right = Leaf ((score_of_float 7070505636.4694262)) }; right = Node { feature = "OfBool"; threshold = (score_of_float 3.5); left = Node { feature = "Ne"; threshold = (score_of_float 3.5); left = Leaf ((score_of_float 1998908383.2452273)); right = Leaf ((score_of_float 332162246.56672728)) }; right = Node { feature = "LeU"; threshold = (score_of_float 0.5); left = Node { feature = "Eq"; threshold = (score_of_float 2.5); left = Leaf ((score_of_float 86862159.226727247)); right = Leaf ((score_of_float 68446225.743227258)) }; right = Leaf ((score_of_float 55962360.267227262)) } } } }; Node { feature = "Ty_fp"; threshold = (score_of_float 11.5); left = Node { feature = "Xor"; threshold = (score_of_float 1087.5); left = Node { feature = "ShrA"; threshold = (score_of_float 25.); left = Node { feature = "Ty_fp"; threshold = (score_of_float 8.5); left = Node { feature = "ShrA"; threshold = (score_of_float 19.5); left = Leaf ((score_of_float (-314081.80537054659))); right = Leaf ((score_of_float 289072197.82877111)) }; right = Node { feature = "Ty_bitv"; threshold = (score_of_float 2.); left = Leaf ((score_of_float 2405829559.5663548)); right = Leaf ((score_of_float 36373658.036154523)) } }; right = Node { feature = "Eq"; threshold = (score_of_float 12.5); left = Leaf ((score_of_float (-815919.86319546762))); right = Leaf ((score_of_float 2077081741.2656047)) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 40.5); left = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Node { feature = "Ite"; threshold = (score_of_float 1477.); left = Leaf ((score_of_float (-55245285.84432099))); right = Leaf ((score_of_float (-51805290.85032101))) }; right = Node { feature = "And"; threshold = (score_of_float 13898.); left = Leaf ((score_of_float 6475817916.1771793)); right = Leaf ((score_of_float 9757097508.4126797)) } }; right = Node { feature = "max_depth"; threshold = (score_of_float 48.5); left = Node { feature = "Ne"; threshold = (score_of_float 0.5); left = Leaf ((score_of_float (-92840002.182881251))); right = Leaf ((score_of_float 3719814441.6251245)) }; right = Node { feature = "mean_depth"; threshold = (score_of_float 109.5); left = Leaf ((score_of_float 65644494.203921057)); right = Leaf ((score_of_float 375277559.94402659)) } } } }; right = Node { feature = "Ty_bool"; threshold = (score_of_float 4.5); left = Node { feature = "Ty_bool"; threshold = (score_of_float 3.5); left = Node { feature = "Symbol"; threshold = (score_of_float 7.5); left = Node { feature = "Symbol"; threshold = (score_of_float 6.); left = Leaf ((score_of_float 4361281566.2084045)); right = Leaf ((score_of_float 4002502590.1739044)) }; right = Node { feature = "Val"; threshold = (score_of_float 13.); left = Leaf ((score_of_float 2217679324.3280044)); right = Leaf ((score_of_float 2809374250.8845057)) } }; right = Leaf ((score_of_float 6363455072.822484)) }; right = Node { feature = "Binop"; threshold = (score_of_float 8.); left = Node { feature = "LeU"; threshold = (score_of_float 0.5); left = Node { feature = "Eq"; threshold = (score_of_float 2.5); left = Leaf ((score_of_float 78175943.304054528)); right = Leaf ((score_of_float 61601603.168904528)) }; right = Leaf ((score_of_float 50366124.240504533)) }; right = Node { feature = "Eq"; threshold = (score_of_float 1.5); left = Leaf ((score_of_float 298946021.9100545)); right = Leaf ((score_of_float 1799017544.9207044)) } } } }] }))]