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
type/int/int || nat_fact_all || 0.
const/int/int_of_real || factorize || 0.445652627892
(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/iterate/monoidal || symmetric || 0.256486458404
(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.224270170516
const/arith/+ || Zplus || 0.38689465052
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/realax/real_sub || minus || 0.151347934601
const/realax/hreal_of_num || nat_frac_item_to_ratio || 0.117831733771
type/realax/hreal || ratio || 0.
const/realax/hreal_add || rtimes || 0.245981735046
const/Complex/complexnumbers/Cx || nat_to_Q || 0.113015282824
type/Complex/complexnumbers/complex || Q || 0.
const/Complex/complexnumbers/cnj || Qinv || 0.40218078902
const/Complex/complexnumbers/complex_mul || Qtimes || 0.349932536851
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || Qone || 0.329651801405
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || Q1 || 0.165974238023
const/realax/real_abs || fact || 0.104662247407
(type/ind_types/list type/realax/real) || bool || 0.0711601016919
