type/list/list || list || 0.328893927174
const/list/NIL || nil || 0.348097890148
const/list/APPEND || append || 0.323233458379
const/list/CONS || cons || 0.311738207181
const/list/REVERSE || rev || 0.297932449151
const/list/ALL_DISTINCT || distinct || 0.28001765487
((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.267081368013
type/realax/real || real || 0.
const/realax/real_lt || (ord_less real) || 0.308606958351
const/real/real_lte || (ord_less_eq real) || 0.334226447214
const/real/pow || (power_power real) || 0.299925889206
type/num/num || nat || 0.
const/arithmetic/ZERO const/num/0 || (zero_zero nat) || 0.322973811861
const/real/real_of_num || (semiring_1_of_nat real) || 0.317970433554
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (one_one nat) (suc (zero_zero nat)) || 0.312397287526
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || ((numeral_numeral nat) (bit0 one2)) || 0.309915768595
const/realax/real_mul || (times_times real) || 0.303686838638
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less real) (zero_zero real)) || 0.30766360106
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less_eq real) (zero_zero real)) || 0.31977081507
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero real) || 0.300673963013
const/transc/pi || pi || 0.303602531693
const/transc/ln || (ln_ln real) || 0.304874348949
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one real) || 0.297633779358
(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.297906483146
const/numeral_bit/iSUC const/num/SUC || suc || 0.295913078308
(const/prim_rec/< const/num/0) || ((ord_less nat) (zero_zero nat)) || 0.298580310213
const/prim_rec/< || (ord_less nat) || 0.299441305386
const/arithmetic/<= || (ord_less_eq nat) || 0.315933228314
const/divides/divides || (dvd_dvd nat) || 0.315984168464
const/transc/cos || (cos real) || 0.29380458473
(const/min/@ type/realax/real) || (the real) || 0.30077324821
const/transc/atn || arctan || 0.292274265031
const/transc/sin || (sin real) || 0.293205149999
const/arithmetic/EVEN || ((dvd_dvd nat) ((numeral_numeral nat) (bit0 one2))) || 0.295557175512
const/transc/exp || (exp real) || 0.294879616092
const/real/abs || (abs_abs real) || 0.294290636934
const/transc/sqrt || sqrt || 0.297263498234
const/realax/real_neg || (uminus_uminus real) || 0.295476768394
const/complex/modu || (real_V1127708846m_norm complex) || 0.294122644258
type/pair/prod || complex || 0.
const/transc/tan || (tan real) || 0.293291323523
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || ((numeral_numeral real) (bit0 one2)) || 0.294277706202
type/integer/int || int || 0.283170892804
const/integer/int_of_num || (semiring_1_of_nat int) || 0.316064773287
(const/integer/int_le (const/integer/int_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.304036172336
const/list/DROP || drop || 0.280153036
const/list/TAKE || take || 0.283219349732
const/realax/real_add || (plus_plus real) || 0.27658971244
const/arithmetic/+ || (plus_plus nat) || 0.275897021311
const/rich_list/REPLICATE || replicate || 0.270920821262
const/numeral/internal_mult const/arithmetic/* || (times_times nat) || 0.267724249336
const/arithmetic/- || (minus_minus nat) || 0.273187480803
const/integer/int_0 (const/integer/int_of_num const/num/0) || (zero_zero int) || 0.264650413351
const/real/real_sub || (minus_minus real) || 0.262921997097
const/list/LLEX || lexordp2 || 0.260563039376
const/list/FILTER || filter2 || 0.259164052435
const/transc/rpow || (powr real) || 0.258971258545
const/list/FLAT || concat || 0.258471021709
(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.257962340393
const/gcd/lcm || (gcd_lcm nat) || 0.255119849682
(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.248940524316
const/real/#slash# || (divide_divide real) || 0.246322035964
(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.245744357758
const/transc/asn || arcsin || 0.244622425698
(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.241300388493
(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.233787036709
const/transc/acs || arccos || 0.232773544023
const/gcd/gcd || (gcd_gcd nat) || 0.232331328901
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one int) || 0.231207089498
(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.248081498887
const/integer/int_lt || (ord_less int) || 0.234297701133
const/integer/int_sub || (minus_minus int) || 0.234045544782
const/integer/int_neg || (uminus_uminus int) || 0.234706408961
const/integer/int_divides || (dvd_dvd int) || 0.23208092121
(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.230601812824
const/integer/int_add || (plus_plus int) || 0.23050602167
const/integer/int_mul || (times_times int) || 0.23063040583
const/seq/summable || (summable real) || 0.230204284009
const/integer/int_le || (ord_less_eq int) || 0.228830911303
const/arithmetic/DIV || (divide_divide nat) || 0.225164356252
const/list/LAST || last || 0.224467281171
const/list/EXISTS || list_ex || 0.223051538159
(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.222349791339
const/arithmetic/MOD || (div_mod nat) || 0.221071604522
const/integer/int_mod || (div_mod int) || 0.220023605962
const/listRange/listRangeLHI || upt || 0.217586466027
(const/list/ALL_DISTINCT type/num/num) || (linorder_sorted nat) || 0.220753101192
const/arithmetic/EXP || (power_power nat) || 0.214606503085
const/integer/int_exp || (power_power int) || 0.205599952248
const/list/EVERY || pred_list || 0.20363428106
const/list/FRONT || butlast || 0.200224213727
const/list/HD || hd || 0.19772949879
const/update/FIND || find || 0.196864672115
type/option/option || option || 0.
const/option/NONE || none || 0.235709725224
const/option/SOME || some || 0.260172887067
const/seq/suminf || (suminf real) || 0.196846468943
(type/list/list type/num/num) || (list nat) || 0.196017383541
const/list/LIST_REL || list_all2 || 0.193630932562
const/ind_type/FCONS || case_nat || 0.183278037485
const/option/THE || the2 || 0.180264605027
const/list/MAP || map || 0.179633746391
const/list/NULL || null || 0.179358977784
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || ((ord_less int) (zero_zero int)) || 0.177325009925
(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.176408526787
const/list/nub || remdups || 0.173945242784
const/list/SNOC || insert || 0.168720384866
const/seq/subseq || topological_subseq || 0.165301673559
(const/list/NIL type/num/num) || (nil nat) || 0.157593887044
const/option/OPTREL || rel_option || 0.152489491607
const/combin/I || id || 0.135632649301
const/quotient/EQUIV || transp || 0.135199296434
(type/list/list type/string/char) || code_natural || 0.131757699015
const/real/pos || (sgn_sgn real) || 0.122556302179
const/realax/inv || (inverse_inverse real) || 0.119806069439
const/list/list_size || size_list || 0.117730033504
const/llist/fromList || set2 || 0.111630033909
type/llist/llist || set || 0.
const/llist/LFINITE || finite_finite2 || 0.174488371459
const/llist/LCONS || insert3 || 0.172743386368
const/arithmetic/MAX || (ord_max nat) || 0.111181647458
const/list/REV || splice || 0.110255487058
const/arithmetic/MIN || (ord_min nat) || 0.109911201762
const/list/TL || tl || 0.108653472071
const/rich_list/PREFIX || dropWhile || 0.0868456604594
const/rat/rep_rat || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.0798448266042
type/rat/rat || num || 0.
type/frac/frac || code_integer || 0.
const/rat/rat_dnm || pos (numeral_numeral int) || 0.114176135222
const/frac/frac_dnm || code_int_of_integer || 0.106164046028
const/numpair/tri || (semiring_char_0_fact nat) || 0.0740731372919
const/list/dropWhile || takeWhile || 0.0724565578622
const/util_prob/logr || log2 || 0.0715883787734
const/prelim/ordering2num || nat_of_char || 0.071547911356
type/prelim/ordering || char || 0.
const/prelim/num2ordering || char_of_nat || 0.100880117223
const/frac/frac_0 || (zero_zero code_integer) || 0.0708452569602
const/option/OPTION_MAP || map_option || 0.0700192702645
const/string/isDigit || nat3 || 0.0687200715837
type/string/char || ind || 0.
const/ASCIInumbers/HEX || rep_Nat || 0.110961725625
const/ASCIInumbers/UNHEX || abs_Nat || 0.12890287439
const/integer/ABS || (abs_abs int) || 0.0642970297561
const/toto/cpn2num || nat_of_nibble || 0.0631380440035
type/toto/cpn || nibble || 0.
const/toto/num2cpn || nibble_of_nat || 0.0812811029599
(const/realax/real_lt const/realax/real_0) || positive2 || 0.0492897611694
const/frac/frac_ainv || (uminus_uminus code_integer) || 0.039612127697
const/frac/frac_add || (minus_minus code_integer) || 0.0389664738035
type/DeepSyntax/deep_form || (set ((product_prod nat) nat)) || 0.038181466389
const/realax/real_of_hreal || ratreal (field_char_0_of_rat real) || 0.0366141278179
type/hreal/hreal || rat || 0.
const/hreal/hreal_lt || (ord_less rat) || 0.059522453842
const/integer/Num || nat2 || 0.0333315598479
const/rat/rat_ainv || inc || 0.03112782735
const/rat/rat_mul || (plus_plus num) || 0.0512389614382
const/relation/TC || transitive_tranclp || 0.0100643252309
const/relation/RTC || transitive_rtranclp || 0.174335178645
const/relation/diamond || wfP || 0.0793160239492
