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/toto/TotOrd || symmetricb || 0.30085199351
type/toto/cpn || bool || 0.
const/toto/qk_numOrd || eqb || 0.259612722218
const/numpair/nsnd || smallest_factor || 0.23954930737
const/toto/charOrd || same_atom || 0.239161191916
type/string/char || Formula || 0.
const/arithmetic/ODD || bertrand || 0.226868506345
const/arithmetic/EVEN || not_bertrand || 0.333125204039
const/realax/real_mul || Qtimes || 0.224855617416
type/realax/real || Q || 0.
const/realax/inv || Qinv || 0.366040124398
(const/real/real_of_num const/num/0) const/realax/real_0 || Q1 || 0.4208707274
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || Qone || 0.351028693427
const/real/real_of_num || nat_to_Q || 0.329604183305
(type/list/list type/string/char) || nat_fact_all || 0.215531431427
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
(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/int_bitwise/int_not || Zopp || 0.0821724148046
