rewrite6.3min (7.8%)

Algorithm

1622×

rewrite-expression-head

Rules

5378×	times-frac_binary64_84
5267×	*-un-lft-identity_binary64_1442
5178×	times-frac_binary64_1448
4815×	cbrt-div_binary64_6248
4323×	add-sqr-sqrt_binary64_100
4288×	add-sqr-sqrt_binary64_1464
4122×	*-un-lft-identity_binary64_78
3960×	frac-sub_binary64_6225
3445×	*-un-lft-identity_binary64_2124
3281×	times-frac_binary64_1107
3234×	add-sqr-sqrt_binary64
3214×	times-frac_binary64_2471
3204×	add-cube-cbrt_binary64_113
3164×	times-frac_binary64_425
3096×	*-un-lft-identity_binary64
3069×	frac-times_binary64_6226
2958×	add-sqr-sqrt_binary64_3510
2846×	add-sqr-sqrt_binary64_441
2809×	add-sqr-sqrt_binary64_1123
2764×	times-frac_binary64_766
2734×	add-sqr-sqrt_binary64_782
2730×	*-un-lft-identity_binary64_419
2694×	add-cube-cbrt_binary64_1477
2691×	sqrt-prod_binary64_435
2668×	add-exp-log_binary64
2647×	*-un-lft-identity_binary64_1101
2643×	tanh-def-c_binary64_6405 tanh-def-a_binary64_6403 tanh-def-b_binary64_6404
2627×	sqrt-prod_binary64_1458
2617×	*-un-lft-identity_binary64_760
2600×	times-frac_binary64_14406
2571×	times-frac_binary64
2525×	*-un-lft-identity_binary64_2465
2397×	times-frac_binary64_13042
2369×	add-sqr-sqrt_binary64_2487
2353×	add-exp-log_binary64_1139
2327×	times-frac_binary64_18157
2256×	add-cube-cbrt_binary64_454
2210×	add-exp-log_binary64_457
2159×	times-frac_binary64_3494
2021×	unpow-prod-down_binary64_3567
2013×	add-cube-cbrt_binary64
2003×	*-un-lft-identity_binary64_3488
1938×	add-cube-cbrt_binary64_1136 associate-*r/_binary64_6158
1937×	add-cbrt-cube_binary64_1137
1912×	add-cube-cbrt_binary64_795
1910×	add-cube-cbrt_binary64_2500
1868×	add-sqr-sqrt_binary64_18173
1866×	add-sqr-sqrt_binary64_13058
1852×	add-exp-log_binary64_3526
1812×	*-un-lft-identity_binary64_18151
1797×	*-un-lft-identity_binary64_13036
1792×	times-frac_binary64_2130
1722×	times-frac_binary64_2812
1721×	add-sqr-sqrt_binary64_1805
1712×	add-sqr-sqrt_binary64_2146
1648×	add-sqr-sqrt_binary64_2828
1629×	add-cbrt-cube_binary64
1563×	*-un-lft-identity_binary64_1783
1541×	*-un-lft-identity_binary64_2806
1525×	add-exp-log_binary64_1480
1511×	times-frac_binary64_9291 add-exp-log_binary64_116
1493×	times-frac_binary64_18839
1482×	add-cbrt-cube_binary64_455
1460×	times-frac_binary64_11678
1453×	add-sqr-sqrt_binary64_14422
1451×	prod-exp_binary64
1415×	add-exp-log_binary64_1821
1411×	pow1_binary64
1403×	*-un-lft-identity_binary64_14400
1363×	*-un-lft-identity_binary64_12354
1354×	add-sqr-sqrt_binary64_12376
1350×	times-frac_binary64_12360
1339×	add-cube-cbrt_binary64_14435
1316×	times-frac_binary64_1789
1301×	associate-*r*_binary64_359
1265×	add-exp-log_binary64_798
1257×	add-cube-cbrt_binary64_1818
1256×	add-cbrt-cube_binary64_114
1245×	pow1_binary64_139
1217×	add-cube-cbrt_binary64_2159
1190×	add-sqr-sqrt_binary64_3169
1186×	prod-exp_binary64_1150
1154×	times-frac_binary64_17475
1152×	add-sqr-sqrt_binary64_18855
1112×	*-un-lft-identity_binary64_18833
1111×	sqrt-prod_binary64_3504
1109×	*-un-lft-identity_binary64_17469
1101×	distribute-lft-out_binary64_1393
1097×	associate-*r*_binary64_1382
1080×	distribute-lft-out_binary64_2075
1076×	*-un-lft-identity_binary64_11672
1045×	prod-exp_binary64_468
1028×	add-cube-cbrt_binary64_2841
996×	add-sqr-sqrt_binary64_11694 cbrt-unprod_binary64_1134
991×	add-sqr-sqrt_binary64_9307
988×	add-exp-log_binary64_2162
984×	*-un-lft-identity_binary64_3147
982×	add-sqr-sqrt_binary64_17491
975×	add-cbrt-cube_binary64_1478
968×	prod-exp_binary64_3537
957×	times-frac_binary64_23272
956×	times-frac_binary64_16111
943×	*-un-lft-identity_binary64_9285 add-exp-log_binary64_2503
942×	add-cube-cbrt_binary64_18186
936×	add-cube-cbrt_binary64_13071
923×	*-un-lft-identity_binary64_15082 times-frac_binary64_20885
905×	add-cbrt-cube_binary64_796
888×	times-frac_binary64_3153
874×	difference-of-squares_binary64_3457
851×	associate-*l*_binary64_1383
849×	*-un-lft-identity_binary64_4511
834×	associate-*r*_binary64 pow-exp_binary64_3556
832×	times-frac_binary64_17816
817×	pow1_binary64_821
800×	div-exp_binary64_3539
779×	add-cube-cbrt_binary64_9320 *-un-lft-identity_binary64_25994
766×	add-cube-cbrt_binary64_11707
765×	sqrt-prod_binary64_2481
763×	times-frac_binary64_7586
758×	pow1_binary64_480
752×	add-cbrt-cube_binary64_1819
748×	add-cbrt-cube_binary64_2160
745×	cbrt-unprod_binary64
732×	times-frac_binary64_4517 add-sqr-sqrt_binary64_17832
723×	add-cube-cbrt_binary64_3523
721×	*-un-lft-identity_binary64_20879
718×	times-frac_binary64_8950
716×	add-sqr-sqrt_binary64_16127
712×	add-cube-cbrt_binary64_3182
701×	pow1_binary64_1844
696×	sqrt-prod_binary64
694×	sqrt-prod_binary64_2140
679×	*-un-lft-identity_binary64_17810
668×	associate-*r/_binary64_361
661×	add-sqr-sqrt_binary64_4874
659×	sqrt-prod_binary64_4527
657×	sqrt-prod_binary64_94
651×	*-un-lft-identity_binary64_13718
648×	*-un-lft-identity_binary64_11331
647×	*-un-lft-identity_binary64_16105
646×	add-sqr-sqrt_binary64_13740
642×	add-cube-cbrt_binary64_18868
632×	pow1_binary64_2185
622×	pow1_binary64_1503
619×	sqrt-prod_binary64_1117
615×	*-un-lft-identity_binary64_10649
612×	*-un-lft-identity_binary64_10990
607×	cbrt-unprod_binary64_452
600×	times-frac_binary64_20203
598×	add-sqr-sqrt_binary64_15104
589×	add-sqr-sqrt_binary64_11012
584×	times-frac_binary64_19862
581×	add-cube-cbrt_binary64_12389 prod-exp_binary64_1491
575×	cbrt-div_binary64_451
572×	add-sqr-sqrt_binary64_4533
571×	pow-prod-down_binary64
569×	add-sqr-sqrt_binary64_20219
565×	add-cbrt-cube_binary64_2501
564×	add-cube-cbrt_binary64_17504
562×	associate-*l*_binary64 add-log-exp_binary64
560×	*-un-lft-identity_binary64_20197
559×	*-un-lft-identity_binary64_14059
555×	add-sqr-sqrt_binary64_7602
552×	associate-*r*_binary64_1041
549×	cbrt-prod_binary64_2496
548×	sqrt-prod_binary64_4868
547×	add-sqr-sqrt_binary64_20901
543×	associate-*r*_binary64_2064
542×	times-frac_binary64_14065
536×	add-cube-cbrt_binary64_16140
534×	add-sqr-sqrt_binary64_23288
533×	times-frac_binary64_13724
524×	times-frac_binary64_13383
522×	add-sqr-sqrt_binary64_15786
519×	*-un-lft-identity_binary64_7580
517×	add-cube-cbrt_binary64_20914
516×	associate-*r*_binary64_3428
514×	difference-of-squares_binary64_13005
511×	prod-exp_binary64_1832
510×	add-cube-cbrt_binary64_23301 *-un-lft-identity_binary64_23266
505×	add-sqr-sqrt_binary64_14081
502×	add-log-exp_binary64_117
501×	add-sqr-sqrt_binary64_13399 sqrt-prod_binary64_1799
500×	add-sqr-sqrt_binary64_10671 frac-sub_binary64_428
497×	*-un-lft-identity_binary64_13377
496×	pow1_binary64_2526
493×	distribute-lft-out--_binary64_1394 times-frac_binary64_10655
492×	pow1_binary64_1162 add-sqr-sqrt_binary64_8966
488×	flip--_binary64_394 flip3--_binary64_423
485×	pow-to-exp_binary64_3557 associate-*l*_binary64_360
483×	associate-*r*_binary64_700
480×	div-exp_binary64_1152
476×	cbrt-prod_binary64 prod-exp_binary64_127
474×	times-frac_binary64_15088
473×	times-frac_binary64_22590 cancel-sign-sub-inv_binary64_14366
472×	*-un-lft-identity_binary64_15423 add-sqr-sqrt_binary64_15445
471×	times-frac_binary64_10996
464×	add-sqr-sqrt_binary64_11353
460×	*-un-lft-identity_binary64_4852 add-exp-log_binary64_14097
458×	difference-of-squares_binary64_1411 *-un-lft-identity_binary64_8944
451×	*-un-lft-identity_binary64_15764
448×	times-frac_binary64_15770
446×	add-sqr-sqrt_binary64_6579
445×	flip--_binary64_6191 add-cube-cbrt_binary64_7615 pow1_binary64_3549 flip3--_binary64_6220 sqrt-prod_binary64_776
443×	*-un-lft-identity_binary64_6557 div-exp_binary64_470
441×	add-log-exp_binary64_458 sqrt-pow1_binary64_96
435×	associate-*r*_binary64_18
434×	cancel-sign-sub-inv_binary64_1067
432×	cbrt-unprod_binary64_111
431×	add-cube-cbrt_binary64_15117
430×	times-frac_binary64_4858 sqrt-prod_binary64_14416
429×	times-frac_binary64_11337
427×	distribute-lft-out--_binary64_18103
426×	add-sqr-sqrt_binary64_26016
425×	difference-of-squares_binary64_18120
424×	cbrt-prod_binary64_109
422×	add-cube-cbrt_binary64_8979 add-log-exp_binary64_2504
418×	add-log-exp_binary64_2163
417×	frac-times_binary64_429
410×	*-un-lft-identity_binary64_22584
408×	associate-*l*_binary64_701 add-cube-cbrt_binary64_17845
405×	sqrt-pow1_binary64
402×	add-cube-cbrt_binary64_14094
401×	associate-/r*_binary64_22
400×	difference-of-squares_binary64
396×	times-frac_binary64_26000
395×	div-exp_binary64
394×	difference-of-squares_binary64_47
391×	prod-exp_binary64_809 add-sqr-sqrt_binary64_16468 add-cube-cbrt_binary64_13753
389×	add-sqr-sqrt_binary64_22606
388×	unpow-prod-down_binary64_157
385×	div-exp_binary64_1834
384×	add-cube-cbrt_binary64_4887
383×	add-cube-cbrt_binary64_10684
379×	add-log-exp_binary64_1481
378×	add-log-exp_binary64_799
375×	distribute-lft-out--_binary64_12306
371×	*-un-lft-identity_binary64_5193 add-log-exp_binary64_1822
370×	distribute-lft-out_binary64_4462 cbrt-prod_binary64_450
369×	difference-of-squares_binary64_12323
368×	flip3-+_binary64_422 flip-+_binary64_393
367×	cbrt-undiv_binary64_1135
366×	distribute-rgt-neg-in_binary64_1400 cancel-sign-sub-inv_binary64_1408 distribute-lft-neg-in_binary64_1399
363×	times-frac_binary64_16452
359×	associate-*r*_binary64_1723 add-cube-cbrt_binary64_13412 div-exp_binary64_1493 add-sqr-sqrt_binary64_3851
357×	add-cube-cbrt_binary64_4546
349×	associate-*r/_binary64_1384 cbrt-prod_binary64_12385
348×	add-exp-log_binary64_2844
347×	associate-*r*_binary64_3087 add-exp-log_binary64_9323
346×	add-sqr-sqrt_binary64_14763
345×	distribute-lft-out--_binary64
343×	cancel-sign-sub-inv_binary64_44 add-exp-log_binary64_3185
341×	prod-exp_binary64_2173
339×	add-sqr-sqrt_binary64_4192 add-sqr-sqrt_binary64_5215
338×	sqrt-prod_binary64_26010 pow-prod-down_binary64_149 sqrt-prod_binary64_11347
336×	add-exp-log_binary64_15120 add-sqr-sqrt_binary64_19878
335×	distribute-lft-out--_binary64_12988
334×	*-un-lft-identity_binary64_16446 pow1_binary64_3208 add-exp-log_binary64_11710 sqr-pow_binary64_3460
333×	add-sqr-sqrt_binary64_17150
324×	add-sqr-sqrt_binary64_9989
323×	add-cube-cbrt_binary64_11025 div-inv_binary64_1098
322×	add-log-exp_binary64_1140
321×	*-un-lft-identity_binary64_19856 *-un-lft-identity_binary64_17128 add-cube-cbrt_binary64_16481 div-exp_binary64_129
320×	distribute-lft-out_binary64_2416
319×	distribute-lft-out--_binary64_3440
318×	add-cube-cbrt_binary64_19891
317×	add-cbrt-cube_binary64_3524
314×	*-un-lft-identity_binary64_14741 associate-*r*_binary64_12294
311×	prod-exp_binary64_2514
310×	cancel-sign-sub-inv_binary64 div-inv_binary64_75
308×	*-un-lft-identity_binary64_3829
307×	cbrt-unprod_binary64_1475 associate-*l*_binary64_19 times-frac_binary64_15429
306×	add-cbrt-cube_binary64_3183
303×	cbrt-prod_binary64_791
302×	frac-add_binary64_427
301×	associate-/r*_binary64_1386
300×	add-cube-cbrt_binary64_20232
299×	associate-*l*_binary64_1042
298×	cancel-sign-sub-inv_binary64_3454 unpow-prod-down_binary64_1862
296×	add-cube-cbrt_binary64_11366
295×	*-un-lft-identity_binary64_4170
294×	associate-*l*_binary64_1724
292×	pow1_binary64_2867
291×	cbrt-prod_binary64_18182 difference-of-squares_binary64_729 associate-*l/_binary64_6159 times-frac_binary64_6563
290×	*-un-lft-identity_binary64_20538
289×	pow1_binary64_4913
287×	times-frac_binary64_17134
280×	times-frac_binary64_20544
279×	associate-*l*_binary64_2065 add-cbrt-cube_binary64_2842
274×	div-exp_binary64_2516 pow1_binary64_10028
273×	div-exp_binary64_811 associate-*l*_binary64_3429
272×	associate-/l*_binary64_1387
271×	*-un-lft-identity_binary64_5875
270×	associate-*r*_binary64_2405
269×	associate-*r*_binary64_18091
268×	add-cbrt-cube_binary64_15118
267×	*-un-lft-identity_binary64_9967
266×	sqrt-prod_binary64_2822
263×	add-cube-cbrt_binary64_15458 cbrt-undiv_binary64_453
262×	associate-/l*_binary64_705
257×	cbrt-unprod_binary64_793 add-cbrt-cube_binary64_14095 associate-/r*_binary64 distribute-lft-out_binary64_1052
255×	associate-/r*_binary64_1045
254×	add-cube-cbrt_binary64_22619 pow-prod-down_binary64_490
253×	associate-*r*_binary64_17750 associate-/r*_binary64_2409
251×	cbrt-prod_binary64_15454
250×	pow-exp_binary64_1851 associate-*r*_binary64_11612 add-exp-log_binary64_23645
249×	distribute-lft-out--_binary64_25946 add-sqr-sqrt_binary64_12035
247×	associate-/r*_binary64_1727 difference-of-squares_binary64_2775 difference-of-squares_binary64_1070 associate-*r/_binary64_3089
245×	pow-to-exp_binary64_1852 add-sqr-sqrt_binary64_18514 associate-/r/_binary64_1388
241×	*-un-lft-identity_binary64_12695 add-log-exp_binary64_3186
240×	flip3-+_binary64_2127 add-sqr-sqrt_binary64_12717 flip-+_binary64_2098
239×	add-exp-log_binary64_13074 add-exp-log_binary64_4208
238×	cbrt-undiv_binary64 add-cbrt-cube_binary64_23643 associate-/r*_binary64_704
236×	cbrt-undiv_binary64_112 pow1_binary64_12074
235×	add-sqr-sqrt_binary64_10330
234×	sqrt-prod_binary64_15098 add-sqr-sqrt_binary64_21242 cbrt-prod_binary64_3178
233×	distribute-lft-out_binary64_29 add-sqr-sqrt_binary64_24311
232×	associate-*r/_binary64_20 add-sqr-sqrt_binary64_19196
231×	add-cube-cbrt_binary64_4205 associate-/l*_binary64_23 add-cube-cbrt_binary64_10002
230×	associate-*l/_binary64_362 add-cube-cbrt_binary64_3864
229×	difference-of-squares_binary64_18802 times-frac_binary64_9632
228×	add-sqr-sqrt_binary64_23629 flip-+_binary64_1416 flip3-+_binary64_1445
227×	sqrt-div_binary64_1459 cbrt-unprod_binary64_2157
226×	times-frac_binary64_5881 add-cube-cbrt_binary64_5228
225×	add-cube-cbrt_binary64_6592
224×	distribute-lft-out_binary64_15033
223×	add-cube-cbrt_binary64_15799
221×	add-cbrt-cube_binary64_11708 unpow-prod-down_binary64_839
220×	add-sqr-sqrt_binary64_20560 distribute-lft-out--_binary64_18785 times-frac_binary64_12701
219×	add-cbrt-cube_binary64_13072 associate-*r/_binary64 *-un-lft-identity_binary64_24289 add-exp-log_binary64_4890
217×	associate-/l*_binary64_2410 associate-*r*_binary64_17409
216×	difference-of-squares_binary64_3116
215×	associate-*r*_binary64_4792 distribute-lft-out--_binary64_30 sqrt-prod_binary64_10665 add-sqr-sqrt_binary64_9648
214×	add-exp-log_binary64_14438 *-un-lft-identity_binary64_6898
212×	add-sqr-sqrt_binary64_5897 swap-sqr_binary64_2091
211×	unswap-sqr_binary64_3456
210×	associate-/r*_binary64_12980
209×	add-cube-cbrt_binary64_12730 cbrt-div_binary64_2838
208×	cbrt-div_binary64_11022
207×	flip3--_binary64 *-un-lft-identity_binary64_19174 flip--_binary64 distribute-lft-out_binary64 add-cbrt-cube_binary64_9321
206×	add-sqr-sqrt_binary64_22947
205×	add-exp-log_binary64_16484
204×	unpow-prod-down_binary64_1180
202×	associate-/l*_binary64 add-exp-log_binary64_15461
201×	add-exp-log_binary64_25350 add-exp-log_binary64_12051
200×	add-sqr-sqrt_binary64_6238 *-un-lft-identity_binary64_18492
199×	cbrt-unprod_binary64_1816 pow-prod-down_binary64_831 *-un-lft-identity_binary64_12013
198×	add-exp-log_binary64_18189 div-exp_binary64_2175 pow-prod-down_binary64_1513 times-frac_binary64_23613
197×	times-frac_binary64_21226
196×	unpow-prod-down_binary64_2203 pow-prod-down_binary64_3559 cancel-sign-sub-inv_binary64_23232
195×	times-frac_binary64_5199 distribute-lft-out_binary64_370
193×	add-cbrt-cube_binary64_4888 associate-/r*_binary64_363
192×	frac-times_binary64_1452 unswap-sqr_binary64 add-cube-cbrt_binary64_20573 *-un-lft-identity_binary64_10308
191×	add-cube-cbrt_binary64_14776
190×	pow-prod-down_binary64_1854 div-inv_binary64_1439 cbrt-prod_binary64_2837
189×	distribute-lft-out--_binary64_17421 unpow-prod-down_binary64_1521 difference-of-squares_binary64_17438
188×	add-sqr-sqrt_binary64_6920 cancel-sign-sub-inv_binary64_9933
187×	div-exp_binary64_14110 add-exp-log_binary64_16143 add-sqr-sqrt_binary64_5556 log-prod_binary64_846
186×	*-un-lft-identity_binary64_9626 flip3-+_binary64_81 times-frac_binary64_24295 flip-+_binary64_52 add-log-exp_binary64_2845 distribute-lft-out--_binary64_2758
185×	add-cube-cbrt_binary64_9661
183×	associate-/l*_binary64_364 add-exp-log_binary64_13415 times-frac_binary64_14747
182×	*-un-lft-identity_binary64_22925 flip3-+_binary64_3150 flip-+_binary64_3121 add-exp-log_binary64_17848
181×	add-exp-log_binary64_14779 associate-/r*_binary64_2750
180×	add-cube-cbrt_binary64_18527
178×	times-frac_binary64_3835 cbrt-prod_binary64_1814 pow-prod-down_binary64_2195
177×	pow1_binary64_14802
176×	flip-+_binary64 pow1_binary64_4231 flip3-+_binary64 associate-/r*_binary64_9229 *-un-lft-identity_binary64_21220 associate-/r/_binary64_24 add-exp-log_binary64_7618
175×	associate-/l*_binary64_1728 distribute-lft-out--_binary64_712 add-cbrt-cube_binary64_16482 pow1_binary64_16507 add-cbrt-cube_binary64_14436
174×	cbrt-unprod_binary64_3521 associate-*r*_binary64_20819
173×	*-un-lft-identity_binary64_23607 cancel-sign-sub-inv_binary64_726 associate-/r*_binary64_2068 add-exp-log_binary64_17507 log-pow_binary64_167
172×	associate-*r*_binary64_2746 add-cube-cbrt_binary64_21255
171×	log-prod_binary64_1187 add-cube-cbrt_binary64_17163 exp-prod_binary64_2176
170×	associate-*r/_binary64_2066 cbrt-prod_binary64_23638 div-inv_binary64_3485
169×	add-cbrt-cube_binary64_14777 add-sqr-sqrt_binary64_7261 unpow-prod-down_binary64_2544 associate-*r*_binary64_16386 unpow-prod-down_binary64_3226 cbrt-undiv_binary64_1476 frac-times_binary64 times-frac_binary64_6904
168×	add-cbrt-cube_binary64_4206 add-cube-cbrt_binary64_12048 cbrt-div_binary64_24321
166×	add-cube-cbrt_binary64_5910 add-cube-cbrt_binary64_23642
165×	distribute-lft-out--_binary64_2076 times-frac_binary64_9973
164×	associate-*l*_binary64_2406 unswap-sqr_binary64_387 div-inv_binary64_757
163×	sqrt-div_binary64_95 sqrt-prod_binary64_5209 add-exp-log_binary64_20917 add-exp-log_binary64_3867
162×	frac-times_binary64_24299 unswap-sqr_binary64_1751 add-sqr-sqrt_binary64_16809
161×	add-cube-cbrt_binary64_6933 add-exp-log_binary64_13756 flip3--_binary64_24293 associate-*r*_binary64_15363 distribute-lft-out_binary64_711 add-exp-log_binary64_21258 flip--_binary64_24264 *-un-lft-identity_binary64_6216
160×	div-inv_binary64_416 add-exp-log_binary64_10687 add-sqr-sqrt_binary64_8284 cbrt-undiv_binary64_794
158×	associate-*l/_binary64 sqrt-div_binary64_3164 *-un-lft-identity_binary64_21902
157×	add-cbrt-cube_binary64_12049 log-prod_binary64_164 sqrt-prod_binary64_13052
156×	flip--_binary64_1417 cbrt-prod_binary64_1473 pow-exp_binary64_1510 associate-/l*_binary64_2069 unpow-prod-down_binary64 flip3--_binary64_1446
155×	div-inv_binary64 prod-exp_binary64_14108
154×	add-cube-cbrt_binary64_10343 *-un-lft-identity_binary64_5534 add-cbrt-cube_binary64_10685 associate-*l/_binary64_3772
153×	associate-*l*_binary64_3088 log-pow_binary64_849 associate-/r*_binary64_17413 associate-/l*_binary64_1046
152×	sqrt-div_binary64_1800 frac-sub_binary64_9976
151×	add-cbrt-cube_binary64_21256 times-frac_binary64_12019 distribute-lft-out_binary64_11282 add-cube-cbrt_binary64_24324
150×	log-prod_binary64_1869
149×	difference-of-squares_binary64_15733 add-exp-log_binary64_18871
148×	add-exp-log_binary64_12733 *-un-lft-identity_binary64_24971 add-sqr-sqrt_binary64_7943
147×	log-prod_binary64_505 add-cube-cbrt_binary64_26029
146×	add-cbrt-cube_binary64_20915 div-inv_binary64_2462
144×	add-cbrt-cube_binary64_13413 associate-/l*_binary64_14345
143×	associate-*r*_binary64_15022 pow1_binary64_15484 add-cbrt-cube_binary64_17846 add-log-exp_binary64_3868 associate-*l*_binary64_2747 cbrt-unprod_binary64_2498 cbrt-prod_binary64_1132
142×	unswap-sqr_binary64_1069 frac-times_binary64_11000 add-exp-log_binary64_11369 unswap-sqr_binary64_46
141×	*-un-lft-identity_binary64_7239 add-sqr-sqrt_binary64_25334 associate-*r/_binary64_702 times-frac_binary64_7927 add-cbrt-cube_binary64_15459 div-inv_binary64_14397
140×	times-frac_binary64_18498 add-sqr-sqrt_binary64_21924
139×	frac-add_binary64_1450 pow-unpow_binary64_837
138×	frac-add_binary64_86 add-cube-cbrt_binary64_5569 add-cbrt-cube_binary64_12731 add-cbrt-cube_binary64_3865 pow1_binary64_6277 add-exp-log_binary64_11028
137×	times-frac_binary64_5540 flip-+_binary64_2439 unpow-prod-down_binary64_498 add-cbrt-cube_binary64_16141 flip3-+_binary64_2468
136×	cube-prod_binary64_1470 cbrt-prod_binary64_11021 *-un-lft-identity_binary64_7921 pow1_binary64_3890
135×	distribute-lft-out--_binary64_17762 difference-of-squares_binary64_20166 difference-of-squares_binary64_17779
134×	sqrt-prod_binary64_5891 sqrt-div_binary64_4869 *-un-lft-identity_binary64_8262 add-cbrt-cube_binary64_13754 associate-/l*_binary64_18096
133×	add-cbrt-cube_binary64_17505 add-cube-cbrt_binary64_6251 add-exp-log_binary64_8982 div-exp_binary64_9336
132×	pow1_binary64_11392 add-exp-log_binary64_23304 add-log-exp_binary64_3527 times-frac_binary64_19180
131×	flip-+_binary64_1757 flip3-+_binary64_1786 cancel-sign-sub-inv_binary64_11638 pow1_binary64_5254 cancel-sign-sub-inv_binary64_15048
130×	pow-exp_binary64 pow-prod-down_binary64_1172 add-cube-cbrt_binary64_8297 pow1/2_binary64_158 *-un-lft-identity_binary64_24630
129×	distribute-lft-in_binary64_9916 flip--_binary64_3804 associate-*r*_binary64_13317 flip3--_binary64_3833 times-frac_binary64_22931 associate-+r+_binary64_10 distribute-rgt-in_binary64_9917 cancel-sign-sub-inv_binary64_14707
128×	unswap-sqr_binary64_2092 add-cube-cbrt_binary64_7956 add-cube-cbrt_binary64_22960 sqrt-div_binary64_6233 distribute-lft-out--_binary64_10942
127×	cancel-sign-sub-inv_binary64_2090 sum-log_binary64_2556 add-exp-log_binary64_17166 add-cbrt-cube_binary64_17164
126×	associate-/r*_binary64_14344 cbrt-prod_binary64_2155 flip3-+_binary64_15085 flip-+_binary64_15056 add-exp-log_binary64_10346 pow-prod-down_binary64_2536
125×	cbrt-div_binary64_2156 cbrt-undiv_binary64_2499
124×	swap-sqr_binary64 sqrt-div_binary64_5210 add-exp-log_binary64_18530 associate-/r/_binary64_2070
123×	associate-/r/_binary64_20825
122×	add-exp-log_binary64_22622 pow1_binary64_11733 cbrt-div_binary64_20911 add-cbrt-cube_binary64_18869 prod-exp_binary64_25361
121×	distribute-lft-out_binary64_20830 associate-*l*_binary64_4793 pow1_binary64_11051
120×	pow1/2_binary64 pow-prod-down_binary64_10038 pow-prod-down_binary64_4923 cancel-sign-sub-inv_binary64_13343 associate-*l/_binary64_1385 cbrt-prod_binary64_8975 associate-*r*_binary64_23547 flip--_binary64_2781 add-cbrt-cube_binary64_7616
119×	add-exp-log_binary64_19894 flip3--_binary64_2810 unswap-sqr_binary64_1410 distribute-lft-out--_binary64_15716
118×	associate-*r*_binary64_10589 pow-exp_binary64_487 add-exp-log_binary64_20235
117×	add-cbrt-cube_binary64_18187 1-exp_binary64_3532 add-exp-log_binary64_10005 rec-exp_binary64_3538 associate-*r*_binary64_13999 associate-*r*_binary64_11271
116×	associate-*l*_binary64_15364 flip--_binary64_10965 unswap-sqr_binary64_728 flip3--_binary64_10994 pow1_binary64_15143 difference-of-squares_binary64_25963 associate-/r/_binary64_1047 distribute-lft-out_binary64_3439 pow1_binary64_12756 *-un-lft-identity_binary64_16787
115×	cbrt-prod_binary64_5565 add-sqr-sqrt_binary64_24993 difference-of-squares_binary64_388 cancel-sign-sub-inv_binary64_385 associate-*l/_binary64_3090 associate-*r/_binary64_2748 distribute-lft-in_binary64_1732 associate-/r/_binary64_16051 distribute-rgt-in_binary64_1733
114×	add-exp-log_binary64_6595 add-cbrt-cube_binary64_23302 add-cube-cbrt_binary64_19209 add-cube-cbrt_binary64_16822 frac-times_binary64_2816 cancel-sign-sub-inv_binary64_1749 difference-of-squares_binary64_2434 associate-*l*_binary64_11613 frac-add_binary64
113×	cbrt-undiv_binary64_1817 pow-to-exp_binary64_1511 add-cbrt-cube_binary64_11026
112×	add-cbrt-cube_binary64_10003 difference-of-squares_binary64_10959 distribute-lft-out_binary64_1734 sqr-pow_binary64_1755 cbrt-prod_binary64_4201 flip--_binary64_13352 associate-*r*_binary64_18773 difference-of-squares_binary64_6526 associate-*r*_binary64_9225 add-cbrt-cube_binary64_10344 flip3--_binary64_13381 frac-times_binary64_2134
111×	associate-*r*_binary64_11953 add-sqr-sqrt_binary64_24652 distribute-lft-out_binary64_10600 add-cbrt-cube_binary64_25348 distribute-lft-out--_binary64_1053 associate-*r/_binary64_9909 associate-/r*_binary64_14003 add-cbrt-cube_binary64_11367
110×	frac-times_binary64_9977 add-exp-log_binary64_12392 associate-/r/_binary64_18779 associate-/r/_binary64_18097
109×	sqrt-prod_binary64_3163 pow1_binary64_10369 associate-/r/_binary64_15028 associate-*r*_binary64_4110 div-exp_binary64_11723 add-log-exp_binary64_4891
108×	sqrt-div_binary64_2482 unpow-prod-down_binary64_6977 cbrt-undiv_binary64_2158
107×	cbrt-prod_binary64_3519 associate-/r*_binary64_15026 swap-sqr_binary64_45
106×	sqr-pow_binary64_50 add-log-exp_binary64_13757 add-exp-log_binary64_9664 times-frac_binary64_16793 pow-prod-down_binary64_12084 pow1_binary64_12415 flip--_binary64_735 associate--r+_binary64_9903 flip3--_binary64_764 add-cbrt-cube_binary64_22620
105×	add-sqr-sqrt_binary64_8625 add-cbrt-cube_binary64_18528 pow1_binary64_17189 log-prod_binary64_3574 difference-of-squares_binary64_13687 associate-/r*_binary64_11616
104×	difference-of-squares_binary64_2093 add-cube-cbrt_binary64_7274 log-pow_binary64 log-prod_binary64_12440 pow1_binary64_23327 pow1_binary64_10710
103×	pow1_binary64_6618 associate-*r*_binary64_9907 associate-*r*_binary64_10248 associate-*l*_binary64_15023
102×	associate-*l*_binary64_22525 flip-+_binary64_20853 associate-*r*_binary64_21160 sqr-pow_binary64_3119 cancel-sign-sub-inv_binary64_2431 flip3-+_binary64_20882
101×	*-commutative_binary64_350 associate-/r/_binary64 log-prod_binary64
100×	pow-to-exp_binary64_488 add-exp-log_binary64_7959 add-cube-cbrt_binary64_25347 cancel-sign-sub-inv_binary64_4136 *-un-lft-identity_binary64_25312 associate-*r*_binary64_13658 times-frac_binary64_24977
99×	sqrt-pow1_binary64_1801 cancel-sign-sub-inv_binary64_3795 add-cbrt-cube_binary64_8980 add-exp-log_binary64_6254 add-log-exp_binary64_15121 flip3-+_binary64_763 *-commutative_binary64 flip-+_binary64_734 div-exp_binary64_15133 add-cbrt-cube_binary64_6593
98×	add-log-exp_binary64_12734 prod-exp_binary64_23656 distribute-rgt-in_binary64_4120 distribute-lft-in_binary64_4119 cancel-sign-sub-inv_binary64_10956 add-log-exp_binary64_4209
97×	pow-exp_binary64_2192 cbrt-div_binary64_3179 pow1_binary64_9346 associate-/r*_binary64_7524 associate-/l*_binary64_2751
96×	associate-*r*_binary64_18432 add-cube-cbrt_binary64_21937 distribute-rgt-in_binary64_369 sqrt-div_binary64 unswap-sqr_binary64_2433 cancel-sign-sub-inv_binary64_13002 associate-*r*_binary64_10930 distribute-lft-in_binary64_368 flip3--_binary64_3151 frac-add_binary64_3155 cbrt-unprod_binary64_23640 pow1_binary64_13097 add-exp-log_binary64_5231 flip--_binary64_3122 add-cbrt-cube_binary64_12390 associate-/r*_binary64_20823
95×	prod-exp_binary64_3196 pow-exp_binary64_2533 associate-*r/_binary64_10250 cbrt-prod_binary64_19205 swap-sqr_binary64_25961 flip--_binary64_53 flip3--_binary64_82
94×	add-cbrt-cube_binary64_7957 log-prod_binary64_6643 associate-*r*_binary64_19114 pow-to-exp_binary64 associate-*r/_binary64_1043 add-exp-log_binary64_20576 log-pow_binary64_1190 pow-prod-down_binary64_3218 add-exp-log_binary64_15802 pow-to-exp_binary64_2534 sqrt-div_binary64_3846 add-cbrt-cube_binary64_9662
93×	prod-exp_binary64_11721 associate-*l/_binary64_703 associate-*r*_binary64_16045 associate--l+_binary64_15
92×	pow1_binary64_13438 flip3--_binary64_9971 cancel-sign-sub-inv_binary64_22891 add-cbrt-cube_binary64_15800 distribute-lft-in_binary64_25261 times-frac_binary64_21908 associate-/r*_binary64_18095 add-cbrt-cube_binary64_20233 distribute-rgt-in_binary64_25262 flip--_binary64_9942 sqr-pow_binary64_732
91×	prod-exp_binary64_4219 add-cbrt-cube_binary64_5229 prod-exp_binary64_9334 sqr-pow_binary64_2096
90×	add-log-exp_binary64_16144 unpow-prod-down_binary64_13456 add-exp-log_binary64_16825 distribute-rgt-in_binary64_710 associate-*l*_binary64_14000 flip3--_binary64_18155 distribute-lft-in_binary64_12303 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_12304 add-log-exp_binary64_6596 flip--_binary64_18126 cbrt-prod_binary64_18523
89×	cbrt-prod_binary64_14772 pow1_binary64_18553 distribute-lft-out--_binary64_11624 add-log-exp_binary64_14439
88×	exp-sum_binary64_1147 div-inv_binary64_1780 flip--_binary64_2099 flip3--_binary64_2128 add-cube-cbrt_binary64_24665 associate-*r/_binary64_10932 associate-/r*_binary64_13662 cbrt-div_binary64_14773
87×	add-cbrt-cube_binary64_20574 associate-/r*_binary64_20141 add-exp-log_binary64_22963 associate-*r*_binary64_7520 log-prod_binary64_8348 add-cbrt-cube_binary64_6252 add-exp-log_binary64_7277 pow-to-exp_binary64_2193 cbrt-prod_binary64_8293 cbrt-unprod_binary64_3180
86×	pow1_binary64_14120 associate-*l/_binary64_2067 flip3--_binary64_1105 associate-*r*_binary64_14681 flip--_binary64_1076 prod-exp_binary64_15131 associate-*r/_binary64_3771
85×	add-cbrt-cube_binary64_7275 sqrt-prod_binary64_20895 frac-times_binary64_15092
84×	associate-*l*_binary64_10590 add-log-exp_binary64_6255 sqrt-div_binary64_777 add-exp-log_binary64_4549 add-exp-log_binary64_21940 cbrt-div_binary64_10340 difference-of-sqr-1_binary64_3117
83×	add-log-exp_binary64_11029 prod-exp_binary64_15472 associate-/r*_binary64_8888 prod-exp_binary64_2855
82×	pow1_binary64_25373 pow1_binary64_14461 associate-/l/_binary64_2071 add-cbrt-cube_binary64_4547 sqrt-prod_binary64_16121 distribute-rgt-in_binary64_6507 distribute-lft-out_binary64_17420 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_6506 distribute-lft-in_binary64_3437
81×	associate-/r/_binary64_1729 distribute-lft-out_binary64_25945 associate-/r*_binary64_16049 div-inv_binary64_13033 associate-*l*_binary64_12977
80×	flip--_binary64_16080 sqrt-div_binary64_1118 cbrt-prod_binary64_20910 add-cbrt-cube_binary64_16823 sqrt-pow1_binary64_9985 exp-neg_binary64_466 div-inv_binary64_9282 frac-times_binary64_3839 associate-*l/_binary64_10933 frac-add_binary64_3837 log-pow_binary64_2213 flip3--_binary64_16109 sum-log_binary64_2215 add-sqr-sqrt_binary64_26698
79×	pow1_binary64_22645 sqrt-div_binary64_9984 sqrt-prod_binary64_13734 distribute-lft-out--_binary64_6509 add-cbrt-cube_binary64_22961 div-exp_binary64_18202 pow1_binary64_7300 sqrt-prod_binary64_7937 unswap-sqr_binary64_4820 frac-times_binary64_3157 pow1_binary64_16166 flip3-+_binary64_1104 pow1_binary64_13779 flip-+_binary64_1075
78×	add-log-exp_binary64_10688 associate-/r*_binary64_12298 div-inv_binary64_2121 associate-/r*_binary64_18777 frac-times_binary64_770 add-exp-log_binary64_8300 log-prod_binary64_4256 add-log-exp_binary64_10006 distribute-lft-out--_binary64_13670
77×	log-prod_binary64_2551 distribute-rgt-in_binary64_28 pow1_binary64_22986 associate-*r*_binary64_25252 associate-/l/_binary64_1389 sqrt-pow1_binary64_2483 sum-log_binary64_510 distribute-lft-out_binary64_11623 cbrt-prod_binary64_12044 sqrt-prod_binary64_10324 distribute-lft-in_binary64_27 div-inv_binary64_16102
76×	cancel-sign-sub-inv_binary64_12320 flip3-+_binary64_5196 associate-/r*_binary64_15708 flip-+_binary64_5167 associate-*r/_binary64_4794 associate-*l*_binary64_25253 cbrt-undiv_binary64_14093 cbrt-prod_binary64_6247 unpow2_binary64_143 div-exp_binary64_14451 associate-/l*_binary64_3092 pow-exp_binary64_1169
75×	difference-of-squares_binary64_9254 add-log-exp_binary64_11370 distribute-lft-out--_binary64_9237 difference-of-squares_binary64_17097 cancel-sign-sub-inv_binary64_3113 *-commutative_binary64_1373 flip-+_binary64_6190 associate-*l*_binary64_3770 associate-*r/_binary64_24231 cbrt-prod_binary64_14431 exp-prod_binary64_1153 flip3-+_binary64_6219 distribute-lft-out--_binary64_17080
74×	sub-neg_binary64 associate-*r*_binary64_7861 cbrt-unprod_binary64_14774 div-inv_binary64_11669 pow-prod-down_binary64_14812 associate-*l*_binary64_4111 sqrt-prod_binary64_26692 pow1/2_binary64_2545 prod-exp_binary64_14790
73×	pow1_binary64_21281 flip-+_binary64_9941 diff-log_binary64 add-exp-log_binary64_19212 add-log-exp_binary64_12393 pow1/3_binary64_3229 sqrt-pow1_binary64_1119 flip3-+_binary64_9970 pow-prod-up_binary64_148 div-inv_binary64_18148 add-log-exp_binary64_5232 times-frac_binary64_26682
72×	associate--l+_binary64_4107 add-cube-cbrt_binary64_26711 add-cbrt-cube_binary64_19892 *-un-lft-identity_binary64_26676 div-inv_binary64_2803 *-commutative_binary64_2055 div-exp_binary64_16156 cbrt-div_binary64 div-exp_binary64_13087 pow1/3_binary64_160 associate-/r*_binary64_17754
71×	associate-*l*_binary64_13318 associate-*l*_binary64_11272 add-log-exp_binary64_20918 associate-*r*_binary64_12976 associate-/r/_binary64_2752 pow-prod-down_binary64_2877 distribute-lft-out_binary64_14010 associate-/r/_binary64_2411
70×	div-exp_binary64_23658 cbrt-undiv_binary64_15116 associate-/l*_binary64_12981 distribute-lft-in_binary64_1391 cbrt-undiv_binary64_9319 add-cbrt-cube_binary64_21938 cube-prod_binary64_2152 flip3--_binary64_12358 flip--_binary64_12329 frac-add_binary64_2132 sqrt-prod_binary64_9983 difference-of-squares_binary64_7549 distribute-rgt-in_binary64_1392 associate-*l*_binary64_9908
69×	associate-/l*_binary64_13663 frac-times_binary64_4862 sqr-pow_binary64 pow1_binary64_18894 cbrt-undiv_binary64_23641 associate-/l*_binary64_14004
68×	associate-*r*_binary64_22865 cbrt-unprod_binary64_2839 cancel-sign-sub-inv_binary64_2772 associate--l+_binary64_14337 log-pow_binary64_508 flip-+_binary64_2780 associate-*r/_binary64_14683 add-cube-cbrt_binary64_25006
67×	cancel-sign-sub-inv_binary64_13684 associate-*r/_binary64_4112 flip3--_binary64_1787 cancel-sign-sub-inv_binary64_16071 flip--_binary64_1758 frac-sub_binary64_1451 frac-times_binary64_13387 cancel-sign-sub-inv_binary64_25278 add-exp-log_binary64_5572 cbrt-prod_binary64_5224 associate-+r+_binary64_4102 flip3-+_binary64_2809 prod-exp_binary64_4901 add-log-exp_binary64_14098 add-log-exp_binary64_10347
66×	distribute-lft-out_binary64_20148 unswap-sqr_binary64_3115 *-commutative_binary64_691 associate-*l*_binary64_10249 cbrt-prod_binary64_6929 sqrt-pow1_binary64_12031 *-commutative_binary64_1714 cancel-sign-sub-inv_binary64_11297 associate-*r*_binary64_3769 associate-*r*_binary64_17068 distribute-lft-out_binary64_2757 associate-*l*_binary64_6498 associate-*r*_binary64_6497 sqrt-prod_binary64_14075
65×	flip3--_binary64_4856 times-frac_binary64_10314 prod-exp_binary64_12062 cube-prod_binary64_3175 cbrt-unprod_binary64_15456 flip--_binary64_4827 sqr-pow_binary64_2437 associate-/l*_binary64_15027 associate-/r*_binary64_23210 associate-*r*_binary64_15704 associate-/r/_binary64_17756 pow1_binary64_21622 distribute-lft-out--_binary64_371 associate-*l*_binary64_11954 add-sqr-sqrt_binary64_22265
64×	add-cbrt-cube_binary64_19210 *-commutative_binary64_9 *-commutative_binary64_1032 cbrt-undiv_binary64_13070 div-inv_binary64_18830 pow1_binary64_22304 cbrt-unprod_binary64_15115 pow-prod-down_binary64_16517 sqrt-prod_binary64_7596 pow1_binary64_4572
63×	associate-*l*_binary64_5134 associate-*l*_binary64_10931 associate-*r*_binary64_25934 times-frac_binary64_8268 cbrt-unprod_binary64_12046 pow-exp_binary64_828 pow1/3_binary64_2888
62×	add-exp-log_binary64_24327 difference-of-squares_binary64_14710 difference-of-squares_binary64_15392 unpow-prod-down_binary64_7659 associate-*l*_binary64_21161 pow1_binary64_7982 prod-exp_binary64_16495 associate-/l*_binary64_17414 *-un-lft-identity_binary64_8603 flip--_binary64_18808 associate-*r*_binary64_20478 distribute-lft-out--_binary64_15375 cbrt-prod_binary64_17841 flip3--_binary64_18837
61×	distribute-rgt-in_binary64_2074 sum-log_binary64 distribute-lft-in_binary64_3778 difference-of-squares_binary64_22553 associate-*r/_binary64_1725 cbrt-unprod_binary64_11705 sub-neg_binary64_1435 exp-diff_binary64_467 distribute-lft-in_binary64_2073 sqrt-prod_binary64_6232 neg-sub0_binary64_414 sqr-pow_binary64_1073 add-log-exp_binary64_11711 distribute-rgt-in_binary64_3779 associate-*l/_binary64_4795
60×	associate-*l*_binary64_12295 add-log-exp_binary64_13075 associate-*r*_binary64_5133 add-log-exp_binary64_22964 rem-sqrt-square_binary64_91 cube-prod_binary64_1811 pow1/2_binary64_1863 add-log-exp_binary64_12052 add-cbrt-cube_binary64_24325 pow1_binary64_20940 distribute-lft-neg-in_binary64_717
59×	associate-/l*_binary64_11617 div-exp_binary64_17520 cbrt-unprod_binary64_9318 clear-num_binary64_77 pow1_binary64_8323 cbrt-unprod_binary64_4885 distribute-lft-in_binary64_14690 add-log-exp_binary64_15462 distribute-rgt-in_binary64_14691 frac-2neg_binary64_89 associate-/r*_binary64_10934 div-inv_binary64_20876
58×	associate-+l+_binary64_4103 associate-/r*_binary64_22528 cube-prod_binary64_1129 pow-unpow_binary64_155 cbrt-undiv_binary64_14434 cbrt-unprod_binary64_25345 pow-prod-up_binary64 sub-neg_binary64_71 associate-*l*_binary64_16728 times-frac_binary64_24636 swap-sqr_binary64_15390 associate-*l*_binary64_18774 add-log-exp_binary64_14780 associate-*r*_binary64_16727 pow1_binary64_7641 add-sqr-sqrt_binary64_19537
57×	distribute-lft-out_binary64_13669 difference-of-squares_binary64_1752 distribute-rgt-neg-in_binary64_718 pow1/3_binary64_842 associate-+l+_binary64_20812 swap-sqr_binary64_2432 associate-/l*_binary64_16050 cancel-sign-sub-inv_binary64_20845 times-frac_binary64_4176 swap-sqr_binary64_10616 associate-*l/_binary64_24232
56×	distribute-lft-out--_binary64_2417 associate-*r*_binary64_12635 cube-prod_binary64_3516 sum-log_binary64_1533 cancel-sign-sub-inv_binary64_5159 associate-*r/_binary64_20821 associate-/r*_binary64_16390 associate-/r*_binary64_10593 associate-/l*_binary64_17755 add-log-exp_binary64_7278 prod-exp_binary64_17859 cube-prod_binary64_788 associate-*l*_binary64_9226 associate-*l*_binary64_16387 associate-/r*_binary64_13321 div-exp_binary64_2857 cbrt-undiv_binary64_11706 cbrt-div_binary64_19206 pow1_binary64_16848 associate-/r*_binary64_11275
55×	clear-num_binary64_1441 associate-*r/_binary64_18775 unswap-sqr_binary64_2774 associate-/r/_binary64_12300 cbrt-unprod_binary64_14092 associate-*r*_binary64_4451 associate-*l*_binary64_18092 pow1_binary64_19917 difference-of-squares_binary64_16074 frac-2neg_binary64_1453 div-exp_binary64_17861 distribute-lft-out_binary64_5144 add-log-exp_binary64_18531 associate-/l/_binary64_707 associate-/r/_binary64_706 pow1/3_binary64_1865 sqrt-pow1_binary64_4870 cbrt-prod_binary64_9316
54×	add-cube-cbrt_binary64_8638 associate-/l*_binary64_4456 distribute-lft-out--_binary64_16057 associate-*r/_binary64_2407 associate-+l+_binary64_1716 pow1_binary64_6959 add-exp-log_binary64_6936 swap-sqr_binary64_727 distribute-rgt-in_binary64_3097 difference-of-squares_binary64_11641 distribute-lft-in_binary64_3096
53×	associate-*r*_binary64_9566 distribute-lft-out--_binary64_22536 associate-/r/_binary64_17415 cbrt-prod_binary64_8634 associate-/l*_binary64_18778 prod-exp_binary64_7629 sqrt-div_binary64_2141 distribute-rgt-in_binary64_22875 add-log-exp_binary64_18872 distribute-lft-in_binary64_22874 associate-*l*_binary64_14682 pow1_binary64_5936 associate-+r+_binary64_12286 prod-exp_binary64_17177 sqrt-pow1_binary64_2142 cbrt-unprod_binary64_17161
52×	prod-exp_binary64_3878 exp-prod_binary64_25023 associate-*r*_binary64_5474 associate-*l/_binary64_15025 associate-*r*_binary64_24229 cbrt-unprod_binary64_16479 associate-/r/_binary64_365 distribute-rgt-in_binary64_5143 sum-log_binary64_3238 distribute-lft-in_binary64_5142 associate-/r*_binary64_3432
51×	associate-/l*_binary64_7525 difference-of-squares_binary64_15051 unpow-prod-down_binary64_4249 add-log-exp_binary64_17167 prod-exp_binary64_21269 associate-/r/_binary64_11277 pow-prod-down_binary64_15494 pow1_binary64_21963 associate-/r*_binary64_20482 cancel-sign-sub-inv_binary64_24255 prod-exp_binary64_13085 associate-*r*_binary64_20137
50×	associate-/r*_binary64_6501 flip--_binary64_10283 cbrt-unprod_binary64_4203 associate-/r/_binary64_13664 cbrt-prod_binary64_10680 associate-/l*_binary64_20824 swap-sqr_binary64_11298 pow1_binary64_17530 sqr-pow_binary64_1414 unswap-sqr_binary64_3797 times-frac_binary64_7245 flip3--_binary64_10312 *-un-lft-identity_binary64_19515 add-exp-log_binary64_22281 pow-prod-down_binary64_17199
49×	pow1_binary64_9687 add-log-exp_binary64_9324 flip--_binary64_13693 add-cbrt-cube_binary64_8298 div-inv_binary64_23263 cancel-sign-sub-inv_binary64_6182 add-exp-log_binary64_5913 tan-quot_binary64 difference-of-sqr-1_binary64_1412 associate-*l/_binary64_2749 unpow-prod-down_binary64_9023 log-prod_binary64_13122 distribute-lft-in_binary64 cbrt-undiv_binary64_18185 add-sqr-sqrt_binary64_23970 flip3--_binary64_13722 pow-sqr_binary64_51 distribute-lft-out_binary64_5826 distribute-rgt-in_binary64 pow1_binary64_9005 sqrt-pow1_binary64_778 div-inv_binary64_17466
48×	add-log-exp_binary64_16485 unswap-sqr_binary64_11640 cbrt-div_binary64_18183 associate-/r*_binary64_3091 cbrt-prod_binary64_15113 associate-/l/_binary64_3094 cbrt-unprod_binary64_13069 cbrt-prod_binary64_10339 flip3-+_binary64_10652 frac-2neg_binary64_1112 pow1/3_binary64_501 flip-+_binary64_10623 associate-+r+_binary64 distribute-rgt-in_binary64_1051 distribute-lft-in_binary64_1050 clear-num_binary64_1100 pow1_binary64_8664 associate-*l*_binary64_23548 sub-neg_binary64_2117 add-sqr-sqrt_binary64_25675
47×	swap-sqr_binary64_3114 clear-num_binary64_1782 div-exp_binary64_20930 sqr-pow_binary64_391 frac-2neg_binary64_1794 associate-*r*_binary64_14340 associate-*r*_binary64_8202 pow-prod-down_binary64_4241 div-inv_binary64_3144 prod-exp_binary64_13426 associate-*r*_binary64_8884 cbrt-undiv_binary64_17844 associate-*r*_binary64_21842 cbrt-unprod_binary64_21253 unswap-sqr_binary64_4138 associate-/l*_binary64_4797 associate-+r+_binary64_351 *-un-lft-identity_binary64_22243 add-cbrt-cube_binary64_5570 div-inv_binary64_14056 sqrt-prod_binary64_8619 distribute-lft-out--_binary64_3099
46×	associate-/l*_binary64_13322 unpow-prod-down_binary64_3908 clear-num_binary64_418 associate-*l*_binary64_12636 distribute-lft-out_binary64_20489 associate-/r*_binary64_9570 pow-unpow_binary64_2201 frac-2neg_binary64_430 add-cbrt-cube_binary64_22279 frac-sub_binary64 rem-sqrt-square_binary64 associate-+l+_binary64_12287
45×	clear-num_binary64 frac-times_binary64_5203 associate-*l/_binary64_1726 difference-of-squares_binary64_19143 distribute-lft-out--_binary64_19126 frac-2neg_binary64_771 pow1_binary64_15825 cbrt-undiv_binary64_2840 prod-exp_binary64_18200 swap-sqr_binary64_5160 flip3--_binary64_17814 add-log-exp_binary64_7619 associate-*r/_binary64_13319 flip--_binary64_17785 distribute-lft-out--_binary64_1735 clear-num_binary64_759 div-exp_binary64_8995 div-inv_binary64_13715 swap-sqr_binary64_1750 frac-2neg_binary64 div-exp_binary64_19907 associate-*l*_binary64_20138 log-prod_binary64_7325
44×	add-log-exp_binary64_9665 unpow-prod-down_binary64_10728 distribute-lft-out_binary64_3098 pow1_binary64_17871 associate-*l/_binary64_10251 associate-*l*_binary64_25935 cube-prod_binary64_10677 associate-*r/_binary64_25254 prod-exp_binary64_22633 associate-*l*_binary64_17069 div-exp_binary64_7631 cbrt-div_binary64_4202 distribute-rgt-in_binary64_10940 frac-add_binary64_768 sqrt-pow1_binary64_5211 associate-/l*_binary64_9230 distribute-lft-in_binary64_10939 add-log-exp_binary64_13416 sub-neg_binary64_753 associate-+r+_binary64_22857 associate-*r/_binary64_15024 tan-quot_binary64_578
43×	pow-prod-down_binary64_11743 div-exp_binary64_13769 associate-*l*_binary64_16046 associate--l+_binary64 flip3-+_binary64_4855 flip-+_binary64_4826 distribute-lft-in_binary64_15031 div-exp_binary64_18884 associate-/l*_binary64_3433 flip3-+_binary64_3832 prod-exp_binary64_10357 flip3-+_binary64_12698 div-exp_binary64_13428 flip-+_binary64_12669 cbrt-prod_binary64_17500 cbrt-prod_binary64_13067 cancel-sign-sub-inv_binary64_4818 pow1_binary64_18212 distribute-rgt-in_binary64_15032 distribute-lft-out--_binary64_14693 flip-+_binary64_3803
42×	pow1/2_binary64_4932 difference-of-squares_binary64_18461 cancel-sign-sub-inv_binary64_18458 associate-/r/_binary64_19802 log-pow_binary64_1872 sqrt-pow1_binary64_2824 associate-*l/_binary64_20822 cancel-sign-sub-inv_binary64_7205 sqrt-div_binary64_436 pow1_binary64_24350 associate-/r/_binary64_12982 cbrt-undiv_binary64_20913 diff-log_binary64_511 frac-sub_binary64_1792 add-exp-log_binary64_24668 frac-times_binary64_20889 sqr-pow_binary64_7552 associate-/r*_binary64_4455 cube-prod_binary64_2493 add-log-exp_binary64_21941 pow-prod-up_binary64_1853 pow1_binary64_24691
41×	frac-times_binary64_1111 cbrt-undiv_binary64_17503 add-cbrt-cube_binary64_5911 associate-/r*_binary64_4796 prod-exp_binary64_18541 associate-/r*_binary64_12639 add-cube-cbrt_binary64_22278 unswap-sqr_binary64_15391 div-exp_binary64_12064 pow1_binary64_5595 div-inv_binary64_7577 div-inv_binary64_8941 pow1/2_binary64_1181 associate-/l/_binary64 diff-log_binary64_170
40×	unpow3_binary64_2190 prod-exp_binary64_11039 pow-prod-down_binary64_23337 distribute-neg-frac_binary64_3111 cbrt-prod_binary64_11362 prod-exp_binary64_23315 associate-*r*_binary64_7179 add-log-exp_binary64_17508 cbrt-unprod_binary64_17843 associate-*r/_binary64_10591 add-cube-cbrt_binary64_19550 distribute-rgt-in_binary64_16396 div-inv_binary64_19853 cbrt-unprod_binary64_11023 distribute-rgt-in_binary64_13327 distribute-lft-in_binary64_16395 add-log-exp_binary64_21259 cbrt-prod_binary64_13749 cbrt-unprod_binary64_22617 associate-*l*_binary64_5475 distribute-lft-in_binary64_13326 sum-log_binary64_169 pow1_binary64_20258 frac-times_binary64_1793 associate-*l*_binary64_23207 frac-add_binary64_20887 associate-/l*_binary64_12640 cube-mult_binary64_2154 add-cbrt-cube_binary64_24666
39×	difference-of-squares_binary64_11300 sub-neg_binary64_13370 associate-/r/_binary64_14005 prod-exp_binary64_10698 associate-*l*_binary64_7180 sub-neg_binary64_25305 cbrt-unprod_binary64_10682 cbrt-unprod_binary64_13410 flip3--_binary64_11335 pow1_binary64_23668 associate-*r*_binary64_6156 pow-prod-down_binary64_6287 associate-*l*_binary64_13659 associate-*l*_binary64_22866 associate-/l/_binary64_1730 add-log-exp_binary64_15803 associate-/r*_binary64_19800 cbrt-div_binary64_15455 div-exp_binary64_20248 associate-*r/_binary64_16388 swap-sqr_binary64_21187 associate-*l*_binary64_24230 cube-prod_binary64_106 cbrt-prod_binary64_13408 associate-*l/_binary64_9910 log-prod_binary64_18578 flip--_binary64_11306 swap-sqr_binary64_2773
38×	distribute-rgt-in_binary64_6166 associate-*l*_binary64_9567 associate-*r*_binary64_23206 distribute-lft-out_binary64_15374 diff-log_binary64_1534 associate-/r*_binary64_7865 *-commutative_binary64_3419 div-exp_binary64_11382 sum-log_binary64_1874 pow-to-exp_binary64_829 associate-*l*_binary64_6157 flip-+_binary64_14033 cbrt-prod_binary64_4883 add-exp-log_binary64_8641 add-log-exp_binary64_18190 pow-sqr_binary64 associate-+l+_binary64 div-exp_binary64_21271 pow-pow_binary64_832 add-log-exp_binary64_8301 distribute-lft-out--_binary64_15034 associate-*l/_binary64_21 cancel-sign-sub-inv_binary64_15389 distribute-lft-in_binary64_6165 div-exp_binary64_16497 associate-+r+_binary64_1374 flip3-+_binary64_14062
37×	associate-/r/_binary64_10936 associate-/r*_binary64_3773 cbrt-unprod_binary64_10341 associate-/r/_binary64_13323 rem-sqrt-square_binary64_1114 div-inv_binary64_15079 add-log-exp_binary64_19895 sub-neg_binary64_1094 associate-/r*_binary64_17072 difference-of-squares_binary64_13346 add-log-exp_binary64_20236 flip--_binary64_13011 *-commutative_binary64_3078 log-div_binary64_165 add-log-exp_binary64_6937 log-div_binary64_847 tan-quot_binary64_1942 add-cbrt-cube_binary64_6934 flip3--_binary64_13040 exp-prod_binary64_471 add-log-exp_binary64_23305 distribute-rgt-in_binary64_18442 pow-prod-down_binary64_22655 distribute-lft-in_binary64_18441 sub-neg_binary64_412
36×	distribute-rgt-in_binary64_24580 sub-neg_binary64_4163 pow1_binary64_19235 sqrt-div_binary64_2823 pow-prod-down_binary64_3900 cancel-sign-sub-inv_binary64_16412 div-inv_binary64_12351 associate--l+_binary64_3766 associate-/r*_binary64_24233 cbrt-undiv_binary64_16139 unpow-prod-down_binary64_5272 pow-exp_binary64_14127 associate-/l/_binary64_366 associate-*r*_binary64_19796 cbrt-unprod_binary64_23299 distribute-lft-in_binary64_24579 pow-unpow_binary64 1-exp_binary64_122 *-commutative_binary64_2396 flip-+_binary64_4144 flip3-+_binary64_4173 pow1_binary64_20599 associate-*l*_binary64_17751 sub-neg_binary64_3481 cube-prod_binary64_5221 associate-/r/_binary64_4798 log-prod_binary64_10735 *-un-lft-identity_binary64_23948 log-prod_binary64_3233 *-un-lft-identity_binary64_25653
35×	distribute-lft-neg-in_binary64_3104 cbrt-prod_binary64_6588 cbrt-unprod_binary64_18525 associate-/l*_binary64_20142 clear-num_binary64_2123 distribute-rgt-neg-in_binary64_3105 frac-2neg_binary64_2135 unpow2_binary64_825 distribute-lft-out--_binary64_13329 prod-exp_binary64_20928 diff-log_binary64_2216 cbrt-div_binary64_2497 associate-*l*_binary64_21843 associate-*l/_binary64_13320 pow1_binary64_25714 +-commutative_binary64_2395 add-log-exp_binary64_20577 associate-/l*_binary64_15709 div-inv_binary64_17807 cbrt-div_binary64_18524 unswap-sqr_binary64_9935 associate-*r/_binary64_12637 add-exp-log_binary64_25691
34×	prod-exp_binary64_10016 associate-/l/_binary64_25 cbrt-undiv_binary64_21254 pow-prod-down_binary64_10379 distribute-rgt-in_binary64_24239 add-log-exp_binary64_24328 exp-prod_binary64_812 associate-/r/_binary64_4457 pow1/3_binary64_2547 flip3--_binary64_4174 flip--_binary64_4145 associate--l+_binary64_3084 pow-pow_binary64_491 distribute-lft-in_binary64_24238 log-pow_binary64_12443 cbrt-undiv_binary64_12047 diff-log_binary64_1193 frac-times_binary64_88 distribute-lft-out_binary64_13328 difference-of-sqr--1_binary64_1413 associate-*r/_binary64_18434
33×	unswap-sqr_binary64_10617 pow1_binary64_24009 swap-sqr_binary64_5842 prod-exp_binary64_18882 add-cube-cbrt_binary64_25688 frac-2neg_binary64_2476 +-commutative_binary64_2054 pow1/2_binary64_840 cbrt-unprod_binary64_20912 pow-prod-up_binary64_2535 distribute-rgt-in_binary64_10599 pow1/2_binary64_2204 associate-*r/_binary64_5817 cbrt-unprod_binary64_22958 rem-sqrt-square_binary64_1796 add-log-exp_binary64_4550 add-log-exp_binary64_25351 sub-neg_binary64_1776 associate-*l*_binary64_8885 associate--l+_binary64_3425 rem-sqrt-square_binary64_2478 flip3--_binary64_3492 pow-exp_binary64_146 pow-prod-up_binary64_2194 associate-*r/_binary64_5135 sqrt-pow1_binary64_1460 clear-num_binary64_2464 flip--_binary64_3463 pow1/3_binary64 add-exp-log_binary64_27055 flip--_binary64_14716 div-exp_binary64_10700 distribute-lft-in_binary64_10598 associate-*l*_binary64_14341 sqrt-pow1_binary64_437 flip3--_binary64_14745 log-prod_binary64_1528 prod-exp_binary64_22974
32×	div-exp_binary64_4903 prod-exp_binary64_14449 prod-exp_binary64_6606 flip-+_binary64_11305 diff-log_binary64_1875 cbrt-div_binary64_5907 difference-of-squares_binary64_24258 div-inv_binary64_11328 unswap-sqr_binary64_11299 associate-+l+_binary64_14333 frac-times_binary64_18161 sqrt-pow1_binary64_16464 add-log-exp_binary64_7960 frac-sub_binary64_3156 associate-*l*_binary64_18433 associate-+l+_binary64_10582 associate-/r/_binary64_20143 distribute-lft-out--_binary64_11283 sub-neg_binary64_9960 cbrt-undiv_binary64_13752 sub-neg_binary64_15075 cbrt-unprod_binary64_3862 sum-log_binary64_3920 associate-/l*_binary64_10594 associate-*r*_binary64_24570 associate-/l*_binary64_16391 sqrt-div_binary64_4528 div-inv_binary64_13374 div-inv_binary64_10646 flip3-+_binary64_11334 frac-times_binary64_10318 prod-exp_binary64_17518 cbrt-unprod_binary64_6590 cbrt-undiv_binary64_8978 associate-*l*_binary64_5816 cbrt-prod_binary64_22274 sqrt-pow1_binary64_21579 pow1/3_binary64_4252 associate-/r/_binary64_11618 sub-neg_binary64_3140
31×	associate-*l*_binary64_8544 associate-/r/_binary64_22530 add-cbrt-cube_binary64_27053 associate-*r/_binary64_16729 flip3-+_binary64_14744 associate-/r/_binary64_10595 cbrt-div_binary64_792 cancel-sign-sub-inv_binary64_10274 pow-exp_binary64_4238 unswap-sqr_binary64_5161 associate-*r/_binary64_3430 sqr-pow_binary64_15736 associate-*l/_binary64_12297 cube-prod_binary64_4198 sqrt-prod_binary64_25328 pow1/2_binary64_1522 distribute-lft-in_binary64_2414 unpow-prod-down_binary64_2885 pow-prod-down_binary64_22996 add-cbrt-cube_binary64_23984 add-cube-cbrt_binary64_23983 add-cbrt-cube_binary64_8639 pow-prod-down_binary64_11061 distribute-lft-out--_binary64_20149 pow-prod-down_binary64_9356 distribute-lft-out--_binary64_14352 div-exp_binary64_15474 pow1/3_binary64_2206 pow-prod-down_binary64_6628 div-exp_binary64_3198 pow1_binary64_27078 associate-*r*_binary64_5815 flip-+_binary64_14715 distribute-rgt-in_binary64_2415
30×	prod-exp_binary64_6265 log-prod_binary64_4938 cbrt-undiv_binary64_7614 pow-sqr_binary64_1756 associate-/r/_binary64_15710 associate--l+_binary64_10586 cbrt-unprod_binary64_6249 add-log-exp_binary64_5914 cancel-sign-sub-inv_binary64_24596 distribute-lft-out--_binary64_24241 pow1/3_binary64_6980 unswap-sqr_binary64_13345 flip3--_binary64_17473 add-sqr-sqrt_binary64_26357 associate-*l/_binary64_2408 prod-exp_binary64_7970 cube-prod_binary64_447 add-log-exp_binary64_22623 associate-*l*_binary64_20820 flip-+_binary64_18807 distribute-rgt-in_binary64_8212 unswap-sqr_binary64_11981 pow-prod-down_binary64_11402 flip3-+_binary64_18836 distribute-lft-in_binary64_8211 flip--_binary64_17444 associate-+r+_binary64_1715 pow-unpow_binary64_496 flip-+_binary64_5849 cbrt-unprod_binary64_10000 add-log-exp_binary64_19554 sqrt-div_binary64_16122 div-inv_binary64_16443 flip3-+_binary64_5878
29×	add-log-exp_binary64_19213 sqrt-pow1_binary64_11349 associate-/l*_binary64_8889 associate--l+_binary64_1720 cbrt-undiv_binary64_13411 div-inv_binary64_20194 sqr-pow_binary64_4142 exp-sum_binary64_2511 flip-+_binary64_13692 associate-+l+_binary64_3762 distribute-rgt-neg-in_binary64 add-exp-log_binary64_23986 unswap-sqr_binary64_18119 cancel-sign-sub-inv_binary64_16753 exp-sum_binary64_806 flip3--_binary64_15427 1-exp_binary64_804 flip3-+_binary64_13721 cbrt-undiv_binary64_20231 flip--_binary64_15398 associate-*l/_binary64_1044 cbrt-undiv_binary64_10683 add-log-exp_binary64_8642 flip3--_binary64_2469 flip--_binary64_2440 sub-neg_binary64_16780 cbrt-undiv_binary64_18867 difference-of-squares_binary64_22894 rec-exp_binary64_810
28×	flip-+_binary64_22899 pow1/2_binary64_5273 unswap-sqr_binary64_16414 add-cbrt-cube_binary64_26371 add-cbrt-cube_binary64_25689 add-exp-log_binary64_26373 div-inv_binary64_4849 flip--_binary64_19831 associate-*r*_binary64_22183 *-commutative_binary64_2737 cancel-sign-sub-inv_binary64_15730 pow-prod-down_binary64_5264 pow1_binary64_26396 unswap-sqr_binary64_15050 difference-of-squares_binary64_3798 associate-/l*_binary64_6843 cbrt-div_binary64_12386 distribute-rgt-in_binary64_16737 associate-/r/_binary64_5139 prod-exp_binary64_12744 diff-log_binary64_852 rem-sqrt-square_binary64_1455 flip3-+_binary64_22928 sum-log_binary64_1192 unswap-sqr_binary64_14027 cos-sum_binary64_212 flip--_binary64_18467 exp-sum_binary64_3534 distribute-lft-out_binary64_24581 div-exp_binary64_12746 cbrt-unprod_binary64_12728 flip3--_binary64_18496 flip3--_binary64_19860 associate-+r+_binary64_2397 cbrt-unprod_binary64_7954 associate-/l*_binary64_3774 associate-*r/_binary64_8545 cbrt-unprod_binary64_18866 distribute-lft-in_binary64_16736 add-log-exp_binary64_23646
27×	add-log-exp_binary64_16826 sub-neg_binary64_3822 +-commutative_binary64_8 associate-*l/_binary64_5136 log-pow_binary64_25060 cancel-sign-sub-inv_binary64_20163 1-exp_binary64_9329 associate-*r/_binary64_22867 associate-/l*_binary64_11276 associate-/r/_binary64_9231 pow-to-exp_binary64_1170 associate-/r*_binary64_5137 cbrt-unprod_binary64_11364 cbrt-div_binary64_1815 cbrt-undiv_binary64_16480 pow1_binary64_19576 div-inv_binary64_10987 div-exp_binary64_23317 pow-prod-down_binary64_18563 associate-*l/_binary64_18776 cbrt-undiv_binary64_3181 associate-/r*_binary64_5819 pow1_binary64_26055 distribute-lft-out_binary64_12305 unpow-prod-down_binary64_8682 log-pow_binary64_12784 frac-times_binary64_2475 rec-exp_binary64_11722 associate-*l/_binary64_22868 prod-exp_binary64_11380 1-exp_binary64_11716 rec-exp_binary64_128 rec-exp_binary64_9335 distribute-rgt-in_binary64_7189 cbrt-undiv_binary64_4886 distribute-lft-in_binary64_7188 cbrt-unprod_binary64_18184
26×	associate-/l*_binary64_23211 associate-*l*_binary64_24571 pow-to-exp_binary64_4239 associate-*r/_binary64_12296 flip-+_binary64_3462 distribute-lft-out_binary64_6849 add-exp-log_binary64_26032 flip--_binary64_25287 flip3--_binary64_25316 sqrt-pow1_binary64_6234 frac-times_binary64_12364 difference-of-sqr-1_binary64_2776 pow1/2_binary64_6296 unpow-prod-down_binary64_10046 prod-exp_binary64_7288 associate-/r/_binary64_20484 flip3--_binary64_19178 div-exp_binary64_9677 sqr-pow_binary64_3801 associate--l+_binary64_8199 cbrt-unprod_binary64_7272 sum-log_binary64_851 unswap-sqr_binary64_10276 add-log-exp_binary64_5573 div-exp_binary64_4221 cancel-sign-sub-inv_binary64_6523 associate-/l/_binary64_13665 prod-exp_binary64_12403 unswap-sqr_binary64_23575 flip--_binary64_19149 frac-sub_binary64_87 pow-prod-down_binary64_25383 associate-*r*_binary64_8543 add-log-exp_binary64_8983 associate-/l*_binary64_20483 flip3-+_binary64_3491 pow1/3_binary64_11072 log-pow_binary64_1531 div-inv_binary64_15761 associate-/r/_binary64_3434 cbrt-unprod_binary64_14433
25×	distribute-lft-out_binary64_7531 distribute-lft-in_binary64_4801 pow-sqr_binary64_2097 cbrt-prod_binary64_16477 associate-/l/_binary64_2412 flip-+_binary64_12328 pow-prod-down_binary64_13448 prod-exp_binary64_16836 unswap-sqr_binary64_9253 unpow-prod-down_binary64_6636 sum-log_binary64_12786 associate-/l*_binary64_19801 add-log-exp_binary64_23987 pow-sqr_binary64_2438 pow1/3_binary64_15505 associate-/l/_binary64_14006 unpow-prod-down_binary64_8341 pow-prod-down_binary64_22314 cbrt-prod_binary64_24661 sqrt-prod_binary64_21236 div-exp_binary64_20589 cbrt-prod_binary64_21933 rem-sqrt-square_binary64_2137 prod-exp_binary64_8993 distribute-rgt-in_binary64_4802 pow-to-exp_binary64_147 swap-sqr_binary64_4819 cbrt-undiv_binary64_20572 associate-/l*_binary64_12299 *-commutative_binary64_14672 flip3-+_binary64_12357
24×	associate-/l*_binary64_10935 frac-sub_binary64_4861 associate-/l/_binary64_12983 log-prod_binary64_18919 cbrt-div_binary64_11363 cube-prod_binary64 associate-*l*_binary64_19115 add-log-exp_binary64_26715 associate-*l*_binary64_7521 flip--_binary64_15057 associate-*l*_binary64_23889 flip-+_binary64_4485 frac-2neg_binary64_14070 cbrt-div_binary64_17842 associate-/r*_binary64_4114 diff-log_binary64_3239 pow-to-exp_binary64_14128 associate-*l/_binary64_13661 cbrt-unprod_binary64_4544 flip3--_binary64_15086 cbrt-div_binary64_8635 sqrt-prod_binary64_19531 log-prod_binary64_13804 *-un-lft-identity_binary64_26335 cbrt-unprod_binary64_12387 associate-*l/_binary64_25255 associate-+l+_binary64_2398 prod-exp_binary64_8311 flip--_binary64_15739 clear-num_binary64_14058 flip3-+_binary64_4514 flip3--_binary64_15768 sin-sum_binary64_2257 sub-neg_binary64_2799 associate-/l/_binary64_4799 associate-+r+_binary64_692 distribute-lft-out_binary64_22535 frac-add_binary64_4178 prod-exp_binary64_4560 pow-prod-down_binary64_7310
23×	flip--_binary64_9260 prod-exp_binary64_16154 distribute-rgt-in_binary64_15373 cbrt-unprod_binary64_7613 flip--_binary64_6532 unswap-sqr_binary64_18801 flip3--_binary64_9289 associate-/l*_binary64_9571 difference-of-squares_binary64_14369 pow1/3_binary64_8344 distribute-lft-in_binary64_15372 associate-*l*_binary64_4452 clear-num_binary64_15081 cube-mult_binary64_1813 associate-*l*_binary64_22184 flip3--_binary64_20883 cbrt-unprod_binary64_15797 pow-prod-down_binary64_21632 +-commutative_binary64_1372 cbrt-undiv_binary64_15457 flip--_binary64_20854 unpow3_binary64_1849 sqrt-pow1_binary64_3165 frac-2neg_binary64_15093 distribute-lft-in_binary64_10257 frac-times_binary64_18843 cbrt-undiv_binary64_12729 cbrt-div_binary64_110 flip3--_binary64_6561 distribute-lft-out--_binary64_21854 distribute-rgt-in_binary64_10258 cancel-sign-sub-inv_binary64_25619 associate-*l*_binary64_8203 prod-exp_binary64_9675 pow-prod-down_binary64_10720 prod-exp_binary64_15813
22×	div-inv_binary64_12692 associate-/l/_binary64_1048 sub-neg_binary64_5186 clear-num_binary64_2805 associate-*r*_binary64_6838 *-commutative_binary64_16377 unpow2_binary64_3894 distribute-lft-neg-in_binary64 add-cbrt-cube_binary64_25007 *-commutative_binary64_13308 unswap-sqr_binary64_21188 associate-/l*_binary64_22529 pow-prod-down_binary64_4582 sum-log_binary64_6648 *-commutative_binary64_25243 associate-/r/_binary64_3093 cosh-undef_binary64_3341 distribute-lft-out_binary64_24922 pow-prod-up_binary64_10037 sqrt-prod_binary64_3845 distribute-rgt-in_binary64_18783 sin-mult_binary64_574 pow-prod-up_binary64_2876 add-exp-log_binary64_25009 swap-sqr_binary64_6183 distribute-lft-in_binary64_18782 sqrt-prod_binary64_22259 associate-*r/_binary64_12978 sqrt-prod_binary64_6573 cbrt-undiv_binary64_11365 associate-*r/_binary64_14001 associate-*l*_binary64_6839 swap-sqr_binary64_4137 difference-of-squares_binary64_7208 sqrt-div_binary64_8620 div-exp_binary64_22635 sqrt-pow1_binary64_3506 frac-2neg_binary64_2817 unswap-sqr_binary64_8571 div-inv_binary64_15420 prod-exp_binary64_19905 rem-log-exp_binary64_801 associate--l+_binary64_2402 pow1/3_binary64_14823
21×	flip3--_binary64_20201 cbrt-unprod_binary64_16138 diff-log_binary64_2557 cbrt-unprod_binary64_16820 exp-prod_binary64_1835 rec-exp_binary64_2515 div-inv_binary64_20535 add-cbrt-cube_binary64_19551 exp-prod_binary64_1494 prod-exp_binary64_21951 associate-*r/_binary64_11273 associate-*l/_binary64_21163 associate-/l*_binary64_23552 associate-*l*_binary64_15705 1-exp_binary64_2509 pow-prod-up_binary64_4922 div-inv_binary64_21217 associate-*r/_binary64_15365 cbrt-unprod_binary64_8977 unpow-prod-down_binary64_18912 add-exp-log_binary64_19553 cbrt-undiv_binary64_9660 flip--_binary64_22559 prod-exp_binary64_13767 distribute-lft-out_binary64_4803 cbrt-unprod_binary64_22276 prod-exp_binary64_22292 frac-sub_binary64_14750 associate-*r/_binary64_17752 sum-log_binary64_2897 sum-log_binary64_12445 flip--_binary64_20172 unswap-sqr_binary64_16755 add-log-exp_binary64_17849 flip3--_binary64_22588 cube-mult_binary64_1472 sub-neg_binary64_14393 distribute-neg-frac_binary64_724 unpow3_binary64_1508 *-commutative_binary64_11603 distribute-rgt-in_binary64_11281 distribute-lft-out--_binary64_4804 unswap-sqr_binary64_14368 distribute-lft-in_binary64_11280 cube-prod_binary64_18861
20×	distribute-neg-frac_binary64_4816 associate-/r/_binary64_25940 pow-plus_binary64_141 difference-of-squares_binary64_4821 associate--l+_binary64_2061 cbrt-undiv_binary64_12388 pow-prod-down_binary64_12766 cube-prod_binary64_9995 unswap-sqr_binary64_13004 associate-/l/_binary64_17416 associate-*l/_binary64_14684 associate-*r/_binary64_21503 frac-sub_binary64_11340 tan-quot_binary64_919 +-commutative_binary64 cbrt-unprod_binary64_17502 un-div-inv_binary64_417 sub-neg_binary64_2458 sinh-def_binary64_945 prod-exp_binary64_5583 diff-log_binary64_3921 add-log-exp_binary64_24669 diff-log_binary64_3580 div-inv_binary64_9623 div-exp_binary64_15815 rem-sqrt-square_binary64_773 div-exp_binary64_12405 exp-prod_binary64_2517 cbrt-prod_binary64_20569 sin-mult_binary64_2279 associate-/r/_binary64_7526 sqrt-div_binary64_10666 cbrt-prod_binary64_11703 pow1/3_binary64_6298 distribute-lft-out--_binary64_3781 div-inv_binary64_22581 flip3--_binary64_5197 associate--r+_binary64_13654 cbrt-unprod_binary64_19889 pow1/2_binary64_2886 associate-*l*_binary64_17410 flip--_binary64_5168 associate-*l*_binary64_7862 add-cbrt-cube_binary64_26030
19×	frac-2neg_binary64_14411 swap-sqr_binary64_18800 frac-sub_binary64_13727 distribute-lft-out--_binary64_22877 associate-+l+_binary64_2057 frac-2neg_binary64_13729 associate-/r*_binary64_23551 div-inv_binary64_22922 pow-prod-down_binary64_19927 cbrt-unprod_binary64_20571 pow-prod-up_binary64_12083 *-commutative_binary64_4783 pow1/3_binary64_18574 associate-/r*_binary64_11957 prod-exp_binary64_20246 div-exp_binary64_21953 associate-*r*_binary64_22524 div-exp_binary64_7972 exp-prod_binary64_130 unswap-sqr_binary64_5502 div-sub_binary64_1447 associate-/l*_binary64_17073 sub-neg_binary64_6209 swap-sqr_binary64_16072 pow-prod-down_binary64_15153 cbrt-div_binary64_5225 unpow-prod-down_binary64_14138 cbrt-unprod_binary64_13751 clear-num_binary64_14399 associate-*l*_binary64_20479 prod-exp_binary64_20587 sub-neg_binary64_24282 pow-prod-down_binary64_13107 frac-times_binary64_10659 cbrt-unprod_binary64_21935 cbrt-unprod_binary64_9659 associate-/l*_binary64_15368 frac-2neg_binary64_13047 div-inv_binary64_4508 cbrt-undiv_binary64_15798 associate-*r/_binary64_9227 *-commutative_binary64_4101 log-pow_binary64_11079 unswap-sqr_binary64_17778 sub-neg_binary64_12347 add-log-exp_binary64_21600 clear-num_binary64_13717 unswap-sqr_binary64_25280 associate-/l/_binary64_18098 associate-*l*_binary64_25594 pow-prod-up_binary64_3217 clear-num_binary64_13035 +-commutative_binary64_1713 cbrt-prod_binary64_5906 pow1/3_binary64_9026 div-inv_binary64_3826 *-commutative_binary64_10239 associate-*r*_binary64_23888 associate-*r*_binary64_25593
18×	prod-exp_binary64_5242 distribute-lft-out_binary64_3780 add-cube-cbrt_binary64_26370 pow-pow_binary64 cbrt-div_binary64_20229 cancel-sign-sub-inv_binary64_10615 associate-*l/_binary64_18094 1-exp_binary64_1486 sqrt-div_binary64_3505 div-sub_binary64_2811 sqrt-div_binary64_7938 rec-exp_binary64_1492 pow1/3_binary64_22325 add-log-exp_binary64_22282 frac-add_binary64_1109 cbrt-div_binary64_9317 associate-*r*_binary64_26275 associate-*l*_binary64_26276 difference-of-squares_binary64_4139 cube-mult_binary64_1131 pow-unpow_binary64_1860 log-div_binary64_3234 cbrt-unprod_binary64_5226 associate-/r*_binary64_25938 associate-/r*_binary64_9911 unpow3_binary64_1167 distribute-lft-out--_binary64_24923 cancel-sign-sub-inv_binary64_21868 pow-unpow_binary64_4247 pow-prod-up_binary64_3558 div-inv_binary64_9964 sub-neg_binary64_4845 associate-*r/_binary64_6499 frac-times_binary64_11341 +-commutative_binary64_1031 cbrt-undiv_binary64_23300 add-cbrt-cube_binary64_26712 pow-sqr_binary64_2779 sum-log_binary64_4943 pow1/2_binary64_10047 +-commutative_binary64_690 cbrt-div_binary64_13750 difference-of-squares_binary64_24940 unpow-prod-down_binary64_6295 associate-*l/_binary64_11274 add-exp-log_binary64_26714 associate-*l*_binary64_19797 add-sqr-sqrt_binary64_21583 sum-log_binary64_6307 div-sub_binary64_1106 pow-prod-down_binary64_21291 associate-/l/_binary64_12301 div-sub_binary64_765 sqrt-div_binary64_14758 pow-flip_binary64_11405
17×	pow1/3_binary64_5957 associate-*r/_binary64_21844 distribute-lft-out--_binary64_4122 1-exp_binary64_15126 associate-/r/_binary64_5821 distribute-lft-out_binary64_10941 frac-times_binary64_14751 associate-+r+_binary64_24221 unswap-sqr_binary64_10958 associate-/r/_binary64_9572 add-sqr-sqrt_binary64_27039 pow-sqr_binary64_3120 add-log-exp_binary64_25692 associate-/l*_binary64_16732 associate-/l/_binary64_15029 cbrt-unprod_binary64_20230 1-exp_binary64_14103 distribute-lft-out_binary64_12646 un-div-inv_binary64_758 unswap-sqr_binary64_6184 distribute-lft-neg-in_binary64_35 pow-sqr_binary64_4825 pow-pow_binary64_150 associate--l+_binary64_697 *-commutative_binary64_15354 rec-exp_binary64_15132 associate-/l*_binary64_9912 associate-/l*_binary64_4115 associate-*r/_binary64_18093 cbrt-undiv_binary64_3522 div-inv_binary64_12010 associate-+l+_binary64_693 *-commutative_binary64_6488 sub-neg_binary64_16098 cancel-sign-sub-inv_binary64_17094 clear-num_binary64_17468 unpow2_binary64_484 associate-*r/_binary64_11614 difference-of-squares_binary64_8913 diff-log_binary64_14492 frac-2neg_binary64_17480 associate-+l+_binary64_1034 pow1/2_binary64_3227 cbrt-prod_binary64_25343 pow-prod-down_binary64_7992 difference-of-squares_binary64_9936 pow1/3_binary64_14482 pow1/3_binary64_12095 swap-sqr_binary64_14367 cbrt-undiv_binary64_7955 pow-flip_binary64_1516 distribute-lft-out--_binary64_8896 frac-times_binary64_18502
16×	sum-log_binary64_10058 sqrt-div_binary64_21578 div-exp_binary64_11041 pow2_binary64_159 distribute-lft-neg-in_binary64_4809 associate-+r+_binary64_15014 inv-pow_binary64_11416 swap-sqr_binary64_5501 *-commutative_binary64_13990 flip3--_binary64_7925 flip3--_binary64_14404 distribute-lft-in_binary64_14349 distribute-lft-out_binary64_4121 *-commutative_binary64_11944 associate-*r*_binary64_24911 swap-sqr_binary64_6865 log-pow_binary64_2554 diff-log_binary64_2898 associate-+r+_binary64_24562 flip--_binary64_16762 pow-prod-down_binary64_16858 associate-+r+_binary64_14332 associate-/r/_binary64_14687 flip3--_binary64_16791 distribute-rgt-neg-in_binary64_4810 flip3-+_binary64_8606 sqrt-div_binary64_19532 unpow-prod-down_binary64_15161 rem-log-exp_binary64_119 distribute-rgt-neg-in_binary64_36 flip-+_binary64_8577 div-inv_binary64_5190 sqrt-unprod_binary64_4872 *-commutative_binary64_3760 distribute-lft-out_binary64_6508 pow-to-exp_binary64_3898 associate-/r*_binary64_10252 sqrt-div_binary64_16463 associate-/r*_binary64_21846 1-exp_binary64_16149 associate-*r/_binary64_13660 cos-mult_binary64_3983 unswap-sqr_binary64_7548 flip--_binary64_7896 associate-/l*_binary64_5138 sub-neg_binary64_22918 distribute-rgt-in_binary64_2756 flip3-+_binary64_19518 associate-+r+_binary64_9899 pow-prod-up_binary64_5263 pow1/3_binary64_10390 associate-+l+_binary64_5126 +-commutative_binary64_349 sum-log_binary64_11081 pow1/3_binary64_9367 cube-prod_binary64_5562 *-commutative_binary64_9898 distribute-lft-in_binary64_2755 *-commutative_binary64_12626 difference-of-squares_binary64_14028 sub-neg_binary64_10983 pow-exp_binary64_3897 associate-*l/_binary64_10592 associate-+r+_binary64_4784 cbrt-undiv_binary64_11024 flip-+_binary64_19489 diff-log_binary64_13810 sin-sum_binary64_211 associate-*l/_binary64_6500 frac-sub_binary64_3838 sqrt-div_binary64_22260 distribute-rgt-in_binary64_14350 *-commutative_binary64_16718 rec-exp_binary64_16155 cube-prod_binary64_15110 frac-add_binary64_1791 associate-*l*_binary64_24912 flip--_binary64_14375 swap-sqr_binary64_386 sub-neg_binary64_18485 unpow-prod-down_binary64_5613 associate-+r+_binary64_13650 rem-sqrt-square_binary64_5206
15×	unswap-sqr_binary64_17437 pow-prod-up_binary64_830 clear-num_binary64_16104 unswap-sqr_binary64_12322 flip-+_binary64_6531 associate-/r*_binary64_5478 flip-+_binary64_17443 cbrt-unprod_binary64_8295 flip-+_binary64_11646 cos-atan_binary64_1962 times-frac_binary64_6222 associate--l+_binary64_12291 pow-unpow_binary64_2542 associate-/r/_binary64_6503 pow-prod-down_binary64_14130 flip3-+_binary64_10311 pow-unpow_binary64_1519 distribute-lft-out--_binary64_14011 pow-plus_binary64_2187 cos-mult_binary64_573 pow-pow_binary64_2537 exp-sum_binary64_4898 distribute-rgt-out--_binary64 pow-prod-down_binary64_21973 *-commutative_binary64_10580 *-commutative_binary64_15013 distribute-lft-out_binary64_12987 associate-/l*_binary64_6502 div-inv_binary64_23604 associate-*l/_binary64_14002 flip3-+_binary64_16108 swap-sqr_binary64_1068 div-exp_binary64_16838 associate-+r+_binary64_2056 distribute-lft-out--_binary64_7191 pow-prod-down_binary64_14471 distribute-rgt-out_binary64_24583 sqrt-prod_binary64_23623 unswap-sqr_binary64_6525 div-sub_binary64_83 unswap-sqr_binary64_12663 pow-sqr_binary64_733 flip-+_binary64_10282 frac-2neg_binary64_16116 add-cube-cbrt_binary64_27052 log-pow_binary64_3577 distribute-lft-in_binary64_12985 flip3-+_binary64_11675 distribute-rgt-in_binary64_12986 frac-times_binary64_21230 flip3-+_binary64_17472 distribute-lft-in_binary64_12644 pow-sqr_binary64_9940 unpow-prod-down_binary64_25391 prod-exp_binary64_27066 unswap-sqr_binary64_8912 sin-diff_binary64_1237 diff-log_binary64_11423 *-un-lft-identity_binary64_27017 cbrt-undiv_binary64_19890 times-frac_binary64_19521 div-exp_binary64_19225 associate-*r*_binary64_26957 flip-+_binary64_16079 log-div_binary64_1529 associate-+r+_binary64_6148 associate-/r*_binary64_26620 associate-/l*_binary64_11958 flip3-+_binary64_6560 associate-*r/_binary64_9568 distribute-rgt-in_binary64_12645 associate-/r*_binary64_15367
14×	frac-times_binary64_13728 prod-exp_binary64_19223 sum-log_binary64_13809 1-exp_binary64 flip3-+_binary64_20541 cbrt-undiv_binary64_3863 cbrt-unprod_binary64_24663 cancel-sign-sub-inv_binary64_6864 div-inv_binary64_5872 flip--_binary64_25969 associate-/r/_binary64_6844 div-exp_binary64_3880 associate-*r/_binary64_25595 +-commutative_binary64_3077 cancel-sign-sub-inv_binary64_9251 unswap-sqr_binary64_16073 distribute-lft-out_binary64_21853 associate--l+_binary64_356 cbrt-undiv_binary64_22618 flip3-+_binary64_9629 associate-*r/_binary64_15706 neg-mul-1_binary64_756 div-sub_binary64_13723 flip-+_binary64_16420 unswap-sqr_binary64_8230 pow1/2_binary64_12093 rec-exp_binary64 flip-+_binary64_9600 add-cube-cbrt_binary64_21596 cube-div_binary64_789 distribute-lft-in_binary64_13667 pow-prod-down_binary64_20950 pow-pow_binary64_4242 flip3-+_binary64_16449 associate-*l/_binary64_11956 *-commutative_binary64_17059 associate-/l*_binary64_7866 cbrt-undiv_binary64_4204 diff-log_binary64_6649 frac-sub_binary64_22934 associate-/l/_binary64_2753 exp-sum_binary64_124 distribute-rgt-in_binary64_13668 pow-prod-down_binary64_12425 associate-/l/_binary64_11619 diff-log_binary64_16197 prod-exp_binary64_24679 +-commutative_binary64_12625 pow-prod-up_binary64_11401 pow-prod-down_binary64_18904 associate-/l*_binary64_19119 pow-prod-down_binary64_24701 flip3--_binary64_25998 pow1/3_binary64_19256 distribute-rgt-in_binary64_25603 unswap-sqr_binary64_9594 div-sub_binary64 pow-plus_binary64_1846 sub-neg_binary64_14734 pow1_binary64_25032 associate-/r/_binary64_19120 flip-+_binary64_20512 associate-+r+_binary64_10922 frac-2neg_binary64_9296 unswap-sqr_binary64_23234 log-pow_binary64_6646 distribute-lft-in_binary64_25602 div-sub_binary64_2129 *-un-lft-identity_binary64_21561 cbrt-undiv_binary64_19208 cbrt-unprod_binary64_19207 clear-num_binary64_9284 associate-+l+_binary64_10923 pow1_binary64_26737 sinh-def_binary64_9811
13×	distribute-rgt-in_binary64_11622 *-commutative_binary64_7170 clear-num_binary64_20878 frac-times_binary64_15433 sqrt-prod_binary64_12029 associate-/r/_binary64_24235 sum-log_binary64_10740 sqrt-prod_binary64_14757 sum-log_binary64_5284 sub-neg_binary64_11324 +-commutative_binary64_3759 frac-times_binary64_16115 flip-+_binary64_7554 cbrt-unprod_binary64_27050 cbrt-prod_binary64_25684 pow-sqr_binary64_11986 associate-/l*_binary64_21847 difference-of-sqr-1_binary64_1071 pow-pow_binary64_2196 pow-to-exp_binary64_25381 associate-/l*_binary64_5820 inv-pow_binary64_2209 associate-/l*_binary64_25939 unswap-sqr_binary64_20847 pow-prod-down_binary64_27088 flip--_binary64_17103 flip3--_binary64_17132 rec-exp_binary64_1151 frac-add_binary64_21228 div-inv_binary64_17125 cbrt-unprod_binary64_25686 unswap-sqr_binary64_13686 cos-mult_binary64_2278 flip3-+_binary64_7583 associate-+r+_binary64_5125 unswap-sqr_binary64_14709 sqrt-prod_binary64_23964 1-exp_binary64_1145 swap-sqr_binary64_20164 clear-num_binary64_11671 unpow2_binary64_1166 rem-sqrt-square_binary64_4865 flip3--_binary64_8607 swap-sqr_binary64_10957 *-commutative_binary64_10921 pow1/3_binary64_5616 pow-prod-down_binary64_25724 cube-prod_binary64_8972 associate-/l/_binary64_16052 cancel-sign-sub-inv_binary64_22550 associate-*r/_binary64_16047 frac-2neg_binary64_20890 sum-log_binary64_9717 distribute-neg-frac_binary64_18797 associate--r+_binary64_2060 +-commutative_binary64_12284 frac-2neg_binary64_11683 associate-*r/_binary64_21162 pow-flip_binary64_1175 sqrt-unprod_binary64 associate-/l*_binary64_24234 flip3-+_binary64_21564 pow-flip_binary64_2198 *-commutative_binary64_18764 flip--_binary64_8578 flip-+_binary64_21535 distribute-lft-in_binary64_11621 pow-exp_binary64_25380 pow1/3_binary64_13118 prod-exp_binary64_25702
12×	pow1/2_binary64_21641 flip3-+_binary64_10993 clear-num_binary64_4851 rec-exp_binary64_11381 cbrt-unprod_binary64_24322 flip--_binary64_7214 cancel-sign-sub-inv_binary64_8228 rem-log-exp_binary64_1142 sqrt-pow1_binary64_7598 cancel-sign-sub-inv_binary64_23914 distribute-rgt-in_binary64_15714 div-exp_binary64_4562 prod-exp_binary64_26384 pow-flip_binary64_152 acos-asin_binary64_2987 pow-plus_binary64_3551 frac-2neg_binary64_16457 sum-log_binary64_18924 1-exp_binary64_11375 pow-prod-down_binary64_9697 pow-unpow_binary64_3565 flip3-+_binary64_15426 frac-2neg_binary64_20208 pow-prod-up_binary64_16516 frac-add_binary64_12362 sum-log_binary64_4261 sum-log_binary64_20970 unswap-sqr_binary64_25962 associate-/r*_binary64_14685 swap-sqr_binary64_15049 sum-log_binary64_15514 cbrt-prod_binary64_7270 cbrt-unprod_binary64_5567 pow-prod-down_binary64_15835 associate-*r/_binary64_7863 unswap-sqr_binary64_5843 pow-prod-down_binary64_26406 frac-times_binary64_16456 flip--_binary64_11647 pow1/2_binary64_3568 clear-num_binary64_3146 swap-sqr_binary64_8570 distribute-lft-out--_binary64_7532 clear-num_binary64_16445 associate-/r*_binary64_24574 pow1/3_binary64_8685 swap-sqr_binary64_12321 distribute-rgt-out--_binary64_373 add-exp-log_binary64_21599 associate-/l/_binary64_16393 associate-*r/_binary64_17411 exp-prod_binary64_4904 pow1/2_binary64_16526 associate-/l*_binary64_21165 rec-exp_binary64_19906 frac-2neg_binary64_3158 rec-exp_binary64_1833 pow-prod-up_binary64_6286 pow-prod-down_binary64_17881 associate-/l*_binary64_26621 associate--l+_binary64_1379 log-prod_binary64_14145 1-exp_binary64_19900 *-commutative_binary64_18423 pow-exp_binary64_2874 sqrt-pow1_binary64_25330 sub-neg_binary64_16439 frac-2neg_binary64_4863 associate-/l*_binary64_14686 sum-log_binary64_16196 diff-log_binary64_15174 sqrt-div_binary64_14076 clear-num_binary64_20196 log-prod_binary64_2892 associate-/l/_binary64_24236 flip3--_binary64_11676 associate-/r/_binary64_15369 distribute-lft-in_binary64_15713 cbrt-unprod_binary64_26368 frac-add_binary64_18841 associate--l+_binary64_2743 pow-sqr_binary64_3461 associate-*r/_binary64_7181 flip--_binary64_16421 1-exp_binary64_1827 cancel-sign-sub-inv_binary64_18117 *-commutative_binary64_23197 cos-sum_binary64_894 flip3--_binary64_7243 cbrt-prod_binary64_21251 prod-exp_binary64_24338 pow-unpow_binary64_3224 associate-/r*_binary64_19118 flip-+_binary64_20171 inv-pow_binary64_163 cbrt-undiv_binary64_21936 pow-pow_binary64_3560 flip3--_binary64_16450 add-cbrt-cube_binary64_21597 flip-+_binary64_15397 flip-+_binary64_7213 flip-+_binary64_10964 div-inv_binary64_18489 flip3-+_binary64_20200 flip3-+_binary64_7242
11×	associate-/r/_binary64_21848 frac-sub_binary64_18842 distribute-lft-out--_binary64_9919 associate--r+_binary64_355 *-commutative_binary64_9216 frac-times_binary64_9295 associate-/r/_binary64_17074 div-inv_binary64_6895 difference-of-squares_binary64_5162 sub-neg_binary64_10301 cube-mult_binary64_4200 distribute-lft-out_binary64_18784 div-exp_binary64_5244 div-exp_binary64_6608 distribute-lft-out_binary64_10259 unpow-prod-up_binary64_838 unpow3_binary64_4236 clear-num_binary64_7579 frac-2neg_binary64_7591 pow-prod-down_binary64_16176 difference-of-squares_binary64_21871 cbrt-undiv_binary64_16821 +-commutative_binary64_2736 cbrt-div_binary64_1474 add-log-exp_binary64_25010 unswap-sqr_binary64_7207 unswap-sqr_binary64_19142 associate--r+_binary64_1037 rem-sqrt-square_binary64_6229 inv-pow_binary64_5278 sub-neg_binary64_13711 exp-prod_binary64 +-commutative_binary64_5123 unswap-sqr_binary64_20165 associate-*l/_binary64_18435 sum-log_binary64_23016 cbrt-undiv_binary64_4545 unswap-sqr_binary64_6866 div-inv_binary64_5531 unpow-prod-down_binary64_15843 div-inv_binary64_24286 cube-mult_binary64_449 clear-num_binary64_10648 frac-2neg_binary64_18162 frac-2neg_binary64_10660 clear-num_binary64_12694 associate-/l*_binary64_18437 *-commutative_binary64_12967 rec-exp_binary64_14109 div-exp_binary64_18543 cbrt-undiv_binary64_24323 sqr-pow_binary64_2778 pow-prod-down_binary64_23678 difference-of-squares_binary64_10277 associate-/r/_binary64_11959 pow2_binary64_2205 pow1/2_binary64_499 cancel-sign-sub-inv_binary64_18799 *-commutative_binary64_5124 frac-sub_binary64_769 associate-/l/_binary64_4117 unswap-sqr_binary64_20506 frac-sub_binary64_16114 rem-sqrt-square_binary64_11344 sqrt-div_binary64_11348 clear-num_binary64_18150 pow-prod-up_binary64_15493 cube-prod_binary64_15792 div-exp_binary64_24340 pow1/2_binary64_11411 pow-flip_binary64_5267 cos-diff_binary64_215 frac-2neg_binary64_12706 associate--r+_binary64_3424 associate-*r/_binary64_23549 *-commutative_binary64_22856 associate-/l/_binary64_9232 associate-/l/_binary64_20826
10×	pow-exp_binary64_7648 flip--_binary64_25628 distribute-rgt-out--_binary64_10262 rec-exp_binary64_17519 associate-*l/_binary64_26278 *-commutative_binary64_12285 frac-2neg_binary64_13388 flip3-+_binary64_7924 *-commutative_binary64_20810 1-exp_binary64_14444 sqrt-pow1_binary64_8621 flip-+_binary64_11987 pow2_binary64_1864 pow-plus_binary64_2528 unswap-sqr_binary64_21870 associate-/l/_binary64_15711 frac-times_binary64_17820 frac-2neg_binary64_11342 1-exp_binary64_18195 flip-+_binary64_6872 rec-exp_binary64_14450 frac-2neg_binary64_17821 distribute-lft-out--_binary64_18444 exp-diff_binary64_1490 pow-prod-down_binary64_24019 cancel-sign-sub-inv_binary64_7887 sub-neg_binary64_10642 associate-*l/_binary64_15366 clear-num_binary64_13376 associate-*l/_binary64_16389 associate-/l*_binary64_24916 pow-to-exp_binary64_7649 sqrt-unprod_binary64_2485 rem-sqrt-square_binary64_3501 prod-exp_binary64_23997 flip3-+_binary64_13380 pow-sqr_binary64_5166 associate-/r/_binary64_14346 flip-+_binary64_13010 pow1/3_binary64_5275 *-commutative_binary64_7511 pow-prod-down_binary64_8333 diff-log_binary64_4944 unpow-prod-down_binary64_4931 div-inv_binary64_21899 difference-of-sqr-1_binary64_2094 pow1/2_binary64_10729 cube-prod_binary64_6585 associate-/l/_binary64_20485 div-exp_binary64_17179 unpow3_binary64_485 flip3-+_binary64_6901 distribute-rgt-out--_binary64_15036 pow-pow_binary64_1855 unswap-sqr_binary64_24257 sum-log_binary64_17219 rem-sqrt-square_binary64_2819 sqrt-pow1_binary64_16123 cube-mult_binary64_2495 associate--l+_binary64_20816 sqrt-pow1_binary64_10667 1-exp_binary64_17513 flip3--_binary64_25657 swap-sqr_binary64_11980 diff-log_binary64_20971 flip3-+_binary64_12016 distribute-lft-in_binary64_9234 pow-prod-up_binary64_1171 pow-sqr_binary64_4143 *-commutative_binary64_9557 pow-prod-up_binary64_21631 sum-log_binary64_14491 pow-prod-up_binary64_4240 associate-+l-_binary64_12289 flip-+_binary64_13351 pow-sqr_binary64_11304 distribute-neg-in_binary64_39 flip--_binary64_21195 flip--_binary64_21877 flip3--_binary64_21224 flip-+_binary64_7895 distribute-rgt-in_binary64_9235 log-div_binary64_12441 pow1/2_binary64_8683 cbrt-unprod_binary64_23981 log-pow_binary64_3236 swap-sqr_binary64_22210 sqrt-pow1_binary64_5893 associate-/r/_binary64_23212 div-exp_binary64_5926 associate-/l/_binary64_10596 div-sub_binary64_13041 swap-sqr_binary64_18118 unswap-sqr_binary64_18460 frac-times_binary64_13046 pow-prod-down_binary64_7651 sub-div_binary64_85 pow-prod-down_binary64_13789 cbrt-undiv_binary64_17162 clear-num_binary64_11330 *-commutative_binary64_6147 *-commutative_binary64_11262 pow1/2_binary64_26074 associate-/r*_binary64_6842 associate-/l/_binary64_20144 associate--l+_binary64_9904 pow1/2_binary64_16185 *-commutative_binary64_21151 unpow3_binary64_2531 rec-exp_binary64_18201 flip3--_binary64_21906 acos-asin_binary64_2305 clear-num_binary64_17809 pow-exp_binary64_3215 log-div_binary64_12782 sqrt-pow1_binary64_26012 pow-exp_binary64_8330 flip3-+_binary64_13039 div-inv_binary64_25991 swap-sqr_binary64_16413 pow1/2_binary64_5955 associate-/l*_binary64_10253 sub-neg_binary64_24623
9×	clear-num_binary64_15763 sub-neg_binary64_25646 distribute-rgt-in_binary64_14009 +-commutative_binary64_13648 div-inv_binary64_7918 sub-neg_binary64_11665 pow-prod-down_binary64_9015 log-prod_binary64_12781 associate-/r*_binary64_7183 cbrt-prod_binary64_20228 frac-2neg_binary64_3840 unpow-prod-down_binary64_7318 *-commutative_binary64_23538 associate-*r/_binary64_19798 pow-pow_binary64_1514 pow-plus_binary64_823 sub-neg_binary64_6550 rem-cube-cbrt_binary64_4193 1-exp_binary64_463 +-commutative_binary64_10920 sum-log_binary64_12104 frac-2neg_binary64_15775 distribute-lft-neg-out_binary64_719 unswap-sqr_binary64_19824 log-prod_binary64_5620 +-commutative_binary64_4782 associate-/l/_binary64_12642 associate--r+_binary64_12290 clear-num_binary64_9625 *-commutative_binary64_22515 exp-prod_binary64_25364 pow2_binary64_841 clear-num_binary64_20537 cbrt-prod_binary64_14090 distribute-frac-neg_binary64_723 pow-flip_binary64_15156 neg-mul-1_binary64_3143 pow1/3_binary64_24712 cosh-def_binary64_11858 pow2_binary64 associate-+r+_binary64_10240 add-log-exp_binary64_26374 associate-*l/_binary64_12979 associate-/r/_binary64_12641 frac-times_binary64_19184 div-exp_binary64_6949 log-div_binary64_13123 frac-2neg_binary64_9637 sinh-undef_binary64_1294 cos-diff_binary64_2261 associate-+l+_binary64_15015 pow-prod-down_binary64_24360 flip--_binary64_22900 associate-*r/_binary64_11955 frac-2neg_binary64_20549 associate-+r-_binary64_12 clear-num_binary64_3828 associate-*r/_binary64_19116 div-exp_binary64_5585 inv-pow_binary64_15167 +-commutative_binary64_6146 associate-/r/_binary64_3775 pow-sqr_binary64_15396 pow-pow_binary64_10039 unpow-prod-down_binary64_13115 associate-+l+_binary64_11 pow1/3_binary64_18233 frac-times_binary64_11682 div-inv_binary64_16784 pow1/3_binary64_21984 pow1/3_binary64_24371 sub-neg_binary64_17121 pow-to-exp_binary64_3216 rec-exp_binary64_469 sum-log_binary64_10399 +-commutative_binary64_9897 flip3--_binary64_22929 cbrt-div_binary64_17501 +-commutative_binary64_4100 cbrt-prod_binary64_22956 add-log-exp_binary64_27056 associate-*r/_binary64_20139 sub-div_binary64_13725 log-div_binary64_3575 exp-diff_binary64_126 pow1/3_binary64_16528 associate-/l*_binary64_22870 unswap-sqr_binary64_22211 associate-/r/_binary64_7867 distribute-lft-in_binary64_14008 associate-+r+_binary64_3761
8×	frac-times_binary64_4180 pow1/2_binary64_19595 flip3--_binary64_10653 associate--r+_binary64_11608 distribute-lft-in_binary64_23897 *-commutative_binary64_7852 pow-plus_binary64_15486 sub-neg_binary64_20872 unpow3_binary64_144 flip3--_binary64_12017 associate-*l/_binary64_7864 div-exp_binary64_10018 log-div_binary64_1188 distribute-lft-in_binary64_18100 cosh-undef_binary64_954 cube-prod_binary64_23294 unpow-prod-down_binary64_23345 associate-/l/_binary64_17757 sub-neg_binary64_7232 distribute-rgt-in_binary64_17078 cube-prod_binary64_3857 *-commutative_binary64_19787 *-commutative_binary64_21833 diff-log_binary64_10741 cube-mult_binary64_108 sqr-pow_binary64_14031 pow-prod-down_binary64_17540 distribute-rgt-neg-out_binary64 flip-+_binary64_19830 associate-+r+_binary64_25585 *-commutative_binary64_14331 distribute-rgt-in_binary64_16055 pow-prod-down_binary64_5605 flip3-+_binary64_19859 sum-log_binary64_15173 frac-sub_binary64_14409 clear-num_binary64_18832 associate-/l/_binary64_10937 associate--r+_binary64_18428 *-commutative_binary64_24220 associate-/l/_binary64_15370 rem-log-exp_binary64_460 rem-log-exp_binary64 associate-*l/_binary64_24573 associate--r+_binary64_15018 associate-+l+_binary64_24222 cbrt-undiv_binary64_18526 sqrt-pow1_binary64_19533 distribute-lft-in_binary64_17077 associate--r+_binary64_12972 rem-sqrt-square_binary64_26007 pow-prod-down_binary64_6969 rem-sqrt-square_binary64_5888 exp-prod_binary64_11042 cube-mult_binary64_3177 flip--_binary64_10624 pow1/3_binary64_13800 prod-exp_binary64_8652 difference-of-squares_binary64_4480 unswap-sqr_binary64_22893 difference-of-sqr-1_binary64_389 +-commutative_binary64_11943 cbrt-undiv_binary64_10001 sqr-pow_binary64_18464 difference-of-squares_binary64_11982 pow2_binary64_3228 associate-/l/_binary64_17075 distribute-rgt-in_binary64_18101 associate--l+_binary64_11268 cos-sum_binary64 div-inv_binary64_14738 associate-+r+_binary64_12968 inv-pow_binary64_1186 rem-sqrt-square_binary64_19528 associate-+r+_binary64_23880 unpow-prod-down_binary64_18571 flip--_binary64_11988 associate--r+_binary64_1719 distribute-lft-out_binary64_11964 distribute-lft-out--_binary64_6168 diff-log_binary64_7331 pow1/3_binary64_13459 associate-+r-_binary64_2740 rem-sqrt-square_binary64_10662 distribute-lft-in_binary64_16054 frac-add_binary64_13726 cube-div_binary64_15111 distribute-rgt-in_binary64_23898 sinh-undef_binary64_953 cube-mult_binary64_790 *-commutative_binary64_13649 cbrt-prod_binary64_9998 associate-+r+_binary64_6489 pow-to-exp_binary64_2875 cbrt-undiv_binary64_5227 associate-*l/_binary64_11615 associate-/r*_binary64_24915 pow-sqr_binary64_6189 frac-times_binary64_8613 cbrt-div_binary64_12727 sum-log_binary64_26767 div-inv_binary64_19171 difference-of-squares_binary64_6185 cancel-sign-sub-inv_binary64_7546 pow-plus_binary64_3210 *-commutative_binary64_8193 associate-+l+_binary64_17061 diff-log_binary64_12446 cos-sum_binary64_23400 unpow3_binary64_826 frac-2neg_binary64_18844 cos-sum_binary64_2258 unpow3_binary64_3213 distribute-lft-out_binary64_14351 +-commutative_binary64_22855 distribute-lft-out--_binary64_11965 associate-+r+_binary64_20811 pow-sqr_binary64_16419 associate-*l/_binary64_17753 *-commutative_binary64_17741 +-commutative_binary64_10579 unpow2_binary64_3212 sqrt-prod_binary64_23282 unpow-prod-down_binary64_10387 associate-/l/_binary64_9573 div-inv_binary64_6554 sqr-pow_binary64_9939 sqr-pow_binary64_6529 associate-*r/_binary64_5476 inv-pow_binary64_1527 associate-/r/_binary64_24917 difference-of-sqr-1_binary64_16075 frac-add_binary64_14408 unswap-sqr_binary64_24598
7×	pow-prod-down_binary64_20609 difference-of-sqr--1_binary64_2777 sin-cos-mult_binary64_2280 clear-num_binary64_3487 sqr-abs_binary64_93 associate-*r/_binary64_24572 flip3-+_binary64_26679 +-commutative_binary64_15353 sum-log_binary64_11422 log-pow_binary64_4941 sum-log_binary64_18242 associate-+l+_binary64_18766 pow2_binary64_2546 sum-log_binary64_14150 *-commutative_binary64_22174 diff-log_binary64_21994 frac-2neg_binary64_23618 associate-/l/_binary64_18780 pow-flip_binary64_14474 pow-prod-down_binary64_5946 frac-2neg_binary64_3499 associate-*r*_binary64_21501 +-commutative_binary64_18763 diff-log_binary64_4262 exp-sum_binary64_465 flip3-+_binary64_15767 unswap-sqr_binary64_4479 distribute-rgt-out--_binary64_10944 *-commutative_binary64_24561 cbrt-undiv_binary64_6591 pow2_binary64_2887 associate-/r/_binary64_8890 unswap-sqr_binary64_22552 pow-flip_binary64_11746 sqrt-prod_binary64_15780 cbrt-prod_binary64_24320 sub-div_binary64_426 distribute-lft-out--_binary64_5145 swap-sqr_binary64_1409 pow-prod-up_binary64_5945 associate--l-_binary64 flip-+_binary64_15738 associate-/l/_binary64_7527 clear-num_binary64_10989 pow-prod-up_binary64_1512 +-commutative_binary64_10238 1-exp_binary64_13762 flip-+_binary64_26650 rec-exp_binary64_16496 clear-num_binary64_4510 *-commutative_binary64_4442 1-exp_binary64_16490 frac-2neg_binary64_4522 associate-*r/_binary64_20480 rem-log-exp_binary64_1824 associate-+l+_binary64_352 pow-plus_binary64_4915 associate-*l*_binary64_21502 pow-prod-down_binary64_18222 cube-mult_binary64 inv-pow_binary64_11757 log-prod_binary64_11076 pow-plus_binary64_2869 log-div_binary64 frac-times_binary64_14069 exp-sum_binary64_4216 diff-log_binary64_23017 clear-num_binary64_23606 associate-*l*_binary64_26958 pow-prod-down_binary64_8674 cos-sum_binary64_2940 frac-2neg_binary64_11001 sub-neg_binary64_13029 frac-2neg_binary64_8955 frac-times_binary64_20207 *-commutative_binary64_16036 cosh-def_binary64_16632 unpow3_binary64 associate-*r/_binary64_7522 add-log-exp_binary64_26033 div-inv_binary64_4167 pow-sub_binary64_836 associate-*l/_binary64_8887 associate--l+_binary64_1038 rem-sqrt-square_binary64_3160 clear-num_binary64_8943 pow-prod-up_binary64_8673 pow-sqr_binary64_1415 rec-exp_binary64_13768 pow-plus_binary64 associate-/l*_binary64_7184 associate-*l/_binary64_5818 associate--r+_binary64_6493 cbrt-div_binary64_5566 sqrt-prod_binary64_11688 swap-sqr_binary64_10275 associate-*l/_binary64_9228 cbrt-prod_binary64_12726 div-inv_binary64_7236 sqr-pow_binary64_8234 pow-pow_binary64_3219 associate-/r*_binary64_21164 log-pow_binary64_7328 associate-/r*_binary64_16731
6×	clear-num_binary64_5192 associate-/l/_binary64_13324 exp-prod_binary64_4222 sqrt-unprod_binary64_98 pow-flip_binary64_13110 flip3--_binary64_22247 distribute-lft-out--_binary64_10260 pow-unpow_binary64_3906 swap-sqr_binary64_8911 cube-prod_binary64_7267 clear-num_binary64_12353 sqrt-prod_binary64_16462 associate-/l/_binary64_11960 log-prod_binary64_2210 sum-cubes_binary64_1443 associate--l-_binary64_3085 distribute-lft-out_binary64_9236 sum-log_binary64_24380 1-exp_binary64_20241 sum-log_binary64_11763 frac-2neg_binary64_4181 flip-+_binary64_18466 pow-unpow_binary64_10044 rem-cube-cbrt_binary64_2147 sqrt-div_binary64_26011 div-inv_binary64_24968 +-commutative_binary64_15012 log-prod_binary64_11417 rem-cube-cbrt_binary64_1465 *-commutative_binary64_26266 flip3-+_binary64_18495 distribute-rgt-in_binary64_7871 associate-*r*_binary64_26616 unpow3_binary64_3554 cbrt-div_binary64_15114 log-prod_binary64_5279 1-exp_binary64_7624 sqrt-pow1_binary64_23966 sub-neg_binary64_9278 cube-mult_binary64_3518 associate-/l/_binary64_22531 frac-2neg_binary64_5204 distribute-rgt-out_binary64_31 pow2_binary64_15504 *-commutative_binary64_18082 cbrt-unprod_binary64_8636 distribute-lft-in_binary64_7870 pow1/3_binary64_11754 swap-sqr_binary64_9252 associate-/r*_binary64_22869 pow3_binary64_1525 exp-sum_binary64_5239 swap-sqr_binary64_13344 pow-unpow_binary64_6293 distribute-rgt-out_binary64_20491 flip--_binary64_22218 pow-flip_binary64_7995 pow-flip_binary64_493 distribute-lft-in_binary64_21851 exp-prod_binary64_3881 swap-sqr_binary64_21869 swap-sqr_binary64_11639 rec-exp_binary64_20247 sum-log_binary64_21652 clear-num_binary64_22583 flip-+_binary64_14374 associate-+l+_binary64_19448 sub-neg_binary64_21895 sum-log_binary64_21993 rec-exp_binary64_7630 div-inv_binary64_8259 sub-neg_binary64_15416 pow-prod-up_binary64_6968 +-commutative_binary64_14330 div-sub_binary64_3152 associate-+l+_binary64_12628 *-commutative_binary64_23879 1-exp_binary64_15467 distribute-rgt1-in_binary64_20494 pow-sqr_binary64_6871 1-exp_binary64_17854 sqr-pow_binary64_6870 distribute-lft-in_binary64_26966 swap-sqr_binary64_13003 cube-prod_binary64_4880 *-commutative_binary64_17400 clear-num_binary64_23265 *-commutative_binary64_8875 distribute-lft-out_binary64_6167 pow1/2_binary64_3909 sub-neg_binary64_7914 pow-flip_binary64 sqrt-div_binary64_5892 div-exp_binary64_26045 pow1/3_binary64_1524 distribute-rgt-out--_binary64_22879 cube-div_binary64 cbrt-div_binary64_25685 cancel-sign-sub-inv_binary64_11979 frac-2neg_binary64_23277 sum-log_binary64_19606 flip3-+_binary64_24974 exp-prod_binary64_5245 distribute-lft-out--_binary64_4463 pow1/2_binary64_7660 flip3-+_binary64_14403 distribute-rgt-in_binary64_21852 sin-mult_binary64_1597 pow-to-exp_binary64_8331 acos-asin_binary64_1623 pow1/3_binary64_6639 cos-sum_binary64_27151 pow-unpow_binary64_6634 associate-*l/_binary64_19799 associate-*l/_binary64_8546 pow-unpow_binary64_6975 frac-add_binary64_14067 associate--r+_binary64_10585 sqr-pow_binary64_5506 cbrt-undiv_binary64_5909 associate-/l/_binary64_8891 rem-log-exp_binary64_1483 rem-log-exp_binary64_3188 distribute-rgt-in_binary64_20829 pow-sqr_binary64_1074 associate-/l/_binary64_11278 cancel-sign-sub-inv_binary64_5500 associate-*l/_binary64_15707 associate--r-_binary64_3427 pow-sqr_binary64_21534 pow-unpow_binary64_8339 rem-cube-cbrt_binary64_783 unswap-sqr_binary64_7889 frac-2neg_binary64_12365 distribute-lft-out_binary64_9918 associate-+r-_binary64 frac-add_binary64_10316 associate-/l*_binary64_5479 distribute-lft-in_binary64_20828 sqrt-prod_binary64_21577 unswap-sqr_binary64_23916 unswap-sqr_binary64_25621 unpow-prod-down_binary64_13797 sqrt-pow1_binary64_3847 cancel-sign-sub-inv_binary64_17776 cbrt-prod_binary64_19546 log-pow_binary64_4259 associate-*l/_binary64_16048 exp-sum_binary64_3875 swap-sqr_binary64_24597 inv-pow_binary64 +-commutative_binary64_20809 *-commutative_binary64_15695 flip-+_binary64_24945 *-commutative_binary64_25584 associate-/l/_binary64_14347 associate-*r/_binary64_26277 cube-div_binary64_3176 associate-*r/_binary64_26959 +-commutative_binary64_11602 distribute-rgt-in_binary64_26967 cancel-sign-sub-inv_binary64_26301 pow-unpow_binary64_9021 *-commutative_binary64_5465 pow-exp_binary64_6966 swap-sqr_binary64_8229 neg-mul-1_binary64 sum-log_binary64_23698 frac-2neg_binary64_22595 associate-/r*_binary64_18436 rem-sqrt-square_binary64_7593 associate-/l/_binary64_6504 div-inv_binary64_10305 sum-log_binary64_7330 clear-num_binary64_9966 un-div-inv_binary64_76 associate-*l/_binary64_25596 sub-neg_binary64_23259 pow-flip_binary64_834 associate-+r+_binary64_19447 rec-exp_binary64_17860 clear-num_binary64_4169 sin-cos-mult_binary64_1598 cbrt-div_binary64_25344 pow-prod-up_binary64_10719 log-prod_binary64_3915 frac-2neg_binary64_9978
5×	sub-neg_binary64_15757 prod-exp_binary64_26043 distribute-rgt-in_binary64_19465 flip-+_binary64_24604 exp-diff_binary64_1149 sum-log_binary64_9376 pow-plus_binary64_4233 flip3-+_binary64_24633 flip3--_binary64_14063 flip-+_binary64_18125 diff-log_binary64_11082 sqrt-div_binary64_26693 *-commutative_binary64_20469 log-pow_binary64_13125 flip3-+_binary64_18154 sum-log_binary64_15855 frac-times_binary64_3498 flip--_binary64_14034 cancel-sign-sub-inv_binary64_19822 frac-2neg_binary64_24300 frac-add_binary64_15431 clear-num_binary64_15422 diff-log_binary64_13128 associate-+r-_binary64_11947 clear-num_binary64_19855 cbrt-undiv_binary64_10342 distribute-lft-in_binary64_19464 pow-exp_binary64_10035 1-exp_binary64_2850 swap-sqr_binary64_9934 clear-num_binary64_24288 pow-flip_binary64_16179 flip3-+_binary64_24292 frac-add_binary64_2473 flip3--_binary64_8948 associate-+l-_binary64_13 exp-prod_binary64_24000 sqr-abs_binary64 +-commutative_binary64_7510 clear-num_binary64_7920 associate--l+_binary64_4789 unpow2_binary64_8327 cbrt-undiv_binary64_7273 div-exp_binary64_7290 associate-+l+_binary64_3080 pow1/3_binary64_25735 distribute-rgt-out_binary64_3100 div-sub_binary64_15087 exp-to-pow_binary64_24010 associate-*l/_binary64_9569 div-exp_binary64_10359 frac-2neg_binary64_7932 associate--r+_binary64 distribute-lft-neg-in_binary64_11970 distribute-lft-out_binary64_18102 pow-prod-up_binary64_26064 flip3-+_binary64_22587 associate-*l/_binary64_19117 rem-log-exp_binary64_13077 sqr-pow_binary64_13349 flip-+_binary64_5508 flip3--_binary64_26339 pow-prod-up_binary64_16175 flip-+_binary64_22558 pow-sqr_binary64_392 log-div_binary64_5621 *-commutative_binary64_26948 sum-cubes_binary64_4853 associate-/l*_binary64_6161 frac-times_binary64_5885 cbrt-unprod_binary64_6931 associate-+l-_binary64_3764 neg-mul-1_binary64_74 +-commutative_binary64_16035 *-commutative_binary64_6829 distribute-lft-in_binary64_26284 flip--_binary64_8919 count-2_binary64_24578 associate-+r+_binary64_12627 distribute-rgt-out_binary64_372 clear-num_binary64_12012 cube-div_binary64_1471 sum-log_binary64_7671 frac-2neg_binary64_17139 flip--_binary64_24605 difference-cubes_binary64_15766 associate--l+_binary64_6494 exp-prod_binary64_14111 div-sub_binary64_18156 distribute-rgt1-in_binary64_34 cube-mult_binary64_5564 +-commutative_binary64_17058 rec-exp_binary64_2856 unswap-sqr_binary64_17096 div-sub_binary64_424 associate--r-_binary64_2063 cbrt-undiv_binary64_5568 flip-+_binary64_17102 e-exp-1_binary64_13081 associate-*r/_binary64_17070 sub-neg_binary64_22577 rem-sqrt-square_binary64_3842 sqr-abs_binary64_1798 distribute-rgt-in_binary64_26285 associate-/l*_binary64_19460 clear-num_binary64_21219 frac-2neg_binary64_21231 sum-cubes_binary64_6217 pow1/3_binary64_17551 sqr-pow_binary64_8575 difference-of-sqr-1_binary64_10278 log-div_binary64_506 flip-+_binary64_24263 sqr-pow_binary64_8916 flip3--_binary64_24634 1-exp_binary64_8988 sub-neg_binary64_18826 1-exp_binary64_13421 diff-log_binary64_19948 rec-exp_binary64_8994 rec-exp_binary64_13427 inv-pow_binary64_845 exp-sum_binary64_14105 clear-num_binary64_17127 flip3-+_binary64_17131 pow1/3_binary64_25394 prod-exp_binary64_6947 frac-2neg_binary64_19867 flip--_binary64_26310 cube-div_binary64_18862 flip3-+_binary64_5537 unpow3_binary64_5600 diff-log_binary64_22676 pow-prod-up_binary64_489 exp-sum_binary64_1488 exp-diff_binary64_2172 pow-plus_binary64_1505 frac-2neg_binary64_12024 unswap-sqr_binary64_15732 +-commutative_binary64_19445 sub-neg_binary64_19849 associate--l+_binary64_21839 pow-sqr_binary64_8576 +-commutative_binary64_15694 +-commutative_binary64_18081 unpow2_binary64 *-commutative_binary64_8534 distribute-rgt1-in_binary64_3103 associate-*l/_binary64_3431 frac-sub_binary64_4179 inv-pow_binary64_16190 cos-diff_binary64_2943 distribute-lft-out_binary64_5485 frac-2neg_binary64_15434 diff-log_binary64_17220 sum-log_binary64_3579 associate--l+_binary64_16042 distribute-lft1-in_binary64_24585 distribute-rgt1-in_binary64_24586 pow-flip_binary64_9359 pow-sqr_binary64_5848 difference-of-sqr-1_binary64_1753 distribute-rgt-out_binary64_11966
4×	exp-diff_binary64_2854 associate--l+_binary64_6153 associate-+r+_binary64_15696 rem-sqrt-square_binary64_7934 associate-*r/_binary64_22526 unpow2_binary64_1848 diff-log_binary64_18584 distribute-rgt-in_binary64_22534 distribute-lft-in_binary64_9575 +-commutative_binary64_20468 associate-/r/_binary64_4116 un-div-inv_binary64_16444 rem-log-exp_binary64_7280 flip3-+_binary64_9288 sum-log_binary64_8694 rem-sqrt-square_binary64_16118 distribute-rgt-in_binary64_8553 difference-of-sqr-1_binary64 flip3--_binary64_20542 associate-+r+_binary64_1033 distribute-rgt-in_binary64_17760 cbrt-unprod_binary64_5908 pow1/2_binary64_4591 pow-sqr_binary64_10963 diff-log_binary64_10059 sum-log_binary64_20629 pow1/3_binary64_21302 sqrt-pow1_binary64_22261 distribute-lft-in_binary64_11962 neg-mul-1_binary64_4848 frac-times_binary64_17479 frac-sub_binary64_6566 sqrt-unprod_binary64_6236 associate-/l/_binary64_3776 flip--_binary64_24946 pow2_binary64_4933 associate-+r+_binary64_10581 inv-pow_binary64_13803 exp-diff_binary64_2513 prod-exp_binary64_25020 unpow3_binary64_3895 associate-/l/_binary64_14688 distribute-rgt1-in_binary64_375 associate-+r+_binary64_2738 cbrt-div_binary64_19547 associate-*l/_binary64_20140 associate-/l/_binary64_3435 associate-/r*_binary64_8547 sqr-pow_binary64_23238 distribute-lft-out--_binary64_19467 +-commutative_binary64_24219 +-commutative_binary64_17399 sub-neg_binary64_21213 cbrt-undiv_binary64_26028 pow-prod-down_binary64_20268 associate-*r*_binary64_19455 sqrt-pow1_binary64_4529 pow-flip_binary64_13792 sqrt-pow1_binary64_7939 flip-+_binary64_9259 associate--l-_binary64_14338 associate-+r-_binary64_353 sqr-abs_binary64_5208 associate-/l/_binary64_21849 pow-prod-up_binary64_22313 clear-num_binary64_19173 associate-+l-_binary64 associate-+r-_binary64_20813 +-commutative_binary64_7169 +-commutative_binary64_13989 pow1/2_binary64_8001 distribute-lft-in_binary64_22533 pow1/3_binary64_4934 +-commutative_binary64_21491 associate-*l/_binary64_17412 +-commutative_binary64_8533 frac-times_binary64_7249 pow-prod-up_binary64_11060 associate--l-_binary64_12292 associate-+l-_binary64_14335 sum-log_binary64_4602 diff-log_binary64_21312 associate-/l/_binary64_24918 exp-to-pow_binary64_1845 sub-neg_binary64_8255 flip--_binary64_23241 distribute-rgt-out--_binary64_3101 diff-log_binary64_8013 flip--_binary64_7555 frac-times_binary64_22253 sqr-pow_binary64_15054 log-div_binary64_2552 frac-add_binary64_24297 difference-of-squares_binary64_22212 cube-mult_binary64_9997 distribute-rgt-in_binary64_9576 pow-exp_binary64_15491 distribute-neg-frac_binary64_1406 rec-exp_binary64_4902 clear-num_binary64_21901 associate--l-_binary64_2062 swap-sqr_binary64_21528 cbrt-unprod_binary64_25004 pow1/3_binary64_12436 difference-of-squares_binary64_19484 sqr-abs_binary64_1116 sinh-def_binary64_1286 associate-/l/_binary64_7186 un-div-inv_binary64_9283 associate--r+_binary64_3765 cbrt-prod_binary64_19887 unpow3_binary64_15148 frac-times_binary64_7931 rec-exp_binary64_22634 div-exp_binary64_22976 rem-exp-log_binary64_800 associate-+l-_binary64_17063 associate-/l/_binary64_26623 distribute-rgt-out_binary64 pow-to-exp_binary64_10036 sum-log_binary64_17560 *-commutative_binary64_5806 rem-sqrt-square_binary64_4524 1-exp_binary64_4896 pow-pow_binary64_9016 pow-sqr_binary64_14373 un-div-inv_binary64_1781 associate-+l+_binary64_13651 +-commutative_binary64_6487 flip--_binary64_20513 associate--r-_binary64_12975 swap-sqr_binary64_24256 cube-div_binary64_4881 rem-cube-cbrt_binary64_1806 pow1/3_binary64_11413 cancel-sign-sub-inv_binary64_12661 pow1/3_binary64_12777 cube-div_binary64_7268 unpow2_binary64_15488 pow-exp_binary64_13445 pow-sqr_binary64_10622 +-commutative_binary64_9215 clear-num_binary64_6556 sub-neg_binary64_23941 flip3-+_binary64_21905 associate-*l/_binary64_4113 cube-div_binary64_9996 cos-sum_binary64_553 frac-sub_binary64_12704 associate-+l+_binary64_21835 distribute-lft-out_binary64_24240 pow-prod-down_binary64_19245 sqr-pow_binary64_15395 pow1/3_binary64_3570 frac-sub_binary64_2133 rem-square-sqrt_binary64_2477 associate--l+_binary64_22521 sqrt-div_binary64_15099 div-sub_binary64_12700 sin-diff_binary64_214 frac-2neg_binary64_6568 flip3--_binary64_23270 distribute-lft-in_binary64_17759 frac-2neg_binary64_21913 diff-cos_binary64_3639 flip-+_binary64_21876 cancel-sign-sub-inv_binary64_21186 clear-num_binary64_5874 cube-prod_binary64_2834 sqr-abs_binary64_2139 rem-log-exp_binary64_8303 associate-/l/_binary64_22872 frac-2neg_binary64_10319 pow-flip_binary64_2880 distribute-rgt-out--_binary64_1396 distribute-lft-in_binary64_5483 cbrt-undiv_binary64_25005 inv-pow_binary64_2891 div-sub_binary64_12359 frac-times_binary64_22594 pow-prod-up_binary64_23336 rem-exp-log_binary64_2164 flip3--_binary64_24975 +-commutative_binary64_26606 pow-prod-up_binary64_3899 associate-*r/_binary64_8886 difference-of-sqr--1_binary64_1754 prod-exp_binary64_5924 associate-/l*_binary64_24575 +-commutative_binary64_4441 frac-times_binary64_21571 associate-*r/_binary64_14342 distribute-rgt-in_binary64_5484 distribute-lft-in_binary64_8552 sqrt-unprod_binary64_5213 *-commutative_binary64_20128 associate-/r/_binary64_9913 cube-div_binary64_6586 unpow3_binary64_10033 div-inv_binary64_26673 cos-sum_binary64_1576 frac-2neg_binary64_5886 *-commutative_binary64_19105 div-sub_binary64_24976 pow-sqr_binary64_22216 frac-2neg_binary64_19185 sum-log_binary64_20288 times-frac_binary64_8609 associate-/r/_binary64_18438 flip3--_binary64_7584 distribute-rgt-in_binary64_11963 clear-num_binary64_10307 associate-*l/_binary64_12638 associate-+r-_binary64_13652 unswap-sqr_binary64_24939 frac-add_binary64_7929 acos-asin_binary64_1964 neg-sub0_binary64_73 rem-sqrt-square_binary64_8616 pow-sqr_binary64_23239 cube-mult_binary64_15112 pow-pow_binary64_6288 sub-neg_binary64_18144 inv-pow_binary64_9370 pow-exp_binary64_18901 cbrt-undiv_binary64_22959 pow-prod-down_binary64_26065 cube-div_binary64_2494 associate-+l+_binary64_1375 pow-plus_binary64_11394 sqr-pow_binary64_18805 pow2_binary64_1523 1-exp_binary64_22628 associate-/l/_binary64_9914 div-sub_binary64_20884 rec-exp_binary64_2174 pow2_binary64_4251 frac-add_binary64_6565 associate--r+_binary64_22861 div-sub_binary64_12018 associate-+l+_binary64_4785 1-exp_binary64_2168 pow-sub_binary64_2200 associate-/l/_binary64_18439 pow-sqr_binary64_3802 pow-prod-up_binary64_14470 pow1/2_binary64_22323 inv-pow_binary64_14485 sqr-abs_binary64_4867 associate-+r+_binary64_3079 rem-exp-log_binary64_1823 associate-/l/_binary64_25941 difference-of-sqr-1_binary64_4481 div-exp_binary64_25022 frac-sub_binary64_10658 rem-cube-cbrt_binary64_3170
3×	un-div-inv_binary64_11670 pow1/3_binary64_20279 div-sub_binary64_4175 1-exp_binary64_5237 neg-sub0_binary64_755 pow-sqr_binary64_25967 difference-of-sqr--1_binary64_390 cos-atan_binary64_939 sum-log_binary64_21311 frac-sub_binary64_13045 1-exp_binary64_21946 rec-exp_binary64_18883 distribute-lft-in_binary64_19805 distribute-lft-out--_binary64_26287 rem-exp-log_binary64_4892 unsub-neg_binary64_72 rem-log-exp_binary64_12736 log-pow_binary64_3918 pow-unpow_binary64_15159 sum-log_binary64_18583 pow2_binary64_6297 diff-log_binary64_12787 un-div-inv_binary64_17467 div-exp_binary64_26727 1-exp_binary64_12739 unswap-sqr_binary64_26303 rem-log-exp_binary64_4893 difference-of-squares_binary64_24599 flip3--_binary64_8266 distribute-frac-neg_binary64_2769 rec-exp_binary64_21952 +-commutative_binary64_23196 exp-diff_binary64_808 sqr-pow_binary64_7211 diff-log_binary64_23358 pow-unpow_binary64_7316 distribute-rgt-neg-in_binary64_7879 distribute-rgt-in_binary64_23216 pow-plus_binary64_21283 unpow2_binary64_2871 +-commutative_binary64_16376 diff-log_binary64_13469 associate-*r/_binary64_24913 pow-flip_binary64_1857 associate-+r-_binary64_1376 div-sub_binary64_16110 difference-of-squares_binary64_8572 distribute-rgt-in_binary64_19806 sqr-abs_binary64_2480 flip3-+_binary64_27020 div-sub_binary64_15769 associate-*l*_binary64_26617 sin-mult_binary64_1938 frac-2neg_binary64_7250 diff-log_binary64_11764 pow-plus_binary64_10030 associate-+l-_binary64_10925 sum-log_binary64_13127 diff-log_binary64_15856 associate-/r*_binary64_6160 cbrt-undiv_binary64_26710 associate--l-_binary64_16 rec-exp_binary64_23316 associate--r+_binary64_1378 exp-to-pow_binary64_481 sqrt-unprod_binary64_1803 cube-mult_binary64_18863 +-commutative_binary64_3418 pow-unpow_binary64_1178 associate--l+_binary64_22862 associate-*l/_binary64_25937 unsub-neg_binary64_12007 div-sub_binary64_11677 frac-times_binary64_8954 cos-neg_binary64_891 pow-unpow_binary64_13113 rec-exp_binary64_12063 pow2_binary64_500 pow1/2_binary64_6637 sqrt-unprod_binary64_1462 pow-unpow_binary64_13454 pow-plus_binary64_6961 frac-times_binary64_26004 rem-sqrt-square_binary64_25325 rec-exp_binary64_12745 associate-/l/_binary64_19803 sqrt-prod_binary64_24987 flip--_binary64_8237 exp-prod_binary64_3199 pow-unpow_binary64_2883 +-commutative_binary64_19786 pow-to-exp_binary64_6967 pow-prod-up_binary64_21290 1-exp_binary64_9670 rem-cube-cbrt_binary64_2488 sqrt-prod_binary64_16803 1-exp_binary64_12057 frac-2neg_binary64_16798 sum-log_binary64_6989 pow-flip_binary64_2539 div-sub_binary64_15428 pow1/3_binary64_17892 clear-num_binary64_14740 inv-pow_binary64_20282 cancel-sign-sub-inv_binary64_19481 associate-*l/_binary64_17071 associate--r+_binary64_14 sqrt-prod_binary64_5550 neg-sub0_binary64_12008 pow-unpow_binary64_15500 pow1/2_binary64_25392 sqr-pow_binary64_25284 rem-cbrt-cube_binary64_784 pow1/3_binary64_20620 flip3-+_binary64_22246 frac-2neg_binary64_14752 pow2_binary64_21301 frac-add_binary64_13044 acos-neg_binary64_2989 frac-2neg_binary64_26687 cancel-sign-sub-inv_binary64_14025 frac-2neg_binary64_26005 sum-log_binary64_19947 pow-unpow_binary64_8680 pow-flip_binary64_20271 distribute-lft-out_binary64_8554 +-commutative_binary64_6828 sum-log_binary64_23357 rem-exp-log_binary64_14099 pow2_binary64_5274 pow-flip_binary64_7654 rec-exp_binary64_9676 rem-sqrt-square_binary64_432 pow-plus_binary64_482 cbrt-unprod_binary64_26027 sqrt-pow1_binary64_6575 sqrt-undiv_binary64_4873 pow-sqr_binary64_13009 distribute-lft-out_binary64_7872 associate-/l/_binary64_23554 rem-exp-log_binary64 div-exp_binary64_14792 sqr-sin-a_binary64_226 pow-sqr_binary64_21193 pow2_binary64_11412 flip3-+_binary64_21223 pow1/3_binary64_15164 +-commutative_binary64_24560 associate-*l*_binary64_19456 pow1/3_binary64_14141 difference-of-sqr-1_binary64_730 sum-log_binary64_16537 inv-pow_binary64_3573 cos-diff_binary64_23403 difference-of-squares_binary64_23917 pow-unpow_binary64_13795 div-sub_binary64_17474 atan-neg_binary64_944 pow2_binary64_6979 associate-+r-_binary64_15357 frac-2neg_binary64_6909 flip3-+_binary64_23269 associate-+l-_binary64_10584 +-commutative_binary64_21150 diff-log_binary64_10400 pow-pow_binary64_6629 pow1/3_binary64_1183 log-prod_binary64_25057 div-sub_binary64_1788 pow-unpow_binary64_5270 pow-to-exp_binary64_18902 un-div-inv_binary64_17808 pow2_binary64_3569 inv-pow_binary64_1868 distribute-rgt-out--_binary64_32 associate-+l-_binary64_18768 sqr-abs_binary64_11346 difference-of-squares_binary64_8231 unpow2_binary64_2189 pow-plus_binary64_5256 associate-+l+_binary64_6490 pow-unpow_binary64_4929 distribute-rgt-out_binary64_713 asin-acos_binary64_258 clear-num_binary64_26675 1-exp_binary64_20923 clear-num_binary64_25993 sum-log_binary64_5625 distribute-lft-out--_binary64_24582 difference-of-sqr-1_binary64_5163 rem-log-exp_binary64_3529 associate-+l+_binary64_16038 sqrt-prod_binary64_4186 cancel-sign-sub-inv_binary64_8569 difference-of-squares_binary64_26304 exp-prod_binary64_2858 sub-neg_binary64_20190 pow-unpow_binary64_10726 distribute-lft-in_binary64_23215 rem-sqrt-square_binary64_10321 associate-/r/_binary64_16392 pow-sqr_binary64_16078 rem-square-sqrt_binary64_90 sub-neg_binary64_8596 pow-plus_binary64_6279 associate-/r*_binary64_19459 rem-square-sqrt_binary64_1795 diff-log_binary64_20289 pow-prod-up_binary64_13106 distribute-lft-neg-in_binary64_7878 distribute-lft-neg-out_binary64 +-commutative_binary64_18422 log-pow_binary64_5282 rem-cube-cbrt_binary64_9990 sum-log_binary64_24721 flip-+_binary64_26991 pow-exp_binary64_6625 pow-flip_binary64_3562 rec-exp_binary64_20929 cos-diff_binary64_897 rem-exp-log_binary64_23988 sum-log_binary64_5966 rem-square-sqrt_binary64 exp-sum_binary64_2170 flip-+_binary64_21194 pow-flip_binary64_17543 neg-log_binary64_171 un-div-inv_binary64 rem-sqrt-square_binary64_26689 clear-num_binary64_7238 cbrt-undiv_binary64_14775 sqrt-pow1_binary64_10326 flip-+_binary64_22217 diff-log_binary64_6308 unpow3_binary64_18899 1-exp_binary64_18877 flip-+_binary64_23240 div-sub_binary64_22589 cbrt-undiv_binary64_6932 clear-num_binary64_6897 associate-/l/_binary64_19121 clear-num_binary64_16786 log-pow_binary64_8351 inv-pow_binary64_17554 1-exp_binary64_23310 pow2_binary64_1182 +-commutative_binary64_5805 rec-exp_binary64_5243 div-sub_binary64_17133
2×	frac-sub_binary64_10999 pow-sqr_binary64_18806 unpow1/3_binary64_2873 frac-2neg_binary64_24982 distribute-rgt-out--_binary64_13672 rem-cbrt-cube_binary64_3171 cube-mult_binary64_10679 pow-exp_binary64_10376 associate-+l-_binary64_3082 inv-pow_binary64_12780 pow-plus_binary64_14463 distribute-frac-neg_binary64_41 difference-of-squares_binary64_16415 pow-prod-up_binary64_12424 unpow3_binary64_4918 sub-neg_binary64_17803 pow-sqr_binary64_9258 rem-cbrt-cube_binary64_1466 diff-log_binary64_14151 unswap-sqr_binary64_21529 pow-plus_binary64_15145 pow-flip_binary64_14133 pow-prod-up_binary64_18903 1-exp_binary64_5919 pow-prod-up_binary64_8332 pow1/2_binary64_14139 1-exp_binary64_13080 *-commutative_binary64_25925 unpow-prod-up_binary64_10045 exp-diff_binary64_14107 tan-quot_binary64_237 pow-prod-up_binary64_15152 associate-/l/_binary64_5140 sub-neg_binary64_5527 cos-mult_binary64_1937 flip3-+_binary64_16790 pow-exp_binary64_8671 flip--_binary64_6873 pow-pow_binary64_13108 tan-sum_binary64_1918 pow-sqr_binary64_21875 distribute-rgt-out--_binary64_12990 associate-/l/_binary64_24577 exp-to-pow_binary64_1163 exp-sum_binary64_11036 pow-plus_binary64_23329 distribute-lft-neg-out_binary64_15041 sqr-abs_binary64_26009 pow-prod-up_binary64_18221 rem-exp-log_binary64_1482 rem-exp-log_binary64_11030 exp-neg_binary64_1489 pow2_binary64_11071 flip--_binary64_4486 associate-+l+_binary64_9900 sub-div_binary64 difference-of-squares_binary64_6867 cbrt-div_binary64_4884 +-commutative_binary64_20127 cbrt-div_binary64_16819 flip3-+_binary64_26338 pow-exp_binary64_7307 sqrt-pow1_binary64_14759 rec-exp_binary64_5584 pow-pow_binary64_6970 pow-prod-up_binary64_24359 clear-num_binary64_18491 sqrt-pow1_binary64_14077 associate-/l/_binary64_21167 rem-square-sqrt_binary64_2136 cancel-sign-sub-inv_binary64_24937 pow2_binary64_15163 pow2_binary64_13117 log-pow_binary64_5623 associate-+l-_binary64_20814 sub-div_binary64_18840 sub-neg_binary64_12006 div-exp_binary64_8654 distribute-lft-out_binary64_16056 cube-mult_binary64_5223 associate-*r/_binary64_22185 1-exp_binary64_18536 flip-+_binary64_16761 rem-square-sqrt_binary64_4864 flip3--_binary64_12699 +-commutative_binary64_21832 associate--l-_binary64_357 unpow-prod-up_binary64_7317 cbrt-undiv_binary64_24664 distribute-lft-out--_binary64_23900 log-pow_binary64_14148 pow-pow_binary64_8675 pow-to-exp_binary64_10377 associate--r+_binary64_4106 pow-prod-up_binary64_24700 pow-pow_binary64_3901 unpow-prod-down_binary64_15502 inv-pow_binary64_14144 distribute-rgt-in_binary64_24921 pow2_binary64_18914 pow-pow_binary64_15495 pow-to-exp_binary64_13446 clear-num_binary64_22924 unpow1/3_binary64_486 diff-log_binary64_6990 div-sub_binary64_17815 div-inv_binary64_24627 associate-+r+_binary64_9558 pow1/2_binary64_14821 pow-to-exp_binary64_6626 flip-+_binary64_23922 associate-+r+_binary64_18765 diff-log_binary64_7672 frac-times_binary64_12023 associate-*r/_binary64_19457 associate-/l/_binary64_6163 pow-plus_binary64_22306 diff-log_binary64_20630 rem-cube-cbrt_binary64_442 pow-sqr_binary64_12327 flip3-+_binary64_23951 sqrt-undiv_binary64_1463 rem-cube-cbrt_binary64_10672 pow-sqr_binary64_13350 associate-/l/_binary64_5822 associate-*l/_binary64_7182 associate-*l/_binary64_22527 clear-num_binary64_5533 associate-+l-_binary64_4787 1-exp_binary64_26038 flip3-+_binary64_23610 rem-cube-cbrt_binary64_6580 associate-/r/_binary64_6162 div-sub_binary64_6562 log-div_binary64_4939 inv-pow_binary64_7665 pow1/2_binary64_26756 *-commutative_binary64_24902 log-pow_binary64_13807 pow2_binary64_10730 rem-sqrt-square_binary64_22256 rec-exp_binary64_26044 sqr-pow_binary64_10621 rem-sqrt-square_binary64_14072 log-div_binary64_7326 1-exp_binary64_16831 pow-flip_binary64_19930 pow-flip_binary64_12769 log-div_binary64_5280 rec-exp_binary64_7971 un-div-inv_binary64_5532 associate-/r/_binary64_8549 pow-to-exp_binary64_7308 pow2_binary64_5956 sin-sum_binary64_1575 pow-plus_binary64_10712 associate-*l/_binary64_21504 frac-sub_binary64_7248 associate-+r+_binary64_21493 associate-+r-_binary64_3081 distribute-rgt-neg-out_binary64_1402 pow-plus_binary64_1164 associate-/l/_binary64_10255 pow-exp_binary64_10717 pow-prod-up_binary64_11742 distribute-rgt-out_binary64_1054 inv-pow_binary64_504 associate-*l/_binary64_21845 sqrt-pow1_binary64_26694 associate-/l/_binary64_6845 flip-+_binary64_19148 sqrt-div_binary64_10325 sub-neg_binary64_6891 sub-neg_binary64_12688 associate-+r+_binary64_15355 distribute-lft-out--_binary64_22195 rem-sqrt-square_binary64_14754 distribute-lft-out_binary64_7190 log-pow_binary64_18581 exp-lft-sqr_binary64_10022 pow-plus_binary64_18896 exp-diff_binary64_25019 neg-sub0_binary64 frac-sub_binary64_1110 cube-mult_binary64_3859 log-div_binary64_4257 pow-plus_binary64_5938 cancel-sign-sub-inv_binary64_20504 +-commutative_binary64_12966 log-div_binary64_18920 rem-cube-cbrt_binary64 un-div-inv_binary64_2463 rem-log-exp_binary64_5575 unpow1/3_binary64_8329 rec-exp_binary64_10699 pow-exp_binary64_5602 pow-to-exp_binary64_15492 sqrt-div_binary64_5551 cbrt-undiv_binary64_8637 associate-+l+_binary64_8536 unpow3_binary64_23332 pow-sqr_binary64_15055 distribute-lft-out--_binary64_16398 rec-exp_binary64_13086 associate-/l/_binary64_8550 log-div_binary64_3916 rem-cbrt-cube_binary64_2489 pow-to-exp_binary64_6285 exp-neg_binary64_807 sqr-abs_binary64_10664 difference-of-squares_binary64_10618 pow-to-exp_binary64_9013 associate-*r/_binary64_25936 cbrt-div_binary64_6589 pow-prod-up_binary64_5604 pow-prod-up_binary64_13447 rem-exp-log_binary64_1141 exp-diff_binary64_3877 associate-*r/_binary64_8204 pow-plus_binary64_12417 sub-div_binary64_1449 unpow3_binary64_10715 div-sub_binary64_20202 pow1/2_binary64_24028 frac-times_binary64_19866 difference-of-squares_binary64_5503 frac-times_binary64_17138 sqrt-div_binary64_16804 log-div_binary64_8349 diff-log_binary64_14833 pow1/3_binary64_23007 associate-+l+_binary64_23540 rem-sqrt-square_binary64_23961 tan-quot_binary64_19333 pow-plus_binary64_13099 pow-plus_binary64_8666 cosh-def_binary64_3333 div-sub_binary64_25999 inv-pow_binary64_2550 div-sub_binary64_4857 div-sub_binary64_20543 flip3--_binary64_4515 pow-sqr_binary64_10281 rem-cube-cbrt_binary64_5216 unswap-sqr_binary64_26644 unpow3_binary64_5259 associate-+r-_binary64_12288 pow-plus_binary64_11053 associate-*l/_binary64_23891 pow-to-exp_binary64_5603 diff-log_binary64_8354 associate-/l/_binary64_19462 1-exp_binary64_21264 sqr-pow_binary64_5165 sqrt-div_binary64_24988 associate-/l/_binary64_7868 pow2_binary64_22324 prod-exp_binary64_21610 sub-neg_binary64_7573 div-sub_binary64_2470 pow-plus_binary64_16509 pow-sqr_binary64_8235 log-pow_binary64_10738 associate--l-_binary64_3426 associate-/r/_binary64_24576 rem-log-exp_binary64_18533 rem-cube-cbrt_binary64_3511 flip--_binary64_23923 associate-*r/_binary64_23890 1-exp_binary64_6601 div-sub_binary64_18497 clear-num_binary64_24970 sqr-abs_binary64_5890 pow2_binary64_16527 associate-+r+_binary64_8535 associate-+l+_binary64_7172 pow-sqr_binary64_11645 frac-add_binary64_20205 neg-log_binary64_853 pow2_binary64_14481 cube-mult_binary64_4882 cube-div_binary64_5222 pow2_binary64_12435 flip-+_binary64_23581 sub-div_binary64_10997 pow-to-exp_binary64_23335 unpow3_binary64_6623 cbrt-unprod_binary64_21594 div-sub_binary64_10995 pow-prod-up_binary64_10378 neg-sub0_binary64_1437 rem-log-exp_binary64_2165 sqr-abs_binary64_6231 pow-sqr_binary64_5507 cos-2_binary64_561 distribute-rgt-out--_binary64_11285 sub-neg_binary64_20531 associate-*l/_binary64_22186 rem-exp-log_binary64_118 difference-of-squares_binary64_25622 flip3--_binary64_23952 frac-times_binary64_24981 pow-to-exp_binary64_8672 frac-2neg_binary64_5545 pow-plus_binary64_3892 associate-*l/_binary64_14343 frac-2neg_binary64_18503 log-pow_binary64_2895 pow2_binary64_8684 rec-exp_binary64_6607 unpow3_binary64_7305 pow-flip_binary64_4926 +-commutative_binary64_23878 rem-square-sqrt_binary64_5205 distribute-lft-out--_binary64_10601 rem-exp-log_binary64_4210 associate-+l-_binary64_13653 sqrt-prod_binary64_7255 associate-*r/_binary64_23208 pow2_binary64_12094 pow-pow_binary64_8334 distribute-rgt-in_binary64_21511 distribute-lft-out_binary64_16397 associate-+l-_binary64_1377 sqrt-unprod_binary64_2144 frac-2neg_binary64_22936 diff-log_binary64_5285 exp-diff_binary64_5241 associate--l-_binary64_1721 rec-exp_binary64_21270 pow-prod-up_binary64_9355 sub-div_binary64_11338 pow-exp_binary64_9012 cube-mult_binary64_6587 pow-sqr_binary64_8917 distribute-lft-neg-out_binary64_37 sub-div_binary64_22932 rem-exp-log_binary64_2505 sum-log_binary64_24039 frac-times_binary64_22935 distribute-neg-in_binary64_721 pow-sqr_binary64_18124 sub-neg_binary64_26328 distribute-lft-in_binary64_24920 pow-plus_binary64_12076 sqr-pow_binary64_10280 cbrt-div_binary64_7271 associate-*l/_binary64_23550 associate-/r/_binary64_10254 neg-log_binary64 sin-sum_binary64 associate--l+_binary64_13655 +-commutative_binary64_23537 distribute-lft-in_binary64_21510 pow-prod-up_binary64_21972 sub-neg_binary64_24964 pow-sqr_binary64_24262 distribute-frac-neg_binary64_3110 rem-square-sqrt_binary64_6228 sqr-pow_binary64_13690 div-sub_binary64_3834 frac-sub_binary64_15773 cbrt-div_binary64_1133 pow2_binary64_10048 div-exp_binary64_8313 cube-div_binary64_10678 1-exp_binary64_5578 pow-prod-up_binary64_9014 flip-+_binary64_26309 pow-exp_binary64_23334 associate-+r-_binary64_3763 tan-sum_binary64 pow-exp_binary64_5261 pow1/3_binary64_19597 associate-+l+_binary64_7854 log-div_binary64_2893 cbrt-div_binary64_9999 cube-mult_binary64_7269 1-exp_binary64_10693 inv-pow_binary64_19941 rec-exp_binary64_16837 +-commutative_binary64_9556 sqr-pow_binary64_4824 un-div-inv_binary64_9624 diff-log_binary64_18925 flip3--_binary64_6902 1-exp_binary64_7965 rem-cbrt-cube_binary64_1125 unsub-neg_binary64_15076 associate-+l+_binary64_6149 cube-div_binary64_1130 distribute-rgt-neg-out_binary64_7881 +-commutative_binary64_5464 sin-mult_binary64_233 div-exp_binary64_24681 sqr-pow_binary64_6188 rec-exp_binary64_5925 sum-cubes_binary64_6558 flip3-+_binary64_19177 cube-mult_binary64_23296 pow-exp_binary64_6284 log-pow_binary64_18922 rec-exp_binary64_18542 div-sub_binary64_18838 pow-prod-down_binary64_25042 cube-div_binary64_2153 *-commutative_binary64_21492 neg-sub0_binary64_3142 flip--_binary64_12670 pow-sqr_binary64_24603
1×	pow2_binary64_24711 un-div-inv_binary64_13716 associate--l-_binary64_4790 frac-add_binary64_4519 frac-2neg_binary64_8614 cube-div_binary64_3517 rem-log-exp_binary64_11031 pow2_binary64_21983 flip3--_binary64_19519 swap-sqr_binary64_3455 clear-num_binary64_24629 inv-pow_binary64_16531 neg-sub0_binary64_13372 cbrt-undiv_binary64_19549 div-sub_binary64_9972 un-div-inv_binary64_20195 cos-diff_binary64_1579 associate-+r-_binary64_17062 difference-of-sqr-1_binary64_6527 distribute-lft-out_binary64_19807 rem-square-sqrt_binary64_21573 neg-log_binary64_12447 neg-mul-1_binary64_1438 associate-+l-_binary64_12630 pow1/2_binary64_16867 pow2_binary64_10389 sub-div_binary64_13043 pow2_binary64_11753 sum-log_binary64_25062 rem-cube-cbrt_binary64_7262 rem-exp-log_binary64_5233 pow-exp_binary64_13786 pow-sqr_binary64_7894 +-commutative_binary64_11261 pow-flip_binary64_15838 div-exp_binary64_6267 inv-pow_binary64_9711 rem-square-sqrt_binary64_12025 cbrt-unprod_binary64_26709 diff-log_binary64_4603 inv-pow_binary64_12098 sub-div_binary64_7246 distribute-rgt-out_binary64_18786 rem-log-exp_binary64_2506 div-sub_binary64_7244 pow2_binary64_24370 sqrt-unprod_binary64_1121 rem-square-sqrt_binary64_11343 associate-+l+_binary64_26609 log-rec_binary64_848 associate-*l/_binary64_16730 pow-to-exp_binary64_10718 unpow2_binary64_1507 inv-pow_binary64_13462 rem-cube-cbrt_binary64_4875 associate-+r-_binary64_694 sqrt-unprod_binary64_10669 distribute-lft-in_binary64_19123 pow-flip_binary64_26068 un-div-inv_binary64_15080 associate--l-_binary64_22522 pow-plus_binary64_11735 neg-mul-1_binary64_7917 un-div-inv_binary64_18490 div-sub_binary64_21907 sqrt-unprod_binary64_9987 associate-+r+_binary64_20129 associate-*r/_binary64_4453 rem-square-sqrt_binary64_1113 diff-log_binary64_25745 distribute-rgt-out--_binary64_8216 rem-cube-cbrt_binary64_15105 associate-+r-_binary64_18085 sqrt-unprod_binary64_22263 distribute-lft-out_binary64_19466 unsub-neg_binary64_7915 inv-pow_binary64_18918 pow-prod-down_binary64_26747 pow-prod-up_binary64_7991 cos-acos_binary64_2290 unswap-sqr_binary64_26985 distribute-rgt-in_binary64_7530 sum-log_binary64_19265 frac-add_binary64_12703 div-sub_binary64_14064 associate-/l*_binary64_8548 swap-sqr_binary64_3796 clear-num_binary64_8602 distribute-lft-out_binary64_21171 distribute-lft-in_binary64_7529 un-div-inv_binary64_13375 associate--r+_binary64_7175 rem-square-sqrt_binary64_16458 associate-*l/_binary64_20481 pow2_binary64_5615 div-sub_binary64_23612 sqrt-unprod_binary64_5895 sum-log_binary64_8012 pow-plus_binary64_9007 pow2_binary64_16186 distribute-rgt-out_binary64_17081 unsub-neg_binary64_12348 remove-double-div_binary64_11307 pow1/3_binary64_7321 distribute-lft-neg-in_binary64_17085 associate-+l+_binary64_2739 inv-pow_binary64_8006 rem-sqrt-square_binary64_24984 diff-log_binary64_16879 flip3-+_binary64_8265 rec-exp_binary64_4561 frac-sub_binary64_2815 frac-2neg_binary64_24641 inv-pow_binary64_15849 +-commutative_binary64_19104 pow-to-exp_binary64_13787 pow2_binary64_13458 clear-num_binary64_6215 associate-+l-_binary64_11607 pow-flip_binary64_5949 div-exp_binary64_19566 pow-to-exp_binary64_5262 inv-pow_binary64_18236 distribute-lft1-in_binary64 log-div_binary64_2211 associate-*l/_binary64_5477 flip--_binary64_5509 div-inv_binary64_8600 exp-to-pow_binary64_2527 pow-flip_binary64_22658 rem-cbrt-cube_binary64_4876 sub-neg_binary64_4504 pow-plus_binary64_21965 rem-cbrt-cube_binary64_15106 frac-2neg_binary64_19526 flip-+_binary64_25627 unpow1/3_binary64_1850 inv-pow_binary64_13121 inv-pow_binary64_6642 rem-sqrt-square_binary64_5547 div-sub_binary64_21225 neg-log_binary64_12106 log-pow_binary64_11420 diff-log_binary64_19607 exp-neg_binary64_125 asin-acos_binary64_2304 distribute-rgt-out_binary64_3782 sqr-abs_binary64_434 distribute-frac-neg_binary64_4815 count-2_binary64 inv-pow_binary64_17895 exp-to-pow_binary64_3550 pow1/3_binary64_10049 e-exp-1_binary64_2169 pow-plus_binary64_18214 associate--l-_binary64_13656 +-commutative_binary64_7851 rem-square-sqrt_binary64_26006 pow2_binary64_20278 frac-2neg_binary64_6227 flip3-+_binary64_25656 div-sub_binary64_19520 distribute-rgt-out_binary64_19127 sqr-abs_binary64_16120 sqrt-pow2_binary64_9986 neg-sub0_binary64_15418 neg-log_binary64_9378 sqr-pow_binary64_13008 distribute-lft-out--_binary64_6850 rem-cbrt-cube_binary64_102 pow-exp_binary64_4920 neg-log_binary64_15516 sqrt-pow2_binary64_3507 difference-of-sqr-1_binary64_8232 unsub-neg_binary64_9279 1-exp_binary64_19218 sqrt-unprod_binary64_780 sub-neg_binary64_19508 +-commutative_binary64_25583 associate-/l/_binary64_23213 frac-times_binary64_16797 sum-log_binary64_16878 pow-plus_binary64_26057 associate-+l+_binary64_3421 neg-sub0_binary64_5529 neg-sub0_binary64_4847 cancel-sign-sub-inv_binary64_22209 un-div-inv_binary64_19854 associate-+r-_binary64_9219 distribute-rgt-neg-in_binary64_377 distribute-rgt-in_binary64_20147 rem-cbrt-cube_binary64_6581 associate--l+_binary64_7176 rem-cbrt-cube_binary64 distribute-lft-out_binary64_23558 neg-sub0_binary64_12349 sqrt-undiv_binary64_26697 distribute-lft-out--_binary64_8214 inv-pow_binary64_10393 associate-+r-_binary64_5468 cosh-def_binary64_946 frac-add_binary64_16113 diff-log_binary64_25404 pow-plus_binary64_24693 associate-+r-_binary64_20472 unpow3_binary64_2872 rem-cbrt-cube_binary64_8968 pow2_binary64_9366 inv-pow_binary64_19259 cube-mult_binary64_2836 tanh-def-a_binary64_947 clear-num_binary64_19514 sqrt-pow1_binary64_24989 pow-flip_binary64_17884 log-div_binary64_1870 *-commutative_binary64_26607 rem-cbrt-cube_binary64_7263 rem-exp-log_binary64_25011 pow-plus_binary64_9348 rem-cbrt-cube_binary64_9991 pow2_binary64_26075 rem-cbrt-cube_binary64_4194 rem-cbrt-cube_binary64_10673 tanh-def-c_binary64_949 pow-to-exp_binary64_13105 cancel-sign-sub-inv_binary64_4477 diff-log_binary64_8695 *-commutative_binary64_19446 frac-sub_binary64_2474 diff-cos_binary64_570 associate-+l-_binary64_19450 associate-+l+_binary64_18084 pow-prod-up_binary64_20267 distribute-lft-out_binary64_22194 sqrt-unprod_binary64_3167 un-div-inv_binary64_16103 distribute-lft-in_binary64_20487 associate-+l-_binary64_354 sqrt-unprod_binary64_16125 associate-/l/_binary64_4458 exp-neg_binary64_6945 inv-pow_binary64_10734 pow-plus_binary64_13440 1-exp_binary64_15808 sqrt-pow1_binary64_5552 flip-+_binary64_8236 exp-diff_binary64_6946 distribute-rgt-in_binary64_19124 pow-pow_binary64_2878 pow-flip_binary64_12087 pow-flip_binary64_20953 pow1/2_binary64_5614 neg-log_binary64_512 pow2_binary64_23347 1-exp_binary64_23651 distribute-rgt1-in_binary64_3785 pow-flip_binary64_23340 distribute-lft-out--_binary64_25605 pow1/2_binary64_10388 sub-neg_binary64_14052 distribute-rgt-out_binary64_12307 pow1/3_binary64_10731 distribute-rgt-out_binary64_2077 rem-cbrt-cube_binary64_5217 pow-pow_binary64_10721 associate-+r-_binary64_10924 rem-square-sqrt_binary64_5887 rem-log-exp_binary64_4211 rem-exp-log_binary64_3869 distribute-lft1-in_binary64_715 pow-flip_binary64_10723 sqrt-unprod_binary64_8623 pow-flip_binary64_9018 sum-log_binary64_26426 pow-to-exp_binary64_4921 sqrt-unprod_binary64_2826 rem-log-exp_binary64_6598 sub-neg_binary64_22236 frac-add_binary64_5542 associate-*l/_binary64_24914 associate-+l-_binary64_2400 un-div-inv_binary64_25992 associate-/l/_binary64_16734 cbrt-prod_binary64_16818 distribute-rgt-out_binary64_5828 diff-sin_binary64_1592 div-sub_binary64_19861 pow-pow_binary64_4924 frac-times_binary64_5544 inv-pow_binary64_5960 exp-to-pow_binary64_140 distribute-rgt-out_binary64_15376 div-sub_binary64_11336 neg-log_binary64_17221 rem-square-sqrt_binary64_16117 distribute-lft-out_binary64_19125 diff-atan_binary64_2622 unsub-neg_binary64_413 log-div_binary64_18579 inv-pow_binary64_26079 unpow3_binary64_15830 frac-sub_binary64_12363 rem-square-sqrt_binary64_3159 mul0-rgt_binary64 frac-add_binary64_21910 inv-pow_binary64_22669 cube-mult_binary64_15794 div-sub_binary64_22930 difference-of-sqr-1_binary64_14029 inv-pow_binary64_20964 prod-exp_binary64_26725 distribute-lft-neg-out_binary64_3106 distribute-rgt-out--_binary64_12308 associate-+r+_binary64_26608 rem-square-sqrt_binary64_9979 inv-pow_binary64_21987 pow-plus_binary64_8325 pow-pow_binary64_7311 sum-log_binary64_25744 distribute-lft1-in_binary64_19129 associate-+r-_binary64_15016 rec-exp_binary64_19224 rem-cbrt-cube_binary64_2148 sqrt-unprod_binary64_12033 exp-sum_binary64 sqrt-undiv_binary64_2486 exp-prod_binary64_3540 sum-log_binary64_8353 div-sub_binary64_8949 flip--_binary64_19490 e-exp-1_binary64_805 neg-log_binary64_5627 pow-flip_binary64_18225 inv-pow_binary64_4596 distribute-lft-in_binary64_20146 unsub-neg_binary64_754 count-2_binary64_6505 prod-exp_binary64_19564 distribute-rgt-out--_binary64_7193 acos-asin_binary64_23788 associate--l-_binary64_1039 exp-diff_binary64_4900 pow-flip_binary64_19248 diff-log_binary64_24381 +-commutative_binary64_24901 div-sub_binary64_24294 pow-plus_binary64_10371 associate-+l-_binary64_1036 pow-flip_binary64_6631 inv-pow_binary64_4937 unsub-neg_binary64_1436 div-inv_binary64_6213 exp-diff_binary64_13425 distribute-lft-out--_binary64_5486 unsub-neg_binary64_5528 pow-flip_binary64_16520 unsub-neg_binary64_15417 cbrt-unprod_binary64_19548 pow-pow_binary64_15154 distribute-lft-out--_binary64_7873 associate--l+_binary64_13996 distribute-lft-out--_binary64_8555 distribute-rgt1-in_binary64_716 pow2_binary64_9025 associate-+l-_binary64_6492 sqrt-pow2_binary64_779 sqrt-unprod_binary64_26014 pow-prod-down_binary64_19586 rem-square-sqrt_binary64_8615 distribute-lft-neg-in_binary64_376 unswap-sqr_binary64_19483 pow-flip_binary64_4585 distribute-rgt1-in_binary64_5831 +-commutative_binary64_8192 pow-plus_binary64_24352 rem-log-exp_binary64_25012 associate--r+_binary64_4788 associate-+l-_binary64_21837 flip3--_binary64_5538 sum-cubes_binary64_2466 pow-pow_binary64_1173 sub-div_binary64_12361 sqr-abs_binary64_1457 un-div-inv_binary64_14057 distribute-rgt-in_binary64_20488 associate--r-_binary64_13657 +-commutative_binary64_26265 associate-+l+_binary64_21494 distribute-lft1-in_binary64_1056 inv-pow_binary64_9029 pow2_binary64_8002 pow-flip_binary64_10382 associate--r-_binary64_4109 pow-flip_binary64_18907 distribute-rgt1-in_binary64 rem-log-exp_binary64_2847 pow2_binary64_3910 unsub-neg_binary64_17122 tanh-def-b_binary64_948 pow2_binary64_21642 rem-exp-log_binary64_2846 swap-sqr_binary64_23233 associate--r+_binary64_3083 div-inv_binary64_19512 rem-log-exp_binary64_18874 pow-exp_binary64_13104 sqr-abs_binary64_8618 cos-PI/2_binary64_2235 associate-+r-_binary64_12970 pow-flip_binary64_9700 pow-pow_binary64_13790 difference-of-squares_binary64_7890 pow-pow_binary64_5265 pow-pow_binary64_13449 exp-diff_binary64 tanh-undef_binary64_955 sin-diff_binary64_2260 unpow3_binary64_9010 div-sub_binary64_19179 pow2_binary64_18232 associate--l+_binary64_12632 rec-exp_binary64_15814 1-exp_binary64_27061 exp-neg_binary64_13424 rem-square-sqrt_binary64_2818 sqrt-unprod_binary64_11351 neg-sub0_binary64_9280 un-div-inv_binary64_20877 pow-plus_binary64_7984 +-commutative_binary64_16717 cbrt-undiv_binary64_6250 un-div-inv_binary64_4850 pow1/2_binary64_25051 pow1/3_binary64_16869 cube-mult_binary64_8974 diff-log_binary64_22335 distribute-rgt-out_binary64_6510 1-exp_binary64_12398 frac-times_binary64_20548 exp-sum_binary64_1829 sqrt-unprod_binary64_21581 distribute-lft-neg-in_binary64_15380 pow-plus_binary64_20260 rec-exp_binary64_23657 associate--r-_binary64_11611 rem-square-sqrt_binary64_10661 pow-plus_binary64_21624 div-sub_binary64_7585 sqrt-pow1_binary64_16805 rem-sqrt-square_binary64_16800 sqr-abs_binary64_3162 unpow1/3_binary64_6624 pow-exp_binary64_15150 1-exp_binary64_4555 inv-pow_binary64_23351 cbrt-div_binary64_10681 pow-to-exp_binary64_15151 pow-flip_binary64_13451 pow-sqr_binary64_20170 pow-flip_binary64_21976 pow2_binary64_8343 pow-plus_binary64_5597 neg-sub0_binary64_6893 distribute-rgt-out--_binary64_2760 log-div_binary64_25058 pow-plus_binary64_16168 pow3_binary64_2548 neg-sub0_binary64_17123 associate-+l+_binary64_13992 sqrt-unprod_binary64_16466 distribute-lft-neg-in_binary64_12311 div-sub_binary64_14746

Counts

4748 → 146902

Calls

3214 calls:

3.3s	(*.f64 (/.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 (hypot.f64 1 x))) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))) (neg.f64 (/.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 (hypot.f64 1 x))) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))))))
745.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) c_n) (pow.f64 (+.f64 1 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) c_n)) (/.f64 (pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) c_n) (pow.f64 (-.f64 1 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) c_n)))
288.0ms	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))
273.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
223.0ms	(*.f64 (*.f64 y z) (*.f64 (*.f64 (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

Compiler

Compiled 5436943 to 2676355 computations (50.8% saved)