type/list/list || list || 0.889941584119
const/list/NIL || nil || 0.826823720155
const/list/APPEND || append || 0.742792646473
const/list/CONS || cons || 0.721901314675
const/list/REVERSE || rev || 0.679712567106
type/num/num || nat || 0.648067236698
type/num/num || num || 0.632721390809
const/list/ALL_DISTINCT || distinct || 0.53864486858
const/arithmetic/ZERO const/num/0 || one2 || 0.532149115239
const/list/FILTER || filter2 || 0.475343927522
const/list/SNOC || cons || 0.471607319769
const/list/FLAT || concat || 0.40578799045
const/list/LLEX || lexordp2 || 0.39499277615
const/ASCIInumbers/num_to_dec_string || explode || 0.378455412526
type/string/char || char || 0.369668658067
const/numeral_bit/iSUC const/num/SUC || suc || 0.3695636997
const/list/DROP || drop || 0.367147908892
const/list/EXISTS || list_ex || 0.350307085007
type/sptree/spt || list || 0.317773953315
const/list/EVERY || pred_list || 0.302640696471
const/list/LAST || last || 0.298555249576
type/num/num || literal || 0.286135798075
const/list/TAKE || take || 0.284011830777
const/list/FILTER || takeWhile || 0.28257324956
const/list/NULL || null || 0.278095599462
const/list/REVERSE || remdups || 0.256965101462
const/arithmetic/BIT1 || bit0 || 0.24846727064
const/update/FIND || find || 0.24724589699
const/list/APPEND || splice || 0.246493360603
type/llist/llist || list || 0.244551937067
const/string_num/n2s || explode || 0.232211401288
const/list/REVERSE || rotate1 || 0.230119049949
const/sptree/LN || nil || 0.226597852883
const/list/FILTER || dropWhile || 0.218575946241
const/list/LIST_REL || list_all2 || 0.217589558973
const/arithmetic/BIT2 || bit1 || 0.21711660552
type/option/option || option || 0.214639980756
const/arithmetic/BIT2 || bit0 || 0.208667182909
const/numeral_bit/iSUC const/num/SUC || bit1 || 0.208230281687
const/list/HD || hd || 0.207386528117
const/list/LAST || hd || 0.205005717315
const/list/FRONT || butlast || 0.204527121073
const/string_num/s2n || implode str || 0.20031836872
const/numeral_bit/iSUC const/num/SUC || inc || 0.197161235992
const/list/LLEX || lexordp_eq || 0.196043684686
const/list/DROP || take || 0.191954167507
const/ASCIInumbers/num_from_dec_string || implode str || 0.187749968573
const/numeral_bit/iSUC const/num/SUC || bit0 || 0.186949200975
const/option/NONE || none || 0.185767754422
const/sptree/delete || drop || 0.180524988996
const/arithmetic/+ || pow || 0.176993560023
const/list/EVERY || listsp || 0.176554904471
const/listRange/listRangeLHI || upt || 0.176158209821
const/list/nub || remdups || 0.175824189172
const/list/MAP || map || 0.174267875307
const/rich_list/REPLICATE || replicate || 0.173873927123
const/arithmetic/BIT1 || bit1 || 0.171046231404
const/llist/LNIL || nil || 0.170712901329
const/rich_list/SPLITP || partition || 0.170201726063
const/llist/fromList || set2 || 0.169250013116
const/sptree/wf || distinct || 0.169241732267
const/list/SNOC || insert || 0.169083412655
const/enumeral/BL_CONS || remove || 0.167190911398
const/arithmetic/MAX || pow || 0.162768979565
const/llist/LCONS || cons || 0.160607995799
const/numeral/iDUB || bitM || 0.160469786252
type/llist/llist || set || 0.152727413743
const/gcd/gcd || pow || 0.151533989995
const/option/SOME || some || 0.148766654927
const/list/REV || splice || 0.143523640655
const/listRange/listRangeLHI || upto || 0.143300698733
const/enumeral/list_to_bl || coset || 0.142385356527
const/numeral/iiSUC || inc || 0.142334874299
const/list/REVERSE || remdups_adj || 0.141810277063
const/llist/LAPPEND || append || 0.135306317747
const/sptree/union || append || 0.133899666464
const/list/HD || last || 0.127903723159
const/prim_rec/PRE || sqr || 0.127291080453
const/enumeral/BL_CONS || insert3 || 0.123943558809
const/enumeral/list_to_bl || set2 || 0.122634990995
const/sptree/union || splice || 0.121586533629
const/prim_rec/PRE || bitM || 0.115983639916
const/rich_list/BUTLASTN || drop || 0.112303494399
type/enumeral/bl || set || 0.11141169439
const/llist/LCONS || insert3 || 0.110198036423
const/rich_list/LASTN || take || 0.109379130922
const/numeral/iiSUC || bitM || 0.109071880337
const/llist/fromList || coset || 0.107585611999
const/list/ALL_DISTINCT || linorder_sorted || 0.107119024661
const/combin/I || id || 0.104481215109
const/list/CONS || insert || 0.103807596673
const/arithmetic/ABS_DIFF || pow || 0.103007226264
const/sptree/mk_wf || remdups || 0.101703496621
const/patricia_casts/string_to_num || implode str || 0.100537466659
const/list/CONS || removeAll || 0.0998647118353
type/pair/prod || product_prod || 0.0948178115318
const/list/TL || tl || 0.0948161938312
const/string/isDigit || nat3 || 0.0940686132814
const/sptree/mk_wf || rotate1 || 0.0927122947726
const/integer/int_of_num || rep_Nat || 0.0920954405668
type/num/num || int || 0.0896294188469
const/sptree/mk_wf || butlast || 0.0882464965806
const/list/FRONT || tl || 0.0880263343427
const/llist/LFINITE || finite_finite2 || 0.0868020524049
const/arithmetic/BIT2 || bitM || 0.0854781177692
const/sptree/delete || take || 0.0833378852549
const/list/REVERSE || butlast || 0.0827299836758
type/integer/int || ind || 0.0824009773855
const/string/ORD || nat_of_char || 0.0819865320425
const/sptree/mk_wf || tl || 0.0817231985756
const/llist/LCONS || remove || 0.081681202117
const/list/EXISTS || pred_list || 0.0812457773915
const/arithmetic/- || pow || 0.0797826312694
const/prelim/ordering2num || code_nat_of_natural || 0.0797320539772
const/list/REV || append || 0.07972119859
const/toto/cpn2num || code_nat_of_natural || 0.0792366937374
const/binary_ieee/float_compare2num || code_nat_of_natural || 0.0791354115767
const/ieee/ccode2num || code_nat_of_natural || 0.0791354115767
const/llist/every || pred_list || 0.0788210790076
const/ieee/roundmode2num || code_nat_of_natural || 0.0787594926231
const/binary_ieee/rounding2num || code_nat_of_natural || 0.0782179736704
const/list/REVERSE || tl || 0.0782097769469
const/list/TAKE || drop || 0.0778922492837
const/ind_type/FCONS || case_nat || 0.0771511660957
const/list/EVERY || list_ex || 0.0769650061004
const/numpair/tri || sqr || 0.0760827515263
const/numpair/napp || pow || 0.0753432470999
const/rich_list/PREFIX || dropWhile || 0.0744599610447
const/list/nub || rotate1 || 0.0734932313648
const/numeral/iiSUC || bit1 || 0.0711963275472
const/ASCIInumbers/HEX || rep_Nat || 0.071180180561
const/rich_list/PREFIX || takeWhile || 0.0711601705069
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || sqr || 0.0699049674947
const/numeral/iDUB || bit1 || 0.0698626199143
const/ASCIInumbers/UNHEX || abs_Nat || 0.0690683115621
const/prelim/ordering2num || nat_of_char || 0.0687829057084
const/toto/cpn2num || nat_of_char || 0.0684548081213
const/numpair/tri || bitM || 0.0681177521889
const/binary_ieee/float_compare2num || nat_of_char || 0.0678861744609
const/ieee/ccode2num || nat_of_char || 0.0678861744609
const/string/ORD || code_nat_of_natural || 0.0677907023246
const/ieee/roundmode2num || nat_of_char || 0.0676340996424
const/numeral/iDUB || sqr || 0.0673912785097
const/binary_ieee/rounding2num || nat_of_char || 0.0672751020027
const/quotient/QUOTIENT || quotient3 || 0.0662367200672
const/quotient/EQUIV || transp || 0.0649285866219
const/numeral/onecount || pow || 0.0645113925264
const/quotient/EQUIV || symp || 0.0644616955358
const/llist/LFLATTEN || concat || 0.0638525027619
const/list/nub || butlast || 0.0637891763318
const/list/dropWhile || dropWhile || 0.0635911915958
const/list/nub || remdups_adj || 0.0632936826507
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || bitM || 0.0631006522782
const/pair/, || product_Pair || 0.0630817372421
const/quotient/EQUIV || reflp || 0.0628068897907
const/rich_list/PREFIX || filter2 || 0.0616902660386
const/numpair/nlen || sqr || 0.061254047044
const/list/dropWhile || takeWhile || 0.0611483343635
const/sptree/delete || rotate || 0.0596422701783
const/sptree/mk_wf || remdups_adj || 0.0593010678664
type/binary_ieee/float_compare || code_natural || 0.0591846599064
type/ieee/ccode || code_natural || 0.0591846599064
const/llist/LFINITE || distinct || 0.0590018989993
const/list/nub || tl || 0.0586105665748
const/numeral/iiSUC || bit0 || 0.0585523575054
const/llist/LAPPEND || splice || 0.0582121430905
const/prelim/ordering2num || nat_of_nibble || 0.0572926147553
const/arithmetic/BIT1 || bitM || 0.0571097798251
const/toto/cpn2num || nat_of_nibble || 0.0570558582166
const/binary_ieee/float_compare2num || nat_of_nibble || 0.0566667051154
const/ieee/ccode2num || nat_of_nibble || 0.0566667051154
const/prelim/num2ordering || code_natural_of_nat || 0.0566286553347
const/ieee/roundmode2num || nat_of_nibble || 0.0564874064748
const/toto/num2cpn || code_natural_of_nat || 0.0562685821676
const/binary_ieee/rounding2num || nat_of_nibble || 0.0562288901121
const/binary_ieee/num2float_compare || code_natural_of_nat || 0.055948562294
const/ieee/num2ccode || code_natural_of_nat || 0.055948562294
const/ieee/num2roundmode || code_natural_of_nat || 0.0556765154383
type/ieee/roundmode || code_natural || 0.0554953277793
const/binary_ieee/num2rounding || code_natural_of_nat || 0.0552847344959
const/list/nub || rev || 0.0542164594084
const/list/dropWhile || filter2 || 0.0539880525061
const/arithmetic/BIT2 || inc || 0.0536428328266
type/prelim/ordering || code_natural || 0.0534504697845
const/relation/TC || transitive_tranclp || 0.0522973573014
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || inc || 0.0520155624615
const/numpair/nlen || bitM || 0.0519512883351
const/option/THE || the2 || 0.050592417921
type/binary_ieee/rounding || code_natural || 0.0501867741036
const/numeral/exactlog || sqr || 0.0492908973865
const/option/OPTREL || rel_option || 0.0491769482536
const/numeral/iDUB || inc || 0.0489762120099
type/toto/cpn || code_natural || 0.0486606026281
const/string/ORD || nat_of_nibble || 0.0485138306746
type/string/char || ind || 0.0476412590609
type/string/char || code_natural || 0.0473877366785
const/prim_rec/PRE || inc || 0.0469255393278
const/hrat/hrat_REP || rep_Integ || 0.0452586434496
const/integer/int_REP || rep_Integ || 0.0434826819925
const/list/NULL || distinct || 0.0429400963194
const/numeral/exactlog || bitM || 0.042892233692
const/relation/RTC || transitive_rtranclp || 0.0418656171119
type/binary_ieee/float_compare || char || 0.0416778790988
type/ieee/ccode || char || 0.0416778790988
const/string/CHR || code_natural_of_nat || 0.040717222582
const/prelim/num2ordering || char_of_nat || 0.0406542857521
const/toto/num2cpn || char_of_nat || 0.0404547654976
const/binary_ieee/num2float_compare || char_of_nat || 0.0397762388631
const/ieee/num2ccode || char_of_nat || 0.0397762388631
const/ieee/num2roundmode || char_of_nat || 0.0396242729848
const/binary_ieee/num2rounding || char_of_nat || 0.0394079041928
type/ieee/roundmode || char || 0.0389097127522
const/hrat/hrat_ABS || abs_Integ || 0.0388541843735
const/integer/int_ABS || abs_Integ || 0.0387895360405
const/string/CHR || char_of_nat || 0.0383113757376
type/binary_ieee/float_compare || nibble || 0.0375718756709
type/ieee/ccode || nibble || 0.0375718756709
type/prelim/ordering || char || 0.0373796939742
const/llist/every || listsp || 0.0372554297022
const/real/real_of_num || rep_Nat || 0.0354514982882
type/ieee/roundmode || nibble || 0.0352605992352
type/binary_ieee/rounding || char || 0.0349702273707
const/numeral_bit/iSUC const/num/SUC || bitM || 0.0348847973094
type/prelim/ordering || nibble || 0.0339521576963
type/toto/cpn || char || 0.0338417644807
const/llist/exists || list_ex || 0.0321223574671
type/binary_ieee/rounding || nibble || 0.0319298347264
type/realax/real || ind || 0.031240200725
type/toto/cpn || nibble || 0.0309472491071
const/integer/tint_eq || intrel || 0.0305675409006
type/string/char || nibble || 0.0304575617897
const/hrat/trat_eq || intrel || 0.0301310324432
const/divides/PRIMES || suc || 0.0295168783485
const/prelim/num2ordering || num_of_nat || 0.0289932533114
const/toto/num2cpn || num_of_nat || 0.0289544306539
const/prelim/num2ordering || nibble_of_nat || 0.0286609427939
const/toto/num2cpn || nibble_of_nat || 0.0285389944213
const/binary_ieee/num2float_compare || num_of_nat || 0.0284139220131
const/ieee/num2ccode || num_of_nat || 0.0284139220131
const/ieee/num2roundmode || num_of_nat || 0.0283858957539
const/binary_ieee/num2rounding || num_of_nat || 0.0283442879759
const/binary_ieee/num2float_compare || nibble_of_nat || 0.0282178040268
const/ieee/num2ccode || nibble_of_nat || 0.0282178040268
const/ieee/num2roundmode || nibble_of_nat || 0.0281258891276
const/binary_ieee/num2rounding || nibble_of_nat || 0.0279933946732
const/arithmetic/BIT1 || inc || 0.0267470939372
const/numeral/iDUB || bit0 || 0.0263014723537
const/prelim/ordering2num || nat_of_num || 0.0262427639369
const/arithmetic/NUMERAL || bit1 || 0.0262261129654
const/toto/cpn2num || nat_of_num || 0.0262075248467
const/binary_ieee/float_compare2num || nat_of_num || 0.0258473184055
const/ieee/ccode2num || nat_of_num || 0.0258473184055
const/ieee/roundmode2num || nat_of_num || 0.0258217564509
const/binary_ieee/rounding2num || nat_of_num || 0.0257838074247
const/arithmetic/BIT2 || suc || 0.0250550689551
const/arithmetic/BIT1 || suc || 0.0243313965858
const/arithmetic/NUMERAL || suc || 0.0240379590989
const/arithmetic/NUMERAL || bit0 || 0.0232984666694
const/string/ORD || nat_of_num || 0.0220769418831
const/llist/LCONS || insert || 0.0217184688796
const/numpair/tri || bit1 || 0.0212487242704
const/string/CHR || nibble_of_nat || 0.0203497023506
const/num/REP_num || rep_Nat || 0.0203086685378
const/string/CHR || num_of_nat || 0.0202793073841
const/num/REP_num || code_integer_of_nat || 0.0202512908277
const/num/ABS_num || code_nat_of_integer || 0.0193130377251
const/num/ABS_num || abs_Nat || 0.0188589789109
const/llist/LFILTER || dropWhile || 0.0184447225928
const/numpair/tri || suc || 0.0182914584167
const/numpair/tri || bit0 || 0.0176539213566
type/realax/real || int || 0.0176516769613
const/llist/LFILTER || takeWhile || 0.0176050412624
const/llist/LCONS || removeAll || 0.0174671860223
type/hrat/hrat || int || 0.0174560559473
type/integer/int || int || 0.0172315611254
const/llist/LFINITE || null || 0.0168935577658
const/num/ABS_num || num_of_nat || 0.0164434520657
const/integer/Num || abs_Nat || 0.0162737995891
const/num/REP_num || nat_of_num || 0.0162603434556
const/extreal/extreal_of_num || nat_of_num || 0.0161455301787
const/llist/LCONS || remove1 || 0.0160634310916
const/sptree/mk_wf || rev || 0.0159759129943
const/real/NUM_FLOOR || abs_Nat || 0.0159561495393
const/hrat/hrat_REP || rep_Rat || 0.0157070697504
type/num/num || code_integer || 0.0154108819925
const/llist/LFILTER || filter2 || 0.0152096695659
const/real/NUM_FLOOR || code_nat_of_integer || 0.0151759549583
const/integer/int_REP || rep_Rat || 0.0149544499032
const/num/REP_num || code_natural_of_nat || 0.0149207694842
type/extreal/extreal || nat || 0.0142301007132
const/extreal/Normal || nat2 || 0.0136271524745
type/binary_ieee/float_compare || num || 0.0134595844633
type/ieee/ccode || num || 0.0134595844633
const/integer/Num || code_nat_of_integer || 0.013419045374
const/num/ABS_num || code_nat_of_natural || 0.0133940916928
const/real/NUM_FLOOR || num_of_nat || 0.0132738998641
const/real/real_of_num || pos || 0.0131085398679
const/hrat/hrat_ABS || abs_Rat || 0.0129820053935
const/integer/int_ABS || abs_Rat || 0.0128907385304
type/min/ind || ind || 0.0127890587833
type/ieee/roundmode || num || 0.0127865238309
type/prelim/ordering || num || 0.0124006214142
const/integer/Num || num_of_nat || 0.0119448998959
type/binary_ieee/rounding || num || 0.0117873752339
const/rat/rat_of_num || rep_Nat || 0.0115005621901
type/toto/cpn || num || 0.0114877628976
type/string/char || num || 0.0112878543905
const/real/NUM_FLOOR || code_nat_of_natural || 0.0112224243531
const/prelim/ordering2num || code_int_of_integer || 0.0111734941041
type/list/list || option || 0.0111391855977
const/toto/cpn2num || code_int_of_integer || 0.0110989096374
const/binary_ieee/float_compare2num || code_int_of_integer || 0.011091695397
const/ieee/ccode2num || code_int_of_integer || 0.011091695397
const/option/OPTION_MAP || map_option || 0.0110458240729
const/ieee/roundmode2num || code_int_of_integer || 0.0110350479263
const/binary_ieee/rounding2num || code_int_of_integer || 0.010953615404
const/list/MAP || map_option || 0.010592776404
type/option/option || list || 0.010491063255
type/min/ind || code_integer || 0.0103737292696
const/option/OPTREL || list_all2 || 0.0103535296507
const/integer/Num || code_nat_of_natural || 0.0102085329362
type/rat/rat || ind || 0.00946495683988
const/string/ORD || code_int_of_integer || 0.00946135678009
const/realax/real_REP || rep_Integ || 0.00932814766139
const/realax/real_REP || rep_Rat || 0.00919377116793
const/integer/tint_eq || ratrel || 0.00916732165026
const/hrat/trat_eq || ratrel || 0.00909068379847
type/min/ind || code_natural || 0.00906519690403
type/integer/int || nat || 0.00863130158036
const/realax/real_ABS || abs_Integ || 0.00839610108365
type/realax/real || code_integer || 0.00818987411153
type/binary_ieee/float_compare || code_integer || 0.0080950856496
type/ieee/ccode || code_integer || 0.0080950856496
const/complex/complex_of_num || quotient_of || 0.00805724208806
const/realax/real_ABS || abs_Rat || 0.00803729177799
const/integer/int_of_num || code_integer_of_nat || 0.00780279046866
type/realax/real || code_natural || 0.00776148998536
const/prelim/num2ordering || code_integer_of_int || 0.00771778432936
const/toto/num2cpn || code_integer_of_int || 0.00766609846225
const/binary_ieee/num2float_compare || code_integer_of_int || 0.00762844427418
const/ieee/num2ccode || code_integer_of_int || 0.00762844427418
type/ieee/roundmode || code_integer || 0.007589594623
const/ieee/num2roundmode || code_integer_of_int || 0.00758935602716
const/binary_ieee/num2rounding || code_integer_of_int || 0.00753316775763
const/real/real_of_num || code_integer_of_nat || 0.00750924315927
type/prelim/ordering || code_integer || 0.0073104893783
const/list/LIST_REL || rel_option || 0.00711227670396
const/integer/int_of_num || nat_of_num || 0.00703733303106
type/min/ind || nat || 0.00688162840782
type/binary_ieee/rounding || code_integer || 0.00686305163349
const/integer/int_of_num || code_natural_of_nat || 0.00680968579243
const/realax/treal_eq || intrel || 0.00677846574803
const/real/real_of_num || nat_of_num || 0.00674557147692
type/toto/cpn || code_integer || 0.00665504764485
type/integer/int || code_integer || 0.00659612817843
const/real/real_of_num || code_natural_of_nat || 0.00658285011933
type/string/char || code_integer || 0.00647468533938
type/hrat/hrat || rat || 0.00631844924693
type/integer/int || code_natural || 0.00592869181235
const/realax/treal_eq || ratrel || 0.00590215788747
type/realax/real || nat || 0.00577532297565
const/string/CHR || code_integer_of_int || 0.00555871409187
const/option/OPTION_MAP || map2 || 0.00517707829526
const/relation/diamond || wfP || 0.00516606180362
type/integer/int || rat || 0.00498623962542
type/num/num || rat || 0.00426271457087
const/integer/int_of_num || code_int_of_integer || 0.00409400115831
const/binary_ieee/num2float_compare || code_n1042895779nteger || 0.00407878875054
const/ieee/num2ccode || code_n1042895779nteger || 0.00407878875054
const/list/MAP || map2 || 0.00390962833358
const/ieee/num2roundmode || code_n1042895779nteger || 0.00387792048926
const/prelim/num2ordering || code_n1042895779nteger || 0.00387030877942
const/relation/RC || transitive_tranclp || 0.00384091524078
const/option/OPTION_MAP || filtermap || 0.00380568795701
const/relation/symmetric || wfP || 0.0037921821862
const/binary_ieee/float_compare2num || code_i1730018169atural || 0.00367299623163
const/ieee/ccode2num || code_i1730018169atural || 0.00367299623163
const/toto/num2cpn || code_n1042895779nteger || 0.0036021652398
const/binary_ieee/num2rounding || code_n1042895779nteger || 0.00358873633018
const/relation/reflexive || wfP || 0.0035032439996
type/hreal/hreal || int || 0.00349362802991
const/ieee/roundmode2num || code_i1730018169atural || 0.00349204197856
type/hreal/hreal || nat || 0.00346781902521
const/prelim/ordering2num || code_i1730018169atural || 0.00346363855505
const/list/MAP || filtermap || 0.00337803765016
const/option/NONE || nil || 0.00334362372869
const/option/OPTION_MAP || map || 0.00330405349635
const/extreal/Normal || code_nat_of_integer || 0.00327075578118
const/binary_ieee/rounding2num || code_i1730018169atural || 0.00323154018718
const/toto/cpn2num || code_i1730018169atural || 0.00322357884943
const/real/real_of_num || code_integer_of_int || 0.00312243402164
type/realax/real || rat || 0.00309308792636
const/extreal/Normal || code_nat_of_natural || 0.003020179568
const/integer/int_neg || suc_Rep || 0.00283062655918
const/option/OPTION_MAP || image2 || 0.0027464355391
type/list/list || filter || 0.00270878131556
const/string/ORD || code_i1730018169atural || 0.00255499272095
const/list/MAP || image2 || 0.00249070025792
const/relation/WF || wfP || 0.00246892688354
type/num/num || code_natural || 0.00241209164258
type/option/option || pred || 0.00240624250186
const/string/CHR || code_n1042895779nteger || 0.0022916578442
const/extreal/extreal_of_num || nat2 || 0.00226531653776
const/num/REP_num || code_integer_of_int || 0.00212093639099
type/realax/real || num || 0.0020759285634
type/option/option || filter || 0.00206120790544
const/option/OPTION_CHOICE || append || 0.00205843584964
type/list/list || pred || 0.00204287068927
const/option/OPTION_JOIN || concat || 0.00198786484392
const/num/ABS_num || code_int_of_integer || 0.00191924405788
const/extreal/Normal || nat_of_num || 0.0018911657223
const/real/real_of_num || code_int_of_integer || 0.00182831526554
type/option/option || set || 0.00180044095251
type/list/list || set || 0.00169593775728
const/real/NUM_FLOOR || code_int_of_integer || 0.00162568641922
const/option/OPTION_CHOICE || splice || 0.00149208822276
const/integer/int_of_num || code_nat_of_natural || 0.00144692634845
const/integer/Num || code_int_of_integer || 0.00143352341346
const/integer/int_of_num || nat_of_char || 0.00138845308853
const/fmapal/optry || splice || 0.00128318169574
type/num/num || char || 0.0012511349137
const/integer/int_of_num || nat_of_nibble || 0.00123585314761
const/real/NUM_FLOOR || code_integer_of_int || 0.00118950909556
type/num/num || nibble || 0.00116498537255
const/integer/Num || code_integer_of_int || 0.00114127593751
const/extreal/real || code_natural_of_nat || 0.00108601014896
const/extreal/extreal_ainv || suc || 0.00105946904089
const/rat/rep_rat || pos || 0.000985201429568
const/rat/rep_rat || code_integer_of_int || 0.000982308831468
const/integer/int_of_num || code_integer_of_int || 0.000969577543734
type/rat/rat || int || 0.00093477585091
const/list/NULL || is_none || 0.000855093204213
const/extreal/extreal_exp || suc || 0.000842632669654
const/prelim/num2ordering || code_nat_of_integer || 0.000803659461488
const/toto/num2cpn || code_nat_of_integer || 0.000802385547214
const/binary_ieee/num2float_compare || code_nat_of_integer || 0.000785226409312
const/ieee/num2ccode || code_nat_of_integer || 0.000785226409312
const/ieee/num2roundmode || code_nat_of_integer || 0.000784315432439
const/binary_ieee/num2rounding || code_nat_of_integer || 0.000782958513198
type/frac/frac || int || 0.000766648644743
const/prelim/ordering2num || code_integer_of_nat || 0.000752659779745
const/toto/cpn2num || code_integer_of_nat || 0.000751466646405
const/extreal/extreal_sqrt || suc || 0.000749905376188
const/transc/exp || suc_Rep || 0.000749768963582
const/transc/exp || code_Suc || 0.000740502677729
const/binary_ieee/float_compare2num || code_integer_of_nat || 0.00073912907085
const/ieee/ccode2num || code_integer_of_nat || 0.00073912907085
const/ieee/roundmode2num || code_integer_of_nat || 0.000738271534083
const/binary_ieee/rounding2num || code_integer_of_nat || 0.000736994215175
type/frac/frac || code_integer || 0.000725857514685
const/extreal/extreal_inv || suc || 0.000717551992936
const/extreal/extreal_abs || suc || 0.000705929616343
const/num/ZERO_REP || zero_Rep || 0.000697368866611
type/extreal/extreal || code_integer || 0.000695288775646
const/fmapal/optry || append || 0.000676403880346
const/extreal/Normal || code_natural_of_nat || 0.000675218579043
const/num/REP_num || code_int_of_integer || 0.000665803181038
const/num/ABS_num || code_integer_of_int || 0.000660738059293
const/realax/inv || suc_Rep || 0.000637325364945
const/realax/inv || code_Suc || 0.00063646266077
const/string/ORD || code_integer_of_nat || 0.000613623068394
const/rat/rat_dnm || nat_of_num || 0.000605839074326
const/rat/rat_sgn || nat2 || 0.000594213869604
const/transc/sqrt || code_Suc || 0.000582968284309
type/rat/rat || num || 0.000571288974787
const/frac/frac_sgn || nat2 || 0.000569678816602
const/num/SUC_REP || suc_Rep || 0.000559016679143
type/extreal/extreal || int || 0.000557610776217
const/list/EXISTS || frequently || 0.000554354827364
const/realax/real_neg || code_Suc || 0.000552494834896
const/prelim/ordering2num || code_integer_of_int || 0.000545575096467
const/toto/cpn2num || code_integer_of_int || 0.000544825188084
const/prelim/num2ordering || code_int_of_integer || 0.000541628772009
const/toto/num2cpn || code_int_of_integer || 0.000540884285024
const/realax/real_neg || suc_Rep || 0.000540456106383
const/binary_ieee/float_compare2num || code_integer_of_int || 0.000538496816824
const/ieee/ccode2num || code_integer_of_int || 0.000538496816824
const/ieee/roundmode2num || code_integer_of_int || 0.000537951217431
const/binary_ieee/rounding2num || code_integer_of_int || 0.000537141795234
const/string/CHR || code_nat_of_integer || 0.000536878518137
const/binary_ieee/num2float_compare || code_int_of_integer || 0.000533140947001
const/ieee/num2ccode || code_int_of_integer || 0.000533140947001
const/ieee/num2roundmode || code_int_of_integer || 0.000532600771228
const/binary_ieee/num2rounding || code_int_of_integer || 0.000531799395236
const/extreal/real || char_of_nat || 0.000514636469213
const/transc/exp || inc || 0.000502563747681
type/extreal/extreal || code_natural || 0.000498733704211
const/frac/frac_sgn || code_nat_of_integer || 0.00047927718927
const/extreal/Normal || nat_of_char || 0.000475136474914
const/real/real_of_num || code_nat_of_natural || 0.000470627930567
const/string/ORD || code_integer_of_int || 0.000468642522885
const/frac/frac_dnm || code_nat_of_integer || 0.000466151662921
const/extreal/real || num_of_nat || 0.00046384953627
const/rat/rat_nmr || nat_of_num || 0.000451333006376
const/real/abs || code_Suc || 0.000444955823266
const/transc/sqrt || inc || 0.000443110229013
const/rat/rat_sgn || code_nat_of_integer || 0.000436053083673
type/DeepSyntax/deep_form || ind || 0.000429983606895
const/num/ABS_num || code_n1042895779nteger || 0.000429641021123
const/num/REP_num || code_i1730018169atural || 0.000429641021123
const/list/NIL || none || 0.00042684287161
const/num/REP_num || code_nat_of_natural || 0.000424810107518
const/num/ABS_num || code_natural_of_nat || 0.000422275218902
const/extreal/Normal || nat_of_nibble || 0.000419643673845
const/frac/frac_nmr || code_nat_of_integer || 0.00041495390915
const/rat/rat_dnm || nat2 || 0.000413176992689
const/integer/Num || code_natural_of_nat || 0.000412365308427
const/list/EVERY || frequently || 0.000408825898116
const/rat/rat_sgn || nat_of_num || 0.000405568751939
const/string/CHR || code_int_of_integer || 0.000403890683536
const/integer/int_neg || suc || 0.000391449932497
const/real/real_of_num || nat_of_char || 0.000381130225094
type/binary_ieee/float_compare || nat || 0.000376261676981
type/ieee/ccode || nat || 0.000376261676981
const/frac/frac_sgn || nat_of_num || 0.000368596791445
const/extreal/real || code_integer_of_int || 0.000365255913191
const/realax/inv || inc || 0.000364878544168
const/list/EVERY || eventually || 0.000364258237081
type/min/ind || int || 0.00036122304912
type/ieee/roundmode || nat || 0.000357938855907
const/extreal/real || code_int_of_integer || 0.000349491981567
type/prelim/ordering || nat || 0.000347629459649
const/extreal/real || nibble_of_nat || 0.000344692262147
const/real/real_of_num || nat_of_nibble || 0.000341604648672
const/ind_type/FCONS || code_case_natural || 0.000340466268669
const/extreal/Normal || code_int_of_integer || 0.000336471545968
const/real/abs || inc || 0.000335393865723
const/rat/rat_nmr || nat2 || 0.000335289634581
type/binary_ieee/rounding || nat || 0.000330646623617
type/toto/cpn || nat || 0.000322639292632
const/rat/abs_rat || pos || 0.000320284499315
const/realax/real_neg || inc || 0.000318788919228
const/bool/ONE_ONE || order_mono || 0.000318039793326
type/binary_ieee/float_compare || int || 0.000317394976154
type/ieee/ccode || int || 0.000317394976154
const/real/NUM_FLOOR || code_natural_of_nat || 0.000315585828191
type/string/char || nat || 0.000315154657373
const/rat/abs_rat || code_integer_of_int || 0.000302476431776
type/ieee/roundmode || int || 0.000301450146202
const/frac/frac_dnm || nat2 || 0.000293097734166
type/prelim/ordering || int || 0.000292180971769
const/num/ABS_num || char_of_nat || 0.000288039218144
type/realax/real || char || 0.000287977752502
const/extreal/Normal || code_Neg || 0.000287618480985
const/extreal/extreal_exp || dup || 0.00028751676773
const/extreal/Normal || code_Pos || 0.000280434927099
const/extreal/real || code_n1042895779nteger || 0.000279205898466
type/binary_ieee/rounding || int || 0.000277795279763
const/extreal/Normal || neg || 0.000277214672655
const/extreal/extreal_exp || code_dup || 0.000273601674493
const/real/NUM_FLOOR || code_n1042895779nteger || 0.000273494656066
const/extreal/Normal || pos || 0.000273396071613
type/toto/cpn || int || 0.000270584166142
type/num/num || ind || 0.00027042593107
const/realax/inv || bit0 || 0.000269860904843
type/realax/real || nibble || 0.000269787663865
const/realax/real_neg || bit0 || 0.000269778367081
const/frac/frac_nmr || nat2 || 0.000269165310843
type/string/char || int || 0.000267252143374
const/transc/exp || suc || 0.000264240940732
const/integer/Num || char_of_nat || 0.000261688515883
const/num/REP_num || nat_of_char || 0.000256906239671
const/extreal/extreal_exp || code_Suc || 0.000255405783889
const/num/SUC_REP || suc || 0.000253228228567
const/transc/exp || bit0 || 0.000252636024674
type/frac/frac || num || 0.000245410972244
const/realax/inv || suc || 0.000238778886405
type/rat/rat || code_integer || 0.000230922666699
const/rat/rat_of_num || code_int_of_integer || 0.000228242747095
const/extreal/extreal_sqrt || dup || 0.000222089558488
const/numeral_bit/iSUC const/num/SUC || code_Suc || 0.000219971645756
const/extreal/Normal || code_integer_of_int || 0.000219757891344
const/relation/transitive || wfP || 0.000215408070444
const/extreal/extreal_sqrt || code_dup || 0.000215046942792
const/realax/real_neg || suc || 0.000214626533677
const/rat/rat_ainv || suc_Rep || 0.000212131893773
type/DeepSyntax/deep_form || int || 0.000211051770117
const/extreal/extreal_inv || dup || 0.000208800347598
const/DeepSyntax/xLT || rep_Nat || 0.000205912584106
const/DeepSyntax/xEQ || rep_Nat || 0.000205912584106
const/DeepSyntax/LTx || rep_Nat || 0.000205912584106
const/extreal/extreal_sqrt || code_Suc || 0.000205456660825
const/integer/Num || code_n1042895779nteger || 0.000203520100017
const/extreal/extreal_inv || code_dup || 0.000203103555724
const/num/REP_num || nat_of_nibble || 0.000201172565589
const/real/NUM_FLOOR || char_of_nat || 0.000197497884246
const/extreal/extreal_abs || dup || 0.000196904359641
const/extreal/extreal_inv || code_Suc || 0.000194735989077
const/extreal/Normal || rep_Nat || 0.000193334959591
const/extreal/extreal_abs || code_dup || 0.000192116037636
const/integer/Num || nibble_of_nat || 0.000190961278495
const/extreal/real || code_nat_of_integer || 0.000190616427929
const/num/ABS_num || nibble_of_nat || 0.000190581732153
type/DeepSyntax/deep_form || nat || 0.000189252247951
const/transc/sqrt || bit0 || 0.000189092109047
const/extreal/extreal_abs || code_Suc || 0.000187065333668
const/integer/int_neg || code_Suc || 0.000185980638607
const/extreal/extreal_ainv || code_Suc || 0.000173978102943
const/extreal/real || abs_Nat || 0.00017264084098
const/extreal/extreal_ainv || dup || 0.000165492228327
const/extreal/extreal_ainv || code_dup || 0.000163221915213
const/real/abs || bit0 || 0.000156220092722
type/extreal/extreal || ind || 0.000147142787645
const/extreal/real || code_nat_of_natural || 0.000140398532568
const/real/NUM_FLOOR || nibble_of_nat || 0.000139825459127
const/binary_ieee/Float || code_int_of_integer || 0.000132586970898
const/binary_ieee/Float || code_nat_of_natural || 0.000132092088981
const/extreal/Normal || code_i1730018169atural || 0.000129950530635
const/realax/real_0 || one2 || 0.000129718947547
const/real/real_of_num || code_i1730018169atural || 0.000125624310837
const/binary_ieee/Float || rep_Nat || 0.000124010462327
const/transc/exp || bit1 || 0.000117340104008
const/DeepSyntax/xLT || code_int_of_integer || 0.000115268167187
const/DeepSyntax/xEQ || code_int_of_integer || 0.000115268167187
const/DeepSyntax/LTx || code_int_of_integer || 0.000115268167187
const/realax/inv || bitM || 0.000111288370586
const/integer/int_of_num || code_i1730018169atural || 0.000111280313247
const/DeepSyntax/xLT || code_nat_of_natural || 0.000109229591898
const/DeepSyntax/xEQ || code_nat_of_natural || 0.000109229591898
const/DeepSyntax/LTx || code_nat_of_natural || 0.000109229591898
const/realax/inv || bit1 || 0.000103680550011
const/prelim/ordering2num || code_natural_of_nat || 0.000102600591032
const/transc/sqrt || suc || 0.000102374865794
const/binary_ieee/float_compare2num || code_natural_of_nat || 0.000102054530065
const/ieee/ccode2num || code_natural_of_nat || 0.000102054530065
const/toto/cpn2num || code_natural_of_nat || 0.000101671290928
const/prelim/num2ordering || code_nat_of_natural || 0.000101626128975
const/ieee/roundmode2num || code_natural_of_nat || 0.000101383752444
type/binary_ieee/float_value || ind || 0.000101278885234
const/binary_ieee/num2float_compare || code_nat_of_natural || 0.000100795539332
const/ieee/num2ccode || code_nat_of_natural || 0.000100795539332
const/toto/num2cpn || code_nat_of_natural || 0.000100705654127
const/binary_ieee/rounding2num || code_natural_of_nat || 0.000100384615653
const/ieee/num2roundmode || code_nat_of_natural || 0.000100133035897
const/binary_ieee/num2rounding || code_nat_of_natural || 9.9146223695e-05
const/realax/real_neg || bit1 || 9.85678453487e-05
const/extreal/Normal || code_integer_of_nat || 9.59920988548e-05
type/binary_ieee/float_value || int || 9.15673878662e-05
type/binary_ieee/float_value || nat || 8.66049314314e-05
const/string/ORD || code_natural_of_nat || 8.63875698574e-05
const/real/abs || suc || 8.54429419623e-05
const/list/EXISTS || eventually || 7.95259353536e-05
const/string/CHR || code_nat_of_natural || 7.3778027284e-05
const/binary_ieee/float_compare2num || rep_Nat || 6.88260212612e-05
const/ieee/ccode2num || rep_Nat || 6.88260212612e-05
const/prelim/ordering2num || rep_Nat || 6.71480728062e-05
const/ieee/roundmode2num || rep_Nat || 6.68824855098e-05
const/rat/rat_ainv || dup || 6.6569829732e-05
type/rat/rat || nat || 6.62257653252e-05
const/toto/cpn2num || rep_Nat || 6.44425863475e-05
const/binary_ieee/rounding2num || rep_Nat || 6.39875399603e-05
const/arithmetic/BIT2 || code_Suc || 6.31857505604e-05
const/transc/exp || bitM || 6.29403055728e-05
const/arithmetic/BIT1 || code_Suc || 6.0735776074e-05
const/frac/frac_ainv || bit0 || 6.0040788101e-05
const/arithmetic/NUMERAL || code_Suc || 5.97565375676e-05
const/realax/inv || sqr || 5.93827257069e-05
const/numpair/tri || code_Suc || 5.46432675643e-05
const/realax/real_add || pow || 5.4538405469e-05
const/string/ORD || rep_Nat || 5.18979579166e-05
const/realax/real_mul || pow || 5.03418740869e-05
const/arithmetic/ZERO const/num/0 || zero_Rep || 4.95057317452e-05
const/realax/real_1 || one2 || 4.53771271352e-05
const/arithmetic/EVEN || nat3 || 4.43645356197e-05
const/numeral_bit/iSUC const/num/SUC || suc_Rep || 3.70574162982e-05
const/rat/rat_of_num || code_nat_of_natural || 3.61535820985e-05
const/rat/rep_rat || code_int_of_integer || 3.55328177547e-05
const/rat/abs_rat || code_int_of_integer || 3.37124552793e-05
const/binary_ieee/num2float_compare || abs_Nat || 3.33462804245e-05
const/ieee/num2ccode || abs_Nat || 3.33462804245e-05
const/prelim/num2ordering || abs_Nat || 3.2702041502e-05
const/ieee/num2roundmode || abs_Nat || 3.24047021917e-05
const/toto/num2cpn || abs_Nat || 3.13845377279e-05
const/binary_ieee/num2rounding || abs_Nat || 3.10022011937e-05
const/divides/PRIMES || suc_Rep || 2.5322064702e-05
const/rat/abs_rat || neg || 2.48190694952e-05
const/rat/rat_ainv || code_dup || 2.44240171525e-05
const/rat/rat_of_num || nat_of_char || 2.33141256215e-05
const/string/CHR || abs_Nat || 2.06872264121e-05
const/rat/rat_of_num || nat_of_nibble || 1.93523373819e-05
const/rat/rat_ainv || suc || 1.85239544543e-05
const/rat/rat_ainv || bit1 || 1.77400919089e-05
const/frac/frac_0 || one2 || 1.67319358906e-05
const/rat/rat_ainv || bit0 || 1.4927383925e-05
const/rat/rep_rat || code_integer_of_nat || 1.43531496655e-05
const/rat/rep_rat || code_i1730018169atural || 1.38525663818e-05
const/rat/abs_rat || code_nat_of_integer || 1.35956949006e-05
const/rat/abs_rat || code_n1042895779nteger || 1.35054959843e-05
type/frac/frac || nat || 1.32082492065e-05
const/arithmetic/BIT2 || suc_Rep || 1.30548109822e-05
const/arithmetic/BIT1 || suc_Rep || 1.25008198093e-05
const/frac/frac_ainv || suc || 1.13651607464e-05
const/frac/frac_add || pow || 1.13173061499e-05
const/DeepSyntax/Negn || suc_Rep || 1.0993457069e-05
const/rat/abs_rat || code_Neg || 1.05972323125e-05
const/frac/frac_mul || pow || 1.05307319722e-05
const/rat/abs_rat || code_Pos || 1.03187973605e-05
const/frac/frac_ainv || sqr || 9.56135354339e-06
const/rat/rep_rat || nat_of_num || 9.37491301794e-06
const/rat/abs_rat || num_of_nat || 9.23930031108e-06
const/frac/frac_ainv || inc || 8.55838920746e-06
const/frac/frac_ainv || bitM || 8.45537046505e-06
type/rat/rat || code_natural || 8.29126268679e-06
const/binary_ieee/Float || nat_of_char || 7.90557400531e-06
const/arithmetic/NUMERAL || suc_Rep || 7.26035054723e-06
const/numpair/tri || suc_Rep || 7.07688248905e-06
const/rat/abs_rat || nat_of_num || 6.66719813998e-06
const/binary_ieee/Float || nat_of_nibble || 6.54154065456e-06
type/integer/int || char || 6.46736711699e-06
type/integer/int || nibble || 6.34716660713e-06
const/frac/frac_1 || one2 || 5.46117198302e-06
const/DeepSyntax/Negn || suc || 5.39504776749e-06
const/DeepSyntax/xLT || nat_of_char || 4.44846523084e-06
const/DeepSyntax/xEQ || nat_of_char || 4.44846523084e-06
const/DeepSyntax/LTx || nat_of_char || 4.44846523084e-06
const/DeepSyntax/xLT || nat_of_nibble || 3.82900148327e-06
const/DeepSyntax/xEQ || nat_of_nibble || 3.82900148327e-06
const/DeepSyntax/LTx || nat_of_nibble || 3.82900148327e-06
const/extreal/extreal_ainv || suc_Rep || 3.63509389458e-06
const/rat/abs_rat || code_nat_of_natural || 2.54540443389e-06
const/frac/frac_ainv || code_Suc || 2.18928475734e-06
type/frac/frac || code_natural || 1.97156547383e-06
const/rat/abs_rat || code_natural_of_nat || 1.27244320451e-06
const/rat/rep_rat || rep_Nat || 1.21581095214e-06
const/rat/abs_rat || abs_Nat || 1.13244898552e-06
const/bool/ONTO || order_mono || 1.12435196686e-06
const/rat/rep_rat || code_natural_of_nat || 1.04011074453e-06
type/frac/frac || ind || 8.85732001468e-07
const/rat/rat_ainv || code_Suc || 8.79524334735e-07
const/rat/rep_rat || code_nat_of_natural || 6.55076069088e-07
const/DeepSyntax/xDivided || char2 || 4.82651851933e-07
type/DeepSyntax/deep_form || char || 3.46893253171e-07
const/rat/abs_rat || char_of_nat || 2.53518895828e-07
type/toto/num_dt || num || 2.44044951839e-07
const/rat/rep_rat || nat_of_char || 2.42371445843e-07
const/rat/rep_rat || nat_of_nibble || 2.09488243547e-07
const/rat/abs_rat || nibble_of_nat || 1.98014237852e-07
const/toto/zer || one2 || 1.47360248588e-07
type/rat/rat || char || 1.43077032757e-07
type/rat/rat || nibble || 1.32958916726e-07
const/toto/bit1 || bit1 || 1.23720032469e-07
const/toto/bit2 || bit0 || 9.95317425341e-08
const/toto/bit2 || bit1 || 8.54942646227e-08
const/toto/bit1 || bit0 || 6.87794277793e-08
type/quote/index || num || 5.95787597099e-09
const/quote/End_idx || one2 || 4.36445514659e-09
const/quote/Left_idx || bit1 || 3.61575148285e-09
const/quote/Right_idx || bit0 || 2.91746428891e-09
const/quote/Right_idx || bit1 || 2.46218475766e-09
const/quote/Left_idx || bit0 || 1.98667860181e-09
const/integer/int_neg || cnj || 9.3361064609e-12
type/integer/int || complex || 7.59031986044e-12
const/relation/RTC || transitive_tranclp || 6.22613354618e-12
const/relation/EQC || transitive_rtranclp || 6.0330363575e-12
const/int_bitwise/int_not || cnj || 7.56570340865e-13
type/toto/cpn || sumbool || 1.67207074777e-14
const/toto/GREATER || left || 1.11582764094e-14
const/toto/LESS || right || 9.90629753158e-15
const/toto/EQUAL || right || 7.89640414178e-15
const/toto/EQUAL || left || 7.67679348039e-15
const/toto/GREATER || right || 3.99907875174e-15
const/toto/LESS || left || 3.611295459e-15
type/binary_ieee/float_compare || sumbool || 2.65898325931e-15
type/ieee/ccode || sumbool || 2.13228906511e-15
const/binary_ieee/UN || left || 2.03466311594e-15
const/binary_ieee/LT || right || 1.98453217559e-15
const/ieee/Un || left || 1.63935019613e-15
const/ieee/Gt || right || 1.56180709192e-15
const/binary_ieee/GT || right || 1.23320287106e-15
const/binary_ieee/EQ || left || 1.22690272966e-15
const/ieee/Lt || right || 9.72284524163e-16
const/ieee/Eq || left || 9.4594968054e-16
type/ieee/float || ind || 7.72799051241e-16
const/ieee/Iszero || nat3 || 6.062372784e-16
const/binary_ieee/EQ || right || 5.89867967181e-16
const/binary_ieee/GT || left || 5.83567825774e-16
const/ieee/Infinity || nat3 || 5.39357623225e-16
const/ieee/Minus_zero || zero_Rep || 5.32335304505e-16
const/ieee/Plus_zero || zero_Rep || 4.74711625846e-16
const/ieee/Eq || right || 4.60678667038e-16
const/ieee/Lt || left || 4.59171298218e-16
const/ieee/Plus_infinity || zero_Rep || 3.90541877415e-16
const/ieee/Minus_infinity || zero_Rep || 3.90541877415e-16
type/ieee/roundmode || sumbool || 1.87923135435e-16
const/ieee/To_ninfinity || left || 1.5091156159e-16
const/ieee/To_nearest || right || 1.2047562812e-16
const/ieee/float_To_zero || right || 9.98440697107e-17
const/ieee/To_pinfinity || left || 9.56365291934e-17
type/extreal/extreal || num || 7.41254104354e-17
const/extreal/PosInf || one2 || 6.40254882538e-17
const/extreal/extreal_min || pow || 5.43076430989e-17
const/ieee/To_pinfinity || right || 4.6841366564e-17
const/ieee/float_To_zero || left || 4.26338260468e-17
const/topology/topology || abs_filter || 3.97049061214e-17
const/topology/open || rep_filter || 3.03491000319e-17
const/extreal/extreal_max || pow || 2.89195684605e-17
const/extreal/extreal_exp || sqr || 2.81771225762e-17
type/binary_ieee/rounding || sumbool || 2.63375774213e-17
const/extreal/extreal_exp || bitM || 2.3119127866e-17
const/binary_ieee/roundTiesToEven || right || 2.29649964198e-17
const/binary_ieee/roundTowardZero || left || 2.26889741459e-17
const/extreal/extreal_sqrt || sqr || 2.17333937673e-17
const/extreal/extreal_abs || sqr || 1.93146364209e-17
const/extreal/extreal_sqrt || bitM || 1.85036934948e-17
const/extreal/extreal_abs || bitM || 1.66996841226e-17
const/binary_ieee/roundTowardPositive || right || 1.48456311641e-17
type/topology/topology || filter || 1.44834518371e-17
const/binary_ieee/roundTowardNegative || left || 1.38599011405e-17
const/extreal/NegInf || one2 || 1.1091686287e-17
const/extreal/extreal_ainv || bit1 || 8.44450096234e-18
const/binary_ieee/roundTowardPositive || left || 7.03305668138e-18
const/extreal/extreal_ainv || bit0 || 6.93800453658e-18
const/one/one || product_Unity || 6.76140489439e-18
const/binary_ieee/roundTowardNegative || right || 6.5120389723e-18
type/one/one || product_unit || 4.50476819777e-18
const/num/ZERO_REP || one2 || 8.18790355684e-19
type/min/ind || num || 6.47420790385e-19
const/num/SUC_REP || bit1 || 4.98729078702e-19
const/num/SUC_REP || bit0 || 3.74064212997e-19
const/relation/TC || transitive_rtranclp || 7.12068641004e-20
const/frac/frac_ainv || cnj || 2.31417581381e-20
const/bool/ONE_ONE || real_V1632203528linear || 2.22524179855e-20
type/frac/frac || complex || 1.49886398607e-20
const/bool/ONTO || real_V1632203528linear || 9.39493462628e-21
const/rat/rat_ainv || cnj || 7.25205205545e-21
const/num/SUC_REP || cnj || 6.53259887411e-21
type/rat/rat || complex || 5.1267693865e-21
const/relation/WFP || accp || 4.86777003365e-21
type/min/ind || complex || 4.46912198164e-21
const/relation/rcdiamond || equiv_equivp || 3.72752190256e-21
const/relation/CR || equiv_part_equivp || 3.67000822576e-21
const/relation/RC || transitive_rtranclp || 3.26720607602e-21
const/relation/CR || reflp || 2.83483806176e-21
const/relation/diamond || equiv_equivp || 2.7713811962e-21
type/fcp/bit1 || option || 2.67770022298e-21
const/fcp/BIT1C || none || 2.6082289505e-21
const/fcp/BIT1B || some || 2.19695621138e-21
const/fcp/BIT1A || some || 2.19695621138e-21
const/relation/Order || equiv_part_equivp || 8.00599348311e-23
const/relation/StrongOrder || equiv_equivp || 7.23979090107e-23
const/relation/Order || reflp || 6.24485202728e-23
const/relation/WeakOrder || equiv_equivp || 5.9682795623e-23
type/llist/llist || filter || 3.28651275986e-23
const/llist/every || frequently || 2.6790288329e-23
const/llist/exists || frequently || 2.45575628117e-23
const/prelim/GREATER || left || 6.65838270275e-24
const/prelim/LESS || right || 6.57959121125e-24
type/prelim/ordering || sumbool || 6.54467825718e-24
const/llist/every || eventually || 6.49138431204e-24
const/llist/exists || eventually || 6.21611962794e-24
const/prelim/EQUAL || right || 2.9978048486e-24
const/prelim/EQUAL || left || 2.97991494292e-24
type/toto/num_dt || ind || 2.49469700604e-24
const/toto/zer || zero_Rep || 2.27187500683e-24
const/lbtree/finite || is_none || 1.74813368097e-24
const/toto/bit2 || suc_Rep || 1.64497870987e-24
const/toto/bit1 || suc_Rep || 1.64497870987e-24
const/lbtree/Lf || none || 9.96106592452e-25
type/lbtree/lbtree || option || 7.94267079644e-25
const/relation/WF || equiv_equivp || 4.38848924918e-25
type/num/num || real || 1.70034951014e-25
const/relation/irreflexive || equiv_part_equivp || 1.6986039649e-25
const/relation/antisymmetric || equiv_part_equivp || 1.66718429899e-25
const/relation/irreflexive || reflp || 1.47311352468e-25
const/relation/antisymmetric || reflp || 1.44933256447e-25
const/quotient/EQUIV || equiv_equivp || 5.4168918769e-26
const/quotient/PARTIAL_EQUIV || equiv_part_equivp || 4.3746141525e-26
const/quotient/PARTIAL_EQUIV || reflp || 3.39058659716e-26
const/numeral_bit/iSUC const/num/SUC || arctan || 3.1693752736e-26
const/numeral_bit/iSUC const/num/SUC || sqrt || 2.87205295564e-26
const/arithmetic/BIT2 || arctan || 2.7933798528e-26
const/arithmetic/BIT1 || arctan || 2.68030204665e-26
const/arithmetic/NUMERAL || arctan || 2.63521817504e-26
const/arithmetic/BIT2 || sqrt || 2.55981074766e-26
const/arithmetic/BIT1 || sqrt || 2.46452875471e-26
const/arithmetic/NUMERAL || sqrt || 2.42635947416e-26
const/numpair/tri || arctan || 2.22756353732e-26
const/numpair/tri || sqrt || 1.94492216533e-26
const/quote/End_idx || zero_Rep || 1.88444745736e-26
type/quote/index || ind || 1.55683845832e-26
const/quote/Right_idx || suc_Rep || 1.33226933256e-26
const/quote/Left_idx || suc_Rep || 1.33226933256e-26
const/DeepSyntax/xDivided || complex2 || 9.58526426661e-27
type/DeepSyntax/deep_form || complex || 7.04737192677e-27
type/integer/int || real || 6.62300440597e-27
const/llist/LFINITE || is_none || 5.71497591464e-27
const/llist/LNIL || none || 3.63962320462e-27
type/llist/llist || option || 2.93838411811e-27
const/patricia/IS_PTREE || is_none || 1.88798665275e-27
const/integer/int_neg || arctan || 1.45942345128e-27
const/patricia/Empty || none || 1.34620692453e-27
const/integer/int_neg || sqrt || 1.31209566084e-27
type/patricia/ptree || option || 1.05947641597e-27
const/hrat/hrat_mul || pow || 1.05191303914e-27
const/DeepSyntax/Negn || cnj || 9.52662780026e-28
const/hrat/hrat_1 || one2 || 5.20848179126e-28
const/relation/SC || transitive_rtranclp || 5.00448709038e-28
type/realax/real || complex || 4.93071621835e-28
const/realax/real_neg || cnj || 4.24572540302e-28
type/hrat/hrat || num || 4.23123657004e-28
const/realax/inv || cnj || 2.29700208106e-28
const/sptree/LS || some || 1.56427696815e-28
type/sptree/spt || option || 1.22151358707e-28
const/sptree/LN || none || 8.14550752232e-29
const/transc/exp || cnj || 6.99718088229e-29
const/toto/toto_inv || rev || 2.98559132831e-29
type/toto/toto || list || 1.33215454925e-29
const/lbtree/finite || null || 8.17389777451e-30
const/lbtree/Lf || nil || 6.14289601147e-30
type/integer/int || num || 5.15165787768e-30
type/lbtree/lbtree || list || 4.85797814564e-30
const/lbtree/finite || distinct || 3.67310980067e-30
const/relation/EQC || transitive_tranclp || 3.66753554266e-30
const/integer/int_neg || bit1 || 3.54801869348e-30
const/bool/DATATYPE || quot_True || 2.85485805332e-30
const/integer/int_neg || bit0 || 2.83063906385e-30
const/frac/frac_1 || right || 1.3528768713e-30
const/frac/frac_0 || left || 1.29848256271e-30
type/frac/frac || sumbool || 6.49702465309e-31
const/lbtree/finite || null2 || 7.49333320617e-32
const/lbtree/Lf || empty || 5.17453221626e-32
type/lbtree/lbtree || seq || 3.80542450844e-32
type/num/num || complex || 3.46159429377e-32
const/binary_ieee/Infinity || right || 3.28232701699e-32
const/binary_ieee/NaN || left || 3.11860301721e-32
const/realax/real_1 || right || 2.90677274293e-32
const/patricia/Empty || nil || 2.57408883223e-32
const/patricia/IS_PTREE || null || 2.46873727349e-32
const/realax/real_0 || left || 2.35559811687e-32
type/binary_ieee/float_value || sumbool || 2.10061048761e-32
type/patricia/ptree || list || 2.01379887881e-32
const/patricia/IS_PTREE || distinct || 1.40720729264e-32
const/numeral_bit/iSUC const/num/SUC || cnj || 1.13184079952e-32
type/realax/real || sumbool || 1.00177124722e-32
const/arithmetic/BIT2 || cnj || 9.87818337763e-33
const/arithmetic/BIT1 || cnj || 9.45053890217e-33
const/arithmetic/NUMERAL || cnj || 9.28073612514e-33
const/numpair/tri || cnj || 7.54699088829e-33
const/enumeral/zerbl || rev || 1.80446679729e-33
type/fcp/bit0 || option || 1.37251416659e-33
const/fcp/BIT0B || some || 1.14955941732e-33
const/fcp/BIT0A || some || 1.14955941732e-33
type/enumeral/bl || list || 1.13014232625e-33
const/ringNorm/Popp || rev || 8.10068012953e-34
type/ringNorm/polynom || list || 4.84581754846e-34
const/min/@ || the || 4.76453469969e-34
const/pred_set/UNIV || quot_True || 1.89384699524e-34
const/llist/LFINITE || null2 || 1.27023920645e-34
const/llist/LNIL || empty || 9.60829683993e-35
type/llist/llist || seq || 7.25367827962e-35
const/hreal/hreal_mul || pow || 6.75664318785e-35
const/patricia/IS_PTREE || null2 || 4.67201818313e-35
const/patricia/Empty || empty || 4.00386539457e-35
type/patricia/ptree || seq || 2.92686336053e-35
const/hreal/hreal_1 || one2 || 2.8184820392e-35
const/extreal/extreal_ainv || cnj || 2.49936438261e-35
const/integer/int_0 || left || 2.23400074293e-35
const/integer/int_1 || right || 2.16828210075e-35
type/hreal/hreal || num || 2.01619265817e-35
type/extreal/extreal || complex || 1.52539241402e-35
type/integer/int || sumbool || 1.19627233279e-35
type/DeepSyntax/deep_form || num || 8.52306073227e-37
type/toto/num_dt || nat || 7.58225938612e-37
const/DeepSyntax/Negn || bit1 || 6.7376302552e-37
const/list/NULL || null2 || 6.6677410592e-37
const/DeepSyntax/Negn || bit0 || 4.96545226725e-37
const/toto/bit2 || suc || 4.79866626105e-37
const/toto/bit1 || suc || 4.79866626105e-37
const/list/NIL || empty || 3.72917456014e-37
type/list/list || seq || 2.93004003751e-37
const/canonical/SPconst || some || 7.86103432073e-38
const/extreal/NegInf || right || 7.564848128e-38
const/extreal/PosInf || left || 7.33382645369e-38
type/canonical/spolynom || option || 5.96860995524e-38
const/ringNorm/Pconst || some || 5.88996901422e-38
type/realax/real || real || 5.6213154286e-38
type/extreal/extreal || sumbool || 5.5603089818e-38
type/toto/num_dt || real || 5.22915528363e-38
type/ringNorm/polynom || option || 4.45485945059e-38
const/toto/bit2 || arctan || 2.1934922835e-38
const/toto/bit1 || arctan || 2.1934922835e-38
const/transc/exp || arctan || 2.0628251784e-38
const/toto/bit2 || sqrt || 1.84472070548e-38
const/toto/bit1 || sqrt || 1.84472070548e-38
const/transc/exp || sqrt || 1.76976103793e-38
const/realax/inv || arctan || 1.74286979347e-38
const/realax/inv || sqrt || 1.52884472574e-38
type/quote/index || nat || 1.51844078925e-38
const/realax/real_neg || arctan || 1.47086197136e-38
const/realax/real_neg || sqrt || 1.31541727847e-38
const/quote/Right_idx || suc || 1.12654030379e-38
const/quote/Left_idx || suc || 1.12654030379e-38
type/quote/index || real || 4.1835942294e-40
const/quote/Right_idx || arctan || 2.07015112488e-40
const/quote/Left_idx || arctan || 2.07015112488e-40
const/quote/Right_idx || sqrt || 1.73660222898e-40
const/quote/Left_idx || sqrt || 1.73660222898e-40
type/toto/num_dt || code_natural || 2.99005098914e-41
const/toto/bit2 || code_Suc || 2.23293305564e-41
const/toto/bit1 || code_Suc || 2.23293305564e-41
type/toto/num_dt || complex || 7.38434241873e-43
const/toto/bit2 || cnj || 4.86654439776e-43
const/toto/bit1 || cnj || 4.86654439776e-43
type/quote/index || code_natural || 2.06695012178e-43
const/quote/Right_idx || code_Suc || 1.89127158033e-43
const/quote/Left_idx || code_Suc || 1.89127158033e-43
type/quote/index || complex || 5.96366140763e-45
const/quote/Right_idx || cnj || 4.78220885378e-45
const/quote/Left_idx || cnj || 4.78220885378e-45
type/DeepSyntax/deep_form || real || 1.30699973449e-45
const/DeepSyntax/Negn || arctan || 1.22028336968e-45
const/DeepSyntax/Negn || sqrt || 9.79753237982e-46
type/rat/rat || real || 1.34063892977e-46
const/extreal/extreal_ainv || arctan || 1.19298312163e-46
const/rat/rat_ainv || arctan || 1.18567574741e-46
type/extreal/extreal || real || 1.16087147588e-46
const/rat/rat_ainv || sqrt || 9.74606374538e-47
const/extreal/extreal_ainv || sqrt || 9.53694691278e-47
const/DeepSyntax/Negn || code_Suc || 3.07909924523e-47
type/DeepSyntax/deep_form || code_natural || 1.85277277859e-47
