type/realax/real || type/realax/real || 0.993941542927
type/num/num || type/nums/num || 0.993028902636
type/pair/prod || type/pair/prod || 0.986515669212
const/real/real_lte || const/realax/real_le || 0.984947091832
const/realax/real_mul || const/realax/real_mul || 0.982885183817
const/numeral_bit/iSUC const/num/SUC || const/nums/SUC || 0.982111083163
(const/real/real_of_num const/num/0) const/realax/real_0 || (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || 0.982116513458
const/real/pow || const/realax/real_pow || 0.981805588235
const/real/real_of_num || const/realax/real_of_num || 0.982150216357
const/realax/real_lt || const/realax/real_lt || 0.981811672885
const/real/sum || const/Library/analysis/psum || 0.979884245685
const/real/real_sub || const/realax/real_sub || 0.979395187134
(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.97948575177
const/real/abs || const/realax/real_abs || 0.979565691739
const/pair/, || const/pair/, || 0.979546817193
const/realax/real_add || const/realax/real_add || 0.97875321105
((const/pair/, type/realax/real) type/realax/real) || ((const/pair/, type/realax/real) type/realax/real) || 0.978744774835
((type/pair/prod type/realax/real) type/realax/real) || ((type/pair/prod type/realax/real) type/realax/real) || 0.979101704534
const/realax/real_neg || const/realax/real_neg || 0.978437772011
const/poly/poly || const/Library/poly/poly || 0.978871026535
type/list/list || type/ind_types/list || 0.
(type/list/list type/realax/real) || (type/ind_types/list type/realax/real) || 0.978641433417
const/lim/diffl || const/Library/analysis/diffl || 0.977973148884
const/arithmetic/BIT1 || const/nums/BIT1 || 0.97643418213
const/arithmetic/NUMERAL || const/nums/NUMERAL || 0.977319747197
const/arithmetic/ZERO const/num/0 || const/nums/_0 || 0.979504264269
const/transc/Dint || const/Library/transc/defint || 0.974331684148
const/transc/division || const/Library/transc/division || 0.970544401241
const/poly/poly_exp || const/Library/poly/poly_exp || 0.969301318215
((type/pair/prod type/num/num) type/num/num) || ((type/pair/prod type/nums/num) type/nums/num) || 0.969299444511
const/transc/tdiv || const/Library/transc/tdiv || 0.968601978253
const/poly/poly_divides || const/Library/poly/poly_divides || 0.968333282874
const/real/#slash# || const/realax/real_div || 0.967889567816
(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.965788915265
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))) || 0.966446479278
const/integral/integrable || const/Library/transc/integrable || 0.965541025463
const/transc/dsize || const/Library/transc/dsize || 0.964998669633
const/arithmetic/+ || const/arith/+ || 0.96471358492
const/prim_rec/< || const/arith/< || 0.966104138533
const/arithmetic/<= || const/arith/<= || 0.965499764501
const/poly/poly_mul || const/Library/poly/poly_mul || 0.963597833752
(((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.963414029788
const/transc/fine || const/Library/transc/fine || 0.962607564226
const/transc/cos || const/Library/transc/cos || 0.962587780686
(const/list/CONS type/realax/real) || (const/ind_types/CONS type/realax/real) || 0.962562032098
const/poly/diff || const/Library/poly/poly_diff || 0.962470999933
type/topology/metric || type/Library/analysis/metric || 0.962227019037
const/realax/inv || const/realax/real_inv || 0.961767284305
const/transc/rsum || const/Library/transc/rsum || 0.961516423563
((const/pair/, type/num/num) type/num/num) || ((const/pair/, type/nums/num) type/nums/num) || 0.960302625049
const/list/NIL || const/ind_types/NIL || 0.959411393472
const/poly/poly_order || const/Library/poly/order || 0.960048259623
(const/poly/poly (const/list/NIL type/realax/real)) || (const/Library/poly/poly (const/ind_types/NIL type/realax/real)) || 0.959709226897
type/topology/topology || type/Library/analysis/topology || 0.95890166291
const/seq/summable || const/Library/analysis/summable || 0.958394438048
(((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.957700028042
const/seq/suminf || const/Library/analysis/suminf || 0.956496487368
const/arithmetic/- || const/arith/- || 0.956138948764
const/seq/sums || const/Library/analysis/sums || 0.956501646509
const/transc/sin || const/Library/transc/sin || 0.955958221865
const/poly/poly_diff_aux || const/Library/poly/poly_diff_aux || 0.95420092767
const/list/CONS || const/ind_types/CONS || 0.953751772331
const/lim/contl || const/Library/analysis/contl || 0.953516782127
const/poly/poly_add || const/Library/poly/poly_add || 0.951946681152
const/poly/#hash##hash# || const/Library/poly/poly_cmul || 0.950628656551
const/integral/integral || const/Library/transc/integral || 0.950132584696
const/topology/dist || const/Library/analysis/mdist || 0.949251666195
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.949238855162
(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.948789351621
const/arithmetic/FACT || const/arith/FACT || 0.947851963286
(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.948002899503
const/topology/mr1 || const/Library/analysis/mr1 || 0.946026199621
const/powser/diffs || const/Library/transc/diffs || 0.94593400126
const/transc/exp || const/Library/transc/exp || 0.945596091829
const/seq/--> || const/Library/analysis/tends_num_real || 0.943393337301
(const/bool/COND type/realax/real) || (const/class/COND type/realax/real) || 0.9424909168
const/arithmetic/EVEN || const/arith/EVEN || 0.943198599537
const/arithmetic/>= || const/arith/>= || 0.942444859427
type/integer/int || type/int/int || 0.942272692091
const/topology/mtop || const/Library/analysis/mtop || 0.941779273344
const/transc/gauge || const/Library/transc/gauge || 0.940672314639
((const/topology/mtop type/realax/real) const/topology/mr1) || ((const/Library/analysis/mtop type/realax/real) const/Library/analysis/mr1) || 0.937718584913
(const/nets/tends type/realax/real) || (const/Library/analysis/tends type/realax/real) || 0.942542036584
(const/pair/, (type/topology/topology type/realax/real)) || (const/pair/, (type/Library/analysis/topology type/realax/real)) || 0.947752394357
const/nets/dorder || const/Library/analysis/dorder || 0.939143897392
((const/nets/bounded type/realax/real) type/num/num) || ((const/Library/analysis/bounded type/nums/num) type/realax/real) || 0.937282190452
(const/pair/, (type/topology/metric type/realax/real)) || (const/pair/, (type/Library/analysis/metric type/realax/real)) || 0.936569940096
(type/topology/metric type/realax/real) || (type/Library/analysis/metric type/realax/real) || 0.939300516508
const/lim/tends_real_real || const/Library/analysis/tends_real_real || 0.935925805964
(const/list/NIL type/realax/real) || (const/ind_types/NIL type/realax/real) || 0.927621242542
const/poly/poly_neg || const/Library/poly/poly_neg || 0.926730277872
const/transc/root || const/Library/transc/root || 0.921188877317
const/nets/tends || const/Library/analysis/tends || 0.919849794207
const/arithmetic/DIV || const/arith/DIV || 0.918223175227
const/integer/int_add || const/int/int_add || 0.910444600172
(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.907605375477
const/topology/open || const/Library/analysis/open || 0.906828147926
((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.906759731187
const/numeral/internal_mult const/arithmetic/* || const/arith/* || 0.906229573952
(const/list/LENGTH type/realax/real) || (const/lists/LENGTH type/realax/real) || 0.899515641357
const/seq/convergent || const/Library/analysis/convergent || 0.899446787831
const/transc/pi || const/Library/transc/pi || 0.899152815874
(const/min/@ type/realax/real) || (const/class/@ type/realax/real) || 0.900301419341
const/transc/ln || const/Library/transc/ln || 0.898433175241
const/integer/int_of_num || const/int/int_of_num || 0.895155308266
const/nets/tendsto || const/Library/analysis/tendsto || 0.892251403901
(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.89084221549
const/topology/neigh || const/Library/analysis/neigh || 0.889569298126
const/topology/B || const/Library/analysis/ball || 0.890204756368
const/integer/int_lt || const/int/int_lt || 0.887729727664
((const/topology/dist type/realax/real) const/topology/mr1) || ((const/Library/analysis/mdist type/realax/real) const/Library/analysis/mr1) || 0.887374848804
const/integer/int_le || const/int/int_le || 0.885503502631
const/integer/int_neg || const/int/int_neg || 0.88175479843
const/transc/tan || const/Library/transc/tan || 0.881567764967
const/seq/mono || const/Library/analysis/mono || 0.881543446811
const/transc/sqrt || const/Library/transc/sqrt || 0.880392697699
const/bool/COND || const/class/COND || 0.879610808351
const/lim/differentiable || const/Library/analysis/differentiable || 0.879363103363
const/seq/cauchy || const/Library/analysis/cauchy || 0.878720111484
const/pred_set/INSERT || const/sets/INSERT || 0.872570814536
const/pred_set/CARD || const/sets/CARD || 0.876489641093
const/bool/IN || const/sets/IN || 0.87937812894
const/pred_set/EMPTY || const/sets/EMPTY || 0.885021473963
const/pred_set/FINITE || const/sets/FINITE || 0.884323581428
const/integer/int_0 (const/integer/int_of_num const/num/0) || (const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || 0.872486537443
(const/min/@ type/num/num) || (const/class/@ type/nums/num) || 0.872081822977
const/transc/acs || const/Library/transc/acs || 0.869416314068
const/topology/limpt || const/Library/analysis/limpt || 0.86872890444
const/poly/normalize || const/Library/poly/normalize || 0.866658484436
const/poly/rsquarefree || const/Library/poly/rsquarefree || 0.863878731112
type/hreal/hreal || type/realax/hreal || 0.863467861185
(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.862814208912
const/list/LIST_TO_SET || const/sets/set_of_list || 0.861844226063
const/list/APPEND || const/lists/APPEND || 0.859145486668
const/list/LENGTH || const/lists/LENGTH || 0.858856314859
const/seq/subseq || const/Library/analysis/subseq || 0.857051403115
const/min/@ || const/class/@ || 0.851693286211
const/topology/topology || const/Library/analysis/topology || 0.849757528726
const/seq/lim || const/Library/analysis/lim || 0.848020507517
const/pred_set/DELETE || const/sets/DELETE || 0.846198600031
const/integer/int_mul || const/int/int_mul || 0.846009510769
const/topology/ismet || const/Library/analysis/ismet || 0.844732452854
(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.843310620411
const/integer/int_sub || const/int/int_sub || 0.842252798415
const/divides/divides || const/int/num_divides || 0.841903111213
const/realax/treal_eq || const/realax/treal_eq || 0.838944028205
const/pred_set/UNION || const/sets/UNION || 0.838813591954
const/pred_set/SUBSET || const/sets/SUBSET || 0.839670968961
const/list/LAST || const/lists/LAST || 0.836024772616
const/hreal/hreal_add || const/realax/hreal_add || 0.835628155168
const/integer/int_divides || const/int/int_divides || 0.828159950071
(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.827373070725
(const/bool/?! type/realax/real) || (const/bool/?! type/realax/real) || 0.825264782502
(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.827909897961
(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.825033765852
(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.822332517083
const/list/SET_TO_LIST || const/sets/list_of_set || 0.821826452742
const/ind_type/ZCONSTR || const/ind_types/ZCONSTR || 0.818789632187
(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.817914903416
((const/pair/, type/hreal/hreal) type/hreal/hreal) || ((const/pair/, type/realax/hreal) type/realax/hreal) || 0.817773457605
const/topology/metric || const/Library/analysis/metric || 0.81717569921
(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.815676726638
const/real/real_ge || const/realax/real_ge || 0.815391541621
const/ind_type/ZRECSPACE || const/ind_types/ZRECSPACE || 0.814722554735
const/ind_type/ZBOT || const/ind_types/ZBOT || 0.834954985517
const/list/EVERY || const/lists/ALL || 0.812800093226
((type/pair/prod type/hreal/hreal) type/hreal/hreal) || ((type/pair/prod type/realax/hreal) type/realax/hreal) || 0.810142525614
const/ind_type/INJF || const/ind_types/INJF || 0.809860398227
const/ind_type/INJA || const/ind_types/INJA || 0.820797998533
const/ind_type/INJP || const/ind_types/INJP || 0.811423722478
const/divides/prime || const/Library/prime/prime || 0.809170699407
const/ind_type/NUMLEFT || const/ind_types/NUMLEFT || 0.808586425355
const/ind_type/NUMRIGHT || const/ind_types/NUMRIGHT || 0.827942476648
const/ind_type/NUMSUM || const/ind_types/NUMSUM || 0.821532821341
const/topology/closed || const/Library/analysis/closed || 0.807780499984
const/pred_set/PSUBSET || const/sets/PSUBSET || 0.805793118537
const/ind_type/INJN || const/ind_types/INJN || 0.805333296241
const/ind_type/mk_rec || const/ind_types/_mk_rec || 0.804479372618
type/ind_type/recspace || type/ind_types/recspace || 0.
const/ind_type/dest_rec || const/ind_types/_dest_rec || 0.809629231941
const/topology/istopology || const/Library/analysis/istopology || 0.802568646657
const/pred_set/INTER || const/sets/INTER || 0.801996919298
const/ind_type/NUMPAIR || const/ind_types/NUMPAIR || 0.801994472682
const/arithmetic/ODD || const/arith/ODD || 0.79922023694
const/poly/degree || const/Library/poly/degree || 0.798998556609
const/ind_type/NUMFST || const/ind_types/NUMFST || 0.793847021405
const/ind_type/NUMSND || const/ind_types/NUMSND || 0.817812125304
(const/prim_rec/< const/num/0) || (const/arith/< (const/nums/NUMERAL const/nums/_0)) || 0.792872660895
const/list/TL || const/lists/TL || 0.781888046449
const/real/sup || const/sets/sup || 0.780942040079
const/realax/treal_lt || const/realax/treal_le || 0.77784991492
const/realax/treal_add || const/realax/treal_add || 0.781914865007
const/ind_type/CONSTR || const/ind_types/CONSTR || 0.773449018012
const/arithmetic/EXP || const/arith/EXP || 0.773406869841
const/ind_type/BOTTOM || const/ind_types/BOTTOM || 0.767017278202
const/transc/atn || const/Library/transc/atn || 0.766963548711
(const/bool/COND type/num/num) || (const/class/COND type/nums/num) || 0.761435955108
const/transc/asn || const/Library/transc/asn || 0.760663556946
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.754406127397
const/list/FRONT || const/lists/BUTLAST || 0.74920528853
const/realax/treal_mul || const/realax/treal_mul || 0.733941432973
const/real/real_gt || const/realax/real_gt || 0.731936772709
const/transc/rpow || const/Multivariate/transcendentals/rpow || 0.731069922078
const/pred_set/UNIV || const/sets/UNIV || 0.729485379292
const/pred_set/BIGINTER || const/sets/INTERS || 0.729122603318
const/hreal/hreal_mul || const/realax/hreal_mul || 0.727049751164
const/util_prob/minimal || const/arith/minimal || 0.724499850874
(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.720714644359
const/list/FILTER || const/lists/FILTER || 0.719844017694
(const/bool/?! type/num/num) || (const/bool/?! type/nums/num) || 0.717537591852
const/hreal/hreal_lt || const/realax/hreal_le || 0.715007254408
const/rich_list/REPLICATE || const/lists/REPLICATE || 0.712899405298
const/integer/Num || const/int/num_of_int || 0.712306968981
(const/prim_rec/< (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/arith/< (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.710959470822
const/list/REVERSE || const/lists/REVERSE || 0.710378031221
const/realax/treal_neg || const/realax/treal_neg || 0.707179821213
const/pred_set/DISJOINT || const/sets/DISJOINT || 0.698777387599
const/real/min || const/realax/real_min || 0.693968229939
const/pred_set/BIGUNION || const/sets/UNIONS || 0.693285459566
const/list/MAP || const/lists/MAP || 0.674713560829
const/bool/?! || const/bool/?! || 0.667462868091
const/prim_rec/PRE || const/arith/PRE || 0.666623194088
const/real/max || const/realax/real_max || 0.666162806254
const/pred_set/DIFF || const/sets/DIFF || 0.657661813007
type/extreal/extreal || type/Complex/complexnumbers/complex || 0.652623128662
const/extreal/extreal_pow || const/Complex/complexnumbers/complex_pow || 0.625808843975
const/extreal/extreal_mul || const/Complex/complexnumbers/complex_mul || 0.636107680682
const/extreal/extreal_ainv || const/Complex/complexnumbers/complex_neg || 0.615870985802
const/pred_set/countable || const/sets/COUNTABLE || 0.611244364377
(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.604650308765
const/list/EL || const/lists/EL || 0.603874138339
const/integer/ABS || const/int/int_abs || 0.600294983321
const/list/HD || const/lists/HD || 0.595880439155
const/pred_set/SING || const/sets/SING || 0.592437628821
const/pred_set/CROSS || const/sets/CROSS || 0.584986063826
const/integer/int_exp || const/int/int_pow || 0.5781366398
const/pred_set/CHOICE || const/sets/CHOICE || 0.56606969934
const/util_prob/lg || const/Multivariate/transcendentals/log || 0.56336489843
const/list/NULL || const/lists/NULL || 0.558436454399
const/arithmetic/MOD || const/arith/MOD || 0.548607609849
const/extreal/extreal_inv || const/Complex/complexnumbers/complex_inv || 0.532370004766
(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.52722562216
const/one/one || const/trivia/one || 0.523750302889
type/one/one || type/trivia/1 || 0.
const/pair/REP_prod || const/pair/REP_prod || 0.519810466797
const/pair/ABS_prod || const/pair/ABS_prod || 0.585272530445
const/prim_rec/measure || const/wf/MEASURE || 0.513054073204
(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.507738840691
const/extreal/Normal || const/Complex/complexnumbers/Cx || 0.5040435025
const/pred_set/COMPL || const/Library/analysis/re_compl || 0.502513291885
const/intExtension/SGN || const/int/int_sgn || 0.499835822053
const/pred_set/count || const/Library/binary/bitset || 0.497650951177
const/fcp/HAS_SIZE || const/sets/HAS_SIZE || 0.495823869451
(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.482261154456
const/topology/re_intersect || const/Library/analysis/re_intersect || 0.482140397283
const/prim_rec/wellfounded || const/wf/WF || 0.476423320803
const/list/EXISTS || const/lists/EX || 0.47387151873
const/pred_set/REST || const/sets/REST || 0.467964463657
const/gcd/gcd || const/Library/pocklington/order || 0.448246619176
const/sorting/SORTED || const/sets/PAIRWISE || 0.435462065996
(const/pred_set/CARD type/num/num) || const/Library/binary/binarysum || 0.429438592427
(const/extreal/extreal_of_num const/num/0) || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.423308969278
const/ind_type/FCONS || const/ind_types/FCONS || 0.419507856448
const/integer/int_gt || const/int/int_gt || 0.417696006111
const/arithmetic/BIT2 || const/nums/BIT0 || 0.415891586679
const/realax/treal_inv || const/realax/treal_inv || 0.392353130411
const/util_prob/pair || const/Library/card/*_c || 0.38768469081
const/num/ABS_num || const/nums/mk_num || 0.371543521645
type/min/ind || type/nums/ind || 0.
const/bool/ONTO || const/nums/ONTO || 0.468222135925
const/bool/ONE_ONE || const/nums/ONE_ONE || 0.531335742693
const/num/REP_num || const/nums/dest_num || 0.467309071588
const/num/SUC_REP || const/nums/IND_SUC || 0.39327697385
const/num/ZERO_REP || const/nums/IND_0 || 0.412290735148
const/relation/RTC || const/Library/rstc/RTC || 0.360204595122
const/relation/TC || const/Library/rstc/TC || 0.499275645611
const/relation/RC || const/Library/rstc/RC || 0.505214057134
const/relation/EQC || const/Library/rstc/RSTC || 0.485013986787
const/relation/SC || const/Library/rstc/SC || 0.51666768081
const/extreal/extreal_sub || const/Complex/complexnumbers/complex_sub || 0.334864703258
const/extreal/extreal_add || const/Complex/complexnumbers/complex_add || 0.340990711587
(const/arithmetic/BIT1 const/arithmetic/ZERO) || (const/nums/BIT1 const/nums/_0) || 0.331340539844
const/pred_set/pairwise || const/sets/pairwise || 0.276974625125
const/intreal/INT_FLOOR || const/int/int_of_real || 0.262715599382
const/intreal/real_of_int || const/int/real_of_int || 0.282536691283
const/intreal/is_int || const/int/integer || 0.334110001794
(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.240202914219
const/real/pos || const/real/real_sgn || 0.233943227324
const/numpair/nsnd || const/Library/pratt/phi || 0.233287914614
(const/pred_set/FINITE type/num/num) || (const/sets/FINITE type/nums/num) || 0.22522825979
const/extreal/extreal_div || const/Complex/complexnumbers/complex_div || 0.222025664945
const/combin/I || const/trivia/I || 0.218026876591
const/integer/int_ge || const/int/int_ge || 0.208003536066
const/numpair/nfst || const/Library/pocklington/phi || 0.201007328386
const/extreal/extreal_exp || const/Complex/complex_transc/cexp || 0.196136339118
const/integer/int_max || const/int/int_max || 0.138801391489
const/arithmetic/MAX || const/arith/MAX || 0.141798349402
const/integer/int_min || const/int/int_min || 0.138673702958
(const/pred_set/UNIV type/num/num) || (const/Multivariate/misc/from (const/nums/NUMERAL const/nums/_0)) (const/sets/UNIV type/nums/num) || 0.135794981894
const/arithmetic/MIN || const/arith/MIN || 0.12982468823
(const/realax/real_lt const/realax/real_0) || const/Library/floor/rational || 0.100835948565
const/arithmetic/> || const/arith/> || 0.0856126579637
