type/pair/prod || type/pair/prod || 0.373091589645
const/pair/, || const/pair/, || 0.368931165034
const/real/sum || const/Library/analysis/psum || 0.368933633927
type/num/num || type/nums/num || 0.
type/realax/real || type/realax/real || 0.
const/real/pow || const/realax/real_pow || 0.372214423869
((const/pair/, type/realax/real) type/realax/real) || ((const/pair/, type/realax/real) type/realax/real) || 0.37078507568
const/poly/poly || const/Library/poly/poly || 0.370759451245
type/list/list || type/ind_types/list || 0.
const/transc/division || const/Library/transc/division || 0.368834453318
const/transc/Dint || const/Library/transc/defint || 0.368224735446
const/transc/dsize || const/Library/transc/dsize || 0.367100714161
(((const/pair/, type/num/num) type/num/num) const/num/0) || (((const/pair/, type/nums/num) type/nums/num) (const/nums/NUMERAL const/nums/_0)) || 0.36600519085
const/transc/tdiv || const/Library/transc/tdiv || 0.365654004998
const/integral/integrable || const/Library/transc/integrable || 0.36498417073
const/list/NIL || const/ind_types/NIL || 0.363825892524
const/transc/fine || const/Library/transc/fine || 0.363610396101
(const/poly/poly (const/list/NIL type/realax/real)) || (const/Library/poly/poly (const/ind_types/NIL type/realax/real)) || 0.362724073209
((const/pair/, type/num/num) type/num/num) || ((const/pair/, type/nums/num) type/nums/num) || 0.362595931794
const/poly/poly_order || const/Library/poly/order || 0.362552035594
(const/list/CONS type/realax/real) || (const/ind_types/CONS type/realax/real) || 0.362273467907
const/transc/rsum || const/Library/transc/rsum || 0.361896090047
type/topology/topology || type/Library/analysis/topology || 0.361622146099
type/topology/metric || type/Library/analysis/metric || 0.361136799759
const/topology/mr1 || const/Library/analysis/mr1 || 0.362175277126
const/topology/dist || const/Library/analysis/mdist || 0.360547649247
const/topology/mtop || const/Library/analysis/mtop || 0.360443460478
const/integral/integral || const/Library/transc/integral || 0.360342303834
const/poly/poly_diff_aux || const/Library/poly/poly_diff_aux || 0.359561107214
const/poly/poly_divides || const/Library/poly/poly_divides || 0.358385715662
(type/list/list type/realax/real) || (type/ind_types/list type/realax/real) || 0.361864361717
const/poly/poly_exp || const/Library/poly/poly_exp || 0.368369015352
const/poly/#hash##hash# || const/Library/poly/poly_cmul || 0.358000046672
((const/topology/mtop type/realax/real) const/topology/mr1) || ((const/Library/analysis/mtop type/realax/real) const/Library/analysis/mr1) || 0.35793082788
(const/nets/tends type/realax/real) || (const/Library/analysis/tends type/realax/real) || 0.359986764848
(const/pair/, (type/topology/topology type/realax/real)) || (const/pair/, (type/Library/analysis/topology type/realax/real)) || 0.362003215973
const/nets/tends || const/Library/analysis/tends || 0.35548783047
((const/topology/dist type/realax/real) const/topology/mr1) || ((const/Library/analysis/mdist type/realax/real) const/Library/analysis/mr1) || 0.354565543064
const/nets/dorder || const/Library/analysis/dorder || 0.354491228957
((const/nets/bounded type/realax/real) type/num/num) || ((const/Library/analysis/bounded type/nums/num) type/realax/real) || 0.354286616702
(const/pair/, (type/topology/metric type/realax/real)) || (const/pair/, (type/Library/analysis/metric type/realax/real)) || 0.354763733334
(type/topology/metric type/realax/real) || (type/Library/analysis/metric type/realax/real) || 0.356018992495
(((const/list/CONS type/realax/real) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) (const/list/NIL type/realax/real)) || (((const/ind_types/CONS type/realax/real) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) (const/ind_types/NIL type/realax/real)) || 0.35420817499
const/poly/poly_mul || const/Library/poly/poly_mul || 0.353629627701
const/poly/poly_add || const/Library/poly/poly_add || 0.361831032478
(const/list/NIL type/realax/real) || (const/ind_types/NIL type/realax/real) || 0.354499979353
const/transc/gauge || const/Library/transc/gauge || 0.353042185825
(const/bool/COND type/realax/real) || (const/class/COND type/realax/real) || 0.352203879461
((type/pair/prod type/num/num) type/num/num) || ((type/pair/prod type/nums/num) type/nums/num) || 0.35204097052
const/seq/summable || const/Library/analysis/summable || 0.351109727392
const/powser/diffs || const/Library/transc/diffs || 0.350668418592
const/lim/diffl || const/Library/analysis/diffl || 0.350008403605
const/lim/tends_real_real || const/Library/analysis/tends_real_real || 0.350210190463
const/list/CONS || const/ind_types/CONS || 0.349808069266
const/list/LENGTH || const/lists/LENGTH || 0.351161530905
(const/real/pow (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (const/realax/real_pow (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || 0.348843767501
const/real/real_of_num || const/realax/real_of_num || 0.349665289175
const/topology/open || const/Library/analysis/open || 0.345817020601
const/transc/root || const/Library/transc/root || 0.345351967073
const/seq/suminf || const/Library/analysis/suminf || 0.343957424964
const/poly/diff || const/Library/poly/poly_diff || 0.342254832958
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))) || 0.341007806291
const/seq/convergent || const/Library/analysis/convergent || 0.340640230743
const/nets/tendsto || const/Library/analysis/tendsto || 0.340517870956
const/topology/neigh || const/Library/analysis/neigh || 0.340248542526
(const/list/LENGTH type/realax/real) || (const/lists/LENGTH type/realax/real) || 0.340182898787
const/seq/sums || const/Library/analysis/sums || 0.339989368448
const/seq/--> || const/Library/analysis/tends_num_real || 0.357498360099
const/lim/contl || const/Library/analysis/contl || 0.339181216426
const/poly/rsquarefree || const/Library/poly/rsquarefree || 0.338555171252
const/topology/B || const/Library/analysis/ball || 0.33804231972
const/poly/poly_neg || const/Library/poly/poly_neg || 0.33693341475
const/arithmetic/ZERO const/num/0 || const/nums/_0 || 0.334707645096
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || 0.343174309635
const/bool/COND || const/class/COND || 0.334810487872
(const/min/@ type/realax/real) || (const/class/@ type/realax/real) || 0.334646747777
const/arithmetic/FACT || const/arith/FACT || 0.334272121853
const/arithmetic/>= || const/arith/>= || 0.33405569603
const/real/real_lte || const/realax/real_le || 0.334583828407
const/realax/real_lt || const/realax/real_lt || 0.368664066526
const/seq/mono || const/Library/analysis/mono || 0.33569577959
(const/realax/real_add (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_add (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.335384641
const/lim/differentiable || const/Library/analysis/differentiable || 0.333844346251
const/poly/normalize || const/Library/poly/normalize || 0.333275432405
const/seq/cauchy || const/Library/analysis/cauchy || 0.333225013924
const/topology/limpt || const/Library/analysis/limpt || 0.332897282516
const/pred_set/INSERT || const/sets/INSERT || 0.332804665493
const/bool/IN || const/sets/IN || 0.33376444961
const/pred_set/CARD || const/sets/CARD || 0.335064805689
((type/pair/prod type/realax/real) type/realax/real) || ((type/pair/prod type/realax/real) type/realax/real) || 0.332164454119
(const/real/real_sub (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_sub (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.33015700239
const/pred_set/EMPTY || const/sets/EMPTY || 0.328692578195
const/list/LIST_TO_SET || const/sets/set_of_list || 0.328388878445
const/arithmetic/- || const/arith/- || 0.326727891088
const/arithmetic/NUMERAL || const/nums/NUMERAL || 0.327754408492
const/list/APPEND || const/lists/APPEND || 0.325943858908
const/arithmetic/BIT1 || const/nums/BIT1 || 0.325812920992
const/arithmetic/EVEN || const/arith/EVEN || 0.325233081643
(const/arithmetic/* (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (const/arith/* (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || 0.33188271145
const/topology/topology || const/Library/analysis/topology || 0.325081153927
(const/min/@ type/num/num) || (const/class/@ type/nums/num) || 0.324475980467
(const/realax/real_mul (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (const/realax/real_mul (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.324420043984
const/seq/lim || const/Library/analysis/lim || 0.324412047402
const/pred_set/DELETE || const/sets/DELETE || 0.324078134163
const/min/@ || const/class/@ || 0.32405054248
const/arithmetic/DIV || const/arith/DIV || 0.323336058146
const/arithmetic/+ || const/arith/+ || 0.323237087183
const/arithmetic/<= || const/arith/<= || 0.324709603389
const/prim_rec/< || const/arith/< || 0.350844314515
const/seq/subseq || const/Library/analysis/subseq || 0.327630061595
const/list/LAST || const/lists/LAST || 0.322405189497
const/numeral_bit/iSUC const/num/SUC || const/nums/SUC || 0.321980304283
const/divides/divides || const/int/num_divides || 0.321763267812
const/topology/ismet || const/Library/analysis/ismet || 0.321228547859
const/pred_set/FINITE || const/sets/FINITE || 0.316540477138
const/list/SET_TO_LIST || const/sets/list_of_set || 0.317406092647
const/ind_type/ZCONSTR || const/ind_types/ZCONSTR || 0.316334677468
const/topology/metric || const/Library/analysis/metric || 0.315764954257
const/realax/real_neg || const/realax/real_neg || 0.315069760833
const/real/#slash# || const/realax/real_div || 0.317356936794
const/real/real_sub || const/realax/real_sub || 0.316088503742
const/realax/real_add || const/realax/real_add || 0.330860707472
const/realax/real_mul || const/realax/real_mul || 0.350096365414
const/ind_type/ZRECSPACE || const/ind_types/ZRECSPACE || 0.314898561211
const/ind_type/ZBOT || const/ind_types/ZBOT || 0.322029116277
const/numeral/internal_mult const/arithmetic/* || const/arith/* || 0.314853820288
const/real/real_ge || const/realax/real_ge || 0.314084355925
const/ind_type/INJF || const/ind_types/INJF || 0.313179870252
const/ind_type/INJA || const/ind_types/INJA || 0.317043343416
const/ind_type/INJP || const/ind_types/INJP || 0.313732696024
const/ind_type/NUMLEFT || const/ind_types/NUMLEFT || 0.312719459206
const/ind_type/NUMRIGHT || const/ind_types/NUMRIGHT || 0.319561558949
const/ind_type/NUMSUM || const/ind_types/NUMSUM || 0.317302544446
const/topology/closed || const/Library/analysis/closed || 0.312444057328
const/ind_type/INJN || const/ind_types/INJN || 0.311577835842
const/ind_type/mk_rec || const/ind_types/_mk_rec || 0.31127545963
type/ind_type/recspace || type/ind_types/recspace || 0.
const/ind_type/dest_rec || const/ind_types/_dest_rec || 0.313098108553
type/hreal/hreal || type/realax/hreal || 0.310474760662
const/hreal/hreal_add || const/realax/hreal_add || 0.316464391856
const/realax/treal_eq || const/realax/treal_eq || 0.315981337379
((const/pair/, type/hreal/hreal) type/hreal/hreal) || ((const/pair/, type/realax/hreal) type/realax/hreal) || 0.315975214303
const/list/EVERY || const/lists/ALL || 0.310193774732
const/integer/int_of_num || const/int/int_of_num || 0.309859967283
type/integer/int || type/int/int || 0.
const/integer/int_0 (const/integer/int_of_num const/num/0) || (const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || 0.317660539765
const/integer/int_neg || const/int/int_neg || 0.316197781606
const/integer/int_add || const/int/int_add || 0.316685878512
const/integer/int_sub || const/int/int_sub || 0.327432487694
const/integer/int_mul || const/int/int_mul || 0.314540443239
const/integer/int_divides || const/int/int_divides || 0.314558522911
const/poly/degree || const/Library/poly/degree || 0.309333234938
(const/realax/real_lt (const/real/real_of_num const/num/0)) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.308935619163
(const/real/real_lte (const/real/real_of_num const/num/0)) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.321857439319
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (const/realax/real_le (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || 0.328465607289
(const/bool/?! type/realax/real) || (const/bool/?! type/realax/real) || 0.318526128935
const/real/abs || const/realax/real_abs || 0.315592280626
const/realax/inv || const/realax/real_inv || 0.319493970832
const/transc/sqrt || const/Library/transc/sqrt || 0.323160653852
const/topology/istopology || const/Library/analysis/istopology || 0.310598645927
((type/pair/prod type/hreal/hreal) type/hreal/hreal) || ((type/pair/prod type/realax/hreal) type/realax/hreal) || 0.310443210784
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || (const/realax/real_neg ((const/realax/real_div const/Multivariate/transcendentals/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))))) || 0.308591413763
(const/real/real_of_num const/num/0) const/realax/real_0 || (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || 0.308778722595
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.31329548821
const/transc/exp || const/Library/transc/exp || 0.321669661151
const/transc/ln || const/Library/transc/ln || 0.318077116506
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || 0.316417891561
const/transc/pi || const/Library/transc/pi || 0.315226338209
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || ((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.328052999073
(const/realax/real_lt (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.305046061367
const/pred_set/UNION || const/sets/UNION || 0.304902393977
(const/real/real_lte (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.304767634939
const/divides/prime || const/Library/prime/prime || 0.304506431882
const/real/sup || const/sets/sup || 0.302916758368
const/realax/treal_lt || const/realax/treal_le || 0.301815211236
const/transc/cos || const/Library/transc/cos || 0.301043481716
const/transc/acs || const/Library/transc/acs || 0.335104472154
const/transc/sin || const/Library/transc/sin || 0.317306084208
const/transc/tan || const/Library/transc/tan || 0.329297533696
const/ind_type/CONSTR || const/ind_types/CONSTR || 0.300246039215
const/ind_type/NUMPAIR || const/ind_types/NUMPAIR || 0.299151434776
const/ind_type/NUMFST || const/ind_types/NUMFST || 0.307493532396
const/ind_type/NUMSND || const/ind_types/NUMSND || 0.315989638916
const/ind_type/BOTTOM || const/ind_types/BOTTOM || 0.29794983044
const/arithmetic/ODD || const/arith/ODD || 0.297786120875
(const/prim_rec/< const/num/0) || (const/arith/< (const/nums/NUMERAL const/nums/_0)) || 0.299493053272
const/integer/int_lt || const/int/int_lt || 0.297777045561
const/integer/int_le || const/int/int_le || 0.338875679897
(const/integer/int_le (const/integer/int_of_num const/num/0)) || (const/int/int_le (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.308585059838
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || (const/int/int_lt (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.310137348208
const/pred_set/SUBSET || const/sets/SUBSET || 0.297580349605
const/pred_set/PSUBSET || const/sets/PSUBSET || 0.311739370849
const/pred_set/INTER || const/sets/INTER || 0.303567013498
const/list/TL || const/lists/TL || 0.297575100283
(const/bool/COND type/num/num) || (const/class/COND type/nums/num) || 0.29595441317
const/transc/asn || const/Library/transc/asn || 0.295678061747
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.293437407861
const/transc/atn || const/Library/transc/atn || 0.291796405883
const/arithmetic/EXP || const/arith/EXP || 0.291463770995
const/realax/treal_add || const/realax/treal_add || 0.286369928255
const/realax/treal_mul || const/realax/treal_mul || 0.28608645233
const/real/real_gt || const/realax/real_gt || 0.285364481657
const/transc/rpow || const/Multivariate/transcendentals/rpow || 0.285052184116
const/hreal/hreal_mul || const/realax/hreal_mul || 0.283603023599
const/util_prob/minimal || const/arith/minimal || 0.282683151541
(const/real/pow (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (const/realax/real_pow (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.281316636322
const/list/FRONT || const/lists/BUTLAST || 0.281134098349
(const/bool/?! type/num/num) || (const/bool/?! type/nums/num) || 0.280168743871
const/hreal/hreal_lt || const/realax/hreal_le || 0.279253907291
const/rich_list/REPLICATE || const/lists/REPLICATE || 0.278491409263
const/integer/Num || const/int/num_of_int || 0.278277032788
(const/prim_rec/< (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/arith/< (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.27555455369
const/pred_set/BIGINTER || const/sets/INTERS || 0.274797022115
const/pred_set/UNIV || const/sets/UNIV || 0.275620291143
const/list/REVERSE || const/lists/REVERSE || 0.273017153958
const/pred_set/DISJOINT || const/sets/DISJOINT || 0.271831906731
const/list/FILTER || const/lists/FILTER || 0.271816262741
const/pred_set/BIGUNION || const/sets/UNIONS || 0.271378309345
const/realax/treal_neg || const/realax/treal_neg || 0.264778966892
const/list/MAP || const/lists/MAP || 0.264613311315
const/bool/?! || const/bool/?! || 0.261964309543
const/real/min || const/realax/real_min || 0.261671354411
const/real/max || const/realax/real_max || 0.261483386677
const/prim_rec/PRE || const/arith/PRE || 0.260572486124
const/pred_set/DIFF || const/sets/DIFF || 0.258376528951
const/list/EL || const/lists/EL || 0.238543538287
type/extreal/extreal || type/Complex/complexnumbers/complex || 0.237722234598
const/extreal/extreal_pow || const/Complex/complexnumbers/complex_pow || 0.246660741635
const/extreal/extreal_mul || const/Complex/complexnumbers/complex_mul || 0.237316195503
const/extreal/extreal_ainv || const/Complex/complexnumbers/complex_neg || 0.239163769505
const/list/HD || const/lists/HD || 0.235575364709
(const/extreal/extreal_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.233646868462
const/integer/ABS || const/int/int_abs || 0.23217072961
const/pred_set/SING || const/sets/SING || 0.231856234521
const/pred_set/countable || const/sets/COUNTABLE || 0.233811661603
const/integer/int_exp || const/int/int_pow || 0.228967764665
const/pred_set/CROSS || const/sets/CROSS || 0.226685241654
const/pred_set/CHOICE || const/sets/CHOICE || 0.224459159859
const/util_prob/lg || const/Multivariate/transcendentals/log || 0.222380434698
const/arithmetic/MOD || const/arith/MOD || 0.21791328106
const/list/NULL || const/lists/NULL || 0.217215608993
const/extreal/extreal_inv || const/Complex/complexnumbers/complex_inv || 0.211803678438
(const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.209863478098
const/one/one || const/trivia/one || 0.208551523092
type/one/one || type/trivia/1 || 0.
const/pair/REP_prod || const/pair/REP_prod || 0.207063000848
const/pair/ABS_prod || const/pair/ABS_prod || 0.231628253558
const/prim_rec/measure || const/wf/MEASURE || 0.204507357061
(const/integer/int_neg (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/int/int_neg (const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.202494189339
const/extreal/Normal || const/Complex/complexnumbers/Cx || 0.201093189191
const/pred_set/COMPL || const/Library/analysis/re_compl || 0.200512716119
const/intExtension/SGN || const/int/int_sgn || 0.19949657496
const/fcp/HAS_SIZE || const/sets/HAS_SIZE || 0.197972870913
const/pred_set/count || const/Library/binary/bitset || 0.194552825762
const/topology/re_intersect || const/Library/analysis/re_intersect || 0.192766043424
(const/arithmetic/EXP (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (const/arith/EXP (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || 0.191508518886
const/list/EXISTS || const/lists/EX || 0.189612115958
const/pred_set/REST || const/sets/REST || 0.187355604683
const/prim_rec/wellfounded || const/wf/WF || 0.182404935494
const/gcd/gcd || const/Library/pocklington/order || 0.179802665921
const/sorting/SORTED || const/sets/PAIRWISE || 0.174888584575
(const/pred_set/CARD type/num/num) || const/Library/binary/binarysum || 0.172568697463
const/ind_type/FCONS || const/ind_types/FCONS || 0.168737538049
const/integer/int_gt || const/int/int_gt || 0.168037686394
(const/extreal/extreal_of_num const/num/0) || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.167630982169
const/arithmetic/BIT2 || const/nums/BIT0 || 0.164212406125
const/realax/treal_inv || const/realax/treal_inv || 0.158220891787
const/util_prob/pair || const/Library/card/*_c || 0.156406893542
const/relation/RTC || const/Library/rstc/RTC || 0.14379920337
const/relation/TC || const/Library/rstc/TC || 0.19379907133
const/relation/RC || const/Library/rstc/RC || 0.199652771535
const/relation/EQC || const/Library/rstc/RSTC || 0.193860777436
const/relation/SC || const/Library/rstc/SC || 0.204178706663
const/num/ABS_num || const/nums/mk_num || 0.141560884274
type/min/ind || type/nums/ind || 0.
const/bool/ONTO || const/nums/ONTO || 0.187454095832
const/bool/ONE_ONE || const/nums/ONE_ONE || 0.211413783353
const/num/REP_num || const/nums/dest_num || 0.187105066928
const/num/SUC_REP || const/nums/IND_SUC || 0.158579658903
const/num/ZERO_REP || const/nums/IND_0 || 0.165948250518
(const/arithmetic/BIT1 const/arithmetic/ZERO) || (const/nums/BIT1 const/nums/_0) || 0.134376444708
const/extreal/extreal_sub || const/Complex/complexnumbers/complex_sub || 0.133475202238
const/extreal/extreal_add || const/Complex/complexnumbers/complex_add || 0.138167496245
const/pred_set/pairwise || const/sets/pairwise || 0.112882921788
const/intreal/INT_FLOOR || const/int/int_of_real || 0.107207814018
const/intreal/real_of_int || const/int/real_of_int || 0.115092400618
const/intreal/is_int || const/int/integer || 0.134954658356
(const/real/#slash# (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_div (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.0982161937834
const/real/pos || const/real/real_sgn || 0.0941712761294
const/numpair/nsnd || const/Library/pratt/phi || 0.0926023141207
(const/pred_set/FINITE type/num/num) || (const/sets/FINITE type/nums/num) || 0.0922140714088
const/extreal/extreal_div || const/Complex/complexnumbers/complex_div || 0.0909282272653
const/combin/I || const/trivia/I || 0.0893216347442
const/integer/int_ge || const/int/int_ge || 0.0852893232831
const/numpair/nfst || const/Library/pocklington/phi || 0.081803904476
const/extreal/extreal_exp || const/Complex/complex_transc/cexp || 0.0805056123961
const/integer/int_max || const/int/int_max || 0.0565666087052
const/arithmetic/MAX || const/arith/MAX || 0.0584704016965
const/integer/int_min || const/int/int_min || 0.0571968293074
(const/pred_set/UNIV type/num/num) || (const/Multivariate/misc/from (const/nums/NUMERAL const/nums/_0)) (const/sets/UNIV type/nums/num) || 0.0560228797638
const/arithmetic/MIN || const/arith/MIN || 0.0535863083879
(const/realax/real_lt const/realax/real_0) || const/Library/floor/rational || 0.0417199775866
const/arithmetic/> || const/arith/> || 0.0354651024787
