$ nat || $ natural || 0.89869132915
(ord_less_eq nat) || <= || 0.828555009266
(zero_zero nat) || (1. Z_2) 0_NN VertexSelector 1 (1_ F_Complex) 1r (elementary_tree NAT) ({..}1 {}) || 0.825027277973
$ real || $ real || 0.747319422213
(uminus_uminus real) || -0 || 0.730381421615
pi || P_t || 0.741876951083
(dvd_dvd nat) || divides || 0.713018671496
$true || $ (~ empty0) || 0.667862743955
(plus_plus real) || + || 0.665144445563
(((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || ((* 2) P_t) || 0.741537955224
(gcd_gcd nat) || gcd || 0.635663499587
(gcd_lcm nat) || lcm0 || 0.652323970041
(minus_minus real) || - || 0.620735803034
$ (set $V_$true) || $ (Element (carrier (RRing $V_(~ empty0)))) || 0.596592618617
set || RRing || 0.695013396862
inf_inf || *18 || 0.504279239231
$ int || $true || 0.494242522022
(zero_zero int) || op0 {} || 0.548306414345
take || |3 || 0.480930710164
drop || #slash#^ || 0.494503231997
$ (list $V_$true) || $ (FinSequence $V_(~ empty0)) || 0.493810112598
(minus_minus nat) || -\1 || 0.454423389464
(cos real) || cos || 0.449872182132
(sin real) || sin || 0.448838733254
sup_sup || +9 || 0.399217320195
((ord_less_eq real) (zero_zero real)) || (<= NAT) || 0.398061339676
zero_zero || (-2 3) || 0.358708079004
size_size || <X> || 0.660247950066
nibble || <e1> || 0.553596072867
nat || <e2> || 0.501799526457
(dvd_dvd int) || c= || 0.348579611912
(zero_zero real) || (0. F_Complex) (0. Z_2) NAT 0c || 0.334669385639
cnj || +46 || 0.456683570481
$ complex || $ quaternion || 0.574789900035
(times_times complex) || 0q || 0.460775183147
sqrt || ^20 || 0.373704384713
transitive_trancl || bounded_metric || 0.322460158807
complex2 || |[..]| || 0.320836983024
append || ^ || 0.317252807713
nil || <*> || 0.315810247072
$ ((product_prod $V_$true) $V_$true) || $ (& (~ empty) (& infinite0 (& ((reduced $V_(~ empty0)) $V_(~ empty0)) ((Mealy-FSM $V_(~ empty0)) $V_(~ empty0))))) || 0.310885037959
basic_sndsp || -are_isomorphic || 0.343453841353
(gcd_gcd int) || #slash##bslash#0 || 0.303346231237
nat_tr1645093318rphism || is_similar_to0 || 0.299127403957
product_snd || the_reduction_of || 0.29328222386
(gcd_lcm int) || #bslash##slash#0 || 0.288182348533
$ (set ((product_prod $V_$true) $V_$true)) || $ (& Function-like (& ((quasi_total (([:..:] $V_(~ empty0)) $V_(~ empty0))) REAL) (Element (bool (([:..:] (([:..:] $V_(~ empty0)) $V_(~ empty0))) REAL))))) || 0.275654779337
sym || is_metric_of || 0.329570754812
(((divide_divide real) (one_one real)) ((numeral_numeral real) (bit0 one2))) || ((#slash# 1) 2) || 0.272207811549
(powr real) || -root || 0.291627418573
top_top || 1. || 0.267510543362
code_integer_of_int || Psingle_e_net || 0.264790635002
(finite_finite2 int) || (are_equipotent {}) || 0.238763895986
(times_times nat) || MajP || 0.236939315944
$ (=> $V_$true $o) || $ (& (~ empty) (& infinite0 ((Moore-FSM $V_(~ empty0)) $V_(~ empty0)))) || 0.233544058844
insert2 || @lim_sup || 0.227508966628
set_of_pred || Complement0 || 0.307866321187
insert3 || @lim_inf || 0.311439052154
set_of_seq || ` || 0.363437512583
$ (pred $V_$true) || $ (& (-valued $V_(& (~ empty0) (& (compl-closed $V_(~ empty0)) (& (sigma-multiplicative $V_(~ empty0)) (Element (bool (bool $V_(~ empty0)))))))) (& Function-like (& ((quasi_total omega) (bool0 $V_(~ empty0))) (Element (bool (([:..:] omega) (bool0 $V_(~ empty0)))))))) || 0.373420133086
$ $V_$true || $ (& (~ empty0) (& (compl-closed $V_(~ empty0)) (& (sigma-multiplicative $V_(~ empty0)) (Element (bool (bool $V_(~ empty0))))))) || 0.283177993469
(cot real) || (. sin1) || 0.226024644074
nat2 || {..}1 || 0.221764065743
code_natural_of_nat (semiring_1_of_nat code_natural) || id6 || 0.275425479408
(tan real) || (. sin0) || 0.216778837373
(set_or578182835ssThan int) || SubstitutionSet || 0.21576705707
(minus_minus complex) || (-1 (TOP-REAL 2)) || 0.215655250157
(times_times int) || U+ || 0.211715080958
$ (=> $V_$true $V_$true) || $ (& (~ empty) (& infinite0 ((Mealy-FSM $V_(~ empty0)) $V_(~ empty0)))) || 0.209320606448
im || Rea || 0.209084159987
bind2 || FinUnion0 || 0.204320043436
some || singleton || 0.273961292521
$ (option $V_$true) || $ (Element (Fin $V_(~ empty0))) || 0.310646008059
(uminus_uminus complex) || +45 || 0.195553334107
(plus_plus complex) || (+2 (TOP-REAL 2)) || 0.19064177956
code_Nat || entrance || 0.183121644009
(ord_less_eq rat) || r3_tarski || 0.177076184266
of_int (ring_1_of_int rat) || product || 0.237588214933
fract || [:..:] || 0.273986974826
(divide_divide int) || <*..*>5 || 0.292490809091
(ord_min nat) || sigma1 || 0.173183098202
code_n1042895779nteger || escape || 0.171998265451
code_integer_of_nat (semiring_1_of_nat code_integer) || choose3 || 0.170710511676
(semiring_char_0_fact nat) || k1_numpoly1 || 0.160735880056
(inverse_inverse rat) || ~2 || 0.155183645542
rep_filter || id$ || 0.147827011033
code_int_of_integer || Sum || 0.147449784674
semiring_1_of_nat || |^ || 0.159629389088
int || EdgeSelector 2 (({..}2 k5_ordinal1) 1) || 0.168254075144
suc || (|^ 2) || 0.143917518691
(((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || ((#slash# P_t) 2) || 0.14317425558
nibbleA || <e3> || 0.133038398574
upto || k19_msafree5 || 0.130697468181
(set_or331188842AtMost int) || {..}2 || 0.143746828284
abs_filter || dom6 || 0.128139338598
tan || to_power0 || 0.123953267597
arctan || P_cos || 0.209494995103
real || to_power || 0.223896439676
(ord_less_eq int) || c=0 || 0.122488672934
(semiring_1_of_nat int) || card3 || 0.154603888028
neg2 || -are_equivalent || 0.12210043092
id || 1_ || 0.119912661979
rotate || (-->0 COMPLEX) || 0.16520581996
list || C_Algebra_of_BoundedFunctions || 0.137721992539
rcis || (|[..]|1 NAT) || 0.119561662952
(real_Vector_of_real complex) || ((*29 3) <e2>) || 0.141690704959
size_char || `1_31 || 0.117240806449
char2 || :=8 || 0.138036225191
$ nibble || $ (& Int-like (Element (carrier SCM))) || 0.150845974986
bot_bot || 0. || 0.115565864773
rotate1 || Rev || 0.115400475259
(set2 int) || proj4_4 || 0.107120536018
re || `1 || 0.10627204796
positive2 || (<= ((* 2) P_t)) || 0.0969824320238
$ (=> $V_$true (=> $V_$true $o)) || $ (& (~ empty) ((Mealy-FSM $V_(~ empty0)) $V_(~ empty0))) || 0.0965009179083
(ord_max nat) || choose || 0.0944084135238
((set_atLeast nat) (dvd_dvd nat)) || Goto || 0.0911127859238
(minus_minus int) || compose0 || 0.0908936722277
(uminus_uminus int) || <*..*>4 || 0.0878447702402
(divide_divide nat) || div || 0.0823629910726
(sgn_sgn complex) || [#slash#..#bslash#] || 0.0785779201985
cis || [#bslash#..#slash#] || 0.0953352263851
$ (filter $V_$true) || $ (Element $V_(~ empty0)) || 0.0718740114488
ii || <i>0 || 0.0710449376235
(divide_divide complex) || -42 || 0.0702824197547
(gcd_Lcm nat) || succ0 || 0.0688889238292
$ (=> $V_$true nat) || $ (Filter $V_(~ empty0)) || 0.0609568518079
fun_is_measure || are_equipotent || 0.0751631733368
(member3 ind) || in || 0.0560865731262
rep_Nat || ([..] 1) || 0.0969891338092
((collect ind) nat3) || (NonZero SCM) SCM-Data-Loc || 0.136761622687
((set_atMost nat) (dvd_dvd nat)) || dl. || 0.0546946243183
(plus_plus nat) || * || 0.0540769764263
(bot_bot (set nat)) || (0. SCMPDS) (0. SCM+FSA) (0. SCM) omega || 0.0538684766934
(inverse_inverse real) || sgn || 0.050476581398
(sgn_sgn real) || (#slash# 1) || 0.0761331958326
