rewrite9.5s (1.7%)

Algorithm

158×	rewrite-expression-head

Rules

17547×	*-un-lft-identity_binary64_1762
14336×	times-frac_binary64_1768
7547×	distribute-lft-out_binary64_1715
4563×	add-sqr-sqrt_binary64_1783
4347×	add-cube-cbrt_binary64_1794
1073×	times-frac_binary64_83
831×	times-frac_binary64_1094
810×	times-frac_binary64_2105
801×	add-sqr-sqrt_binary64_2120
785×	associate-/r/_binary64_1710
780×	*-un-lft-identity_binary64_1088
689×	*-un-lft-identity_binary64_2099
681×	*-un-lft-identity_binary64_2436
676×	add-sqr-sqrt_binary64_2457
627×	add-sqr-sqrt_binary64_98
599×	sqrt-prod_binary64_2451
583×	add-sqr-sqrt_binary64_1109
580×	times-frac_binary64_2442
563×	*-un-lft-identity_binary64_77
553×	add-cube-cbrt_binary64_2131
544×	add-cube-cbrt_binary64_109
467×	sqrt-prod_binary64_2114
450×	flip-+_binary64_1736 flip3-+_binary64_1765
396×	add-cube-cbrt_binary64_1120
390×	add-exp-log_binary64_1797
377×	div-inv_binary64_1759
366×	associate-*r*_binary64_1030
357×	add-cube-cbrt_binary64_2468
350×	times-frac_binary64_420
347×	add-cbrt-cube_binary64_1795
332×	add-sqr-sqrt_binary64_435
324×	*-un-lft-identity_binary64_414
312×	times-frac_binary64_757
310×	sqrt-prod_binary64_1777
307×	*-un-lft-identity_binary64_751
302×	add-exp-log_binary64_1460
282×	add-sqr-sqrt_binary64_772
275×	add-cube-cbrt_binary64_446
273×	associate-/r*_binary64_1708
268×	pow1_binary64_135
258×	*-un-lft-identity_binary64_1425
247×	add-cube-cbrt_binary64_783 add-exp-log_binary64_112
237×	associate-*r*_binary64_1704
221×	add-exp-log_binary64_2134
212×	associate-/l*_binary64_1709
211×	log-pow_binary64_163
210×	add-cbrt-cube_binary64_1458
200×	add-sqr-sqrt_binary64_1446
195×	pow1_binary64_1483
180×	associate-*l*_binary64_2042
177×	associate-*r*_binary64_2378
174×	add-cbrt-cube_binary64_2132
173×	add-cube-cbrt_binary64_1457
167×	prod-exp_binary64_1471
165×	sqrt-prod_binary64_766
163×	associate-*r*_binary64_2041
158×	times-frac_binary64_1431
154×	pow1_binary64_809
153×	sqrt-prod_binary64_429
142×	add-sqr-sqrt_binary64
141×	add-cbrt-cube_binary64_110
136×	div-exp_binary64_1810
131×	sqrt-prod_binary64_92
128×	pow1_binary64
124×	add-sqr-sqrt_binary64_2794
121×	distribute-lft-out_binary64_1041
120×	cbrt-undiv_binary64_1793
118×	pow1_binary64_472 difference-of-squares_binary64_2405
115×	associate-*r*_binary64_356
114×	pow1_binary64_1820
113×	add-sqr-sqrt_binary64_3131
111×	*-un-lft-identity_binary64_3110
110×	add-exp-log_binary64_2808
108×	*-un-lft-identity_binary64 associate-*r*_binary64_19
106×	pow1_binary64_2831
104×	add-cube-cbrt_binary64
103×	add-exp-log_binary64
101×	cbrt-unprod_binary64_1455 pow1_binary64_2157
100×	add-cbrt-cube_binary64
98×	distribute-lft-out_binary64_2389 *-un-lft-identity_binary64_4121
97×	add-exp-log_binary64_3145 associate-*l*_binary64_1705
95×	add-exp-log_binary64_786
94×	add-exp-log_binary64_2471 prod-exp_binary64_1808
93×	associate-*l*_binary64_20 add-cbrt-cube_binary64_784
92×	difference-of-squares_binary64_1731 pow1_binary64_3168 *-un-lft-identity_binary64_2773 add-log-exp_binary64_3146
91×	log-pow_binary64_837
90×	add-exp-log_binary64_1123 add-exp-log_binary64_449 unpow-prod-down_binary64_2175
89×	add-cbrt-cube_binary64_3143
88×	add-cbrt-cube_binary64_1121 add-cbrt-cube_binary64_2806
86×	frac-times_binary64_1772
84×	add-cube-cbrt_binary64_2805 prod-exp_binary64_123 cbrt-prod_binary64_442
82×	sqrt-prod_binary64_1440
80×	add-log-exp_binary64_1798
79×	distribute-lft-out--_binary64_2390 add-cbrt-cube_binary64_2469
74×	cbrt-unprod_binary64_1792
72×	prod-exp_binary64_2145
71×	associate-/r*_binary64_23 add-sqr-sqrt_binary64_4142 div-exp_binary64_125 distribute-lft-out--_binary64_1042 add-cbrt-cube_binary64_447 difference-of-squares_binary64_1057
70×	cbrt-div_binary64_2128 associate-/r/_binary64_1036 flip-+_binary64_1062 flip3-+_binary64_1091 sqrt-prod_binary64
67×	add-sqr-sqrt_binary64_3468 associate-/l*_binary64_2046
66×	associate-*r/_binary64_1706 associate-*l*_binary64_694 associate-/r*_binary64_2045 sqrt-div_binary64_2115 associate-/r*_binary64_2382
65×	associate-/l/_binary64_1711 unpow-prod-down_binary64_490
64×	unswap-sqr_binary64_2067 associate-*r/_binary64_4065
63×	associate-*r*_binary64_693 cbrt-prod_binary64_2127 associate-*l*_binary64_1368
61×	cbrt-prod_binary64_3475 add-cube-cbrt_binary64_3142
57×	add-log-exp_binary64_787 div-inv_binary64_74
56×	pow1_binary64_2494
55×	add-log-exp_binary64 unpow-prod-down_binary64_1501 pow-prod-down_binary64_1493 flip3-+_binary64_2102 associate-*r*_binary64_2715 flip-+_binary64_2073
54×	cube-prod_binary64_439 cbrt-unprod_binary64_2129 sqrt-div_binary64_1778
53×	associate-*l*_binary64
52×	associate-/r/_binary64_2047 associate-*r/_binary64_3054
51×	*-un-lft-identity_binary64_3447 add-log-exp_binary64_1461 add-exp-log_binary64_4156 pow1_binary64_4179
50×	flip3-+_binary64_4124 cbrt-prod_binary64_2801 associate-*r*_binary64_1367 prod-exp_binary64_2819 log-prod_binary64_2519 flip-+_binary64_4095
49×	add-log-exp_binary64_2135 associate-*r*_binary64 add-cbrt-cube_binary64_4154 log-pow_binary64_500 cbrt-prod_binary64_1116
48×	associate-/r*_binary64_697 associate-/l*_binary64_24 add-log-exp_binary64_2472 associate-*l/_binary64_1707
47×	add-log-exp_binary64_450 div-exp_binary64_2147 add-cube-cbrt_binary64_4153
46×	difference-of-squares_binary64_2068 associate-/l*_binary64_2383 add-cube-cbrt_binary64_3479 pow1_binary64_1146 distribute-lft-out--_binary64_2053
45×	add-log-exp_binary64_4157 associate-/r*_binary64_360
43×	cbrt-undiv_binary64_2130 associate-*r*_binary64_3052 associate-*l/_binary64_2044 frac-times_binary64_2109
42×	pow-plus_binary64_1485 pow-prod-up_binary64_1492 pow-unpow_binary64_2173 distribute-lft-out_binary64_1378
41×	add-log-exp_binary64_1124 add-log-exp_binary64_113 associate-/l*_binary64_1035
40×	cbrt-unprod_binary64_2803 associate-*l*_binary64_3053 flip-+_binary64_3084 flip3-+_binary64_3113 cbrt-prod_binary64_779
38×	sqr-pow_binary64_2071 associate-*r*_binary64_4063 associate-*l/_binary64_3055
37×	prod-exp_binary64_3156 associate-*l*_binary64_2716 div-exp_binary64_1473 pow-prod-down_binary64_2841
36×	unpow-prod-down_binary64_1838 cube-prod_binary64_1787 associate-*r/_binary64_2043 frac-add_binary64_2107 cbrt-div_binary64_2802
35×	cbrt-undiv_binary64_108 div-inv_binary64_1085 associate-/r*_binary64_1371 associate-*l*_binary64_4064
34×	cbrt-div_binary64_1117 associate-*l*_binary64_2379
33×	pow-prod-down_binary64 cbrt-unprod_binary64_107 cbrt-unprod_binary64_3140 pow1_binary64_3505 div-inv_binary64_2096 associate-/l/_binary64_2048
32×	pow-prod-down_binary64_3178 sqrt-div_binary64_767
31×	unswap-sqr_binary64_45 unpow-prod-down_binary64_153
30×	distribute-lft-out_binary64_704 difference-of-sqr-1_binary64_1732 add-log-exp_binary64_3483 unswap-sqr_binary64_1730 flip--_binary64_2074 flip3--_binary64_2103
29×	prod-exp_binary64 add-log-exp_binary64_2809
28×	sub-neg_binary64_3103 clear-num_binary64_1761 sqrt-div_binary64_2452 unpow-prod-down_binary64_827 frac-2neg_binary64_1773 cbrt-unprod_binary64
27×	distribute-lft-out--_binary64_1716 log-prod_binary64_2856 *-un-lft-identity_binary64_4795
26×	associate-/r/_binary64_2384 distribute-lft-out_binary64_2052 add-exp-log_binary64_3482 associate-/l*_binary64_361
25×	add-cbrt-cube_binary64_3480 flip-+_binary64_725 diff-log_binary64_3199 flip3-+_binary64_754 exp-sum_binary64_2479 associate-/l*_binary64_698 cbrt-undiv_binary64_1456
24×	div-exp_binary64_1136 times-frac_binary64_2779 cbrt-div_binary64_3139 cbrt-undiv_binary64_1119 add-sqr-sqrt_binary64_4816
23×	flip3--_binary64_1766 distribute-lft-out--_binary64_3064 flip3-+_binary64_1428 flip--_binary64_3085 div-exp_binary64_2484 flip--_binary64_1737 flip-+_binary64_1399 flip3--_binary64_3114
22×	sqrt-div_binary64_430 associate-*l*_binary64_1031 swap-sqr_binary64_1729 sqr-pow_binary64_1734 distribute-lft-out_binary64_367 distribute-lft-out_binary64_4074 sqrt-div_binary64
21×	cbrt-prod_binary64_1453 associate-/l*_binary64_1372 pow-prod-down_binary64_2167
20×	rec-exp_binary64_124 1-exp_binary64_118 unswap-sqr_binary64_382 unswap-sqr_binary64_2404 frac-add_binary64_3118 exp-prod_binary64_2148 div-exp_binary64_462
19×	add-sqr-sqrt_binary64_5153 add-log-exp_binary64_4831 associate-*r*_binary64_3389 div-inv_binary64_411 unswap-sqr_binary64_2741
18×	associate-*l*_binary64_3390 pow-prod-down_binary64_1830 prod-exp_binary64_797 cbrt-unprod_binary64_781 associate-*r/_binary64_21 pow1/3_binary64_2852 cbrt-div_binary64_4150
17×	cbrt-undiv_binary64_2467 pow1/3_binary64_1167 associate-/r*_binary64_1034 *-commutative_binary64_2032 *-un-lft-identity_binary64_5132 sqrt-pow1_binary64 difference-of-squares_binary64_3079
16×	prod-exp_binary64_2482 cbrt-undiv_binary64_782 frac-times_binary64_3120 flip-+_binary64_2410 flip3-+_binary64_2439 pow1_binary64_4853 pow1/2_binary64 div-inv_binary64_2433 unswap-sqr_binary64_1056 frac-sub_binary64_4130 frac-times_binary64_1098 pow-exp_binary64_2164 add-cube-cbrt_binary64_4827 add-exp-log_binary64_4830 pow-to-exp_binary64_2165 associate-*r*_binary64_4737 pow-pow_binary64_2168 frac-times_binary64_4131 add-cbrt-cube_binary64_4828 div-exp_binary64_799
15×	flip3-+_binary64_417 cbrt-unprod_binary64_1118 associate-/r/_binary64_699 prod-exp_binary64_1134 flip-+_binary64_388 pow-prod-down_binary64_145 sqrt-pow1_binary64_2116 log-pow_binary64_2859 pow-pow_binary64_483 log-prod_binary64_834 *-commutative_binary64
14×	add-cbrt-cube_binary64_5165 flip-+_binary64_51 add-exp-log_binary64_5167 associate-/l/_binary64_1037 flip--_binary64_2411 flip3-+_binary64_80 flip3--_binary64_2440 associate-*l/_binary64_4066
13×	flip3--_binary64_2777 flip--_binary64_2748 associate-*l*_binary64_357 sqrt-pow1_binary64_431 pow1/3_binary64_3526 prod-exp_binary64_460 frac-2neg_binary64_2110 div-inv_binary64_748 pow1/3_binary64_3189 *-commutative_binary64_3043 unswap-sqr_binary64 cbrt-unprod_binary64_4151 associate-*l*_binary64_4738 clear-num_binary64_2098 *-commutative_binary64_2706 prod-exp_binary64_4167 cbrt-prod_binary64_3138
12×	flip3-+_binary64 unswap-sqr_binary64_719 associate-*l/_binary64_1033 pow-unpow_binary64_488 log-pow_binary64 unpow-prod-down_binary64_2849 swap-sqr_binary64_2740 rem-sqrt-square_binary64 div-inv_binary64_1422 associate-/r/_binary64_1373 pow-prod-down_binary64_4189 1-exp_binary64_1466 sqrt-pow1_binary64_768 pow1/2_binary64_828 sqrt-div_binary64_1441 cbrt-prod_binary64 cbrt-undiv_binary64_445 cbrt-unprod_binary64_2466 rec-exp_binary64_1472 flip-+_binary64
11×	pow1/2_binary64_2176 add-cube-cbrt_binary64_5164 pow-prod-down_binary64_482 frac-2neg_binary64_88 distribute-rgt-in_binary64_1714 unswap-sqr_binary64_3078 distribute-lft-out--_binary64_4075 distribute-lft-in_binary64_1713 clear-num_binary64_76
10×	diff-log_binary64_1851 pow-exp_binary64_142 pow-prod-down_binary64_819 clear-num_binary64_2435 unswap-sqr_binary64_1393 flip3-+_binary64_2776 sqrt-pow1_binary64_1779 sub-neg_binary64_1755 *-commutative_binary64_1695 frac-2neg_binary64_2447 distribute-rgt-in_binary64_3062 distribute-lft-in_binary64_3061 sqrt-pow1_binary64_2453 flip-+_binary64_2747 swap-sqr_binary64_4088 pow1/2_binary64_1839 sqr-pow_binary64_386
9×	log-prod_binary64_160 add-log-exp_binary64_5168 *-commutative_binary64_10 pow1_binary64_5190 pow-prod-down_binary64_2504 *-commutative_binary64_4054 unswap-sqr_binary64_4089 exp-prod_binary64_463 swap-sqr_binary64_718 pow1/3_binary64_830 times-frac_binary64_4127 times-frac_binary64 pow1/2_binary64_491 pow1/3_binary64_4200 associate-/r*_binary64_4067 associate-*r/_binary64_358 *-commutative_binary64_1358 unpow-prod-down_binary64_3523 cbrt-unprod_binary64_444
8×	log-div_binary64_835 associate-/l/_binary64_700 sum-log_binary64_4209 pow1/2_binary64_1502 flip3-+_binary64_4798 associate-/l/_binary64_1374 flip3--_binary64_755 distribute-lft-neg-in_binary64 flip--_binary64_726 distribute-lft-in_binary64_4072 rem-sqrt-square_binary64_1438 pow2_binary64_1503 frac-times_binary64_2783 distribute-rgt-neg-in_binary64 sqrt-pow1_binary64_1442 associate-*r*_binary64_5074 unswap-sqr_binary64_3415 log-div_binary64_161 sum-log_binary64_1513 pow-sqr_binary64_1398 flip-+_binary64_4769 associate-*r/_binary64_2717 cos-sum_binary64 unpow-prod-down_binary64_3186 associate-*r/_binary64_1032 distribute-rgt-in_binary64_4073 pow-exp_binary64_479
7×	clear-num_binary64_413 associate-/r/_binary64_362 difference-of-sqr-1_binary64_3080 distribute-lft-out_binary64_4748 associate--l-_binary64_3050 clear-num_binary64_750 pow-prod-up_binary64_1829 associate--l+_binary64_3049 sqr-pow_binary64_1397 sum-log_binary64_3198 frac-2neg_binary64_1436 rem-sqrt-square_binary64_2112 frac-2neg_binary64_762 sqrt-prod_binary64_4136 frac-2neg_binary64_425 diff-log_binary64_4210 +-commutative_binary64_1357 pow1/2_binary64_2513 clear-num_binary64_1424 rem-sqrt-square_binary64_764 sum-log_binary64_502 cbrt-prod_binary64_4149 swap-sqr_binary64_2066
6×	log-prod_binary64_1845 associate-*l*_binary64_5075 +-commutative_binary64_3042 sum-log_binary64_4883 swap-sqr_binary64_1055 sqr-pow_binary64_2745 sqrt-pow1_binary64_94 associate-*r/_binary64_4739 pow-prod-down_binary64_1156 flip--_binary64_4096 swap-sqr_binary64_3414 flip-+_binary64_3421 div-sub_binary64_756 sum-log_binary64_3535 pow-prod-down_binary64_3515 pow-unpow_binary64_1836 *-commutative_binary64_684 flip3-+_binary64_3450 +-commutative_binary64_1020 sum-log_binary64_839 rec-exp_binary64_461 associate-*r/_binary64_5076 1-exp_binary64_455 flip3--_binary64_4125 difference-of-sqr-1_binary64_2406 diff-log_binary64_2525 distribute-lft-out--_binary64_2727 associate-/l/_binary64_2385 1-exp_binary64_1803 rec-exp_binary64_1809 pow1/2_binary64_154 sum-log_binary64_1176 sin-sum_binary64 sub-neg_binary64_2429 associate-*r/_binary64_695 rem-sqrt-square_binary64_427 associate-*l/_binary64_1370 sub-neg_binary64_4114
5×	pow-sqr_binary64_1735 frac-2neg_binary64_1099 frac-times_binary64_761 +-commutative_binary64_9 sub-neg_binary64_2766 clear-num_binary64_1087 exp-prod_binary64_800 *-commutative_binary64_3380 unpow-prod-down_binary64 sqrt-div_binary64_93 associate-+l+_binary64_3045 *-commutative_binary64_347 flip3--_binary64_1092 prod-exp_binary64_3493 sum-log_binary64_165 exp-prod_binary64 difference-cubes_binary64_1764 associate-*r/_binary64_2380 pow-to-exp_binary64_480 +-commutative_binary64_683 *-commutative_binary64_1021 cbrt-unprod_binary64_3477 distribute-lft-out_binary64_3400 times-frac_binary64_5138 un-div-inv_binary64_75 +-commutative_binary64_346 associate-/r*_binary64_5078 distribute-lft-in_binary64_4746 flip--_binary64_1063 distribute-lft-out_binary64_30 distribute-rgt-in_binary64_4747
4×	pow-exp_binary64_2838 flip--_binary64_5107 +-commutative_binary64_3379 unswap-sqr_binary64_4763 pow-sqr_binary64_2746 rem-log-exp_binary64_789 flip3--_binary64 inv-pow_binary64_496 log-prod_binary64_1171 cube-div_binary64_103 pow-flip_binary64_485 associate-/r/_binary64_4069 rem-sqrt-square_binary64_2449 associate-/r*_binary64_2719 associate-/l/_binary64_4070 pow3_binary64_1505 cube-mult_binary64_441 distribute-rgt-in_binary64_2051 difference-of-squares_binary64_4090 associate--r+_binary64_2711 pow-exp_binary64_1827 pow-to-exp_binary64_2839 pow-prod-down_binary64_4863 prod-exp_binary64_4841 associate-*l/_binary64_2718 exp-prod_binary64_2485 log-div_binary64_1846 flip--_binary64 cube-prod_binary64_3135 div-exp_binary64_4169 div-sub_binary64_1093 difference-of-squares_binary64_5101 cube-prod_binary64_2798 flip3--_binary64_5136 exp-prod_binary64_1811 rem-cube-cbrt_binary64_1784 diff-log_binary64_840 unpow3_binary64_477 associate-/r/_binary64_25 cbrt-undiv_binary64_4152 log-pow_binary64_1174 sub-neg_binary64_744 cube-prod_binary64_1450 swap-sqr_binary64_3077 difference-of-sqr--1_binary64_385 cbrt-unprod_binary64_4825 associate-+r+_binary64_1696 sqr-pow_binary64_3082 associate-*r/_binary64_3391 +-commutative_binary64_4727 pow-prod-up_binary64_2840 *-commutative_binary64_4728 sub-div_binary64_4128 distribute-lft-in_binary64_2050
3×	flip3--_binary64_418 +-commutative_binary64_4053 sub-neg_binary64_5125 pow-prod-up_binary64_4188 associate-/r*_binary64 rem-log-exp_binary64_115 pow-to-exp_binary64_143 +-commutative_binary64_2368 exp-sum_binary64_1805 pow-unpow_binary64_151 rec-exp_binary64_2483 *-commutative_binary64_2369 associate-+l+_binary64_4730 cbrt-unprod_binary64_5162 associate-/l*_binary64_2720 1-exp_binary64_2477 associate-/l*_binary64 exp-prod_binary64_1137 prod-exp_binary64_5178 sum-log_binary64_2524 diff-log_binary64_2862 sqrt-prod_binary64_1103 frac-times_binary64_87 associate-*l/_binary64_22 sqrt-undiv_binary64_2456 rem-log-exp_binary64_2811 pow-sqr_binary64_4094 div-sub_binary64_2441 associate-+r+_binary64_685 pow1/3_binary64_1504 pow-flip_binary64_2507 pow-plus_binary64_1822 flip--_binary64_389 sqr-pow_binary64_49 associate-*l/_binary64_696 associate--l+_binary64_2712 cube-prod_binary64 rem-cube-cbrt_binary64_436 pow2_binary64_1840 pow-unpow_binary64_3521 associate--l+_binary64_4060 pow-unpow_binary64_825 difference-of-squares_binary64_2742 cube-div_binary64_440
2×	cube-mult_binary64_778 div-inv_binary64_4118 distribute-lft-out_binary64_3063 flip3-+_binary64_5135 rem-sqrt-square_binary64_1775 frac-sub_binary64_2445 pow-plus_binary64_4181 associate-/l/_binary64 log-pow_binary64_2522 sub-neg_binary64 associate-/r/_binary64 distribute-lft-out--_binary64_5086 rem-cube-cbrt_binary64_99 cbrt-div_binary64_106 log-pow_binary64_1848 sqrt-undiv_binary64_434 unpow2_binary64_2835 cbrt-div_binary64_443 pow-to-exp_binary64_1491 rem-exp-log_binary64_788 associate-/r/_binary64_5080 diff-log_binary64 pow-sqr_binary64_3083 distribute-lft-in_binary64_3398 distribute-rgt-in_binary64_3399 distribute-rgt-in_binary64_2725 cube-div_binary64_1788 sqr-pow_binary64_723 distribute-lft-out_binary64 log-prod_binary64 pow-prod-down_binary64_5200 associate-+r+_binary64_4729 div-exp_binary64_2821 difference-of-squares_binary64_383 pow-exp_binary64_3175 unswap-sqr_binary64_5100 cbrt-undiv_binary64_5163 rem-log-exp_binary64 associate-*l/_binary64_4740 unpow3_binary64_1825 *-commutative_binary64_5065 distribute-rgt-in_binary64_29 pow-prod-up_binary64_818 pow-sqr_binary64_724 pow1/3_binary64_2178 flip-+_binary64_5106 sum-log_binary64_1850 neg-mul-1_binary64 rem-cube-cbrt_binary64_773 pow-pow_binary64_820 associate-/l/_binary64_5081 distribute-lft-out_binary64_5085 pow-sqr_binary64_3420 frac-2neg_binary64_4132 pow-exp_binary64_1490 associate-/l*_binary64_4068 pow-pow_binary64_146 +-commutative_binary64_1694 pow-plus_binary64_2833 div-exp_binary64_5180 difference-of-squares_binary64_3416 sqrt-div_binary64_1104 div-inv_binary64_2770 cube-mult_binary64_1789 inv-pow_binary64_159 exp-diff_binary64_1807 log-div_binary64_2520 distribute-lft-in_binary64_28 pow-pow_binary64_1831 unpow3_binary64_814 pow-sqr_binary64_1061 pow-to-exp_binary64_1828 pow-prod-up_binary64_1155 pow-exp_binary64_816 pow-prod-up_binary64_3177 associate--r+_binary64_4059 div-sub_binary64_82 unpow2_binary64_476 pow2_binary64_2851 distribute-lft-in_binary64_5083 pow-prod-up_binary64_3514 associate-+l+_binary64_4056 distribute-rgt-in_binary64_5084 rem-log-exp_binary64_2474 distribute-lft-in_binary64_2724 pow2_binary64_4199 associate-+l-_binary64_4058 clear-num_binary64_4120 frac-times_binary64_1435 cube-prod_binary64_776 pow-to-exp_binary64_3176 pow-pow_binary64_3516 pow-flip_binary64_148
1×	sqrt-unprod_binary64 unpow3_binary64_1488 pow-flip_binary64_1496 pow-to-exp_binary64_817 div-sub_binary64_3452 cbrt-undiv_binary64_2804 distribute-lft-out--_binary64_368 pow-plus_binary64_1148 cube-mult_binary64_104 +-commutative_binary64_5064 associate-+r+_binary64_348 rem-cbrt-cube_binary64_774 sum-log_binary64_5220 rem-sqrt-square_binary64_1101 associate-+l-_binary64_2373 distribute-rgt-out--_binary64_4077 cbrt-prod_binary64_105 distribute-lft-out--_binary64_3401 cube-mult_binary64_1452 exp-sum_binary64_1131 exp-sum_binary64 flip3--_binary64_3451 un-div-inv_binary64_1423 sub-neg_binary64_1418 difference-of-squares_binary64 log-div_binary64_2857 div-sub_binary64_1767 clear-num_binary64 rem-cbrt-cube_binary64 rem-sqrt-square_binary64_90 inv-pow_binary64_2518 pow-plus_binary64_811 diff-log_binary64_503 cbrt-undiv_binary64 pow2_binary64_1166 rem-exp-log_binary64_1799 unpow3_binary64_2836 pow1/3_binary64 frac-times_binary64_2446 associate-/l*_binary64_5079 associate-*l/_binary64_2381 diff-log_binary64_3536 associate-+l-_binary64_3047 sub-neg_binary64_3440 unpow3_binary64 pow-plus_binary64_3507 pow-plus_binary64_3170 sum-log_binary64 times-frac_binary64_3453 unpow3_binary64_140 sqrt-unprod_binary64_1781 cube-mult_binary64 clear-num_binary64_5131 pow-exp_binary64_3512 rem-cbrt-cube_binary64_437 pow2_binary64_2177 rem-exp-log_binary64 associate-+r-_binary64_1361 exp-diff_binary64_2481 pow2_binary64_3188 pow2_binary64_3525 pow-to-exp_binary64_3513 associate--l-_binary64_4061 sub-neg_binary64_407 inv-pow_binary64_1507 rem-exp-log_binary64_2136 distribute-rgt-out_binary64_3402 div-sub_binary64 diff-log_binary64_1514 distribute-lft-in_binary64_365 rem-exp-log_binary64_2473 frac-2neg_binary64_2784 pow-prod-up_binary64_2166 frac-2neg_binary64 associate-+l+_binary64_3382 distribute-rgt1-in_binary64_3405 pow2_binary64_829 associate--r-_binary64_3388 distribute-rgt-in_binary64_366 rem-square-sqrt_binary64_1774 cube-mult_binary64_2800 unpow2_binary64_2161 un-div-inv_binary64_412 div-inv_binary64 clear-num_binary64_2772 pow-sqr_binary64_2072 pow1/3_binary64_156 div-exp_binary64 exp-sum_binary64_794 pow1/3_binary64_493 +-commutative_binary64 sqrt-pow1_binary64_1105 associate-/l/_binary64_26 rem-log-exp_binary64_1126 diff-log_binary64_5221 associate-*r/_binary64_1369 flip--_binary64_3422 unpow3_binary64_3173 sqr-pow_binary64_3419 cube-mult_binary64_3137 frac-2neg_binary64_5143 rem-log-exp_binary64_1800 sqr-pow_binary64 pow1/2_binary64_1165 cube-prod_binary64_102 div-sub_binary64_2104 div-inv_binary64_5129 associate-+r+_binary64_1359

Calls

458 calls:

136.0ms	(/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))
112.0ms	(*.f64 (/.f64 i (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
91.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))) (sqrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))) (/.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))) (sqrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))))
83.0ms	(/.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))) (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))) (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))))
82.0ms	(*.f64 (/.f64 (pow.f64 (exp.f64 (fabs.f64 x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1/2 (pow.f64 (fabs.f64 x) 3))) (/.f64 3/4 (pow.f64 (fabs.f64 x) 5))) (/.f64 15/8 (pow.f64 (fabs.f64 x) 7))))