| 1456× | *-un-lft-identity_binary64_574 |
| 1441× | add-exp-log_binary64_538 |
| 1379× | add-sqr-sqrt_binary64_559 |
| 1341× | times-frac_binary64_569 |
| 1192× | add-sqr-sqrt_binary64_3127 |
| 922× | add-cube-cbrt_binary64_545 |
| 838× | *-un-lft-identity_binary64_3142 |
| 767× | times-frac_binary64_3137 add-sqr-sqrt_binary64 |
| 728× | *-un-lft-identity_binary64 |
| 667× | prod-exp_binary64_525 |
| 582× | unpow-prod-down_binary64_3077 |
| 537× | flip--_binary64_600 |
| 536× | flip3--_binary64_573 |
| 532× | pow-exp_binary64_498 |
| 496× | div-exp_binary64_527 |
| 494× | add-cube-cbrt_binary64_3113 |
| 461× | cube-prod_binary64_3115 |
| 434× | add-cube-cbrt_binary64 |
| 418× | frac-times_binary64_566 |
| 416× | associate-*l/_binary64_636 |
| 384× | add-cbrt-cube_binary64_546 |
| 383× | times-frac_binary64 |
| 356× | sqrt-div_binary64_554 |
| 353× | difference-of-squares_binary64_3171 |
| 332× | frac-add_binary64_564 |
| 315× | pow1_binary64_520 |
| 310× | pow-to-exp_binary64_499 |
| 295× | add-exp-log_binary64 |
| 265× | associate-*r*_binary64 |
| 258× | add-cbrt-cube_binary64 |
| 251× | pow1_binary64_3088 |
| 247× | add-exp-log_binary64_3106 |
| 243× | sqrt-prod_binary64_3121 |
| 228× | associate-*r/_binary64_635 |
| 217× | add-cbrt-cube_binary64_3114 |
| 214× | pow1_binary64 |
| 200× | associate-*r*_binary64_633 |
| 189× | add-log-exp_binary64_539 |
| 183× | sqr-pow_binary64_3174 |
| 178× | associate-*l*_binary64 |
| 168× | associate-/r*_binary64_637 |
| 167× | associate-*l*_binary64_634 |
| 162× | cbrt-prod_binary64_541 |
| 161× | difference-of-squares_binary64_603 |
| 158× | add-log-exp_binary64 |
| 155× | add-log-exp_binary64_3107 |
| 139× | distribute-lft-out_binary64_618 |
| 131× | difference-of-squares_binary64 |
| 121× | rec-exp_binary64_526 |
| 108× | associate-/l*_binary64_638 |
| 105× | distribute-lft-out--_binary64_619 |
| 94× | distribute-lft-out_binary64_3186 |
| 90× | div-inv_binary64_575 |
| 88× | sqrt-prod_binary64_553 |
| 84× | log-prod_binary64 |
| 83× | sin-mult_binary64_3013 associate-*r/_binary64_3203 |
| 81× | cbrt-unprod_binary64_543 |
| 80× | cos-mult_binary64_3012 |
| 79× | cos-mult_binary64_444 |
| 78× | prod-exp_binary64 |
| 77× | sqrt-prod_binary64 |
| 76× | associate-/r*_binary64_3205 |
| 75× | associate-*l*_binary64_3202 |
| 74× | associate-*r*_binary64_3201 |
| 73× | frac-times_binary64_3134 |
| 72× | associate-/r*_binary64 associate-/r/_binary64_639 cbrt-undiv_binary64_544 |
| 70× | unswap-sqr_binary64 |
| 69× | distribute-lft-out_binary64 |
| 68× | unpow-prod-down_binary64_509 |
| 66× | distribute-lft-out--_binary64_3187 log-prod_binary64_3060 |
| 65× | flip3--_binary64 flip--_binary64 |
| 62× | pow-prod-down_binary64_501 |
| 61× | unswap-sqr_binary64_602 |
| 59× | associate-/l*_binary64_3206 cbrt-unprod_binary64 |
| 58× | pow-prod-down_binary64_3069 |
| 57× | flip-+_binary64_599 unpow-prod-down_binary64 |
| 56× | flip3-+_binary64_572 cbrt-div_binary64_542 prod-exp_binary64_3093 |
| 53× | associate-*l/_binary64_3204 associate-/l*_binary64 |
| 48× | difference-of-sqr-1_binary64_604 cbrt-unprod_binary64_3111 |
| 47× | distribute-lft-out--_binary64 |
| 46× | flip-+_binary64_3167 flip3-+_binary64_3140 |
| 43× | associate-*r/_binary64 unpow2_binary64_3085 frac-sub_binary64_3133 |
| 41× | flip3-+_binary64 *-commutative_binary64 flip-+_binary64 |
| 40× | sin-cos-mult_binary64_3014 associate-/r/_binary64_3207 add-sqr-sqrt_binary64_2485 |
| 39× | add-sqr-sqrt_binary64_1843 add-sqr-sqrt_binary64_1201 |
| 38× | pow-prod-down_binary64 associate-/l/_binary64_3208 |
| 37× | cube-prod_binary64 frac-times_binary64 |
| 36× | log-pow_binary64_495 |
| 35× | associate-/r/_binary64 |
| 34× | div-exp_binary64 associate-*l/_binary64 |
| 33× | *-commutative_binary64_642 |
| 32× | cbrt-undiv_binary64 log-prod_binary64_492 |
| 31× | flip--_binary64_3168 sub-neg_binary64 flip3--_binary64_3141 |
| 30× | pow1/3_binary64_512 sqrt-div_binary64_3122 clear-num_binary64_577 frac-2neg_binary64_567 |
| 29× | sub-neg_binary64_3146 sqr-pow_binary64 |
| 28× | div-inv_binary64 tan-quot_binary64 |
| 27× | swap-sqr_binary64 log-pow_binary64 log-div_binary64_3061 |
| 26× | swap-sqr_binary64_601 *-un-lft-identity_binary64_1216 *-un-lft-identity_binary64_2500 *-un-lft-identity_binary64_1858 unswap-sqr_binary64_3170 |
| 25× | div-exp_binary64_3095 |
| 23× | add-cbrt-cube_binary64_1830 add-exp-log_binary64_1822 add-exp-log_binary64_1180 add-cbrt-cube_binary64_1188 |
| 22× | log-pow_binary64_3063 div-inv_binary64_3143 sqrt-div_binary64 *-commutative_binary64_3210 |
| 21× | sub-div_binary64_3131 exp-prod_binary64 sum-log_binary64 sqrt-pow1_binary64_555 |
| 20× | associate-/l/_binary64 |
| 19× | sin-diff_binary64_2994 |
| 18× | diff-log_binary64_490 clear-num_binary64 associate-/l/_binary64_640 add-exp-log_binary64_2464 cbrt-undiv_binary64_3112 add-cbrt-cube_binary64_2472 frac-2neg_binary64 sub-neg_binary64_578 |
| 17× | exp-prod_binary64_528 sum-log_binary64_3057 pow1/2_binary64_510 |
| 16× | add-log-exp_binary64_1181 add-log-exp_binary64_1823 add-log-exp_binary64_2465 |
| 15× | rem-sqrt-square_binary64_562 div-sub_binary64_3136 diff-log_binary64 pow-unpow_binary64_507 |
| 14× | add-cube-cbrt_binary64_2471 add-cube-cbrt_binary64_1829 pow1_binary64_1162 pow1_binary64_1804 add-cube-cbrt_binary64_1187 |
| 13× | pow-exp_binary64_3066 clear-num_binary64_3145 difference-of-sqr--1_binary64_605 cosh-undef_binary64 +-commutative_binary64_3209 frac-2neg_binary64_3135 exp-prod_binary64_3096 diff-log_binary64_3058 |
| 12× | sqrt-prod_binary64_2479 times-frac_binary64_2495 times-frac_binary64_1853 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 times-frac_binary64_1211 cbrt-prod_binary64_3109 distribute-lft-in_binary64_3184 difference-of-squares_binary64_1887 associate-/l*_binary64_2564 associate-/l*_binary64_1922 associate-/l*_binary64_1280 difference-of-squares_binary64_2529 div-sub_binary64_568 cbrt-prod_binary64 difference-of-squares_binary64_1245 distribute-rgt-in_binary64_3185 |
| 11× | pow-pow_binary64_502 sin-mult_binary64_445 distribute-rgt-in_binary64 +-commutative_binary64 acos-asin_binary64_408 distribute-lft-in_binary64 |
| 10× | cos-diff_binary64_2995 pow1_binary64_2446 pow-to-exp_binary64_3067 frac-sub_binary64_565 swap-sqr_binary64_3169 rem-log-exp_binary64_3105 |
| 9× | pow-to-exp_binary64 inv-pow_binary64_496 pow-exp_binary64 pow-unpow_binary64_3075 sqrt-prod_binary64_1195 sqrt-prod_binary64_1837 pow-flip_binary64_504 pow-sqr_binary64_3175 pow-prod-up_binary64_3068 |
| 8× | sqr-pow_binary64_606 flip3--_binary64_2499 pow-sqr_binary64_607 pow-prod-up_binary64_500 pow-plus_binary64 exp-sum_binary64_3101 sin-sum_binary64_2991 sinh-undef_binary64 pow-sqr_binary64 pow-prod-up_binary64 associate--l+_binary64_3198 flip--_binary64_2526 pow2_binary64 unpow3_binary64_3086 cube-mult_binary64_3117 |
| 7× | flip3--_binary64_1215 associate-+r+_binary64_3193 rem-log-exp_binary64_537 flip--_binary64_1884 cube-prod_binary64_547 flip--_binary64_1242 flip3--_binary64_1857 |
| 6× | distribute-lft-out--_binary64_2545 pow1/2_binary64 rem-log-exp_binary64 cube-mult_binary64 distribute-lft-out--_binary64_1261 sqrt-pow1_binary64 associate--r+_binary64_629 distribute-lft-out--_binary64_1903 |
| 5× | pow-plus_binary64_515 pow1/2_binary64_3078 sqrt-pow1_binary64_3123 cbrt-unprod_binary64_1827 prod-exp_binary64_1809 unpow3_binary64 cube-div_binary64_548 associate-+r-_binary64_627 prod-exp_binary64_1167 cbrt-unprod_binary64_1185 exp-to-pow_binary64_514 distribute-lft-in_binary64_616 log-div_binary64 distribute-rgt-out--_binary64 distribute-rgt-in_binary64_617 associate--r+_binary64_3197 pow-plus_binary64_3083 |
| 4× | frac-add_binary64_3132 cbrt-undiv_binary64_1828 div-exp_binary64_1169 diff-log_binary64_2416 associate-/l/_binary64_1924 cos-sum_binary64_2992 associate--r-_binary64_3200 div-exp_binary64_2453 sub-neg_binary64_2504 pow2_binary64_511 sub-neg_binary64_1220 div-sub_binary64 cbrt-undiv_binary64_2470 div-exp_binary64_1811 cbrt-undiv_binary64_1186 associate-/l/_binary64_2566 diff-log_binary64_1774 sub-neg_binary64_1862 associate-/l/_binary64_1282 sum-log_binary64_489 sqrt-div_binary64_2480 associate--l-_binary64_3199 diff-log_binary64_1132 |
| 3× | pow2_binary64_3079 rem-exp-log_binary64_3104 pow-prod-down_binary64_1143 distribute-frac-neg_binary64_614 +-commutative_binary64_641 acos-neg_binary64_410 tanh-def-a_binary64 associate-+r+_binary64 cube-div_binary64 associate-*r*_binary64_1917 cbrt-div_binary64 associate-*r*_binary64_1275 rem-sqrt-square_binary64_3130 distribute-rgt-out_binary64_620 pow-prod-down_binary64_1785 rem-sqrt-square_binary64 pow-pow_binary64_3070 tanh-def-b_binary64 unpow2_binary64_517 tanh-def-c_binary64 cos-diff_binary64_427 |
| 2× | exp-diff_binary64_535 div-sub_binary64_1852 sqr-cos-a_binary64_439 sqrt-div_binary64_1838 difference-cubes_binary64_3139 clear-num_binary64_1861 rec-exp_binary64 frac-2neg_binary64_1851 clear-num_binary64_1219 associate-/r*_binary64_1921 div-sub_binary64_1210 associate-+l+_binary64_3194 sqrt-pow1_binary64_2481 div-inv_binary64_1859 div-sub_binary64_2494 cos-sum_binary64_424 div-inv_binary64_2501 sqrt-div_binary64_1196 pow1/2_binary64_2436 associate-/r*_binary64_2563 rem-sqrt-square_binary64_2488 prod-exp_binary64_2451 associate-/r*_binary64_1279 exp-sum_binary64_533 frac-2neg_binary64_1209 clear-num_binary64_2503 frac-2neg_binary64_2493 div-inv_binary64_1217 unpow3_binary64_518 cbrt-unprod_binary64_2469 un-div-inv_binary64_576 cube-div_binary64_3116 cube-mult_binary64_549 associate--l+_binary64 |
| 1× | difference-cubes_binary64 sqrt-unprod_binary64 log-div_binary64_493 rem-cube-cbrt_binary64_3118 sinh-def_binary64 pow1/2_binary64_1152 associate-+r-_binary64 exp-diff_binary64_3103 rem-cbrt-cube_binary64 associate--l+_binary64_630 associate-*l*_binary64_1276 *-commutative_binary64_1926 pow1/3_binary64 tanh-undef_binary64 frac-sub_binary64 sqrt-pow1_binary64_1839 rem-cbrt-cube_binary64_3119 asin-acos_binary64_407 pow-flip_binary64 exp-diff_binary64 pow1/3_binary64_3080 inv-pow_binary64 rem-exp-log_binary64_536 sin-PI_binary64_467 *-commutative_binary64_1284 associate-*l*_binary64_1918 rem-sqrt-square_binary64_1204 rem-cube-cbrt_binary64_550 sub-div_binary64 pow1/2_binary64_1794 rem-sqrt-square_binary64_1846 un-div-inv_binary64 sqrt-pow1_binary64_1197 rem-cbrt-cube_binary64_551 distribute-rgt1-in_binary64_623 |