const/realax/real_pow || (power_power real) || 0.31596766562
type/nums/num || nat || 0.
type/realax/real || real || 0.
(const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))) || ((numeral_numeral nat) (bit0 one2)) || 0.318910570951
(const/realax/real_add (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((plus_plus real) (one_one real)) || 0.320780377756
(const/realax/real_sub (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((minus_minus real) (one_one real)) || 0.312792866029
(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)))))) || ((uminus_uminus real) (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2)))) || 0.307912492245
(const/realax/real_le (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.300903337528
const/realax/real_abs || (abs_abs real) || 0.292988677688
type/ind_types/list || list || 0.291987690264
const/ind_types/NIL || nil || 0.31649785329
const/ind_types/CONS || cons || 0.311716789669
const/lists/APPEND || append || 0.311184839005
const/lists/MAP || map || 0.280319906828
const/Multivariate/transcendentals/root || root || 0.279333595818
const/realax/real_lt || (ord_less real) || 0.279128642119
const/realax/real_le || (ord_less_eq real) || 0.278108543598
const/realax/real_lt || (ord_less_eq real) || 0.283921346726
(const/realax/real_div (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((divide_divide real) (one_one real)) || 0.276286650642
const/realax/real_add || (plus_plus real) || 0.276097389026
const/realax/real_le || (ord_less real) || 0.276088824849
const/realax/real_of_num || (semiring_1_of_nat real) || 0.273582863074
const/arith/EVEN || ((dvd_dvd nat) ((numeral_numeral nat) (bit0 one2))) || 0.281305777395
const/realax/real_sub || (minus_minus real) || 0.271723251614
(const/realax/real_div const/Multivariate/transcendentals/pi) || ((divide_divide real) pi) || 0.270171765322
const/Library/transc/ln || (ln_ln real) || 0.26730019212
const/Multivariate/transcendentals/log || (ln_ln real) || 0.274007856435
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || ((numeral_numeral real) (bit0 one2)) || 0.265745728676
const/realax/real_div || (divide_divide real) || 0.26882461862
(const/realax/real_div const/Library/transc/pi) || ((divide_divide real) pi) || 0.265315326275
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || ((numeral_numeral real) (bit0 (bit0 one2))) || 0.270071508213
const/realax/real_mul || (times_times real) || 0.264527640176
const/lists/HD || hd || 0.263824158639
const/lists/TL || tl || 0.266407437007
(const/class/@ type/realax/real) || (the real) || 0.26293323215
((const/realax/real_mul (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) const/Multivariate/transcendentals/pi) || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.26076921755
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less real) (zero_zero real)) || 0.260491755017
const/lists/REVERSE || rev || 0.260472760888
const/realax/real_neg || (uminus_uminus real) || 0.255787806826
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) (zero_zero real)) || 0.254347475211
type/realax/real || nat || 0.254046765286
type/int/int || nat || 0.252188752985
((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))))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.249471354127
((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.251469554238
type/realax/real || int || 0.248821207509
const/realax/real_pow || (power_power int) || 0.264119120182
type/nums/num || num || 0.245239718795
type/int/int || int || 0.244165164908
const/int/int_pow || (power_power int) || 0.255242467221
const/int/int_divides || (dvd_dvd int) || 0.24590471004
const/Multivariate/transcendentals/asn || arcsin || 0.244125554751
const/lists/REPLICATE || replicate || 0.243927919736
const/Multivariate/transcendentals/tan || (tan real) || 0.243138907961
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less real) (zero_zero real)) || 0.240620234123
const/Library/transc/tan || (tan real) || 0.240565951666
const/Multivariate/transcendentals/acs || arccos || 0.238743072023
const/lists/ALL2 || list_all2 || 0.238026894675
(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)))))) || ((uminus_uminus real) pi) || 0.237569970887
const/Library/transc/pi || pi || 0.234543972833
const/Multivariate/transcendentals/pi || pi || 0.240488559351
(const/realax/real_pow (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || ((power_power real) ((uminus_uminus real) (one_one real))) || 0.240939428463
const/Library/analysis/summable || (summable real) || 0.232145796289
const/int/num_divides || (dvd_dvd nat) || 0.231584104274
const/Multivariate/transcendentals/rpow || (powr real) || 0.230611883218
const/Multivariate/transcendentals/cos || (cos real) || 0.230202686847
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 (const/nums/BIT1 const/nums/_0)))) || ((numeral_numeral real) (bit1 one2)) || 0.23397939428
const/Multivariate/transcendentals/exp || (exp real) || 0.229170056387
const/Library/transc/exp || (exp real) || 0.229349878901
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) (zero_zero real)) || 0.229146898561
const/arith/< || (ord_less nat) || 0.229024160464
(const/nums/NUMERAL const/nums/_0) || (zero_zero nat) || 0.228777146495
type/realax/real || code_integer || 0.226551064554
(const/int/int_le (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.225343425862
const/int/integer || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.224826906567
const/Library/floor/rational || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.228978448944
const/Multivariate/transcendentals/sin || (sin real) || 0.224667271216
const/Multivariate/transcendentals/sin || (tan real) || 0.2311509628
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less_eq real) (one_one real)) || 0.224644402193
const/Multivariate/misc/sqrt || sqrt || 0.224218219519
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (one_one real) || 0.223539397038
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.223521783814
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.227729504033
type/Complex/complexnumbers/complex || nat || 0.223545638183
type/Complex/complexnumbers/complex || complex || 0.228012072395
const/Complex/complexnumbers/complex_pow || (power_power complex) || 0.228800645262
(const/int/int_lt (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.223147705548
type/realax/real || complex || 0.222984943719
((type/cart/cart type/realax/real) type/cart/2) || complex || 0.228577200079
const/arith/<= || (ord_less_eq nat) || 0.221406248448
const/lists/BUTLAST || butlast || 0.221085247008
const/arith/EXP || (power_power nat) || 0.219205952942
type/nums/num || real || 0.218605147042
const/int/int_divides || (dvd_dvd nat) || 0.217349368075
type/nums/num || int || 0.21610814341
type/nums/num || nibble || 0.217621343607
type/nums/ind || nibble || 0.2195583126
((type/cart/cart type/realax/real) type/cart/2) || nibble || 0.218903530288
const/nums/mk_num || (size_size nibble) || 0.215016108598
const/Library/multiplicative/mobius || (size_size nibble) || 0.21522565476
const/lists/LAST || last || 0.214212049405
const/nums/mk_num || size_nibble || 0.212599770986
const/Library/multiplicative/mobius || size_nibble || 0.215061187635
((type/cart/cart type/realax/real) type/cart/2) || int || 0.212466607518
type/realax/real || num || 0.217149089324
type/Complex/complexnumbers/complex || int || 0.21453983728
const/Library/transc/sqrt || sqrt || 0.21038444396
type/int/int || real || 0.209888623446
const/arith/<= || (dvd_dvd nat) || 0.209810684444
const/lists/ALL || pred_list || 0.209711444352
const/Library/transc/cos || (cos real) || 0.209423888807
const/arith/* || (times_times nat) || 0.20942323561
(((const/pair/, type/realax/real) type/realax/real) (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || (((product_Pair int) int) (one_one int)) || 0.209137604151
type/pair/prod || product_prod || 0.
type/int/int || code_integer || 0.208847143737
const/lists/APPEND || splice || 0.207324535432
const/Complex/complexnumbers/complex_norm || (real_V1127708846m_norm complex) || 0.206628515828
const/Complex/complexnumbers/cnj || cnj || 0.207797637617
const/Library/transc/sin || (sin real) || 0.205591881526
const/Multivariate/transcendentals/tan || (sin real) || 0.205129436389
const/iterate/monoidal || semilattice || 0.20405058958
const/iterate/monoidal || lattic35693393ce_set || 0.208024556508
((type/cart/cart type/realax/real) type/cart/2) || nat || 0.207170356974
(const/realax/real_mul (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || ((times_times real) ((numeral_numeral real) (bit0 one2))) || 0.203848325465
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less real) (one_one real)) || 0.203045077143
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less real) (one_one real)) || 0.203382243628
type/realax/real || code_natural || 0.201964048815
const/Library/analysis/suminf || (suminf real) || 0.201774486878
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less nat) (zero_zero nat)) || 0.201430016391
const/arith/- || (minus_minus nat) || 0.201307941852
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero real) || 0.200647493168
const/arith/+ || (plus_plus nat) || 0.199590965692
((type/pair/prod type/realax/real) type/realax/real) || ((product_prod int) int) || 0.199517003732
const/realax/real_add || (minus_minus real) || 0.197523521448
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) (one_one real)) || 0.197489698704
(const/realax/real_le (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || ((ord_less_eq real) (zero_zero real)) || 0.197091226968
(const/arith/< (const/nums/NUMERAL const/nums/_0)) || ((ord_less nat) (zero_zero nat)) || 0.19658184358
const/int/int_of_num || (semiring_1_of_nat int) || 0.196477212696
const/Multivariate/transcendentals/acs || arcsin || 0.196388497687
const/Multivariate/transcendentals/sin || (cos real) || 0.196615214459
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero nat) || 0.195725637085
type/Complex/complexnumbers/complex || nibble || 0.220351297887
const/nums/_0 || (zero_zero nat) || 0.196953977651
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero nat) || 0.199052160743
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (zero_zero nat) || 0.202112041356
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || (zero_zero nat) || 0.196185901952
const/Multivariate/transcendentals/cos || (sin real) || 0.195014516639
const/Library/transc/cos || (sin real) || 0.197545929473
const/realax/real_lt || (ord_less nat) || 0.194972972499
const/Complex/complexnumbers/ii || (one_one rat) || 0.194873381598
type/Complex/complexnumbers/complex || rat || 0.
const/int/int_of_real || nat2 || 0.19455665791
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.194069896856
(const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (one_one int) || 0.193979084746
((type/cart/cart type/realax/real) type/cart/2) || real || 0.193850184375
((type/cart/cart type/realax/real) type/cart/2) || num || 0.195237891355
((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))))) || pi || 0.193460901277
((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || pi || 0.195539836169
const/ind_types/FCONS || case_nat || 0.193456469594
const/int/real_of_int || (semiring_1_of_nat int) || 0.1928847548
(type/cart/cart type/realax/real) || list || 0.192459701559
const/Multivariate/vectors/% || drop || 0.199045678069
type/cart/cart || nat || 0.
type/realax/real || list || 0.
type/Complex/complexnumbers/complex || real || 0.192366665518
const/nums/BIT1 || bit1 || 0.192252491411
const/nums/BIT0 || bit0 || 0.192251784969
const/arith/> || (ord_less_eq num) || 0.195136672834
const/arith/<= || (ord_less_eq num) || 0.193439351455
const/arith/< || (ord_less num) || 0.192533696184
const/arith/>= || (ord_less num) || 0.193824710312
const/lists/FILTER || filter2 || 0.191969934767
const/arith/> || (ord_less num) || 0.190913025056
const/nums/SUC || suc || 0.19058313575
const/arith/< || (ord_less_eq nat) || 0.190635298199
const/int/num_divides || (ord_less_eq nat) || 0.19041761725
const/pair/, || product_Pair || 0.189559715571
const/lists/ZIP || zip || 0.196106822085
const/Multivariate/transcendentals/atn || arctan || 0.189551388046
const/Library/transc/atn || arctan || 0.189381669725
const/Multivariate/transcendentals/pi || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.188809290867
const/Library/transc/pi || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.192180491683
const/Library/transc/sin || (tan real) || 0.19175607899
const/Library/transc/sin || (cos real) || 0.191131725748
const/realax/real_le || (dvd_dvd nat) || 0.188480911093
const/int/int_le || (dvd_dvd nat) || 0.194654406964
const/int/int_max || (gcd_lcm nat) || 0.197761704704
const/int/int_min || (gcd_gcd nat) || 0.188803413329
const/Library/transc/sqrt || (ln_ln real) || 0.188217035495
const/Complex/complexnumbers/ii || ii || 0.187981772429
const/Complex/complexnumbers/complex_norm || (size_size nibble) || 0.187693015145
const/realax/real_of_num || (semiring_1_of_nat int) || 0.187296683004
const/Library/transc/sin || (cot real) || 0.186688942227
const/Multivariate/transcendentals/sin || (cot real) || 0.189787715491
const/realax/real_mul || (powr real) || 0.186475567471
const/realax/real_mul || (times_times nat) || 0.188725989488
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less nat) (zero_zero nat)) || 0.191189586437
const/realax/real_le || (ord_less_eq nat) || 0.186821479056
const/realax/real_le || (ord_less nat) || 0.189693421493
const/arith/+ || (plus_plus num) || 0.185583217736
const/Complex/complexnumbers/complex_norm || size_nibble || 0.185036459815
type/nums/num || complex || 0.18477482334
type/int/int || complex || 0.188673372249
const/arith/>= || (ord_less_eq num) || 0.184511268775
const/nums/BIT0 || bit1 || 0.185371588162
const/nums/BIT1 || bit0 || 0.197587242331
const/arith/< || (ord_less_eq num) || 0.208357628585
const/arith/<= || (ord_less num) || 0.205371982383
type/int/int || num || 0.184231027315
(const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || (zero_zero nat) || 0.183681818337
((const/realax/real_div (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (((divide_divide real) (one_one real)) ((numeral_numeral real) (bit0 one2))) || 0.182415433194
(const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || (one_one nat) (suc (zero_zero nat)) || 0.182400460686
(const/nums/NUMERAL const/nums/_0) || (one_one nat) (suc (zero_zero nat)) || 0.182552518634
const/realax/real_max || (gcd_lcm nat) || 0.181645322682
const/Library/transc/tan || (sin real) || 0.181490826453
const/calc_rat/DECIMAL || sub || 0.181280839719
((type/cart/cart type/realax/real) type/cart/2) || code_integer || 0.181252138732
type/Complex/complexnumbers/complex || code_integer || 0.182754199183
type/Complex/complexnumbers/complex || num || 0.184078135847
const/Multivariate/transcendentals/acs || (cos real) || 0.181053573331
const/arith/<= || (ord_less nat) || 0.180518237939
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || ((numeral_numeral real) (bit1 one2)) || 0.180292891278
const/Multivariate/transcendentals/tan || (cos real) || 0.181053821212
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || nat_is_nat ((ord_less_eq int) (zero_zero int)) || 0.180204122927
const/int/int_mul || (times_times nat) || 0.179850347957
const/Complex/complexnumbers/complex_mul || (times_times nat) || 0.18086114389
const/int/int_divides || (ord_less_eq nat) || 0.18041659263
const/int/int_le || (ord_less_eq nat) || 0.18157544796
const/int/int_lt || (ord_less nat) || 0.182968991663
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.179034221206
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one real) || 0.179879387042
const/Library/transc/pi || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.180575220478
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || pi || 0.178992980467
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (zero_zero real) || 0.181426680655
((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))))) || (zero_zero real) || 0.18226437332
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero real) || 0.184265527393
const/lists/ALL || listsp || 0.178980408337
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero int) || 0.178622979792
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less_eq real) (one_one real)) || 0.178179814713
const/Multivariate/vectors/% || rotate || 0.178038677813
type/realax/hreal || nat || 0.177103026266
(const/realax/hreal_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero nat) || 0.189250464785
const/calc_rat/DECIMAL || code_sub || 0.176806087219
const/realax/real_of_num || pos (numeral_numeral int) || 0.176592601159
const/int/real_of_int || code_int_of_integer || 0.177670854627
const/arith/ODD || ((ord_less nat) (zero_zero nat)) || 0.176333355476
const/realax/real_inv || (inverse_inverse real) || 0.176049719308
(const/int/int_neg (const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((uminus_uminus int) (one_one int)) || 0.1757359668
const/Multivariate/transcendentals/cos || (tan real) || 0.175654879411
const/realax/real_div || (times_times real) || 0.175185123573
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (one_one int) || 0.174664502071
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (one_one nat) (suc (zero_zero nat)) || 0.177414557726
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one nat) (suc (zero_zero nat)) || 0.174345532365
const/int/num_divides || (dvd_dvd int) || 0.174270171367
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) ((uminus_uminus real) (one_one real))) || 0.173713755408
const/Multivariate/transcendentals/cos || arccos || 0.172141046805
const/Multivariate/transcendentals/asn || arccos || 0.173829295304
const/real/real_sgn || sqrt || 0.171992739958
const/arith/* || (gcd_lcm nat) || 0.171875604906
const/arith/* || (plus_plus nat) || 0.173876969294
type/int/int || code_natural || 0.171816217027
const/realax/real_min || (gcd_gcd nat) || 0.171526442324
const/realax/real_lt || (dvd_dvd nat) || 0.17523821742
const/Multivariate/transcendentals/rpow || (times_times nat) || 0.172282665348
const/realax/real_lt || (ord_less_eq nat) || 0.173233558261
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less nat) (zero_zero nat)) || 0.173517974464
const/lists/EX || list_ex || 0.171526423265
const/int/int_lt || (dvd_dvd nat) || 0.171143370106
const/Library/transc/tan || (cot real) || 0.170444411547
const/Multivariate/transcendentals/tan || (cot real) || 0.174309124954
const/Multivariate/transcendentals/cos || (cot real) || 0.177301309044
const/Library/transc/tan || (cos real) || 0.172154885901
const/realax/hreal_le || (ord_less_eq nat) || 0.170213167541
const/realax/hreal_add || (plus_plus nat) || 0.17262724524
((const/pair/, type/realax/hreal) type/realax/hreal) || ((product_Pair nat) nat) || 0.172527937243
const/realax/real_add || (plus_plus nat) || 0.171394441149
type/nums/num || code_natural || 0.173911410479
const/ind_types/FCONS || code_case_natural || 0.214300030541
const/int/int_add || (plus_plus nat) || 0.172561707045
type/nums/num || rat || 0.170730601801
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) (one_one real)) || 0.169818918755
const/Multivariate/transcendentals/pi || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.16876114715
(const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (one_one nat) (suc (zero_zero nat)) || 0.168313634139
const/nums/SUC || code_Suc || 0.168444989126
const/nums/SUC || ((plus_plus num) one2) || 0.169096112244
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one nat) (suc (zero_zero nat)) || 0.168207630936
(const/realax/hreal_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one nat) (suc (zero_zero nat)) || 0.167278654472
const/realax/real_sub || (plus_plus real) || 0.16688930225
const/realax/real_inv || (uminus_uminus real) || 0.16830469477
const/int/int_mul || (plus_plus nat) || 0.166780404151
const/int/int_mul || (times_times int) || 0.169672101015
const/Complex/complexnumbers/complex || frct || 0.166336054925
const/int/int_of_num || pos (numeral_numeral int) || 0.166011056232
const/int/int_of_real || code_int_of_integer || 0.168538536502
const/int/int_le || (ord_less_eq int) || 0.166020260627
const/lists/REVERSE || butlast || 0.165788592756
const/Complex/complex_transc/csqrt || csqrt || 0.165508591506
const/Library/poly/poly_cmul || root || 0.165111830825
type/ind_types/list || nat || 0.
(type/ind_types/list type/realax/real) || real || 0.186618624623
const/Multivariate/transcendentals/pi || (one_one real) || 0.165016441017
const/Library/transc/acs || arccos || 0.164264507035
const/int/int_sub || (minus_minus nat) || 0.16425775274
(const/int/int_le (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less nat) (zero_zero nat)) || 0.166901932599
const/int/int_le || (ord_less nat) || 0.173977753036
const/int/num_divides || (ord_less nat) || 0.164920937748
const/int/int_lt || (ord_less_eq nat) || 0.164351732925
(const/int/int_lt (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less nat) (zero_zero nat)) || 0.166996118803
(const/nums/NUMERAL const/nums/_0) || one2 || 0.163919672839
const/nums/SUC || inc || 0.163743565071
const/nums/SUC || bit1 || 0.164655092573
const/Library/transc/cos || (cot real) || 0.16373772352
const/arith/< || (dvd_dvd nat) || 0.163325388383
const/realax/hreal_le || (dvd_dvd nat) || 0.16447048671
const/arith/+ || (gcd_lcm nat) || 0.163288892587
const/int/int_mul || (gcd_lcm nat) || 0.165612028574
const/realax/hreal_add || (gcd_lcm nat) || 0.164976659248
const/arith/EXP || (times_times nat) || 0.163275014475
const/realax/hreal_mul || (times_times nat) || 0.163337619257
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || (one_one complex) || 0.1631434254
const/realax/treal_eq || intrel || 0.162204654699
((type/pair/prod type/realax/hreal) type/realax/hreal) || ((product_prod nat) nat) || 0.170435778189
const/int/int_abs || (abs_abs int) || 0.161439508386
const/int/int_sgn || sqrt || 0.161331439494
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one real) || 0.162850750442
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || (one_one nat) (suc (zero_zero nat)) || 0.160917290202
const/lists/REVERSE || tl || 0.160747561207
const/Complex/complexnumbers/complex || abs_Rat || 0.160562604527
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero complex) || 0.159987900363
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero code_integer) || 0.16063345852
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero int) || 0.162568284418
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one complex) || 0.164372388444
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.162244842487
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || one2 || 0.163392136038
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || pi || 0.166558127685
const/Library/analysis/tends_num_real || (sums complex) || 0.159945335519
const/Complex/complexnumbers/Cx || cis || 0.15866105337
const/int/real_of_int || code_integer_of_int || 0.158610910446
const/realax/real_sub || (minus_minus nat) || 0.158282586081
(const/int/int_lt (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less_eq real) (one_one real)) || 0.158170459145
const/int/int_pow || (power_power real) || 0.16614527782
const/realax/real_of_num || size_num || 0.158104523308
const/Library/analysis/subseq || topological_subseq || 0.157730831785
(const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || ((numeral_numeral real) (bit0 one2)) || 0.157553875431
const/int/int_lt || (ord_less int) || 0.157462911976
const/int/int_add || (plus_plus int) || 0.161751155115
const/realax/real_of_num || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.157293778587
const/int/int_of_num || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.15946476353
const/Multivariate/realanalysis/bernoulli || root || 0.157127783884
const/realax/real_pow || (power_power complex) || 0.157092844687
(const/nums/NUMERAL const/nums/_0) || (zero_zero int) || 0.157053711053
const/arith/* || (times_times int) || 0.165643295911
const/Library/transc/cos || (tan real) || 0.157006851047
const/nums/SUC || bit0 || 0.156741766049
((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))))) || (one_one real) || 0.156726889839
type/realax/real || rat || 0.156423850425
(const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || (zero_zero real) || 0.155791293745
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || ((uminus_uminus real) (one_one real)) || 0.155699339026
const/Library/transc/sqrt || (semiring_char_0_fact nat) || 0.154711789961
const/Complex/complexnumbers/complex_norm || (semiring_1_of_nat int) || 0.153282857152
((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))))) || ((numeral_numeral real) (bit0 one2)) || 0.152808209683
const/int/int_sub || (plus_plus nat) || 0.152073063639
(const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || one2 || 0.151882073545
const/int/real_of_int || code_natural_of_nat (semiring_1_of_nat code_natural) || 0.151855412222
const/Multivariate/transcendentals/acs || (sin real) || 0.150917958776
const/Library/transc/acs || (cos real) || 0.150474671923
const/Library/transc/cos || arccos || 0.156215111732
const/arith/* || (gcd_gcd nat) || 0.15039850375
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero complex) || 0.150215232588
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || one2 || 0.150804391081
const/real/real_sgn || arctan || 0.149717344998
const/realax/real_inv || sqrt || 0.149701772804
const/arith/EVEN || ((ord_less nat) (zero_zero nat)) || 0.149687767602
const/Library/prime/prime || ((ord_less nat) (zero_zero nat)) || 0.150314290946
((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.149510309142
((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (one_one real) || 0.151516679941
((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))))) || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.150969293305
const/realax/real_le || (ord_less int) || 0.149459053853
const/Multivariate/transcendentals/pi || (zero_zero int) || 0.153492289317
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (zero_zero int) || 0.151940690156
const/realax/real_le || (ord_less_eq int) || 0.152200718177
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less int) (zero_zero int)) || 0.154164044169
const/realax/real_abs || (uminus_uminus int) || 0.152270407781
const/Library/multiplicative/mobius || (semiring_1_of_nat int) || 0.150056243287
const/arith/+ || (gcd_gcd nat) || 0.149093427288
const/int/int_add || (gcd_gcd nat) || 0.150161854443
const/realax/real_of_num || (numeral_numeral real) || 0.14892733726
const/Complex/complexnumbers/complex_neg || (uminus_uminus complex) || 0.148571926936
const/realax/real_of_num || (ring_1_of_int real) || 0.148067829469
const/Complex/complexnumbers/Cx || code_int_of_integer || 0.15057075119
(const/realax/real_pow (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (semiring_1_of_nat int) || 0.147465268438
const/int/int_add || (minus_minus nat) || 0.147245981936
const/lists/ITLIST || foldr || 0.146993907647
const/realax/real_neg || (inverse_inverse real) || 0.145941906159
const/Library/integer/int_prime || ((ord_less int) (zero_zero int)) || 0.145888691914
type/realax/real || nibble || 0.145880728334
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.145735875084
const/int/int_sgn || arctan || 0.145462195953
const/int/int_add || (gcd_lcm nat) || 0.145286299011
const/Library/transc/atn || sqrt || 0.145236878962
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less real) (one_one real)) || 0.145631113458
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less_eq real) (zero_zero real)) || 0.144985420573
(const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less real) (one_one real)) || 0.144435775623
const/Multivariate/misc/sqrt || arctan || 0.144321408234
const/int/int_of_real || code_nat_of_integer || 0.144210117168
const/Multivariate/transcendentals/root || (real_V1908273582scaleR complex) || 0.143976867445
const/Complex/complexnumbers/complex_norm || re || 0.143832422143
const/arith/>= || (ord_less_eq nat) || 0.143680410307
const/arith/>= || (ord_less nat) || 0.145495864724
const/int/int_ge || (ord_less int) || 0.14505430505
(const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (zero_zero nat) || 0.143395588556
(const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (zero_zero int) || 0.143932976604
type/int/int || rat || 0.143299307799
const/int/real_of_int || ratreal (field_char_0_of_rat real) || 0.161815114008
const/arith/+ || (times_times nat) || 0.143014022139
((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || ((numeral_numeral real) (bit0 one2)) || 0.142901360801
(const/nums/NUMERAL const/nums/_0) || (zero_zero code_natural) || 0.142821410425
type/realax/real || ind || 0.142328188687
const/arith/> || (ord_less_eq nat) || 0.14230373545
const/int/int_gt || (ord_less_eq int) || 0.144346642139
const/int/int_of_num || nat_of_num (numeral_numeral nat) || 0.14208871127
const/int/int_of_num || code_natural_of_nat (semiring_1_of_nat code_natural) || 0.143615965392
const/int/int_of_num || code_integer_of_nat (semiring_1_of_nat code_integer) || 0.144682349408
const/int/int_of_num || size_num || 0.143514514856
const/arith/> || (ord_less nat) || 0.143128136346
const/int/int_divides || (ord_less nat) || 0.143810423971
const/realax/real_mul || (divide_divide int) || 0.141959038375
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || ((ord_less int) (zero_zero int)) || 0.151366036777
const/realax/real_mul || (times_times int) || 0.147221333135
const/realax/real_lt || (ord_less int) || 0.15053525813
const/Library/transc/pi || (one_one real) || 0.141738264774
const/realax/real_lt || (ord_less_eq int) || 0.141341365026
const/int/int_ge || (ord_less_eq int) || 0.141895376228
const/int/int_gt || (ord_less int) || 0.148094606549
const/int/int_add || (minus_minus int) || 0.146024799304
const/int/int_le || (ord_less int) || 0.142013614111
const/arith/> || (ord_less real) || 0.141234050163
const/arith/> || (ord_less_eq real) || 0.142564577782
const/nums/_0 || (zero_zero real) || 0.145807200668
const/nums/_0 || (one_one real) || 0.14254470374
const/nums/BIT0 || sqrt || 0.14818813485
const/realax/real_abs || cnj || 0.141063088987
const/lists/ITLIST || fold || 0.141035244548
const/realax/hreal_add || (gcd_gcd nat) || 0.140997749581
const/int/real_of_int || code_integer_of_nat (semiring_1_of_nat code_integer) || 0.140777064375
const/int/real_of_int || pos (numeral_numeral int) || 0.14162385154
const/int/real_of_int || code_Pos (numeral_numeral code_integer) code_integer_of_num || 0.143008711087
(const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || (zero_zero code_integer) || 0.140486644719
const/realax/real_abs || sqrt || 0.139813983512
const/Multivariate/transcendentals/atn || sqrt || 0.140427581754
const/Multivariate/transcendentals/atn || (sin real) || 0.141068221461
const/Library/multiplicative/real_multiplicative || vanishes || 0.139189352842
const/nums/BIT0 || arctan || 0.138672358265
const/arith/>= || (ord_less real) || 0.148996800162
const/nums/_0 || (((divide_divide real) pi) ((numeral_numeral real) (bit0 one2))) || 0.146212722388
const/arith/<= || (ord_less real) || 0.144218415207
const/arith/<= || (ord_less_eq real) || 0.145861870992
const/arith/>= || (ord_less_eq real) || 0.144119182007
const/nums/BIT1 || arctan || 0.141683228326
const/arith/<= || (dvd_dvd int) || 0.139181485424
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || (((divide_divide real) (one_one real)) ((numeral_numeral real) (bit0 one2))) || 0.138666801189
const/int/int_lt || (ord_less_eq int) || 0.138622316601
((const/realax/real_mul (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) const/Multivariate/transcendentals/pi) || pi || 0.141093148929
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || pi || 0.139817280661
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (one_one code_integer) || 0.137862007311
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || (((times_times real) ((numeral_numeral real) (bit0 one2))) pi) || 0.138073164809
(const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || ((numeral_numeral nat) (bit0 one2)) || 0.13997117656
(const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || (zero_zero int) || 0.137629142756
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || ((ord_less real) (zero_zero real)) || 0.136852302243
const/realax/real_inv || ((divide_divide real) (one_one real)) || 0.136462706304
(const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || ((uminus_uminus real) (one_one real)) || 0.136270432719
const/int/real_of_int || code_nat_of_natural || 0.136249074487
const/int/int_of_real || code_natural_of_nat (semiring_1_of_nat code_natural) || 0.13654678681
const/int/int_min || (gcd_lcm nat) || 0.136099138634
const/realax/real_mul || (gcd_lcm nat) || 0.137142102831
const/realax/real_add || (gcd_lcm nat) || 0.138234248617
const/Complex/complexnumbers/complex_mul || (gcd_lcm nat) || 0.138901481757
(const/realax/real_lt (const/realax/real_neg const/Multivariate/transcendentals/pi)) || ((ord_less_eq real) (zero_zero real)) || 0.136031506564
const/arith/- || binomial || 0.135798344857
const/arith/DIV || binomial || 0.137574224587
const/Complex/complexnumbers/Cx || code_integer_of_int || 0.13576026996
const/real/real_sgn || (sgn_sgn real) || 0.135600124273
const/realax/real_mul || (plus_plus nat) || 0.135552070047
const/Library/multiplicative/mobius || nat_of_num (numeral_numeral nat) || 0.135474714283
(const/realax/real_pow (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || (real_V1127708846m_norm complex) || 0.13523974989
(const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || positive2 || 0.134879599705
const/arith/PRE || ((plus_plus num) one2) || 0.134745248245
