type/ind_types/list || list || 0.752061550476
const/ind_types/NIL || nil || 0.647501491594
const/lists/APPEND || append || 0.619909294348
const/ind_types/CONS || cons || 0.593335071063
const/lists/MAP || map || 0.435603728499
const/lists/REVERSE || rev || 0.427762602725
const/lists/HD || hd || 0.361261103149
const/lists/TL || tl || 0.35950161389
const/lists/BUTLAST || butlast || 0.289558461431
const/lists/ALL2 || list_all2 || 0.283629057532
const/lists/ALL || pred_list || 0.230064847821
const/lists/APPEND || splice || 0.217107932159
const/lists/FILTER || filter2 || 0.197450844378
const/lists/LAST || last || 0.196663408369
const/lists/ALL || listsp || 0.16281806793
const/lists/EX || list_ex || 0.158302754343
const/lists/REVERSE || butlast || 0.155513615644
const/lists/REVERSE || tl || 0.142941843616
const/lists/ITLIST || foldr || 0.126971118455
const/lists/REPLICATE || replicate || 0.124723979845
const/lists/ITLIST || fold || 0.116545846669
const/lists/ZIP || zip || 0.111894772697
const/lists/FILTER || dropWhile || 0.102788595993
const/lists/FILTER || takeWhile || 0.0984073128771
const/lists/BUTLAST || rotate1 || 0.0878148913778
const/lists/REVERSE || rotate1 || 0.0777238589752
const/lists/BUTLAST || remdups_adj || 0.0739594305219
const/lists/BUTLAST || remdups || 0.0733327493624
const/pair/, || product_Pair || 0.0686127052168
const/lists/BUTLAST || tl || 0.0677501939477
const/lists/REVERSE || remdups_adj || 0.0665151603651
const/lists/REVERSE || remdups || 0.0660022941407
type/pair/prod || product_prod || 0.0654200259238
const/nums/SUC || suc || 0.0654018720321
const/lists/BUTLAST || rev || 0.0620234332243
type/nums/num || nat || 0.0563125175776
const/trivia/I || id || 0.0533387385501
const/ind_types/FCONS || case_nat || 0.0142449018226
type/realax/real || ind || 0.0126858185844
const/pair/SND || product_snd || 0.00942706294187
const/Library/floor/rational || nat3 || 0.00891042785025
const/int/integer || nat3 || 0.00862258777434
const/realax/real_of_num || rep_Nat || 0.00795009799258
const/int/real_of_int || rep_Nat || 0.00492315511866
const/int/int_of_real || abs_Nat || 0.00475195999862
const/lists/MAP || map_option || 0.00457483117533
const/lists/MAP || map2 || 0.003503665172
const/lists/MAP || filtermap || 0.00288350452448
type/realax/real || num || 0.00272275572054
type/ind_types/list || option || 0.00268379749062
type/int/int || nat || 0.00263618287716
const/int/int_of_num || rep_Nat || 0.00255672775387
const/lists/MAP || image2 || 0.00252478424351
const/realax/hreal_of_num || rep_Nat || 0.00222052405843
type/int/int || ind || 0.00217978448005
const/int/num_of_int || abs_Nat || 0.00214205418358
type/ind_types/list || filter || 0.00210110848926
const/int/num_of_int || code_nat_of_integer || 0.00209805168534
const/realax/real_neg || suc_Rep || 0.00203998236167
type/ind_types/list || set || 0.00173842119887
const/realax/real_abs || suc_Rep || 0.00165200434634
const/int/num_of_int || code_nat_of_natural || 0.0015347783704
type/ind_types/list || pred || 0.00149539844482
type/realax/hreal || ind || 0.00145668258435
const/nums/BIT0 || suc || 0.00122436119041
const/realax/real_inv || suc_Rep || 0.00119471786543
const/nums/BIT1 || suc || 0.00113282693806
const/int/int_of_num || code_integer_of_nat || 0.00112050996022
const/ind_types/NIL || none || 0.00109434794551
const/nums/NUMERAL || suc || 0.00107985974601
type/int/int || code_natural || 0.001048662829
const/Library/rstc/RSTC || transitive_rtranclp || 0.000996625328295
const/int/int_of_num || code_natural_of_nat || 0.000967145522982
type/int/int || code_integer || 0.000935033079369
const/realax/real_neg || bit0 || 0.000934707515148
type/nums/num || num || 0.000855469562091
const/lists/ALL || eventually || 0.000850209964483
type/Complex/complexnumbers/complex || code_integer || 0.000674805310386
type/Complex/complexnumbers/complex || int || 0.000590653802575
const/realax/real_inv || bit0 || 0.000534451918116
const/lists/MEM || member3 || 0.000500807330565
const/Complex/complexnumbers/Cx || code_Neg || 0.000459509164626
const/Complex/complexnumbers/Cx || neg || 0.000453898821553
const/Complex/complexnumbers/Cx || code_Pos || 0.000447739479144
const/Complex/complexnumbers/Cx || pos || 0.000447484213375
const/int/int_of_real || code_nat_of_integer || 0.000445142843685
type/realax/real || nat || 0.000421954505243
const/Multivariate/transcendentals/rpow || pow || 0.000418050465765
const/lists/FILTER || filter3 || 0.000412459982215
const/Library/transc/exp || bit0 || 0.000401637229032
const/nums/SUC || inc || 0.000378239882187
const/Complex/complexnumbers/Cx || nat_of_num || 0.000368459691948
const/int/real_of_int || code_nat_of_natural || 0.00036080158765
const/int/real_of_int || code_natural_of_nat || 0.000358933448025
const/Library/transc/atn || suc_Rep || 0.000354862029318
const/realax/real_inv || bit1 || 0.000338525142997
const/Multivariate/transcendentals/atn || suc_Rep || 0.000324062142651
const/Library/transc/exp || suc_Rep || 0.000322695295794
const/Complex/complex_transc/csin || dup || 0.000314924243745
const/Complex/complex_transc/ccos || dup || 0.000314642430925
const/Complex/complexnumbers/complex_inv || dup || 0.000312360700155
const/realax/real_inv || sqr || 0.000311212792609
const/Multivariate/transcendentals/exp || suc_Rep || 0.00029975470122
const/Complex/complex_transc/csin || code_dup || 0.000299360877422
const/Complex/complex_transc/ccos || code_dup || 0.000299098677752
const/realax/real_neg || bit1 || 0.000297897759104
const/Complex/complexnumbers/complex_inv || code_dup || 0.000297853216439
type/Complex/complexnumbers/complex || nat || 0.000296902305308
const/Complex/complex_transc/cexp || dup || 0.00029104103546
const/realax/real_inv || bitM || 0.000289341443973
const/Multivariate/misc/sqrt || suc_Rep || 0.000281834808205
const/lists/ALL2 || rel_option || 0.000278704072043
const/Complex/complex_transc/cexp || code_dup || 0.000278361938751
const/Library/transc/sin || bit0 || 0.000275462820434
const/arith/PRE || sqr || 0.000273852006522
const/Library/transc/cos || bit0 || 0.000271849806309
const/Library/transc/exp || bit1 || 0.000267301720641
const/Complex/complexnumbers/complex_neg || dup || 0.000266940106041
const/Library/transc/exp || inc || 0.000262250423633
const/ind_types/CONS || insert3 || 0.000261139911461
const/Complex/complexnumbers/complex_neg || code_dup || 0.000257656974285
const/Multivariate/transcendentals/exp || bit1 || 0.000253343648698
type/realax/real || code_natural || 0.0002486502481
type/realax/real || int || 0.000238125261977
const/lists/ALL || frequently || 0.000237068436737
type/realax/real || code_integer || 0.000232551618381
const/int/int_of_real || code_natural_of_nat || 0.000224611127841
const/int/int_of_num || nat_of_num || 0.000219859867365
const/nums/_0 || one2 || 0.00020679830728
const/int/real_of_int || code_integer_of_nat || 0.000204923595165
const/Multivariate/transcendentals/pi || one2 || 0.000201598442913
const/nums/BIT1 || bit0 || 0.000198841724959
const/nums/BIT1 || bit1 || 0.00018742104804
const/int/num_of_int || code_natural_of_nat || 0.000181385904327
const/Library/transc/exp || bitM || 0.0001810813181
const/nums/BIT0 || bit0 || 0.000179363368829
const/nums/IND_0 || zero_Rep || 0.000178305189454
const/nums/SUC || bit0 || 0.000173425605278
const/int/int_of_real || code_nat_of_natural || 0.000173273474638
const/Multivariate/transcendentals/exp || bitM || 0.00016914070945
const/int/int_of_real || nat2 || 0.000168283037483
const/int/int_of_num || code_nat_of_natural || 0.000167995265643
const/int/real_of_int || code_int_of_integer || 0.000161975947305
type/nums/ind || ind || 0.000159897241638
const/nums/BIT0 || sqr || 0.00015787169842
type/nums/num || code_natural || 0.00015741275571
const/Multivariate/transcendentals/exp || inc || 0.000152059306899
const/nums/NUM_REP || nat3 || 0.000146700513997
const/int/int_of_real || code_integer_of_int || 0.0001434583412
const/realax/real_abs || sqr || 0.000141611487511
const/Library/rstc/TC || transitive_tranclp || 0.000137818866224
const/int/num_of_int || num_of_nat || 0.000137710606233
const/Library/transc/atn || bit1 || 0.000132030393041
const/realax/real_abs || bitM || 0.000131481515815
const/int/int_of_num || nat_of_char || 0.000129428934225
const/int/num_of_int || char_of_nat || 0.000128019722257
const/Multivariate/transcendentals/atn || bit1 || 0.000124048220508
const/int/int_neg || suc || 0.000120410689005
const/int/int_of_num || nat_of_nibble || 0.000115554162267
const/nums/IND_SUC || suc_Rep || 0.000114972046948
const/arith/- || pow || 0.000114577313186
const/nums/BIT0 || bit1 || 0.000113452806659
const/realax/real_of_num || pos || 0.000112655422417
const/arith/PRE || inc || 0.000112426732407
const/Multivariate/misc/sqrt || bit1 || 0.000112362635281
const/Library/transc/atn || bit0 || 0.000109208816628
type/nums/num || int || 0.000106902768801
const/int/int_of_real || code_n1042895779nteger || 0.000104808911096
const/Multivariate/transcendentals/atn || bit0 || 0.000103687828412
const/Library/rstc/RTC || transitive_tranclp || 0.000103084919797
type/int/int || num || 0.000100085280408
const/Multivariate/transcendentals/exp || bit0 || 9.90243897188e-05
const/int/int_of_num || nat2 || 9.56176185044e-05
const/Multivariate/misc/sqrt || bit0 || 9.53935962018e-05
const/Library/rstc/STC || transitive_tranclp || 9.44521314766e-05
type/nums/num || char || 9.17869393574e-05
const/int/num_of_int || nibble_of_nat || 9.04502540085e-05
const/int/real_of_int || nat_of_num || 8.88973914719e-05
const/Complex/complexnumbers/complex_inv || suc || 8.81758422023e-05
const/Library/transc/sin || inc || 8.79267569759e-05
const/int/real_of_int || code_i1730018169atural || 8.75494982141e-05
const/Library/rstc/RC || transitive_tranclp || 8.7434105842e-05
const/int/real_of_int || code_nat_of_integer || 8.71263482829e-05
const/realax/real_of_num || code_integer_of_int || 8.66191203615e-05
const/Library/transc/cos || inc || 8.62010658072e-05
type/nums/num || nibble || 8.61128706608e-05
const/arith/PRE || bitM || 8.56354589666e-05
const/Library/rstc/SC || transitive_tranclp || 8.55085535028e-05
const/nums/BIT0 || bitM || 8.5182315439e-05
const/Complex/complexnumbers/Cx || code_nat_of_natural || 8.3021938568e-05
const/Complex/complexnumbers/complex_neg || suc || 8.0957509938e-05
const/Complex/complex_transc/csin || suc || 7.90079758461e-05
const/Complex/complex_transc/ccos || suc || 7.89686838822e-05
const/Complex/complex_transc/cexp || suc || 7.79505335522e-05
const/Library/rstc/RSC || transitive_tranclp || 7.22536656227e-05
const/realax/real_inv || inc || 7.15568095661e-05
const/realax/real_neg || code_Suc || 7.13172301836e-05
const/int/int_of_num || code_integer_of_int || 6.76210054387e-05
const/real/real_sgn || code_Suc || 6.7213852404e-05
const/nums/SUC || bit1 || 6.70564910106e-05
const/realax/real_neg || inc || 6.65255474385e-05
const/int/integer || nat_is_nat || 6.53116463425e-05
const/int/real_of_int || nat2 || 6.38295113959e-05
const/Library/floor/rational || nat_is_nat || 6.16502183497e-05
const/iterate/polynomial_function || topological_subseq || 6.08491386277e-05
const/int/real_of_int || nat_of_char || 6.04090661268e-05
const/int/int_neg || code_Suc || 5.95656116995e-05
const/int/int_of_num || pos || 5.71057354197e-05
const/Library/rstc/RTC || transitive_rtranclp || 5.41390903268e-05
const/Complex/complexnumbers/Cx || code_natural_of_nat || 5.38371894134e-05
type/Complex/complexnumbers/complex || code_natural || 5.18065770968e-05
const/realax/real_neg || suc || 5.16276528636e-05
const/int/int_of_real || char_of_nat || 5.02734329968e-05
const/int/real_of_int || nat_of_nibble || 5.01183425534e-05
type/int/int || int || 4.98850118499e-05
const/int/int_neg || suc_Rep || 4.84767885155e-05
const/realax/real_abs || code_Suc || 4.77787083869e-05
const/realax/real_of_num || nat_of_num || 4.76510700906e-05
const/int/int_of_real || num_of_nat || 4.72264043378e-05
const/int/int_sgn || suc || 4.69119203892e-05
const/ind_types/FCONS || code_case_natural || 4.66242921615e-05
const/int/num_of_int || code_n1042895779nteger || 4.57128116225e-05
const/int/int_sgn || code_Suc || 4.34820078576e-05
const/nums/SUC || bitM || 4.18608875858e-05
const/int/int_abs || suc || 4.14524762918e-05
const/realax/real_of_num || nat2 || 3.70381296148e-05
const/real/real_sgn || suc || 3.62165599826e-05
const/realax/real_inv || suc || 3.61838839805e-05
const/int/int_abs || code_Suc || 3.61234110229e-05
const/int/int_of_real || nibble_of_nat || 3.54908347757e-05
const/Complex/complexnumbers/complex_inv || code_Suc || 3.2739093058e-05
const/realax/real_inv || code_Suc || 3.22686119193e-05
type/int/int || char || 3.11993934427e-05
const/trivia/o || comp || 3.10090570424e-05
const/realax/real_abs || suc || 2.84357680428e-05
const/int/num_of_int || code_int_of_integer || 2.83705383488e-05
type/int/int || nibble || 2.81069006813e-05
const/Multivariate/metric/eventually || eventually || 2.80736841175e-05
const/int/real_of_int || neg || 2.75238427778e-05
const/int/real_of_int || pos || 2.7066805809e-05
const/int/int_neg || bit0 || 2.64726378656e-05
const/int/real_of_int || code_Neg || 2.62287789605e-05
const/int/real_of_int || code_Pos || 2.54429907602e-05
const/Library/rstc/STC || transitive_rtranclp || 2.53832640191e-05
type/Complex/complexnumbers/complex || num || 2.52351982553e-05
const/int/int_sgn || bit0 || 2.51874137238e-05
const/nums/NUMERAL || bit1 || 2.50842425435e-05
const/Library/transc/exp || suc || 2.47210167464e-05
const/realax/real_add || nat_tsub || 2.46332508244e-05
const/realax/real_sub || nat_tsub || 2.42943141434e-05
const/Library/transc/exp || code_Suc || 2.39064070679e-05
const/realax/real_mul || nat_tsub || 2.31343246213e-05
const/int/int_of_num || code_i1730018169atural || 2.28335111929e-05
const/Complex/complexnumbers/Cx || code_int_of_integer || 2.24647685263e-05
const/nums/NUMERAL || bit0 || 2.23441585156e-05
type/Multivariate/metric/net || filter || 2.19399452276e-05
const/int/int_abs || bit0 || 2.18931024382e-05
const/real/real_sgn || dup || 2.10320795016e-05
const/Complex/complexnumbers/complex_inv || bit0 || 2.04262903082e-05
type/nums/ind || num || 1.91254990351e-05
const/real/real_sgn || code_dup || 1.90959988157e-05
const/nums/IND_0 || one2 || 1.82196595775e-05
const/int/int_sgn || inc || 1.78289902575e-05
const/realax/real_min || nat_tsub || 1.73914557931e-05
const/realax/real_max || nat_tsub || 1.66486694828e-05
const/Complex/complex_transc/csin || code_Suc || 1.66129491396e-05
const/Complex/complex_transc/ccos || code_Suc || 1.66094787665e-05
const/Library/transc/sin || code_Suc || 1.64874648926e-05
const/int/int_of_real || code_int_of_integer || 1.64334346534e-05
const/nums/SUC || code_Suc || 1.63709718449e-05
const/Library/transc/atn || suc || 1.63524553823e-05
const/Library/rstc/RSC || transitive_rtranclp || 1.62949652045e-05
const/Library/transc/cos || code_Suc || 1.61725321863e-05
const/Complex/complex_transc/cexp || code_Suc || 1.56311619758e-05
const/Complex/complexnumbers/complex_neg || code_Suc || 1.56161459523e-05
const/int/real_of_int || code_integer_of_int || 1.55771725755e-05
const/Multivariate/transcendentals/atn || suc || 1.55160245152e-05
const/realax/real_neg || dup || 1.52244971201e-05
const/int/int_neg || inc || 1.51409100578e-05
const/Complex/complexnumbers/complex_norm || code_natural_of_nat || 1.49820668481e-05
const/Complex/complexnumbers/Cx || rep_Nat || 1.4971363631e-05
const/Complex/complexnumbers/complex_inv || inc || 1.4910119917e-05
const/Multivariate/transcendentals/exp || suc || 1.48103311855e-05
const/int/int_abs || inc || 1.46194770179e-05
const/Multivariate/misc/sqrt || suc || 1.42614211782e-05
const/realax/real_abs || dup || 1.41708152945e-05
const/realax/real_neg || code_dup || 1.40380862469e-05
const/nums/IND_SUC || bit1 || 1.403624089e-05
const/realax/real_abs || code_dup || 1.30893085954e-05
const/Complex/complexnumbers/cnj || suc || 1.29952511912e-05
type/Complex/complexnumbers/complex || ind || 1.26661122335e-05
const/Complex/complexnumbers/complex_norm || nat_of_num || 1.22623573579e-05
const/realax/real_div || nat_tsub || 1.2128276586e-05
const/Complex/complexnumbers/complex_norm || code_nat_of_natural || 1.20523498844e-05
const/realax/real_inv || dup || 1.18630125215e-05
const/realax/real_of_num || nat_of_char || 1.16783604669e-05
const/realax/real_of_num || code_nat_of_natural || 1.13697342677e-05
const/Complex/complexnumbers/Cx || nat_of_char || 1.0813462485e-05
const/realax/real_inv || code_dup || 1.07904205268e-05
const/realax/real_of_num || nat_of_nibble || 1.06517342655e-05
const/nums/IND_SUC || bit0 || 1.04324092066e-05
const/Complex/complexnumbers/Cx || nat_of_nibble || 9.59021897454e-06
const/Library/transc/sin || suc || 8.4861468739e-06
const/Library/transc/cos || suc || 8.37935647244e-06
type/nums/num || code_integer || 6.97747313855e-06
const/Library/transc/atn || code_Suc || 6.86641196363e-06
const/Complex/complexnumbers/complex_norm || neg || 6.57918725456e-06
const/Complex/complexnumbers/complex_norm || pos || 6.47618968832e-06
const/Multivariate/transcendentals/atn || code_Suc || 6.33614377684e-06
const/Complex/complexnumbers/complex_norm || code_Neg || 6.20567495937e-06
type/realax/hreal || nat || 6.03148303533e-06
const/Complex/complexnumbers/complex_norm || code_Pos || 6.03002305453e-06
const/Multivariate/transcendentals/exp || code_Suc || 5.91036988822e-06
type/realax/real || char || 5.63031016178e-06
const/Multivariate/misc/sqrt || code_Suc || 5.59211829253e-06
const/realax/hreal_of_num || code_nat_of_natural || 5.43192136925e-06
type/realax/real || nibble || 5.33914511084e-06
const/realax/real_of_num || code_int_of_integer || 4.51264634905e-06
const/int/num_of_int || code_integer_of_int || 4.42168978513e-06
const/realax/hreal_of_num || nat_of_char || 4.25917133373e-06
const/int/int_of_num || code_int_of_integer || 4.19123992488e-06
const/int/int_neg || bit1 || 4.14290533546e-06
const/Multivariate/metric/eventually || frequently || 3.90591679389e-06
const/realax/hreal_of_num || nat_of_nibble || 3.40418270209e-06
const/Complex/complexnumbers/complex_neg || bit1 || 2.68275185896e-06
const/nums/BIT0 || code_Suc || 2.58357036489e-06
const/Complex/complexnumbers/complex_neg || bit0 || 2.54786674832e-06
const/Complex/complex_transc/cexp || inc || 2.44892410505e-06
const/nums/BIT1 || code_Suc || 2.32881073194e-06
const/nums/NUMERAL || code_Suc || 2.18729665695e-06
const/trivia/one_REP || product_Rep_unit || 1.95148832526e-06
const/trivia/one_ABS || product_Abs_unit || 1.95148832526e-06
const/Complex/complexnumbers/cnj || code_Suc || 1.90722559509e-06
const/Complex/complexnumbers/complex_inv || bitM || 1.52185438019e-06
const/Complex/complex_transc/cexp || bitM || 1.47145939869e-06
const/Complex/complexnumbers/cnj || bit1 || 1.30485243604e-06
const/Complex/complexnumbers/complex_inv || bit1 || 1.09321234972e-06
const/Complex/complex_transc/cexp || bit1 || 1.06838565884e-06
const/Complex/complexnumbers/cnj || bit0 || 1.05992134316e-06
type/trivia/1 || product_unit || 7.81555772009e-07
const/trivia/one || product_Unity || 7.17227597434e-07
const/Complex/complexnumbers/cnj || suc_Rep || 5.39195447826e-07
const/Complex/complexnumbers/complex_neg || suc_Rep || 4.03969946373e-07
const/realax/hreal_of_num || code_int_of_integer || 2.61490260936e-07
type/realax/hreal || int || 1.54004287457e-07
type/Complex/complexnumbers/complex || complex || 4.37041603742e-08
const/Complex/complexnumbers/cnj || cnj || 3.64757269178e-08
const/Complex/complexnumbers/complex_norm || re || 3.27542031808e-08
const/Complex/complexnumbers/complex_neg || cnj || 2.70756779941e-08
type/realax/real || real || 2.31525546409e-08
const/Complex/complexnumbers/complex_inv || cnj || 6.54832658566e-09
const/Library/rstc/TC || transitive_rtranclp || 1.63464297767e-09
const/Library/transc/atn || arctan || 1.25871205625e-09
const/Multivariate/transcendentals/atn || arctan || 1.17078349795e-09
const/Library/transc/exp || arctan || 1.16681161609e-09
const/Library/transc/atn || sqrt || 1.11010789025e-09
const/Multivariate/transcendentals/exp || arctan || 1.09921397516e-09
const/Multivariate/misc/sqrt || arctan || 1.04513100217e-09
const/Multivariate/transcendentals/atn || sqrt || 1.04108851796e-09
const/Library/transc/exp || sqrt || 1.03794453892e-09
const/Multivariate/transcendentals/exp || sqrt || 9.84081242663e-10
const/realax/real_inv || arctan || 9.43211685365e-10
const/Multivariate/misc/sqrt || sqrt || 9.40494650516e-10
const/realax/real_neg || arctan || 8.84670405752e-10
const/realax/real_inv || sqrt || 8.57132706553e-10
const/realax/real_neg || sqrt || 8.08509205601e-10
const/Multivariate/metric/open_in || rep_filter || 7.52436853639e-10
const/Multivariate/metric/istopology || is_filter || 7.51631323818e-10
const/Multivariate/metric/topology || abs_filter || 5.47192094353e-10
type/Multivariate/metric/topology || filter || 4.62940484616e-10
const/Library/rstc/RSTC || transitive_tranclp || 2.94383699584e-10
const/ind_types/INL || sum_Inl || 5.41655723892e-11
type/ind_types/sum || sum_sum || 3.92510952214e-11
const/Library/rstc/RC || transitive_rtranclp || 2.2230836068e-11
const/Library/analysis/topology || abs_filter || 9.68050371513e-12
const/Library/analysis/open || rep_filter || 7.39945272031e-12
type/Library/analysis/topology || filter || 3.53122883326e-12
const/ind_types/NONE || none || 1.94180831343e-12
const/ind_types/SOME || some || 1.9322048278e-12
type/ind_types/option || option || 1.6277546686e-12
const/Library/analysis/re_universe || quot_True || 1.67929355387e-14
type/realax/real || complex || 1.71063277038e-15
const/realax/real_inv || cnj || 8.98175521721e-16
const/realax/real_neg || cnj || 8.21304621419e-16
const/Library/rstc/SC || transitive_rtranclp || 4.43042320608e-16
const/wf/WF || wfP || 2.79877131938e-16
const/Library/transc/atn || cnj || 2.54714998188e-16
const/Multivariate/transcendentals/atn || cnj || 2.36248916736e-16
const/Library/transc/exp || cnj || 2.35417332097e-16
const/Multivariate/transcendentals/exp || cnj || 2.21297969484e-16
const/Multivariate/misc/sqrt || cnj || 2.10046426617e-16
const/trivia/I || bNF_id_bnf || 2.89703305639e-17
const/class/@ || the || 9.21640359064e-19
const/int/int_neg || cnj || 6.15684113161e-19
type/int/int || complex || 4.18443313869e-19
type/nums/num || real || 3.85807012118e-20
const/nums/SUC || arctan || 8.69938294625e-21
const/nums/SUC || sqrt || 7.80162187434e-21
const/trivia/I || basic_BNF_ctor_rec || 7.71060499401e-21
const/nums/BIT0 || arctan || 7.48539843953e-21
const/nums/BIT0 || sqrt || 6.81095608203e-21
const/nums/BIT1 || arctan || 6.69649514594e-21
const/nums/NUMERAL || arctan || 6.26339340004e-21
const/nums/BIT1 || sqrt || 6.15153819966e-21
const/nums/NUMERAL || sqrt || 5.78412305507e-21
const/sets/UNIV || quot_True || 2.38960746985e-21
const/trivia/I || basic_BNF_xtor || 3.32980457939e-22
type/Complex/complexnumbers/complex || real || 2.68521910658e-22
type/nums/num || ind || 2.61839804603e-22
const/nums/IND_SUC || suc || 1.65439025433e-22
const/Complex/complexnumbers/cnj || arctan || 1.5348166218e-22
type/nums/ind || nat || 1.27494718821e-22
const/Complex/complexnumbers/cnj || sqrt || 1.25520449762e-22
const/Complex/complexnumbers/complex_neg || arctan || 1.11576966919e-22
const/nums/SUC || suc_Rep || 1.08370593085e-22
const/Complex/complexnumbers/complex_neg || sqrt || 9.5998338525e-23
const/nums/BIT0 || suc_Rep || 8.8361805557e-23
const/nums/BIT1 || suc_Rep || 7.64433798579e-23
const/nums/NUMERAL || suc_Rep || 7.02279990902e-23
type/nums/ind || real || 1.12505339104e-23
const/nums/IND_SUC || arctan || 1.04844550529e-23
type/nums/num || complex || 8.07049556641e-24
const/nums/IND_SUC || sqrt || 8.02032910343e-24
const/nums/IND_SUC || code_Suc || 3.48198082729e-24
const/nums/SUC || cnj || 3.19567139831e-24
const/nums/BIT0 || cnj || 2.71168126238e-24
const/nums/BIT1 || cnj || 2.40428171765e-24
const/nums/NUMERAL || cnj || 2.23783976438e-24
type/nums/ind || code_natural || 2.17720095071e-24
const/nums/IND_SUC || cnj || 1.6281835036e-25
type/nums/ind || complex || 1.18716722906e-25
type/int/int || real || 1.39734024534e-26
const/int/int_neg || arctan || 1.26611600806e-26
const/int/int_neg || sqrt || 1.04912524977e-26
