type/ind_types/list || list || 0.75631397746
const/ind_types/NIL || nil || 0.655966844162
const/lists/APPEND || append || 0.628279125642
const/ind_types/CONS || cons || 0.594697733506
const/lists/MAP || map || 0.437136057956
const/lists/REVERSE || rev || 0.429453078684
const/lists/HD || hd || 0.362542940067
const/lists/TL || tl || 0.360781001339
const/lists/BUTLAST || butlast || 0.291258610212
const/lists/ALL2 || list_all2 || 0.284731607362
const/lists/APPEND || splice || 0.256309081774
const/lists/ALL || pred_list || 0.231093415356
const/lists/FILTER || filter2 || 0.198858848263
const/lists/LAST || last || 0.197958510885
const/lists/ALL || listsp || 0.163739281763
const/lists/EX || list_ex || 0.158848288648
const/lists/REVERSE || butlast || 0.156367554863
const/lists/REVERSE || tl || 0.143740829305
const/lists/ITLIST || foldr || 0.127977840128
const/lists/REPLICATE || replicate || 0.125170914087
const/lists/ITLIST || fold || 0.117471428855
const/lists/ZIP || zip || 0.112301599131
const/lists/FILTER || dropWhile || 0.103619521187
const/lists/FILTER || takeWhile || 0.0992072401153
const/lists/BUTLAST || rotate1 || 0.0885381903659
const/lists/REVERSE || rotate1 || 0.0783719576328
const/lists/BUTLAST || remdups_adj || 0.074578931355
const/lists/BUTLAST || remdups || 0.0739474608217
const/pair/, || product_Pair || 0.0688661021251
const/lists/BUTLAST || tl || 0.0683218827004
const/lists/REVERSE || remdups_adj || 0.0670772443951
const/lists/REVERSE || remdups || 0.0665603804563
type/pair/prod || product_prod || 0.0656624630573
const/nums/SUC || suc || 0.06564986121
const/lists/BUTLAST || rev || 0.0625503217906
type/nums/num || nat || 0.056523835308
const/trivia/I || id || 0.0535798401226
const/ind_types/FCONS || case_nat || 0.0142976877791
type/realax/real || ind || 0.0127259669943
const/pair/SND || product_snd || 0.00946158282012
const/Library/floor/rational || nat3 || 0.00894016420162
const/int/integer || nat3 || 0.00864962868188
const/realax/real_of_num || rep_Nat || 0.00797804126217
const/int/real_of_int || rep_Nat || 0.00493549431966
const/int/int_of_real || abs_Nat || 0.00476389329574
const/lists/MAP || map_option || 0.00459522037117
const/lists/MAP || map2 || 0.00351944034792
const/lists/MAP || filtermap || 0.00289648412255
type/realax/real || num || 0.00272259921641
type/ind_types/list || option || 0.00269577369846
type/int/int || nat || 0.00263972719195
const/int/int_of_num || rep_Nat || 0.00256625825238
const/lists/MAP || image2 || 0.0025361502406
const/realax/hreal_of_num || rep_Nat || 0.00222880660215
type/int/int || ind || 0.00218791208858
const/int/num_of_int || abs_Nat || 0.00215004119592
type/ind_types/list || filter || 0.00211054087129
const/int/num_of_int || code_nat_of_integer || 0.00210559193127
const/realax/real_neg || suc_Rep || 0.00204611774345
type/ind_types/list || set || 0.00174625015413
const/realax/real_abs || suc_Rep || 0.00165699161356
const/int/num_of_int || code_nat_of_natural || 0.00153946715003
type/ind_types/list || pred || 0.00150214507408
type/realax/hreal || ind || 0.0014621201782
const/nums/BIT0 || suc || 0.00122893404516
const/realax/real_inv || suc_Rep || 0.00119837012891
const/nums/BIT1 || suc || 0.00113705836061
const/int/int_of_num || code_integer_of_nat || 0.001124540951
const/ind_types/NIL || none || 0.00109919061627
const/nums/NUMERAL || suc || 0.00108389356257
type/int/int || code_natural || 0.00102624376762
const/Library/rstc/RSTC || transitive_rtranclp || 0.000996625328295
const/int/int_of_num || code_natural_of_nat || 0.000970101857406
const/realax/real_neg || bit0 || 0.000934655998855
type/int/int || code_integer || 0.000933228295735
const/lists/ALL || eventually || 0.000853999902265
type/nums/num || num || 0.000836301534971
type/Complex/complexnumbers/complex || code_integer || 0.000674770608906
type/Complex/complexnumbers/complex || int || 0.000590530644165
const/realax/real_inv || bit0 || 0.000534420464303
const/lists/MEM || member3 || 0.000503058271606
const/Complex/complexnumbers/Cx || code_Neg || 0.000459485532777
const/Complex/complexnumbers/Cx || neg || 0.000453862702975
const/Complex/complexnumbers/Cx || code_Pos || 0.000447716445998
const/Complex/complexnumbers/Cx || pos || 0.000447448603475
const/int/int_of_real || code_nat_of_integer || 0.000444303961393
const/Multivariate/transcendentals/rpow || pow || 0.000418028900663
const/lists/FILTER || filter3 || 0.000414313169378
const/Library/transc/exp || bit0 || 0.000401612133793
const/nums/SUC || inc || 0.000370001885563
const/Complex/complexnumbers/Cx || nat_of_num || 0.000368436127248
const/int/real_of_int || code_natural_of_nat || 0.000359104982674
const/Library/transc/atn || suc_Rep || 0.00035592530168
const/realax/real_inv || bit1 || 0.000338507494901
type/realax/real || nat || 0.000336854936176
const/Multivariate/transcendentals/atn || suc_Rep || 0.00032503332376
const/Library/transc/exp || suc_Rep || 0.000323662389185
const/int/real_of_int || code_nat_of_natural || 0.00032272241408
const/Complex/complex_transc/csin || dup || 0.000314898636058
const/Complex/complex_transc/ccos || dup || 0.000314616840798
const/Complex/complexnumbers/complex_inv || dup || 0.000312335973808
const/realax/real_inv || sqr || 0.000311196737005
const/Multivariate/transcendentals/exp || suc_Rep || 0.0003006531771
const/Complex/complex_transc/csin || code_dup || 0.000299345398033
const/Complex/complex_transc/ccos || code_dup || 0.000299083214713
const/realax/real_neg || bit1 || 0.000297882010574
const/Complex/complexnumbers/complex_inv || code_dup || 0.00029783791889
type/Complex/complexnumbers/complex || nat || 0.00029686954839
const/Complex/complex_transc/cexp || dup || 0.000291017650884
const/realax/real_inv || bitM || 0.000289326435823
const/Multivariate/misc/sqrt || suc_Rep || 0.000282679669624
const/lists/ALL2 || rel_option || 0.000279935831914
const/Complex/complex_transc/cexp || code_dup || 0.000278347558637
const/Library/transc/sin || bit0 || 0.000275444532
const/Library/transc/cos || bit0 || 0.000271831756711
const/arith/PRE || sqr || 0.000267824843493
const/Library/transc/exp || bit1 || 0.000267287743382
const/Complex/complexnumbers/complex_neg || dup || 0.000266919748168
const/ind_types/CONS || insert3 || 0.00026231420365
const/Library/transc/exp || inc || 0.000262235569178
const/Complex/complexnumbers/complex_neg || code_dup || 0.000257643865823
const/Multivariate/transcendentals/exp || bit1 || 0.000253330395784
type/realax/real || code_natural || 0.000248709806699
const/lists/ALL || frequently || 0.000238128836117
type/realax/real || int || 0.000233949392308
type/realax/real || code_integer || 0.000229296113284
const/int/int_of_num || nat_of_num || 0.000218332717391
const/int/real_of_int || code_integer_of_nat || 0.000204643586766
const/nums/_0 || one2 || 0.000202247688234
const/Multivariate/transcendentals/pi || one2 || 0.00020158782523
const/int/int_of_real || code_natural_of_nat || 0.000200697729662
const/nums/BIT1 || bit0 || 0.000194464932679
const/nums/BIT1 || bit1 || 0.000183327435586
const/int/num_of_int || code_natural_of_nat || 0.000181276519592
const/Library/transc/exp || bitM || 0.000181071918799
const/nums/IND_0 || zero_Rep || 0.000178305189454
const/nums/BIT0 || bit0 || 0.000175445520293
const/int/int_of_real || code_nat_of_natural || 0.000173355359917
const/nums/SUC || bit0 || 0.000169587072221
const/Multivariate/transcendentals/exp || bitM || 0.000169131927359
const/int/int_of_num || code_nat_of_natural || 0.000167898221785
const/int/int_of_real || nat2 || 0.000167054778315
const/int/real_of_int || code_int_of_integer || 0.000160465633164
type/nums/ind || ind || 0.000159897241638
type/nums/num || code_natural || 0.0001551817265
const/nums/BIT0 || sqr || 0.00015437295782
const/Multivariate/transcendentals/exp || inc || 0.000152051272277
const/nums/NUM_REP || nat3 || 0.000146700513997
const/int/int_of_real || code_integer_of_int || 0.000142106041658
const/realax/real_abs || sqr || 0.00014160402993
const/Library/rstc/TC || transitive_tranclp || 0.000137818866224
const/int/num_of_int || num_of_nat || 0.000136847575341
const/Library/transc/atn || bit1 || 0.000132023390409
const/realax/real_abs || bitM || 0.000131474589422
const/int/int_of_num || nat_of_char || 0.000129383603754
const/int/num_of_int || char_of_nat || 0.0001279715712
const/Multivariate/transcendentals/atn || bit1 || 0.000124041639431
const/int/int_neg || suc || 0.00012048266226
const/int/int_of_num || nat_of_nibble || 0.000115521392366
const/nums/IND_SUC || suc_Rep || 0.000114972046948
const/Multivariate/misc/sqrt || bit1 || 0.000112356671765
const/arith/- || pow || 0.000112056276227
const/realax/real_of_num || pos || 0.000111833130998
const/nums/BIT0 || bit1 || 0.000110936591211
const/arith/PRE || inc || 0.000109942584041
const/Library/transc/atn || bit0 || 0.000109203019871
type/nums/num || int || 0.000104083081415
const/Multivariate/transcendentals/atn || bit0 || 0.000103682323666
const/Library/rstc/RTC || transitive_tranclp || 0.000103084919797
const/int/int_of_real || code_n1042895779nteger || 0.00010159774364
const/Multivariate/transcendentals/exp || bit0 || 9.90191317134e-05
const/Multivariate/misc/sqrt || bit0 || 9.53885303554e-05
const/int/int_of_num || nat2 || 9.53820290331e-05
const/Library/rstc/STC || transitive_tranclp || 9.44521314766e-05
const/int/num_of_int || nibble_of_nat || 9.04229585372e-05
type/nums/num || char || 8.99064400523e-05
const/Complex/complexnumbers/complex_inv || suc || 8.81655245864e-05
const/Library/transc/sin || inc || 8.79211475453e-05
const/Library/rstc/RC || transitive_tranclp || 8.7434105842e-05
type/int/int || num || 8.70181283195e-05
const/realax/real_of_num || code_integer_of_int || 8.64057001124e-05
const/Library/transc/cos || inc || 8.61955664467e-05
const/Library/rstc/SC || transitive_tranclp || 8.55085535028e-05
const/int/real_of_int || code_i1730018169atural || 8.48670850428e-05
type/nums/num || nibble || 8.43378487703e-05
const/arith/PRE || bitM || 8.37367046642e-05
const/nums/BIT0 || bitM || 8.32944297621e-05
const/Complex/complexnumbers/Cx || code_nat_of_natural || 8.30005412342e-05
const/Complex/complexnumbers/complex_neg || suc || 8.09489667894e-05
const/int/real_of_int || code_nat_of_integer || 7.99210588211e-05
const/Complex/complex_transc/csin || suc || 7.90005345684e-05
const/Complex/complex_transc/ccos || suc || 7.89612472948e-05
const/Complex/complex_transc/cexp || suc || 7.79432472278e-05
const/Library/rstc/RSC || transitive_tranclp || 7.22536656227e-05
const/realax/real_inv || inc || 7.15521523444e-05
const/realax/real_neg || code_Suc || 7.13361304077e-05
const/int/real_of_int || nat_of_num || 6.9865984921e-05
const/real/real_sgn || code_Suc || 6.72465217466e-05
const/realax/real_neg || inc || 6.65212753954e-05
const/nums/SUC || bit1 || 6.5562509695e-05
const/int/integer || nat_is_nat || 6.38009940183e-05
const/int/int_of_num || code_integer_of_int || 6.33014597607e-05
const/Library/floor/rational || nat_is_nat || 6.02272862131e-05
const/int/real_of_int || nat2 || 5.82777712316e-05
const/int/int_neg || code_Suc || 5.48446081994e-05
const/Library/rstc/RTC || transitive_rtranclp || 5.41390903268e-05
const/int/int_of_num || pos || 5.21387829176e-05
const/int/int_neg || suc_Rep || 4.86566159095e-05
const/realax/real_abs || code_Suc || 4.78022012206e-05
const/int/int_sgn || suc || 4.69347224259e-05
const/int/real_of_int || nat_of_char || 4.63217120703e-05
type/int/int || int || 4.60178149209e-05
const/ind_types/FCONS || code_case_natural || 4.56118258524e-05
const/int/num_of_int || code_n1042895779nteger || 4.53974999843e-05
const/realax/real_of_num || nat_of_num || 4.35064313202e-05
const/realax/real_neg || suc || 4.26690641587e-05
const/int/int_abs || suc || 4.14728586405e-05
const/Complex/complexnumbers/Cx || code_natural_of_nat || 4.12828789939e-05
const/nums/SUC || bitM || 4.09340294278e-05
type/Complex/complexnumbers/complex || code_natural || 3.96815677638e-05
const/int/int_sgn || code_Suc || 3.89185032384e-05
const/int/int_of_real || char_of_nat || 3.85138728861e-05
const/int/real_of_int || nat_of_nibble || 3.8483056353e-05
const/int/int_of_real || num_of_nat || 3.70389276462e-05
const/realax/real_of_num || nat2 || 3.39749608617e-05
const/int/int_abs || code_Suc || 3.23458040437e-05
const/realax/real_inv || code_Suc || 3.2259793431e-05
const/real/real_sgn || suc || 3.13131988138e-05
const/Multivariate/metric/eventually || eventually || 2.80736841175e-05
const/int/num_of_int || code_int_of_integer || 2.80038537726e-05
const/realax/real_inv || suc || 2.78524919408e-05
const/int/int_of_real || nibble_of_nat || 2.72323360316e-05
const/int/real_of_int || neg || 2.57816250006e-05
const/Library/rstc/STC || transitive_rtranclp || 2.53832640191e-05
const/int/real_of_int || pos || 2.53538062527e-05
const/Complex/complexnumbers/complex_inv || code_Suc || 2.5072739462e-05
const/realax/real_abs || suc || 2.45946218678e-05
const/int/real_of_int || code_Neg || 2.45736638336e-05
const/nums/NUMERAL || bit1 || 2.4521116536e-05
const/int/int_neg || bit0 || 2.44864111803e-05
const/realax/real_add || nat_tsub || 2.40630821818e-05
type/int/int || char || 2.39235526661e-05
const/Library/transc/exp || code_Suc || 2.3899487237e-05
const/int/real_of_int || code_Pos || 2.38380637113e-05
const/realax/real_sub || nat_tsub || 2.37320855141e-05
const/int/int_sgn || bit0 || 2.36005131715e-05
type/Complex/complexnumbers/complex || num || 2.28668919195e-05
const/int/int_of_num || code_i1730018169atural || 2.26760097144e-05
const/realax/real_mul || nat_tsub || 2.25992506634e-05
const/Complex/complexnumbers/Cx || code_int_of_integer || 2.23541899071e-05
type/Multivariate/metric/net || filter || 2.19399452276e-05
const/nums/NUMERAL || bit0 || 2.18425072617e-05
type/int/int || nibble || 2.1581597878e-05
const/int/int_abs || bit0 || 2.05195829604e-05
const/Complex/complexnumbers/complex_inv || bit0 || 1.97279371194e-05
const/real/real_sgn || dup || 1.97048971835e-05
type/nums/ind || num || 1.91254990351e-05
const/Library/transc/exp || suc || 1.90234660454e-05
const/nums/IND_0 || one2 || 1.82196595775e-05
const/real/real_sgn || code_dup || 1.78948455142e-05
const/realax/real_min || nat_tsub || 1.69899375152e-05
const/Library/transc/sin || code_Suc || 1.64833162516e-05
const/Library/rstc/RSC || transitive_rtranclp || 1.62949652045e-05
const/realax/real_max || nat_tsub || 1.62644434689e-05
const/Library/transc/cos || code_Suc || 1.61684640489e-05
const/nums/SUC || code_Suc || 1.60208565543e-05
const/int/int_of_real || code_int_of_integer || 1.59018730748e-05
const/int/real_of_int || code_integer_of_int || 1.50733075296e-05
const/Complex/complexnumbers/complex_norm || code_natural_of_nat || 1.49784346307e-05
const/realax/real_neg || dup || 1.42512756431e-05
const/int/int_sgn || inc || 1.40479344284e-05
const/nums/IND_SUC || bit1 || 1.403624089e-05
const/realax/real_abs || dup || 1.32801905104e-05
const/realax/real_neg || code_dup || 1.31431988724e-05
const/Complex/complexnumbers/cnj || suc || 1.29933096091e-05
const/Complex/complex_transc/csin || code_Suc || 1.27338536224e-05
const/Complex/complex_transc/ccos || code_Suc || 1.27312631064e-05
const/Library/transc/atn || suc || 1.26241014325e-05
const/realax/real_abs || code_dup || 1.22696303721e-05
const/Multivariate/transcendentals/atn || suc || 1.19790505923e-05
const/Complex/complexnumbers/complex_neg || code_Suc || 1.19780788171e-05
const/Complex/complex_transc/cexp || code_Suc || 1.19741690261e-05
const/int/int_neg || inc || 1.19064279905e-05
const/realax/real_div || nat_tsub || 1.1849634734e-05
const/Complex/complexnumbers/complex_inv || inc || 1.15730152312e-05
const/Complex/complexnumbers/Cx || rep_Nat || 1.15488051666e-05
const/int/int_abs || inc || 1.15122599671e-05
const/realax/real_inv || dup || 1.14877335278e-05
const/Multivariate/transcendentals/exp || suc || 1.1434767778e-05
const/Multivariate/misc/sqrt || suc || 1.10113723361e-05
const/Complex/complexnumbers/Cx || nat_of_char || 1.08118440758e-05
const/realax/real_inv || code_dup || 1.04709334141e-05
const/nums/IND_SUC || bit0 || 1.04324092066e-05
type/Complex/complexnumbers/complex || ind || 9.75818270001e-06
const/Complex/complexnumbers/Cx || nat_of_nibble || 9.58878472724e-06
const/Complex/complexnumbers/complex_norm || nat_of_num || 9.51785533338e-06
const/realax/real_of_num || nat_of_char || 9.39790609569e-06
const/realax/real_of_num || code_nat_of_natural || 9.36847717992e-06
const/Complex/complexnumbers/complex_norm || code_nat_of_natural || 9.23873533757e-06
const/realax/real_of_num || nat_of_nibble || 8.55376924106e-06
const/Library/transc/atn || code_Suc || 6.86390773633e-06
type/nums/num || code_integer || 6.64651123989e-06
const/Library/transc/sin || suc || 6.50463359288e-06
const/Library/transc/cos || suc || 6.42281364783e-06
const/Complex/complexnumbers/complex_norm || neg || 6.37105162199e-06
const/Multivariate/transcendentals/atn || code_Suc || 6.33384046004e-06
const/Complex/complexnumbers/complex_norm || pos || 6.27132439645e-06
const/Complex/complexnumbers/complex_norm || code_Neg || 6.02192106285e-06
const/Multivariate/transcendentals/exp || code_Suc || 5.90822698252e-06
type/realax/hreal || nat || 5.88545723392e-06
const/Complex/complexnumbers/complex_norm || code_Pos || 5.85149547974e-06
type/realax/real || char || 5.6294674906e-06
const/Multivariate/misc/sqrt || code_Suc || 5.59009476012e-06
type/realax/real || nibble || 5.33834662157e-06
const/realax/hreal_of_num || code_nat_of_natural || 5.32378886812e-06
const/realax/real_of_num || code_int_of_integer || 4.40950412431e-06
const/realax/hreal_of_num || nat_of_char || 4.14073595074e-06
const/int/num_of_int || code_integer_of_int || 4.06996424422e-06
const/Multivariate/metric/eventually || frequently || 3.90591679389e-06
const/int/int_of_num || code_int_of_integer || 3.85825032374e-06
const/int/int_neg || bit1 || 3.53706511912e-06
const/realax/hreal_of_num || nat_of_nibble || 3.30910261061e-06
const/nums/BIT0 || code_Suc || 2.53358117413e-06
const/Complex/complexnumbers/complex_neg || bit1 || 2.43902152852e-06
const/nums/BIT1 || code_Suc || 2.2837735252e-06
const/Complex/complexnumbers/complex_neg || bit0 || 2.27128596865e-06
const/Complex/complex_transc/cexp || inc || 2.25433918903e-06
const/nums/NUMERAL || code_Suc || 2.14500803523e-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.4235669784e-06
const/Complex/complexnumbers/complex_inv || bitM || 1.35611300255e-06
const/Complex/complex_transc/cexp || bitM || 1.311219406e-06
const/Complex/complexnumbers/cnj || bit1 || 1.16465779915e-06
const/Complex/complexnumbers/complex_inv || bit1 || 9.74162922921e-07
const/Complex/complex_transc/cexp || bit1 || 9.52030385431e-07
const/Complex/complexnumbers/cnj || bit0 || 9.46149431485e-07
type/trivia/1 || product_unit || 7.81555772009e-07
const/trivia/one || product_Unity || 7.17227597434e-07
const/Complex/complexnumbers/cnj || suc_Rep || 4.03885043333e-07
const/Complex/complexnumbers/complex_neg || suc_Rep || 3.02656720138e-07
const/realax/hreal_of_num || code_int_of_integer || 2.47646832827e-07
type/realax/hreal || int || 1.45851220909e-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
