extra egraphs that previouysly failed

data/fuzz/19.json

@@ -0,0 +1 @@
+{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":88.33907914523702},"node_1":{"op":"operation","children":[],"eclass":"0","cost":31.380094022709294},"node_2":{"op":"operation","children":[],"eclass":"0","cost":85.46008208334565},"node_3":{"op":"operation","children":[],"eclass":"1","cost":51.03798035678284},"node_4":{"op":"operation","children":[],"eclass":"1","cost":88.57609102193999},"node_5":{"op":"operation","children":["node_3","node_4"],"eclass":"1","cost":29.920743409811124},"node_6":{"op":"operation","children":[],"eclass":"1","cost":83.84156235361831},"node_7":{"op":"operation","children":[],"eclass":"1","cost":15.961085173271005},"node_8":{"op":"operation","children":["node_0","node_4"],"eclass":"2","cost":95.02774306310243},"node_9":{"op":"operation","children":[],"eclass":"2","cost":59.71792436293144},"node_10":{"op":"operation","children":["node_5"],"eclass":"2","cost":68.45922247445554},"node_11":{"op":"operation","children":["node_5","node_6","node_9"],"eclass":"2","cost":57.01097446465635},"node_12":{"op":"operation","children":["node_9"],"eclass":"2","cost":81.34398176692994},"node_13":{"op":"operation","children":["node_0","node_10"],"eclass":"2","cost":88.8278857769136},"node_14":{"op":"operation","children":["node_6"],"eclass":"2","cost":29.12956833073791},"node_15":{"op":"operation","children":["node_7"],"eclass":"2","cost":60.913906070481275},"node_16":{"op":"operation","children":["node_3","node_14"],"eclass":"2","cost":38.327931493858856},"node_17":{"op":"operation","children":[],"eclass":"2","cost":3.0666168877196975},"node_18":{"op":"operation","children":["node_3","node_8","node_13"],"eclass":"2","cost":90.71871650194228},"node_19":{"op":"operation","children":["node_17"],"eclass":"2","cost":36.90315552724963},"node_20":{"op":"operation","children":[],"eclass":"3","cost":68.74450717533955},"node_21":{"op":"operation","children":["node_15"],"eclass":"4","cost":86.4333128929997},"node_22":{"op":"operation","children":[],"eclass":"4","cost":39.135523596243125},"node_23":{"op":"operation","children":["node_0","node_2","node_22"],"eclass":"4","cost":68.33455667461268},"node_24":{"op":"operation","children":["node_2","node_4","node_5","node_7","node_10"],"eclass":"4","cost":48.63662876945013},"node_25":{"op":"operation","children":[],"eclass":"4","cost":5.275616481149159},"node_26":{"op":"operation","children":["node_22"],"eclass":"4","cost":48.82599038198296},"node_27":{"op":"operation","children":["node_7"],"eclass":"4","cost":49.69001156482923},"node_28":{"op":"operation","children":["node_5","node_12","node_20","node_24"],"eclass":"4","cost":7.036804972594057},"node_29":{"op":"operation","children":["node_17","node_28"],"eclass":"4","cost":70.54109393760133},"node_30":{"op":"operation","children":["node_6","node_7","node_14"],"eclass":"5","cost":95.93578126220126},"node_31":{"op":"operation","children":["node_5","node_13","node_25"],"eclass":"5","cost":54.28803013353224},"node_32":{"op":"operation","children":["node_7","node_10","node_30"],"eclass":"5","cost":3.572346212908928},"node_33":{"op":"operation","children":["node_0","node_10","node_15","node_24","node_32"],"eclass":"6","cost":84.31285228381701},"node_34":{"op":"operation","children":["node_1","node_3","node_16","node_22","node_23"],"eclass":"6","cost":6.515351494494381},"node_35":{"op":"operation","children":["node_1","node_13","node_22","node_32"],"eclass":"6","cost":33.036709109796256},"node_36":{"op":"operation","children":["node_24"],"eclass":"7","cost":90.6873521656599},"node_37":{"op":"operation","children":["node_1","node_2","node_8","node_29","node_31"],"eclass":"7","cost":1.8364613848407596},"node_38":{"op":"operation","children":["node_8","node_25","node_30","node_32","node_36","node_37"],"eclass":"7","cost":94.45614868004778},"node_39":{"op":"operation","children":["node_11","node_31","node_33"],"eclass":"7","cost":87.30408798371053},"node_40":{"op":"operation","children":["node_2","node_4","node_8","node_15"],"eclass":"7","cost":99.33533866173661},"node_41":{"op":"operation","children":["node_0","node_3","node_6","node_8","node_11","node_23","node_33","node_38"],"eclass":"7","cost":1.017173923360426},"node_42":{"op":"operation","children":["node_11"],"eclass":"7","cost":67.35391642646766},"node_43":{"op":"operation","children":["node_4","node_6","node_14","node_35","node_37","node_39"],"eclass":"7","cost":25.188737716223553},"node_44":{"op":"operation","children":["node_16","node_21","node_24"],"eclass":"7","cost":6.621741488453536},"node_45":{"op":"operation","children":["node_16","node_18","node_38"],"eclass":"7","cost":37.226773804762125},"node_46":{"op":"operation","children":["node_3","node_25","node_27"],"eclass":"7","cost":98.0170455983861},"node_47":{"op":"operation","children":["node_5","node_10","node_12","node_22","node_25","node_26","node_32","node_38","node_39","node_43"],"eclass":"8","cost":8.286875513283443},"node_48":{"op":"operation","children":["node_11","node_21","node_29"],"eclass":"9","cost":57.43141619732109},"node_49":{"op":"operation","children":["node_14","node_17","node_21","node_22","node_28","node_30"],"eclass":"9","cost":6.31613518850469},"node_50":{"op":"operation","children":["node_20","node_33","node_40"],"eclass":"9","cost":51.70111022535549},"node_51":{"op":"operation","children":["node_26","node_47"],"eclass":"9","cost":50.74398959092199},"node_52":{"op":"operation","children":["node_10","node_13","node_23","node_45","node_51"],"eclass":"9","cost":92.18725389709668},"node_53":{"op":"operation","children":["node_35","node_37","node_44"],"eclass":"9","cost":72.97669763885398},"node_54":{"op":"operation","children":["node_2","node_11","node_12","node_22","node_25","node_32","node_33","node_34"],"eclass":"9","cost":89.03357592761667},"node_55":{"op":"operation","children":["node_3","node_4","node_14","node_34","node_49"],"eclass":"9","cost":28.60041721917057}},"root_eclasses":["7","7","7"]}

data/fuzz/20.json

@@ -0,0 +1 @@
+{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"1","cost":70.2721327790228},"node_1":{"op":"operation","children":[],"eclass":"1","cost":6.4920232684143375},"node_2":{"op":"operation","children":[],"eclass":"1","cost":42.78088736710542},"node_3":{"op":"operation","children":[],"eclass":"2","cost":30.47070015707476},"node_4":{"op":"operation","children":[],"eclass":"2","cost":14.455712895038687},"node_5":{"op":"operation","children":[],"eclass":"3","cost":22.69943553756557},"node_6":{"op":"operation","children":[],"eclass":"3","cost":33.53070076029512},"node_7":{"op":"operation","children":[],"eclass":"3","cost":83.73756910410867},"node_8":{"op":"operation","children":["node_2"],"eclass":"4","cost":67.60765670803667},"node_9":{"op":"operation","children":[],"eclass":"4","cost":18.55732385574941},"node_10":{"op":"operation","children":["node_5","node_8"],"eclass":"4","cost":56.170358986602},"node_11":{"op":"operation","children":[],"eclass":"5","cost":36.80664953558397},"node_12":{"op":"operation","children":[],"eclass":"5","cost":39.52178205013678},"node_13":{"op":"operation","children":["node_4"],"eclass":"5","cost":1.205513686731663},"node_14":{"op":"operation","children":["node_5"],"eclass":"5","cost":90.7774707907316},"node_15":{"op":"operation","children":["node_2","node_5","node_12"],"eclass":"5","cost":93.90466701423674},"node_16":{"op":"operation","children":["node_14"],"eclass":"6","cost":3.0847826754068497},"node_17":{"op":"operation","children":["node_2"],"eclass":"6","cost":7.756700028946928},"node_18":{"op":"operation","children":["node_8","node_12","node_16"],"eclass":"6","cost":52.45963502700837},"node_19":{"op":"operation","children":["node_6","node_14"],"eclass":"7","cost":36.03764859953687},"node_20":{"op":"operation","children":["node_7","node_13"],"eclass":"7","cost":31.947599308161656},"node_21":{"op":"operation","children":["node_7","node_11"],"eclass":"8","cost":49.3596864532775},"node_22":{"op":"operation","children":["node_1","node_8","node_12","node_17","node_21"],"eclass":"8","cost":15.390197964638407},"node_23":{"op":"operation","children":["node_3","node_5","node_21"],"eclass":"8","cost":7.20230952652191},"node_24":{"op":"operation","children":["node_20"],"eclass":"8","cost":61.69559727573382},"node_25":{"op":"operation","children":["node_7","node_9"],"eclass":"9","cost":9.4732432724554},"node_26":{"op":"operation","children":["node_1","node_12","node_14"],"eclass":"9","cost":20.02570352884314},"node_27":{"op":"operation","children":["node_6"],"eclass":"9","cost":96.33510393259456},"node_28":{"op":"operation","children":["node_6","node_14"],"eclass":"9","cost":23.93519276506211},"node_29":{"op":"operation","children":["node_6"],"eclass":"9","cost":78.75924366645657},"node_30":{"op":"operation","children":["node_2","node_4","node_7","node_9","node_20","node_26","node_28"],"eclass":"9","cost":62.65046240611447},"node_31":{"op":"operation","children":["node_8","node_25"],"eclass":"9","cost":23.043537418290715},"node_32":{"op":"operation","children":[],"eclass":"10","cost":3.3183436702210245},"node_33":{"op":"operation","children":["node_0","node_9","node_22","node_26"],"eclass":"10","cost":59.46276528324592},"node_34":{"op":"operation","children":["node_0","node_6","node_13","node_20"],"eclass":"10","cost":53.570173433371714},"node_35":{"op":"operation","children":["node_16","node_25"],"eclass":"10","cost":55.49940954095498},"node_36":{"op":"operation","children":["node_9","node_14","node_21"],"eclass":"10","cost":34.13167290173868},"node_37":{"op":"operation","children":["node_13"],"eclass":"10","cost":90.13407515042354},"node_38":{"op":"operation","children":["node_25"],"eclass":"10","cost":27.670021102919783},"node_39":{"op":"operation","children":["node_1","node_16","node_27","node_35"],"eclass":"10","cost":6.382981991432968},"node_40":{"op":"operation","children":["node_0","node_5","node_15","node_20","node_28"],"eclass":"10","cost":29.291523951679743},"node_41":{"op":"operation","children":["node_9","node_10","node_14","node_17","node_20","node_25"],"eclass":"11","cost":9.616404253090671},"node_42":{"op":"operation","children":["node_8","node_9","node_11","node_12","node_22"],"eclass":"11","cost":4.298225365225717},"node_43":{"op":"operation","children":["node_5","node_18","node_28"],"eclass":"11","cost":20.76854847722258},"node_44":{"op":"operation","children":["node_6","node_19","node_22","node_25","node_39","node_41"],"eclass":"11","cost":26.588435064333872},"node_45":{"op":"operation","children":["node_21","node_34"],"eclass":"11","cost":83.36734477463786},"node_46":{"op":"operation","children":["node_8","node_35","node_40","node_43"],"eclass":"12","cost":81.82282415729807},"node_47":{"op":"operation","children":["node_6","node_9","node_10","node_13","node_25","node_38","node_43"],"eclass":"12","cost":19.32462002226243},"node_48":{"op":"operation","children":["node_3","node_25","node_28","node_37","node_39","node_43","node_44"],"eclass":"12","cost":0.4091297666135585},"node_49":{"op":"operation","children":["node_1","node_4","node_14","node_17","node_21","node_32"],"eclass":"12","cost":92.29246635554614},"node_50":{"op":"operation","children":["node_5","node_9","node_18","node_22","node_32","node_48"],"eclass":"13","cost":58.64303626683303},"node_51":{"op":"operation","children":["node_9","node_12","node_23","node_31","node_32","node_40","node_49"],"eclass":"13","cost":2.142965673606767},"node_52":{"op":"operation","children":["node_5","node_16","node_27","node_35","node_36"],"eclass":"13","cost":14.145395377038595},"node_53":{"op":"operation","children":["node_2","node_6","node_20","node_25","node_26","node_33","node_35","node_51"],"eclass":"13","cost":70.88015937485795},"node_54":{"op":"operation","children":["node_3","node_22","node_37","node_41","node_43","node_52"],"eclass":"14","cost":46.4193225258419}},"root_eclasses":["9"]}

data/fuzz/21.json

@@ -0,0 +1 @@
+{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":15.916309001866768},"node_1":{"op":"operation","children":[],"eclass":"0","cost":45.006641652425415},"node_2":{"op":"operation","children":[],"eclass":"0","cost":26.574186717673044},"node_3":{"op":"operation","children":[],"eclass":"0","cost":82.72977299545025},"node_4":{"op":"operation","children":[],"eclass":"0","cost":2.5029520297463637},"node_5":{"op":"operation","children":[],"eclass":"0","cost":62.28392043578622},"node_6":{"op":"operation","children":["node_4"],"eclass":"0","cost":50.969655973909},"node_7":{"op":"operation","children":[],"eclass":"0","cost":37.22972304905486},"node_8":{"op":"operation","children":["node_4"],"eclass":"1","cost":36.944047371571344},"node_9":{"op":"operation","children":["node_0"],"eclass":"1","cost":1.917361700818676},"node_10":{"op":"operation","children":[],"eclass":"1","cost":96.78226580453675},"node_11":{"op":"operation","children":["node_0","node_9"],"eclass":"1","cost":90.04727334374908},"node_12":{"op":"operation","children":["node_8","node_10"],"eclass":"2","cost":35.31502866973818},"node_13":{"op":"operation","children":["node_2"],"eclass":"2","cost":96.21590387081852},"node_14":{"op":"operation","children":["node_3","node_5"],"eclass":"2","cost":43.22663775722686},"node_15":{"op":"operation","children":["node_11","node_12"],"eclass":"2","cost":63.13546380086782},"node_16":{"op":"operation","children":["node_1","node_6","node_13"],"eclass":"2","cost":6.847285504865597},"node_17":{"op":"operation","children":["node_2","node_4"],"eclass":"2","cost":79.7369955677064},"node_18":{"op":"operation","children":["node_11","node_15"],"eclass":"2","cost":85.98420646950858},"node_19":{"op":"operation","children":["node_12","node_17"],"eclass":"2","cost":48.929174146128304},"node_20":{"op":"operation","children":["node_0","node_6"],"eclass":"2","cost":69.72506989692391},"node_21":{"op":"operation","children":["node_0","node_17"],"eclass":"2","cost":35.47924368433549},"node_22":{"op":"operation","children":["node_9"],"eclass":"3","cost":55.15653086609672},"node_23":{"op":"operation","children":["node_10","node_22"],"eclass":"3","cost":56.352787034091534},"node_24":{"op":"operation","children":["node_5","node_8","node_10","node_14","node_18"],"eclass":"3","cost":67.06509119067412},"node_25":{"op":"operation","children":["node_20"],"eclass":"4","cost":66.19086452789679},"node_26":{"op":"operation","children":["node_9","node_11","node_13","node_19","node_22"],"eclass":"5","cost":78.97865537916408},"node_27":{"op":"operation","children":["node_3","node_4","node_10","node_11","node_17","node_23"],"eclass":"5","cost":20.537789915697292},"node_28":{"op":"operation","children":["node_2","node_9","node_13","node_17"],"eclass":"5","cost":13.983880143201377},"node_29":{"op":"operation","children":["node_6","node_13","node_19"],"eclass":"5","cost":56.64832622937044},"node_30":{"op":"operation","children":["node_16","node_20"],"eclass":"5","cost":0.4207314263296902},"node_31":{"op":"operation","children":["node_9","node_14","node_15","node_30"],"eclass":"6","cost":19.555493152526026},"node_32":{"op":"operation","children":["node_27"],"eclass":"7","cost":89.4304243804299},"node_33":{"op":"operation","children":["node_14"],"eclass":"8","cost":90.41287881790421},"node_34":{"op":"operation","children":["node_9","node_10","node_13","node_17","node_19","node_27","node_30"],"eclass":"8","cost":98.94021877473797}},"root_eclasses":["5","5"]}