rewrite8.3s (1.9%)

Algorithm

154×	rewrite-expression-head

Rules

2609×	times-frac_binary64_84
2522×	*-un-lft-identity_binary64_1442
2054×	times-frac_binary64_1448
1208×	add-sqr-sqrt_binary64_1464
1194×	times-frac_binary64_1789
1168×	add-sqr-sqrt_binary64_100
1148×	*-un-lft-identity_binary64_78
1141×	add-cube-cbrt_binary64_113
989×	*-un-lft-identity_binary64_1783
978×	add-sqr-sqrt_binary64_1805
907×	add-cube-cbrt_binary64_1477
868×	times-frac_binary64_425
835×	sqrt-prod_binary64_94
815×	distribute-lft-out_binary64_1393
657×	add-sqr-sqrt_binary64_2146
636×	*-un-lft-identity_binary64_2465
611×	add-cube-cbrt_binary64_1818
568×	*-un-lft-identity_binary64_2124
555×	pow1_binary64_139
546×	associate-*r*_binary64_1382
517×	log-pow_binary64_167
505×	times-frac_binary64_2130 add-sqr-sqrt_binary64_441
463×	*-un-lft-identity_binary64_419
449×	add-cube-cbrt_binary64_454
442×	*-un-lft-identity_binary64_1101
405×	add-cube-cbrt_binary64_2159
399×	add-sqr-sqrt_binary64_2487
370×	times-frac_binary64_2471
367×	add-exp-log_binary64_1480
358×	times-frac_binary64_1107
354×	sqrt-prod_binary64_2140
338×	add-sqr-sqrt_binary64_1123
332×	sqrt-prod_binary64_1458
330×	add-exp-log_binary64_1821
320×	add-cbrt-cube_binary64_1478
318×	add-cbrt-cube_binary64_1819
290×	associate-*l*_binary64_1383
287×	add-sqr-sqrt_binary64
280×	*-un-lft-identity_binary64_3829
272×	add-cube-cbrt_binary64_1136
266×	associate-*r*_binary64_1723
252×	add-exp-log_binary64_2844
249×	pow1_binary64_480
245×	cbrt-prod_binary64_1473
231×	add-sqr-sqrt_binary64_782
214×	flip3-+_binary64_1786 flip-+_binary64_1757
213×	times-frac_binary64_766
203×	*-un-lft-identity_binary64_3488
201×	add-sqr-sqrt_binary64_3851
199×	add-cube-cbrt_binary64_2500
198×	associate-*r*_binary64_2064
193×	add-exp-log_binary64_2162
191×	*-un-lft-identity_binary64_760
190×	log-pow_binary64_508
188×	times-frac_binary64_3835
183×	add-cube-cbrt_binary64_795
182×	sqrt-prod_binary64_1117
175×	add-sqr-sqrt_binary64_3510
174×	*-un-lft-identity_binary64 add-cube-cbrt_binary64
173×	pow1_binary64_2867
171×	difference-of-squares_binary64_1752
169×	frac-add_binary64_1791
164×	pow1_binary64
161×	associate-/r/_binary64_1729
158×	prod-exp_binary64_2855
157×	add-sqr-sqrt_binary64_3169
156×	add-cbrt-cube_binary64_2842 add-cube-cbrt_binary64_3864
154×	associate-/r/_binary64_1388 cbrt-prod_binary64_109
150×	pow1_binary64_1844
148×	add-exp-log_binary64_3526
147×	associate-*l*_binary64_1724
144×	distribute-lft-out_binary64_2416 add-cbrt-cube_binary64_2160
143×	sqrt-prod_binary64_1799
142×	cbrt-prod_binary64
137×	pow1_binary64_3549
135×	times-frac_binary64
133×	associate-*r/_binary64_1725
130×	pow1_binary64_2185
127×	div-exp_binary64_1493
126×	frac-times_binary64_1793
125×	cbrt-undiv_binary64_1476 add-log-exp_binary64_1822
122×	*-un-lft-identity_binary64_3147
120×	flip-+_binary64_1416 flip3-+_binary64_1445 cbrt-prod_binary64_791
119×	pow1_binary64_821
118×	add-cbrt-cube_binary64_3524
117×	add-cube-cbrt_binary64_3523 add-exp-log_binary64
113×	add-cbrt-cube_binary64
112×	div-exp_binary64_1834
110×	cbrt-unprod_binary64_2839
109×	cbrt-undiv_binary64_1817
108×	add-exp-log_binary64_457
107×	add-sqr-sqrt_binary64_2828 associate-*l*_binary64_2065
106×	prod-exp_binary64_1491
105×	sqrt-prod_binary64_776 associate-/l*_binary64_1387
104×	cbrt-unprod_binary64_1475 associate-*r*_binary64_3428
103×	add-exp-log_binary64_116
101×	*-un-lft-identity_binary64_2806
100×	associate-/r*_binary64_22
98×	distribute-lft-out_binary64_1734
97×	difference-of-squares_binary64_1411
94×	associate-*l*_binary64
93×	associate-/r*_binary64_1386 prod-exp_binary64_1832
92×	add-cube-cbrt_binary64_3182
90×	div-inv_binary64_1439
89×	add-cube-cbrt_binary64_2841
86×	associate-*r*_binary64 pow-prod-down_binary64_2877 add-exp-log_binary64_1139 distribute-lft-out--_binary64_1394
85×	difference-of-sqr-1_binary64_1753
84×	distribute-lft-out--_binary64_2417
82×	associate-*l*_binary64_3429 add-exp-log_binary64_3185 *-un-lft-identity_binary64_4170 unpow-prod-down_binary64_1180 distribute-lft-out_binary64_1052 pow1_binary64_1503 div-inv_binary64_75
81×	cbrt-unprod_binary64_1816
80×	associate-/r*_binary64_2068 add-log-exp_binary64_2163
79×	add-cbrt-cube_binary64_114 associate-*r*_binary64_2746 add-exp-log_binary64_2503
78×	associate-/r*_binary64_1727
77×	add-exp-log_binary64_3867
76×	sqrt-prod_binary64
75×	unpow-prod-down_binary64_157 times-frac_binary64_3494 cube-prod_binary64_106
72×	distribute-lft-out--_binary64_1735
71×	add-exp-log_binary64_798
70×	add-cbrt-cube_binary64_3865 cbrt-div_binary64_3520
69×	pow1_binary64_3208 add-cbrt-cube_binary64_455 sqrt-prod_binary64_3504
68×	add-cbrt-cube_binary64_1137
67×	prod-exp_binary64_3537 sqrt-prod_binary64_435
66×	difference-of-squares_binary64_2434 add-cbrt-cube_binary64_2501 associate-*l/_binary64_1726 sqrt-div_binary64_2141
64×	div-inv_binary64_1780 flip-+_binary64_2098 flip3-+_binary64_2127 cbrt-prod_binary64_3178 associate-*r*_binary64_18
62×	associate-/l*_binary64_23 associate-/l*_binary64_1728 associate-*r*_binary64_3769 add-cbrt-cube_binary64_796
61×	pow1_binary64_2526
60×	associate-/r*_binary64_1045 associate-*r/_binary64_3430
59×	pow1_binary64_1162
58×	pow-prod-down_binary64 unpow-prod-down_binary64 associate-*r/_binary64_2748
57×	pow1_binary64_3890
56×	add-log-exp_binary64 associate-*l*_binary64_2747 flip3-+_binary64_3491 associate-/r*_binary64_363 flip-+_binary64_3462
55×	add-log-exp_binary64_1481 difference-of-squares_binary64_2093 frac-times_binary64_2134
54×	swap-sqr_binary64_3796
53×	add-log-exp_binary64_1140 add-cbrt-cube_binary64_3183 cbrt-unprod_binary64_3521
52×	flip3--_binary64_1787 unswap-sqr_binary64_2092 distribute-lft-in_binary64_2755 distribute-lft-out_binary64_3780 cbrt-div_binary64_2156 associate-*r*_binary64_2405 flip--_binary64_1758 distribute-rgt-in_binary64_2756
51×	distribute-lft-out_binary64_3439 cbrt-prod_binary64_3519 prod-exp_binary64_2173
50×	cbrt-prod_binary64_1814 associate-*l*_binary64_3770 log-prod_binary64_2551
49×	frac-times_binary64_1452 add-sqr-sqrt_binary64_4192 distribute-lft-out--_binary64_2076 associate-*l/_binary64_2067 associate-*r*_binary64_3087
48×	add-log-exp_binary64_2504
47×	associate-/l/_binary64_1389 sqrt-pow1_binary64_2142 swap-sqr_binary64_2432 sum-log_binary64_1874
46×	div-exp_binary64_470 flip3-+_binary64_1104 flip-+_binary64_1075 associate-*r/_binary64_2066
45×	sqrt-pow1_binary64_1801 div-inv_binary64_416
44×	frac-times_binary64_3498 add-log-exp_binary64_2845
43×	add-log-exp_binary64_3868 flip3--_binary64_2128 log-pow_binary64_849 flip--_binary64_2099 associate-*r/_binary64_2407
42×	distribute-lft-out_binary64_2075
41×	associate-/l*_binary64_2069 associate-*l*_binary64_2406 unswap-sqr_binary64
40×	unpow-prod-down_binary64_2203 associate-/l*_binary64_2410
39×	prod-exp_binary64 div-exp_binary64_129 associate-*l*_binary64_3088 cbrt-unprod_binary64_2157 cbrt-unprod_binary64 pow1/3_binary64_1865 pow-prod-down_binary64_3559 sqrt-pow1_binary64_778 associate-/l*_binary64_364
38×	times-frac_binary64_3153 flip-+_binary64_2780 flip3-+_binary64_2809 div-exp_binary64_2175
37×	add-log-exp_binary64_799 associate-*l/_binary64_1385 cbrt-prod_binary64_1132
36×	cbrt-div_binary64_3179 cancel-sign-sub-inv_binary64_2772 associate-*l*_binary64_1042 sqrt-div_binary64_1118 associate-*r*_binary64_1041 associate-*l/_binary64_2749 cbrt-div_binary64_2497
35×	associate-*r*_binary64_359 add-log-exp_binary64_458 unswap-sqr_binary64_1410
34×	associate-*l/_binary64_3431 pow1_binary64_4231 add-log-exp_binary64_3527 sqrt-div_binary64_777
33×	associate-/l*_binary64_1046 associate-/r/_binary64_2070
32×	add-exp-log_binary64_4208 sqrt-pow1_binary64 prod-exp_binary64_3196 add-log-exp_binary64_3186 associate-*r*_binary64_4110 add-cbrt-cube_binary64_4206
31×	add-cube-cbrt_binary64_4205
30×	flip3-+_binary64_3832 pow-prod-down_binary64_2195 flip-+_binary64_3803 flip3-+_binary64_2468 associate-*l*_binary64_360 associate-*r/_binary64_3089 flip-+_binary64_2439
29×	associate-/l/_binary64_1730 cancel-sign-sub-inv_binary64_3795 cancel-sign-sub-inv_binary64_2431 cbrt-prod_binary64_2837
28×	associate-*r/_binary64_1384 pow1/3_binary64_3229 swap-sqr_binary64 log-prod_binary64_505
27×	associate-/r/_binary64_1047 pow-prod-down_binary64_1854 unswap-sqr_binary64_3456
26×	pow1/2_binary64_2204 cbrt-div_binary64_1133 add-log-exp_binary64_117 associate-/r*_binary64_704 sqr-pow_binary64
25×	cbrt-undiv_binary64_2158 flip-+_binary64_3121 exp-sum_binary64_2511 pow-flip_binary64_1857 cbrt-prod_binary64_450 flip3-+_binary64_3150 cbrt-prod_binary64_2155 sqrt-pow1_binary64_437
24×	associate-/r/_binary64_3775 associate-*r*_binary64_700 distribute-lft-out_binary64_4121 unswap-sqr_binary64_1751
23×	pow1/2_binary64 associate-/r*_binary64_2409 pow-prod-up_binary64_3558 cbrt-undiv_binary64_112 div-inv_binary64_2121 frac-add_binary64_2132
22×	sqrt-div_binary64_436 pow-plus_binary64_3551 div-exp_binary64_1152 sqrt-div_binary64
21×	swap-sqr_binary64_1750 *-commutative_binary64_2737 pow1/2_binary64_840 distribute-lft-neg-in_binary64_1058 distribute-rgt-neg-in_binary64_1059 sqrt-prod_binary64_4186 add-log-exp_binary64_4209
20×	add-log-exp_binary64_4550 exp-sum_binary64_465 sqrt-div_binary64_1459 sqrt-div_binary64_1800 associate-*r/_binary64_3771 frac-sub_binary64_2815 *-commutative_binary64
19×	unswap-sqr_binary64_3115 cbrt-unprod_binary64_3180 flip3-+_binary64_763 clear-num_binary64_1441 flip-+_binary64_734 flip-+_binary64_4144 frac-2neg_binary64_1453 flip3-+_binary64_4173 unswap-sqr_binary64_1069 associate-/r*_binary64_3773 associate--l+_binary64_2743
18×	associate-*l*_binary64_4111 cancel-sign-sub-inv_binary64_2090 sqrt-div_binary64_4187 pow1/3_binary64_2547 associate-*l*_binary64_701 sqrt-div_binary64_3505 associate-*r/_binary64_4112 prod-exp_binary64_2514
17×	div-exp_binary64_3880 unswap-sqr_binary64_387 *-commutative_binary64_2055 pow-prod-down_binary64_831 pow1/2_binary64_499
16×	flip3--_binary64_2810 prod-exp_binary64_809 swap-sqr_binary64_3114 prod-exp_binary64_3878 pow-prod-down_binary64_1513 cbrt-undiv_binary64_453 sqr-pow_binary64_2096 flip--_binary64_2781 *-commutative_binary64_3419 cbrt-unprod_binary64_3862 cbrt-prod_binary64_2496
15×	frac-2neg_binary64_1794 associate-/l/_binary64_2412 pow-prod-down_binary64_3218 *-un-lft-identity_binary64_4511 swap-sqr_binary64_727 clear-num_binary64_1782 swap-sqr_binary64_2091
14×	swap-sqr_binary64_3455 cancel-sign-sub-inv_binary64_1408 cbrt-undiv_binary64_1135 log-div_binary64_1870 cbrt-unprod_binary64_2498 associate-/l*_binary64_705 div-inv_binary64_1098 pow-sqr_binary64_1756 exp-diff_binary64_1831 associate-/r/_binary64_2411 cbrt-unprod_binary64_793 sqrt-div_binary64_3846 div-inv_binary64_757 pow-prod-up_binary64_1853
13×	pow-prod-down_binary64_490 flip3-+_binary64 div-inv_binary64_3826 unswap-sqr_binary64_3797 cbrt-undiv_binary64_3863 exp-sum_binary64_1829 unpow-prod-down_binary64_1862 rem-sqrt-square_binary64_773 sub-neg_binary64_2799 unswap-sqr_binary64_2433 rem-sqrt-square_binary64_2137 pow1/3_binary64_1183 flip-+_binary64
12×	unswap-sqr_binary64_728 1-exp_binary64_463 frac-add_binary64_3496 unpow-prod-down_binary64_3567 prod-exp_binary64_127 flip--_binary64_2440 associate-/l/_binary64_1048 flip3--_binary64_2469 rec-exp_binary64_469 difference-of-squares_binary64_3116 *-commutative_binary64_1714 unpow-prod-down_binary64_3908 frac-times_binary64_2816 unpow-prod-down_binary64_2885 cube-prod_binary64_2152 rem-sqrt-square_binary64 div-inv_binary64_2462 rem-sqrt-square_binary64_1114 times-frac_binary64_2812 unswap-sqr_binary64_46 sqrt-pow1_binary64_1119 div-exp_binary64_3539 log-pow_binary64_2895 pow1/2_binary64_1181 unpow-prod-down_binary64_1521 exp-prod_binary64_471
11×	div-exp_binary64_2516 frac-2neg_binary64_89 clear-num_binary64_77 *-commutative_binary64_1373 clear-num_binary64_2123 swap-sqr_binary64_1409 log-prod_binary64_2892 pow-prod-down_binary64_2536 frac-2neg_binary64_2135
10×	distribute-rgt-in_binary64_1733 unpow-prod-down_binary64_3226 cbrt-unprod_binary64_111 distribute-lft-in_binary64_1732 sqr-pow_binary64_50 pow1/2_binary64_1863 frac-times_binary64_3839 cube-prod_binary64_1811 log-prod_binary64_1869 *-commutative_binary64_3078 cbrt-undiv_binary64_2499 associate-/l*_binary64_3774 sum-log_binary64_2215 div-exp_binary64_811
9×	pow-prod-down_binary64_3900 pow1/3_binary64_501 flip3--_binary64_423 cancel-sign-sub-inv_binary64_3113 prod-exp_binary64_1150 pow-prod-up_binary64_2194 prod-exp_binary64_4219 flip--_binary64_394 cbrt-unprod_binary64_4203 pow-unpow_binary64_1860 sqrt-prod_binary64_3845 unpow3_binary64_144 cube-mult_binary64_108 add-sqr-sqrt_binary64_4533 pow-prod-up_binary64_830 associate-/l*_binary64_3092 cbrt-undiv_binary64_3522 frac-times_binary64_2475
8×	pow-exp_binary64_2874 frac-times_binary64_4180 associate-*l/_binary64_703 associate-*l*_binary64_19 pow-exp_binary64_3215 distribute-lft-out_binary64_3098 rec-exp_binary64_128 +-commutative_binary64_1713 cbrt-div_binary64_1474 difference-of-squares_binary64_388 associate-*l/_binary64_3090 exp-prod_binary64_3881 flip3--_binary64_1446 pow-plus_binary64_1846 1-exp_binary64_122 pow1/3_binary64 clear-num_binary64_1100 pow-prod-down_binary64_4241 frac-2neg_binary64_1112 cbrt-unprod_binary64_452 prod-exp_binary64_468 distribute-lft-neg-in_binary64 pow1/3_binary64_3570 log-div_binary64_506 flip--_binary64_1417 sub-neg_binary64_2458 pow-to-exp_binary64_2875 distribute-rgt-neg-in_binary64 pow1/3_binary64_842 associate-*r/_binary64_361 frac-times_binary64_3157 cbrt-div_binary64_792 frac-add_binary64_2814 pow-prod-down_binary64_149 unpow-prod-down_binary64_2544 exp-prod_binary64_1835 associate-/l/_binary64_2071 unswap-sqr_binary64_2774 pow2_binary64_1864 associate-+r+_binary64_1374 cancel-sign-sub-inv_binary64_1749
7×	clear-num_binary64_418 flip--_binary64_3804 distribute-lft-out--_binary64_3099 diff-log_binary64_2557 *-commutative_binary64_2396 frac-2neg_binary64_430 associate-/r*_binary64_3091 associate-/l*_binary64 distribute-rgt-in_binary64_3779 pow-sqr_binary64_3120 log-pow_binary64 distribute-lft-in_binary64_3096 +-commutative_binary64_2054 distribute-lft-out--_binary64_371 associate-+r+_binary64_1715 pow-prod-up_binary64_3217 *-commutative_binary64_3760 distribute-lft-in_binary64_3778 cube-div_binary64_1812 neg-mul-1_binary64_1097 distribute-rgt-in_binary64_3097 frac-sub_binary64_2474 flip3--_binary64_3833
6×	cbrt-undiv_binary64_794 pow1_binary64_4572 +-commutative_binary64_1031 sum-log_binary64_851 associate-/r*_binary64_3432 sum-log_binary64_1533 pow-pow_binary64_1855 times-frac_binary64_4176 add-exp-log_binary64_4549 difference-of-sqr-1_binary64_2435 sqrt-pow1_binary64_96 swap-sqr_binary64_386 sqrt-pow1_binary64_3506 pow-exp_binary64_2192 associate-+r+_binary64_2738 associate-+l+_binary64_2739 pow1/2_binary64_3568 frac-2neg_binary64_2476 sum-log_binary64_1192 sub-neg_binary64_3822 associate-*l/_binary64_3772 pow-flip_binary64_1516 associate-*l/_binary64_4113 associate-*r*_binary64_4451 difference-of-sqr--1_binary64_2436 diff-log_binary64_4603 *-commutative_binary64_350 swap-sqr_binary64_4137 swap-sqr_binary64_1068 diff-log_binary64_2216 add-cbrt-cube_binary64_4547 pow-unpow_binary64_155 associate-*r/_binary64_702 sub-neg_binary64_2117 sum-log_binary64_3920 pow-to-exp_binary64_2193 *-commutative_binary64_4101 pow-to-exp_binary64_1852 associate-/r*_binary64_4114 pow-exp_binary64_1851 cube-prod_binary64_1470 pow1/2_binary64_158 sqr-pow_binary64_3460 pow-pow_binary64_3219 pow-sqr_binary64_3461 add-cube-cbrt_binary64_4546 unswap-sqr_binary64_4138 clear-num_binary64_2464 unpow-prod-down_binary64_839 sqr-pow_binary64_3119 difference-of-squares_binary64_3798 rem-sqrt-square_binary64_3501 flip3--_binary64_1105 flip--_binary64_1076 rem-sqrt-square_binary64_432
5×	distribute-rgt-in_binary64_4120 flip3-+_binary64_422 flip-+_binary64_52 cbrt-unprod_binary64_1134 +-commutative_binary64_1372 pow-to-exp_binary64_3216 pow-prod-up_binary64_2535 associate-*l/_binary64_2408 pow-exp_binary64_146 distribute-rgt-in_binary64_2415 pow2_binary64_3569 distribute-lft-in_binary64_4119 div-sub_binary64_2470 +-commutative_binary64_3759 distribute-lft-in_binary64_2414 sum-log_binary64_2897 frac-times_binary64_1111 flip-+_binary64_393 pow-sqr_binary64_2097 div-inv_binary64 pow-sqr_binary64_733 distribute-lft-out--_binary64_2758 1-exp_binary64_2168 log-pow_binary64_3918 pow-sqr_binary64_2438 div-inv_binary64_3485 *-commutative_binary64_691 flip3-+_binary64_81 rec-exp_binary64_2174
4×	associate--r+_binary64_2401 sqrt-unprod_binary64 *-commutative_binary64_9 sum-log_binary64_4602 distribute-lft-out_binary64_711 distribute-neg-frac_binary64_2770 sqr-pow_binary64_2437 sqr-pow_binary64_1755 inv-pow_binary64_163 associate--r+_binary64_2742 flip3--_binary64_4174 log-prod_binary64_3915 exp-diff_binary64_467 unpow2_binary64_3894 sum-log_binary64_2556 associate-/r*_binary64_2750 pow-exp_binary64_828 exp-prod_binary64_2517 cube-div_binary64_1471 cube-mult_binary64_2154 clear-num_binary64_3828 sqr-abs_binary64_775 associate-+l+_binary64_1716 pow-pow_binary64_150 sqr-pow_binary64_3801 distribute-lft-out--_binary64_4122 frac-2neg_binary64_771 pow-plus_binary64_3210 frac-times_binary64_770 1-exp_binary64_1145 rec-exp_binary64_1151 +-commutative_binary64_690 sqr-pow_binary64_1414 cube-prod_binary64_2493 unpow3_binary64_2190 difference-of-squares_binary64_4139 distribute-lft-out--_binary64_4463 cbrt-div_binary64 pow2_binary64_3228 sqrt-div_binary64_95 cube-div_binary64_789 sum-log_binary64_4261 distribute-rgt-in_binary64_2074 pow-flip_binary64_2198 sqr-pow_binary64_732 associate-*r/_binary64_20 frac-2neg_binary64_3840 clear-num_binary64_759 sub-neg_binary64_1776 distribute-neg-in_binary64_2767 sqr-abs_binary64_2139 flip--_binary64_4145 sum-log_binary64_3579 associate-+l+_binary64_2057 rem-sqrt-square_binary64_1796 cube-prod_binary64_3175 sin-sum_binary64 pow-flip_binary64_152 distribute-lft-in_binary64_2073 +-commutative_binary64_2736 diff-log_binary64_3921
3×	1-exp_binary64_3532 rec-exp_binary64_3538 distribute-lft-neg-in_binary64_2763 pow-to-exp_binary64_3557 associate-/r*_binary64 distribute-lft-out--_binary64_3781 rem-cube-cbrt_binary64_101 pow-exp_binary64_3556 inv-pow_binary64_1868 cube-div_binary64_107 distribute-lft-out_binary64_4462 pow-prod-up_binary64_3899 +-commutative_binary64_2395 cube-mult_binary64_1813 cancel-sign-sub-inv_binary64_4477 div-sub_binary64_1447 difference-of-squares_binary64_2775 associate-*l*_binary64_4452 1-exp_binary64_1827 unpow3_binary64_1849 rec-exp_binary64_1833 pow-unpow_binary64_1519 inv-pow_binary64_504 pow-plus_binary64_2528 pow-unpow_binary64_3224 rem-cube-cbrt_binary64_783 sub-neg_binary64_3140 associate-*r/_binary64_1043 exp-prod_binary64 unpow1/3_binary64_3214 cancel-sign-sub-inv_binary64_385 pow-unpow_binary64_837 flip--_binary64_3122 pow-flip_binary64_493 pow1/3_binary64_1524 cancel-sign-sub-inv_binary64_4136 pow2_binary64_2546 sub-neg_binary64_4504 distribute-lft-out_binary64_2757 associate-*l/_binary64_1044 pow-prod-down_binary64_1172 pow-sqr_binary64_3802 flip3--_binary64_3151 pow-sub_binary64_1859 distribute-lft-out_binary64_29 pow-plus_binary64_3892 div-exp_binary64 associate-/l*_binary64_2751 pow2_binary64_3910 sub-neg_binary64_4163 diff-log_binary64_2898 distribute-rgt-neg-in_binary64_2764 pow-pow_binary64_832 div-sub_binary64_1106
2×	+-commutative_binary64_8 div-sub_binary64_3152 associate-+l-_binary64_2400 cbrt-div_binary64_110 rem-cbrt-cube_binary64_102 flip--_binary64_4486 log-div_binary64_2552 pow-to-exp_binary64_2534 rem-exp-log_binary64_1823 pow-to-exp_binary64_147 sub-neg_binary64 cbrt-undiv_binary64_3181 diff-log_binary64_1875 pow-to-exp_binary64_829 *-commutative_binary64_1032 pow-exp_binary64_2533 associate--r+_binary64_4106 clear-num_binary64_3146 associate-/l/_binary64_3435 exp-sum_binary64 diff-log_binary64 rem-cube-cbrt_binary64_1806 flip-+_binary64_4485 pow-prod-up_binary64_1171 unpow3_binary64_826 flip3-+_binary64_4514 associate-/r/_binary64_24 sub-neg_binary64_1435 associate-/l/_binary64_3776 flip3--_binary64_4515 log-pow_binary64_2554 sub-neg_binary64_1094 1-exp_binary64_1486 1-exp_binary64_3873 associate-*r/_binary64_4453 cbrt-div_binary64_1815 associate-+l+_binary64_2398 associate-/r/_binary64_3093 cube-prod_binary64_788 distribute-rgt-in_binary64_710 sum-log_binary64_510 associate-/l/_binary64_3094 neg-mul-1_binary64 unsub-neg_binary64_2800 sum-log_binary64 div-inv_binary64_3144 distribute-lft-neg-out_binary64_2765 sqrt-undiv_binary64_2145 associate-+r+_binary64_3761 pow1/2_binary64_4250 exp-sum_binary64_3875 associate-+l+_binary64_4444 rem-exp-log_binary64 associate-/r/_binary64_365 +-commutative_binary64_3418 rem-exp-log_binary64_3869 cancel-sign-sub-inv_binary64 associate-/r/_binary64_4116 associate-+r+_binary64_3079 pow-sqr_binary64_1074 diff-log_binary64_1534 sqrt-pow1_binary64_4188 +-commutative_binary64_4100 rec-exp_binary64_3879 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 cube-mult_binary64_790 diff-log_binary64_1193 pow2_binary64_1523 +-commutative_binary64_3077 cbrt-undiv_binary64_4204 log-div_binary64_165 rem-sqrt-square_binary64_4183 sqr-pow_binary64_2778 cancel-sign-sub-inv_binary64_1067 distribute-lft-in_binary64_709 unpow2_binary64_2871 rec-exp_binary64_810 div-exp_binary64_3198 cube-mult_binary64_1472 unpow3_binary64_1508 associate-+l-_binary64_4446 pow-prod-up_binary64_1512 pow-sqr_binary64 pow1/3_binary64_160 div-sub_binary64_83 frac-2neg_binary64_3158 inv-pow_binary64_3914 +-commutative_binary64 pow3_binary64_3571 pow-sqr_binary64_392 pow-plus_binary64_1505 pow-prod-up_binary64 associate-/l/_binary64_4117 pow-prod-up_binary64_489 +-commutative_binary64_349 inv-pow_binary64_2209 rem-log-exp_binary64_2506 rec-exp_binary64_1492 1-exp_binary64_804 pow-flip_binary64_3903 div-exp_binary64_4221 pow-sqr_binary64_1415 sum-log_binary64_169 sum-log_binary64_3238 div-sub_binary64_424
1×	associate-+r-_binary64_2740 associate--l-_binary64_4449 sqrt-unprod_binary64_2144 associate-+r+_binary64_692 inv-pow_binary64_1527 sub-neg_binary64_412 distribute-rgt-in_binary64_4461 associate-+r-_binary64_1376 associate--r-_binary64_2404 cube-mult_binary64_3177 rem-cube-cbrt_binary64_1465 rem-cbrt-cube_binary64_784 div-sub_binary64_1788 pow-plus_binary64_1164 sqrt-unprod_binary64_780 neg-mul-1_binary64_2802 inv-pow_binary64_1186 pow2_binary64_841 pow-to-exp_binary64 unpow3_binary64_2531 flip3--_binary64 frac-2neg_binary64_3499 pow-plus_binary64_4233 difference-of-squares_binary64 rem-sqrt-square_binary64_91 distribute-rgt-in_binary64_1392 clear-num_binary64 log-pow_binary64_1872 div-inv_binary64_2803 pow2_binary64_1182 +-commutative_binary64_4441 associate-+l+_binary64_4103 cbrt-undiv_binary64 un-div-inv_binary64_76 distribute-rgt-in_binary64_28 pow-to-exp_binary64_3898 associate-/l/_binary64_25 associate-*r/_binary64 clear-num_binary64_4169 pow-plus_binary64_823 diff-log_binary64_4262 pow-exp_binary64_3897 cbrt-undiv_binary64_2840 *-commutative_binary64_4442 frac-2neg_binary64_4181 unpow3_binary64_3213 neg-sub0_binary64_1096 inv-pow_binary64_845 pow-exp_binary64 pow2_binary64_500 cbrt-unprod_binary64_4544 exp-to-pow_binary64_1845 distribute-frac-neg_binary64_1064 associate-/l*_binary64_4115 pow-sqr_binary64_4143 neg-log_binary64_2899 associate-/l/_binary64_366 pow2_binary64_4251 associate-+r-_binary64_3081 pow-flip_binary64_834 associate-/l*_binary64_3433 un-div-inv_binary64_3486 flip--_binary64 rem-exp-log_binary64_459 associate-+r+_binary64_2056 div-inv_binary64_4167 rem-log-exp_binary64_2847 distribute-lft-in_binary64_27 difference-of-squares_binary64_4480 pow-plus_binary64_482 pow1/3_binary64_2206 exp-diff_binary64 pow-plus_binary64_2187 cube-mult_binary64_2495 clear-num_binary64_3487 distribute-lft-in_binary64_1391 pow-prod-up_binary64_4240 pow-plus_binary64 rem-cbrt-cube_binary64_1807 div-exp_binary64_2857 pow-exp_binary64_1510 associate-+r-_binary64_2058 rem-square-sqrt_binary64_2136 frac-2neg_binary64 rem-log-exp_binary64_460 unswap-sqr_binary64_4479 distribute-lft-in_binary64_4460 associate-/r/_binary64_706 rem-log-exp_binary64_3870 neg-sub0_binary64_2801 sqrt-unprod_binary64_439 pow-prod-down_binary64_4582 associate-+l-_binary64_2059 clear-num_binary64_2805 pow-flip_binary64_1175 div-sub_binary64_2129 pow2_binary64_2205 diff-log_binary64_3239 rem-exp-log_binary64_2505 rem-square-sqrt_binary64_772 cos-sum_binary64 diff-log_binary64_511 associate-+l+_binary64_3421 frac-times_binary64 pow2_binary64 pow-to-exp_binary64_1511 exp-diff_binary64_2513 frac-2neg_binary64_2817 associate--l+_binary64_4448 associate-*l/_binary64 rem-cbrt-cube_binary64_1466 pow-pow_binary64_1514 prod-exp_binary64_4560

Calls

452 calls:

119.0ms	(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
116.0ms	(*.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
97.0ms	(*.f64 (*.f64 (+.f64 alpha beta) (/.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha))) (*.f64 (cbrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (cbrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (/.f64 (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))
91.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)) (+.f64 (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z)) (+.f64 (/.f64 7041008316161153/562949953421312 (-.f64 5 z)) (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))))))
89.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))