type/list/list || list || 0.887432339196
const/list/NIL || nil || 0.821797217344
const/list/APPEND || append || 0.731855342786
const/list/CONS || cons || 0.722101973117
const/list/REVERSE || rev || 0.679039224155
type/num/num || nat || 0.64653395763
type/num/num || num || 0.596892981553
const/list/ALL_DISTINCT || distinct || 0.538087966546
const/arithmetic/ZERO const/num/0 || one2 || 0.478433674603
const/list/FILTER || filter2 || 0.473753170794
const/list/SNOC || cons || 0.442110698759
const/list/LLEX || lexordp2 || 0.394139558757
const/ASCIInumbers/num_to_dec_string || explode || 0.377984590955
type/string/char || char || 0.369188167121
const/numeral_bit/iSUC const/num/SUC || suc || 0.368329047997
const/list/DROP || drop || 0.366352538051
const/list/FLAT || concat || 0.360733872023
const/list/EXISTS || list_ex || 0.348531074654
const/list/EVERY || pred_list || 0.300902308357
const/list/LAST || last || 0.297590889875
type/num/num || literal || 0.285712798516
type/sptree/spt || list || 0.284984402163
const/list/TAKE || take || 0.283201210499
const/list/FILTER || takeWhile || 0.282047030177
const/list/NULL || null || 0.276165580108
const/list/REVERSE || remdups || 0.256227136899
const/update/FIND || find || 0.246524499771
const/arithmetic/BIT1 || bit0 || 0.237554526344
const/string_num/n2s || explode || 0.23183525346
const/list/REVERSE || rotate1 || 0.229501955259
const/list/FILTER || dropWhile || 0.218035235221
const/list/LIST_REL || list_all2 || 0.217280620955
type/llist/llist || list || 0.217187305303
type/option/option || option || 0.21418636904
const/arithmetic/BIT2 || bit1 || 0.207647171225
const/list/HD || hd || 0.206971274127
const/list/FRONT || butlast || 0.203637416938
const/list/LAST || hd || 0.203191816295
const/string_num/s2n || implode str || 0.199978671185
const/arithmetic/BIT2 || bit0 || 0.19835982074
const/numeral_bit/iSUC const/num/SUC || bit1 || 0.197879418983
const/list/LLEX || lexordp_eq || 0.195576686206
const/list/APPEND || splice || 0.194924347371
const/list/DROP || take || 0.191526466102
const/numeral_bit/iSUC const/num/SUC || inc || 0.187779914612
const/ASCIInumbers/num_from_dec_string || implode str || 0.18744759836
const/option/NONE || none || 0.18532262021
const/sptree/LN || nil || 0.184727764285
const/numeral_bit/iSUC const/num/SUC || bit0 || 0.177421113089
const/listRange/listRangeLHI || upt || 0.175817135163
const/list/nub || remdups || 0.175411387603
const/list/EVERY || listsp || 0.175148148104
const/sptree/delete || drop || 0.174213872765
const/rich_list/REPLICATE || replicate || 0.173599665491
const/list/MAP || map || 0.172248511247
const/rich_list/SPLITP || partition || 0.169598708426
const/llist/fromList || set2 || 0.168928346279
const/list/SNOC || insert || 0.168665504865
const/enumeral/BL_CONS || remove || 0.166833668599
const/arithmetic/BIT1 || bit1 || 0.162675201145
const/sptree/wf || distinct || 0.160177373034
type/llist/llist || set || 0.152427273704
const/numeral/iDUB || bitM || 0.152393899597
const/llist/LCONS || cons || 0.148533889368
const/option/SOME || some || 0.148505339805
const/listRange/listRangeLHI || upto || 0.143012143675
const/enumeral/list_to_bl || coset || 0.142071220484
const/llist/LNIL || nil || 0.141957305318
const/list/REVERSE || remdups_adj || 0.141281911232
const/numeral/iiSUC || inc || 0.133491245451
const/list/HD || last || 0.127476432695
const/enumeral/BL_CONS || insert3 || 0.12371346097
const/enumeral/list_to_bl || set2 || 0.122407187897
const/prim_rec/PRE || sqr || 0.118778910568
const/llist/LAPPEND || append || 0.116830455148
type/enumeral/bl || set || 0.111185370007
const/rich_list/BUTLASTN || drop || 0.110851630716
const/llist/LCONS || insert3 || 0.109993803425
const/prim_rec/PRE || bitM || 0.108116574403
const/rich_list/LASTN || take || 0.107960094965
const/llist/fromList || coset || 0.107336894713
const/list/ALL_DISTINCT || linorder_sorted || 0.106872189053
const/arithmetic/+ || pow || 0.104954790183
const/combin/I || id || 0.1040888985
const/numeral/iiSUC || bitM || 0.103896706021
const/list/CONS || insert || 0.103569583642
const/patricia_casts/string_to_num || implode str || 0.100339064586
const/sptree/union || append || 0.100294916235
const/list/CONS || removeAll || 0.099634590999
const/list/REV || splice || 0.0993004076323
const/arithmetic/MAX || pow || 0.0961182076659
const/list/TL || tl || 0.0946939325524
type/pair/prod || product_prod || 0.0944842597902
const/string/isDigit || nat3 || 0.0938732499528
const/sptree/mk_wf || remdups || 0.0930338429696
const/integer/int_of_num || rep_Nat || 0.0919021730787
const/arithmetic/- || pow || 0.0915486025934
type/num/num || int || 0.0894320550756
const/sptree/mk_wf || rotate1 || 0.0878145500658
const/llist/LFINITE || finite_finite2 || 0.086613353906
const/list/FRONT || tl || 0.0861458324596
const/sptree/mk_wf || butlast || 0.0837134057276
const/list/REVERSE || butlast || 0.0823980803314
type/integer/int || ind || 0.0822265737549
const/string/ORD || nat_of_char || 0.0818386569354
const/llist/LCONS || remove || 0.0814875480716
const/arithmetic/BIT2 || bitM || 0.0813114822844
const/list/EXISTS || pred_list || 0.0810950373295
const/prelim/ordering2num || code_nat_of_natural || 0.0795613017982
const/sptree/delete || take || 0.0794185986645
const/toto/cpn2num || code_nat_of_natural || 0.0790667624837
const/binary_ieee/float_compare2num || code_nat_of_natural || 0.0789659524439
const/ieee/ccode2num || code_nat_of_natural || 0.0789659524439
const/ieee/roundmode2num || code_nat_of_natural || 0.0785906438026
const/binary_ieee/rounding2num || code_nat_of_natural || 0.0780500201354
const/list/REVERSE || tl || 0.0778943355012
const/list/TAKE || drop || 0.0776174239352
const/sptree/mk_wf || tl || 0.0774919500367
const/sptree/union || splice || 0.0770174813672
const/ind_type/FCONS || case_nat || 0.0769585900798
const/list/EVERY || list_ex || 0.0768214827367
const/rich_list/PREFIX || dropWhile || 0.0741583270235
const/list/nub || rotate1 || 0.0731951791525
const/llist/every || pred_list || 0.0718155084596
const/ASCIInumbers/HEX || rep_Nat || 0.0710286253862
const/rich_list/PREFIX || takeWhile || 0.070870799779
const/numpair/tri || sqr || 0.0706725552818
const/ASCIInumbers/UNHEX || abs_Nat || 0.0689209192739
const/prelim/ordering2num || nat_of_char || 0.068632932873
const/toto/cpn2num || nat_of_char || 0.0683054288671
const/binary_ieee/float_compare2num || nat_of_char || 0.0677380560811
const/ieee/ccode2num || nat_of_char || 0.0677380560811
const/string/ORD || code_nat_of_natural || 0.0676428940452
const/numeral/iiSUC || bit1 || 0.0675721492695
const/ieee/roundmode2num || nat_of_char || 0.0674864323032
const/binary_ieee/rounding2num || nat_of_char || 0.0671280841937
const/numeral/iDUB || bit1 || 0.0664443053853
const/quotient/QUOTIENT || quotient3 || 0.0660586335029
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || sqr || 0.0648995969497
const/quotient/EQUIV || transp || 0.0647295000615
const/quotient/EQUIV || symp || 0.0642639087946
const/list/nub || butlast || 0.0635275788985
const/list/dropWhile || dropWhile || 0.0633303473598
const/numpair/tri || bitM || 0.0632306860163
const/list/nub || remdups_adj || 0.0630339709406
const/pair/, || product_Pair || 0.0628295051796
const/quotient/EQUIV || reflp || 0.0626137269339
const/numeral/iDUB || sqr || 0.0625524529037
const/llist/LFLATTEN || concat || 0.0622307790574
const/rich_list/PREFIX || filter2 || 0.0614366726502
const/list/dropWhile || takeWhile || 0.0608968144443
const/arithmetic/ABS_DIFF || pow || 0.059921449093
type/binary_ieee/float_compare || code_natural || 0.0590544161053
type/ieee/ccode || code_natural || 0.0590544161053
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || bitM || 0.0585485219462
const/list/nub || tl || 0.0583687936744
const/sptree/delete || rotate || 0.0575664015023
const/prelim/ordering2num || nat_of_nibble || 0.0571657541688
const/toto/cpn2num || nat_of_nibble || 0.056929446674
const/numpair/nlen || sqr || 0.0568262389317
const/binary_ieee/float_compare2num || nat_of_nibble || 0.0565411810449
const/ieee/ccode2num || nat_of_nibble || 0.0565411810449
const/prelim/num2ordering || code_natural_of_nat || 0.0565045250471
const/ieee/roundmode2num || nat_of_nibble || 0.0563622193007
const/toto/num2cpn || code_natural_of_nat || 0.0561450849878
const/binary_ieee/rounding2num || nat_of_nibble || 0.0561041929255
const/binary_ieee/num2float_compare || code_natural_of_nat || 0.0558259196664
const/ieee/num2ccode || code_natural_of_nat || 0.0558259196664
const/ieee/num2roundmode || code_natural_of_nat || 0.0555543421227
const/numeral/iiSUC || bit0 || 0.0555332791727
type/ieee/roundmode || code_natural || 0.0553726091299
const/binary_ieee/num2rounding || code_natural_of_nat || 0.0551632485224
const/list/REV || append || 0.0544200214844
const/arithmetic/BIT1 || bitM || 0.0541833241378
const/list/nub || rev || 0.0539917084056
const/list/dropWhile || filter2 || 0.0537641913204
const/sptree/mk_wf || remdups_adj || 0.0535875517945
type/prelim/ordering || code_natural || 0.0533320056059
const/llist/LFINITE || distinct || 0.0525711267546
const/relation/TC || transitive_tranclp || 0.0522973573014
const/arithmetic/BIT2 || inc || 0.0508608643609
const/option/THE || the2 || 0.0504985734732
type/binary_ieee/rounding || code_natural || 0.0500750306343
const/numeral_bit/iDIV2 const/arithmetic/DIV2 || inc || 0.0493609449476
const/option/OPTREL || rel_option || 0.0490722073795
type/toto/cpn || code_natural || 0.0485520890663
const/string/ORD || nat_of_nibble || 0.0484051872611
const/numpair/nlen || bitM || 0.0481582484314
type/string/char || ind || 0.047537257327
type/string/char || code_natural || 0.0472814735523
const/numeral/iDUB || inc || 0.046467625286
const/numeral/exactlog || sqr || 0.0456819605572
const/hrat/hrat_REP || rep_Integ || 0.0451500629019
const/gcd/gcd || pow || 0.0449915411189
const/prim_rec/PRE || inc || 0.0445166277106
const/integer/int_REP || rep_Integ || 0.0433779577807
const/list/NULL || distinct || 0.0427598629924
const/relation/RTC || transitive_rtranclp || 0.0418656171119
type/binary_ieee/float_compare || char || 0.0415843925455
type/ieee/ccode || char || 0.0415843925455
const/string/CHR || code_natural_of_nat || 0.0406259434498
const/prelim/num2ordering || char_of_nat || 0.0405630785267
const/toto/num2cpn || char_of_nat || 0.0403639444194
const/numeral/exactlog || bitM || 0.03973072106
const/binary_ieee/num2float_compare || char_of_nat || 0.0396869402098
const/ieee/num2ccode || char_of_nat || 0.0396869402098
const/ieee/num2roundmode || char_of_nat || 0.0395352654511
const/binary_ieee/num2rounding || char_of_nat || 0.0393193153707
type/ieee/roundmode || char || 0.0388221487998
const/hrat/hrat_ABS || abs_Integ || 0.0387603450545
const/integer/int_ABS || abs_Integ || 0.0386956575965
const/string/CHR || char_of_nat || 0.0382390457778
const/llist/LAPPEND || splice || 0.0380731139189
type/binary_ieee/float_compare || nibble || 0.0374869682598
type/ieee/ccode || nibble || 0.0374869682598
type/prelim/ordering || char || 0.0372954497816
const/real/real_of_num || rep_Nat || 0.0353708778891
type/ieee/roundmode || nibble || 0.035180700749
type/binary_ieee/rounding || char || 0.0348911652772
type/prelim/ordering || nibble || 0.0338751217595
const/llist/every || listsp || 0.0337702977679
type/toto/cpn || char || 0.0337651786463
const/numeral_bit/iSUC const/num/SUC || bitM || 0.0330708700328
type/binary_ieee/rounding || nibble || 0.0318572058752
type/realax/real || ind || 0.0311689308863
type/toto/cpn || nibble || 0.0308767889917
const/integer/tint_eq || intrel || 0.0304929300699
type/string/char || nibble || 0.0303880627417
const/hrat/trat_eq || intrel || 0.0300576021389
const/divides/PRIMES || suc || 0.0294491909329
const/llist/exists || list_ex || 0.0291003896328
const/prelim/num2ordering || num_of_nat || 0.0289268137971
const/toto/num2cpn || num_of_nat || 0.0288880748174
const/prelim/num2ordering || nibble_of_nat || 0.0285955958092
const/toto/num2cpn || nibble_of_nat || 0.0284738947496
const/binary_ieee/num2float_compare || num_of_nat || 0.0283487686585
const/ieee/num2ccode || num_of_nat || 0.0283487686585
const/ieee/num2roundmode || num_of_nat || 0.0283208027335
const/binary_ieee/num2rounding || num_of_nat || 0.0282792847091
const/binary_ieee/num2float_compare || nibble_of_nat || 0.0281534540891
const/ieee/num2ccode || nibble_of_nat || 0.0281534540891
const/ieee/num2roundmode || nibble_of_nat || 0.0280617239012
const/binary_ieee/num2rounding || nibble_of_nat || 0.0279294978219
const/prelim/ordering2num || nat_of_num || 0.0261824573563
const/toto/cpn2num || nat_of_num || 0.0261472946761
const/binary_ieee/float_compare2num || nat_of_num || 0.0257878940873
const/ieee/ccode2num || nat_of_num || 0.0257878940873
const/ieee/roundmode2num || nat_of_num || 0.0257623874708
const/binary_ieee/rounding2num || nat_of_num || 0.0257245207637
const/arithmetic/BIT1 || inc || 0.0253222799464
const/arithmetic/BIT2 || suc || 0.0249973280945
const/numeral/iDUB || bit0 || 0.0248972492141
const/arithmetic/NUMERAL || bit1 || 0.0247793213049
const/arithmetic/BIT1 || suc || 0.02427527886
const/arithmetic/NUMERAL || suc || 0.0239825003082
const/string/ORD || nat_of_num || 0.0220259404766
const/arithmetic/NUMERAL || bit0 || 0.0220092519345
const/string/CHR || nibble_of_nat || 0.0203027991011
const/num/REP_num || rep_Nat || 0.0202616610194
const/string/CHR || num_of_nat || 0.0202323728937
const/num/REP_num || code_integer_of_nat || 0.0202043709688
const/numpair/tri || bit1 || 0.0200704399654
const/llist/LCONS || insert || 0.0193552023904
const/num/ABS_num || code_nat_of_integer || 0.0192682489369
const/num/ABS_num || abs_Nat || 0.0188152624769
const/numpair/tri || suc || 0.0182489937807
type/hrat/hrat || int || 0.0174129603873
type/integer/int || int || 0.0171851615408
type/realax/real || int || 0.017076165166
const/numpair/tri || bit0 || 0.0166713753345
const/integer/Num || abs_Nat || 0.0162368132365
const/llist/LFILTER || dropWhile || 0.0159973941814
const/real/NUM_FLOOR || abs_Nat || 0.0159191421252
const/hrat/hrat_REP || rep_Rat || 0.0156634348655
const/llist/LCONS || removeAll || 0.0155581680293
const/num/ABS_num || num_of_nat || 0.0155275994728
const/num/REP_num || nat_of_num || 0.0153545302682
type/num/num || code_integer || 0.0153338182843
const/llist/LFILTER || takeWhile || 0.0152672363037
const/extreal/extreal_of_num || nat_of_num || 0.0152596280917
const/real/NUM_FLOOR || code_nat_of_integer || 0.0151403413398
const/integer/int_REP || rep_Rat || 0.0149128676978
const/num/REP_num || code_natural_of_nat || 0.0148860194324
const/llist/LFINITE || null || 0.0146487012182
const/llist/LCONS || remove1 || 0.0143053375272
const/sptree/mk_wf || rev || 0.0138159916851
type/extreal/extreal || nat || 0.0135697673297
type/binary_ieee/float_compare || num || 0.0134282476001
type/ieee/ccode || num || 0.0134282476001
const/integer/Num || code_nat_of_integer || 0.0133877190527
const/num/ABS_num || code_nat_of_natural || 0.0133628489982
const/llist/LFILTER || filter2 || 0.013185327973
const/hrat/hrat_ABS || abs_Rat || 0.0129458412809
const/extreal/Normal || nat2 || 0.0128776246109
const/integer/int_ABS || abs_Rat || 0.0128548197767
type/min/ind || ind || 0.0127592409935
type/ieee/roundmode || num || 0.0127567327961
const/real/NUM_FLOOR || num_of_nat || 0.0125319933634
const/real/real_of_num || pos || 0.0123871787838
type/prelim/ordering || num || 0.0123717203055
type/binary_ieee/rounding || num || 0.0117598831438
const/rat/rat_of_num || rep_Nat || 0.0114736741316
type/toto/cpn || num || 0.0114609635576
const/integer/Num || num_of_nat || 0.0112765588457
type/string/char || num || 0.0112614905454
const/real/NUM_FLOOR || code_nat_of_natural || 0.0111950164494
const/prelim/ordering2num || code_int_of_integer || 0.0111492225693
type/list/list || option || 0.0111007859748
const/toto/cpn2num || code_int_of_integer || 0.0110747952743
const/binary_ieee/float_compare2num || code_int_of_integer || 0.0110676020644
const/ieee/ccode2num || code_int_of_integer || 0.0110676020644
const/option/OPTION_MAP || map_option || 0.0110168772579
const/ieee/roundmode2num || code_int_of_integer || 0.0110110737298
const/binary_ieee/rounding2num || code_int_of_integer || 0.0109298127792
const/list/MAP || map_option || 0.0105539411351
type/min/ind || code_integer || 0.0103481734225
const/integer/Num || code_nat_of_natural || 0.0101846331842
const/option/OPTREL || list_all2 || 0.0100760205636
type/option/option || list || 0.00952643260781
type/rat/rat || ind || 0.0094427857809
const/string/ORD || code_int_of_integer || 0.00944075397363
const/realax/real_REP || rep_Integ || 0.00927199363882
const/realax/real_REP || rep_Rat || 0.00916486879613
const/integer/tint_eq || ratrel || 0.00914168174244
const/hrat/trat_eq || ratrel || 0.00906526022168
type/min/ind || code_natural || 0.00904395911102
const/realax/real_ABS || abs_Integ || 0.00834551057325
type/realax/real || code_integer || 0.00815875390971
type/integer/int || nat || 0.00815519260312
type/binary_ieee/float_compare || code_integer || 0.00807744837209
type/ieee/ccode || code_integer || 0.00807744837209
const/realax/real_ABS || abs_Rat || 0.00801199562075
const/complex/complex_of_num || quotient_of || 0.00799268500857
const/integer/int_of_num || code_integer_of_nat || 0.00778447166013
const/prelim/num2ordering || code_integer_of_int || 0.00770096427921
type/realax/real || code_natural || 0.00767453439693
const/toto/num2cpn || code_integer_of_int || 0.00764938806628
const/binary_ieee/num2float_compare || code_integer_of_int || 0.00761181907166
const/ieee/num2ccode || code_integer_of_int || 0.00761181907166
type/ieee/roundmode || code_integer || 0.00757304852705
const/ieee/num2roundmode || code_integer_of_int || 0.00757281359139
const/binary_ieee/num2rounding || code_integer_of_int || 0.00751674450574
const/real/real_of_num || code_integer_of_nat || 0.00749148425632
type/prelim/ordering || code_integer || 0.00729454732221
const/list/LIST_REL || rel_option || 0.0070902168896
type/binary_ieee/rounding || code_integer || 0.00684807641371
const/integer/int_of_num || code_natural_of_nat || 0.00679368864999
const/realax/treal_eq || intrel || 0.00673755603428
const/integer/int_of_num || nat_of_num || 0.00664173437712
type/toto/cpn || code_integer || 0.00664052353105
type/integer/int || code_integer || 0.00657981111272
const/real/real_of_num || code_natural_of_nat || 0.00656669793852
type/min/ind || nat || 0.00649555235047
type/string/char || code_integer || 0.00646054381283
const/real/real_of_num || nat_of_num || 0.00636619297821
type/hrat/hrat || rat || 0.00630072937752
type/integer/int || code_natural || 0.00591475664342
const/realax/treal_eq || ratrel || 0.0058835418826
const/string/CHR || code_integer_of_int || 0.00554656327581
type/realax/real || nat || 0.00545204131533
const/relation/diamond || wfP || 0.00516606180362
const/option/OPTION_MAP || map2 || 0.00515774505365
type/integer/int || rat || 0.00497223502328
type/num/num || rat || 0.0042284308016
const/integer/int_of_num || code_int_of_integer || 0.00407858758021
const/binary_ieee/num2float_compare || code_n1042895779nteger || 0.00406750407718
const/ieee/num2ccode || code_n1042895779nteger || 0.00406750407718
const/list/MAP || map2 || 0.00389500788717
const/ieee/num2roundmode || code_n1042895779nteger || 0.00386704062771
const/prelim/num2ordering || code_n1042895779nteger || 0.00385936593037
const/relation/RC || transitive_tranclp || 0.00384091524078
const/relation/symmetric || wfP || 0.0037921821862
const/option/OPTION_MAP || filtermap || 0.00379145462802
const/binary_ieee/float_compare2num || code_i1730018169atural || 0.00366283012425
const/ieee/ccode2num || code_i1730018169atural || 0.00366283012425
const/toto/num2cpn || code_n1042895779nteger || 0.00359177313272
const/binary_ieee/num2rounding || code_n1042895779nteger || 0.00357844760673
const/relation/reflexive || wfP || 0.0035032439996
type/hreal/hreal || int || 0.00348258215923
const/ieee/roundmode2num || code_i1730018169atural || 0.00348224094995
const/prelim/ordering2num || code_i1730018169atural || 0.00345384153218
type/hreal/hreal || nat || 0.00344682054207
const/list/MAP || filtermap || 0.00336540283837
const/option/OPTION_MAP || map || 0.00326518800533
const/extreal/Normal || code_nat_of_integer || 0.00324505234811
const/binary_ieee/rounding2num || code_i1730018169atural || 0.0032222722151
const/toto/cpn2num || code_i1730018169atural || 0.00321427542606
const/real/real_of_num || code_integer_of_int || 0.0031031426526
type/realax/real || rat || 0.00308330453263
const/extreal/Normal || code_nat_of_natural || 0.00291746431135
const/integer/int_neg || suc_Rep || 0.00282465296771
const/option/OPTION_MAP || image2 || 0.00273615217061
type/list/list || filter || 0.00269865337662
const/string/ORD || code_i1730018169atural || 0.00254755436167
const/list/MAP || image2 || 0.00248137319007
const/relation/WF || wfP || 0.00246892688354
type/option/option || pred || 0.00239723171409
const/option/NONE || nil || 0.00237392945405
type/num/num || code_natural || 0.00229893136134
const/string/CHR || code_n1042895779nteger || 0.0022849843764
const/extreal/extreal_of_num || nat2 || 0.00224749659365
const/num/REP_num || code_integer_of_int || 0.00211621890265
type/option/option || filter || 0.00205348550862
type/list/list || pred || 0.00203521690642
const/num/ABS_num || code_int_of_integer || 0.00191497432238
type/realax/real || num || 0.00188126954533
type/option/option || set || 0.00179369326278
const/extreal/Normal || nat_of_num || 0.00179292737388
const/real/real_of_num || code_int_of_integer || 0.00179229749596
const/option/OPTION_JOIN || concat || 0.00171046461428
type/list/list || set || 0.00168958184099
const/real/NUM_FLOOR || code_int_of_integer || 0.00162170240366
const/option/OPTION_CHOICE || append || 0.00152080680498
const/integer/Num || code_int_of_integer || 0.00143034471759
const/integer/int_of_num || code_nat_of_natural || 0.00136984161383
const/integer/int_of_num || nat_of_char || 0.00131195965613
type/num/num || char || 0.0011819658562
const/integer/int_of_num || nat_of_nibble || 0.00116775433226
const/real/NUM_FLOOR || code_integer_of_int || 0.00116606168326
const/integer/Num || code_integer_of_int || 0.00113696656114
type/num/num || nibble || 0.00110056907203
const/extreal/real || code_natural_of_nat || 0.00104914094813
const/extreal/extreal_ainv || suc || 0.0010134407932
const/integer/int_of_num || code_integer_of_int || 0.000967426605105
const/rat/rep_rat || pos || 0.000930923441513
const/rat/rep_rat || code_integer_of_int || 0.000929221066857
type/rat/rat || int || 0.000891976204853
const/list/NULL || is_none || 0.000852148170353
const/option/OPTION_CHOICE || splice || 0.000839888334142
const/extreal/extreal_exp || suc || 0.000807520547233
const/prelim/num2ordering || code_nat_of_integer || 0.000799545985887
const/toto/num2cpn || code_nat_of_integer || 0.000798285485584
const/binary_ieee/num2float_compare || code_nat_of_integer || 0.000781199412622
const/ieee/num2ccode || code_nat_of_integer || 0.000781199412622
const/ieee/num2roundmode || code_nat_of_integer || 0.000780298031017
const/binary_ieee/num2rounding || code_nat_of_integer || 0.000778955405096
const/prelim/ordering2num || code_integer_of_nat || 0.000748807146879
const/transc/exp || suc_Rep || 0.000748059786832
const/toto/cpn2num || code_integer_of_nat || 0.000747626577523
const/binary_ieee/float_compare2num || code_integer_of_nat || 0.000735338308215
const/ieee/ccode2num || code_integer_of_nat || 0.000735338308215
const/ieee/roundmode2num || code_integer_of_nat || 0.000734489804235
const/binary_ieee/rounding2num || code_integer_of_nat || 0.00073322594076
const/fmapal/optry || splice || 0.000725641627149
type/frac/frac || int || 0.000724405830741
const/transc/exp || code_Suc || 0.000719026116232
const/extreal/extreal_sqrt || suc || 0.000718624394653
const/num/ZERO_REP || zero_Rep || 0.000695744176704
const/extreal/extreal_inv || suc || 0.000687693073664
type/frac/frac || code_integer || 0.000686622164706
const/extreal/extreal_abs || suc || 0.000676482575211
const/num/REP_num || code_int_of_integer || 0.000662476189631
const/num/ABS_num || code_integer_of_int || 0.000657436361442
type/extreal/extreal || code_integer || 0.000650911932984
const/extreal/Normal || code_natural_of_nat || 0.000637451170252
const/realax/inv || suc_Rep || 0.000635872344791
const/realax/inv || code_Suc || 0.000618032577079
const/string/ORD || code_integer_of_nat || 0.000610487902185
const/rat/rat_dnm || nat_of_num || 0.000572449550698
const/transc/sqrt || code_Suc || 0.000563035462003
const/rat/rat_sgn || nat2 || 0.0005620895934
const/num/SUC_REP || suc_Rep || 0.00055771413432
const/list/EXISTS || frequently || 0.000552283477203
const/prelim/ordering2num || code_integer_of_int || 0.000542848494668
const/toto/cpn2num || code_integer_of_int || 0.000542102329613
type/rat/rat || num || 0.000539803395931
const/realax/real_neg || suc_Rep || 0.000539223812075
const/prelim/num2ordering || code_int_of_integer || 0.000538921881985
const/frac/frac_sgn || nat2 || 0.000538282171042
const/toto/num2cpn || code_int_of_integer || 0.000538181111296
const/realax/real_neg || code_Suc || 0.00053639200055
const/binary_ieee/float_compare2num || code_integer_of_int || 0.000535805570689
const/ieee/ccode2num || code_integer_of_int || 0.000535805570689
const/ieee/roundmode2num || code_integer_of_int || 0.000535262694658
const/binary_ieee/rounding2num || code_integer_of_int || 0.000534457312872
const/string/CHR || code_nat_of_integer || 0.000534135251023
const/binary_ieee/num2float_compare || code_int_of_integer || 0.000530476453696
const/ieee/num2ccode || code_int_of_integer || 0.000530476453696
const/ieee/num2roundmode || code_int_of_integer || 0.000529938974242
const/binary_ieee/num2rounding || code_int_of_integer || 0.000529141598539
type/extreal/extreal || int || 0.000527474122884
const/extreal/real || char_of_nat || 0.00049076763911
const/transc/exp || inc || 0.000473808898262
type/extreal/extreal || code_natural || 0.000470833253572
const/string/ORD || code_integer_of_int || 0.000466300191297
const/frac/frac_sgn || code_nat_of_integer || 0.000453309813096
const/extreal/Normal || nat_of_char || 0.000453098655197
const/real/real_of_num || code_nat_of_natural || 0.000445552861776
const/frac/frac_dnm || code_nat_of_integer || 0.000440891924486
const/extreal/real || num_of_nat || 0.000439555072863
const/real/abs || code_Suc || 0.00042974552258
const/rat/rat_nmr || nat_of_num || 0.000426454725334
const/list/NIL || none || 0.000425372150468
const/num/ABS_num || code_n1042895779nteger || 0.000424981951589
const/num/REP_num || code_i1730018169atural || 0.000424981951589
const/transc/sqrt || inc || 0.000420088652042
const/rat/rat_sgn || code_nat_of_integer || 0.000412018657783
const/list/EVERY || frequently || 0.000407298019478
type/DeepSyntax/deep_form || ind || 0.000406276296008
const/num/REP_num || code_nat_of_natural || 0.000402000769672
const/string/CHR || code_int_of_integer || 0.000401871859292
const/extreal/Normal || nat_of_nibble || 0.000400178495492
const/num/ABS_num || code_natural_of_nat || 0.000399601932471
const/frac/frac_nmr || code_nat_of_integer || 0.000392467170465
const/rat/rat_dnm || nat2 || 0.00039078671339
const/integer/Num || code_natural_of_nat || 0.000390375337035
const/fmapal/optry || append || 0.000387732644821
const/rat/rat_sgn || nat_of_num || 0.000383212574014
type/binary_ieee/float_compare || nat || 0.000372291466021
type/ieee/ccode || nat || 0.000372291466021
const/integer/int_neg || suc || 0.000369866040373
const/list/EVERY || eventually || 0.000362896841126
const/extreal/real || code_integer_of_int || 0.00036269584657
const/real/real_of_num || nat_of_char || 0.0003598510705
type/min/ind || int || 0.000359417484852
type/ieee/roundmode || nat || 0.000354161893614
const/frac/frac_sgn || nat_of_num || 0.000348711723166
const/realax/inv || inc || 0.000345915027463
type/prelim/ordering || nat || 0.000343962606686
const/extreal/real || code_int_of_integer || 0.000337686327821
const/extreal/Normal || code_int_of_integer || 0.000334113208234
const/extreal/real || nibble_of_nat || 0.000328702613296
type/binary_ieee/rounding || nat || 0.000327157527239
const/ind_type/FCONS || code_case_natural || 0.000324501296945
const/real/real_of_num || nat_of_nibble || 0.00032252857149
type/toto/cpn || nat || 0.000319235932239
const/real/abs || inc || 0.000317958827288
const/rat/rat_nmr || nat2 || 0.000317118607513
type/binary_ieee/float_compare || int || 0.000315808381775
type/ieee/ccode || int || 0.000315808381775
type/string/char || nat || 0.000311816477116
const/rat/abs_rat || pos || 0.000303211860526
const/realax/real_neg || inc || 0.000302246630685
const/bool/ONE_ONE || order_mono || 0.000300219824395
type/ieee/roundmode || int || 0.000299943231867
const/real/NUM_FLOOR || code_natural_of_nat || 0.000298769065173
type/prelim/ordering || int || 0.000290720380664
const/rat/abs_rat || code_integer_of_int || 0.00028580600499
const/frac/frac_dnm || nat2 || 0.000276939503755
type/binary_ieee/rounding || int || 0.000276406579282
const/extreal/real || code_n1042895779nteger || 0.000274868125839
type/realax/real || char || 0.00027464821089
const/num/ABS_num || char_of_nat || 0.00027192049103
const/real/NUM_FLOOR || code_n1042895779nteger || 0.00026977371156
type/toto/cpn || int || 0.000269231505592
type/num/num || ind || 0.000267617899077
type/string/char || int || 0.000265916117289
const/extreal/extreal_exp || dup || 0.00026288482288
const/extreal/Normal || code_Neg || 0.00026275355227
type/realax/real || nibble || 0.00025729993647
const/extreal/Normal || code_Pos || 0.000256190936057
const/frac/frac_nmr || nat2 || 0.000254325883446
const/extreal/Normal || neg || 0.000253475818922
const/extreal/Normal || pos || 0.000249984176135
const/extreal/extreal_exp || code_dup || 0.000249939913035
const/transc/exp || suc || 0.000249454272169
const/integer/Num || char_of_nat || 0.000247256141152
const/realax/inv || bit0 || 0.000246194904863
const/realax/real_neg || bit0 || 0.000245671024725
const/num/REP_num || nat_of_char || 0.000242529297046
const/extreal/extreal_exp || code_Suc || 0.000241114450213
const/num/SUC_REP || suc || 0.000239025845246
type/frac/frac || num || 0.000234648255313
const/transc/exp || bit0 || 0.000230449038926
const/rat/rat_of_num || code_int_of_integer || 0.000226569430431
const/realax/inv || suc || 0.000225416679939
type/rat/rat || code_integer || 0.000218282630544
const/relation/transitive || wfP || 0.000215408070444
const/extreal/Normal || code_integer_of_int || 0.000212333655502
const/rat/rat_ainv || suc_Rep || 0.00021163509545
type/DeepSyntax/deep_form || int || 0.000210529798047
const/numeral_bit/iSUC const/num/SUC || code_Suc || 0.000209655463538
const/extreal/extreal_sqrt || dup || 0.000203098184444
const/realax/real_neg || suc || 0.000202615611064
const/integer/Num || code_n1042895779nteger || 0.00020059552517
const/extreal/extreal_sqrt || code_dup || 0.0001964783911
const/DeepSyntax/xLT || rep_Nat || 0.000194557025231
const/DeepSyntax/xEQ || rep_Nat || 0.000194557025231
const/DeepSyntax/LTx || rep_Nat || 0.000194557025231
const/extreal/extreal_sqrt || code_Suc || 0.000193959611317
const/extreal/extreal_inv || dup || 0.000190911213606
const/num/REP_num || nat_of_nibble || 0.00018991214988
type/DeepSyntax/deep_form || nat || 0.000188807512255
const/real/NUM_FLOOR || char_of_nat || 0.000186469370516
const/integer/int_neg || code_Suc || 0.000185543581356
const/extreal/extreal_inv || code_dup || 0.000185538629439
const/extreal/extreal_inv || code_Suc || 0.000183838777941
const/extreal/Normal || rep_Nat || 0.000182514877004
const/integer/Num || nibble_of_nat || 0.000180428435026
const/extreal/extreal_abs || dup || 0.000180067655143
const/num/ABS_num || nibble_of_nat || 0.000179914020158
const/extreal/real || code_nat_of_integer || 0.000179785536957
const/extreal/extreal_abs || code_Suc || 0.000176597238876
const/extreal/extreal_abs || code_dup || 0.000175526798242
const/transc/sqrt || bit0 || 0.000172841485722
const/extreal/extreal_ainv || code_Suc || 0.000164242599072
const/extreal/real || abs_Nat || 0.000162978749788
const/extreal/extreal_ainv || dup || 0.0001512899075
const/extreal/extreal_ainv || code_dup || 0.00014908374891
const/real/abs || bit0 || 0.000142794457047
type/extreal/extreal || ind || 0.000138907529124
const/extreal/real || code_nat_of_natural || 0.000132541521237
const/binary_ieee/Float || code_int_of_integer || 0.000132083162313
const/real/NUM_FLOOR || nibble_of_nat || 0.000132015776215
const/binary_ieee/Float || code_nat_of_natural || 0.00013060879723
const/extreal/Normal || code_i1730018169atural || 0.000127931308591
const/real/real_of_num || code_i1730018169atural || 0.000123914919894
const/binary_ieee/Float || rep_Nat || 0.000117069649709
const/DeepSyntax/xLT || code_int_of_integer || 0.000114983059349
const/DeepSyntax/xEQ || code_int_of_integer || 0.000114983059349
const/DeepSyntax/LTx || code_int_of_integer || 0.000114983059349
const/integer/int_of_num || code_i1730018169atural || 0.000109681074651
const/DeepSyntax/xLT || code_nat_of_natural || 0.000108972881778
const/DeepSyntax/xEQ || code_nat_of_natural || 0.000108972881778
const/DeepSyntax/LTx || code_nat_of_natural || 0.000108972881778
const/transc/exp || bit1 || 0.000106330484912
const/realax/inv || bitM || 9.98558755006e-05
const/prelim/ordering2num || code_natural_of_nat || 9.82581716148e-05
const/binary_ieee/float_compare2num || code_natural_of_nat || 9.77684854115e-05
const/ieee/ccode2num || code_natural_of_nat || 9.77684854115e-05
const/toto/cpn2num || code_natural_of_nat || 9.73386566672e-05
const/prelim/num2ordering || code_nat_of_natural || 9.73249482198e-05
const/ieee/roundmode2num || code_natural_of_nat || 9.71047729146e-05
const/transc/sqrt || suc || 9.66455627997e-05
const/binary_ieee/num2float_compare || code_nat_of_natural || 9.65623641526e-05
const/ieee/num2ccode || code_nat_of_natural || 9.65623641526e-05
const/toto/num2cpn || code_nat_of_natural || 9.64141656768e-05
const/binary_ieee/rounding2num || code_natural_of_nat || 9.61161604726e-05
const/ieee/num2roundmode || code_nat_of_natural || 9.59068387619e-05
type/binary_ieee/float_value || ind || 9.56102276201e-05
const/binary_ieee/num2rounding || code_nat_of_natural || 9.49304211908e-05
const/realax/inv || bit1 || 9.39705152302e-05
type/binary_ieee/float_value || int || 9.12194326999e-05
const/extreal/Normal || code_integer_of_nat || 9.05373079194e-05
const/realax/real_neg || bit1 || 8.96274971899e-05
type/binary_ieee/float_value || nat || 8.54303754258e-05
const/string/ORD || code_natural_of_nat || 8.26981199071e-05
const/real/abs || suc || 8.06611332702e-05
const/list/EXISTS || eventually || 7.92286139224e-05
const/realax/real_0 || one2 || 7.71471352673e-05
const/string/CHR || code_nat_of_natural || 7.06270690436e-05
const/binary_ieee/float_compare2num || rep_Nat || 6.81075189075e-05
const/ieee/ccode2num || rep_Nat || 6.81075189075e-05
const/prelim/ordering2num || rep_Nat || 6.64475602753e-05
const/ieee/roundmode2num || rep_Nat || 6.61844677167e-05
const/toto/cpn2num || rep_Nat || 6.37705811681e-05
const/rat/rat_ainv || dup || 6.34843575548e-05
const/binary_ieee/rounding2num || rep_Nat || 6.33200365912e-05
type/rat/rat || nat || 6.28078371797e-05
const/arithmetic/BIT2 || code_Suc || 6.02218441665e-05
const/arithmetic/BIT1 || code_Suc || 5.78867853872e-05
const/frac/frac_ainv || bit0 || 5.72153720099e-05
const/transc/exp || bitM || 5.70632807081e-05
const/arithmetic/NUMERAL || code_Suc || 5.69534780926e-05
const/realax/inv || sqr || 5.2721239631e-05
const/numpair/tri || code_Suc || 5.20800477276e-05
const/string/ORD || rep_Nat || 5.13555287465e-05
const/arithmetic/ZERO const/num/0 || zero_Rep || 4.89973583043e-05
const/arithmetic/EVEN || nat3 || 4.39091176667e-05
const/numeral_bit/iSUC const/num/SUC || suc_Rep || 3.66763165199e-05
const/rat/rat_of_num || code_nat_of_natural || 3.44531120825e-05
const/rat/rep_rat || code_int_of_integer || 3.35772737798e-05
const/binary_ieee/num2float_compare || abs_Nat || 3.29981971724e-05
const/ieee/num2ccode || abs_Nat || 3.29981971724e-05
const/prelim/num2ordering || abs_Nat || 3.23609166568e-05
const/ieee/num2roundmode || abs_Nat || 3.2066543525e-05
const/rat/abs_rat || code_int_of_integer || 3.19889981165e-05
const/toto/num2cpn || abs_Nat || 3.10572959051e-05
const/binary_ieee/num2rounding || abs_Nat || 3.06788264192e-05
const/divides/PRIMES || suc_Rep || 2.50613074984e-05
const/rat/abs_rat || neg || 2.36896149444e-05
const/rat/rat_ainv || code_dup || 2.32298073761e-05
const/rat/rat_of_num || nat_of_char || 2.20295772515e-05
const/string/CHR || abs_Nat || 2.04710206918e-05
const/rat/rat_of_num || nat_of_nibble || 1.82861612785e-05
const/rat/rat_ainv || suc || 1.75564640654e-05
const/frac/frac_0 || one2 || 1.7454684137e-05
const/rat/rat_ainv || bit1 || 1.67624343648e-05
const/rat/rat_ainv || bit0 || 1.4104732325e-05
const/frac/frac_add || pow || 1.36351272734e-05
const/rat/rep_rat || code_integer_of_nat || 1.358028467e-05
const/rat/rep_rat || code_i1730018169atural || 1.3103804088e-05
const/arithmetic/BIT2 || suc_Rep || 1.29204376757e-05
const/rat/abs_rat || code_nat_of_integer || 1.28636155693e-05
const/rat/abs_rat || code_n1042895779nteger || 1.27754933846e-05
const/frac/frac_mul || pow || 1.26817398782e-05
type/frac/frac || nat || 1.24733870974e-05
const/arithmetic/BIT1 || suc_Rep || 1.23721458864e-05
const/frac/frac_ainv || suc || 1.07290728462e-05
const/DeepSyntax/Negn || suc_Rep || 1.03873543571e-05
const/rat/abs_rat || code_Neg || 1.00790749414e-05
const/rat/abs_rat || code_Pos || 9.8142540552e-06
const/frac/frac_ainv || sqr || 9.19519172832e-06
const/rat/rep_rat || nat_of_num || 8.85814585059e-06
const/rat/abs_rat || num_of_nat || 8.73000836856e-06
const/frac/frac_ainv || inc || 8.16575072185e-06
const/frac/frac_ainv || bitM || 8.13156285734e-06
type/rat/rat || code_natural || 7.84202919647e-06
const/binary_ieee/Float || nat_of_char || 7.599440936e-06
const/arithmetic/NUMERAL || suc_Rep || 7.18552996187e-06
const/numpair/tri || suc_Rep || 7.00395206948e-06
const/frac/frac_1 || one2 || 6.57667809026e-06
type/integer/int || char || 6.45216912815e-06
const/rat/abs_rat || nat_of_num || 6.36132243824e-06
type/integer/int || nibble || 6.33225108384e-06
const/binary_ieee/Float || nat_of_nibble || 6.29075140055e-06
const/DeepSyntax/Negn || suc || 5.38236966045e-06
const/DeepSyntax/xLT || nat_of_char || 4.43801153927e-06
const/DeepSyntax/xEQ || nat_of_char || 4.43801153927e-06
const/DeepSyntax/LTx || nat_of_char || 4.43801153927e-06
const/DeepSyntax/xLT || nat_of_nibble || 3.82000349764e-06
const/DeepSyntax/xEQ || nat_of_nibble || 3.82000349764e-06
const/DeepSyntax/LTx || nat_of_nibble || 3.82000349764e-06
const/extreal/extreal_ainv || suc_Rep || 3.43164656793e-06
const/rat/abs_rat || code_nat_of_natural || 2.41382849201e-06
const/frac/frac_ainv || code_Suc || 2.07601328963e-06
type/frac/frac || code_natural || 1.8696521111e-06
const/rat/abs_rat || code_natural_of_nat || 1.20217250562e-06
const/rat/rep_rat || rep_Nat || 1.15306733245e-06
const/rat/abs_rat || abs_Nat || 1.07400737175e-06
const/bool/ONTO || order_mono || 1.06162594131e-06
const/rat/rep_rat || code_natural_of_nat || 9.86428908657e-07
type/frac/frac || ind || 8.40022552031e-07
const/rat/rat_ainv || code_Suc || 8.3102131863e-07
const/rat/rep_rat || code_nat_of_natural || 6.18993693173e-07
const/DeepSyntax/xDivided || char2 || 4.81517642e-07
type/DeepSyntax/deep_form || char || 3.4607806967e-07
type/toto/num_dt || num || 2.44044951839e-07
const/rat/abs_rat || char_of_nat || 2.39414444626e-07
const/rat/rep_rat || nat_of_char || 2.28887179688e-07
const/rat/rep_rat || nat_of_nibble || 1.97833420041e-07
const/rat/abs_rat || nibble_of_nat || 1.86997767526e-07
const/toto/zer || one2 || 1.47360248588e-07
type/rat/rat || char || 1.35116982164e-07
type/rat/rat || nibble || 1.25561781719e-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
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
type/binary_ieee/rounding || sumbool || 2.63375774213e-17
const/binary_ieee/roundTiesToEven || right || 2.29649964198e-17
const/binary_ieee/roundTowardZero || left || 2.26889741459e-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/binary_ieee/roundTowardPositive || left || 7.03305668138e-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
type/extreal/extreal || num || 1.01759086328e-18
const/extreal/PosInf || one2 || 9.09951060149e-19
const/num/ZERO_REP || one2 || 8.18790355684e-19
type/min/ind || num || 6.47420790385e-19
const/num/SUC_REP || bit1 || 4.98729078702e-19
const/extreal/extreal_min || pow || 4.83074464318e-19
const/extreal/extreal_exp || sqr || 4.64168978525e-19
const/extreal/extreal_exp || bitM || 3.78766314839e-19
const/num/SUC_REP || bit0 || 3.74064212997e-19
const/extreal/extreal_sqrt || sqr || 3.55531258998e-19
const/extreal/extreal_abs || sqr || 3.15141168998e-19
const/extreal/extreal_sqrt || bitM || 3.01646494191e-19
const/extreal/extreal_abs || bitM || 2.71710698804e-19
const/extreal/extreal_max || pow || 2.43801028734e-19
const/extreal/extreal_ainv || bit1 || 1.3504570396e-19
const/extreal/extreal_ainv || bit0 || 1.10620710472e-19
const/extreal/NegInf || one2 || 9.35063927689e-20
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/DeepSyntax/Negn || cnj || 9.52662780026e-28
const/relation/SC || transitive_rtranclp || 5.00448709038e-28
type/realax/real || complex || 4.93071621835e-28
const/realax/real_neg || cnj || 4.24572540302e-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/hrat/hrat_mul || pow || 2.54820098806e-34
const/pred_set/UNIV || quot_True || 1.89384699524e-34
const/llist/LFINITE || null2 || 1.27023920645e-34
const/hrat/hrat_1 || one2 || 1.26172582266e-34
type/hrat/hrat || num || 1.02499358857e-34
const/llist/LNIL || empty || 9.60829683993e-35
type/llist/llist || seq || 7.25367827962e-35
const/patricia/IS_PTREE || null2 || 4.67201818313e-35
const/patricia/Empty || empty || 4.00386539457e-35
type/patricia/ptree || seq || 2.92686336053e-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/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
