type/num/num || type/nums/num || 0.985647960112
type/realax/real || type/realax/real || 0.984452610553
const/arithmetic/BIT1 || const/nums/BIT1 || 0.963368519695
const/arithmetic/ZERO const/num/0 || const/nums/_0 || 0.962756924006
const/arithmetic/NUMERAL || const/nums/NUMERAL || 0.960578278847
type/list/list || type/ind_types/list || 0.958426409079
type/pair/prod || type/pair/prod || 0.957928562473
const/pair/, || const/pair/, || 0.950332588579
const/real/real_of_num || const/realax/real_of_num || 0.948944543987
const/real/real_lte || const/realax/real_le || 0.947575511747
const/numeral_bit/iSUC const/num/SUC || const/nums/SUC || 0.945502265168
const/realax/real_neg || const/realax/real_neg || 0.938273078956
const/poly/poly || const/Library/poly/poly || 0.932269413798
const/realax/real_mul || const/realax/real_mul || 0.93096303422
const/list/NIL || const/ind_types/NIL || 0.926440019849
type/realax/real || type/int/int || 0.923380824719
type/integer/int || type/realax/real || 0.908305268202
const/realax/real_lt || const/realax/real_lt || 0.907904947642
const/realax/real_add || const/realax/real_add || 0.904945163147
type/integer/int || type/int/int || 0.904454057177
const/poly/poly_exp || const/Library/poly/poly_exp || 0.903766435078
const/poly/poly_divides || const/Library/poly/poly_divides || 0.902599364866
type/num/num || type/realax/real || 0.902183685922
const/list/CONS || const/ind_types/CONS || 0.901582469529
const/prim_rec/< || const/arith/< || 0.900551790412
const/real/abs || const/realax/real_abs || 0.900530415727
type/realax/real || type/Complex/complexnumbers/complex || 0.900436062367
const/lim/diffl || const/Library/analysis/diffl || 0.896644232892
const/arithmetic/<= || const/arith/<= || 0.896316215962
const/real/real_sub || const/realax/real_sub || 0.895878070966
const/arithmetic/+ || const/arith/+ || 0.892779716179
const/real/pow || const/realax/real_pow || 0.883166788284
const/transc/Dint || const/Library/transc/defint || 0.879778033996
const/transc/division || const/Library/transc/division || 0.879447861398
type/topology/metric || type/Library/analysis/metric || 0.877175536393
type/num/num || type/int/int || 0.873726046535
type/topology/topology || type/Library/analysis/topology || 0.868564824885
const/poly/poly_mul || const/Library/poly/poly_mul || 0.86420488034
const/poly/poly_order || const/Library/poly/order || 0.861875808042
const/real/sum || const/Library/analysis/psum || 0.858942330833
const/transc/dsize || const/Library/transc/dsize || 0.858576909574
const/topology/mr1 || const/Library/analysis/mr1 || 0.858177663114
const/poly/diff || const/Library/poly/poly_diff || 0.858019872351
const/transc/tdiv || const/Library/transc/tdiv || 0.845926933051
const/integral/integrable || const/Library/transc/integrable || 0.845743673378
const/poly/poly_diff_aux || const/Library/poly/poly_diff_aux || 0.836148439526
const/pred_set/INSERT || const/sets/INSERT || 0.835200477194
const/seq/summable || const/Library/analysis/summable || 0.832720386326
const/integral/integral || const/Library/transc/integral || 0.824021055364
const/topology/mtop || const/Library/analysis/mtop || 0.823222408709
const/transc/fine || const/Library/transc/fine || 0.821902931704
const/nets/tends || const/Library/analysis/tends || 0.821089759238
const/bool/COND || const/class/COND || 0.820077289164
const/pred_set/EMPTY || const/sets/EMPTY || 0.819622711554
type/extreal/extreal || type/realax/real || 0.819475157491
const/poly/poly_add || const/Library/poly/poly_add || 0.818908615354
type/num/num || type/realax/hreal || 0.814273563123
const/nets/dorder || const/Library/analysis/dorder || 0.813959639252
const/poly/#hash##hash# || const/Library/poly/poly_cmul || 0.812551729662
const/lim/contl || const/Library/analysis/contl || 0.812226277059
const/numeral/internal_mult const/arithmetic/* || const/arith/* || 0.799059274408
const/integer/int_of_num || const/int/int_of_num || 0.793081708595
const/topology/dist || const/Library/analysis/mdist || 0.791496840709
const/bool/IN || const/sets/IN || 0.788303667397
const/real/real_of_num || const/int/int_of_num || 0.78807732867
const/seq/sums || const/Library/analysis/sums || 0.783984013598
type/realax/real || type/nums/num || 0.783767466483
const/integer/int_add || const/int/int_add || 0.77984973355
const/transc/exp || const/Library/transc/exp || 0.776693349802
const/transc/cos || const/Library/transc/cos || 0.775872336583
const/seq/--> || const/Library/analysis/tends_num_real || 0.773384111952
const/realax/real_add || const/int/int_add || 0.772514906289
const/seq/suminf || const/Library/analysis/suminf || 0.771208243562
type/integer/int || type/Complex/complexnumbers/complex || 0.770169134607
const/realax/inv || const/realax/real_inv || 0.76924135777
const/arithmetic/- || const/arith/- || 0.765347756227
const/poly/poly_neg || const/Library/poly/poly_neg || 0.764200086042
const/poly/poly || const/Complex/cpoly/poly || 0.762074663555
const/transc/rsum || const/Library/transc/rsum || 0.759075400176
const/topology/open || const/Library/analysis/open || 0.747534101016
const/poly/poly_mul || const/Complex/cpoly/poly_mul || 0.746510588823
const/real/real_lte || const/int/int_le || 0.74411968968
const/pred_set/FINITE || const/sets/FINITE || 0.74330152648
type/hreal/hreal || type/realax/hreal || 0.740425246825
const/transc/sin || const/Library/transc/sin || 0.739972403104
const/powser/diffs || const/Library/transc/diffs || 0.736308022849
const/pred_set/SUBSET || const/sets/SUBSET || 0.731951994521
type/rat/rat || type/int/int || 0.731110555876
const/integer/int_add || const/realax/real_add || 0.730372385228
const/list/LENGTH || const/lists/LENGTH || 0.73020349117
const/pred_set/UNION || const/sets/UNION || 0.727591184303
type/extreal/extreal || type/int/int || 0.727118435127
const/hrat/trat_eq || const/realax/treal_eq || 0.726493408224
const/min/@ || const/class/@ || 0.725559500063
const/pred_set/CARD || const/sets/CARD || 0.724948632288
const/integer/int_lt || const/int/int_lt || 0.724702160416
const/list/LIST_TO_SET || const/sets/set_of_list || 0.721216440885
const/real/pow || const/int/int_pow || 0.716741136507
const/poly/poly_add || const/Complex/cpoly/poly_add || 0.71610004087
const/list/APPEND || const/lists/APPEND || 0.712866876705
const/ind_type/ZCONSTR || const/ind_types/ZCONSTR || 0.710989550438
const/integer/int_of_num || const/realax/real_of_num || 0.710703286489
const/real/real_sub || const/int/int_sub || 0.709236716673
const/prim_rec/< || const/arith/<= || 0.706603626153
const/realax/real_lt || const/int/int_lt || 0.705132276421
const/arithmetic/<= || const/arith/< || 0.701640559951
const/integer/int_neg || const/int/int_neg || 0.699060922601
const/realax/real_mul || const/Complex/complexnumbers/complex_mul || 0.692026918044
const/lim/tends_real_real || const/Library/analysis/tends_real_real || 0.690740517765
const/seq/subseq || const/Library/analysis/subseq || 0.689764165199
const/topology/neigh || const/Library/analysis/neigh || 0.689164148217
const/realax/real_add || const/Complex/complexnumbers/complex_add || 0.687427725754
const/pred_set/DELETE || const/sets/DELETE || 0.68458744853
const/integer/int_le || const/int/int_le || 0.683650073076
const/poly/poly_divides || const/Complex/cpoly/poly_divides || 0.677772146372
const/transc/cos || const/Multivariate/transcendentals/cos || 0.67710296752
const/realax/real_add || const/realax/real_sub || 0.662476678471
const/integer/int_of_num || const/int/real_of_int || 0.662157765322
const/arithmetic/BIT2 || const/nums/BIT1 || 0.660936620809
const/seq/mono || const/Library/analysis/mono || 0.660876303428
type/rat/rat || type/realax/real || 0.660488593037
const/ind_type/INJF || const/ind_types/INJF || 0.658764457487
const/realax/real_neg || const/int/int_neg || 0.656997683339
const/arithmetic/>= || const/arith/>= || 0.655491536249
const/rat/abs_rat || const/int/int_of_real || 0.654049246769
const/integer/int_neg || const/realax/real_neg || 0.652982207816
type/num/num || type/Complex/complexnumbers/complex || 0.650650397681
const/transc/exp || const/Multivariate/transcendentals/exp || 0.650049037095
const/ind_type/ZBOT || const/ind_types/ZBOT || 0.649822036224
const/ind_type/ZRECSPACE || const/ind_types/ZRECSPACE || 0.649755542034
const/integer/int_sub || const/int/int_sub || 0.648017070231
const/rat/rep_rat || const/int/real_of_int || 0.64760474379
const/lim/differentiable || const/Library/analysis/differentiable || 0.647245624759
const/real/real_sub || const/realax/real_add || 0.647119179164
const/list/LAST || const/lists/LAST || 0.645993462304
type/ind_type/recspace || type/ind_types/recspace || 0.643944277397
const/realax/real_mul || const/int/int_mul || 0.642643980094
const/realax/treal_eq || const/realax/treal_eq || 0.642594314049
const/extreal/Normal || const/int/real_of_int || 0.640670801999
const/ind_type/INJA || const/ind_types/INJA || 0.640662155283
const/frac/rep_frac || const/Complex/complexnumbers/coords || 0.636301553296
const/transc/gauge || const/Library/transc/gauge || 0.636234118758
type/integer/int || type/nums/num || 0.63296611096
const/pred_set/INTER || const/sets/INTER || 0.632304910686
const/seq/convergent || const/Library/analysis/convergent || 0.631812720376
const/ind_type/mk_rec || const/ind_types/_mk_rec || 0.631757131989
const/topology/metric || const/Library/analysis/metric || 0.630354957512
const/divides/divides || const/int/num_divides || 0.630146522646
const/ind_type/INJP || const/ind_types/INJP || 0.62996379458
const/seq/lim || const/Library/analysis/lim || 0.629868728609
const/integer/int_sub || const/realax/real_sub || 0.628536730453
const/integer/tint_eq || const/realax/treal_eq || 0.62809506373
const/real/abs || const/int/int_abs || 0.627968819186
const/integer/int_mul || const/realax/real_mul || 0.626216785655
const/pred_set/PSUBSET || const/sets/PSUBSET || 0.621049992342
const/ind_type/NUMLEFT || const/ind_types/NUMLEFT || 0.621025869279
const/ind_type/NUMRIGHT || const/ind_types/NUMRIGHT || 0.621025869279
const/list/TL || const/lists/TL || 0.618960806817
type/frac/frac || type/realax/real || 0.618382037637
const/real/real_of_num || const/int/real_of_int || 0.615945947884
type/frac/frac || type/Complex/complexnumbers/complex || 0.610984559172
const/real/real_lte || const/realax/real_lt || 0.610512632936
const/prim_rec/< || const/realax/real_lt || 0.60969215105
const/integer/int_lt || const/realax/real_lt || 0.608965586844
type/extreal/extreal || type/Complex/complexnumbers/complex || 0.60848512195
const/nets/tendsto || const/Library/analysis/tendsto || 0.60544584533
const/pred_set/UNIV || const/sets/UNIV || 0.604196763573
const/poly/poly_exp || const/Complex/cpoly/poly_exp || 0.602483648606
const/poly/#hash##hash# || const/Complex/cpoly/poly_cmul || 0.601696640454
const/integer/int_mul || const/int/int_mul || 0.601334717837
const/transc/sin || const/Multivariate/transcendentals/sin || 0.598320607213
const/real/pow || const/Complex/complexnumbers/complex_pow || 0.593278013273
const/ind_type/INJN || const/ind_types/INJN || 0.593082427397
const/topology/limpt || const/Library/analysis/limpt || 0.591304519452
const/list/SET_TO_LIST || const/sets/list_of_set || 0.589735670633
const/extreal/extreal_of_num || const/realax/real_of_num || 0.588520697258
type/realax/real || type/realax/hreal || 0.588222238638
const/pred_set/SUBSET || const/Library/analysis/re_subset || 0.579544837137
const/arithmetic/EXP || const/arith/EXP || 0.578674901401
const/realax/real_neg || const/Complex/complexnumbers/complex_neg || 0.569060201537
const/topology/closed || const/Library/analysis/closed || 0.568400558739
const/ind_type/dest_rec || const/ind_types/_dest_rec || 0.568121136156
const/topology/ismet || const/Library/analysis/ismet || 0.567739501656
const/integer/int_divides || const/int/int_divides || 0.56701485526
const/arithmetic/<= || const/realax/real_le || 0.566660054899
const/ind_type/NUMFST || const/ind_types/NUMFST || 0.565501322931
const/ind_type/NUMSND || const/ind_types/NUMSND || 0.565501322931
const/extreal/Normal || const/Complex/complexnumbers/Cx || 0.562898753355
const/frac/frac_dnm || const/Complex/complexnumbers/Im || 0.561790829586
const/arithmetic/BIT2 || const/nums/BIT0 || 0.554422824784
const/extreal/extreal_mul || const/realax/real_mul || 0.554239124679
const/poly/normalize || const/Library/poly/normalize || 0.55214079655
const/real/real_sub || const/Complex/complexnumbers/complex_sub || 0.548989673234
const/integer/int_le || const/realax/real_le || 0.546764968198
const/extreal/extreal_inv || const/realax/real_inv || 0.546040115812
const/hreal/hreal_add || const/realax/hreal_add || 0.545738217971
const/ind_type/NUMSUM || const/ind_types/NUMSUM || 0.543080413405
const/frac/frac_nmr || const/Complex/complexnumbers/Re || 0.543013059454
const/arithmetic/BIT1 || const/nums/BIT0 || 0.541225890036
const/ind_type/CONSTR || const/ind_types/CONSTR || 0.539706543874
const/arithmetic/FACT || const/arith/FACT || 0.538281093602
const/real/real_lte || const/int/int_lt || 0.535130804765
const/frac/abs_frac || const/Complex/complexnumbers/complex || 0.534048430098
const/real/sup || const/sets/sup || 0.533163482885
type/integer/int || type/realax/hreal || 0.531932643558
const/transc/asn || const/Library/transc/asn || 0.531281376301
const/canonical/Nil_monom || const/ind_types/NIL || 0.52854328969
const/integer/tint_lt || const/realax/treal_le || 0.525659048557
const/arithmetic/ODD || const/arith/ODD || 0.525085760353
const/prim_rec/< || const/realax/real_le || 0.523624385685
const/transc/acs || const/Library/transc/acs || 0.52072692495
const/hrat/trat_mul || const/realax/treal_mul || 0.520488517001
const/realax/treal_lt || const/realax/treal_le || 0.519286171931
const/arithmetic/+ || const/arith/* || 0.519188867253
const/arithmetic/+ || const/realax/hreal_add || 0.518920391647
const/realax/real_lt || const/realax/real_le || 0.518848459348
const/arithmetic/+ || const/realax/real_add || 0.515160839057
const/real/min || const/int/int_min || 0.511488707181
const/integer/int_add || const/Complex/complexnumbers/complex_add || 0.511387238849
const/integer/int_sub || const/Complex/complexnumbers/complex_sub || 0.511324662176
const/transc/pi || const/Library/transc/pi || 0.509718900536
const/real/#slash# || const/realax/real_div || 0.509660674733
const/topology/B || const/Library/analysis/ball || 0.508034045164
const/arithmetic/EVEN || const/arith/EVEN || 0.506932807581
const/hrat/trat_add || const/realax/treal_add || 0.506767834164
const/ind_type/NUMPAIR || const/ind_types/NUMPAIR || 0.506042435867
const/prim_rec/< || const/int/int_lt || 0.503635411133
const/list/EVERY || const/lists/ALL || 0.502809973006
const/arithmetic/+ || const/int/int_add || 0.501327132658
const/ind_type/BOTTOM || const/ind_types/BOTTOM || 0.500232731894
const/list/FILTER || const/lists/FILTER || 0.499862457638
const/poly/poly_neg || const/Complex/cpoly/poly_neg || 0.499458173019
type/canonical/canonical_sum || type/ind_types/list || 0.499364391331
const/real/min || const/realax/real_min || 0.494228495727
const/divides/prime || const/Library/prime/prime || 0.491869802742
const/arithmetic/MAX || const/int/int_max || 0.488804249712
const/seq/--> || const/Library/analysis/sums || 0.488133421127
const/poly/degree || const/Library/poly/degree || 0.486904936684
const/realax/real_add || const/realax/real_mul || 0.486759129525
const/integer/int_of_num || const/Complex/complexnumbers/Cx || 0.486710956549
const/real/real_lte || const/arith/<= || 0.486674979408
const/rich_list/REPLICATE || const/lists/REPLICATE || 0.48497065178
const/numeral/internal_mult const/arithmetic/* || const/arith/+ || 0.484401335956
const/integer/int_neg || const/Complex/complexnumbers/complex_neg || 0.483553325081
const/arithmetic/<= || const/int/int_le || 0.483333987749
const/list/FRONT || const/lists/BUTLAST || 0.482791931298
const/prim_rec/PRE || const/arith/PRE || 0.481343572096
const/pred_set/BIGUNION || const/sets/UNIONS || 0.480605760015
const/prim_rec/< || const/arith/>= || 0.478953525506
type/rat/rat || type/Complex/complexnumbers/complex || 0.472542932451
const/transc/pi || const/Multivariate/transcendentals/pi || 0.471281449125
const/realax/real_lt || const/int/int_le || 0.468665648615
const/poly/normalize || const/Complex/cpoly/normalize || 0.468659664685
const/integer/int_mul || const/Complex/complexnumbers/complex_mul || 0.467683678355
const/integer/int_of_num || const/realax/hreal_of_num || 0.467501398406
const/prim_rec/< || const/arith/> || 0.467018256004
const/extreal/extreal_pow || const/realax/real_pow || 0.466901248101
const/realax/real_lt || const/arith/< || 0.462807506327
const/pred_set/BIGINTER || const/sets/INTERS || 0.46074033285
const/extreal/extreal_le || const/int/int_le || 0.460575620806
const/arithmetic/<= || const/realax/real_lt || 0.459715228693
const/topology/re_intersect || const/Library/analysis/re_intersect || 0.458452964912
const/pred_set/DISJOINT || const/sets/DISJOINT || 0.45590280793
const/integer/tint_add || const/realax/treal_add || 0.455658823874
const/list/REVERSE || const/lists/REVERSE || 0.455206592759
const/realax/treal_add || const/realax/treal_add || 0.454855865596
const/real/real_of_num || const/realax/hreal_of_num || 0.454211596809
const/real/real_ge || const/realax/real_ge || 0.454211071106
const/real/max || const/int/int_max || 0.451070821544
const/realax/real_add || const/arith/+ || 0.450595693207
const/list/HD || const/lists/HD || 0.44799341838
const/topology/topology || const/Library/analysis/topology || 0.446141168629
const/seq/sums || const/Library/analysis/tends_num_real || 0.445400517391
const/transc/cos || const/Library/transc/sin || 0.445244754966
const/transc/rpow || const/Multivariate/transcendentals/rpow || 0.444938026703
const/transc/sin || const/Library/transc/cos || 0.444777045379
const/integer/int_lt || const/int/int_le || 0.443447878955
const/arithmetic/MAX || const/realax/real_max || 0.442622244498
const/arithmetic/<= || const/arith/> || 0.441130654614
const/topology/istopology || const/Library/analysis/istopology || 0.439664380846
const/list/SNOC || const/ind_types/CONS || 0.438555592631
const/extreal/extreal_le || const/realax/real_le || 0.435421090948
const/bool/?! || const/bool/?! || 0.433209976711
const/arithmetic/NUMERAL || const/realax/real_neg || 0.430166664845
const/extreal/extreal_ainv || const/realax/real_neg || 0.4273005554
const/integer/int_lt || const/realax/real_le || 0.426664976852
const/poly/poly_order || const/Complex/cpoly/order || 0.425757027016
const/transc/sin || const/Multivariate/transcendentals/cos || 0.425657575907
const/transc/cos || const/Multivariate/transcendentals/sin || 0.42518287318
const/integer/int_le || const/int/int_lt || 0.424636029953
const/real/max || const/realax/real_max || 0.424621599096
const/realax/real_mul || const/realax/real_add || 0.423767354311
const/pred_set/FINITE || const/sets/COUNTABLE || 0.422710585054
const/arithmetic/<= || const/arith/>= || 0.421744412638
type/rat/rat || type/nums/num || 0.419286529196
const/hrat/trat_mul || const/realax/treal_add || 0.419108286553
type/frac/frac || type/int/int || 0.418269365109
const/prim_rec/< || const/int/int_le || 0.414834442698
const/pred_set/BIGUNION || const/Library/analysis/re_Union || 0.412354140935
const/numeral/internal_mult const/arithmetic/* || const/int/int_mul || 0.406413553787
const/extreal/extreal_ainv || const/int/int_neg || 0.405983003669
const/hrat/trat_add || const/realax/treal_mul || 0.405400973088
const/integer/int_lt || const/arith/< || 0.404788509437
type/frac/frac || type/nums/num || 0.400397792983
const/arithmetic/MIN || const/int/int_min || 0.397295684892
const/lim/diffl || const/Library/analysis/tends_real_real || 0.395369456199
const/seq/cauchy || const/Library/analysis/cauchy || 0.387776657588
const/pred_set/DIFF || const/sets/DIFF || 0.385706861985
const/integer/int_le || const/realax/real_lt || 0.385400462763
const/integer/tint_mul || const/realax/treal_mul || 0.384505300769
const/extreal/extreal_of_num || const/int/int_of_num || 0.38068971325
const/real/real_of_num || const/Complex/complexnumbers/Cx || 0.375665121395
const/realax/treal_mul || const/realax/treal_mul || 0.375474851274
const/extreal/extreal_mul || const/int/int_mul || 0.370896456039
const/rat/rat_mul || const/int/int_mul || 0.366402407181
const/hrat/trat_inv || const/realax/treal_neg || 0.363306424837
const/numpair/tri || const/nums/BIT0 || 0.362435342432
const/numeral/internal_mult const/arithmetic/* || const/arith/MAX || 0.361655598969
const/arithmetic/MIN || const/realax/real_min || 0.36147851895
const/numeral/internal_mult const/arithmetic/* || const/arith/MIN || 0.360549439372
const/relation/RTC || const/Library/rstc/RTC || 0.360407453073
const/integer/tint_neg || const/realax/treal_neg || 0.359896961841
const/string/ORD || const/int/real_of_int || 0.358986918456
const/integer/int_exp || const/int/int_pow || 0.356830622582
const/extreal/extreal_min || const/int/int_min || 0.356640210468
const/realax/treal_neg || const/realax/treal_neg || 0.354089863825
type/string/char || type/nums/num || 0.353108604983
const/arithmetic/<= || const/int/int_lt || 0.351483295138
const/pred_set/UNIV || const/Library/analysis/re_universe || 0.350878451134
const/integer/int_le || const/arith/<= || 0.349643313782
const/numeral/internal_mult const/arithmetic/* || const/arith/EXP || 0.34932042767
const/real/abs || const/Complex/complexnumbers/cnj || 0.347704036173
const/extreal/extreal_pow || const/Complex/complexnumbers/complex_pow || 0.345455023594
type/extreal/extreal || type/nums/num || 0.343805183561
const/integer/int_mul || const/realax/real_add || 0.343687670088
const/extreal/extreal_pow || const/int/int_pow || 0.341534694861
const/realax/real_add || const/int/int_sub || 0.34149782555
const/transc/root || const/Library/transc/root || 0.338346063348
const/extreal/Normal || const/Complex/complexnumbers/complex_norm || 0.337737942573
const/num/ABS_num || const/int/int_of_real || 0.33714819898
const/integer/int_exp || const/realax/real_pow || 0.336147275385
const/realax/real_add || const/realax/hreal_add || 0.33157825471
const/numpair/npair || const/ind_types/NUMPAIR || 0.331452325479
const/poly/degree || const/Complex/cpoly/degree || 0.328418334504
const/extreal/extreal_min || const/realax/real_min || 0.32645314067
const/real/real_sub || const/int/int_add || 0.326081701769
const/realax/real_add || const/int/int_mul || 0.325471270716
const/realax/real_mul || const/realax/hreal_mul || 0.323615669105
const/list/EL || const/lists/EL || 0.323557238849
const/util_prob/minimal || const/arith/minimal || 0.322191776147
const/divides/divides || const/int/int_divides || 0.322097280545
const/num/REP_num || const/int/real_of_int || 0.32031640131
const/pred_set/countable || const/sets/COUNTABLE || 0.319519693433
const/extreal/Normal || const/int/int_of_num || 0.318940819198
const/realax/real_mul || const/arith/* || 0.318212777823
const/rat/rat_les || const/int/int_lt || 0.317171645374
const/integer/int_add || const/arith/+ || 0.316128637479
const/arithmetic/+ || const/arith/MIN || 0.314950797284
const/arithmetic/+ || const/arith/MAX || 0.314773423944
const/pred_set/CROSS || const/sets/CROSS || 0.313578381584
const/realax/real_add || const/Complex/complexnumbers/complex_mul || 0.312340075213
const/arithmetic/+ || const/int/int_mul || 0.312265275746
const/rat/rat_mul || const/realax/real_mul || 0.311119898009
const/util_prob/countable || const/sets/COUNTABLE || 0.310746517984
const/numeral/internal_mult const/arithmetic/* || const/realax/real_mul || 0.309363604304
const/pred_set/SING || const/sets/SING || 0.308885933858
const/extreal/extreal_max || const/int/int_max || 0.308454445825
const/real/#slash# || const/realax/real_mul || 0.307684648303
const/rat/rat_add || const/int/int_add || 0.305658789467
const/real/real_lte || const/arith/< || 0.305072174939
const/integer/int_mul || const/realax/real_max || 0.305002674951
const/integer/ABS || const/realax/real_abs || 0.304903132229
const/integer/int_add || const/realax/real_mul || 0.301721937118
const/string/ORD || const/int/int_of_num || 0.300885177991
const/prim_rec/measure || const/wf/MEASURE || 0.299383412505
const/extreal/extreal_lt || const/int/int_lt || 0.296992160566
const/list/EXISTS || const/lists/EX || 0.296724894157
const/realax/real_add || const/arith/* || 0.296102726558
const/integer/int_sub || const/int/int_add || 0.295946531665
const/list/NULL || const/lists/NULL || 0.295762383168
const/integer/Num || const/int/num_of_int || 0.295636507712
const/hreal/hreal_mul || const/realax/hreal_mul || 0.295457361054
const/relation/TC || const/Library/rstc/TC || 0.293654240131
const/realax/real_lt || const/arith/<= || 0.292625117724
const/list/MAP || const/lists/MAP || 0.292075289661
const/integer/int_of_num || const/Complex/complexnumbers/complex_norm || 0.289784961214
const/pair/REP_prod || const/pair/REP_prod || 0.288072535466
const/numeral/internal_mult const/arithmetic/* || const/Complex/complexnumbers/complex_mul || 0.288068900379
const/real/real_sub || const/realax/real_mul || 0.287948086395
const/hreal/hreal_lt || const/realax/hreal_le || 0.287846415426
const/transc/tan || const/Library/transc/tan || 0.283804361917
const/realax/real_mul || const/Complex/complexnumbers/complex_add || 0.283328270923
const/integer/int_mul || const/realax/real_min || 0.281140337311
const/integer/int_add || const/realax/real_sub || 0.280901010409
const/integer/ABS || const/int/int_abs || 0.280766369897
const/num/ABS_num || const/nums/mk_num || 0.278739346491
const/arithmetic/<= || const/realax/hreal_le || 0.27860911108
const/integer/int_add || const/int/int_sub || 0.278089676468
const/real/abs || const/real/real_sgn || 0.278056118664
const/real/abs || const/realax/real_inv || 0.27763216801
const/realax/real_add || const/realax/real_min || 0.276016607202
const/extreal/extreal_max || const/realax/real_max || 0.276003733473
const/integer/int_lt || const/int/int_ge || 0.273411327988
const/frac/frac_mul || const/Complex/complexnumbers/complex_add || 0.273389847051
const/extreal/extreal_lt || const/realax/real_lt || 0.27272321145
const/integer/int_add || const/realax/hreal_add || 0.272038078563
const/pred_set/CHOICE || const/sets/CHOICE || 0.271646257841
const/realax/real_add || const/realax/real_max || 0.270737253659
const/realax/real_mul || const/realax/real_min || 0.270419589742
const/rat/rat_ainv || const/int/int_neg || 0.269637594209
const/one/one || const/trivia/one || 0.26884296302
const/realax/real_mul || const/realax/real_max || 0.265142344041
const/realax/real_mul || const/realax/real_sub || 0.264592655545
const/integer/int_add || const/realax/real_min || 0.264440392147
const/rat/rat_les || const/realax/real_lt || 0.264002472682
const/integer/int_mul || const/realax/hreal_mul || 0.26098128491
const/numeral_bit/iSUC const/num/SUC || const/nums/BIT1 || 0.259621228822
const/numeral/internal_mult const/arithmetic/* || const/int/int_add || 0.25947132909
const/integer/int_add || const/realax/real_max || 0.259399480145
const/extreal/Normal || const/realax/real_of_num || 0.259199201179
const/integer/int_sub || const/realax/real_add || 0.259132233381
const/realax/real_mul || const/realax/real_div || 0.25845551523
const/arithmetic/NUMERAL || const/nums/BIT0 || 0.257583352843
const/realax/real_add || const/int/int_min || 0.256848329165
const/realax/real_add || const/int/int_max || 0.256832404918
type/string/char || type/realax/real || 0.256113908087
const/real/real_of_num || const/Complex/complexnumbers/complex_norm || 0.255097462998
const/integer/int_lt || const/arith/<= || 0.254545051124
const/list/FRONT || const/lists/TL || 0.253466925177
const/lim/tends_real_real || const/Library/analysis/diffl || 0.253224450011
const/integer/int_exp || const/Complex/complexnumbers/complex_pow || 0.252861626848
const/integer/int_neg || const/realax/real_inv || 0.25158880009
const/integer/int_le || const/int/int_gt || 0.251476687393
const/binary_ieee/float_value_size || const/nums/mk_num || 0.251216977123
const/divides/PRIMES || const/arith/FACT || 0.250976686869
const/realax/real_mul || const/int/int_max || 0.250458419393
const/realax/real_mul || const/int/int_min || 0.250451670442
const/topology/mr1 || const/Multivariate/realanalysis/real_euclidean_metric || 0.250410109453
const/extreal/extreal_le || const/realax/real_lt || 0.249393771441
const/numeral/internal_mult const/arithmetic/* || const/realax/hreal_mul || 0.248631891845
const/frac/frac_sgn || const/int/real_of_int || 0.247965031946
const/rat/rat_of_num || const/int/int_of_num || 0.24698762046
const/extreal/extreal_size || const/nums/mk_num || 0.246742817005
const/extreal/extreal_le || const/int/int_lt || 0.24668948517
const/integer/tint_mul || const/realax/treal_add || 0.245213104586
const/prim_rec/PRE || const/nums/SUC || 0.245105572757
const/real/real_lte || const/realax/hreal_le || 0.24391602894
const/realax/real_add || const/Complex/complexnumbers/complex_sub || 0.243536873589
const/integer/int_mul || const/int/int_max || 0.243271541624
const/realax/real_neg || const/realax/real_inv || 0.242791733576
const/realax/real_neg || const/realax/real_abs || 0.242387719784
const/rat/rat_add || const/realax/real_add || 0.242306912413
const/rat/abs_rat || const/int/real_of_int || 0.241978424762
const/pair/ABS_prod || const/pair/ABS_prod || 0.241754193383
const/num/REP_num || const/nums/dest_num || 0.241018389101
const/integer/int_add || const/int/int_mul || 0.239364641315
const/rat/rat_of_num || const/realax/real_of_num || 0.239218128165
const/ind_type/FCONS || const/ind_types/FCONS || 0.238797327191
const/transc/acs || const/Library/transc/asn || 0.23743987987
const/prim_rec/< || const/realax/hreal_le || 0.237368411297
const/integer/tint_add || const/realax/treal_mul || 0.237194130848
const/transc/asn || const/Library/transc/acs || 0.236722253466
const/pred_set/count || const/Library/binary/bitset || 0.235923748941
const/arithmetic/EVEN || const/arith/ODD || 0.235814916736
const/realax/treal_mul || const/realax/treal_add || 0.235672938211
const/realax/treal_add || const/realax/treal_mul || 0.235672938211
const/realax/real_mul || const/int/int_add || 0.235478511753
const/numeral_bit/iSUC const/num/SUC || const/realax/real_neg || 0.23537459797
const/arithmetic/ODD || const/arith/EVEN || 0.234945725735
type/string/char || type/int/int || 0.234896536172
const/fcp/HAS_SIZE || const/sets/HAS_SIZE || 0.234173293927
const/arithmetic/+ || const/int/int_sub || 0.233681117494
type/realax/real || type/realax/nadd || 0.233478173224
const/prim_rec/wellfounded || const/wf/WF || 0.233181412708
const/arithmetic/MOD || const/arith/MOD || 0.232184690195
const/transc/cos || const/Complex/complex_transc/ccos || 0.230563826397
const/arithmetic/ZERO const/num/0 || const/nums/IND_0 || 0.229230068899
const/extreal/extreal_div || const/realax/real_div || 0.227480793369
const/numeral/internal_mult const/arithmetic/* || const/int/int_max || 0.227133396815
const/numeral/internal_mult const/arithmetic/* || const/realax/real_add || 0.227110439424
const/numeral/internal_mult const/arithmetic/* || const/int/int_min || 0.226665874663
type/num/num || type/nums/ind || 0.226322854949
const/rat/rat_sub || const/int/int_sub || 0.225408079546
const/transc/sin || const/Complex/complex_transc/csin || 0.223859922368
const/integer/int_add || const/int/int_min || 0.222849329081
const/integer/int_add || const/int/int_max || 0.22284482055
const/arithmetic/+ || const/realax/real_mul || 0.22111536279
const/transc/exp || const/Complex/complex_transc/cexp || 0.220379414484
type/rat/rat || type/realax/hreal || 0.220119184121
const/integer/LEAST_INT || const/arith/minimal || 0.219848220525
const/arithmetic/+ || const/Complex/complexnumbers/complex_mul || 0.219263743662
const/numeral_bit/iSUC const/num/SUC || const/nums/NUMERAL || 0.218193366305
const/gcd/lcm || const/arith/* || 0.217835337112
const/arithmetic/ZERO const/num/0 || const/Multivariate/transcendentals/pi || 0.216934543276
const/numeral_bit/iSUC const/num/SUC || const/nums/BIT0 || 0.216806050421
const/arithmetic/<= || const/int/num_divides || 0.215983912797
const/relation/RC || const/Library/rstc/RC || 0.215682363199
const/arithmetic/+ || const/int/int_max || 0.214581781593
const/real/abs || const/int/int_sgn || 0.214002497752
const/gcd/gcd || const/Library/pocklington/order || 0.213330725803
const/transc/tan || const/Multivariate/transcendentals/tan || 0.213248294453
const/arithmetic/DIV || const/arith/DIV || 0.212574582476
type/extreal/extreal || type/realax/hreal || 0.21082429455
const/extreal/extreal_mul || const/Complex/complexnumbers/complex_mul || 0.210787785857
const/extreal/extreal_le || const/arith/<= || 0.210756299574
const/integer/int_REP || const/realax/treal_of_num || 0.20908142029
const/extreal/extreal_abs || const/realax/real_abs || 0.208531870912
const/real/#slash# || const/int/int_mul || 0.207902230736
const/rat/abs_rat || const/Complex/complexnumbers/Cx || 0.207764942414
const/arithmetic/- || const/arith/+ || 0.20621937542
const/prim_rec/< || const/int/num_divides || 0.20587971173
type/string/char || type/Complex/complexnumbers/complex || 0.205817541805
const/numpair/nfst || const/ind_types/NUMFST || 0.205453461827
const/numpair/nsnd || const/ind_types/NUMSND || 0.205453461827
const/integer/int_add || const/Complex/complexnumbers/complex_mul || 0.205379547609
const/integer/int_mul || const/int/int_min || 0.205193804552
const/extreal/extreal_ainv || const/Complex/complexnumbers/complex_neg || 0.20471384582
const/realax/real_mul || const/arith/+ || 0.20429331263
const/realax/real_REP || const/realax/treal_of_num || 0.203950868895
const/sorting/SORTED || const/sets/PAIRWISE || 0.203419170848
const/pred_set/COMPL || const/Library/analysis/re_compl || 0.20237462688
const/seq/lim || const/Library/analysis/suminf || 0.202337253423
const/integer/int_neg || const/Complex/complexnumbers/cnj || 0.20196472557
const/intreal/INT_FLOOR || const/int/int_of_real || 0.201833656452
const/transc/asn || const/Multivariate/transcendentals/asn || 0.200975556838
const/transc/acs || const/Multivariate/transcendentals/acs || 0.200105018562
const/transc/exp || const/Library/transc/atn || 0.19906299608
const/string/ORD || const/realax/real_of_num || 0.198125320194
const/transc/asn || const/Multivariate/transcendentals/acs || 0.197632916822
type/min/ind || type/nums/ind || 0.197457009544
const/arithmetic/NUMERAL || const/Multivariate/misc/sqrt || 0.197231566062
const/rat/rat_leq || const/int/int_le || 0.196947925166
const/arithmetic/+ || const/int/int_min || 0.196638234877
const/arithmetic/NUMERAL || const/realax/real_inv || 0.196154738329
const/transc/acs || const/Multivariate/transcendentals/asn || 0.195280162996
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/arith/PRE || 0.195250588743
const/rat/rat_mul || const/Complex/complexnumbers/complex_mul || 0.194850519334
const/pred_set/FINITE || const/sets/INFINITE || 0.192320849043
const/real/abs || const/Multivariate/misc/sqrt || 0.192036825364
const/integer/int_mul || const/Complex/complexnumbers/complex_add || 0.191921978188
const/real/#slash# || const/Complex/complexnumbers/complex_div || 0.191740385993
const/rat/rat_sgn || const/int/real_of_int || 0.19172581097
const/pred_set/countable || const/sets/FINITE || 0.191280504234
const/rat/rat_of_num || const/int/real_of_int || 0.190960843148
type/llist/llist || type/ind_types/list || 0.190346263523
const/rat/rat_ainv || const/realax/real_neg || 0.188807740518
const/pred_set/EMPTY || const/Library/analysis/re_null || 0.188617008187
const/seq/suminf || const/Library/analysis/lim || 0.187878010599
const/topology/dist || const/Multivariate/metric/mdist || 0.18774846705
const/integer/int_mul || const/int/int_add || 0.187239289162
const/list/ALL_DISTINCT || const/lists/NULL || 0.187162483352
const/numpair/tri || const/Library/transc/atn || 0.18632172506
const/arithmetic/NUMERAL || const/Complex/complexnumbers/cnj || 0.186284863682
const/arithmetic/BIT2 || const/nums/SUC || 0.186229124259
const/realax/real_lt || const/realax/hreal_le || 0.185683922297
const/pred_set/BIGUNION || const/sets/INTERS || 0.185186650236
const/realax/inv || const/Complex/complexnumbers/complex_inv || 0.185120114392
const/integer/int_mul || const/realax/real_div || 0.184977731194
const/transc/ln || const/Library/transc/ln || 0.182822978424
const/numeral_bit/iSUC const/num/SUC || const/int/int_neg || 0.182261353358
const/frac/frac_ainv || const/realax/real_neg || 0.181831725095
const/realax/inv || const/realax/real_neg || 0.18169723733
const/integer/int_neg || const/Complex/complexnumbers/complex_inv || 0.179512491105
const/realax/real_mul || const/Complex/complexnumbers/complex_div || 0.178996695562
const/rich_list/ELL || const/lists/EL || 0.178414222337
const/arithmetic/- || const/int/int_sub || 0.177551942184
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/nums/SUC || 0.177275377256
const/util_prob/pair || const/sets/CROSS || 0.176420371864
type/hreal/hreal || type/nums/num || 0.175861404411
const/arithmetic/BIT2 || const/Library/transc/exp || 0.175334616852
const/arithmetic/BIT1 || const/Library/transc/atn || 0.175040637598
const/arithmetic/MAX || const/arith/MAX || 0.174421262042
const/numpair/tri || const/nums/SUC || 0.174364595438
const/divides/divides || const/arith/<= || 0.173998656235
const/real/abs || const/Complex/complexnumbers/complex_inv || 0.173805201384
const/numeral/iDUB || const/nums/BIT0 || 0.173597607381
const/util_prob/lg || const/realax/real_inv || 0.173446250662
const/real/max || const/int/int_min || 0.172418479895
const/realax/real_mul || const/realax/hreal_add || 0.172219946008
const/rat/rat_of_num || const/realax/hreal_of_num || 0.17219136856
const/pred_set/DISJOINT || const/sets/SUBSET || 0.172179825403
const/arithmetic/NUMERAL || const/realax/real_abs || 0.171603358688
const/pair/SND || const/pair/SND || 0.17159907515
const/frac/frac_mul || const/Complex/complexnumbers/complex_mul || 0.171092233137
const/relation/EQC || const/Library/rstc/RSTC || 0.171081444201
const/realax/real_mul || const/Multivariate/transcendentals/rpow || 0.17086403616
const/extreal/extreal_add || const/realax/real_add || 0.170753361185
const/real/min || const/int/int_max || 0.17064213979
const/real/#slash# || const/Complex/complexnumbers/complex_mul || 0.170542278188
const/pair/FST || const/pair/FST || 0.170441499193
const/numeral_bit/iSUC const/num/SUC || const/Complex/complexnumbers/complex_neg || 0.170182827371
const/arithmetic/+ || const/realax/real_sub || 0.17016766847
const/arithmetic/BIT1 || const/Library/transc/exp || 0.169696719446
const/numeral/internal_mult const/arithmetic/* || const/realax/real_div || 0.169565542984
const/arithmetic/BIT2 || const/Multivariate/transcendentals/exp || 0.169321325757
const/real/max || const/realax/real_min || 0.169060990742
const/arithmetic/BIT1 || const/nums/SUC || 0.169018409422
const/numeral/iiSUC || const/realax/real_inv || 0.168982961463
const/numeral_bit/iSUC const/num/SUC || const/Library/transc/atn || 0.167219143897
const/numeral_bit/iSUC const/num/SUC || const/Multivariate/transcendentals/atn || 0.166943994304
const/realax/inv || const/realax/real_abs || 0.166776945969
const/list/REVERSE || const/lists/BUTLAST || 0.166628207012
const/frac/frac_mul || const/realax/real_mul || 0.166463018846
const/arithmetic/NUMERAL || const/nums/BIT1 || 0.165965617379
const/transc/exp || const/Multivariate/transcendentals/atn || 0.165881836966
const/rat/abs_rat || const/int/int_of_num || 0.165821949947
const/numeral/iiSUC || const/nums/SUC || 0.165470425904
const/hrat/trat_inv || const/realax/treal_inv || 0.165411171495
const/integer/int_mul || const/arith/* || 0.165072427969
const/integer/int_mul || const/realax/hreal_add || 0.165030090436
const/arithmetic/BIT2 || const/nums/NUMERAL || 0.164957074745
const/gcd/gcd || const/arith/+ || 0.164660130533
const/integer/int_le || const/arith/< || 0.164048254779
const/real/real_of_num || const/realax/nadd_of_num || 0.16400571546
const/arithmetic/BIT1 || const/Multivariate/transcendentals/exp || 0.163925108819
const/realax/real_lt || const/realax/real_gt || 0.163159446578
const/numeral/internal_mult const/arithmetic/* || const/Complex/complexnumbers/complex_div || 0.16303140701
const/arithmetic/EXP || const/arith/* || 0.16293509494
const/real/min || const/realax/real_max || 0.162529034915
const/frac/frac_sgn || const/int/int_of_num || 0.162185679979
const/arithmetic/MIN || const/arith/MIN || 0.161778355499
const/arithmetic/BIT1 || const/nums/NUMERAL || 0.161264706724
const/lim/contl || const/Library/analysis/differentiable || 0.161030843218
const/integer/int_min || const/realax/real_min || 0.160945153028
const/arithmetic/NUMERAL || const/int/int_neg || 0.160613622671
const/numeral_bit/iSUC const/num/SUC || const/Multivariate/misc/sqrt || 0.160364261478
const/integer/tint_neg || const/realax/treal_inv || 0.159996844168
const/integer/int_add || const/Complex/complexnumbers/complex_sub || 0.159682725885
const/rat/rat_mul || const/int/int_max || 0.159492901192
const/rat/rat_mul || const/int/int_min || 0.159317573313
const/frac/frac_mul || const/arith/MAX || 0.159164639566
const/rat/rat_mul || const/realax/hreal_mul || 0.158744161199
const/rich_list/PREFIX || const/lists/FILTER || 0.158427281648
const/intreal/is_int || const/int/integer || 0.158199793322
const/transc/ln || const/Multivariate/transcendentals/log || 0.158135701843
const/pred_set/BIGINTER || const/sets/UNIONS || 0.157583999009
const/frac/frac_mul || const/arith/MIN || 0.157509871587
const/rat/rat_add || const/Complex/complexnumbers/complex_add || 0.157470209118
const/rat/rat_ainv || const/Complex/complexnumbers/complex_neg || 0.15745575172
type/topology/metric || type/Multivariate/metric/metric || 0.157359388625
const/gcd/gcd || const/arith/- || 0.157330033657
const/lim/differentiable || const/Library/analysis/contl || 0.157237800126
const/arithmetic/ODD || const/int/integer || 0.15717711191
const/transc/exp || const/Multivariate/misc/sqrt || 0.157172931342
const/realax/treal_neg || const/realax/treal_inv || 0.15669518482
const/realax/real_lt || const/realax/real_ge || 0.156610425623
const/intreal/real_of_int || const/int/real_of_int || 0.156558591635
const/util_prob/logr || const/realax/real_div || 0.156447359782
const/num/SUC_REP || const/nums/IND_SUC || 0.156349749154
const/arithmetic/- || const/arith/EXP || 0.155676035818
const/integer/int_max || const/realax/real_max || 0.155637264783
const/realax/inv || const/int/int_abs || 0.155579782072
const/integer/tint_eq || const/realax/treal_le || 0.155414013521
const/list/nub || const/lists/BUTLAST || 0.155236649543
const/realax/treal_inv || const/realax/treal_neg || 0.155095338516
const/rat/rat_les || const/arith/< || 0.153006815047
const/arithmetic/EVEN || const/int/integer || 0.152986084141
const/hrat/trat_eq || const/realax/treal_le || 0.152799086215
const/realax/real_lt || const/int/int_divides || 0.152613092735
const/num/ZERO_REP || const/nums/IND_0 || 0.152542433001
const/integer/int_max || const/int/int_max || 0.152402586449
const/numpair/tri || const/Multivariate/transcendentals/atn || 0.152327122212
const/integer/int_min || const/int/int_min || 0.152213387173
const/numpair/tri || const/Library/transc/exp || 0.151882209859
const/numeral/internal_mult const/arithmetic/* || const/int/int_sub || 0.150913876582
type/min/ind || type/realax/real || 0.150875219876
const/arithmetic/NUMERAL || const/real/real_sgn || 0.150794992531
const/integer/int_mul || const/Complex/complexnumbers/complex_div || 0.150630207413
const/numeral_bit/iSUC const/num/SUC || const/arith/PRE || 0.149693967562
const/frac/frac_mul || const/arith/* || 0.149690977667
const/arithmetic/DIV || const/arith/+ || 0.149625615582
const/rat/rat_leq || const/realax/real_le || 0.149342955
const/realax/treal_inv || const/realax/treal_inv || 0.148276355987
type/topology/topology || type/Multivariate/metric/topology || 0.147991744491
const/numpair/tri || const/arith/FACT || 0.147829209008
const/pred_set/INTER || const/sets/UNION || 0.147702049614
const/real/real_lte || const/realax/nadd_le || 0.147626091331
const/realax/treal_eq || const/realax/treal_le || 0.147438804134
const/integer/int_add || const/arith/* || 0.1470766241
const/util_prob/pair || const/Library/card/*_c || 0.146717276305
const/extreal/Normal || const/realax/hreal_of_num || 0.146445684942
const/arithmetic/- || const/int/int_add || 0.146238942457
const/relation/WF || const/wf/WF || 0.145479661768
const/extreal/extreal_add || const/int/int_add || 0.145065373465
const/real/real_sub || const/arith/+ || 0.145058706853
const/integer/ABS || const/real/real_sgn || 0.144886958832
const/real/real_lte || const/int/int_divides || 0.144658310979
const/numpair/tri || const/Multivariate/misc/sqrt || 0.144543451033
const/transc/atn || const/Library/transc/atn || 0.143614114508
const/numeral_bit/iSUC const/num/SUC || const/Library/transc/exp || 0.143453226356
const/numpair/tri || const/Multivariate/transcendentals/exp || 0.143324911835
const/frac/frac_mul || const/arith/+ || 0.142841164214
const/gcd/gcd || const/arith/EXP || 0.142579597643
const/realax/real_add || const/realax/hreal_mul || 0.142048259866
const/prim_rec/< || const/int/int_ge || 0.14196256008
const/real/real_lte || const/realax/real_gt || 0.141686132331
const/extreal/real || const/int/int_of_real || 0.141624623538
const/pred_set/UNION || const/sets/INTER || 0.141591376471
const/numpair/nfst || const/Library/floor/floor || 0.141484566703
const/rat/rat_sub || const/realax/real_sub || 0.141283932018
const/prelim/ordering2num || const/int/real_of_int || 0.141251498933
const/arithmetic/BIT1 || const/Multivariate/transcendentals/atn || 0.141127806284
const/relation/transitive || const/wf/WF || 0.140600946596
const/toto/cpn2num || const/int/real_of_int || 0.140555847821
const/rat/rat_sub || const/int/int_add || 0.140411775552
const/binary_ieee/float_compare2num || const/int/real_of_int || 0.139852737391
const/ieee/ccode2num || const/int/real_of_int || 0.139852737391
const/ieee/roundmode2num || const/int/real_of_int || 0.139347116406
const/frac/frac_sgn || const/realax/real_of_num || 0.13911397884
const/realax/real_lt || const/int/int_ge || 0.138869125939
const/rat/rat_add || const/realax/real_mul || 0.138828934728
const/binary_ieee/rounding2num || const/int/real_of_int || 0.138596096953
const/rat/rat_mul || const/int/int_add || 0.138266802726
const/util_prob/countable || const/sets/FINITE || 0.1381869646
const/llist/LFILTER || const/lists/FILTER || 0.138166493539
const/frac/frac_ainv || const/Complex/complexnumbers/complex_neg || 0.138107319107
const/transc/sin || const/Library/floor/frac || 0.138037613693
const/rat/rat_add || const/int/int_min || 0.137856675247
const/numeral_bit/iSUC const/num/SUC || const/Multivariate/transcendentals/exp || 0.137809540695
const/rat/rat_add || const/int/int_max || 0.137794119942
const/toto/num_dt_size || const/nums/mk_num || 0.136811747812
const/integer/int_mul || const/Multivariate/transcendentals/rpow || 0.136665103454
const/rat/rat_les || const/int/int_le || 0.136425712445
const/divides/PRIMES || const/Library/floor/floor || 0.136302971811
const/transc/cos || const/Library/floor/frac || 0.136136555658
const/realax/real_neg || const/Complex/complexnumbers/complex_inv || 0.135990882382
const/frac/frac_sgn || const/Complex/complexnumbers/Cx || 0.13598650396
const/list/nub || const/lists/REVERSE || 0.135950328819
const/real/real_lte || const/realax/real_ge || 0.135438739217
const/prim_rec/< || const/int/int_gt || 0.135093874378
const/topology/open || const/Multivariate/metric/open_in || 0.134533770524
const/arithmetic/- || const/realax/real_sub || 0.134104336389
const/util_prob/countable || const/sets/INFINITE || 0.133817586174
const/seq/convergent || const/Library/analysis/summable || 0.133578646696
const/extreal/extreal_abs || const/int/int_abs || 0.133120051562
const/arithmetic/DIV || const/arith/- || 0.132781150803
const/integer/int_neg || const/int/int_abs || 0.132484369158
const/sptree/size || const/lists/LENGTH || 0.132455458453
const/transc/sqrt || const/int/int_abs || 0.131986512594
const/pred_set/REST || const/sets/REST || 0.131580694469
const/string/IMPLODE || const/Library/poly/normalize || 0.131258069496
const/realax/real_lt || const/int/int_gt || 0.131053447822
const/real/real_sub || const/Complex/complexnumbers/complex_add || 0.13093464926
const/list/dropWhile || const/lists/FILTER || 0.130040376682
const/rat/rat_add || const/int/int_mul || 0.129914047384
const/integer/int_mul || const/Complex/complexnumbers/complex_sub || 0.129785527751
const/realax/real_lt || const/realax/nadd_le || 0.129718256027
const/integer/ABS || const/Complex/complexnumbers/cnj || 0.12936374224
const/extreal/extreal_lt || const/realax/real_le || 0.129354135191
const/seq/summable || const/Library/analysis/convergent || 0.128887327988
const/string/IMPLODE || const/Complex/cpoly/poly_neg || 0.128592063919
const/rat/abs_rat || const/realax/real_of_num || 0.12832571976
const/string/EXPLODE || const/Library/poly/normalize || 0.128269252402
const/frac/frac_mul || const/int/int_mul || 0.127906363323
const/integerRing/int_r_canonical_sum_prod || const/Library/poly/poly_mul || 0.127781095466
const/numRing/num_canonical_sum_prod || const/Library/poly/poly_mul || 0.127431521072
const/integer/int_add || const/realax/hreal_mul || 0.127419672079
const/integerRing/int_r_canonical_sum_prod || const/Complex/cpoly/poly_mul || 0.127406557581
type/one/one || type/trivia/1 || 0.126685791866
const/extreal/extreal_lt || const/arith/< || 0.126376219804
const/arithmetic/ABS_DIFF || const/arith/- || 0.126076899171
const/real/abs || const/Library/floor/floor || 0.125938850307
const/numeral/internal_mult const/arithmetic/* || const/arith/DIV || 0.12571149474
const/string/EXPLODE || const/Complex/cpoly/poly_neg || 0.125654247425
const/arithmetic/BIT2 || const/Library/transc/atn || 0.125287682049
const/string/ORD || const/realax/hreal_of_num || 0.124846022035
const/realax/real_add || const/realax/real_div || 0.124775650204
const/poly/normalize || const/Complex/cpoly/poly_neg || 0.124495587823
const/prim_rec/PRE || const/realax/real_abs || 0.123372109592
const/rat/rat_of_num || const/Complex/complexnumbers/Cx || 0.123292262688
const/numpair/tri || const/nums/BIT1 || 0.123182842727
const/real/real_lte || const/int/int_ge || 0.123017328713
const/llist/LCONS || const/ind_types/CONS || 0.122643104845
const/real/NUM_FLOOR || const/int/int_of_real || 0.122592955601
const/arithmetic/+ || const/Complex/complexnumbers/complex_add || 0.122257808478
const/frac/frac_mul || const/realax/real_add || 0.121899692529
const/frac/frac_ainv || const/int/int_neg || 0.121856115399
const/rat/rep_rat || const/int/int_of_num || 0.121559097387
const/realax/real_add || const/arith/- || 0.121238853307
const/integer/int_le || const/realax/hreal_le || 0.12101358007
const/string/IMPLODE || const/Library/poly/poly_neg || 0.120943484054
const/real/abs || const/realax/real_neg || 0.120308101974
const/frac/frac_add || const/realax/real_mul || 0.120158687659
const/arithmetic/BIT2 || const/Multivariate/transcendentals/atn || 0.120056644495
const/integer/int_min || const/arith/MIN || 0.120044408449
const/integer/int_max || const/arith/MAX || 0.120044408449
const/numRing/num_canonical_sum_prod || const/Complex/cpoly/poly_mul || 0.120017038989
const/prelim/num2ordering || const/int/int_of_real || 0.119967756155
const/arithmetic/MAX || const/int/int_min || 0.11978623009
const/arithmetic/NUMERAL || const/Complex/complexnumbers/complex_neg || 0.119766091734
const/extreal/extreal_inv || const/Library/transc/sqrt || 0.119400431135
const/toto/num2cpn || const/int/int_of_real || 0.119364580678
const/arithmetic/NUMERAL || const/Library/transc/atn || 0.11919937309
const/pred_set/PSUBSET || const/sets/SUBSET || 0.118954112895
const/numeral/iDUB || const/arith/PRE || 0.11860335617
const/string/EXPLODE || const/Library/poly/poly_neg || 0.118375799864
const/transc/sqrt || const/realax/real_inv || 0.118362709729
const/binary_ieee/num2float_compare || const/int/int_of_real || 0.118079839627
const/ieee/num2ccode || const/int/int_of_real || 0.118079839627
const/arithmetic/+ || const/Complex/complexnumbers/complex_div || 0.117984283496
const/ieee/num2roundmode || const/int/int_of_real || 0.117643724902
const/integer/int_mul || const/arith/+ || 0.117591172646
const/arithmetic/NUMERAL || const/nums/SUC || 0.117458251207
const/arithmetic/<= || const/int/int_ge || 0.117373306198
const/llist/LNIL || const/ind_types/NIL || 0.117209813487
const/numeral_bit/iSUC const/num/SUC || const/realax/real_abs || 0.117036050116
const/binary_ieee/num2rounding || const/int/int_of_real || 0.116996074853
const/real/real_lte || const/int/int_gt || 0.116871603863
const/numpair/tri || const/nums/NUMERAL || 0.116409475605
const/numeral/internal_mult const/arithmetic/* || const/realax/real_sub || 0.116154117611
const/rat/rat_add || const/int/int_sub || 0.116119739303
type/hreal/hreal || type/int/int || 0.115688259184
const/realax/real_neg || const/Multivariate/misc/sqrt || 0.115345470614
const/relation/RTC || const/Library/rstc/RSTC || 0.115008239136
const/poly/normalize || const/Library/poly/poly_neg || 0.114543045044
const/poly/poly_neg || const/Library/poly/normalize || 0.114543045044
const/arithmetic/NUMERAL || const/Multivariate/transcendentals/atn || 0.114449893687
const/extreal/extreal_inv || const/realax/real_abs || 0.114373082251
const/arithmetic/NUMERAL || const/Library/transc/exp || 0.114228090829
const/rat/abs_rat || const/Complex/complexnumbers/complex_norm || 0.113971418671
const/real/real_sub || const/arith/- || 0.113548177972
const/ratRing/rat_r_canonical_sum_prod || const/Library/poly/poly_mul || 0.113388483931
const/numeral/iiSUC || const/Library/transc/tan || 0.113192965146
const/transc/sqrt || const/Library/transc/sqrt || 0.112811384055
const/numeral_bit/iSUC const/num/SUC || const/int/int_abs || 0.112727560549
const/extreal/extreal_div || const/realax/real_mul || 0.11254638107
const/rat/rat_leq || const/arith/<= || 0.11253278432
const/numeral/iiSUC || const/Multivariate/transcendentals/tan || 0.112429851591
const/rat/rat_sub || const/Complex/complexnumbers/complex_sub || 0.112186074187
const/pred_set/SUM_SET || const/sets/inf || 0.112177166951
const/arithmetic/BIT2 || const/Multivariate/misc/sqrt || 0.112004363467
const/arithmetic/MIN || const/int/int_max || 0.111971723733
const/arithmetic/- || const/realax/real_mul || 0.111845625672
const/arithmetic/<= || const/int/int_gt || 0.111715770475
const/realax/inv || const/int/int_sgn || 0.111544156785
const/arithmetic/ODD || const/Library/floor/rational || 0.111441563127
const/string/CHR || const/int/int_of_real || 0.111358967329
const/extreal/Q_set || const/Library/floor/rational || 0.110826279188
const/arithmetic/NUMERAL || const/Multivariate/transcendentals/exp || 0.110350963881
const/rat/rat_mul || const/arith/* || 0.110266858103
const/integer/Num || const/int/int_of_real || 0.109772547312
const/pred_set/DIFF || const/sets/UNION || 0.109683299485
const/arithmetic/- || const/realax/real_add || 0.109648459257
const/extreal/extreal_mul || const/realax/real_div || 0.109552220556
const/integer/int_add || const/Complex/complexnumbers/complex_div || 0.10949026123
const/real/max || const/arith/+ || 0.109318842838
const/frac/frac_add || const/realax/real_add || 0.109301036292
const/realax/real_add || const/Complex/complexnumbers/complex_div || 0.109079986062
const/arithmetic/ZERO const/num/0 || const/Library/transc/pi || 0.108927920616
const/ratRing/rat_r_canonical_sum_prod || const/Complex/cpoly/poly_mul || 0.108754875695
const/pred_set/MAX_SET || const/sets/inf || 0.108652378881
const/arithmetic/BIT1 || const/Multivariate/misc/sqrt || 0.108514057649
const/integerRing/int_r_canonical_sum_scalar || const/Complex/cpoly/poly_cmul || 0.108272495412
const/arithmetic/EVEN || const/Library/floor/rational || 0.107839856875
const/realax/real_neg || const/Complex/complexnumbers/cnj || 0.107825620961
const/string/IMPLODE || const/Complex/cpoly/normalize || 0.107658198487
const/extreal/extreal_ainv || const/realax/real_inv || 0.107389288859
const/llist/LAPPEND || const/lists/APPEND || 0.107176773418
const/extreal/extreal_mul || const/realax/hreal_mul || 0.106959961997
const/poly/poly_add || const/Library/poly/poly_mul || 0.106950477013
const/arithmetic/MAX || const/arith/* || 0.106654553921
const/arithmetic/+ || const/realax/real_div || 0.106263163182
const/integer/int_divides || const/int/int_le || 0.10578380658
const/list/REV || const/lists/APPEND || 0.105728358423
const/string/EXPLODE || const/Complex/cpoly/normalize || 0.105553181365
const/numeral_bit/iSUC const/num/SUC || const/Library/transc/tan || 0.105437930984
const/pred_set/DIFF || const/sets/INTER || 0.105435368684
const/numeral_bit/iSUC const/num/SUC || const/Multivariate/transcendentals/tan || 0.105285606042
const/arithmetic/BIT1 || const/realax/real_neg || 0.10527200475
const/numpair/nsnd || const/Library/pratt/phi || 0.105146437423
const/numpair/nfst || const/Library/pratt/phi || 0.105146437423
const/realax/inv || const/int/int_neg || 0.104964476017
const/rat/rat_sgn || const/int/int_of_num || 0.104932103537
const/prim_rec/PRE || const/nums/BIT0 || 0.104823174413
const/gcd/lcm || const/int/int_max || 0.104821873949
const/topology/topology || const/Multivariate/metric/topology || 0.10463435086
const/arithmetic/NUMERAL || const/int/int_abs || 0.104484697671
const/arithmetic/<= || const/int/int_divides || 0.104354593736
const/integer/int_divides || const/realax/real_le || 0.10433811592
const/arithmetic/NUMERAL || const/int/int_sgn || 0.103712348196
const/realax/real_of_hreal || const/int/real_of_int || 0.103666998452
const/rat/rat_les || const/realax/real_le || 0.10364811159
const/extreal/extreal_inv || const/Multivariate/misc/sqrt || 0.103462798022
const/quote/index_size || const/nums/mk_num || 0.103452412384
const/poly/poly_mul || const/Library/poly/poly_add || 0.103433977416
const/pred_set/SUM_SET || const/sets/sup || 0.103419256314
const/poly/poly_mul || const/Complex/cpoly/poly_add || 0.103360147165
const/rat/rat_minv || const/int/int_neg || 0.103143495563
const/transc/rpow || const/arith/EXP || 0.102854116026
const/frac/frac_mul || const/int/int_max || 0.102628145365
const/arithmetic/MAX || const/arith/+ || 0.102611759724
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/Library/transc/tan || 0.102398068655
const/integer/int_lt || const/realax/hreal_le || 0.10235903196
const/extreal/extreal_add || const/int/int_mul || 0.10230153769
const/rat/rat_mul || const/realax/real_min || 0.102248757102
const/pred_set/count || const/Multivariate/misc/from || 0.102195970411
const/frac/frac_mul || const/int/int_min || 0.102078215676
const/frac/frac_add || const/realax/real_min || 0.102067154417
const/pred_set/SUBSET || const/sets/DISJOINT || 0.101976531896
const/arithmetic/MIN || const/arith/* || 0.101897525213
const/numRing/num_canonical_sum_scalar || const/Complex/cpoly/poly_cmul || 0.101847979302
const/num/IS_NUM_REP || const/int/integer || 0.101844495437
const/integer/int_lt || const/realax/real_gt || 0.101795156105
const/sptree/BN || const/lists/APPEND || 0.101327462665
const/llist/every || const/lists/ALL || 0.10080406966
const/frac/frac_mul || const/realax/real_min || 0.10079294338
const/rat/rat_of_num || const/nums/mk_num || 0.100521940309
const/extreal/extreal_inv || const/int/int_abs || 0.1004435139
const/pred_set/MAX_SET || const/sets/sup || 0.100406490958
const/list/LAST || const/lists/HD || 0.10035563168
const/rat/rat_add || const/realax/real_min || 0.100233439858
const/frac/frac_sgn || const/Complex/complexnumbers/complex_norm || 0.0997595413907
const/transc/sqrt || const/Multivariate/misc/sqrt || 0.0995930601027
const/realax/inv || const/Multivariate/misc/sqrt || 0.0995061656155
const/rat/rat_mul || const/realax/real_max || 0.0994011087892
const/poly/poly_add || const/Complex/cpoly/poly_mul || 0.0993530112258
const/rat/rat_mul || const/realax/real_add || 0.0993274788426
const/extreal/extreal_le || const/int/int_divides || 0.0989971168501
const/frac/frac_add || const/realax/real_max || 0.0986252679962
const/divides/divides || const/int/int_le || 0.098495820215
const/arithmetic/MIN || const/arith/+ || 0.098191522546
const/pred_set/SUBSET || const/sets/PSUBSET || 0.0981731565637
const/rat/rat_ainv || const/realax/real_inv || 0.0979245658958
const/numpair/tri || const/arith/PRE || 0.0977154421477
const/real/max || const/arith/MAX || 0.0976394119515
type/binary_ieee/float_value || type/nums/ind || 0.0976211037697
const/integer/int_mul || const/realax/real_sub || 0.0976020969373
const/rat/rat_add || const/realax/real_max || 0.0975532703711
const/prim_rec/< || const/int/int_divides || 0.0974726309564
const/pred_set/pairwise || const/sets/pairwise || 0.0974565736945
const/frac/frac_mul || const/realax/real_max || 0.0974534073003
const/real/real_lte || const/int/num_divides || 0.097375482788
const/string/isDigit || const/int/integer || 0.0973332359306
const/integer/int_lt || const/realax/real_ge || 0.0972290226816
const/rat/rep_rat || const/realax/real_of_num || 0.097175000639
const/pred_set/countable || const/sets/INFINITE || 0.0971024576825
const/realax/inv || const/Library/transc/sqrt || 0.0970244865122
const/integer/int_add || const/realax/real_div || 0.0970225263058
const/numpair/invtri || const/Library/pratt/phi || 0.0968948053917
const/numeral/internal_mult const/arithmetic/* || const/realax/hreal_add || 0.0967444295526
const/gcd/lcm || const/arith/DIV || 0.096277331405
const/real/min || const/arith/MIN || 0.0962190792454
const/integer/int_lt || const/int/int_divides || 0.0959183646511
const/integerRing/int_r_canonical_sum_scalar || const/Library/poly/poly_cmul || 0.0958743712387
const/numRing/num_canonical_sum_scalar || const/Library/poly/poly_cmul || 0.0956015225308
const/string/IMPLODE || const/Library/poly/poly_diff || 0.0950185824773
const/real/#slash# || const/arith/* || 0.0949305259954
const/numeral/iDUB || const/nums/SUC || 0.0949132307094
const/realax/real_lt || const/arith/>= || 0.0946971347372
const/rat/rat_add || const/arith/+ || 0.0944696093978
const/extreal/extreal_div || const/int/int_mul || 0.0944554936975
const/ASCIInumbers/UNHEX || const/int/int_of_real || 0.0943621660725
const/rat/rat_mul || const/realax/real_div || 0.0940694093277
const/extreal/Normal || const/int/int_of_real || 0.0939214933414
const/string/EXPLODE || const/Library/poly/poly_diff || 0.0934007701918
const/frac/frac_ainv || const/realax/real_inv || 0.0933824920513
const/arithmetic/ODD || const/Library/integer/int_prime || 0.0931280192709
const/pred_set/MIN_SET const/while/LEAST || const/sets/inf || 0.0930395716158
const/extreal/Q_set || const/int/integer || 0.093031867661
const/extreal/extreal_lt || const/int/int_le || 0.0924492620031
const/real/real_lte || const/arith/>= || 0.0922689298762
const/ratRing/rat_r_canonical_sum_scalar || const/Complex/cpoly/poly_cmul || 0.0920908829685
const/frac/frac_ainv || const/real/real_sgn || 0.0918083790691
const/extreal/extreal_ainv || const/Complex/complexnumbers/complex_inv || 0.0915980868708
const/integer/int_sub || const/Complex/complexnumbers/complex_add || 0.0914475575906
const/realax/inv || const/Complex/complexnumbers/cnj || 0.0914332496479
const/divides/prime || const/Library/integer/int_prime || 0.0914212733318
const/frac/frac_sub || const/realax/real_sub || 0.0908537634631
const/pred_set/UNION || const/sets/DIFF || 0.0907867593535
const/real/abs || const/Library/transc/sqrt || 0.0907064172804
const/integer/int_divides || const/int/num_divides || 0.0906805931101
const/extreal/extreal_inv || const/Complex/complexnumbers/complex_inv || 0.0905445006027
const/arithmetic/EXP || const/realax/real_mul || 0.0903498876855
const/integer/int_quot || const/int/int_mul || 0.0903084764818
const/realax/inv || const/Complex/complexnumbers/complex_neg || 0.0903074620701
const/frac/frac_mul || const/realax/real_sub || 0.0902279792923
const/prelim/ordering2num || const/nums/mk_num || 0.0902110182489
const/realax/real_mul || const/Complex/complexnumbers/complex_sub || 0.0901509747248
const/arithmetic/EVEN || const/Library/integer/int_prime || 0.0900863686903
type/DeepSyntax/deep_form || type/realax/real || 0.0899535533066
const/prim_rec/PRE || const/Library/transc/tan || 0.08971461355
const/poly/poly_neg || const/Complex/cpoly/normalize || 0.0895778145951
const/transc/exp || const/nums/SUC || 0.0894650094151
const/toto/cpn2num || const/nums/mk_num || 0.0893639733379
const/numeral/iDUB || const/realax/real_inv || 0.0892459001694
const/pred_set/INTER || const/sets/DIFF || 0.0891531184684
type/one/one || type/lists/char || 0.0888889820909
const/numeral_bit/iSUC const/num/SUC || const/realax/real_inv || 0.0888202461952
const/ASCIInumbers/HEX || const/int/real_of_int || 0.0887835165171
const/binary_ieee/float_compare2num || const/nums/mk_num || 0.0886838709515
const/ieee/ccode2num || const/nums/mk_num || 0.0886386753969
const/rat/rat_add || const/realax/hreal_add || 0.0882692823286
const/transc/exp || const/nums/BIT0 || 0.0882389703086
const/extreal/extreal_add || const/realax/real_mul || 0.088223555227
const/real/abs || const/Library/transc/cos || 0.0881424215602
const/binary_ieee/rounding2num || const/nums/mk_num || 0.0881012163466
const/ieee/roundmode2num || const/nums/mk_num || 0.0880228301764
const/numpair/ncons || const/ind_types/NUMPAIR || 0.0879495271774
const/frac/frac_add || const/Complex/complexnumbers/complex_mul || 0.0878832984918
const/extreal/extreal_exp || const/Complex/complex_transc/cexp || 0.0874066858
const/numeral/iiSUC || const/Complex/complexnumbers/complex_inv || 0.0871906340955
const/relation/SC || const/Library/rstc/SC || 0.0870871840526
const/frac/frac_add || const/arith/* || 0.0870567090867
const/pred_set/MIN_SET const/while/LEAST || const/sets/sup || 0.0869036881214
const/rat/rat_sgn || const/realax/real_of_num || 0.0867052200136
const/frac/frac_ainv || const/realax/real_abs || 0.0866467480571
const/poly/diff || const/Library/poly/normalize || 0.0865451346415
const/rat/rat_minv || const/int/int_sgn || 0.086506901003
const/toto/zer || const/nums/IND_0 || 0.0864377385333
const/rat/rat_sub || const/int/int_min || 0.0862727723853
const/rat/rat_sub || const/int/int_max || 0.0862203017871
const/gcd/lcm || const/arith/EXP || 0.0859508442617
const/gcd/lcm || const/realax/real_max || 0.085777524875
const/numpair/nsnd || const/Library/pocklington/phi || 0.0857204650261
const/numpair/nfst || const/Library/pocklington/phi || 0.0857204650261
const/numeral/internal_mult const/arithmetic/* || const/Complex/complexnumbers/complex_add || 0.0855985256931
const/ratRing/rat_r_canonical_sum_scalar || const/Library/poly/poly_cmul || 0.0846895006833
const/integerRing/int_r_canonical_sum_simplify || const/Library/poly/normalize || 0.0845347847391
const/numRing/num_canonical_sum_simplify || const/Library/poly/normalize || 0.0842909429046
const/poly/diff || const/Complex/cpoly/poly_neg || 0.0842303374585
const/integer/int_div || const/int/int_mul || 0.0842045504211
type/binary_ieee/float_compare || type/int/int || 0.0840453703242
type/ieee/ccode || type/int/int || 0.0840453703242
const/frac/frac_mul || const/int/int_add || 0.0839879347995
type/one/one || type/nums/num || 0.0839207578961
const/real/pos || const/Multivariate/misc/sqrt || 0.0838673299723
const/string/char_le || const/arith/> || 0.0836771220046
const/arithmetic/NUMERAL || const/Complex/complexnumbers/complex_inv || 0.0836233320987
type/integer/int || type/realax/nadd || 0.0836154739227
const/frac/frac_minv || const/realax/real_neg || 0.0835525799448
const/rat/abs_rat || const/nums/mk_num || 0.083493085671
const/poly/normalize || const/Library/poly/poly_diff || 0.0833794281618
const/pred_set/SING || const/sets/FINITE || 0.0833146228635
const/arithmetic/MAX || const/arith/MIN || 0.0832407865406
const/realax/real_of_hreal || const/int/int_of_num || 0.0832193027192
const/integer/int_gt || const/int/int_gt || 0.083215791159
const/string/char_gt || const/arith/> || 0.0828075515634
const/string/char_ge || const/arith/> || 0.0824514721771
const/extreal/extreal_add || const/realax/real_min || 0.082172854945
type/sptree/spt || type/ind_types/list || 0.0821623507201
const/hreal/hreal_lt || const/arith/< || 0.0821302320167
const/frac/frac_minv || const/real/real_sgn || 0.0816171264355
const/transc/sqrt || const/realax/real_abs || 0.0815182303364
const/rat/rat_sub || const/realax/real_add || 0.0811789760581
const/extreal/extreal_add || const/Complex/complexnumbers/complex_add || 0.0811487552509
const/extreal/extreal_mul || const/realax/real_min || 0.0810539241731
const/numeral/iiSUC || const/nums/BIT0 || 0.0809114747286
const/frac/frac_ainv || const/Complex/complexnumbers/complex_inv || 0.0804872398036
type/binary_ieee/float_compare || type/nums/num || 0.0804142135809
type/ieee/ccode || type/nums/num || 0.0804136648651
const/relation/StrongLinearOrder || const/wf/WF || 0.0803580000982
const/arithmetic/MAX || const/realax/real_min || 0.0803353823453
const/transc/exp || const/nums/BIT1 || 0.0803060404584
const/numpair/invtri || const/Library/pocklington/phi || 0.0800746736457
const/extreal/extreal_add || const/realax/real_max || 0.0799758139006
const/hreal/hreal_lt || const/arith/<= || 0.0798796479239
const/poly/diff || const/Library/poly/poly_neg || 0.0797918873945
type/ieee/roundmode || type/int/int || 0.0797792637691
const/numeral/iSQR || const/nums/BIT0 || 0.0797531133918
const/integer/int_max || const/realax/real_min || 0.0795427176365
const/real/abs || const/nums/NUMERAL || 0.0794868043617
const/arithmetic/- || const/int/int_mul || 0.0790429372936
const/integerRing/int_r_canonical_sum_simplify || const/Complex/cpoly/poly_neg || 0.0789993181732
const/real/max || const/int/int_add || 0.0789590665892
const/extreal/extreal_mul || const/realax/real_max || 0.0789135083018
const/integer/int_neg || const/Multivariate/misc/sqrt || 0.0789055211676
const/realax/inv || const/real/real_sgn || 0.0788595531255
const/realax/real_lt || const/int/num_divides || 0.0787784312925
const/divides/divides || const/arith/>= || 0.0786370297298
const/extreal/PosInf || const/nums/_0 || 0.0785340541292
const/extreal/extreal_of_num || const/realax/hreal_of_num || 0.0782977947175
const/rat/rat_ainv || const/int/int_sgn || 0.0782972747482
const/real/min || const/int/int_add || 0.0782749610635
const/integer/int_ge || const/int/int_ge || 0.0782151330372
const/real/real_sub || const/arith/* || 0.078018191126
const/string/string_lt || const/Library/poly/poly_divides || 0.0779979856788
const/binary_ieee/Infinity || const/nums/IND_0 || 0.0779894976475
const/rat/rat_div || const/int/int_min || 0.0778519307855
const/rat/rat_div || const/int/int_max || 0.0777863413627
const/rat/rat_mul || const/Multivariate/transcendentals/rpow || 0.0777829958964
const/string/char_le || const/arith/<= || 0.0776450511105
const/quote/End_idx || const/nums/IND_0 || 0.0775777950893
const/real/NUM_FLOOR || const/int/num_of_int || 0.0774794033373
type/prelim/ordering || type/int/int || 0.077470188557
const/divides/prime || const/int/integer || 0.0774175650326
const/real/max || const/realax/real_add || 0.0773327199728
const/poly/poly_neg || const/Library/poly/poly_diff || 0.0770727212165
const/integer/int_quot || const/realax/real_div || 0.0770318768584
const/integerRing/int_r_canonical_sum_merge || const/Complex/cpoly/poly_add || 0.0769764043405
type/ieee/roundmode || type/nums/num || 0.076968573118
const/rat/rat_sgn || const/int/int_of_real || 0.0768817961263
const/integer/int_gt || const/int/int_ge || 0.0768454063985
const/real/min || const/realax/real_add || 0.0767702006669
const/arithmetic/MIN || const/arith/MAX || 0.0766709286813
const/numpair/nsnd || const/Library/floor/frac || 0.0762073452478
const/intExtension/SGN || const/Complex/complexnumbers/cnj || 0.0759535399542
const/integer/int_min || const/realax/real_max || 0.0759264432619
const/rat/rat_add || const/realax/real_sub || 0.0758915219279
const/transc/exp || const/nums/NUMERAL || 0.075828742415
const/rat/rat_add || const/Complex/complexnumbers/complex_mul || 0.0758196476807
const/integerRing/int_r_canonical_sum_simplify || const/Library/poly/poly_neg || 0.075786386815
const/divides/PRIMES || const/nums/SUC || 0.0757588547792
const/integer/int_sub || const/arith/- || 0.075738165797
const/gcd/lcm || const/arith/+ || 0.0756608031862
const/transc/cos || const/real/real_sgn || 0.0756518459103
const/numRing/num_canonical_sum_simplify || const/Library/poly/poly_neg || 0.0755655378987
const/extreal/extreal_exp || const/Complex/complex_transc/csin || 0.075318355077
const/extreal/extreal_exp || const/Complex/complex_transc/ccos || 0.0752988768404
const/rat/rat_div || const/int/int_sub || 0.0752842235001
const/real/real_sub || const/Complex/complexnumbers/complex_mul || 0.0752334988924
type/prelim/ordering || type/nums/num || 0.074952484388
const/rat/rat_mul || const/int/int_sub || 0.074901120474
const/frac/frac_add || const/Complex/complexnumbers/complex_add || 0.0748945030494
const/numpair/nlen || const/arith/PRE || 0.0748785473223
const/pred_set/SING || const/sets/COUNTABLE || 0.0746554740087
const/rat/rat_sgn || const/Complex/complexnumbers/Cx || 0.0746306490571
const/ratRing/rat_r_canonical_sum_simplify || const/Library/poly/normalize || 0.0745542810068
const/binary_ieee/NaN || const/nums/IND_0 || 0.0742812177656
const/numpair/nsnd || const/Library/floor/floor || 0.0742734232409
const/numRing/num_canonical_sum_simplify || const/Complex/cpoly/poly_neg || 0.0741533838378
const/extreal/extreal_mul || const/realax/real_add || 0.0738202914415
const/arithmetic/EVEN || const/nums/NUM_REP || 0.0737189684781
const/rat/rat_leq || const/int/int_lt || 0.0736496892516
const/frac/frac_mul || const/Complex/complexnumbers/complex_div || 0.0735648980663
const/realax/real_neg || const/nums/SUC || 0.0735598656998
type/binary_ieee/rounding || type/int/int || 0.0734535447352
const/frac/frac_sgn || const/realax/hreal_of_num || 0.0733857058154
const/arithmetic/MIN || const/realax/real_max || 0.0733638001637
const/real/min || const/arith/MOD || 0.0731091468856
const/string/string_lt || const/Complex/cpoly/poly_divides || 0.0729635857649
type/extreal/extreal || type/nums/ind || 0.072794403884
const/extreal/extreal_add || const/arith/* || 0.0727186376531
const/integer/int_div || const/realax/real_div || 0.0724826852122
const/extreal/extreal_inv || const/Complex/complexnumbers/complex_neg || 0.0724613324918
const/arithmetic/+ || const/realax/real_max || 0.0723401789636
const/numRing/num_canonical_sum_merge || const/Complex/cpoly/poly_add || 0.0722440417267
const/integerRing/int_r_canonical_sum_merge || const/Library/poly/poly_add || 0.0720992335855
const/relation/TC || const/Library/rstc/RC || 0.0719748768287
const/integer/int_lt || const/int/int_gt || 0.0719570340305
const/numRing/num_canonical_sum_merge || const/Library/poly/poly_add || 0.0718882345398
const/integer/ABS || const/Library/floor/floor || 0.0717798777184
type/binary_ieee/rounding || type/nums/num || 0.0717657078504
const/realax/real_neg || const/int/int_sgn || 0.071733251542
const/frac/frac_sgn || const/int/int_of_real || 0.0716911470871
type/toto/cpn || type/int/int || 0.0716844961159
const/integer/int_quot || const/realax/real_mul || 0.0716535096697
const/relation/RTC || const/Library/rstc/STC || 0.0714999450454
const/rat/rat_minv || const/int/int_abs || 0.0713209194939
const/prim_rec/PRE || const/Multivariate/transcendentals/atn || 0.0712713172138
const/rat/rat_div || const/int/int_add || 0.0708148027274
const/frac/frac_ainv || const/Complex/complexnumbers/cnj || 0.0707997816502
type/toto/num_dt || type/nums/ind || 0.0707908403762
const/integer/int_divides || const/realax/hreal_le || 0.0707508798358
const/frac/frac_sub || const/realax/real_add || 0.0706502923554
const/poly/diff || const/Complex/cpoly/normalize || 0.070627066527
const/integer/tint_lt || const/realax/treal_eq || 0.0705972147978
const/arithmetic/MAX || const/int/int_mul || 0.0703587245373
const/relation/StrongLinearOrder || const/Library/analysis/dorder || 0.0701570689748
type/toto/cpn || type/nums/num || 0.0701485543841
const/binary_ieee/LT || const/nums/IND_0 || 0.0701185406815
const/arithmetic/+ || const/Multivariate/transcendentals/rpow || 0.0700315441101
const/extreal/extreal_exp || const/Complex/complexnumbers/complex_inv || 0.0700131027456
const/extreal/extreal_mul || const/Complex/complexnumbers/complex_div || 0.0696142158429
const/frac/frac_dnm || const/int/int_of_real || 0.0695487096553
const/arithmetic/- || const/Complex/complexnumbers/complex_add || 0.0694954149903
const/divides/divides || const/arith/> || 0.0690337289064
const/ieee/Gt || const/nums/IND_0 || 0.0689840054392
const/integer/int_ge || const/int/int_le || 0.0689394664279
const/numpair/invtri || const/Library/floor/floor || 0.0689017959519
const/extreal/extreal_min || const/arith/MIN || 0.0688735102515
const/arithmetic/ABS_DIFF || const/int/int_max || 0.0687636556485
const/arithmetic/ABS_DIFF || const/int/int_min || 0.0687636556485
const/real/min || const/Library/prime/index || 0.0686911763999
const/arithmetic/MAX || const/int/int_add || 0.0686634087376
const/arithmetic/EXP || const/arith/DIV || 0.0685460601329
const/integer/int_max || const/realax/real_mul || 0.0685392639536
const/integer/int_neg || const/realax/real_abs || 0.0685375326174
const/integer/int_min || const/realax/real_mul || 0.0684359747291
const/rat/rat_add || const/Complex/complexnumbers/complex_sub || 0.0684145905025
const/integer/int_of_num || const/nums/mk_num || 0.0682845138827
const/integer/int_le || const/int/int_divides || 0.0679583436414
const/real/max || const/realax/hreal_add || 0.0679199634022
const/numeral/internal_mult const/arithmetic/* || const/arith/- || 0.0679177895684
const/integer/int_div || const/realax/real_mul || 0.0677003338987
const/bool/ONTO || const/nums/ONTO || 0.0676484405057
const/rat/rat_ainv || const/int/int_abs || 0.0676152750982
const/frac/frac_div || const/realax/real_min || 0.0674390577009
const/numpair/nfst || const/int/int_sgn || 0.067359193253
const/relation/RC || const/Library/rstc/TC || 0.0672358830641
const/real/min || const/arith/- || 0.0672300856784
const/string/char_gt || const/int/int_ge || 0.0670328704336
const/frac/frac_add || const/realax/real_sub || 0.0669472362408
const/realax/treal_lt || const/realax/treal_eq || 0.066938286738
const/string/char_ge || const/int/int_ge || 0.0668856008919
const/ratRing/rat_r_canonical_sum_simplify || const/Complex/cpoly/poly_neg || 0.0668326279883
const/arithmetic/+ || const/arith/- || 0.0667712138324
const/ratRing/rat_r_canonical_sum_simplify || const/Library/poly/poly_neg || 0.0667575928475
const/arithmetic/MIN || const/int/int_mul || 0.066725280586
const/integer/int_le || const/realax/real_gt || 0.0667110265245
const/extreal/real || const/int/num_of_int || 0.066605724884
const/integer/int_sub || const/realax/real_div || 0.0665285528658
const/rat/rat_mul || const/arith/+ || 0.0661669222752
const/string/char_le || const/int/int_ge || 0.0659887781707
const/rat/rat_sub || const/int/int_mul || 0.0657846598854
const/numpair/invtri || const/Library/transc/tan || 0.0657660109412
const/real/max || const/arith/* || 0.0657635027242
const/real/real_sub || const/realax/real_div || 0.0657336326379
const/arithmetic/- || const/Complex/complexnumbers/complex_mul || 0.0656619818436
const/arithmetic/DIV || const/arith/EXP || 0.0654887234842
const/real/abs || const/int/int_neg || 0.0654781716195
const/transc/tan || const/arith/PRE || 0.0654449239599
const/extreal/extreal_le || const/realax/hreal_le || 0.065314799753
const/real/min || const/arith/* || 0.0652377966748
const/arithmetic/MIN || const/int/int_add || 0.0651912645374
const/ratRing/rat_r_canonical_sum_merge || const/Complex/cpoly/poly_add || 0.0650974488032
const/binary_ieee/roundTiesToEven || const/nums/IND_0 || 0.0650822234384
const/divides/divides || const/arith/< || 0.0650534215906
const/prim_rec/PRE || const/Multivariate/misc/sqrt || 0.0649840369167
const/frac/frac_div || const/realax/real_max || 0.0649499583475
const/arithmetic/BIT1 || const/realax/real_inv || 0.0647634140873
const/frac/frac_add || const/arith/+ || 0.064518766142
const/rat/rat_geq || const/int/int_ge || 0.064461609709
const/integer/int_neg || const/nums/SUC || 0.0644079810157
const/transc/atn || const/Multivariate/transcendentals/atn || 0.0644016010311
const/frac/frac_sub || const/realax/real_min || 0.0643949141706
const/arithmetic/BIT2 || const/realax/real_inv || 0.0643072709126
const/divides/PRIMES || const/Multivariate/misc/sqrt || 0.0642652448431
const/realax/real_lt || const/arith/> || 0.0640778095465
const/hreal/hreal_add || const/arith/+ || 0.0640676583824
const/arithmetic/BIT2 || const/realax/real_neg || 0.063974621379
const/rat/rep_rat || const/nums/dest_num || 0.0638101015045
const/extreal/extreal_sub || const/realax/real_add || 0.063550842879
const/string/char_lt || const/arith/<= || 0.0635427363869
const/integer/int_le || const/realax/real_ge || 0.0635379450199
const/ratRing/rat_r_canonical_sum_merge || const/Library/poly/poly_add || 0.063477373168
const/combin/I || const/trivia/I || 0.0634406910484
const/numpair/tri || const/realax/real_abs || 0.06337666309
const/arithmetic/EXP || const/int/int_mul || 0.0632874908869
const/rat/rat_mul || const/Complex/complexnumbers/complex_add || 0.0632815638127
const/rat/rat_0 || const/nums/_0 || 0.0632641408184
const/string/CHR || const/int/num_of_int || 0.0632631113975
const/frac/frac_nmr || const/int/int_of_real || 0.0631661396361
const/real/real_lte || const/arith/> || 0.0631121925843
const/integer/ABS || const/int/int_sgn || 0.0631091563844
const/rat/rat_of_num || const/Complex/complexnumbers/complex_norm || 0.0631042915291
const/string/char_ge || const/arith/<= || 0.0630961499304
const/real/real_sub || const/int/int_mul || 0.0630105592495
const/extreal/extreal_inv || const/realax/real_neg || 0.0629622691269
const/string/char_le || const/arith/>= || 0.0628125680653
const/extreal/extreal_add || const/Complex/complexnumbers/complex_mul || 0.062736891631
const/extreal/extreal_mul || const/Complex/complexnumbers/complex_add || 0.0625777830934
const/integer/int_of_num || const/realax/nadd_of_num || 0.062521756535
const/prim_rec/PRE || const/Multivariate/transcendentals/tan || 0.0623896939494
const/integerRing/int_r_canonical_sum_simplify || const/Complex/cpoly/normalize || 0.0623596663308
const/numeral/exactlog || const/arith/PRE || 0.0622996736469
const/extreal/extreal_max || const/arith/MAX || 0.0622890829557
const/prelim/num2ordering || const/int/num_of_int || 0.0622555987518
const/string/char_gt || const/arith/<= || 0.0621851768109
const/frac/frac_sub || const/realax/real_max || 0.0621257288425
const/prelim/LESS || const/nums/IND_0 || 0.0620651193019
const/string/char_gt || const/arith/>= || 0.0620105922767
const/toto/num2cpn || const/int/num_of_int || 0.0619621778531
const/realax/real_neg || const/nums/NUMERAL || 0.0618989211843
const/arithmetic/DIV || const/arith/* || 0.0618899107574
const/arithmetic/- || const/realax/real_div || 0.0618874100622
const/string/char_ge || const/arith/>= || 0.061858135054
const/extreal/extreal_sqrt || const/Complex/complex_transc/csin || 0.0618388400793
const/extreal/extreal_sqrt || const/Complex/complex_transc/ccos || 0.0618215656383
const/extreal/extreal_add || const/int/int_min || 0.0613225724915
const/extreal/extreal_add || const/int/int_max || 0.0613223503884
const/extreal/extreal_add || const/arith/+ || 0.0612122849995
const/transc/ln || const/Library/transc/tan || 0.0611733618549
const/binary_ieee/num2float_compare || const/int/num_of_int || 0.0611382792435
const/ieee/num2ccode || const/int/num_of_int || 0.0611382464823
const/hreal/hreal_mul || const/realax/hreal_add || 0.0610613001311
const/integer/int_ge || const/int/int_gt || 0.0610016047413
const/ieee/num2roundmode || const/int/num_of_int || 0.0609325122223
const/divides/divides || const/realax/hreal_le || 0.0609158757811
const/string/char_lt || const/arith/> || 0.0608619270195
const/arithmetic/ABS_DIFF || const/realax/hreal_add || 0.0608538357469
const/prelim/ordering2num || const/int/int_of_num || 0.0607082342474
const/binary_ieee/num2rounding || const/int/num_of_int || 0.0606216161931
const/relation/RTC || const/Library/rstc/RSC || 0.0605418545785
const/toto/cpn2num || const/int/int_of_num || 0.060421134455
const/extreal/extreal_exp || const/real/real_sgn || 0.0604110953583
const/extreal/extreal_mul || const/int/int_min || 0.0604006814224
const/extreal/extreal_mul || const/int/int_max || 0.0604004756389
const/numpair/nfst || const/real/real_sgn || 0.0603942141379
const/binary_ieee/float_compare2num || const/int/int_of_num || 0.0603676178421
const/ieee/ccode2num || const/int/int_of_num || 0.0603675854126
const/numeral/internal_mult const/arithmetic/* || const/realax/real_min || 0.0602380831521
const/ieee/roundmode2num || const/int/int_of_num || 0.0601639359262
const/extreal/extreal_sqrt || const/Complex/complexnumbers/complex_inv || 0.0599478580626
const/arithmetic/ABS_DIFF || const/realax/real_min || 0.0598805062461
const/binary_ieee/rounding2num || const/int/int_of_num || 0.0598561965505
const/pred_set/UNIV || const/sets/EMPTY || 0.0596386571609
const/arithmetic/- || const/Complex/complexnumbers/complex_sub || 0.0593338669169
const/rat/rat_dnm || const/int/int_of_num || 0.0591427343615
const/numeral_bit/iSUC const/num/SUC || const/Complex/complexnumbers/cnj || 0.0591369555691
const/divides/divides || const/realax/real_le || 0.0590743757305
const/frac/frac_div || const/realax/real_add || 0.0590294089904
const/prim_rec/PRE || const/realax/real_inv || 0.0589869451508
const/realax/real_of_hreal || const/realax/real_of_num || 0.0589275103562
const/rat/rat_leq || const/realax/real_lt || 0.0589235257826
const/real/pos || const/Library/floor/floor || 0.0588759108108
const/frac/frac_div || const/realax/real_sub || 0.0588021279054
const/numeral/internal_mult const/arithmetic/* || const/realax/real_max || 0.058765057254
const/integer/int_le || const/int/int_ge || 0.0587055087819
const/integer/int_gt || const/realax/real_gt || 0.0585847829034
const/extreal/extreal_abs || const/Complex/complexnumbers/complex_inv || 0.0585234343065
const/rat/rat_ainv || const/Complex/complexnumbers/cnj || 0.0584999641737
const/arithmetic/>= || const/int/int_lt || 0.0584974695247
const/arithmetic/BIT2 || const/Library/floor/floor || 0.0584899239188
const/numRing/num_canonical_sum_simplify || const/Complex/cpoly/normalize || 0.0584648374659
const/string/char_le || const/arith/< || 0.0584213888183
const/extreal/extreal_mul || const/int/int_add || 0.0584025234429
const/integer/int_add || const/arith/- || 0.0583782721432
const/arithmetic/EXP || const/arith/- || 0.0582974439394
const/integer/ABS || const/Library/transc/cos || 0.0582161910792
const/relation/transitive || const/Library/analysis/dorder || 0.0580945578179
const/llist/exists || const/lists/EX || 0.0580499572704
const/numeral/iDUB || const/realax/real_abs || 0.0579698685008
const/arithmetic/ABS_DIFF || const/realax/real_max || 0.0576811900395
const/arithmetic/MAX || const/realax/real_add || 0.0576276684781
const/ieee/To_nearest || const/nums/IND_0 || 0.0575740345414
const/extreal/extreal_abs || const/Complex/complex_transc/ccos || 0.0575449550774
const/rat/rat_ainv || const/Complex/complexnumbers/complex_inv || 0.0574870704054
const/frac/frac_dnm || const/int/real_of_int || 0.0574824604718
const/rat/rat_div || const/int/int_mul || 0.0574670866492
const/frac/frac_add || const/int/int_add || 0.05736786288
const/extreal/extreal_min || const/int/int_max || 0.0573485411083
const/extreal/extreal_exp || const/realax/real_abs || 0.0573021363402
const/extreal/extreal_inv || const/Complex/complex_transc/csin || 0.0572845305312
const/extreal/extreal_inv || const/Complex/complex_transc/ccos || 0.0572726748852
const/numeral_bit/iSUC const/num/SUC || const/int/int_sgn || 0.0571902803494
const/gcd/lcm || const/realax/hreal_add || 0.0571280215783
const/arithmetic/MAX || const/Complex/complexnumbers/complex_mul || 0.0570565091786
const/extreal/extreal_sub || const/Complex/complexnumbers/complex_sub || 0.0570564262521
const/integer/int_divides || const/realax/real_gt || 0.0570499090898
const/relation/RC || const/Library/rstc/SC || 0.056974218
const/arithmetic/>= || const/int/int_le || 0.0568256091224
const/frac/frac_minv || const/realax/real_abs || 0.0567528633911
const/num/SUC_REP || const/real/real_sgn || 0.0566784921801
const/arithmetic/>= || const/realax/real_lt || 0.05662232196
const/pred_set/UNIV || const/Library/analysis/re_null || 0.0565900828244
const/frac/frac_mul || const/int/int_sub || 0.0565780945729
const/arithmetic/BIT1 || const/Library/floor/floor || 0.0565761470383
const/extreal/extreal_le || const/int/num_divides || 0.0565397247098
const/extreal/extreal_abs || const/Complex/complex_transc/csin || 0.0565079011775
const/string/char_gt || const/int/int_gt || 0.0565040335148
const/extreal/extreal_sub || const/realax/real_mul || 0.0564470684919
const/transc/tan || const/Library/transc/ln || 0.0563703940369
const/arithmetic/>= || const/realax/real_le || 0.0563227039601
const/string/char_ge || const/int/int_gt || 0.0562705260681
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/nums/BIT0 || 0.0562519266235
const/transc/atn || const/Library/transc/exp || 0.0562443684906
const/arithmetic/EXP || const/realax/real_div || 0.056228508389
const/real/abs || const/Multivariate/transcendentals/cos || 0.0562028789861
type/frac/frac || type/nums/ind || 0.0560123870965
const/real/pos || const/nums/SUC || 0.055927945937
const/extreal/extreal_sqrt || const/Complex/complex_transc/cexp || 0.0559159214433
type/hrat/hrat || type/int/int || 0.0557707402436
const/realax/real_0 || const/nums/_0 || 0.0556403623275
const/gcd/gcd || const/int/int_max || 0.0555717720714
const/gcd/gcd || const/int/int_min || 0.0555717720714
const/string/char_le || const/int/int_gt || 0.055514338923
const/rat/abs_rat || const/realax/hreal_of_num || 0.0554389870608
const/numpair/nsnd || const/int/int_abs || 0.0553695421945
const/integerRing/int_r_canonical_sum_simplify || const/Library/poly/poly_diff || 0.055316492754
const/real/min || const/arith/+ || 0.0553131726052
const/numRing/num_canonical_sum_simplify || const/Library/poly/poly_diff || 0.0551515080669
const/arithmetic/MIN || const/realax/real_add || 0.0551078129146
const/arithmetic/MAX || const/realax/real_mul || 0.0548887953894
const/frac/frac_sub || const/realax/real_mul || 0.0548477327001
const/integer/int_ge || const/realax/real_le || 0.0546603846944
const/rat/rat_mul || const/Complex/complexnumbers/complex_div || 0.0545839302315
const/transc/tan || const/Multivariate/transcendentals/atn || 0.0545837727716
const/prim_rec/PRE || const/Complex/complexnumbers/cnj || 0.0545462753893
const/arithmetic/EXP || const/arith/+ || 0.0545307235401
const/arithmetic/> || const/realax/real_gt || 0.05434397091
const/arithmetic/MAX || const/realax/hreal_add || 0.0540524455294
const/integer/ABS || const/Multivariate/transcendentals/cos || 0.0539988372024
const/arithmetic/MIN || const/Complex/complexnumbers/complex_mul || 0.0538872081461
const/integer/int_divides || const/realax/real_ge || 0.0538645365264
const/extreal/extreal_sub || const/realax/real_sub || 0.0538492672275
const/integer/int_max || const/realax/real_add || 0.053845807477
const/integer/int_min || const/realax/real_add || 0.0537688598615
const/transc/tan || const/Complex/complexnumbers/cnj || 0.0537579382512
const/bool/ONE_ONE || const/nums/ONE_ONE || 0.0536861327799
const/extreal/extreal_exp || const/Complex/complexnumbers/complex_neg || 0.0535286344817
const/extreal/extreal_min || const/int/int_add || 0.0535269000274
const/frac/frac_add || const/int/int_min || 0.0534874749417
const/frac/frac_add || const/int/int_max || 0.0534507238589
const/frac/frac_add || const/int/int_mul || 0.0534003432254
const/extreal/extreal_sqrt || const/realax/real_abs || 0.0529819054572
const/extreal/extreal_max || const/int/int_min || 0.0528565389685
const/integer/int_max || const/int/int_min || 0.0527516807914
const/frac/frac_nmr || const/int/real_of_int || 0.0527009099149
const/integer/int_min || const/int/int_max || 0.0526331159306
const/extreal/extreal_div || const/Complex/complexnumbers/complex_div || 0.0526145788047
const/ratRing/rat_r_canonical_sum_simplify || const/Complex/cpoly/normalize || 0.0525983285643
const/arithmetic/MIN || const/realax/real_mul || 0.0525969804221
const/extreal/extreal_inv || const/Complex/complex_transc/cexp || 0.0524493212765
const/integer/int_divides || const/realax/real_lt || 0.0524238314816
const/extreal/extreal_min || const/realax/real_max || 0.052302495617
const/transc/exp || const/int/int_neg || 0.0522062843278
const/transc/atn || const/Multivariate/transcendentals/exp || 0.0521986833629
const/rat/rat_sub || const/realax/real_div || 0.0521477046975
const/complex/complex_add || const/realax/treal_add || 0.0520447974634
const/complex/complex_add || const/realax/treal_mul || 0.0520447974634
const/arithmetic/+ || const/realax/real_min || 0.0519728703277
const/extreal/extreal_sqrt || const/real/real_sgn || 0.051962560383
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/Library/transc/ln || 0.051844003605
const/realax/real_neg || const/real/real_sgn || 0.0518227608927
const/topology/open || const/Multivariate/metric/closed_in || 0.051701504305
const/extreal/extreal_sub || const/Complex/complexnumbers/complex_add || 0.051590924771
const/extreal/extreal_abs || const/real/real_sgn || 0.0514849502221
const/rat/rat_add || const/realax/real_div || 0.0514321797804
const/topology/istopology || const/Multivariate/metric/istopology || 0.0514063121254
const/rat/rat_sub || const/Complex/complexnumbers/complex_add || 0.0513173538193
const/extreal/extreal_abs || const/Complex/complex_transc/cexp || 0.0511699995237
const/frac/frac_sub || const/arith/MIN || 0.051140123474
const/frac/frac_sub || const/arith/MAX || 0.0511200198059
const/string/char_lt || const/arith/< || 0.0511024189369
type/DeepSyntax/deep_form || type/Complex/complexnumbers/complex || 0.0510500862581
const/arithmetic/nat_elim__magic || const/nums/NUMERAL || 0.0509571854325
const/arithmetic/ABS_DIFF || const/int/int_mul || 0.0509105017916
const/hreal/hreal_lt || const/int/int_lt || 0.050745284791
const/extreal/extreal_max || const/realax/real_min || 0.0506485874319
const/arithmetic/MIN || const/realax/hreal_add || 0.0505744092207
const/extreal/extreal_max || const/int/int_add || 0.0504431769457
const/extreal/extreal_add || const/Complex/complexnumbers/complex_sub || 0.0504055890081
const/arithmetic/EXP || const/Complex/complexnumbers/complex_mul || 0.0503026699056
const/extreal/extreal_inv || const/real/real_sgn || 0.050298696053
const/arithmetic/> || const/realax/real_ge || 0.0501870564666
const/transc/tan || const/Multivariate/transcendentals/log || 0.0501179945676
const/extreal/NegInf || const/nums/IND_0 || 0.0500623508936
type/binary_ieee/float_compare || type/nums/ind || 0.0500243763482
type/ieee/ccode || type/nums/ind || 0.0499978017457
const/arithmetic/ABS_DIFF || const/arith/* || 0.0499489951018
const/rat/rat_nmr || const/int/int_of_num || 0.0499335020117
const/gcd/gcd || const/realax/real_min || 0.0498921438304
const/numpair/npair || const/int/int_mul || 0.0498921403875
const/realax/real_add || const/realax/nadd_mul || 0.0497272465103
const/relation/TC || const/Library/rstc/SC || 0.0497212726131
const/relation/WF || const/Library/analysis/dorder || 0.0496897540401
const/arithmetic/BIT1 || const/Complex/complexnumbers/complex_neg || 0.0496527211535
const/arithmetic/ABS_DIFF || const/int/int_add || 0.0496131525573
const/real/real_of_num || const/nums/mk_num || 0.0494222142488
const/extreal/extreal_le || const/arith/< || 0.0494189637118
const/rat/rat_sgn || const/Complex/complexnumbers/complex_norm || 0.0491504746711
const/frac/frac_add || const/arith/MIN || 0.0490634652363
const/extreal/extreal_min || const/realax/real_add || 0.0490471479905
const/frac/frac_add || const/arith/MAX || 0.0490165796373
const/real/real_sub || const/Multivariate/transcendentals/rpow || 0.0489775902229
const/arithmetic/> || const/int/int_ge || 0.048900178309
const/pred_set/EMPTY || const/Library/analysis/re_universe || 0.048880557414
const/complex/complex_mul || const/realax/treal_add || 0.0488333359752
const/complex/complex_mul || const/realax/treal_mul || 0.0488333359752
const/string/char_lt || const/arith/>= || 0.0487966506023
const/real/pos || const/Library/transc/atn || 0.0487487028893
const/rat/rat_gre || const/int/int_gt || 0.0487367785581
const/ratRing/rat_r_canonical_sum_simplify || const/Library/poly/poly_diff || 0.0485898656627
const/extreal/PosInf || const/nums/IND_0 || 0.048578208579
const/integer/int_gt || const/realax/real_ge || 0.0485531222561
const/transc/tan || const/Multivariate/misc/sqrt || 0.048502140825
const/gcd/gcd || const/realax/real_max || 0.0483594002122
const/real/abs || const/nums/SUC || 0.0482511620599
const/integer/int_ge || const/realax/real_ge || 0.0482425357653
const/string/char_ge || const/arith/< || 0.0482305408744
const/integer/int_sub || const/arith/+ || 0.0482263942438
const/numeral/internal_mult const/arithmetic/* || const/Multivariate/transcendentals/rpow || 0.0481449407635
const/realax/inv || const/Library/transc/exp || 0.0480403850326
const/real/#slash# || const/arith/+ || 0.0478937584443
const/arithmetic/ABS_DIFF || const/arith/+ || 0.0478402865504
const/integer/int_lt || const/realax/nadd_le || 0.0478160070874
const/rat/rat_gre || const/int/int_ge || 0.0476765355448
const/string/char_gt || const/arith/< || 0.0475695400039
const/arithmetic/>= || const/realax/real_gt || 0.0475408160552
const/arithmetic/> || const/int/int_gt || 0.0474162955636
const/extreal/extreal_sub || const/int/int_add || 0.0473239516956
type/quote/index || type/nums/ind || 0.0473220768372
const/arithmetic/+ || const/realax/hreal_mul || 0.0471628068358
const/rat/rat_geq || const/int/int_gt || 0.0471580324256
const/realax/real_add || const/Multivariate/transcendentals/rpow || 0.0470656441791
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/Multivariate/transcendentals/tan || 0.0470640334644
const/real/pos || const/int/int_abs || 0.0470499702053
const/topology/open || const/Multivariate/metric/mbounded || 0.0469610866375
const/integer/int_max || const/Complex/complexnumbers/complex_div || 0.0469443411306
const/integer/int_min || const/Complex/complexnumbers/complex_div || 0.0469273124048
const/extreal/extreal_ainv || const/Complex/complex_transc/csin || 0.0467759951289
const/extreal/extreal_ainv || const/Complex/complex_transc/ccos || 0.0467683966298
const/integer/int_gt || const/arith/> || 0.046660411827
const/extreal/extreal_max || const/realax/real_add || 0.0466567775198
const/extreal/extreal_add || const/realax/real_sub || 0.0465703436361
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/Multivariate/transcendentals/log || 0.0465535328357
const/transc/sin || const/Multivariate/transcendentals/atn || 0.0465459100797
const/arithmetic/>= || const/realax/real_ge || 0.0465359156736
const/realax/real_mul || const/arith/EXP || 0.0465298478786
const/transc/sqrt || const/int/int_sgn || 0.0463597285516
const/arithmetic/BIT2 || const/Complex/complex_transc/cexp || 0.0462610665453
const/rat/rat_mul || const/arith/MAX || 0.0461048551271
const/toto/LESS || const/nums/IND_0 || 0.0460762635442
const/extreal/extreal_sqrt || const/Complex/complexnumbers/complex_neg || 0.0459007673264
const/integer/int_ge || const/realax/real_gt || 0.045862773214
const/realax/real_mul || const/arith/- || 0.0458606414195
const/integer/int_divides || const/arith/<= || 0.0458271546316
const/nets/dorder || const/wf/WF || 0.0457448921522
type/ieee/roundmode || type/nums/ind || 0.0455981322698
const/frac/frac_div || const/realax/real_mul || 0.0453850353651
const/extreal/extreal_div || const/realax/real_min || 0.0453709836756
const/extreal/extreal_max || const/arith/+ || 0.04535418456
const/real/real_gt || const/int/int_gt || 0.0453419283504
const/rat/rat_mul || const/arith/MIN || 0.0453019011227
const/numpair/npair || const/realax/real_add || 0.0452717201005
const/real/abs || const/Library/transc/sin || 0.0452180983799
const/arithmetic/- || const/arith/* || 0.0451231413184
const/extreal/extreal_div || const/realax/real_add || 0.0450774797821
const/extreal/extreal_lt || const/realax/real_gt || 0.0449300803056
const/transc/exp || const/int/int_sgn || 0.0447862620008
const/real/pos || const/Multivariate/transcendentals/atn || 0.0446119082579
const/transc/exp || const/realax/real_inv || 0.0445718940175
const/arithmetic/>= || const/int/int_ge || 0.0444589380094
const/extreal/extreal_abs || const/Complex/complexnumbers/complex_neg || 0.0444305776685
const/real/pos || const/Library/transc/exp || 0.0444278480065
const/gcd/gcd || const/realax/hreal_add || 0.044396083832
const/real/abs || const/nums/BIT0 || 0.0443850383531
const/transc/sin || const/Complex/complexnumbers/cnj || 0.0443226974895
const/integer/int_max || const/realax/hreal_mul || 0.0442784112028
const/integer/int_min || const/realax/hreal_mul || 0.0441822522077
const/extreal/extreal_div || const/realax/real_max || 0.043979450211
const/rat/rat_mul || const/realax/real_sub || 0.0438566214023
const/frac/frac_sub || const/int/int_sub || 0.0438041319099
const/num/SUC_REP || const/realax/real_neg || 0.0436815040425
const/integer/int_divides || const/int/int_ge || 0.0436651454313
const/real/real_ge || const/int/int_ge || 0.0436537819317
const/extreal/extreal_ainv || const/Complex/complex_transc/cexp || 0.0434787981389
const/transc/sqrt || const/Complex/complexnumbers/complex_inv || 0.0434272657956
const/pred_set/EMPTY || const/sets/UNIV || 0.0433865448329
type/prelim/ordering || type/nums/ind || 0.0433813551094
const/arithmetic/+ || const/arith/EXP || 0.0433382140029
const/rat/rat_mul || const/realax/hreal_add || 0.0433113211156
const/rat/rat_add || const/Complex/complexnumbers/complex_div || 0.0432457651095
const/real/real_gt || const/int/int_ge || 0.0432367239486
const/integer/int_divides || const/int/int_lt || 0.0431002144087
const/arithmetic/ABS_DIFF || const/realax/real_add || 0.0429086690247
const/extreal/extreal_lt || const/realax/real_ge || 0.0428827739732
const/integer/int_le || const/int/num_divides || 0.0428305511227
const/real/min || const/realax/hreal_add || 0.0427194830694
const/relation/inv || const/Library/rstc/RC || 0.0426751700197
const/extreal/extreal_exp || const/realax/real_neg || 0.0426531234152
const/frac/frac_sub || const/Complex/complexnumbers/complex_div || 0.0425344166224
const/string/char_lt || const/int/int_ge || 0.0425332245508
const/arithmetic/ABS_DIFF || const/Complex/complexnumbers/complex_add || 0.0424230209571
const/prim_rec/PRE || const/Library/transc/atn || 0.0423299348194
const/extreal/extreal_ainv || const/realax/real_abs || 0.0423293609983
const/prelim/ordering2num || const/realax/hreal_of_num || 0.0423129250374
const/realax/real_neg || const/int/int_abs || 0.0423111575506
const/extreal/extreal_sub || const/realax/real_min || 0.0422464918446
const/frac/frac_sub || const/Complex/complexnumbers/complex_sub || 0.042234037383
const/extreal/extreal_ainv || const/real/real_sgn || 0.0422301609632
const/real/real_sub || const/arith/MIN || 0.0422110885767
const/real/real_sub || const/arith/MAX || 0.0421980788956
const/frac/frac_sub || const/realax/real_div || 0.0421179481958
const/realax/real_neg || const/Library/transc/exp || 0.0421067078672
const/toto/cpn2num || const/realax/hreal_of_num || 0.0420943945692
const/transc/sin || const/Multivariate/misc/sqrt || 0.0420435840086
const/integer/int_0 || const/nums/_0 || 0.0419881712507
const/extreal/extreal_le || const/realax/real_gt || 0.0419610117149
const/numpair/nsnd || const/realax/real_abs || 0.0419397315635
const/rat/rat_ainv || const/real/real_sgn || 0.0418865808877
const/binary_ieee/float_compare2num || const/realax/hreal_of_num || 0.0418651406925
const/ieee/ccode2num || const/realax/hreal_of_num || 0.0418651161387
const/real/#slash# || const/arith/MIN || 0.041836657877
const/real/#slash# || const/arith/MAX || 0.041821836678
const/transc/exp || const/Complex/complexnumbers/complex_inv || 0.0417644713016
const/ieee/roundmode2num || const/realax/hreal_of_num || 0.0417109346219
const/transc/exp || const/realax/real_neg || 0.041705163675
const/integer/int_le || const/arith/>= || 0.0414811406712
const/binary_ieee/rounding2num || const/realax/hreal_of_num || 0.0414779874883
const/divides/divides || const/int/int_ge || 0.0414546540197
const/real/pos || const/Multivariate/transcendentals/exp || 0.0413328189976
const/divides/divides || const/int/int_lt || 0.0412971823911
const/extreal/PosInf || const/Multivariate/transcendentals/pi || 0.0412923151467
const/numeral/iDUB || const/Library/transc/exp || 0.0411127221792
const/arithmetic/ABS_DIFF || const/Complex/complexnumbers/complex_mul || 0.0410848209039
const/frac/frac_mul || const/realax/real_div || 0.0410827199517
const/real/pos || const/realax/real_abs || 0.0410644171954
const/rat/rat_dnm || const/realax/real_of_num || 0.0410386590644
const/extreal/extreal_sub || const/realax/real_max || 0.0410369607124
const/real/real_sub || const/Complex/complexnumbers/complex_div || 0.0410212998875
const/divides/PRIMES || const/Library/transc/atn || 0.0409863692436
const/rat/rat_sub || const/realax/real_mul || 0.0409740970895
const/frac/frac_mul || const/Multivariate/transcendentals/rpow || 0.0409614579784
const/realax/real_add || const/arith/MIN || 0.0408449000791
const/rat/rat_ainv || const/realax/real_abs || 0.0408361004283
const/realax/real_add || const/arith/MAX || 0.0408224772908
const/extreal/extreal_mul || const/Multivariate/transcendentals/rpow || 0.0407358727166
const/arithmetic/ABS_DIFF || const/realax/real_mul || 0.0406474490835
const/extreal/extreal_sub || const/Complex/complexnumbers/complex_div || 0.0405745715246
const/extreal/extreal_lt || const/int/int_divides || 0.0403385102036
const/extreal/extreal_exp || const/realax/real_inv || 0.0401978704664
const/extreal/extreal_le || const/realax/real_ge || 0.0401585828112
type/binary_ieee/rounding || type/nums/ind || 0.0401009978866
const/integer/int_divides || const/int/int_gt || 0.0400477138455
const/gcd/gcd || const/int/int_add || 0.0399339049291
const/real/#slash# || const/int/int_add || 0.0397303068029
const/num/SUC_REP || const/realax/real_abs || 0.0397250775576
const/arithmetic/>= || const/int/int_gt || 0.0397074810697
const/intExtension/SGN || const/real/real_sgn || 0.0395060068621
const/integer/int_sub || const/Complex/complexnumbers/complex_div || 0.0394997624206
const/hreal/hreal_lt || const/arith/> || 0.0394456226543
const/real/max || const/Complex/complexnumbers/complex_sub || 0.0393848265996
const/rat/rat_add || const/realax/hreal_mul || 0.0393668227425
const/realax/real_mul || const/arith/MIN || 0.0392970702261
const/realax/real_mul || const/arith/MAX || 0.0392760068285
const/transc/sqrt || const/Library/transc/exp || 0.0392446484261
const/transc/sqrt || const/int/int_neg || 0.0391825602671
const/prim_rec/PRE || const/real/real_sgn || 0.039101478836
const/real/real_sub || const/realax/hreal_add || 0.0390981656742
const/real/min || const/Complex/complexnumbers/complex_sub || 0.0389717442664
const/numeral/iDUB || const/Multivariate/transcendentals/exp || 0.0388836299866
const/sptree/union || const/lists/APPEND || 0.0387939156556
const/patricia/BRANCHING_BIT || const/int/int_max || 0.0386840124273
const/patricia/BRANCHING_BIT || const/int/int_min || 0.0386840124273
const/prim_rec/PRE || const/Library/transc/sin || 0.0386030469975
const/numpair/npair || const/realax/real_mul || 0.0385883557087
const/real/real_gt || const/realax/real_gt || 0.0385669587656
const/arithmetic/- || const/Multivariate/transcendentals/rpow || 0.0385311875455
const/arithmetic/- || const/int/int_min || 0.0385266319073
const/pred_set/count || const/arith/> || 0.0384463797695
const/arithmetic/MAX || const/Complex/complexnumbers/complex_add || 0.038369123268
const/num/ABS_num || const/int/num_of_int || 0.0383355755639
const/transc/sqrt || const/Library/transc/sin || 0.0383141000355
const/integer/int_mul || const/arith/- || 0.0382871971647
const/transc/exp || const/int/int_abs || 0.0382844005392
const/list/EXISTS || const/lists/ALL || 0.0382406342644
type/toto/cpn || type/nums/ind || 0.0381097655958
const/divides/divides || const/int/int_gt || 0.0380486250394
const/extreal/extreal_sqrt || const/realax/real_neg || 0.0380226979526
const/real/#slash# || const/realax/real_add || 0.0380010972751
const/numpair/invtri || const/arith/PRE || 0.0379706627149
const/divides/PRIMES || const/Multivariate/transcendentals/atn || 0.0378576367228
const/numeral_bit/iSUC const/num/SUC || const/nums/IND_SUC || 0.0378571920387
const/divides/PRIMES || const/Library/transc/exp || 0.0377172263778
const/transc/sqrt || const/Library/transc/cos || 0.0376596451927
const/rat/rat_mul || const/Complex/complexnumbers/complex_sub || 0.0376349691931
const/integer/int_max || const/realax/hreal_add || 0.0375966028951
const/arithmetic/- || const/realax/real_min || 0.0375234101739
const/integer/int_min || const/realax/hreal_add || 0.0375200386979
const/extreal/extreal_add || const/Complex/complexnumbers/complex_div || 0.0375057887184
const/numeral/iZ || const/nums/NUMERAL || 0.0374426820827
const/arithmetic/> || const/realax/real_lt || 0.0374188613858
const/real/max || const/Complex/complexnumbers/complex_add || 0.0373621608856
const/numpair/nlen || const/nums/BIT0 || 0.0373250020123
const/transc/exp || const/Library/transc/sin || 0.0372330841987
const/string/char_lt || const/int/int_gt || 0.037183599966
const/extreal/extreal_add || const/realax/hreal_add || 0.0371672853317
const/numeral/iDUB || const/Multivariate/transcendentals/atn || 0.0370603110423
const/real/min || const/Complex/complexnumbers/complex_add || 0.0369898315561
const/integer/int_max || const/int/int_mul || 0.0369630119867
const/rat/rat_sgn || const/realax/hreal_of_num || 0.036904146324
const/integer/int_min || const/int/int_mul || 0.0369023408491
const/integer/ABS || const/Complex/complex_transc/ccos || 0.0368932090616
const/string/char_le || const/int/int_lt || 0.0368121333039
const/realax/real_lt || const/realax/nadd_eq || 0.0368112718203
const/transc/exp || const/Library/transc/cos || 0.0366181601307
const/frac/frac_ainv || const/int/int_sgn || 0.0366006067783
const/real/abs || const/Complex/complexnumbers/complex_neg || 0.0365296034147
const/extreal/extreal_mul || const/arith/+ || 0.036501549343
const/topology/re_intersect || const/sets/INTER || 0.0364571124187
const/rat/rat_les || const/arith/<= || 0.036416707873
const/extreal/extreal_abs || const/realax/real_neg || 0.0363999239744
type/one/one || type/realax/real || 0.0362805610032
const/real/#slash# || const/Complex/complexnumbers/complex_add || 0.0362240700337
const/arithmetic/MIN || const/Complex/complexnumbers/complex_add || 0.036154718158
const/transc/tan || const/Library/transc/atn || 0.0361482132092
const/integer/int_le || const/realax/nadd_le || 0.0361034973498
const/numpair/tri || const/Library/floor/floor || 0.0359992701476
const/rat/rat_nmr || const/realax/real_of_num || 0.0359795187881
const/real/real_lte || const/realax/nadd_eq || 0.0359451192489
const/string/char_le || const/int/int_le || 0.0358934663588
const/integer/int_max || const/int/int_add || 0.0358043874148
const/extreal/extreal_div || const/Complex/complexnumbers/complex_sub || 0.0357871116536
const/prim_rec/PRE || const/Multivariate/transcendentals/sin || 0.0357619346087
const/integer/int_min || const/int/int_add || 0.0357496325257
const/extreal/extreal_sqrt || const/realax/real_inv || 0.0357035436358
const/extreal/extreal_abs || const/realax/real_inv || 0.0356947035833
const/intExtension/SGN || const/Multivariate/misc/sqrt || 0.0356260999415
const/transc/exp || const/Library/floor/floor || 0.0355578494801
const/real/max || const/int/int_sub || 0.035516192592
const/frac/frac_add || const/realax/real_div || 0.0354934599241
const/divides/PRIMES || const/Multivariate/transcendentals/exp || 0.035340030386
const/real/min || const/int/int_sub || 0.0351862363023
const/real/real_ge || const/int/int_gt || 0.0351494475737
const/transc/atn || const/nums/SUC || 0.0351280861244
const/bool/RES_FORALL || const/sets/DISJOINT || 0.0351100288248
const/arithmetic/+ || const/Complex/complexnumbers/complex_sub || 0.0350698796407
const/frac/frac_add || const/Complex/complexnumbers/complex_div || 0.0350145877671
const/integer/int_max || const/Complex/complexnumbers/complex_sub || 0.0349436084858
const/integer/int_min || const/Complex/complexnumbers/complex_sub || 0.0349317228364
const/extreal/extreal_sub || const/int/int_sub || 0.0346357662456
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || const/realax/real_abs || 0.0345783165379
const/arithmetic/ABS_DIFF || const/realax/hreal_mul || 0.0345221718386
const/real/abs || const/Complex/complex_transc/ccos || 0.0344974715699
const/real/max || const/realax/real_sub || 0.0344753435021
const/arithmetic/EXP || const/Complex/complexnumbers/complex_add || 0.0344491273679
const/gcd/lcm || const/int/int_min || 0.0343506067138
const/real/min || const/realax/real_sub || 0.0342212143548
const/extreal/extreal_min || const/int/int_mul || 0.0341272945239
const/gcd/gcd || const/realax/real_add || 0.0340756523045
const/integer/int_ge || const/arith/>= || 0.0340069484431
const/patricia/BRANCHING_BIT || const/realax/hreal_add || 0.0339338207394
const/numeral/exactlog || const/nums/BIT0 || 0.0338209959645
const/integer/int_gt || const/arith/>= || 0.0338064605946
const/extreal/extreal_div || const/Complex/complexnumbers/complex_add || 0.0337943748805
const/integer/int_ge || const/realax/real_lt || 0.0337786018845
const/numeral/iDUB || const/Multivariate/misc/sqrt || 0.0336632796955
const/numeral/iDUB || const/Complex/complexnumbers/complex_inv || 0.0336124063872
const/pred_set/count || const/int/int_ge || 0.0336046343507
const/rat/rat_sub || const/Complex/complexnumbers/complex_div || 0.0336041079205
const/real/#slash# || const/int/int_sub || 0.0335732234641
const/extreal/extreal_sub || const/Complex/complexnumbers/complex_mul || 0.0333239392677
const/integer/int_max || const/Complex/complexnumbers/complex_add || 0.0332581008027
const/integer/int_min || const/Complex/complexnumbers/complex_add || 0.0332215683875
const/prim_rec/PRE || const/int/int_sgn || 0.0331857205829
const/divides/PRIMES || const/int/int_abs || 0.033182172124
const/hreal/hreal_lt || const/arith/>= || 0.0331566243931
const/gcd/gcd || const/Complex/complexnumbers/complex_add || 0.0331211181207
const/integer/int_ge || const/arith/<= || 0.0330986633559
const/patricia/BRANCHING_BIT || const/realax/real_min || 0.0330871653725
const/arithmetic/> || const/int/int_lt || 0.0330812144017
type/hrat/hrat || type/nums/num || 0.0330544741302
const/frac/frac_sub || const/arith/EXP || 0.0329620319001
type/extreal/extreal || type/realax/nadd || 0.0329355679196
const/transc/tan || const/real/real_sgn || 0.0329352279719
const/rat/rat_ainv || const/nums/SUC || 0.0329206993066
const/pred_set/count || const/int/int_gt || 0.0328346816581
const/arithmetic/> || const/arith/> || 0.0327905127907
const/realax/inv || const/Library/transc/sin || 0.032762322985
const/integer/int_ge || const/int/int_lt || 0.032687270864
const/transc/cos || const/int/int_abs || 0.0326449340374
const/integer/int_neg || const/nums/NUMERAL || 0.0326344362158
const/extreal/extreal_min || const/Library/prime/index || 0.0326144084983
const/hrat/hrat_sucint || const/nums/mk_num || 0.0326128345878
const/numpair/tri || const/int/int_abs || 0.0326102107191
const/integer/int_ge || const/arith/> || 0.0324942995737
const/transc/tan || const/Library/transc/sin || 0.0324466690141
const/realax/real_add || const/realax/nadd_add || 0.0323635323794
const/extreal/extreal_mul || const/Complex/complexnumbers/complex_sub || 0.0323105496232
const/numpair/invtri || const/Library/transc/ln || 0.0323100919262
const/realax/inv || const/Library/transc/cos || 0.032281130902
const/integer/ABS || const/Multivariate/misc/sqrt || 0.0321679733938
const/arithmetic/BIT2 || const/Complex/complexnumbers/complex_neg || 0.0321587576599
const/transc/tan || const/Complex/complex_transc/csin || 0.0321083015022
const/extreal/extreal_max || const/int/int_mul || 0.0320974866676
const/integer/int_max || const/Complex/complexnumbers/complex_mul || 0.0319764282095
const/integer/int_min || const/Complex/complexnumbers/complex_mul || 0.031944399373
const/transc/cos || const/realax/real_abs || 0.031868818336
const/frac/frac_sub || const/arith/* || 0.0318685438059
const/integer/int_lt || const/arith/>= || 0.031766616516
const/patricia/BRANCHING_BIT || const/realax/real_max || 0.0317493209993
const/frac/frac_sub || const/arith/+ || 0.0316894802444
const/numeral/iDUB || const/Complex/complex_transc/cexp || 0.0316249653445
const/rat/rat_leq || const/int/int_divides || 0.0316105506851
const/realax/inv || const/nums/BIT0 || 0.0315345458277
const/integer/int_gt || const/int/int_lt || 0.0313599451712
const/frac/frac_minv || const/Complex/complexnumbers/complex_neg || 0.0313440265562
const/frac/frac_minv || const/nums/IND_SUC || 0.031212644333
type/topology/topology || type/Multivariate/metric/metric || 0.0311981032609
const/real/abs || const/Library/transc/exp || 0.0311558713815
const/real/pos || const/arith/FACT || 0.0310519707895
const/string/char_lt || const/int/int_lt || 0.0309162749695
const/real/#slash# || const/Multivariate/transcendentals/rpow || 0.0308794550171
const/extreal/extreal_add || const/realax/hreal_mul || 0.0306801472595
const/frac/frac_ainv || const/int/int_abs || 0.0306539181004
const/transc/sin || const/Library/transc/tan || 0.0306135055112
const/real/abs || const/Multivariate/transcendentals/atn || 0.0304582860177
const/transc/sin || const/Library/transc/atn || 0.0304447693263
const/integer/int_lt || const/int/num_divides || 0.0304075262405
const/extreal/extreal_div || const/realax/real_sub || 0.0303421745114
const/numeral_bit/iSUC const/num/SUC || const/real/real_sgn || 0.0302756036278
const/prim_rec/PRE || const/int/int_neg || 0.0302488478889
const/rat/rat_sub || const/realax/real_min || 0.0302376431177
const/extreal/extreal_add || const/int/int_sub || 0.0300997821373
const/arithmetic/MAX || const/realax/hreal_mul || 0.0300979653809
const/real/#slash# || const/realax/real_sub || 0.0300659882144
const/numeral_bit/iSUC const/num/SUC || const/Library/transc/sin || 0.0299755998083
const/gcd/lcm || const/realax/real_min || 0.0299323186468
const/transc/tan || const/int/int_sgn || 0.02990791859
const/real/#slash# || const/Complex/complexnumbers/complex_sub || 0.0298197690433
const/string/char_le || const/int/num_divides || 0.0297615029549
const/transc/sqrt || const/realax/real_neg || 0.0297298953229
const/extreal/extreal_ainv || const/Complex/complexnumbers/cnj || 0.0297007908364
const/transc/tan || const/Multivariate/transcendentals/sin || 0.0296997191085
const/real/real_gt || const/arith/> || 0.0296205987046
const/realax/real_mul || const/int/int_sub || 0.0295790753038
const/pred_set/count || const/arith/>= || 0.0295770380224
const/numpair/invtri || const/Multivariate/transcendentals/tan || 0.0295745384903
const/string/char_ge || const/int/int_lt || 0.0294525760794
const/real/real_ge || const/realax/real_gt || 0.0292333715398
const/rat/rat_sub || const/realax/real_max || 0.0292095343062
const/string/char_gt || const/int/int_lt || 0.0290991053735
const/rat/rat_leq || const/arith/< || 0.0289915404732
const/DeepSyntax/Negn || const/realax/real_neg || 0.0288940240918
const/transc/sin || const/Multivariate/transcendentals/tan || 0.0288152084392
const/real/real_gt || const/realax/real_ge || 0.0287748142493
const/realax/real_neg || const/Library/transc/sin || 0.0287339364803
const/rat/rat_add || const/arith/* || 0.0285231855388
const/intExtension/SGN || const/realax/real_abs || 0.0283897515716
const/realax/real_neg || const/Library/transc/cos || 0.0283612813669
const/divides/PRIMES || const/realax/real_abs || 0.0283332117029
const/extreal/extreal_div || const/int/int_add || 0.0282593910115
const/extreal/extreal_min || const/arith/* || 0.0282523953883
const/numeral_bit/iSUC const/num/SUC || const/Multivariate/transcendentals/sin || 0.0282324613836
const/numpair/invtri || const/Multivariate/transcendentals/log || 0.0282104035758
const/transc/tan || const/realax/real_abs || 0.028189372434
const/hreal/hreal_add || const/realax/hreal_mul || 0.0281831183083
const/string/char_gt || const/int/num_divides || 0.0281827687594
const/string/char_ge || const/int/num_divides || 0.0281594272592
const/transc/sin || const/real/real_sgn || 0.028128001279
const/prim_rec/PRE || const/Complex/complex_transc/csin || 0.0281176437918
const/numeral/iDUB || const/Complex/complexnumbers/cnj || 0.0281090188785
const/extreal/extreal_inv || const/int/int_neg || 0.028056509755
const/integer/int_mul || const/arith/EXP || 0.0280554036621
const/arithmetic/- || const/realax/hreal_add || 0.0280049851147
const/extreal/extreal_sub || const/realax/real_div || 0.028003818935
const/real/max || const/arith/- || 0.0279585250783
const/rat/rat_ainv || const/Multivariate/misc/sqrt || 0.0279577050827
const/arithmetic/MIN || const/realax/hreal_mul || 0.0279566043535
const/transc/ln || const/Multivariate/transcendentals/tan || 0.0279390559966
const/string/char_lt || const/int/int_le || 0.0279355132536
const/arithmetic/EXP || const/Multivariate/transcendentals/rpow || 0.0277780038913
const/hreal/hreal_add || const/arith/* || 0.027752094007
const/patricia/BRANCHING_BIT || const/int/int_mul || 0.0277454352076
const/pred_set/count || const/realax/real_gt || 0.0274813967541
const/hreal/hreal_lt || const/int/int_le || 0.0274205804001
const/int_bitwise/int_not || const/Complex/complexnumbers/cnj || 0.0273984923021
const/rat/rat_gre || const/realax/real_gt || 0.0273715299993
type/fcp/bit1 || type/ind_types/list || 0.0273637905006
const/string/char_ge || const/int/int_le || 0.0272592662224
const/string/ORD || const/Complex/complexnumbers/Cx || 0.0272560101692
const/real/max || const/realax/real_div || 0.0272492685898
type/fcp/bit0 || type/ind_types/list || 0.027223107791
const/extreal/NegInf || const/nums/_0 || 0.0270608598749
const/prim_rec/PRE || const/int/int_abs || 0.0270587879969
const/prim_rec/PRE || const/realax/real_neg || 0.0270482462029
const/real/min || const/realax/real_div || 0.0270383933005
const/extreal/Normal || const/realax/nadd_of_num || 0.0270034157821
const/patricia/BRANCHING_BIT || const/arith/* || 0.0269903630043
const/patricia/BRANCHING_BIT || const/int/int_add || 0.0269758573991
const/extreal/extreal_mul || const/arith/* || 0.0269674557764
const/prelim/num2ordering || const/nums/mk_num || 0.0269464196101
const/extreal/extreal_lt || const/int/int_ge || 0.026891637154
const/extreal/extreal_max || const/arith/* || 0.0267271241295
const/transc/tan || const/realax/real_inv || 0.0267206887257
const/extreal/extreal_mul || const/realax/real_sub || 0.0266820939203
const/string/char_gt || const/int/int_le || 0.026677802183
const/extreal/extreal_add || const/realax/real_div || 0.0266747084007
const/toto/num2cpn || const/nums/mk_num || 0.0266663549475
const/arithmetic/>= || const/arith/> || 0.0265637637535
const/numeral/internal_mult const/arithmetic/* || const/Complex/complexnumbers/complex_sub || 0.0265106726246
const/rat/rat_ainv || const/Complex/complex_transc/csin || 0.026412419486
const/rat/rat_ainv || const/Complex/complex_transc/ccos || 0.0264035026861
const/binary_ieee/num2float_compare || const/nums/mk_num || 0.0263767996137
const/bool/RES_FORALL || const/sets/SUBSET || 0.0263748854197
const/ieee/num2ccode || const/nums/mk_num || 0.0263744664465
const/extreal/extreal_ainv || const/nums/SUC || 0.0263445520711
const/ieee/num2roundmode || const/nums/mk_num || 0.0261843338128
const/int_bitwise/int_not || const/Complex/complexnumbers/complex_inv || 0.0261098053131
const/frac/frac_ainv || const/nums/IND_SUC || 0.0260449871034
const/hreal/hreal_lt || const/int/int_ge || 0.0260315893877
const/hreal/hreal_add || const/int/int_add || 0.0260204727079
const/binary_ieee/num2rounding || const/nums/mk_num || 0.0259530466619
const/realax/real_add || const/arith/EXP || 0.0258083070792
const/extreal/extreal_mul || const/realax/hreal_add || 0.0258015055526
const/arithmetic/> || const/arith/>= || 0.0257628737445
const/patricia/BRANCHING_BIT || const/arith/+ || 0.0257615246466
const/frac/frac_0 || const/nums/IND_0 || 0.0256878445385
const/integer/int_neg || const/nums/BIT0 || 0.0256360031435
const/intExtension/SGN || const/nums/NUMERAL || 0.0256296579433
const/integer/int_max || const/realax/real_sub || 0.0256022929147
const/integer/int_min || const/realax/real_sub || 0.0255892401835
const/arithmetic/MAX || const/Complex/complexnumbers/complex_div || 0.0255403011098
const/arithmetic/<= || const/realax/real_gt || 0.0255334557329
const/frac/frac_ainv || const/Library/transc/exp || 0.0255252137292
const/integer/int_sub || const/realax/hreal_add || 0.0254627393088
const/string/ORD || const/realax/nadd_of_num || 0.0254590576156
const/gcd/lcm || const/int/int_mul || 0.0254183191916
const/prim_rec/< || const/realax/real_gt || 0.025412625167
type/DeepSyntax/deep_form || type/realax/hreal || 0.0252337356441
const/transc/sin || const/int/int_sgn || 0.025162490195
const/extreal/extreal_lt || const/realax/hreal_le || 0.025152973146
const/rat/rat_sub || const/realax/hreal_add || 0.0251390511215
const/real/max || const/realax/real_mul || 0.0251237916026
const/hreal/hreal_lt || const/int/num_divides || 0.0251145171518
const/integer/int_neg || const/Library/transc/atn || 0.025090701285
const/transc/sin || const/realax/real_abs || 0.0250705592163
type/num/num || type/realax/nadd || 0.0250315863028
const/hreal/hreal_mul || const/arith/* || 0.0249807638709
const/realax/real_neg || const/nums/BIT0 || 0.0249699590639
const/intExtension/SGN || const/int/int_sgn || 0.0249549271124
const/rat/rat_geq || const/realax/real_ge || 0.0249499153766
const/real/min || const/realax/real_mul || 0.024944376427
const/rat/rat_geq || const/realax/real_gt || 0.0249183609006
const/frac/frac_ainv || const/Library/transc/sin || 0.0248340199529
const/gcd/lcm || const/int/int_add || 0.0247701345693
const/extreal/extreal_div || const/Complex/complexnumbers/complex_mul || 0.0247527566792
type/DeepSyntax/deep_form || type/int/int || 0.024602790325
const/extreal/extreal_lt || const/int/int_gt || 0.0245845516217
const/numeral_bit/iSUC const/num/SUC || const/arith/FACT || 0.0245822065001
const/extreal/extreal_le || const/int/int_ge || 0.0245785258509
const/frac/frac_add || const/Complex/complexnumbers/complex_sub || 0.0245734482707
const/rat/rat_ainv || const/Complex/complex_transc/cexp || 0.0245426527064
const/arithmetic/MAX || const/int/int_sub || 0.0245092561684
const/transc/ln || const/arith/PRE || 0.024498582954
const/arithmetic/BIT1 || const/Complex/complex_transc/cexp || 0.0244823328498
const/frac/frac_1 || const/nums/IND_0 || 0.0244579978189
const/frac/frac_sub || const/int/int_add || 0.0243821140472
const/frac/frac_ainv || const/Library/transc/cos || 0.0243748405452
const/pred_set/count || const/realax/real_ge || 0.0243710200364
const/arithmetic/<= || const/realax/real_ge || 0.0243275350104
const/frac/frac_add || const/int/int_sub || 0.0242597136794
const/prim_rec/< || const/realax/real_ge || 0.0242305992784
const/integer/int_divides || const/realax/nadd_le || 0.024199832908
const/prim_rec/PRE || const/Complex/complexnumbers/complex_neg || 0.0241738352242
const/integer/ABS || const/nums/NUMERAL || 0.0239394382389
const/arithmetic/>= || const/arith/< || 0.02388542087
const/numeral_bit/iSUC const/num/SUC || const/Library/floor/floor || 0.0238705747052
const/prim_rec/PRE || const/Library/transc/ln || 0.0238159802463
const/integer/int_sub || const/realax/real_mul || 0.0238015154357
const/integer/int_neg || const/Multivariate/transcendentals/atn || 0.0237938605865
const/integer/int_neg || const/Library/transc/exp || 0.0237341000246
const/arithmetic/MIN || const/Complex/complexnumbers/complex_div || 0.0237299027304
const/hreal/hreal_lt || const/int/int_gt || 0.023687104131
const/integer/int_gt || const/realax/real_lt || 0.0235044810452
const/transc/sin || const/realax/real_inv || 0.0234631566854
const/string/char_lt || const/int/num_divides || 0.0233214723558
const/arithmetic/MIN || const/int/int_sub || 0.0232172525721
const/rat/rat_add || const/arith/- || 0.0232134718976
const/patricia/BRANCHING_BIT || const/Complex/complexnumbers/complex_add || 0.0231695309012
const/rat/rat_sub || const/arith/- || 0.0230851903538
const/integer/int_neg || const/real/real_sgn || 0.0230765916523
const/real/real_sub || const/int/int_min || 0.0230715847723
const/numpair/nlen || const/realax/real_abs || 0.0230665886585
const/real/real_sub || const/int/int_max || 0.023060348642
const/extreal/extreal_div || const/int/int_min || 0.023030475339
const/extreal/extreal_div || const/int/int_max || 0.0230302972175
const/patricia/BRANCHING_BIT || const/realax/real_add || 0.023017032596
const/hreal/hrat_lt || const/int/int_lt || 0.022963221887
const/real/#slash# || const/int/int_min || 0.0229020718756
const/real/#slash# || const/int/int_max || 0.0228892542004
const/extreal/extreal_le || const/realax/nadd_le || 0.0228245451696
const/real/real_ge || const/arith/> || 0.0228227247487
const/arithmetic/EXP || const/realax/real_add || 0.0227346621122
const/integer/int_neg || const/Multivariate/transcendentals/exp || 0.0227007623715
const/prelim/ordering2num || const/Complex/complexnumbers/Cx || 0.0226708294557
const/prelim/ordering2num || const/realax/real_of_num || 0.0226666064675
const/toto/cpn2num || const/Complex/complexnumbers/Cx || 0.0226463477241
const/extreal/extreal_le || const/int/int_gt || 0.0226210908474
const/binary_ieee/float_compare2num || const/realax/real_of_num || 0.0226048355473
const/ieee/ccode2num || const/realax/real_of_num || 0.0226048232154
const/real/real_ge || const/arith/>= || 0.0225870412444
const/toto/cpn2num || const/realax/real_of_num || 0.0225577403441
const/ieee/roundmode2num || const/realax/real_of_num || 0.022527393683
const/intExtension/SGN || const/Complex/complexnumbers/complex_inv || 0.0224833540795
const/integer/int_gt || const/realax/real_le || 0.02246602994
const/sptree/LN || const/ind_types/NIL || 0.0224521037186
const/int_bitwise/int_not || const/int/int_neg || 0.0224279855561
const/binary_ieee/float_compare2num || const/Complex/complexnumbers/Cx || 0.0224276817253
const/ieee/ccode2num || const/Complex/complexnumbers/Cx || 0.0224276817253
const/binary_ieee/rounding2num || const/realax/real_of_num || 0.022410433858
const/ieee/roundmode2num || const/Complex/complexnumbers/Cx || 0.0224103951869
const/binary_ieee/rounding2num || const/Complex/complexnumbers/Cx || 0.0223841430195
const/patricia/BRANCHING_BIT || const/Complex/complexnumbers/complex_mul || 0.0223737097377
const/arithmetic/> || const/realax/real_le || 0.0222853130467
const/numeral_bit/iSUC const/num/SUC || const/Complex/complex_transc/cexp || 0.0222571669568
const/relation/inv || const/Library/rstc/SC || 0.0222129729419
const/numeral/iDUB || const/Library/transc/tan || 0.0221208858521
const/realax/real_0 || const/Multivariate/transcendentals/pi || 0.0221016078603
const/realax/inv || const/nums/NUMERAL || 0.0220003904358
const/numeral/iDUB || const/Library/transc/atn || 0.0219938059333
const/rat/rat_minv || const/realax/real_neg || 0.0218254901658
const/patricia/BRANCHING_BIT || const/realax/real_mul || 0.0217192443863
const/arithmetic/EXP || const/Complex/complexnumbers/complex_div || 0.0216939851652
const/gcd/gcd || const/arith/* || 0.0215791408117
const/prim_rec/PRE || const/Multivariate/transcendentals/log || 0.0214995030516
const/gcd/gcd || const/int/int_mul || 0.0214989336975
const/gcd/lcm || const/realax/real_add || 0.0214372890925
const/real/real_gt || const/arith/>= || 0.0214208611071
const/extreal/extreal_min || const/arith/+ || 0.0213866746871
const/transc/exp || const/arith/FACT || 0.0212438525069
const/rat/abs_rat || const/int/num_of_int || 0.0212162860297
const/extreal/extreal_sub || const/int/int_min || 0.021200276455
const/extreal/extreal_sub || const/int/int_max || 0.0212001322822
const/extreal/extreal_max || const/realax/hreal_add || 0.0211239915087
const/rat/rat_minv || const/Complex/complexnumbers/complex_neg || 0.021059643569
const/frac/frac_div || const/Complex/complexnumbers/complex_div || 0.0210501105672
const/rat/rat_gre || const/arith/> || 0.0210205054189
const/gcd/lcm || const/Complex/complexnumbers/complex_add || 0.0210158930929
const/arithmetic/BIT2 || const/Complex/complexnumbers/complex_inv || 0.0209805532739
const/intExtension/SGN || const/int/int_abs || 0.0209390753102
const/topology/re_intersect || const/sets/UNION || 0.0208838191714
const/numeral/iDUB || const/Multivariate/transcendentals/tan || 0.0207695180313
const/numeral/exactlog || const/realax/real_abs || 0.0207532538245
const/relation/inv || const/Library/rstc/TC || 0.020725951121
const/extreal/extreal_mul || const/arith/- || 0.0206803520897
const/frac/frac_minv || const/Complex/complexnumbers/complex_inv || 0.0206624917992
const/numeral_bit/iSUC const/num/SUC || const/Complex/complex_transc/csin || 0.0206406804325
const/int_bitwise/int_not || const/Complex/complexnumbers/complex_neg || 0.0205768151067
const/rat/rat_gre || const/realax/real_ge || 0.0205705933914
const/integer/int_max || const/realax/real_div || 0.0205224337573
const/integer/int_min || const/realax/real_div || 0.0205030215938
const/hreal/hreal_sub || const/arith/- || 0.0204517310319
const/gcd/lcm || const/Complex/complexnumbers/complex_mul || 0.0203576007019
const/gcd/lcm || const/realax/real_mul || 0.0203068771349
const/numeral/iDUB || const/real/real_sgn || 0.0202548423514
const/frac/frac_sub || const/int/int_min || 0.0202195345188
const/frac/frac_sub || const/int/int_max || 0.0202044626404
const/arithmetic/EXP || const/int/int_add || 0.0201724748111
const/realax/real_of_hreal || const/realax/hreal_of_num || 0.0201137352538
const/num/REP_num || const/int/int_of_num || 0.0200725444282
const/llist/LFINITE || const/lists/NULL || 0.0200014534005
const/numeral/iDUB || const/Library/transc/sin || 0.0199873056956
const/real/#slash# || const/arith/EXP || 0.0199081177416
const/rat/rat_geq || const/arith/> || 0.0198786478133
const/arithmetic/- || const/Complex/complexnumbers/complex_div || 0.0198576408653
const/gcd/gcd || const/int/int_sub || 0.0197744870264
const/integer/ABS || const/Complex/complexnumbers/complex_inv || 0.019662795094
const/patricia/BRANCHING_BIT || const/realax/hreal_mul || 0.0195565453189
const/arithmetic/BIT1 || const/Complex/complexnumbers/complex_inv || 0.0194470934584
const/int_bitwise/int_not || const/realax/real_inv || 0.0194257773682
const/extreal/extreal_min || const/Complex/complexnumbers/complex_add || 0.0194217635664
const/arithmetic/BIT2 || const/nums/IND_SUC || 0.0194122662429
const/rat/rat_ainv || const/nums/NUMERAL || 0.0192872654517
const/frac/frac_ainv || const/Multivariate/misc/sqrt || 0.0192077424586
const/frac/frac_minv || const/int/int_neg || 0.0190788471605
const/real/real_sub || const/realax/hreal_mul || 0.0190140916872
const/rat/rat_equiv || const/realax/real_le || 0.0189536185676
const/extreal/extreal_min || const/Complex/complexnumbers/complex_mul || 0.0188202125448
const/hreal/hreal_mul || const/int/int_mul || 0.018765429524
const/extreal/extreal_add || const/arith/EXP || 0.0187405077277
const/rat/rat_equiv || const/int/int_divides || 0.018722977442
const/intExtension/SGN || const/realax/real_inv || 0.0186994165223
const/transc/exp || const/Complex/complexnumbers/cnj || 0.0186891463612
const/real/real_sub || const/arith/EXP || 0.0186644035463
const/frac/frac_div || const/Complex/complexnumbers/complex_sub || 0.0186259751671
const/arithmetic/BIT1 || const/nums/IND_SUC || 0.0185723118219
const/arithmetic/EXP || const/Complex/complexnumbers/complex_sub || 0.0185576513924
const/arithmetic/MAX || const/realax/real_div || 0.0184799238512
const/numeral/iDUB || const/Multivariate/transcendentals/sin || 0.0184671018992
const/DeepSyntax/xLT || const/int/real_of_int || 0.0184467988179
const/DeepSyntax/xEQ || const/int/real_of_int || 0.0184467988179
const/DeepSyntax/LTx || const/int/real_of_int || 0.0184467988179
const/arithmetic/BIT2 || const/int/int_neg || 0.0183711209559
const/frac/frac_ainv || const/nums/SUC || 0.0183517438053
const/extreal/extreal_min || const/arith/- || 0.0183414054255
const/extreal/extreal_min || const/realax/real_mul || 0.0183091240088
const/real/max || const/realax/nadd_add || 0.0182301347429
const/integer/int_ge || const/arith/< || 0.018223435167
const/extreal/extreal_max || const/Complex/complexnumbers/complex_add || 0.0181549970348
const/realax/inv || const/arith/PRE || 0.0180340547438
const/int_bitwise/int_not || const/realax/real_neg || 0.0180058843216
const/gcd/gcd || const/realax/real_mul || 0.0177945782349
const/arithmetic/BIT1 || const/int/int_neg || 0.0177636512216
const/arithmetic/> || const/arith/< || 0.0177592212191
const/rat/rat_les || const/realax/hreal_le || 0.0177158737738
const/arithmetic/MAX || const/realax/real_sub || 0.017713308692
const/arithmetic/MIN || const/realax/real_div || 0.0176503044413
const/extreal/extreal_max || const/Complex/complexnumbers/complex_mul || 0.0176278140556
const/rat/rat_div || const/Complex/complexnumbers/complex_div || 0.0175529683785
const/extreal/extreal_max || const/realax/real_mul || 0.0174547678539
const/rat/rat_geq || const/arith/>= || 0.0173556159769
const/extreal/extreal_exp || const/arith/PRE || 0.0172826504808
const/gcd/lcm || const/realax/hreal_mul || 0.0172122322544
const/numeral/iDUB || const/int/int_sgn || 0.0171601746598
const/rat/rat_leq || const/int/num_divides || 0.0171596604615
const/extreal/extreal_sub || const/int/int_mul || 0.0170794174355
const/integer/ABS || const/realax/real_inv || 0.0170500359656
const/gcd/gcd || const/Complex/complexnumbers/complex_mul || 0.0170214800611
const/rat/rat_equiv || const/int/int_le || 0.0169783534343
const/arithmetic/MIN || const/realax/real_sub || 0.0169456740822
const/extreal/extreal_lt || const/arith/<= || 0.0169394169067
const/realax/real_neg || const/nums/BIT1 || 0.0168851116588
const/frac/frac_sub || const/Complex/complexnumbers/complex_mul || 0.0168828142376
const/hrat/hrat_add || const/int/int_add || 0.0168352530266
const/rat/rat_minv || const/Complex/complexnumbers/complex_inv || 0.0167830012893
const/rat/rat_equiv || const/int/num_divides || 0.0167168354237
const/real/max || const/int/int_mul || 0.0164113642555
const/arithmetic/BIT2 || const/Complex/complexnumbers/cnj || 0.0164042233343
const/binary_ieee/Float || const/int/real_of_int || 0.0164036047189
const/real/abs || const/Library/transc/tan || 0.0163522067936
const/extreal/extreal_div || const/realax/hreal_mul || 0.0162771308454
const/real/abs || const/Library/transc/atn || 0.0162726829755
const/real/min || const/int/int_mul || 0.0162615407403
const/gcd/gcd || const/Complex/complexnumbers/complex_sub || 0.0162389362667
const/frac/frac_ainv || const/nums/BIT0 || 0.0160526196944
const/transc/tan || const/int/int_abs || 0.0159833501523
const/realax/inv || const/Library/transc/atn || 0.0159061337199
const/frac/frac_ainv || const/nums/NUMERAL || 0.0158994422987
const/arithmetic/> || const/realax/hreal_le || 0.0157906850508
const/arithmetic/BIT1 || const/Complex/complexnumbers/cnj || 0.0157581128649
type/binary_ieee/float_value || type/realax/real || 0.0157151948885
const/real/#slash# || const/arith/- || 0.0156966666206
const/extreal/extreal_ainv || const/Library/transc/atn || 0.0155474952715
const/real/abs || const/Multivariate/transcendentals/tan || 0.0154994626852
const/rat/rat_minv || const/realax/real_inv || 0.0154834712466
type/min/ind || type/int/int || 0.0153669093472
const/real/abs || const/Complex/complex_transc/csin || 0.0153656368035
const/gcd/gcd || const/realax/real_sub || 0.01530755588
const/binary_ieee/Float || const/realax/hreal_of_num || 0.0152880322974
const/rat/rat_minv || const/nums/SUC || 0.0152529068414
const/intExtension/SGN || const/int/int_neg || 0.0152441205531
const/arithmetic/> || const/int/int_divides || 0.015222797839
const/frac/frac_sub || const/int/int_mul || 0.0151117640392
const/transc/exp || const/Complex/complexnumbers/complex_neg || 0.0150059570688
const/arithmetic/>= || const/arith/<= || 0.0149845807061
const/rat/rat_sub || const/Complex/complexnumbers/complex_mul || 0.0149533000412
const/realax/inv || const/Multivariate/transcendentals/atn || 0.0149528379501
const/frac/frac_0 || const/Multivariate/transcendentals/pi || 0.0149341100415
const/intExtension/SGN || const/nums/BIT0 || 0.0148536082061
const/extreal/extreal_sub || const/realax/hreal_mul || 0.0146977507454
const/DeepSyntax/xLT || const/Complex/complexnumbers/Cx || 0.0145973833348
const/DeepSyntax/xEQ || const/Complex/complexnumbers/Cx || 0.0145973833348
const/DeepSyntax/LTx || const/Complex/complexnumbers/Cx || 0.0145973833348
const/numpair/tri || const/Complex/complexnumbers/cnj || 0.0145906872111
const/numpair/tri || const/int/int_neg || 0.0145353959819
const/numeral/iDUB || const/Complex/complex_transc/csin || 0.0145323239349
const/transc/sin || const/arith/PRE || 0.0145165319785
const/rat/rat_sub || const/arith/+ || 0.0145039928961
const/hrat/hrat_mul || const/int/int_add || 0.0144855358232
const/arithmetic/> || const/int/int_le || 0.0144662868816
const/extreal/extreal_ainv || const/Multivariate/transcendentals/atn || 0.014466114811
const/extreal/extreal_ainv || const/Library/transc/exp || 0.0144172429707
const/binary_ieee/Float || const/Complex/complexnumbers/Cx || 0.0144134930294
const/integer/int_gt || const/int/int_le || 0.0143906507266
const/integer/int_sub || const/Complex/complexnumbers/complex_mul || 0.0143321024684
const/intExtension/SGN || const/Complex/complexnumbers/complex_neg || 0.0143207459293
const/intExtension/SGN || const/realax/real_neg || 0.0143069444893
const/extreal/extreal_sqrt || const/arith/PRE || 0.0142199170472
const/arithmetic/>= || const/realax/hreal_le || 0.0142012406291
const/frac/frac_sub || const/Complex/complexnumbers/complex_add || 0.0141701063301
const/realax/inv || const/Multivariate/transcendentals/exp || 0.0141619794182
const/rat/rat_div || const/realax/real_div || 0.0140937095622
const/extreal/extreal_lt || const/realax/nadd_le || 0.0140808461066
const/extreal/extreal_div || const/realax/hreal_add || 0.0140766749039
const/extreal/extreal_sub || const/realax/hreal_add || 0.0140407088113
const/real/abs || const/Multivariate/transcendentals/sin || 0.014009292511
const/rat/rat_ainv || const/nums/BIT0 || 0.0139675427285
const/numeral/iDUB || const/int/int_abs || 0.0139140127314
const/arithmetic/>= || const/int/int_divides || 0.01390719991
const/realax/real_neg || const/Library/transc/atn || 0.0138302020385
const/DeepSyntax/posinf || const/Complex/complexnumbers/cnj || 0.0138112020712
const/DeepSyntax/neginf || const/Complex/complexnumbers/cnj || 0.0138112020712
const/extreal/extreal_min || const/realax/hreal_add || 0.0137924089552
const/transc/sin || const/int/int_abs || 0.0137740754471
const/integer/ABS || const/int/int_neg || 0.0137237495118
const/integer/ABS || const/nums/BIT0 || 0.0137158746468
const/gcd/gcd || const/realax/hreal_mul || 0.0136260484281
const/extreal/extreal_ainv || const/Multivariate/transcendentals/exp || 0.0135851988844
const/DeepSyntax/xLT || const/realax/hreal_of_num || 0.0135797594134
const/DeepSyntax/xEQ || const/realax/hreal_of_num || 0.0135797594134
const/DeepSyntax/LTx || const/realax/hreal_of_num || 0.0135797594134
const/arithmetic/EXP || const/realax/hreal_mul || 0.013425570798
const/hreal/hreal_add || const/int/int_max || 0.0133511287249
const/real/#slash# || const/realax/hreal_mul || 0.0133442423562
const/numpair/tri || const/realax/real_inv || 0.0132234934004
const/rat/rat_equiv || const/arith/<= || 0.0132231415583
const/integer/ABS || const/realax/real_neg || 0.013116781372
const/realax/real_neg || const/Multivariate/transcendentals/atn || 0.0131034580163
const/frac/frac_minv || const/realax/real_inv || 0.0129770571944
const/extreal/extreal_abs || const/arith/PRE || 0.0129764646421
const/hreal/hrat_lt || const/arith/< || 0.0129367092928
const/extreal/extreal_ainv || const/Multivariate/misc/sqrt || 0.0129191316718
const/rat/rat_gre || const/arith/>= || 0.0129148644222
const/relation/RTC || const/Library/rstc/RC || 0.0128275534108
const/hrat/hrat_add || const/arith/+ || 0.0128261578495
const/integer/ABS || const/Complex/complexnumbers/complex_neg || 0.0128089144901
const/integer/int_divides || const/arith/>= || 0.0127829051055
const/integer/int_neg || const/int/int_sgn || 0.0127267961514
const/hreal/hreal_add || const/int/int_mul || 0.0126833549997
type/binary_ieee/float_compare || type/realax/real || 0.0126618323093
type/ieee/ccode || type/realax/real || 0.0126618323093
const/frac/frac_div || const/Complex/complexnumbers/complex_add || 0.0126212326195
const/rat/rat_les || const/int/int_divides || 0.0125276939192
const/realax/real_neg || const/Multivariate/transcendentals/exp || 0.0124919339555
type/binary_ieee/float_value || type/Complex/complexnumbers/complex || 0.0124425791047
const/frac/frac_0 || const/nums/_0 || 0.0124371340256
const/rat/rat_leq || const/realax/hreal_le || 0.0124077824651
const/numpair/tri || const/realax/real_neg || 0.0123822408326
type/ieee/roundmode || type/realax/real || 0.012138456028
const/hreal/hrat_lt || const/int/int_le || 0.0120074092418
const/real/abs || const/arith/PRE || 0.0119394638773
const/extreal/extreal_div || const/int/int_sub || 0.011918428815
type/prelim/ordering || type/realax/real || 0.0118241047064
const/frac/frac_mul || const/Complex/complexnumbers/complex_sub || 0.0117699047279
const/frac/frac_ainv || const/arith/PRE || 0.0116976666046
const/rat/rat_ainv || const/Library/transc/atn || 0.0116023273736
const/frac/frac_div || const/realax/real_div || 0.0115857602455
const/transc/tan || const/nums/SUC || 0.0115808291997
const/divides/divides || const/realax/real_lt || 0.0115742294262
const/integer/int_neg || const/nums/BIT1 || 0.0115389976594
const/numpair/tri || const/Complex/complexnumbers/complex_neg || 0.0115354235476
const/real/pos || const/realax/nadd_inv || 0.0113946760313
const/toto/bit2 || const/nums/IND_SUC || 0.0113516707658
const/toto/bit1 || const/nums/IND_SUC || 0.0113516707658
const/integer/int_add || const/realax/nadd_add || 0.0113459943304
type/binary_ieee/rounding || type/realax/real || 0.0113436682438
type/binary_ieee/float_value || type/realax/hreal || 0.0112281832869
const/rat/rat_div || const/Complex/complexnumbers/complex_sub || 0.011187741308
const/extreal/extreal_add || const/arith/- || 0.0111395564542
const/hrat/hrat_mul || const/int/int_mul || 0.011095694068
type/toto/cpn || type/realax/real || 0.0110915693439
const/integer/int_le || const/arith/> || 0.0110555596989
const/relation/RTC || const/Library/rstc/TC || 0.0109520771674
const/rat/rat_mul || const/arith/EXP || 0.0109487144811
const/rat/rat_ainv || const/Multivariate/transcendentals/atn || 0.0108506041881
const/rat/rat_ainv || const/Library/transc/exp || 0.0108164564346
const/hreal/hreal_mul || const/int/int_max || 0.0107756921871
const/hreal/hreal_mul || const/int/int_min || 0.0107756921871
const/arithmetic/<= || const/realax/nadd_le || 0.0107390377846
const/rat/rat_div || const/realax/real_sub || 0.0107283032248
const/realax/real_of_hreal || const/realax/nadd_of_num || 0.0107043982657
const/rat/rat_sub || const/realax/hreal_mul || 0.0104781288303
const/frac/frac_add || const/arith/- || 0.0103898722367
const/rat/rat_ainv || const/Multivariate/transcendentals/exp || 0.0102327264063
const/transc/sin || const/nums/SUC || 0.0101868351956
const/binary_ieee/Float || const/int/int_of_num || 0.0101558066312
const/rat/rat_div || const/realax/real_add || 0.0100972426461
const/rat/rat_div || const/Complex/complexnumbers/complex_add || 0.0100841589202
const/extreal/extreal_lt || const/int/num_divides || 0.0100416363193
const/extreal/extreal_mul || const/int/int_sub || 0.00994655179217
const/rat/rat_leq || const/arith/>= || 0.00992554546027
const/hrat/hrat_add || const/int/int_max || 0.00989633920364
const/DeepSyntax/posinf || const/Multivariate/misc/sqrt || 0.0098744132625
const/DeepSyntax/neginf || const/Multivariate/misc/sqrt || 0.0098744132625
const/rat/rat_equiv || const/arith/>= || 0.00967807323631
const/realax/inv || const/nums/SUC || 0.00964360081602
const/hreal/hreal_mul || const/arith/+ || 0.0095937213987
const/integer/int_gt || const/arith/< || 0.0095587315357
const/frac/frac_div || const/int/int_sub || 0.00932752202195
const/integer/int_divides || const/arith/< || 0.00922525518153
const/DeepSyntax/posinf || const/real/real_sgn || 0.00900838667599
const/DeepSyntax/neginf || const/real/real_sgn || 0.00900838667599
type/binary_ieee/float_value || type/int/int || 0.00899578467623
const/llist/exists || const/lists/ALL || 0.00894019201186
const/rat/rat_equiv || const/realax/real_lt || 0.00882758187871
const/DeepSyntax/xLT || const/int/int_of_num || 0.00882444045743
const/DeepSyntax/xEQ || const/int/int_of_num || 0.00882444045743
const/DeepSyntax/LTx || const/int/int_of_num || 0.00882444045743
const/hreal/hreal_add || const/int/int_min || 0.00873374314562
const/hreal/hrat_lt || const/arith/<= || 0.00868159788524
const/DeepSyntax/Disjn || const/realax/real_mul || 0.00846216461443
const/DeepSyntax/Conjn || const/realax/real_mul || 0.00846216461443
const/relation/RTC || const/Library/rstc/SC || 0.00845228767027
const/frac/frac_div || const/int/int_add || 0.00839801444331
const/integer/int_lt || const/realax/nadd_eq || 0.00839475918352
const/extreal/extreal_exp || const/nums/BIT0 || 0.00833905126669
const/quote/Right_idx || const/nums/IND_SUC || 0.00832640104045
const/quote/Left_idx || const/nums/IND_SUC || 0.00832640104045
const/binary_ieee/Float || const/realax/real_of_num || 0.0083180413752
const/sptree/mk_wf || const/lists/BUTLAST || 0.00830712885434
const/integer/int_gt || const/arith/<= || 0.00829708481113
const/sptree/wf || const/lists/NULL || 0.00822311889815
const/transc/exp || const/realax/nadd_inv || 0.00808821026808
const/rat/rat_equiv || const/int/int_lt || 0.00807839162453
const/relation/SC || const/Library/rstc/TC || 0.00797425038442
const/rat/rat_1 || const/nums/_0 || 0.0079401065198
const/realax/inv || const/nums/BIT1 || 0.00787209689925
const/hrat/hrat_mul || const/arith/+ || 0.00782646296472
const/DeepSyntax/xLT || const/realax/real_of_num || 0.00780438625459
const/DeepSyntax/xEQ || const/realax/real_of_num || 0.00780438625459
const/DeepSyntax/LTx || const/realax/real_of_num || 0.00780438625459
const/extreal/extreal_sqrt || const/nums/BIT0 || 0.00753411500287
const/prim_rec/< || const/realax/nadd_le || 0.00751082784685
const/integer/int_sub || const/arith/* || 0.00749293626906
const/hreal/hreal_mul || const/int/int_add || 0.00747143735885
const/binary_ieee/LT || const/nums/_0 || 0.0074055906842
const/rat/rat_les || const/arith/>= || 0.00736297524824
const/ieee/Gt || const/nums/_0 || 0.00735671018127
const/integer/int_add || const/realax/nadd_mul || 0.00735670516497
const/DeepSyntax/posinf || const/realax/real_abs || 0.00730352092186
const/DeepSyntax/neginf || const/realax/real_abs || 0.00730352092186
const/sptree/mk_wf || const/lists/REVERSE || 0.00726161979303
const/extreal/extreal_abs || const/nums/BIT0 || 0.0071650880028
const/binary_ieee/roundTiesToEven || const/nums/_0 || 0.00708054777032
const/DeepSyntax/Negn || const/realax/real_inv || 0.00708014367845
const/prelim/LESS || const/nums/_0 || 0.0069846065229
const/DeepSyntax/Disjn || const/realax/real_div || 0.0068320218418
const/DeepSyntax/Conjn || const/realax/real_div || 0.0068320218418
const/rat/rat_les || const/int/num_divides || 0.00680468172565
const/rat/rat_equiv || const/arith/< || 0.00679037754509
const/ieee/To_nearest || const/nums/_0 || 0.00677450288649
const/hrat/hrat_mul || const/arith/* || 0.00671837809586
const/hrat/hrat_1 || const/nums/_0 || 0.00670925570491
const/hrat/hrat_add || const/int/int_mul || 0.00649732992205
const/real/real_sub || const/realax/nadd_add || 0.00633074650063
const/hreal/hreal_lt || const/int/int_divides || 0.00625215553981
const/integer/int_add || const/arith/EXP || 0.00619716658128
const/toto/LESS || const/nums/_0 || 0.00604137187447
const/extreal/extreal_le || const/arith/>= || 0.00592907744805
const/hreal/hreal_add || const/arith/- || 0.00586728883657
const/numpair/tri || const/nums/IND_SUC || 0.00585071328335
const/arithmetic/NUMERAL || const/nums/IND_SUC || 0.00583674334899
const/rat/rat_sub || const/arith/* || 0.00577661100964
const/arithmetic/+ || const/realax/nadd_add || 0.00571850178389
const/real/max || const/realax/nadd_mul || 0.00567639637071
const/real/min || const/realax/nadd_add || 0.00566420354586
const/real/min || const/realax/nadd_mul || 0.00560602883024
const/integer/int_le || const/realax/nadd_eq || 0.005386232969
const/arithmetic/> || const/realax/nadd_le || 0.00536363028913
const/frac/frac_add || const/arith/EXP || 0.00530208063135
const/hrat/hrat_add || const/arith/* || 0.0052752757846
const/extreal/extreal_add || const/realax/nadd_mul || 0.00515185858329
const/relation/SC || const/Library/rstc/RC || 0.00511985605622
const/DeepSyntax/Negn || const/Complex/complexnumbers/complex_neg || 0.00510176231777
const/hreal/hrat_lt || const/int/int_divides || 0.00510051110872
const/extreal/extreal_le || const/realax/nadd_eq || 0.00497218498583
const/arithmetic/>= || const/realax/nadd_le || 0.00483586037238
const/rat/rat_add || const/arith/EXP || 0.00474001963425
const/option/OPTION_MAP || const/lists/MAP || 0.00443809271994
const/extreal/extreal_min || const/realax/hreal_mul || 0.0044374061412
const/rat/rat_ainv || const/nums/BIT1 || 0.00443438428529
const/hrat/hrat_add || const/int/int_min || 0.0044115904038
const/DeepSyntax/posinf || const/realax/real_inv || 0.00439426284417
const/DeepSyntax/neginf || const/realax/real_inv || 0.00439426284417
const/relation/RC || const/Library/rstc/RSC || 0.00436030829981
const/hreal/hreal_add || const/int/int_sub || 0.00434610914809
const/hrat/hrat_mul || const/int/int_max || 0.00427853318487
const/hrat/hrat_mul || const/int/int_min || 0.00427853318487
const/extreal/extreal_ainv || const/nums/BIT0 || 0.00420742408771
const/relation/RC || const/Library/rstc/STC || 0.00410605108155
const/DeepSyntax/posinf || const/Multivariate/transcendentals/atn || 0.00406861667039
const/DeepSyntax/neginf || const/Multivariate/transcendentals/atn || 0.00406861667039
const/extreal/extreal_max || const/realax/hreal_mul || 0.00406607966424
const/relation/TC || const/Library/rstc/RTC || 0.00395249357373
const/relation/RC || const/Library/rstc/RTC || 0.00389659472455
const/relation/TC || const/Library/rstc/RSC || 0.00384274554847
const/relation/TC || const/Library/rstc/STC || 0.00381990096609
const/extreal/extreal_ainv || const/nums/BIT1 || 0.00381640389956
const/prim_rec/< || const/realax/nadd_eq || 0.00375775772334
const/extreal/extreal_ainv || const/nums/NUMERAL || 0.00359706848559
const/bool/RES_EXISTS_UNIQUE || const/sets/PSUBSET || 0.00346145625596
const/DeepSyntax/Disjn || const/Complex/complexnumbers/complex_add || 0.00344545430343
const/DeepSyntax/Conjn || const/Complex/complexnumbers/complex_add || 0.00344545430343
const/integer/int_divides || const/realax/nadd_eq || 0.0034115565788
const/DeepSyntax/Disjn || const/Complex/complexnumbers/complex_mul || 0.00335582756653
const/DeepSyntax/Conjn || const/Complex/complexnumbers/complex_mul || 0.00335582756653
const/DeepSyntax/Negn || const/real/real_sgn || 0.00332928285482
const/hreal/hreal_mul || const/arith/EXP || 0.00328667766354
const/extreal/extreal_lt || const/realax/nadd_eq || 0.00296242115591
const/bool/RES_EXISTS || const/sets/PSUBSET || 0.00292156622478
const/hreal/hrat_lt || const/int/num_divides || 0.00286911832335
const/DeepSyntax/Negn || const/Complex/complexnumbers/complex_inv || 0.00265737011976
type/option/option || type/ind_types/list || 0.0025574029128
const/extreal/extreal_max || const/realax/nadd_add || 0.00253118244371
const/DeepSyntax/posinf || const/Library/transc/tan || 0.00246366084909
const/DeepSyntax/neginf || const/Library/transc/tan || 0.00246366084909
const/DeepSyntax/posinf || const/Library/transc/atn || 0.00244608799259
const/DeepSyntax/neginf || const/Library/transc/atn || 0.00244608799259
const/DeepSyntax/Disjn || const/Complex/complexnumbers/complex_div || 0.00241540946401
const/DeepSyntax/Conjn || const/Complex/complexnumbers/complex_div || 0.00241540946401
const/DeepSyntax/Negn || const/realax/real_abs || 0.00232222939055
type/hrat/hrat || type/realax/real || 0.00231143261972
const/DeepSyntax/posinf || const/Multivariate/transcendentals/tan || 0.00227913508952
const/DeepSyntax/neginf || const/Multivariate/transcendentals/tan || 0.00227913508952
const/integer/int_mul || const/realax/nadd_add || 0.00225642703919
const/hrat/hrat_add || const/int/int_sub || 0.00224428552209
const/DeepSyntax/posinf || const/realax/real_neg || 0.00222124665463
const/DeepSyntax/neginf || const/realax/real_neg || 0.00222124665463
const/DeepSyntax/posinf || const/Library/transc/sin || 0.00217467204727
const/DeepSyntax/neginf || const/Library/transc/sin || 0.00217467204727
const/DeepSyntax/posinf || const/Complex/complexnumbers/complex_inv || 0.00216395495668
const/DeepSyntax/neginf || const/Complex/complexnumbers/complex_inv || 0.00216395495668
const/arithmetic/<= || const/realax/nadd_eq || 0.00200522383843
const/DeepSyntax/Disjn || const/realax/real_add || 0.00198748539076
const/DeepSyntax/Conjn || const/realax/real_add || 0.00198748539076
const/DeepSyntax/posinf || const/Multivariate/transcendentals/sin || 0.00197648453727
const/DeepSyntax/neginf || const/Multivariate/transcendentals/sin || 0.00197648453727
const/DeepSyntax/Disjn || const/Complex/complexnumbers/complex_sub || 0.00194471580395
const/DeepSyntax/Conjn || const/Complex/complexnumbers/complex_sub || 0.00194471580395
const/divides/divides || const/realax/nadd_le || 0.00191922646341
const/extreal/extreal_ainv || const/nums/IND_SUC || 0.00179204108516
const/DeepSyntax/Negn || const/Library/transc/atn || 0.00178079214876
const/DeepSyntax/posinf || const/Complex/complexnumbers/complex_neg || 0.00173897807786
const/DeepSyntax/neginf || const/Complex/complexnumbers/complex_neg || 0.00173897807786
const/DeepSyntax/Negn || const/Multivariate/transcendentals/atn || 0.00165196146142
const/DeepSyntax/Negn || const/Library/transc/exp || 0.00164615687751
const/numeral/internal_mult const/arithmetic/* || const/realax/nadd_mul || 0.00161142276719
const/patricia/UNION_PTREE || const/Library/poly/poly_add || 0.00158509597026
const/DeepSyntax/Negn || const/Multivariate/transcendentals/exp || 0.00154757047408
const/DeepSyntax/posinf || const/int/int_sgn || 0.00151340403427
const/DeepSyntax/neginf || const/int/int_sgn || 0.00151340403427
const/hrat/hrat_inv || const/nums/NUMERAL || 0.00148287744283
const/DeepSyntax/Negn || const/Multivariate/misc/sqrt || 0.0014689729958
const/DeepSyntax/Disjn || const/int/int_mul || 0.00139011613815
const/DeepSyntax/Conjn || const/int/int_mul || 0.00139011613815
const/hrat/hrat_inv || const/int/int_sgn || 0.00135597179253
const/DeepSyntax/posinf || const/Complex/complex_transc/csin || 0.00135060378093
const/DeepSyntax/neginf || const/Complex/complex_transc/csin || 0.00135060378093
const/arithmetic/+ || const/realax/nadd_mul || 0.0012942820026
const/DeepSyntax/Negn || const/int/int_neg || 0.00126366522115
const/DeepSyntax/posinf || const/int/int_abs || 0.00124177194891
const/DeepSyntax/neginf || const/int/int_abs || 0.00124177194891
const/hrat/hrat_add || const/arith/- || 0.00119389262289
const/extreal/extreal_add || const/realax/nadd_add || 0.00116399839923
const/hrat/hrat_inv || const/int/int_neg || 0.00115614454395
const/DeepSyntax/Negn || const/Complex/complexnumbers/cnj || 0.00114355473876
const/hrat/hrat_inv || const/int/int_abs || 0.00110254188036
const/relation/EQC || const/Library/rstc/RTC || 0.0011019310624
const/divides/divides || const/realax/nadd_eq || 0.00105952526019
const/divides/PRIMES || const/realax/nadd_inv || 0.00104437475297
const/relation/EQC || const/Library/rstc/RSC || 0.00103730662718
const/hreal/hrat_lt || const/realax/real_lt || 0.000990651799543
const/DeepSyntax/Negn || const/int/int_sgn || 0.000973783007858
const/hrat/hrat_mul || const/arith/EXP || 0.000972201564339
const/numpair/tri || const/realax/nadd_inv || 0.000941027416937
const/patricia/Empty || const/ind_types/NIL || 0.000938444705789
const/gcd/lcm || const/realax/nadd_add || 0.000913880379112
const/relation/EQC || const/Library/rstc/STC || 0.000880895741702
const/hrat/hrat_inv || const/nums/BIT0 || 0.000878894985705
const/extreal/extreal_min || const/realax/nadd_add || 0.000834887522482
const/extreal/extreal_min || const/realax/nadd_mul || 0.000825924833621
const/hrat/hrat_mul || const/arith/- || 0.000822331266462
type/patricia/ptree || type/ind_types/list || 0.000821151705349
const/numeral/internal_mult const/arithmetic/* || const/realax/nadd_add || 0.000769135696077
const/extreal/extreal_max || const/realax/nadd_mul || 0.000760178757055
const/DeepSyntax/posinf || const/int/int_neg || 0.000754644809878
const/DeepSyntax/neginf || const/int/int_neg || 0.000754644809878
const/hrat/hrat_add || const/realax/real_add || 0.000661978053218
const/DeepSyntax/Disjn || const/int/int_add || 0.000645516619355
const/DeepSyntax/Conjn || const/int/int_add || 0.000645516619355
const/hrat/hrat_mul || const/realax/real_add || 0.00057153631961
const/numeral_bit/iSUC const/num/SUC || const/realax/nadd_inv || 0.000568089381836
const/option/OPTION_CHOICE || const/lists/APPEND || 0.000455731437702
const/hrat/hrat_mul || const/realax/real_mul || 0.000431745034729
const/hreal/hrat_lt || const/realax/real_le || 0.000426278248791
const/hrat/hrat_add || const/realax/real_max || 0.000373757028113
const/option/NONE || const/ind_types/NIL || 0.000285751113114
const/option/IS_NONE || const/lists/NULL || 0.000279897790938
const/patricia/IS_EMPTY || const/lists/NULL || 0.000223065061879
const/hrat/hrat_add || const/realax/real_min || 0.000175124379474
const/fmapal/optry || const/lists/APPEND || 0.000170749739286
const/hrat/hrat_mul || const/realax/real_min || 0.000170548924231
const/hrat/hrat_mul || const/realax/real_max || 0.00016456539514
const/hrat/hrat_add || const/realax/real_mul || 0.000155356017457
const/hrat/hrat_inv || const/real/real_sgn || 0.000106344408963
const/patricia/IS_PTREE || const/lists/NULL || 0.000103072517466
const/hrat/hrat_inv || const/Multivariate/misc/sqrt || 9.39491811349e-05
const/hrat/hrat_mul || const/realax/real_div || 9.12650473158e-05
const/hrat/hrat_mul || const/Multivariate/transcendentals/rpow || 8.89899157015e-05
const/patricia/UNION_PTREE || const/Complex/cpoly/poly_add || 8.70846555947e-05
const/hrat/hrat_add || const/realax/real_sub || 8.23093033715e-05
const/hrat/hrat_inv || const/realax/real_abs || 7.21042497233e-05
const/hrat/hrat_inv || const/realax/real_inv || 4.33928562528e-05
const/hrat/hrat_inv || const/realax/real_neg || 4.22260806317e-05
const/hrat/hrat_add || const/realax/real_div || 3.48636900092e-05
type/one/one || type/Complex/complexnumbers/complex || 3.47692230535e-05
const/topology/re_union || const/Library/analysis/re_union || 1.67699230427e-05
type/hrat/hrat || type/realax/hreal || 6.33065448402e-07
const/hrat/hrat_add || const/realax/hreal_add || 5.54039631347e-07
const/hreal/hrat_lt || const/realax/hreal_le || 4.43031380246e-07
const/hrat/hrat_mul || const/realax/hreal_add || 2.41262648064e-07
const/hrat/hrat_mul || const/realax/hreal_mul || 1.2469963976e-07
const/option/NONE || const/ind_types/NONE || 4.50982883544e-08
const/option/SOME || const/ind_types/SOME || 4.30300494584e-08
const/hrat/hrat_add || const/realax/hreal_mul || 3.83742862079e-08
type/option/option || type/ind_types/option || 3.80615498112e-08
type/hreal/hreal || type/realax/real || 7.40213661855e-10
const/hreal/hreal_add || const/realax/real_add || 2.94696029888e-10
const/hreal/hreal_lt || const/realax/real_lt || 2.30475437039e-10
const/hreal/hreal_mul || const/realax/real_mul || 1.9300866212e-10
const/hreal/hreal_add || const/realax/real_max || 1.35519547405e-10
const/hreal/hreal_mul || const/realax/real_min || 1.12730278453e-10
const/hreal/hreal_mul || const/realax/real_max || 1.0774623072e-10
const/hreal/hreal_add || const/realax/real_min || 9.31811588367e-11
const/hreal/hreal_add || const/realax/real_mul || 8.34059125725e-11
const/hreal/hreal_lt || const/realax/real_le || 7.63753377051e-11
const/hreal/hreal_mul || const/realax/real_add || 7.61835260192e-11
const/hreal/hreal_mul || const/Multivariate/transcendentals/rpow || 5.78603469682e-11
const/hreal/hreal_add || const/realax/real_sub || 4.54883275482e-11
const/hreal/hreal_add || const/realax/real_div || 1.86442835204e-11
const/ieee/Isnan || const/arith/EVEN || 4.17361118352e-12
type/ieee/float || type/nums/num || 4.11450152796e-12
type/hrat/hrat || type/Complex/complexnumbers/complex || 3.41603650384e-12
const/ieee/Iszero || const/arith/ODD || 2.67483399901e-12
const/ieee/Infinity || const/arith/EVEN || 2.37065901936e-12
const/ieee/Isdenormal || const/arith/ODD || 2.15484686118e-12
const/hrat/hrat_mul || const/Complex/complexnumbers/complex_mul || 1.86046819678e-12
const/ieee/Infinity || const/arith/ODD || 1.44902950847e-12
const/ieee/Isnormal || const/arith/ODD || 1.43160796978e-12
const/hrat/hrat_add || const/Complex/complexnumbers/complex_add || 1.39577255749e-12
const/ieee/Isnormal || const/arith/EVEN || 1.1940116924e-12
const/hrat/hrat_mul || const/Complex/complexnumbers/complex_add || 1.1406662471e-12
const/ieee/Finite || const/arith/ODD || 1.12529835187e-12
const/hrat/hrat_inv || const/Complex/complexnumbers/cnj || 1.03626915973e-12
const/ieee/Isdenormal || const/arith/EVEN || 5.68772829049e-13
const/hrat/hrat_add || const/Complex/complexnumbers/complex_mul || 4.93432426377e-13
const/hrat/hrat_add || const/Complex/complexnumbers/complex_sub || 4.44085556025e-13
const/hrat/hrat_inv || const/Complex/complexnumbers/complex_inv || 2.58767775836e-13
const/hrat/hrat_mul || const/Complex/complexnumbers/complex_div || 1.770954013e-13
const/hrat/hrat_inv || const/Complex/complexnumbers/complex_neg || 1.7453742819e-13
const/hrat/hrat_mul || const/Complex/complexnumbers/complex_sub || 1.42843772089e-13
type/ieee/float || type/nums/ind || 1.95261250333e-14
const/ieee/Iszero || const/nums/NUM_REP || 1.85461914348e-14
const/ieee/Infinity || const/nums/NUM_REP || 1.63378359902e-14
const/quantHeuristics/IS_REMOVABLE_QUANT_FUN || const/nums/ONTO || 1.55477260975e-14
const/ieee/Minus_zero || const/nums/IND_0 || 1.27031109327e-14
const/ieee/Plus_zero || const/nums/IND_0 || 1.13282471519e-14
const/ieee/Plus_infinity || const/nums/IND_0 || 9.22083967807e-15
const/ieee/Minus_infinity || const/nums/IND_0 || 9.22083967807e-15
type/DeepSyntax/deep_form || type/nums/num || 7.86557982781e-15
const/DeepSyntax/posinf || const/nums/NUMERAL || 2.0410464376e-15
const/DeepSyntax/neginf || const/nums/NUMERAL || 2.0410464376e-15
const/DeepSyntax/Disjn || const/ind_types/NUMPAIR || 1.99860115161e-15
const/DeepSyntax/Conjn || const/ind_types/NUMPAIR || 1.99860115161e-15
type/hreal/hreal || type/Complex/complexnumbers/complex || 1.53570828581e-15
const/DeepSyntax/Disjn || const/arith/- || 1.32221359158e-15
const/DeepSyntax/Conjn || const/arith/- || 1.32221359158e-15
const/DeepSyntax/Negn || const/nums/NUMERAL || 1.22956584605e-15
const/DeepSyntax/Disjn || const/arith/+ || 1.20018328679e-15
const/DeepSyntax/Conjn || const/arith/+ || 1.20018328679e-15
const/hreal/hreal_mul || const/Complex/complexnumbers/complex_mul || 1.1796689835e-15
const/DeepSyntax/posinf || const/nums/BIT0 || 1.14195955147e-15
const/DeepSyntax/neginf || const/nums/BIT0 || 1.14195955147e-15
const/hreal/hreal_add || const/Complex/complexnumbers/complex_add || 8.90208236391e-16
const/DeepSyntax/Disjn || const/arith/EXP || 6.65686771266e-16
const/DeepSyntax/Conjn || const/arith/EXP || 6.65686771266e-16
const/DeepSyntax/Disjn || const/arith/* || 6.16630547661e-16
const/DeepSyntax/Conjn || const/arith/* || 6.16630547661e-16
const/DeepSyntax/posinf || const/arith/PRE || 5.49528463583e-16
const/DeepSyntax/neginf || const/arith/PRE || 5.49528463583e-16
const/hreal/hreal_mul || const/Complex/complexnumbers/complex_add || 3.56497874878e-16
const/DeepSyntax/posinf || const/nums/SUC || 3.49246065499e-16
const/DeepSyntax/neginf || const/nums/SUC || 3.49246065499e-16
const/DeepSyntax/Negn || const/nums/SUC || 2.99352904228e-16
const/hreal/hreal_add || const/Complex/complexnumbers/complex_sub || 2.87322815086e-16
const/hreal/hreal_add || const/Complex/complexnumbers/complex_mul || 2.83417483174e-16
const/DeepSyntax/Negn || const/nums/BIT0 || 2.61441722783e-16
const/DeepSyntax/Negn || const/nums/BIT1 || 2.36188729222e-16
type/hrat/hrat || type/realax/nadd || 8.81904989572e-17
const/hreal/hrat_lt || const/realax/nadd_le || 7.92055500555e-17
const/hrat/hrat_add || const/realax/nadd_add || 6.14424284002e-17
const/hrat/hrat_mul || const/realax/nadd_add || 3.56487761449e-17
const/hreal/hrat_lt || const/realax/nadd_eq || 3.40235922068e-17
const/hrat/hrat_add || const/realax/nadd_mul || 7.39859512418e-18
const/hrat/hrat_mul || const/realax/nadd_mul || 7.1762877156e-18
const/rat/rat_equiv || const/realax/nadd_eq || 3.6948214379e-20
type/frac/frac || type/realax/nadd || 3.03021335365e-20
const/rat/rat_equiv || const/realax/nadd_le || 7.53553265793e-21
const/relation/EQC || const/Library/rstc/SC || 2.77370073119e-21
const/lbtree/mem || const/lists/MEM || 1.55646468201e-21
const/lbtree/finite || const/lists/NULL || 1.38781985307e-21
const/lbtree/Lf || const/ind_types/NIL || 1.34620568932e-21
type/lbtree/lbtree || type/ind_types/list || 1.20291643383e-21
const/sum/INL || const/ind_types/INL || 9.60996939124e-22
const/sum/INR || const/ind_types/INR || 9.58575704698e-22
type/sum/sum || type/ind_types/sum || 7.2204056487e-22
type/frac/frac || type/realax/hreal || 2.02748693473e-22
const/frac/frac_add || const/realax/hreal_add || 9.23944599847e-23
const/frac/frac_mul || const/realax/hreal_add || 8.98534008239e-23
const/relation/TC || const/Library/rstc/RSTC || 6.80512914053e-23
const/rat/rat_equiv || const/realax/hreal_le || 6.44834016237e-23
type/rat/rat || type/realax/nadd || 5.03350362895e-23
const/frac/frac_add || const/realax/hreal_mul || 4.35074094907e-23
const/frac/frac_mul || const/realax/hreal_mul || 4.2383659617e-23
const/rat/rat_leq || const/realax/nadd_le || 3.71594160846e-23
const/rat/rat_les || const/realax/nadd_le || 2.22979942796e-23
const/rat/rat_les || const/realax/nadd_eq || 1.8181126501e-23
const/rat/rat_add || const/realax/nadd_add || 1.54189191526e-23
const/rat/rat_leq || const/realax/nadd_eq || 1.33964893656e-23
const/list/EVERY || const/Multivariate/metric/eventually || 1.55044922401e-24
type/list/list || type/Multivariate/metric/net || 1.03689864843e-24
const/relation/EQC || const/Library/rstc/RC || 4.78285550484e-25
const/toto/toto_inv || const/lists/REVERSE || 3.56229623407e-25
const/relation/EQC || const/Library/rstc/TC || 2.48384319886e-25
const/list/EXISTS || const/Multivariate/metric/eventually || 2.20286433262e-25
type/toto/toto || type/ind_types/list || 9.43047326362e-26
const/bool/RES_ABSTRACT || const/Multivariate/misc/RESTRICTION || 5.33421816115e-27
const/hreal/hreal_add || const/realax/nadd_add || 3.7391654871e-27
const/hreal/hreal_lt || const/realax/nadd_le || 2.77807909546e-27
type/hreal/hreal || type/realax/nadd || 2.77413883329e-27
const/hreal/hreal_lt || const/realax/nadd_eq || 1.21425143193e-27
const/hreal/hreal_add || const/realax/nadd_mul || 5.11295210295e-28
type/toto/num_dt || type/realax/real || 3.1358856414e-28
const/toto/bit2 || const/Library/transc/atn || 4.81934948763e-29
const/toto/bit1 || const/Library/transc/atn || 4.81934948763e-29
const/toto/bit2 || const/Multivariate/transcendentals/atn || 4.40918245009e-29
const/toto/bit1 || const/Multivariate/transcendentals/atn || 4.40918245009e-29
const/toto/bit2 || const/Library/transc/exp || 4.39096343016e-29
const/toto/bit1 || const/Library/transc/exp || 4.39096343016e-29
const/toto/bit2 || const/Multivariate/transcendentals/exp || 4.08490248807e-29
const/toto/bit1 || const/Multivariate/transcendentals/exp || 4.08490248807e-29
const/toto/bit2 || const/Multivariate/misc/sqrt || 3.84539195263e-29
const/toto/bit1 || const/Multivariate/misc/sqrt || 3.84539195263e-29
const/toto/bit2 || const/realax/real_inv || 3.40657350047e-29
const/toto/bit1 || const/realax/real_inv || 3.40657350047e-29
const/toto/bit2 || const/realax/real_neg || 3.16169132513e-29
const/toto/bit1 || const/realax/real_neg || 3.16169132513e-29
const/relation/RC || const/Library/rstc/RSTC || 1.806732912e-30
type/quote/index || type/realax/real || 1.76886230363e-30
const/quote/Right_idx || const/Library/transc/atn || 3.1038760923e-31
const/quote/Left_idx || const/Library/transc/atn || 3.1038760923e-31
const/quote/Right_idx || const/Multivariate/transcendentals/atn || 2.84443016172e-31
const/quote/Left_idx || const/Multivariate/transcendentals/atn || 2.84443016172e-31
const/quote/Right_idx || const/Library/transc/exp || 2.83288800385e-31
const/quote/Left_idx || const/Library/transc/exp || 2.83288800385e-31
const/quote/Right_idx || const/Multivariate/transcendentals/exp || 2.63875480008e-31
const/quote/Left_idx || const/Multivariate/transcendentals/exp || 2.63875480008e-31
const/quote/Right_idx || const/Multivariate/misc/sqrt || 2.48651476604e-31
const/quote/Left_idx || const/Multivariate/misc/sqrt || 2.48651476604e-31
const/operator/ASSOC || const/iterate/monoidal || 2.28338023943e-31
const/quote/Right_idx || const/realax/real_inv || 2.20683343976e-31
const/quote/Left_idx || const/realax/real_inv || 2.20683343976e-31
const/quote/Right_idx || const/realax/real_neg || 2.05032076475e-31
const/quote/Left_idx || const/realax/real_neg || 2.05032076475e-31
const/marker/stmarker || const/pair/LET_END || 8.6784889132e-35
const/bool/DATATYPE || const/Library/analysis/re_universe || 1.79233361207e-35
type/toto/num_dt || type/nums/num || 1.57266625009e-35
const/toto/bit2 || const/nums/SUC || 2.91310368774e-36
const/toto/bit1 || const/nums/SUC || 2.91310368774e-36
const/marker/unint || const/pair/LET_END || 2.74561324094e-36
const/toto/bit2 || const/nums/BIT0 || 2.48578365803e-36
const/toto/bit1 || const/nums/BIT0 || 2.48578365803e-36
const/toto/bit2 || const/nums/BIT1 || 2.21185240698e-36
const/toto/bit1 || const/nums/BIT1 || 2.21185240698e-36
const/toto/bit2 || const/nums/NUMERAL || 2.06271111861e-36
const/toto/bit1 || const/nums/NUMERAL || 2.06271111861e-36
type/llist/llist || type/Multivariate/metric/net || 6.26454592659e-37
const/llist/every || const/Multivariate/metric/eventually || 5.56620169939e-37
const/llist/exists || const/Multivariate/metric/eventually || 5.1740882889e-37
const/pred_set/PSUBSET || const/Library/analysis/re_subset || 9.88293149109e-38
type/quote/index || type/nums/num || 8.34297781325e-38
const/quote/Right_idx || const/nums/SUC || 1.79759369338e-38
const/quote/Left_idx || const/nums/SUC || 1.79759369338e-38
const/quote/Right_idx || const/nums/BIT0 || 1.53457617973e-38
const/quote/Left_idx || const/nums/BIT0 || 1.53457617973e-38
const/quote/Right_idx || const/nums/BIT1 || 1.36585428504e-38
const/quote/Left_idx || const/nums/BIT1 || 1.36585428504e-38
const/quote/Right_idx || const/nums/NUMERAL || 1.27395453326e-38
const/quote/Left_idx || const/nums/NUMERAL || 1.27395453326e-38
type/toto/num_dt || type/Complex/complexnumbers/complex || 9.76322888271e-39
const/toto/bit2 || const/Complex/complexnumbers/cnj || 4.33933609631e-39
const/toto/bit1 || const/Complex/complexnumbers/cnj || 4.33933609631e-39
const/toto/bit2 || const/Complex/complexnumbers/complex_neg || 3.10715561889e-39
const/toto/bit1 || const/Complex/complexnumbers/complex_neg || 3.10715561889e-39
const/pred_set/IMAGE || const/sets/IMAGE || 1.4599595183e-40
type/quote/index || type/Complex/complexnumbers/complex || 2.52784635875e-41
const/marker/stmarker || const/trivia/I || 1.92724400864e-41
const/quote/Right_idx || const/Complex/complexnumbers/cnj || 1.36343288836e-41
const/quote/Left_idx || const/Complex/complexnumbers/cnj || 1.36343288836e-41
const/quote/Right_idx || const/Complex/complexnumbers/complex_neg || 9.70565470455e-42
const/quote/Left_idx || const/Complex/complexnumbers/complex_neg || 9.70565470455e-42
const/combin/I || const/pair/LET_END || 8.78340367842e-42
const/integer/int_neg || const/nums/IND_SUC || 2.1191440642e-42
const/marker/unint || const/trivia/I || 1.96815442331e-42
type/integer/int || type/nums/ind || 1.73001437446e-42
type/realax/real || type/nums/ind || 8.32850659809e-43
const/transc/exp || const/nums/IND_SUC || 5.70296061899e-43
const/realax/inv || const/nums/IND_SUC || 4.36838137431e-43
const/realax/real_neg || const/nums/IND_SUC || 3.4129202174e-43
const/bool/DATATYPE || const/sets/UNIV || 8.82596238219e-46
const/relation/SC || const/Library/rstc/RSC || 3.57467989143e-46
const/relation/SC || const/Library/rstc/STC || 4.66334640777e-47
const/DeepSyntax/Negn || const/nums/IND_SUC || 2.09176310458e-47
type/toto/num_dt || type/int/int || 1.5102027224e-47
type/DeepSyntax/deep_form || type/nums/ind || 1.45035442859e-47
const/toto/bit2 || const/int/int_neg || 1.05119031713e-47
const/toto/bit1 || const/int/int_neg || 1.05119031713e-47
const/relation/SC || const/Library/rstc/RSTC || 6.67349034023e-48
const/relation/SC || const/Library/rstc/RTC || 2.37185788296e-48
const/rat/rat_ainv || const/nums/IND_SUC || 4.12179446702e-49
type/rat/rat || type/nums/ind || 2.99765873307e-49
type/quote/index || type/int/int || 1.50311792581e-49
const/quote/Right_idx || const/int/int_neg || 1.24883820666e-49
const/quote/Left_idx || const/int/int_neg || 1.24883820666e-49
