type/realax/real || nat || 0.891133625415
const/realax/real_lt || lt || 0.784248019154
const/realax/real_le || le || 0.77239521632
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || (lt nat1) || 0.736784620873
const/realax/real_mul || times || 0.72014245966
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (nat2 (nat2 (nat2 (nat2 (nat2 (nat2 nat1)))))) || 0.619148595967
const/realax/real_add || plus || 0.569243245852
const/Library/floor/floor || pred || 0.47754999493
(const/realax/real_mul (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (times (nat2 (nat2 nat1))) || 0.505202092
(const/realax/real_neg ((const/realax/real_div const/Multivariate/transcendentals/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))))) || nat1 || 0.454697589808
const/Multivariate/transcendentals/rpow || exp || 0.357863971431
(const/realax/real_div (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || A\ || 0.351047615468
const/realax/real_div || div || 0.343927313702
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (nat2 (nat2 (nat2 nat1))) || 0.330073028351
const/Multivariate/transcendentals/atn || nat2 || 0.303709906634
const/int/real_of_int || defactorize || 0.285759930718
const/int/int_of_real || factorize || 0.359720049448
type/int/int || nat_fact_all || 0.290768535146
const/Library/poly/poly_mul || times_f || 0.28231878695
(const/realax/real_add (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || B || 0.275431768531
const/Multivariate/transcendentals/exp || A || 0.305755598707
const/Library/poly/poly || defactorize_aux || 0.266465786296
(type/ind_types/list type/realax/real) || nat_fact || 0.302711241757
const/iterate/monoidal || associative || 0.235648329128
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || (lt (nat2 nat1)) || 0.230097156038
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || prime || 0.230701606122
type/nums/num || Z || 0.224269239379
const/arith/+ || Zplus || 0.386894650486
const/arith/* || Ztimes || 0.369869297662
(const/nums/NUMERAL const/nums/_0) || Z1 || 0.308170889027
const/nums/SUC || Zsucc || 0.298368151645
const/arith/< || Zlt || 0.274795065926
const/arith/<= || Zle || 0.342011801294
const/Library/transc/ln || smallest_factor || 0.184443441356
(const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || Zone || 0.18034494311
const/arith/PRE || Zpred || 0.178437229818
const/realax/real_min || gcd || 0.170694270757
const/Library/transc/exp || nth_prime || 0.160407643681
const/int/int_mul || times_fa || 0.160129753088
const/nums/BIT0 || Zopp || 0.15663520856
const/Multivariate/vectors/vector_add || append || 0.156339059953
(type/cart/cart type/realax/real) || list || 0.201818354867
const/realax/real_sub || minus || 0.151347934601
const/realax/hreal_of_num || nat_frac_item_to_ratio || 0.117831733771
const/realax/hreal_add || rtimes || 0.136844568182
type/realax/hreal || ratio || 0.199647804738
const/Complex/complexnumbers/Cx || nat_to_Q || 0.113015282824
const/Complex/complexnumbers/complex_mul || Qtimes || 0.137323791056
type/Complex/complexnumbers/complex || Q || 0.318745601971
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || Qone || 0.329651733923
const/Complex/complexnumbers/cnj || Qinv || 0.269148008641
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || Q1 || 0.165974254382
const/realax/real_abs || fact || 0.104662247407
const/Multivariate/complexes/real || sorted_gt || 0.0977138814198
const/Multivariate/complexes/Cx || sieve || 0.137566558155
((type/cart/cart type/realax/real) type/cart/2) || (list nat) || 0.167329366212
