type/num/num || nat || 0.969236574715
type/realax/real || real || 0.951940524085
const/arithmetic/ZERO const/num/0 || (zero_zero nat) || 0.942282611893
type/list/list || list || 0.911010708658
const/list/NIL || nil || 0.916178379936
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.903957171687
const/numeral_bit/iSUC const/num/SUC || suc || 0.903184648726
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less real) (zero_zero real)) || 0.887123313919
const/prim_rec/< || (ord_less nat) || 0.882791239194
const/realax/real_lt || (ord_less real) || 0.879160731202
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero real) || 0.874806445087
const/arithmetic/<= || (ord_less_eq nat) || 0.872989976402
const/real/real_lte || (ord_less_eq real) || 0.872501829598
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less_eq real) (zero_zero real)) || 0.879534416356
const/list/APPEND || append || 0.870642285209
const/list/CONS || cons || 0.870318997706
const/transc/cos || (cos real) || 0.860573068509
const/numeral/internal_mult const/arithmetic/* || (times_times nat) || 0.856053732515
const/arithmetic/+ || (plus_plus nat) || 0.853880132981
const/list/REVERSE || rev || 0.850114173584
const/realax/real_mul || (times_times real) || 0.84839205428
const/real/real_of_num || (semiring_1_of_nat real) || 0.856204895098
const/transc/sin || (sin real) || 0.844020136872
const/real/pow || (power_power real) || 0.833892656043
const/transc/ln || (ln_ln real) || 0.829909425903
type/integer/int || int || 0.827012390049
(const/prim_rec/< const/num/0) || ((ord_less nat) (zero_zero nat)) || 0.822724766212
const/integer/int_of_num || (semiring_1_of_nat int) || 0.818009193023
(const/integer/int_le (const/integer/int_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.812846233237
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (one_one nat) (suc (zero_zero nat)) || 0.810504008923
const/arithmetic/- || (minus_minus nat) || 0.807740503442
const/transc/pi || pi || 0.805127566145
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || ((numeral_numeral nat) (bit0 one2)) || 0.803612038548
const/transc/sqrt || sqrt || 0.813205038325
const/transc/atn || arctan || 0.798327509348
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || ((uminus_uminus real) (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2)))) || 0.800176709467
const/transc/tan || (tan real) || 0.794043392095
const/divides/divides || (dvd_dvd nat) || 0.790647267191
const/real/abs || (abs_abs real) || 0.783000397107
((type/pair/prod type/realax/real) type/realax/real) || complex || 0.788496450043
const/transc/exp || (exp real) || 0.779587392577
(const/min/@ type/realax/real) || (the real) || 0.774946575982
const/arithmetic/EVEN || ((dvd_dvd nat) ((numeral_numeral nat) (bit0 one2))) || 0.770916249464
const/realax/real_neg || (uminus_uminus real) || 0.766244259908
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || ((numeral_numeral real) (bit0 one2)) || 0.756751046508
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one real) || 0.754724806769
const/list/DROP || drop || 0.750341907042
const/gcd/lcm || (gcd_lcm nat) || 0.739733110356
const/list/TAKE || take || 0.738118953243
const/list/ALL_DISTINCT || distinct || 0.721846410206
const/realax/real_add || (plus_plus real) || 0.72076601428
const/list/FILTER || filter2 || 0.713414292815
const/rich_list/REPLICATE || replicate || 0.692027007623
const/integer/int_0 (const/integer/int_of_num const/num/0) || (zero_zero int) || 0.688432652668
const/list/LLEX || lexordp2 || 0.680238719872
const/real/real_sub || (minus_minus real) || 0.670082799834
const/gcd/gcd || (gcd_gcd nat) || 0.659906392499
const/transc/rpow || (powr real) || 0.659284483282
const/list/FLAT || concat || 0.657919689762
(const/real/real_lte (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((ord_less_eq real) (one_one real)) || 0.656531754381
(const/realax/real_add (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((plus_plus real) (one_one real)) || 0.631989046957
const/real/#slash# || (divide_divide real) || 0.624891395289
(const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((uminus_uminus real) (one_one real)) || 0.623327084572
const/transc/asn || arcsin || 0.624173999595
(const/realax/real_mul (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || ((times_times real) ((numeral_numeral real) (bit0 one2))) || 0.611311639829
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one int) || 0.59505489295
(const/integer/int_neg (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((uminus_uminus int) (one_one int)) || 0.629659318476
const/integer/int_sub || (minus_minus int) || 0.61633160862
const/integer/int_neg || (uminus_uminus int) || 0.611806386138
const/integer/int_lt || (ord_less int) || 0.601958738541
const/integer/int_add || (plus_plus int) || 0.611601159979
const/integer/int_mul || (times_times int) || 0.594690906324
const/transc/acs || arccos || 0.591614392707
(const/real/real_sub (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((minus_minus real) (one_one real)) || 0.591071156033
const/list/LAST || last || 0.587361367624
const/arithmetic/DIV || (divide_divide nat) || 0.587057260727
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.58251808852
const/seq/summable || (summable real) || 0.581451780738
const/integer/int_le || (ord_less_eq int) || 0.577769883465
const/list/EXISTS || list_ex || 0.577108824359
(const/real/pow (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || ((power_power real) ((uminus_uminus real) (one_one real))) || 0.56043525373
const/arithmetic/MOD || (div_mod nat) || 0.557024451356
const/integer/int_mod || (div_mod int) || 0.554229824332
const/arithmetic/EXP || (power_power nat) || 0.550023624397
const/listRange/listRangeLHI || upt || 0.54773755217
(const/list/ALL_DISTINCT type/num/num) || (linorder_sorted nat) || 0.55617493676
const/integer/int_divides || (dvd_dvd int) || 0.532279987061
const/list/EVERY || pred_list || 0.520293066516
const/integer/int_exp || (power_power int) || 0.515941806564
const/list/FRONT || butlast || 0.506452318029
const/list/HD || hd || 0.495183387491
const/update/FIND || find || 0.492908143618
type/option/option || option || 0.
const/option/NONE || none || 0.596241979874
const/option/SOME || some || 0.662566327836
const/seq/suminf || (suminf real) || 0.492860265542
(type/list/list type/num/num) || (list nat) || 0.490680126678
const/list/LIST_REL || list_all2 || 0.484410514568
const/ind_type/FCONS || case_nat || 0.457309190938
const/option/THE || the2 || 0.449450191016
const/list/MAP || map || 0.447806579997
const/list/NULL || null || 0.447090889401
const/list/nub || remdups || 0.444989980231
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || ((ord_less int) (zero_zero int)) || 0.441796383576
(const/realax/real_lt (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((ord_less real) (one_one real)) || 0.439412677867
const/list/SNOC || insert || 0.419463440245
const/seq/subseq || topological_subseq || 0.410619307316
const/rich_list/SPLITP || partition || 0.40917286535
type/pair/prod || product_prod || 0.
const/integer/tint_eq || intrel || 0.457682164278
const/integer/int_REP || rep_Integ || 0.423969604427
const/integer/int_ABS || abs_Integ || 0.457038885385
const/quotient/QUOTIENT || quotient3 || 0.434061259015
((type/pair/prod type/num/num) type/num/num) || ((product_prod nat) nat) || 0.409096249481
(const/list/NIL type/num/num) || (nil nat) || 0.390738984951
const/option/OPTREL || rel_option || 0.377618300085
((const/pair/, type/num/num) type/num/num) || ((product_Pair nat) nat) || 0.376794605048
(type/list/list type/string/char) || code_natural || 0.363043780815
const/quotient/EQUIV || transp || 0.343842083027
const/combin/I || id || 0.334536158166
const/real/pos || (sgn_sgn real) || 0.302907197872
const/realax/inv || (inverse_inverse real) || 0.294422845581
const/list/list_size || size_list || 0.289184448505
const/pair/, || product_Pair || 0.285156001915
const/arithmetic/MAX || (ord_max nat) || 0.281145674832
const/arithmetic/MIN || (ord_min nat) || 0.277844109334
const/llist/fromList || set2 || 0.275782317322
type/llist/llist || set || 0.
const/llist/LFINITE || finite_finite2 || 0.434422385895
const/llist/LCONS || insert3 || 0.42989189753
const/list/REV || splice || 0.27036818427
const/list/TL || tl || 0.26634418723
const/rich_list/PREFIX || dropWhile || 0.215721010171
const/rat/rep_rat || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.19512076624
type/rat/rat || num || 0.
type/frac/frac || code_integer || 0.
const/rat/rat_dnm || pos (numeral_numeral int) || 0.285917012032
const/frac/frac_dnm || code_int_of_integer || 0.260097318591
const/prelim/ordering2num || nat_of_char || 0.183596341219
type/prelim/ordering || char || 0.
const/prelim/num2ordering || char_of_nat || 0.246862663662
const/numpair/tri || (semiring_char_0_fact nat) || 0.181024519185
const/list/dropWhile || takeWhile || 0.176226353283
const/util_prob/logr || log2 || 0.17408311255
const/frac/frac_0 || (zero_zero code_integer) || 0.172929376384
const/option/OPTION_MAP || map_option || 0.170211602498
const/string/isDigit || nat3 || 0.167465204269
type/string/char || ind || 0.
const/ASCIInumbers/HEX || rep_Nat || 0.27214312872
const/ASCIInumbers/UNHEX || abs_Nat || 0.317440228856
const/toto/cpn2num || nat_of_nibble || 0.157196581765
type/toto/cpn || nibble || 0.
const/toto/num2cpn || nibble_of_nat || 0.198058387086
const/integer/ABS || (abs_abs int) || 0.156659932879
(const/realax/real_lt const/realax/real_0) || positive2 || 0.119311892072
const/frac/frac_ainv || (uminus_uminus code_integer) || 0.096060338085
const/frac/frac_add || (minus_minus code_integer) || 0.0944785153058
type/DeepSyntax/deep_form || (set ((product_prod nat) nat)) || 0.092219063646
const/realax/real_of_hreal || ratreal (field_char_0_of_rat real) || 0.0884062892879
type/hreal/hreal || rat || 0.
const/hreal/hreal_lt || (ord_less rat) || 0.144380793548
const/integer/Num || nat2 || 0.0804287948363
const/rat/rat_ainv || inc || 0.0754998364859
const/rat/rat_mul || (plus_plus num) || 0.124078841302
const/relation/TC || transitive_tranclp || 0.0241792621787
const/relation/RTC || transitive_rtranclp || 0.434024479455
const/relation/diamond || wfP || 0.196953839038
