type/list/list || list || 0.328893927174
const/list/NIL || nil || 0.336358211026
const/list/APPEND || append || 0.318850158395
const/list/CONS || cons || 0.309572172955
const/list/REVERSE || rev || 0.297585792186
const/list/ALL_DISTINCT || distinct || 0.280607227437
((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.267078946923
type/realax/real || real || 0.
(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.29319938229
const/real/pow || (power_power real) || 0.286101639802
type/num/num || nat || 0.
const/transc/ln || (ln_ln real) || 0.278983935516
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || ((numeral_numeral nat) (bit0 one2)) || 0.274029597235
const/list/DROP || drop || 0.265738069799
const/transc/rpow || (powr real) || 0.265003102825
const/list/FILTER || filter2 || 0.264806784556
const/realax/real_lt || (ord_less real) || 0.264158048492
const/list/SNOC || cons || 0.263809543429
const/complex/modu || (real_V1127708846m_norm complex) || 0.263763946481
type/pair/prod || complex || 0.
const/real/abs || (abs_abs real) || 0.2632965557
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less real) (zero_zero real)) || 0.26123649703
const/list/TAKE || take || 0.260821869897
const/real/real_lte || (ord_less_eq real) || 0.260730202893
(const/min/@ type/realax/real) || (the real) || 0.266910338291
const/list/LLEX || lexordp2 || 0.260563039376
const/real/real_of_num || (semiring_1_of_nat real) || 0.259199558514
const/arithmetic/EVEN || ((dvd_dvd nat) ((numeral_numeral nat) (bit0 one2))) || 0.262868933867
const/real/real_lte || (ord_less real) || 0.259198352015
const/realax/real_lt || (ord_less_eq real) || 0.257618839578
const/list/FLAT || concat || 0.257399772686
(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.256691474108
const/rich_list/REPLICATE || replicate || 0.256301559495
const/realax/real_mul || (times_times real) || 0.255199723397
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less_eq real) (zero_zero real)) || 0.253916940283
((type/pair/prod type/realax/real) type/realax/real) || complex || 0.251594488863
type/num/num || real || 0.249311984752
const/list/EXISTS || list_ex || 0.245848277225
const/realax/real_add || (plus_plus real) || 0.244265141866
const/realax/real_neg || (uminus_uminus real) || 0.246020902979
const/transc/pi || pi || 0.243843386885
const/divides/divides || (dvd_dvd nat) || 0.241018998859
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || ((numeral_numeral real) (bit0 one2)) || 0.239676628658
const/real/#slash# || (divide_divide real) || 0.241292494475
type/num/num || num || 0.23883649648
const/real/real_sub || (minus_minus real) || 0.238621899302
const/transc/sqrt || sqrt || 0.236144846984
(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.23592817691
const/real/pow || (power_power int) || 0.230367589027
type/realax/real || int || 0.
type/realax/real || nat || 0.232505148921
const/seq/summable || (summable real) || 0.230204284009
const/list/NULL || null || 0.22877959313
const/list/EVERY || pred_list || 0.225698806117
const/transc/atn || arctan || 0.224251739165
const/transc/cos || (cos real) || 0.224364052843
(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.226683001976
type/integer/int || nat || 0.223345476267
type/integer/int || int || 0.228267652681
(const/integer/int_le (const/integer/int_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.232163264554
const/rat/rat_cons || fract || 0.230700336594
type/rat/rat || rat || 0.
const/rat/rat_of_num || (numeral_numeral rat) || 0.254776652883
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one int) || 0.242858713707
(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.240753288139
const/rat/rat_ainv || (uminus_uminus rat) || 0.229583982374
const/complex/complex_scalar_lmul || root || 0.223148767968
type/pair/prod || nat || 0.
const/transc/sin || (sin real) || 0.222893062863
(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.225783193004
(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.225226732736
const/list/LAST || last || 0.222718987044
const/transc/tan || (tan real) || 0.22237670063
(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/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less real) (zero_zero real)) || 0.222027454726
(const/prim_rec/< const/num/0) || ((ord_less nat) (zero_zero nat)) || 0.220346007208
const/listRange/listRangeLHI || upt || 0.219352618423
(const/list/ALL_DISTINCT type/num/num) || (linorder_sorted nat) || 0.22118350938
type/num/num || int || 0.219346780447
const/quotient/QUOTIENT || quotient3 || 0.222475516984
type/pair/prod || product_prod || 0.2327048952
const/listRange/listRangeLHI || upto || 0.221535618472
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less_eq real) (zero_zero real)) || 0.218588968252
const/complex/IM || im || 0.218249821878
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero real) || 0.217420497559
((type/pair/prod type/realax/real) type/realax/real) || real || 0.215935161072
type/extreal/extreal || real || 0.215879416769
type/extreal/extreal || int || 0.219822328769
type/extreal/extreal || nat || 0.223978835509
(type/list/list type/num/num) || (list int) || 0.214306104522
(const/list/CONS type/num/num) || (cons int) || 0.234601707917
const/list/FILTER || takeWhile || 0.214293800321
const/transc/cos || (sin real) || 0.212155659596
type/rat/rat || nat || 0.211847983345
const/transc/sin || (tan real) || 0.211241704301
const/listRange/listRangeINC || upto || 0.210701985502
(const/list/NIL type/num/num) || (nil int) || 0.213937917117
const/prim_rec/< || (ord_less nat) || 0.209547138821
const/arithmetic/MOD || (div_mod nat) || 0.21424317328
const/util_prob/lg || (ln_ln real) || 0.208854770721
const/transc/sin || (cot real) || 0.208696890741
const/transc/sin || (cos real) || 0.215985942525
const/arithmetic/ZERO const/num/0 || one2 || 0.20842184596
const/prim_rec/< || (ord_less real) || 0.207732971022
const/prim_rec/< || (ord_less num) || 0.212303679889
const/integer/int_0 (const/integer/int_of_num const/num/0) || (zero_zero nat) || 0.207513179717
const/integer/int_neg || (uminus_uminus int) || 0.206810160749
const/arithmetic/ZERO const/num/0 || (zero_zero nat) || 0.206693835619
(type/list/list type/num/num) || (list nat) || 0.206648361394
const/arithmetic/<= || (ord_less_eq nat) || 0.206373453302
(const/list/NIL type/num/num) || (nil nat) || 0.207616742861
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one real) || 0.204594039902
(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.204577947706
const/prim_rec/< || (ord_less_eq nat) || 0.203764004545
const/complex/RE || re || 0.20363052493
type/realax/real || complex || 0.203416474139
type/realax/real || num || 0.20512780045
type/realax/real || code_integer || 0.204212850841
type/sptree/spt || list || 0.202349110498
const/sptree/LN || nil || 0.234993698251
const/sptree/wf || distinct || 0.216244894831
const/sptree/union || append || 0.207668225888
const/sptree/delete || drop || 0.207622930344
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || pi || 0.201155203731
(const/real/real_lte (const/real/real_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.200402068834
const/integer/int_0 (const/integer/int_of_num const/num/0) || (one_one nat) (suc (zero_zero nat)) || 0.20012914782
const/integer/int_0 (const/integer/int_of_num const/num/0) || (zero_zero int) || 0.209544309481
((const/pair/, type/integer/int) type/integer/int) || ((product_Pair nat) nat) || 0.208457763105
((type/pair/prod type/integer/int) type/integer/int) || ((product_prod nat) nat) || 0.211291822588
const/frac/abs_frac || abs_Integ || 0.224714637881
type/frac/frac || int || 0.
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (zero_zero nat) || 0.204566379017
const/transc/pi || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.200009937472
(const/realax/real_lt (const/real/real_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.199426656062
const/arithmetic/<= || (ord_less_eq num) || 0.198561145877
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.198152541443
const/extreal/extreal_pow || (power_power int) || 0.202592391236
(const/extreal/extreal_lt (const/extreal/extreal_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.205539518203
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.203892419971
(const/real/real_lte (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.201356697111
const/update/FIND || find || 0.197980574067
type/option/option || option || 0.
const/option/NONE || none || 0.234217242471
const/option/SOME || some || 0.259804462874
const/prim_rec/< || (ord_less_eq num) || 0.197718205969
const/prim_rec/< || (ord_less_eq real) || 0.197643248929
const/rich_list/SPLITP || partition || 0.197290684707
const/numeral_bit/iSUC const/num/SUC || suc || 0.197180277044
const/seq/suminf || (suminf real) || 0.196846468943
const/integer/int_divides || (dvd_dvd nat) || 0.196484495849
const/real/real_lte || (dvd_dvd nat) || 0.199578775549
const/extreal/extreal_le || (dvd_dvd nat) || 0.199352745976
const/arithmetic/<= || (dvd_dvd nat) || 0.197864048989
const/arithmetic/<= || (ord_less_eq real) || 0.199697142912
const/arithmetic/<= || (ord_less real) || 0.204142754528
const/ieee/Finite || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.197075079848
type/ieee/float || int || 0.
const/ieee/Val || nat2 || 0.224277631343
const/ASCIInumbers/num_to_dec_string || explode || 0.195258684351
type/num/num || literal || 0.
type/string/char || char || 0.
const/string_num/n2s || explode || 0.204663088395
const/arithmetic/ZERO const/num/0 || (one_one nat) (suc (zero_zero nat)) || 0.194871569373
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (one_one nat) (suc (zero_zero nat)) || 0.196556508465
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (zero_zero nat) || 0.198390479014
(const/rat/rat_of_num const/num/0) const/rat/rat_0 || (zero_zero nat) || 0.197140255699
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one nat) (suc (zero_zero nat)) || 0.19657439638
(const/rat/rat_of_num const/num/0) const/rat/rat_0 || (one_one nat) (suc (zero_zero nat)) || 0.196423579813
const/transc/exp || (exp real) || 0.194499751969
const/rich_list/BUTLASTN || drop || 0.194151175392
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero nat) || 0.193739196959
const/rich_list/LASTN || take || 0.192912393854
const/list/LIST_REL || list_all2 || 0.192905057195
const/ASCIInumbers/num_from_dec_string || implode str || 0.192819403268
const/string_num/s2n || implode str || 0.197880902452
const/arithmetic/<= || (ord_less num) || 0.192469339548
const/arithmetic/<= || (ord_less nat) || 0.197710989109
const/real/max || (gcd_lcm nat) || 0.192442025734
const/list/FILTER || dropWhile || 0.191767993385
type/extreal/extreal || code_integer || 0.191535773426
const/list/REVERSE || remdups || 0.191499513076
const/sptree/mk_wf || remdups || 0.195323450411
const/list/FRONT || butlast || 0.190761015573
const/transc/asn || arcsin || 0.190529060122
const/list/HD || hd || 0.189639508473
const/list/LAST || hd || 0.193698268481
type/rat/rat || int || 0.189368167011
((type/pair/prod type/realax/real) type/realax/real) || int || 0.189886064512
const/list/REVERSE || rotate1 || 0.189180008056
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || ((ord_less nat) (zero_zero nat)) || 0.188205589956
const/sptree/union || splice || 0.187833170788
type/extreal/extreal || complex || 0.18776413078
const/integer/int_divides || (dvd_dvd int) || 0.187394071219
const/list/LLEX || lexordp_eq || 0.186989210108
const/arithmetic/BIT2 || bit1 || 0.186662236801
const/arithmetic/BIT1 || bit0 || 0.194357374833
const/arithmetic/BIT2 || bit0 || 0.19189339677
const/arithmetic/BIT1 || bit1 || 0.197576710145
const/real/min || (gcd_gcd nat) || 0.186104573628
const/numeral/internal_mult const/arithmetic/* || (times_times nat) || 0.185164628704
const/integer/int_of_num || (semiring_1_of_nat int) || 0.185129728282
type/num/num || code_integer || 0.184582256035
const/realax/real_add || (minus_minus real) || 0.184563091301
const/numeral_bit/iSUC const/num/SUC || bit1 || 0.184173799138
const/list/DROP || take || 0.184062127335
const/transc/acs || arccos || 0.18394281541
const/arithmetic/EXP || (power_power nat) || 0.183482635768
const/integer/int_exp || (power_power int) || 0.199762467086
type/num/num || code_natural || 0.182971015062
const/arithmetic/- || (minus_minus nat) || 0.182451920944
const/arithmetic/+ || (plus_plus nat) || 0.183823029844
const/integer/tint_eq || intrel || 0.182757867361
const/transc/tan || (sin real) || 0.181902267435
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (bit1 one2) || 0.181671296151
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less nat) (zero_zero nat)) || 0.180883781935
const/extreal/PosInf || (zero_zero nat) || 0.180838260678
const/arithmetic/ZERO const/num/0 || (zero_zero code_integer) || 0.180809137453
const/option/THE || the2 || 0.180264605027
const/arithmetic/ZERO const/num/0 || (zero_zero int) || 0.179894557324
const/arithmetic/ZERO const/num/0 || (zero_zero real) || 0.182250737965
const/arithmetic/ZERO const/num/0 || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.183847963237
const/arithmetic/+ || (plus_plus real) || 0.191048770864
const/arithmetic/ZERO const/num/0 || (one_one real) || 0.185237424127
const/arithmetic/NUMERAL || (exp real) || 0.18597985949
const/arithmetic/ZERO const/num/0 || pi || 0.180411810414
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (zero_zero real) || 0.179744731847
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (zero_zero real) || 0.182211036781
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((numeral_numeral real) (bit0 one2)) || 0.195239365746
(const/real/#slash# (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (cos real) || 0.189898223046
const/DeepSyntax/deep_form_size || im || 0.181706763127
type/DeepSyntax/deep_form || complex || 0.
type/integer/int || real || 0.181677494492
const/integer/int_0 (const/integer/int_of_num const/num/0) || (zero_zero real) || 0.202332623304
type/num/num || rat || 0.184829485208
const/ind_type/FCONS || case_nat || 0.179684556028
const/extreal/extreal_logr || root || 0.179529712157
(const/rat/rat_of_num const/num/0) const/rat/rat_0 || (zero_zero int) || 0.17866719402
const/list/MAP || map || 0.177487899541
const/numeral_bit/iSUC const/num/SUC || code_Suc || 0.177223811686
const/ind_type/FCONS || code_case_natural || 0.197565959782
const/arithmetic/ZERO const/num/0 || (zero_zero code_natural) || 0.178649636713
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less_eq real) (one_one real)) || 0.176836812636
const/frac/frac_1 || (zero_zero int) || 0.176262327743
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one nat) (suc (zero_zero nat)) || 0.176182780672
const/numeral_bit/iSUC const/num/SUC || bit0 || 0.176434511107
const/list/APPEND || splice || 0.176156724803
const/realax/real_mul || (times_times nat) || 0.176102921374
const/complex/complex_of_real || cis || 0.175749930057
type/pair/prod || real || 0.
const/realax/real_lt || (ord_less nat) || 0.175580889128
const/list/EVERY || listsp || 0.175433601961
const/transc/cos || (cot real) || 0.175107066564
const/transc/cos || (tan real) || 0.179800940903
(const/real/real_of_num const/num/0) const/realax/real_0 || (one_one nat) (suc (zero_zero nat)) || 0.174421819927
const/arithmetic/EXP || (powr real) || 0.174284409188
(const/prim_rec/< (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || ((ord_less real) (one_one real)) || 0.176096209948
(const/prim_rec/< (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || ((ord_less nat) (zero_zero nat)) || 0.180360340549
const/arithmetic/EXP || (times_times nat) || 0.181237782922
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less real) (one_one real)) || 0.1757684349
const/realax/real_mul || (powr real) || 0.183107580666
(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.177389586425
const/arithmetic/+ || (minus_minus real) || 0.175290790474
const/real/real_lte || (ord_less nat) || 0.174196945341
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less nat) (zero_zero nat)) || 0.185771197756
const/real/real_lte || (ord_less_eq nat) || 0.177879985043
const/extreal/extreal_le || (ord_less_eq nat) || 0.176625293748
const/extreal/NegInf || (zero_zero nat) || 0.177440261456
const/real/real_lte || (ord_less_eq int) || 0.17632931231
const/integer/int_REP || rep_Integ || 0.174179275205
const/integer/int_ABS || abs_Integ || 0.185056875916
const/integer/int_mod || (div_mod int) || 0.173686257136
const/integer/int_sub || (minus_minus int) || 0.174670074253
const/integer/int_lt || (ord_less int) || 0.17441529903
type/num/num || nibble || 0.173380181679
type/ieee/float || num || 0.183342441451
const/ieee/sign || nibble_of_nat || 0.201703706189
((type/pair/prod type/num/num) ((type/pair/prod type/num/num) type/num/num)) || nat || 0.179788124115
type/frac/frac || num || 0.179538106937
const/rat/rat_of_num || nat_of_nibble || 0.193206295703
const/frac/frac_0 || (bit0 (bit0 (bit0 one2))) || 0.174039215438
const/rat/abs_rat || nat_of_num (numeral_numeral nat) || 0.174616033076
const/real/real_of_num || (semiring_1_of_nat int) || 0.172601254155
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || ((numeral_numeral real) (bit0 one2)) || 0.172136829667
const/integer/int_mul || (times_times nat) || 0.171822382647
const/arithmetic/DIV || (divide_divide nat) || 0.171720165784
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less_eq real) (one_one real)) || 0.171681609741
const/prim_rec/< || (dvd_dvd nat) || 0.171411994559
const/list/nub || remdups || 0.171393547402
const/integer/int_of_num || pos (numeral_numeral int) || 0.170974099636
(const/realax/real_lt const/realax/real_0) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.170401528426
(const/real/#slash# (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (exp real) || 0.170300347763
const/extreal/NegInf || (one_one nat) (suc (zero_zero nat)) || 0.16895543717
const/transc/tan || (cot real) || 0.168570723039
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || pi || 0.168088346576
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.168606899381
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || ((numeral_numeral real) (bit1 one2)) || 0.171114673738
const/divides/divides || (dvd_dvd int) || 0.16788157818
(const/prim_rec/< const/num/0) || ((ord_less int) (zero_zero int)) || 0.177188846431
const/arithmetic/<= || (ord_less_eq int) || 0.174659353353
const/prim_rec/< || (ord_less int) || 0.173254099481
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || ((ord_less int) (zero_zero int)) || 0.171515033283
const/realax/inv || (inverse_inverse real) || 0.167653315377
type/hreal/hreal || nat || 0.167590290563
const/realax/treal_eq || intrel || 0.176233685073
const/realax/real_REP || rep_Integ || 0.170106504956
const/realax/real_ABS || abs_Integ || 0.182504978126
const/basicSize/option_size || size_option || 0.167472385167
const/list/SNOC || insert || 0.166643071071
((type/pair/prod type/num/num) type/num/num) || nat || 0.166624140073
const/integer/int_le || (ord_less_eq int) || 0.16563400904
const/transc/acs || arcsin || 0.165625614978
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (((divide_divide real) (one_one real)) ((numeral_numeral real) (bit0 one2))) || 0.165513256124
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.169120636847
const/real/abs || cnj || 0.165384201968
const/real/pow || (power_power complex) || 0.168782381201
const/seq/subseq || topological_subseq || 0.165301673559
const/DeepSyntax/deep_form_size || size_char || 0.165207326173
type/DeepSyntax/deep_form || char || 0.
const/DeepSyntax/xDivided || char2 || 0.201614470559
type/integer/int || nibble || 0.
const/rat/rat_1 (const/rat/rat_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (one_one nat) (suc (zero_zero nat)) || 0.16507837019
const/gcd/lcm || (gcd_lcm nat) || 0.164942907729
const/arithmetic/EVEN || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.164890369684
(const/extreal/extreal_lt const/extreal/NegInf) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.167268163113
(const/rat/rat_les (const/rat/rat_of_num const/num/0)) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.167228351233
(const/realax/real_lt (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.169373324712
(const/rat/rat_les (const/rat/rat_of_num const/num/0)) || ((ord_less nat) (zero_zero nat)) || 0.168064545904
const/real/real_of_num || pos (numeral_numeral int) || 0.166773615392
const/transc/asn || arccos || 0.164634616522
((type/pair/prod type/realax/real) type/realax/real) || nat || 0.164549914175
type/realax/real || code_natural || 0.170562634479
type/frac/frac || code_integer || 0.164446979931
const/rat/rat_nmr || (semiring_1_of_nat int) || 0.163412972754
const/numposrep/n2l || rcis || 0.163407797135
type/list/list || real || 0.
type/num/num || complex || 0.
((type/pair/prod type/num/num) type/num/num) || ((product_prod nat) nat) || 0.163192279577
const/prim_rec/< || (ord_less_eq int) || 0.163148220924
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (one_one int) || 0.165046791261
const/frac/frac_0 || (one_one int) || 0.166560920199
type/integer/int || code_integer || 0.164275993123
const/integer/int_0 (const/integer/int_of_num const/num/0) || (zero_zero code_integer) || 0.191441272389
type/rat/rat || num || 0.164571242613
type/frac/frac || nat || 0.164231375468
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || ((numeral_numeral real) (bit0 one2)) || 0.163083631934
type/string/char || nat || 0.162552826029
const/extreal/extreal_max || (gcd_lcm nat) || 0.162544700873
(const/prim_rec/< const/num/0) || ((ord_less real) (zero_zero real)) || 0.162340750297
((type/pair/prod type/realax/real) type/realax/real) || code_integer || 0.162304196666
const/realax/real_add || (plus_plus nat) || 0.161633838186
const/real/real_of_num || size_num || 0.162071146129
const/arithmetic/<= || (ord_less int) || 0.161086444907
type/hrat/hrat || nat || 0.159901986713
const/hrat/hrat_1 || (one_one nat) (suc (zero_zero nat)) || 0.17017797147
const/hrat/hrat_sucint || size_num || 0.177128686655
(type/list/list type/string/char) || nat || 0.159535452121
((type/pair/prod type/hreal/hreal) type/hreal/hreal) || ((product_prod nat) nat) || 0.159522423437
((const/pair/, type/hreal/hreal) type/hreal/hreal) || ((product_Pair nat) nat) || 0.165629514086
const/frac/frac_0 || (bit1 (bit1 one2)) || 0.159458762033
const/frac/frac_0 || (bit0 (bit1 one2)) || 0.159604743919
const/frac/frac_0 || (bit1 (bit0 one2)) || 0.160109278007
const/frac/frac_0 || (bit0 (bit0 one2)) || 0.1609241154
((type/pair/prod type/num/num) ((type/pair/prod type/num/num) type/num/num)) || code_integer || 0.159217897085
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero code_integer) || 0.158996364123
(const/real/real_of_num const/num/0) const/realax/real_0 || (one_one real) || 0.161368649793
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero complex) || 0.162353174803
(const/extreal/extreal_of_num const/num/0) || (zero_zero int) || 0.158651955844
(const/extreal/extreal_of_num const/num/0) || (zero_zero nat) || 0.161928435899
const/sptree/mk_wf || butlast || 0.158561415147
const/integer/int_mul || (times_times int) || 0.158387567166
type/integer/int || num || 0.158197766139
const/integer/int_0 (const/integer/int_of_num const/num/0) || one2 || 0.16211858143
type/string/char || num || 0.161486895017
type/hreal/hreal || num || 0.16200662943
const/extreal/extreal_min || (gcd_gcd nat) || 0.157937368984
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less int) (zero_zero int)) || 0.157864241701
const/real/real_lte || (ord_less int) || 0.158878747993
(const/real/real_lte (const/real/real_of_num const/num/0)) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.158553689364
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.157829250983
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.157905038396
(const/real/#slash# (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (uminus_uminus real) || 0.161206477909
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (((divide_divide real) (one_one real)) ((numeral_numeral real) (bit0 one2))) || 0.160570681472
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || ((numeral_numeral real) (bit0 (bit0 one2))) || 0.160228311056
(const/real/#slash# (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((divide_divide real) pi) || 0.179216971943
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || pi || 0.160607802517
const/ieee/Infinity || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.157309471583
const/ieee/Iszero || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.159314045774
(const/prim_rec/< const/num/0) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.157989500621
const/arithmetic/+ || (plus_plus int) || 0.156682849263
const/numeral/internal_mult const/arithmetic/* || (times_times int) || 0.157508866273
const/numeral/internal_mult const/arithmetic/* || (gcd_lcm nat) || 0.158130721901
const/sptree/mk_wf || rotate1 || 0.156338145664
const/seq/--> || (sums complex) || 0.155893922227
const/sptree/mk_wf || remdups_adj || 0.155522054868
const/sptree/mk_wf || tl || 0.159327922242
const/hrat/hrat_REP || rep_Integ || 0.155333982164
type/hrat/hrat || int || 0.
const/hrat/hrat_ABS || abs_Integ || 0.180532293871
const/hrat/trat_eq || intrel || 0.175515748108
const/combin/I || id || 0.155294593338
const/arithmetic/ZERO const/num/0 || ((uminus_uminus real) (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2)))) || 0.155169693404
const/integer/tint_of_num || size_num || 0.155128857463
type/pair/prod || num || 0.
const/rich_list/COUNT_LIST_AUX || root || 0.155112754257
type/list/list || nat || 0.
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || ((ord_less_eq real) (zero_zero real)) || 0.155065559663
const/list/HD || last || 0.155043774176
const/arithmetic/MAX || (gcd_lcm nat) || 0.155041153346
const/integer/int_mul || (gcd_lcm nat) || 0.155936615204
const/extreal/PosInf || (zero_zero real) || 0.15492955836
(const/arithmetic/BIT2 const/arithmetic/ZERO) || (zero_zero real) || 0.157886081277
(const/arithmetic/BIT1 const/arithmetic/ZERO) || (zero_zero real) || 0.161031703528
const/sptree/delete || take || 0.153987035793
const/real/real_sub || (minus_minus nat) || 0.153960587862
const/list/ALL_DISTINCT || linorder_sorted || 0.153881060941
(const/real/real_of_num const/num/0) const/realax/real_0 || (one_one complex) || 0.153750119695
(const/real/real_of_num const/num/0) const/realax/real_0 || (zero_zero int) || 0.154918846093
(const/real/real_of_num const/num/0) const/realax/real_0 || one2 || 0.155900168329
const/realax/real_lt || (ord_less_eq nat) || 0.153649114073
const/realax/real_lt || (ord_less int) || 0.156531731261
const/realax/real_lt || (ord_less_eq int) || 0.155633035731
const/realax/real_lt || (dvd_dvd nat) || 0.158212076418
const/realax/real_lt || (ord_less_eq code_integer) || 0.158384825628
const/realax/real_lt || (ord_less code_integer) || 0.162864178917
((type/pair/prod type/hreal/hreal) type/hreal/hreal) || code_integer || 0.154295274378
const/hreal/hrat_lt || (dvd_dvd nat) || 0.153249709606
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || positive2 || 0.15319817987
const/realax/real_of_hreal || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.152780251802
const/listRange/listRangeINC || upt || 0.152767105723
(const/arithmetic/EXP (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (exp real) || 0.152493702574
const/numeral_bit/iSUC const/num/SUC || (exp real) || 0.154266786053
(const/real/#slash# (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (cos real) || 0.152338391782
const/numeral/internal_mult const/arithmetic/* || (gcd_gcd nat) || 0.152312860072
const/numeral/internal_mult const/arithmetic/* || (times_times code_integer) || 0.152337066438
((const/pair/, type/num/num) type/num/num) || ((product_Pair nat) nat) || 0.152168586538
const/option/OPTREL || rel_option || 0.151980208985
const/integer/int_add || (plus_plus int) || 0.151973810553
const/numeral/iiSUC || (sin real) || 0.151944480954
const/arithmetic/EXP || (times_times real) || 0.151564006806
const/numeral/iiSUC || (cos real) || 0.151509518115
const/numeral/iiSUC || (tan real) || 0.154081295055
const/numeral_bit/iSUC const/num/SUC || inc || 0.151432197225
const/divides/divides || (ord_less_eq nat) || 0.151392598823
(const/real/pow (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (semiring_1_of_nat int) || 0.151378645575
const/arithmetic/ZERO const/num/0 || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.151312051437
const/arithmetic/EVEN || ((ord_less_eq real) (zero_zero real)) || 0.154585851228
const/arithmetic/EVEN || ((ord_less real) (zero_zero real)) || 0.153570998989
(const/realax/real_lt (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((ord_less_eq real) (zero_zero real)) || 0.152594214071
(const/realax/real_lt (const/real/real_of_num const/num/0)) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.15418910792
const/rat/rep_rat || code_integer_of_nat (semiring_1_of_nat code_integer) || 0.150969942852
const/realax/inv || sqrt || 0.15076260584
const/real/pos || sqrt || 0.150893098779
const/real/#slash# || (times_times real) || 0.150442127033
const/arithmetic/MIN || (gcd_gcd nat) || 0.150322579129
const/real/real_of_num || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.150193341904
type/realax/real || rat || 0.150025728875
const/rat/rat_mul || (times_times nat) || 0.149267169704
const/numeral/internal_mult const/arithmetic/* || (gcd_lcm int) || 0.149150757673
const/arithmetic/+ || (gcd_lcm nat) || 0.149080346068
(const/extreal/Normal (const/real/real_of_num const/num/0)) || (zero_zero real) || 0.148981815291
const/integer/int_add || (plus_plus nat) || 0.148980620025
const/integer/int_of_num || size_num || 0.15716746967
const/llist/fromList || set2 || 0.148928107133
type/llist/llist || set || 0.
const/llist/LCONS || insert3 || 0.180410050026
const/llist/LFINITE || finite_finite2 || 0.19802337409
const/llist/fromList || coset || 0.166740142355
const/llist/LCONS || remove || 0.152068769995
const/list/CONS || insert || 0.158242366734
const/enumeral/BL_CONS || remove || 0.179840637831
type/enumeral/bl || set || 0.
const/enumeral/list_to_bl || coset || 0.211414039057
const/enumeral/BL_CONS || insert3 || 0.188630541102
const/enumeral/list_to_bl || set2 || 0.201329513993
const/list/CONS || removeAll || 0.195213642933
const/hrat/hrat_add || (plus_plus nat) || 0.148718906487
const/hreal/hreal_add || (plus_plus nat) || 0.150060048328
const/hreal/hreal_lt || (ord_less nat) || 0.155955329704
const/integer/int_lt || (ord_less nat) || 0.150174831858
const/integer/int_le || (ord_less_eq nat) || 0.152339229036
const/integer/int_lt || (ord_less_eq nat) || 0.150013843903
const/integer/int_lt || (dvd_dvd nat) || 0.152615537074
const/integer/int_lt || (ord_less_eq int) || 0.15071587401
const/integer/int_sub || (minus_minus nat) || 0.149558708152
const/rat/rat_gre || (ord_less_eq int) || 0.149125056838
const/rat/rat_sgn || nat2 || 0.150774830586
const/realax/real_of_hreal || (semiring_1_of_nat int) || 0.148808007109
type/ieee/float || nat || 0.148712598973
const/string/ORD || (semiring_1_of_nat int) || 0.150732505772
const/complex/IM || (real_V1127708846m_norm complex) || 0.148341540649
const/arithmetic/NUMERAL || sqrt || 0.148325904233
const/numeral/iiSUC || (cot real) || 0.147775714566
const/realax/real_neg || (uminus_uminus int) || 0.147660205453
const/extreal/PosInf || (zero_zero int) || 0.147656540879
const/extreal/PosInf || (zero_zero code_integer) || 0.14930520139
const/extreal/PosInf || (one_one nat) (suc (zero_zero nat)) || 0.149262690358
type/hreal/hreal || int || 0.147417829386
const/divides/prime || ((ord_less nat) (zero_zero nat)) || 0.147038948056
const/prim_rec/PRE || (ln_ln real) || 0.146985772957
const/hrat/trat_sucint || size_num || 0.146755913134
const/rat/rat_les || (ord_less nat) || 0.146646739947
const/real/real_of_num || ratreal (field_char_0_of_rat real) || 0.145941173776
(const/prim_rec/< const/num/0) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.145916373399
(const/prim_rec/< const/num/0) || ((ord_less_eq real) (one_one real)) || 0.149117751609
const/integer/int_mul || (gcd_lcm int) || 0.145772940539
const/realax/real_mul || (times_times int) || 0.145682086061
const/numeral_bit/iSUC const/num/SUC || ((plus_plus num) one2) || 0.145507974728
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || one2 || 0.148381732883
const/numeral_bit/iSUC const/num/SUC || (sin real) || 0.145478115877
const/arithmetic/MOD || (div_mod int) || 0.145454806287
const/numeral_bit/iSUC const/num/SUC || (cos real) || 0.145431050973
const/numeral_bit/iSUC const/num/SUC || arctan || 0.146596330561
(type/list/list type/num/num) || complex || 0.145317485535
const/transc/cos || arccos || 0.145213250878
