type/num/num || nat || 0.94646364951
const/arithmetic/ZERO const/num/0 || nat1 || 0.910954060059
const/prim_rec/< || lt || 0.914999358132
const/arithmetic/<= || le || 0.878749443008
const/numeral/internal_mult const/arithmetic/* || times || 0.862189588991
(const/prim_rec/< const/num/0) || (lt nat1) || 0.84965086653
const/numeral_bit/iSUC const/num/SUC || nat2 || 0.842221430297
const/arithmetic/+ || plus || 0.83346081974
const/arithmetic/DIV || div || 0.82769526042
const/arithmetic/MOD || mod || 0.818829777106
const/divides/divides || divides || 0.798961633501
const/arithmetic/EXP || exp || 0.75983333381
(const/prim_rec/< (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (lt (nat2 nat1)) || 0.733819148201
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (nat2 nat1) || 0.736572395507
const/arithmetic/- || minus || 0.729197803231
const/divides/prime || prime || 0.724482885363
const/arithmetic/FACT || fact || 0.697565671682
const/logroot/LOG || log || 0.653745817359
const/divides/PRIMES || nth_prime || 0.597897576094
type/integer/int || Z || 0.593503822546
const/integer/int_sub || Zplus || 0.595669568437
const/gcd/gcd || gcd || 0.578925983401
const/seq/subseq || increasing || 0.481246199034
const/integer/int_neg || Zpred || 0.444299006653
const/integer/int_of_num || Z3 || 0.451091836141
const/integer/int_add || Ztimes || 0.375450138315
const/integer/int_0 (const/integer/int_of_num const/num/0) || Zone || 0.436941759925
(const/real/pow (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || sieve || 0.331922935277
type/realax/real || (list nat) || 0.33232511453
(const/realax/real_lt (const/real/real_of_num const/num/0)) || sorted_gt || 0.363322944725
const/toto/TotOrd || symmetricb || 0.30085199351
type/toto/cpn || bool || 0.264456847444
const/toto/qk_numOrd || eqb || 0.259612736692
const/numpair/nsnd || smallest_factor || 0.23954930737
const/toto/charOrd || same_atom || 0.239161193034
const/arithmetic/ODD || bertrand || 0.226868506345
const/arithmetic/EVEN || not_bertrand || 0.333125204039
(type/list/list type/string/char) || nat_fact_all || 0.215531431427
const/string_num/n2s || factorize || 0.309425952608
const/string_num/s2n || defactorize || 0.371605882794
const/numpair/nfst || sqrt || 0.210348759837
const/numpair/invtri || prim || 0.197626478649
const/toto/GREATER || bool2 || 0.194116821417
(const/arithmetic/* (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (times (nat2 (nat2 nat1))) || 0.193624621726
type/string/char || Formula || 0.181486346805
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (nat2 (nat2 (nat2 (nat2 (nat2 (nat2 nat1)))))) || 0.180005910484
(const/arithmetic/+ (const/arithmetic/NUMERAL (const/arithmetic/BIT2 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || B || 0.182172825949
(const/arithmetic/EXP (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || pred || 0.175013497669
const/toto/EQUAL || bool1 || 0.17458254734
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (nat2 (nat2 (nat2 (nat2 nat1)))) || 0.133396722083
const/complex/complex_of_num || nat_to_Q || 0.111143194034
const/complex/complex_mul || Qtimes || 0.109564610686
((type/pair/prod type/realax/real) type/realax/real) || Q || 0.167705781504
const/complex/conj || Qinv || 0.218027848813
const/int_bitwise/int_not || Zopp || 0.0821724148046
