rewrite1.5min (2.5%)

Algorithm

1537×

rewrite-expression-head

Rules

11439×	times-frac_binary64_1789
10042×	*-un-lft-identity_binary64_1783
6717×	add-sqr-sqrt_binary64_1805
6700×	times-frac_binary64_19521
5656×	times-frac_binary64_84
5075×	add-cube-cbrt_binary64_1818
4727×	*-un-lft-identity_binary64_78
4514×	add-sqr-sqrt_binary64_100
4493×	times-frac_binary64_766
4109×	*-un-lft-identity_binary64_19515
3989×	add-sqr-sqrt_binary64_19537
3931×	*-un-lft-identity_binary64
3875×	add-sqr-sqrt_binary64
3840×	*-un-lft-identity_binary64_760
3817×	*-un-lft-identity_binary64_419
3743×	times-frac_binary64
3509×	sqrt-prod_binary64_1799
3403×	add-sqr-sqrt_binary64_782
3242×	times-frac_binary64_1107
3130×	add-sqr-sqrt_binary64_441
3129×	add-exp-log_binary64_1480
3002×	add-cube-cbrt_binary64_113
2876×	add-sqr-sqrt_binary64_1464
2835×	times-frac_binary64_425
2782×	*-un-lft-identity_binary64_1442
2750×	times-frac_binary64_1448
2695×	add-exp-log_binary64
2540×	add-cube-cbrt_binary64_19550
2489×	add-cube-cbrt_binary64_795
2317×	add-sqr-sqrt_binary64_1123
2264×	add-cube-cbrt_binary64
2191×	associate-*r*_binary64_1723
2176×	add-exp-log_binary64_116
2167×	times-frac_binary64_2812
2164×	*-un-lft-identity_binary64_1101
2033×	times-frac_binary64_11337
2002×	distribute-lft-out_binary64_1734
1988×	add-sqr-sqrt_binary64_2146
1917×	times-frac_binary64_2130
1915×	add-cube-cbrt_binary64_1136
1882×	add-cbrt-cube_binary64_1478
1839×	times-frac_binary64_18157
1819×	add-exp-log_binary64_1139
1803×	add-cube-cbrt_binary64_454
1777×	times-frac_binary64_15770
1738×	*-un-lft-identity_binary64_2806
1722×	add-sqr-sqrt_binary64_2828
1689×	add-cube-cbrt_binary64_1477
1678×	*-un-lft-identity_binary64_2124
1650×	associate-*r/_binary64_8886
1612×	add-exp-log_binary64_457
1590×	associate-*r/_binary64_11614
1580×	add-cbrt-cube_binary64_114
1565×	add-cbrt-cube_binary64
1536×	add-sqr-sqrt_binary64_2487
1520×	*-un-lft-identity_binary64_18151
1517×	prod-exp_binary64_1491
1505×	add-sqr-sqrt_binary64_15786
1496×	prod-exp_binary64
1432×	*-un-lft-identity_binary64_15764
1405×	*-un-lft-identity_binary64_2465
1384×	add-exp-log_binary64_798
1377×	times-frac_binary64_6563
1368×	add-cube-cbrt_binary64_2841
1341×	times-frac_binary64_2471 sqrt-prod_binary64_435
1321×	times-frac_binary64_12360
1304×	*-un-lft-identity_binary64_13036
1299×	*-un-lft-identity_binary64_11331
1287×	times-frac_binary64_17816
1273×	add-exp-log_binary64_6254
1263×	add-sqr-sqrt_binary64_17832
1261×	add-cube-cbrt_binary64_2159
1163×	add-cbrt-cube_binary64_1137
1159×	*-un-lft-identity_binary64_17810
1121×	add-sqr-sqrt_binary64_12376
1098×	add-sqr-sqrt_binary64_11353
1091×	frac-times_binary64_8954
1087×	*-un-lft-identity_binary64_15423
1081×	add-exp-log_binary64_1821
1080×	*-un-lft-identity_binary64_12354
1053×	add-sqr-sqrt_binary64_6579
1045×	sqrt-prod_binary64_13052
1035×	pow1_binary64 add-cube-cbrt_binary64_11366
1031×	add-cube-cbrt_binary64_2500
1026×	add-sqr-sqrt_binary64_18173
1012×	tanh-def-a_binary64_9131 tanh-def-c_binary64_9133 tanh-def-b_binary64_9132
1007×	add-sqr-sqrt_binary64_10671
1000×	times-frac_binary64_5881
997×	prod-exp_binary64_127 sqrt-prod_binary64_1117
995×	*-un-lft-identity_binary64_6557
994×	associate-*r*_binary64_18
984×	add-cbrt-cube_binary64_1819
981×	add-cbrt-cube_binary64_455
965×	times-frac_binary64_8950
963×	frac-sub_binary64_8953 cancel-sign-sub-inv_binary64_44
962×	times-frac_binary64_16111
961×	add-sqr-sqrt_binary64_15445
934×	*-un-lft-identity_binary64_5875
929×	times-frac_binary64_14406
926×	*-un-lft-identity_binary64_10649
916×	cbrt-prod_binary64_109
914×	times-frac_binary64_13042
913×	cancel-sign-sub-inv_binary64_726
912×	cbrt-prod_binary64_450
880×	div-exp_binary64_1493
873×	sqrt-prod_binary64_2140
872×	pow1_binary64_139
870×	difference-of-squares_binary64
854×	times-frac_binary64_10655
850×	frac-sub_binary64_11681 pow1_binary64_480
842×	sqrt-prod_binary64_1458
841×	difference-of-squares_binary64_19484
837×	add-sqr-sqrt_binary64_16127
830×	add-cbrt-cube_binary64_796
828×	add-cube-cbrt_binary64_15799
827×	add-sqr-sqrt_binary64_14422
820×	times-frac_binary64_15429
819×	*-un-lft-identity_binary64_3147
818×	add-sqr-sqrt_binary64_15104
814×	prod-exp_binary64_1150
809×	add-sqr-sqrt_binary64_3169
805×	add-exp-log_binary64_2503
802×	add-sqr-sqrt_binary64_17491
798×	*-un-lft-identity_binary64_13377 *-un-lft-identity_binary64_21561
797×	cbrt-unprod_binary64_1475
796×	add-cube-cbrt_binary64_18186
795×	times-frac_binary64_21567
791×	associate-*r*_binary64_1382 times-frac_binary64_10996
787×	*-un-lft-identity_binary64_16105
783×	*-un-lft-identity_binary64_17469
779×	add-sqr-sqrt_binary64_11694 flip--_binary64_11647 flip3--_binary64_11676 add-exp-log_binary64_2162
769×	add-sqr-sqrt_binary64_21583
761×	times-frac_binary64_17475
757×	*-un-lft-identity_binary64_15082
746×	pow1_binary64_821
744×	cbrt-unprod_binary64
740×	*-un-lft-identity_binary64_14400
733×	times-frac_binary64_10314
730×	distribute-lft-out_binary64_29
729×	cbrt-unprod_binary64_111
724×	times-frac_binary64_15088
722×	flip--_binary64_4486 flip3--_binary64_4515
719×	prod-exp_binary64_468
718×	difference-of-squares_binary64_388
714×	prod-exp_binary64_6265
712×	add-sqr-sqrt_binary64_3510
704×	difference-of-squares_binary64_1752
699×	add-sqr-sqrt_binary64_10330 add-sqr-sqrt_binary64_16809
698×	add-sqr-sqrt_binary64_9648
696×	pow-exp_binary64_6284
693×	*-un-lft-identity_binary64_11672
692×	sqrt-div_binary64_2482 frac-times_binary64_4521
687×	*-un-lft-identity_binary64_8944
684×	add-sqr-sqrt_binary64_5897
679×	*-un-lft-identity_binary64_16787 add-cbrt-cube_binary64_2160
677×	add-sqr-sqrt_binary64_13058
673×	add-cube-cbrt_binary64_12389
671×	times-frac_binary64_13383
658×	add-cube-cbrt_binary64_17845
654×	times-frac_binary64_12701
634×	sqrt-prod_binary64
631×	sqrt-prod_binary64_94 add-cbrt-cube_binary64_2501
628×	associate-*r*_binary64
627×	times-frac_binary64_3494
620×	*-un-lft-identity_binary64_3488
619×	times-frac_binary64_9632
611×	*-un-lft-identity_binary64_10308
607×	*-un-lft-identity_binary64_9626
603×	add-sqr-sqrt_binary64_8966 times-frac_binary64_9291
601×	add-sqr-sqrt_binary64_11012
596×	times-frac_binary64_11678
593×	div-exp_binary64_6267
590×	frac-times_binary64_11682 cbrt-prod_binary64_791
588×	add-cube-cbrt_binary64_5910
585×	distribute-lft-out--_binary64_19467 add-cube-cbrt_binary64_6592
580×	associate-*l*_binary64
577×	add-cube-cbrt_binary64_3523
573×	distribute-lft-out_binary64_711
572×	add-sqr-sqrt_binary64_9307
570×	pow1_binary64_2185
566×	add-sqr-sqrt_binary64_12717
565×	*-un-lft-identity_binary64_3829
563×	associate-*r*_binary64_700
560×	*-un-lft-identity_binary64_10990
558×	associate-*l/_binary64_4454
556×	add-cube-cbrt_binary64_14435
546×	*-un-lft-identity_binary64_12695
542×	associate-/r/_binary64_1729 add-cube-cbrt_binary64_8979
539×	add-cube-cbrt_binary64_13071
535×	add-cube-cbrt_binary64_10684
533×	add-sqr-sqrt_binary64_13399
526×	add-cube-cbrt_binary64_11025
525×	distribute-lft-out--_binary64_1735
524×	distribute-lft-out--_binary64_371 cbrt-prod_binary64
511×	sqrt-prod_binary64_776
504×	add-cube-cbrt_binary64_16140 associate-/l*_binary64_1728
502×	times-frac_binary64_16793 pow1_binary64_1503
498×	cancel-sign-sub-inv_binary64_10615
495×	pow1_binary64_1844
492×	distribute-lft-out_binary64
491×	pow1_binary64_2526
488×	add-cube-cbrt_binary64_15458 cbrt-undiv_binary64_1476
483×	associate-*r*_binary64_2064
480×	sqrt-div_binary64_4528
477×	difference-of-squares_binary64_47
474×	pow1_binary64_1162 distribute-lft-out_binary64_370
472×	frac-add_binary64_4519
466×	add-cube-cbrt_binary64_9661
465×	prod-exp_binary64_809
463×	add-cube-cbrt_binary64_10343
461×	add-sqr-sqrt_binary64_3851
460×	sqrt-prod_binary64_2481
458×	cbrt-unprod_binary64_1134 div-inv_binary64_757
457×	add-cube-cbrt_binary64_3182
456×	add-cube-cbrt_binary64_17504
453×	add-exp-log_binary64_2844
451×	*-un-lft-identity_binary64_8603
445×	sqrt-prod_binary64_2822
444×	associate-*l*_binary64_19
438×	add-cube-cbrt_binary64_13412 div-inv_binary64_75
436×	add-cube-cbrt_binary64_12730
435×	add-log-exp_binary64_2163
432×	div-exp_binary64_129
430×	sqrt-prod_binary64_16121
425×	associate-*r*_binary64_359
424×	unpow-prod-down_binary64 add-cube-cbrt_binary64_21596
421×	associate-*l/_binary64_8887
419×	add-cube-cbrt_binary64_15117
417×	times-frac_binary64_3153 distribute-lft-out_binary64_12987
415×	pow-prod-down_binary64 add-cube-cbrt_binary64_11707
414×	difference-of-squares_binary64_1411
412×	add-log-exp_binary64_799
411×	unpow-prod-down_binary64_498
406×	flip3-+_binary64_1786 flip-+_binary64_1757
404×	div-exp_binary64_1152
403×	div-exp_binary64_811
397×	add-log-exp_binary64 associate-*r*_binary64_1041 add-log-exp_binary64_117
394×	associate-/r*_binary64 div-exp_binary64
392×	add-cbrt-cube_binary64_2842
391×	unpow-prod-down_binary64_157
389×	*-un-lft-identity_binary64_14059 associate-*l*_binary64_360 associate-/r*_binary64_19459
386×	associate-*l*_binary64_1383
384×	add-sqr-sqrt_binary64_18855
381×	sqrt-prod_binary64_5891
379×	add-sqr-sqrt_binary64_8625 flip3-+_binary64_2468 flip-+_binary64_2439
378×	*-un-lft-identity_binary64_14741
376×	difference-of-squares_binary64_729
374×	add-sqr-sqrt_binary64_5556 *-un-lft-identity_binary64_9285
372×	add-exp-log_binary64_8982
371×	associate-/r*_binary64_1727 cbrt-div_binary64_2497
365×	cbrt-div_binary64_18183
364×	sqrt-div_binary64_11689
361×	div-inv_binary64_1780
360×	add-exp-log_binary64_15802 associate-*l*_binary64_2065
359×	associate-*r/_binary64_2407
357×	associate-*l*_binary64_701
354×	prod-exp_binary64_2514 sqr-pow_binary64
353×	add-sqr-sqrt_binary64_14081 cancel-sign-sub-inv_binary64_17776
350×	*-un-lft-identity_binary64_22584
349×	add-log-exp_binary64_458
348×	pow-to-exp_binary64_6285
347×	frac-times_binary64_2475
344×	add-log-exp_binary64_1822
338×	add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_4170 cbrt-unprod_binary64_452
332×	times-frac_binary64_24636
330×	add-sqr-sqrt_binary64_24652
327×	pow1_binary64_2867
326×	*-un-lft-identity_binary64_16446
324×	sqrt-prod_binary64_3504
322×	*-un-lft-identity_binary64_5534
321×	*-un-lft-identity_binary64_24630 add-exp-log_binary64_11710
320×	distribute-lft-out_binary64_1393
315×	times-frac_binary64_8609 cbrt-prod_binary64_18182 associate-*l*_binary64_1724
314×	unpow-prod-down_binary64_1862
310×	add-exp-log_binary64_21599
309×	add-cube-cbrt_binary64_16822
308×	associate-/r*_binary64_1045
306×	associate-*l/_binary64_21
304×	add-log-exp_binary64_2504 associate-*l/_binary64_2408 associate-*r*_binary64_14340
303×	add-cube-cbrt_binary64_8638
302×	add-exp-log_binary64_3185
301×	add-exp-log_binary64_3526 log-prod_binary64 associate-/r*_binary64_704
300×	add-log-exp_binary64_1481 add-sqr-sqrt_binary64_14763
298×	div-exp_binary64_470
295×	add-sqr-sqrt_binary64_19878 pow1_binary64_5595
294×	frac-times_binary64_88
293×	times-frac_binary64_18839 div-exp_binary64_1834
292×	add-cbrt-cube_binary64_21597
291×	add-cube-cbrt_binary64_9320
290×	associate-*r*_binary64_15704
288×	associate-*r/_binary64_4453 times-frac_binary64_22590
287×	*-un-lft-identity_binary64_23948
286×	pow1_binary64_3549 add-sqr-sqrt_binary64_9989 distribute-lft-out--_binary64_15716
284×	add-sqr-sqrt_binary64_16468
283×	associate-/r/_binary64_18097 difference-of-squares_binary64_15733
282×	cbrt-undiv_binary64_112
281×	cbrt-prod_binary64_3178
278×	add-exp-log_binary64_13415
276×	add-exp-log_binary64_11369 unpow-prod-down_binary64_1180 prod-exp_binary64_1832 associate-*r*_binary64_2405
275×	associate-/r/_binary64_24 pow-prod-down_binary64_149
274×	*-un-lft-identity_binary64_18833 pow1_binary64_3208
273×	times-frac_binary64_20544
272×	times-frac_binary64_19862
267×	difference-of-squares_binary64_17779 *-un-lft-identity_binary64_23607
266×	times-frac_binary64_18498
265×	associate-/r*_binary64_2750 *-un-lft-identity_binary64_21220
264×	distribute-lft-out--_binary64
262×	add-cbrt-cube_binary64_3183
260×	add-exp-log_binary64_21940 distribute-lft-out--_binary64_1394 unpow-prod-down_binary64_10387
258×	difference-of-squares_binary64_6526 associate-*r*_binary64_11612
256×	cbrt-undiv_binary64_1817 add-exp-log_binary64_15120 add-exp-log_binary64_11028 cbrt-unprod_binary64_1816 add-sqr-sqrt_binary64_6238
255×	add-sqr-sqrt_binary64_5215 *-un-lft-identity_binary64_19856
254×	times-frac_binary64_16452 add-sqr-sqrt_binary64_22606 sqrt-prod_binary64_15439
253×	associate-*r*_binary64_13317
252×	times-frac_binary64_3835 associate-/r/_binary64_1388 add-exp-log_binary64_10687 times-frac_binary64_13724
251×	associate-*r/_binary64_20
250×	add-log-exp_binary64_2845
247×	distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 cbrt-prod_binary64_16818
246×	add-cbrt-cube_binary64_3524
245×	flip3--_binary64_423 flip--_binary64_394
244×	cancel-sign-sub-inv_binary64_12320 add-exp-log_binary64_21258
243×	cbrt-prod_binary64_11362
242×	distribute-lft-neg-in_binary64_5832 times-frac_binary64_21226 distribute-rgt-neg-in_binary64_5833
240×	add-exp-log_binary64_12733 cancel-sign-sub-inv_binary64_16071
238×	frac-times_binary64_770
236×	add-cbrt-cube_binary64_15800 associate-/r*_binary64_1386 add-sqr-sqrt_binary64_18514
235×	associate-/l/_binary64_8891 add-log-exp_binary64_1140 flip-+_binary64_1416 flip3-+_binary64_1445 sqrt-prod_binary64_14416 add-exp-log_binary64_16825 add-sqr-sqrt_binary64_21242
234×	unpow-prod-down_binary64_839
233×	add-cbrt-cube_binary64_11367 add-sqr-sqrt_binary64_20560
232×	associate-*l*_binary64_2406 add-cbrt-cube_binary64_13413 distribute-lft-out--_binary64_17762
231×	associate-*r/_binary64_1725
230×	sqrt-div_binary64_777 add-exp-log_binary64_19553
229×	prod-exp_binary64_2173
227×	cbrt-unprod_binary64_793 distribute-lft-out--_binary64_30
226×	cbrt-unprod_binary64_2498 add-exp-log_binary64_9664 pow1_binary64_21963
225×	*-un-lft-identity_binary64_6216
223×	add-cube-cbrt_binary64_18527 cbrt-undiv_binary64_1135 add-cube-cbrt_binary64_14094 *-un-lft-identity_binary64_18492
222×	add-cbrt-cube_binary64_14436 add-exp-log_binary64_14438
219×	cbrt-undiv_binary64 add-cube-cbrt_binary64_3864 associate-/r*_binary64_22
218×	add-cbrt-cube_binary64_21256 *-un-lft-identity_binary64_9967
217×	difference-of-squares_binary64_10618 associate-*r*_binary64_15022 add-cbrt-cube_binary64_11708
216×	add-cbrt-cube_binary64_11026 times-frac_binary64_14065
214×	add-cube-cbrt_binary64_16481
213×	associate-/l*_binary64_23 add-exp-log_binary64_10346
212×	distribute-lft-out_binary64_18102 associate-/l*_binary64_1046 add-exp-log_binary64_20917 add-cube-cbrt_binary64_4205
211×	difference-of-squares_binary64_12323
210×	associate-/r*_binary64_363 difference-of-squares_binary64_15392
209×	cbrt-prod_binary64_18864 add-cube-cbrt_binary64_21255 add-sqr-sqrt_binary64_23970
208×	cancel-sign-sub-inv_binary64_2772 add-cbrt-cube_binary64_21938 associate-/l*_binary64_1387 add-cbrt-cube_binary64_8980
207×	add-cbrt-cube_binary64_9662 add-cube-cbrt_binary64_5569
206×	associate-*l*_binary64_1042
205×	cbrt-prod_binary64_3519 cbrt-prod_binary64_3860
204×	add-log-exp_binary64_3186 frac-sub_binary64_2474
203×	associate-*r*_binary64_3087 add-cube-cbrt_binary64_10002
202×	*-un-lft-identity_binary64_13718
201×	flip-+_binary64_52 flip-+_binary64_11646 flip3-+_binary64_11675 *-un-lft-identity_binary64_20538 flip3-+_binary64_81
200×	distribute-lft-out--_binary64_15375 distribute-lft-out--_binary64_6509 add-exp-log_binary64_18189 associate-*l/_binary64_11615
199×	distribute-lft-out_binary64_13328 associate-/l*_binary64_364
198×	log-pow_binary64_508 add-exp-log_binary64_15461 distribute-lft-out--_binary64_18103 add-cube-cbrt_binary64_20573 *-un-lft-identity_binary64_12013
197×	add-cbrt-cube_binary64_15118 associate-/l/_binary64_2412 cbrt-unprod_binary64_2157
195×	times-frac_binary64_23613 associate-*r*_binary64_2746 add-cube-cbrt_binary64_19891
194×	sqrt-prod_binary64_10324 sqrt-prod_binary64_8960
193×	cbrt-prod_binary64_1814 log-pow_binary64_849 cbrt-prod_binary64_11703 add-exp-log_binary64_12392
192×	*-un-lft-identity_binary64_5193 times-frac_binary64_24977
190×	frac-times_binary64_1452 cbrt-div_binary64_451 div-inv_binary64_1439
189×	pow-prod-down_binary64_490 add-exp-log_binary64_17507
188×	cbrt-undiv_binary64_794 flip-+_binary64_18125 flip3-+_binary64_18154 cancel-sign-sub-inv_binary64_1749
187×	distribute-lft-out_binary64_2075 sqrt-div_binary64_1118
186×	add-sqr-sqrt_binary64_22265 add-cube-cbrt_binary64_18868
185×	associate-/r*_binary64_11275 distribute-lft-out_binary64_5826 cancel-sign-sub-inv_binary64_9592
184×	distribute-neg-frac_binary64_2429 add-cbrt-cube_binary64_12731
183×	swap-sqr_binary64_386 add-exp-log_binary64_17848 pow1_binary64_15143
181×	cbrt-prod_binary64_1473
180×	add-exp-log_binary64_9323 associate-*r*_binary64_18773
179×	associate-*l/_binary64_362 flip3-+_binary64_763 add-cbrt-cube_binary64_17505 flip-+_binary64_734 add-exp-log_binary64_18871 cancel-sign-sub-inv_binary64_11297 times-frac_binary64_23954
178×	cancel-sign-sub-inv_binary64_1408 div-inv_binary64_19512 associate-/r*_binary64_2409 associate-/l*_binary64 pow1_binary64_20940
177×	add-sqr-sqrt_binary64_23629 associate-/l*_binary64_705 add-sqr-sqrt_binary64_20901 unpow-prod-down_binary64_1521
176×	associate-*r*_binary64_16727 flip-+_binary64_2780 associate-*r/_binary64_702 flip3-+_binary64_2809
175×	associate-*r/_binary64_361 cancel-sign-sub-inv_binary64_4136 associate-*r/_binary64_2066
173×	add-sqr-sqrt_binary64_12035
172×	times-frac_binary64_5540 sqrt-div_binary64_5892 associate-*r*_binary64_9566 associate-/l/_binary64_11619 add-cbrt-cube_binary64_19551
171×	add-exp-log_binary64_16484 difference-of-squares_binary64_2434
170×	cancel-sign-sub-inv_binary64 unswap-sqr_binary64 add-sqr-sqrt_binary64_7261
169×	frac-sub_binary64_428 add-cube-cbrt_binary64_23983 cbrt-prod_binary64_1132
168×	add-cube-cbrt_binary64_5228 add-exp-log_binary64_8641 add-exp-log_binary64_19894
167×	pow-prod-down_binary64_2195 distribute-lft-out--_binary64_15034 times-frac_binary64_14747 difference-of-squares_binary64_15051 add-exp-log_binary64_10005
166×	associate-*r*_binary64_21501 add-exp-log_binary64_13074 sqr-pow_binary64_1073
165×	difference-of-squares_binary64_16756 add-sqr-sqrt_binary64_24993 associate-*r*_binary64_10589 flip--_binary64_735 flip3--_binary64_764
164×	*-un-lft-identity_binary64_7239
163×	add-cbrt-cube_binary64_20915 flip3--_binary64 flip--_binary64 add-sqr-sqrt_binary64_7602
162×	flip-+_binary64_2098 flip--_binary64_2440 flip3-+_binary64_2127 add-cbrt-cube_binary64_18187 flip3--_binary64_2469 *-un-lft-identity_binary64_22243 add-cbrt-cube_binary64_15459
161×	unswap-sqr_binary64_2092 unswap-sqr_binary64_46
160×	cbrt-prod_binary64_2496
159×	cbrt-prod_binary64_14090
158×	add-cbrt-cube_binary64_12390 associate-*r*_binary64_8884 add-sqr-sqrt_binary64_13740 add-cbrt-cube_binary64_19892
157×	associate-*r/_binary64_1384 add-sqr-sqrt_binary64_17150 *-un-lft-identity_binary64_24289 associate-/r*_binary64_15367 div-inv_binary64
156×	div-inv_binary64_1098 add-cube-cbrt_binary64_23642 add-cbrt-cube_binary64_16823
155×	add-sqr-sqrt_binary64_21924 cancel-sign-sub-inv_binary64_11638 cbrt-div_binary64_792
154×	distribute-lft-out--_binary64_12306
153×	add-cube-cbrt_binary64_24665 cbrt-div_binary64_12386 add-cbrt-cube_binary64_8639 associate-*r*_binary64_21842 add-cube-cbrt_binary64_14776 add-sqr-sqrt_binary64_7943
152×	times-frac_binary64_9973 times-frac_binary64_4176 associate-*r*_binary64_5815
151×	cbrt-div_binary64_3179 unpow-prod-down_binary64_12774 pow-prod-down_binary64_2536
150×	distribute-rgt-in_binary64_1392 sqrt-div_binary64_1800 distribute-lft-in_binary64_1391
148×	add-exp-log_binary64_5231 cbrt-div_binary64_18865 associate-*r*_binary64_3428 add-exp-log_binary64_13756 associate-*r*_binary64_10930
147×	cbrt-prod_binary64_10339 div-exp_binary64_8995 frac-times_binary64_429 prod-exp_binary64_21951 add-sqr-sqrt_binary64_4874 div-exp_binary64_2175
146×	add-cbrt-cube_binary64_10685 difference-of-squares_binary64_17438 *-un-lft-identity_binary64_17128 associate-*r*_binary64_9225 pow1_binary64_16848 unswap-sqr_binary64_1410
145×	associate-/l*_binary64_2069 add-cube-cbrt_binary64_22278 add-exp-log_binary64_5572 add-log-exp_binary64_3527 times-frac_binary64_7245
144×	add-cube-cbrt_binary64_12048 add-cube-cbrt_binary64_13753
142×	cbrt-prod_binary64_5224 pow1_binary64_13097 cbrt-undiv_binary64_453 pow1_binary64_8664 associate-*l*_binary64_18774 sqrt-div_binary64_15099
141×	associate-*l/_binary64_703 associate-*r*_binary64_15363 associate-/r*_binary64_2068 *-un-lft-identity_binary64_8262
140×	difference-of-squares_binary64_16074 add-cbrt-cube_binary64_13072
139×	pow1_binary64_9687 pow-prod-down_binary64_1172
138×	distribute-lft-out--_binary64_16057 *-un-lft-identity_binary64_20879
137×	associate-/r*_binary64_15708 div-exp_binary64_15815
136×	flip3-+_binary64 cbrt-prod_binary64_8634 difference-of-squares_binary64_3116 log-prod_binary64_12099 pow-prod-down_binary64_831 cbrt-prod_binary64_7611 flip-+_binary64
135×	distribute-lft-out--_binary64_17421 sqr-pow_binary64_391 associate-/r/_binary64_365 *-un-lft-identity_binary64_24971
134×	flip-+_binary64_15056 pow1_binary64_10710 distribute-rgt-in_binary64_28 flip3-+_binary64_15085 distribute-lft-in_binary64_27 add-cbrt-cube_binary64_18869 cbrt-prod_binary64_2155 cbrt-prod_binary64_14772
133×	unswap-sqr_binary64_728 pow1_binary64_7641 add-exp-log_binary64_18530 add-cbrt-cube_binary64_10003
132×	associate-*l*_binary64_2747 associate-*r*_binary64_3769 add-cbrt-cube_binary64_17846 associate-*l/_binary64
131×	add-exp-log_binary64_3867 cbrt-prod_binary64_10680 associate-/l*_binary64_15709 add-exp-log_binary64_7618
130×	distribute-lft-out--_binary64_21513 pow-exp_binary64
129×	cbrt-unprod_binary64_21935 distribute-lft-out--_binary64_10601 associate-/r*_binary64_17754
128×	associate-*l/_binary64_1385 pow1_binary64_13438 times-frac_binary64_22249
127×	associate-/r/_binary64 distribute-lft-out--_binary64_11624 difference-of-squares_binary64_21530 add-cube-cbrt_binary64_25006 cbrt-prod_binary64_18523
126×	add-exp-log_binary64_4890 difference-of-sqr-1_binary64_1753 unpow-prod-up_binary64 associate-*r*_binary64_10248 difference-of-squares_binary64_11641 associate-*r/_binary64_15024
125×	distribute-rgt-in_binary64_1733 sqr-pow_binary64_1755 add-sqr-sqrt_binary64_24311 distribute-lft-in_binary64_1732 cancel-sign-sub-inv_binary64_385 flip3-+_binary64_1104 flip-+_binary64_1075 prod-exp_binary64_11721 add-cbrt-cube_binary64_16482
124×	frac-times_binary64_12364 associate-/r*_binary64_5819 difference-of-squares_binary64_2775 associate-*l*_binary64_11613 associate-*r*_binary64_19796 cbrt-div_binary64_21252
123×	pow-prod-down_binary64_1854 add-cube-cbrt_binary64_6251 add-exp-log_binary64_5913 add-cbrt-cube_binary64_5570
122×	distribute-lft-out--_binary64_3781 flip3--_binary64_1787 flip3--_binary64_1446 *-un-lft-identity_binary64_4852 flip--_binary64_1417 flip--_binary64_1758 pow1_binary64_5254
121×	associate-*r*_binary64_12976 pow1_binary64_12074 *-un-lft-identity_binary64_7921
120×	pow1_binary64_5936 cbrt-div_binary64_15114 frac-times_binary64_18161 add-cbrt-cube_binary64_5229 pow-prod-down_binary64_21973 log-prod_binary64_2892 distribute-lft-out_binary64_11282 sum-log_binary64_2215
119×	cbrt-undiv_binary64_2158 cancel-sign-sub-inv_binary64_18117 add-cube-cbrt_binary64_7615 *-un-lft-identity_binary64_20197 pow-prod-down_binary64_5605 *-un-lft-identity_binary64_7580
118×	distribute-rgt-in_binary64_4120 distribute-lft-in_binary64_4119
117×	associate-*l*_binary64_9567 log-prod_binary64_1869
116×	1-exp_binary64_6260 distribute-lft-out_binary64_15374 sqrt-div_binary64_1459 rec-exp_binary64_6266 sqr-pow_binary64_732
115×	distribute-lft-out--_binary64_712 sqrt-div_binary64_436 frac-times_binary64_1793 prod-exp_binary64_10698 cbrt-prod_binary64_9316 unswap-sqr_binary64_387 add-exp-log_binary64_16143 associate-/l*_binary64_6502 frac-times_binary64_1111 associate-*r/_binary64_2748 unswap-sqr_binary64_1751
114×	add-cbrt-cube_binary64_13754 add-cbrt-cube_binary64_5911 add-exp-log_binary64_4208 associate-/r*_binary64_18095 pow-exp_binary64_1169 pow1_binary64_14461 add-cube-cbrt_binary64_21937 distribute-lft-out_binary64_2757 add-cube-cbrt_binary64_22619 log-prod_binary64_846 *-un-lft-identity_binary64_21902
113×	swap-sqr_binary64_1750 pow-prod-down_binary64_1513 associate-*r*_binary64_17409 unpow-prod-down_binary64_2885 frac-times_binary64
112×	add-exp-log_binary64_14779 add-cbrt-cube_binary64_3865 associate-*l/_binary64_1726 sqrt-div_binary64 add-cube-cbrt_binary64_7274 add-exp-log_binary64_23986
111×	add-sqr-sqrt_binary64_8284 add-cbrt-cube_binary64_16141 log-pow_binary64_167
110×	associate-*r*_binary64_12294 add-cube-cbrt_binary64_20914 associate-*l*_binary64_3088 prod-exp_binary64_20928 cube-prod_binary64_106 pow1_binary64_16166 cbrt-unprod_binary64_20912
109×	add-exp-log_binary64_22281 div-inv_binary64_416 distribute-lft-in_binary64_11621 add-log-exp_binary64_10688 log-prod_binary64_14145 distribute-rgt-in_binary64_11622 pow1_binary64_3890 pow-exp_binary64_487 add-cbrt-cube_binary64_4888
108×	add-cbrt-cube_binary64_18528 div-exp_binary64_2516 pow1_binary64_12415 add-cbrt-cube_binary64_10344 associate-*l*_binary64_14341
107×	pow1_binary64_19235 associate-*l*_binary64_14682 pow1_binary64_11051 times-frac_binary64_24295 add-cube-cbrt_binary64_4887
106×	swap-sqr_binary64 associate-*r*_binary64_12635 frac-times_binary64_15092 associate-*r/_binary64 div-inv_binary64_11328 sqrt-pow1_binary64
105×	pow1_binary64_22986 pow1_binary64_11733 prod-exp_binary64_3537 associate-*r/_binary64_1043 associate-/r/_binary64_2070 add-sqr-sqrt_binary64_19196
104×	flip3-+_binary64_422 prod-exp_binary64_21610 associate-/r*_binary64_10934 flip-+_binary64_393
103×	unpow-prod-down_binary64_2203 difference-of-squares_binary64_18120 add-cbrt-cube_binary64_22279 pow-prod-down_binary64_3559
102×	flip--_binary64_12670 cbrt-unprod_binary64_21594 associate-/r/_binary64_8890 distribute-lft-out--_binary64_22536 prod-exp_binary64_8993 flip3--_binary64_12699 pow1_binary64_12756 associate-/r/_binary64_11277
101×	distribute-lft-out_binary64_3098 associate-*l*_binary64_5475
100×	cancel-sign-sub-inv_binary64_15389 div-exp_binary64_19566 cbrt-div_binary64 add-exp-log_binary64_20576
99×	associate-*l*_binary64_9908 cbrt-unprod_binary64_3521 add-exp-log_binary64_6595
98×	add-sqr-sqrt_binary64_20219 tan-quot_binary64_237 1-exp_binary64_1486 prod-exp_binary64_15131 pow1_binary64_13779 distribute-lft-out_binary64_1052 rec-exp_binary64_1492
97×	add-cbrt-cube_binary64_7616 div-inv_binary64_18148 div-inv_binary64_2803 prod-exp_binary64_2855 associate-/r/_binary64_2752 associate-/l*_binary64_2410
96×	associate-/l*_binary64_8889 pow-prod-down_binary64_20950 associate-*r*_binary64_8543 associate-*r*_binary64_16386 div-inv_binary64_2121 *-commutative_binary64
95×	pow1_binary64_4572 log-prod_binary64_4256 sqrt-prod_binary64_11347 cbrt-prod_binary64_23979 sqrt-div_binary64_95 sqrt-prod_binary64_6232 distribute-lft-out_binary64_2416
94×	pow1_binary64_4231 sqrt-div_binary64_8961 sqrt-prod_binary64_21918 cbrt-unprod_binary64_15115 add-log-exp_binary64_15462
93×	cube-prod_binary64_2834 unpow-prod-down_binary64_2544 associate-*l/_binary64_15025
92×	associate-*r*_binary64_21160 associate-/l/_binary64_1730 associate-/r*_binary64_12298 associate-/r*_binary64_17413 add-exp-log_binary64_19212 associate-/l*_binary64_21506 cbrt-div_binary64_2156 sqrt-prod_binary64_9983 cbrt-prod_binary64_20910 cbrt-prod_binary64_7952
91×	*-commutative_binary64_9 associate-*l*_binary64_15705 add-log-exp_binary64_17849 div-exp_binary64_2857 pow1_binary64_18894 difference-of-squares_binary64_3798
90×	pow1_binary64_9005 flip3-+_binary64_5878 pow1_binary64_22304 add-cube-cbrt_binary64_17163 flip-+_binary64_5849 sqrt-div_binary64_2823 distribute-lft-out--_binary64_2417 unswap-sqr_binary64_1069 1-exp_binary64_804
89×	add-cbrt-cube_binary64_14777 add-cbrt-cube_binary64_9321 cancel-sign-sub-inv_binary64_1067 associate-/l*_binary64_18096 log-prod_binary64_16873 associate-*r*_binary64_20819
88×	associate-*l*_binary64_3429 associate-*l*_binary64_12295 add-log-exp_binary64_5573 pow-unpow_binary64_837 pow-to-exp_binary64_488 log-prod_binary64_10735
87×	sqrt-prod_binary64_21577 add-log-exp_binary64_9665 div-exp_binary64_21612 pow1_binary64_15825 add-log-exp_binary64_5232 associate-*r/_binary64_5817 pow1_binary64_6277
86×	cbrt-undiv_binary64_21595 frac-add_binary64_1791 associate-*r*_binary64_9907 associate-*r*_binary64_11271 associate-*r*_binary64_7520 associate-/r/_binary64_706 pow1_binary64_10028
85×	cbrt-prod_binary64_19205 distribute-lft-out_binary64_19466 add-log-exp_binary64_15121 flip-+_binary64_13351 flip3-+_binary64_13380 prod-exp_binary64_15813 associate-*r*_binary64_5133 div-exp_binary64_11382 prod-exp_binary64_3196 associate-*l*_binary64_10249
84×	difference-of-squares_binary64_24599 distribute-lft-out_binary64_16738 pow1_binary64_11392 distribute-lft-out--_binary64_24582 cbrt-unprod_binary64_11705 prod-exp_binary64_16836 associate-*l*_binary64_12636 associate-/l*_binary64_14345 add-cbrt-cube_binary64_4206
83×	flip3--_binary64_2128 flip-+_binary64_3121 distribute-lft-in_binary64_9575 flip3-+_binary64_3150 cbrt-unprod_binary64_2839 flip--_binary64_2099 distribute-rgt-in_binary64_9576 associate-*l*_binary64_10590 add-exp-log_binary64_23645 *-un-lft-identity_binary64_19174
82×	prod-exp_binary64_13426 associate-*r/_binary64_18093 div-inv_binary64_15761 add-log-exp_binary64_18190 sqrt-div_binary64_2141 associate-/r*_binary64_15026
81×	pow1/3_binary64_501 log-prod_binary64_1528 cancel-sign-sub-inv_binary64_2431 add-log-exp_binary64_11711 add-cube-cbrt_binary64_20232 associate-+r+_binary64_1715 add-cube-cbrt_binary64_19209
80×	associate--l+_binary64_11268 associate-*l/_binary64_22868 distribute-lft-out--_binary64_3099 pow-to-exp_binary64 add-cube-cbrt_binary64_7956 add-sqr-sqrt_binary64_23288 cbrt-prod_binary64_4883 associate-/l*_binary64_11276 *-commutative_binary64_350 associate-/l*_binary64_19460 add-log-exp_binary64_15803 cbrt-undiv_binary64_2499 associate--r+_binary64_11608
79×	add-log-exp_binary64_14439 pow1_binary64_21281 pow1_binary64_17530 div-exp_binary64_11041 sqrt-pow1_binary64_5552 add-cube-cbrt_binary64_24324 swap-sqr_binary64_727 add-cbrt-cube_binary64_19210 pow1_binary64_17871 associate-*l*_binary64_17410 associate-*r*_binary64_18432 associate-/l*_binary64_2751
78×	difference-of-squares_binary64_14369 pow1/2_binary64 associate-*l*_binary64_12977 add-cbrt-cube_binary64_6252 associate-*l*_binary64_13318 associate-/r/_binary64_18779 cube-prod_binary64_1811 unswap-sqr_binary64_2433 add-exp-log_binary64_22963 associate-*r/_binary64_12296 add-log-exp_binary64_10006 difference-of-sqr-1_binary64_1412 exp-neg_binary64_466 log-prod_binary64_24034
77×	pow1_binary64_15484 associate-*r*_binary64_14681 cancel-sign-sub-inv_binary64_2090 add-log-exp_binary64_13075 associate--l+_binary64_1720 pow-prod-down_binary64_2877 add-exp-log_binary64_14097 prod-exp_binary64_21269 distribute-lft-out--_binary64_14352 times-frac_binary64_6222 div-exp_binary64_10359
76×	cbrt-undiv_binary64_15798 add-cbrt-cube_binary64_6593 cancel-sign-sub-inv_binary64_12661 cbrt-undiv_binary64_11365 *-un-lft-identity_binary64_23266
75×	div-exp_binary64_9336 associate-/r*_binary64_3091 associate-*l*_binary64_3770 associate-/l*_binary64_10935 cbrt-prod_binary64_9657 associate-*l*_binary64_21502 associate-/r/_binary64_15710
74×	flip--_binary64_53 frac-times_binary64_12705 distribute-lft-in_binary64_11962 sqr-pow_binary64_50 *-un-lft-identity_binary64_4511 distribute-lft-out_binary64_14692 add-sqr-sqrt_binary64_4533 associate-*l/_binary64_1044 add-cube-cbrt_binary64_23301 cbrt-prod_binary64_16136 distribute-rgt-in_binary64_11963 flip3--_binary64_82 pow1_binary64_21622
73×	add-log-exp_binary64_3868 cbrt-div_binary64_2838 pow1_binary64_10369 flip--_binary64_18808 cbrt-prod_binary64_12385 cbrt-unprod_binary64_21253 associate-*l*_binary64_9226 add-sqr-sqrt_binary64_22947 cos-mult_binary64_4665 distribute-lft-out--_binary64_16739 flip3--_binary64_18837 cbrt-prod_binary64_5906 associate-*l*_binary64_10931 times-frac_binary64_23272
72×	prod-exp_binary64_12744 div-exp_binary64_13428 unswap-sqr_binary64_10276 pow1_binary64_4913 pow1_binary64_16507 difference-of-squares_binary64_9595 sqrt-pow1_binary64_2483 associate-*l*_binary64_15023 div-exp_binary64_11723 cbrt-prod_binary64_15113 associate-/r/_binary64_13323 pow-unpow_binary64_1178
71×	distribute-rgt-in_binary64_369 difference-of-squares_binary64_1070 cbrt-unprod_binary64_3180 log-prod_binary64_6302 cbrt-undiv_binary64_2840 add-cbrt-cube_binary64_20574 frac-times_binary64_13387 distribute-lft-in_binary64_368 flip--_binary64_3122 flip3--_binary64_3151 sqrt-prod_binary64_23282
70×	pow1_binary64_18212 difference-of-squares_binary64_22553 difference-of-squares_binary64_5503 flip3-+_binary64_3491 distribute-lft-out--_binary64_9578 unswap-sqr_binary64_9253 sqr-pow_binary64_1414 associate-/r/_binary64_14346 flip-+_binary64_3462 associate-/l*_binary64_17755
69×	pow-prod-down_binary64_15153 add-cbrt-cube_binary64_22961 distribute-lft-out_binary64_8895
68×	add-cbrt-cube_binary64_14095 add-exp-log_binary64_4549 cbrt-unprod_binary64_13410 associate-*l/_binary64_5818 times-frac_binary64_17134 associate-*l*_binary64_21843 add-log-exp_binary64_13416 add-log-exp_binary64_17508 frac-add_binary64_2473 add-log-exp_binary64_11370
67×	add-log-exp_binary64_8642 associate-/r*_binary64_3432 flip--_binary64_12329 associate-*r*_binary64_5474 pow-prod-down_binary64_3218 distribute-lft-out_binary64_23899 distribute-lft-out_binary64_3780 flip3--_binary64_12358 associate-/r/_binary64_2411 distribute-lft-out--_binary64_2758 div-inv_binary64_8941
66×	cbrt-div_binary64_7953 cbrt-unprod_binary64_16820 add-cbrt-cube_binary64_23643 flip-+_binary64_8918 associate-/r*_binary64_9570 flip3-+_binary64_8947 add-cbrt-cube_binary64_4547 difference-of-squares_binary64_14028 cbrt-prod_binary64_13067 associate-*r/_binary64_3089
65×	div-exp_binary64_18202 cbrt-undiv_binary64_19549 add-log-exp_binary64_19213 associate-*r*_binary64_22183 associate-*r*_binary64_19455 associate-/r/_binary64_3093 *-commutative_binary64_1373 associate-*r*_binary64_20478 associate-*r*_binary64_23888
64×	associate-*r*_binary64_6156 flip3--_binary64_21224 frac-add_binary64_5883 flip--_binary64_21195 associate-/r/_binary64_21507 prod-exp_binary64_11380 add-log-exp_binary64_12393 pow1_binary64_18553 cube-prod_binary64_2493 sqrt-prod_binary64_9642 add-log-exp_binary64_4209 prod-exp_binary64_9675
63×	log-prod_binary64_164 div-inv_binary64_12351 associate-/l/_binary64_707 pow1_binary64_19917 associate-/l/_binary64_1389 associate-/r*_binary64_13321 distribute-lft-out_binary64_8554 associate-/l*_binary64_15368 pow1_binary64_14120 difference-of-squares_binary64_2093 associate-+r+_binary64_10 sqrt-pow1_binary64_437 cancel-sign-sub-inv_binary64_14025 pow1_binary64_14802 associate-/r*_binary64_16390
62×	unpow2_binary64_825 associate-*l/_binary64_18094 pow1/3_binary64_3570 *-commutative_binary64_1714 frac-times_binary64_2816 add-cube-cbrt_binary64_8297 swap-sqr_binary64_12321 distribute-neg-frac_binary64_5839
61×	flip--_binary64_15739 cbrt-prod_binary64_5565 associate-*l*_binary64_4111 1-exp_binary64_122 log-prod_binary64_3233 div-inv_binary64_17807 associate-*l/_binary64_12297 associate-/r*_binary64_12639 flip3--_binary64_15768 cbrt-undiv_binary64_8978
60×	cbrt-unprod_binary64_14433 associate-/r/_binary64_1047 *-commutative_binary64_1032 pow1/3_binary64_3229 prod-exp_binary64_14449 add-log-exp_binary64_10347 add-log-exp_binary64_12052 associate-/r/_binary64_15369 associate-*r*_binary64_18091 associate-/r*_binary64_16049 div-inv_binary64_2462 add-cbrt-cube_binary64_23984 sqrt-pow1_binary64_1119 cbrt-unprod_binary64_9659
59×	frac-2neg_binary64_1794 div-exp_binary64_21271 exp-diff_binary64_467 associate-+l+_binary64_1716 associate-/l*_binary64_3433 neg-sub0_binary64_414 associate-/l*_binary64_12981 cbrt-prod_binary64_23638 pow1_binary64_7982 pow-exp_binary64_1510 clear-num_binary64_1782 add-log-exp_binary64_5914
58×	associate-+l+_binary64_11946 times-frac_binary64_20203 add-log-exp_binary64_11029 unpow2_binary64_484 associate-+r+_binary64_2738 flip-+_binary64_16420 add-log-exp_binary64_18872 div-exp_binary64_17861 flip3-+_binary64_16449 pow-exp_binary64_146 add-exp-log_binary64_24668 associate-/r*_binary64_24574 sqrt-pow1_binary64_778
57×	swap-sqr_binary64_13003 associate-/l*_binary64_10253 pow-exp_binary64_828 associate-/r/_binary64_9572 diff-log_binary64_852 prod-exp_binary64_7629 div-inv_binary64_10987 pow1_binary64_24009
56×	add-exp-log_binary64_7277 frac-times_binary64_21230 prod-exp_binary64_18882 cbrt-prod_binary64_17500 add-log-exp_binary64_16485 associate-*l*_binary64_20820 prod-exp_binary64_10016 add-cbrt-cube_binary64_7275 cbrt-undiv_binary64_11024 cbrt-div_binary64_14773 associate-*l/_binary64_2749 add-cube-cbrt_binary64_4546 cbrt-prod_binary64_4201 cbrt-unprod_binary64_18866
55×	add-cbrt-cube_binary64_12049 distribute-rgt-in_binary64_14009 div-exp_binary64_12746 prod-exp_binary64_11039 add-exp-log_binary64_12051 div-exp_binary64_15474 distribute-lft-out_binary64_23558 prod-exp_binary64_19905 *-commutative_binary64_2055 distribute-lft-in_binary64_14008 associate-*l*_binary64_19797 add-exp-log_binary64_17166 flip3-+_binary64_24292 flip--_binary64_9601 associate-*l*_binary64_16728 flip-+_binary64_24263 associate-*l/_binary64_23891 flip3--_binary64_9630 associate-/r*_binary64_8888 distribute-rgt-in_binary64_8894 distribute-lft-in_binary64_8893
54×	associate-/r*_binary64_11616 associate-/r*_binary64_12980 associate-*l/_binary64_21845 distribute-rgt-in_binary64 cube-prod_binary64_13064 associate-/r*_binary64_16731 cbrt-undiv_binary64_11706 cbrt-undiv_binary64_13411 unpow-prod-down_binary64_13115 distribute-lft-out_binary64_21512 associate-*l*_binary64_18092 *-commutative_binary64_691 distribute-lft-in_binary64
53×	add-log-exp_binary64_7619 cancel-sign-sub-inv_binary64_8569 cancel-sign-sub-inv_binary64_6182 associate-/r/_binary64_17756 cbrt-unprod_binary64_15797 distribute-rgt-in_binary64_710 pow-prod-down_binary64_16858 add-log-exp_binary64_14780 associate-*l*_binary64_7521 times-frac_binary64_5199 distribute-lft-in_binary64_709 prod-exp_binary64_8652 add-exp-log_binary64_7959 add-cbrt-cube_binary64_17164 sub-neg_binary64_753 pow1_binary64_23668 associate-/l/_binary64_2071 distribute-lft-out_binary64_10259
52×	times-frac_binary64_20885 add-log-exp_binary64_4891 prod-exp_binary64_12403 cube-prod_binary64_1129 cbrt-undiv_binary64_21254 associate-*l*_binary64_6157 clear-num_binary64_1441 frac-2neg_binary64_1453 difference-of-squares_binary64_4139 sqrt-div_binary64_3505 log-prod_binary64_12440 exp-prod_binary64_21613 pow1/2_binary64_2545 cbrt-undiv_binary64_18185 cancel-sign-sub-inv_binary64_22209
51×	prod-exp_binary64_9334 pow1/3_binary64 cbrt-unprod_binary64_8636 pow1/3_binary64_2206 sum-log_binary64_1874 associate-*l*_binary64_5134 cbrt-prod_binary64_12726 cbrt-unprod_binary64_7613 add-log-exp_binary64_18531 pow1/3_binary64_160 unpow-prod-down_binary64_6636 associate-/l*_binary64_12640 add-log-exp_binary64_23987
50×	pow-prod-down_binary64_7651 cbrt-unprod_binary64_11364 associate-*r/_binary64_21162 clear-num_binary64 associate-/r/_binary64_5821 pow-prod-down_binary64_8674 add-log-exp_binary64_17167 frac-2neg_binary64 frac-times_binary64_2134 div-inv_binary64_21558 frac-sub_binary64_24298 associate-/l*_binary64_5820 cbrt-prod_binary64_13408 *-un-lft-identity_binary64_22925
49×	sqrt-div_binary64_13053 associate-*r*_binary64_13999 cancel-sign-sub-inv_binary64_3113 flip--_binary64_17785 pow1_binary64_17189 div-exp_binary64_16497 associate-*r*_binary64_6497 associate-/r*_binary64_21164 cube-prod_binary64_2152 flip3--_binary64_17814 associate-*l/_binary64_12638 cancel-sign-sub-inv_binary64_8910 cbrt-unprod_binary64_19889 cancel-sign-sub-inv_binary64_16412 add-log-exp_binary64_6255 associate-*r/_binary64_9568
48×	prod-exp_binary64_10357 cbrt-unprod_binary64_12387 unswap-sqr_binary64_3115 sqrt-pow1_binary64_2824 sqrt-prod_binary64_24987 cbrt-unprod_binary64_12728 div-exp_binary64_17520 log-prod_binary64_10394 add-log-exp_binary64_16826 log-prod_binary64_10053 sub-neg_binary64_1776 associate-/r/_binary64_12982 associate--l+_binary64_11609 difference-of-squares_binary64_14710 cancel-sign-sub-inv_binary64_8228 log-pow_binary64_2895 associate-/l*_binary64_13322 cbrt-unprod_binary64_8977
47×	swap-sqr_binary64_3455 frac-times_binary64_24299 distribute-lft-neg-in_binary64_717 add-exp-log_binary64_20235 distribute-rgt-neg-in_binary64_718 unswap-sqr_binary64_3456 associate-*r*_binary64_16045 associate-/r*_binary64_22528 add-exp-log_binary64_8300 associate-*r*_binary64_4451 cbrt-div_binary64_16819 cbrt-unprod_binary64_11023 distribute-lft-in_binary64_3096 pow1/3_binary64_842 sqrt-pow1_binary64_1460 distribute-rgt-in_binary64_3097 associate-*r*_binary64_4110 pow1_binary64_20258 flip3--_binary64_1105 flip--_binary64_1076
46×	associate-/r*_binary64_13662 flip3--_binary64_15427 add-cbrt-cube_binary64_24666 *-commutative_binary64_2396 sqrt-prod_binary64_15098 difference-of-squares_binary64_6185 div-exp_binary64_14451 flip--_binary64_15398 clear-num_binary64_1100 frac-2neg_binary64_1112 sqrt-prod_binary64_3845 distribute-lft-out--_binary64_14693 associate-/r*_binary64_21505 associate-*r*_binary64_4792 associate-/r*_binary64_8547 flip--_binary64_5850 associate-*l*_binary64_22866 cbrt-undiv_binary64_17503 unswap-sqr_binary64_11640 associate-/l*_binary64_17414 add-cube-cbrt_binary64_22960 cbrt-undiv_binary64_14434 flip3--_binary64_5879 div-inv_binary64_12692 add-log-exp_binary64_20918 unpow-prod-down_binary64_8682 associate-*l/_binary64_21163
45×	associate-*l*_binary64_22184 add-log-exp_binary64_14098 cbrt-div_binary64_110 associate-/l/_binary64 log-prod_binary64_2210 exp-sum_binary64_2852 cancel-sign-sub-inv_binary64_5500 cbrt-prod_binary64_12044 associate-*r/_binary64_18775 pow-prod-down_binary64_22996 prod-exp_binary64_17518 cbrt-prod_binary64_8975 add-exp-log_binary64_24327 associate-/r*_binary64_14344 pow1/3_binary64_1865 div-exp_binary64_13769 pow1_binary64_8323 cbrt-div_binary64_3520 flip3-+_binary64_11334 associate-/r*_binary64_6501 add-log-exp_binary64_8983 sub-neg_binary64_71 tan-quot_binary64 associate-*r*_binary64_23547 unpow-prod-down_binary64_6295 flip-+_binary64_11305
44×	sub-neg_binary64_412 sub-neg_binary64 add-log-exp_binary64_12734 div-inv_binary64_17466 sqrt-prod_binary64_5550 cancel-sign-sub-inv_binary64_17435 frac-2neg_binary64_771 div-inv_binary64_6554 unpow-prod-down_binary64_9364 add-log-exp_binary64_7960 rem-sqrt-square_binary64_2478 rem-sqrt-square_binary64 clear-num_binary64_759 distribute-lft-out--_binary64_14011
43×	clear-num_binary64_418 flip3--_binary64_18155 cube-prod_binary64_447 associate-*r*_binary64_17068 frac-2neg_binary64_430 flip3-+_binary64_23951 distribute-lft-in_binary64_9916 distribute-lft-out--_binary64_18785 pow1_binary64_19576 prod-exp_binary64_3878 distribute-rgt-in_binary64_9917 frac-times_binary64_18843 cbrt-prod_binary64_9998 pow-prod-down_binary64_16176 sub-neg_binary64_2458 frac-times_binary64_3157 flip--_binary64_18126 prod-exp_binary64_5242 log-prod_binary64_505 cube-prod_binary64_1470 pow1/2_binary64_499 difference-of-squares_binary64_18802 flip-+_binary64_23922 unswap-sqr_binary64_18801 associate-*l*_binary64_15364
42×	unswap-sqr_binary64_13004 sum-log_binary64_2556 distribute-lft-out--_binary64_2076 associate-*l/_binary64_13320 pow-unpow_binary64 sqrt-prod_binary64_4186 times-frac_binary64_8268 prod-exp_binary64_13767 unswap-sqr_binary64_2774 cbrt-div_binary64_5566
41×	cbrt-unprod_binary64_22276 associate-/r*_binary64_19800 cbrt-unprod_binary64_16138 add-cbrt-cube_binary64_7957 add-log-exp_binary64_8301 add-cbrt-cube_binary64_24325 frac-2neg_binary64_89 associate-*r*_binary64_24570 add-log-exp_binary64_22282 cbrt-undiv_binary64_15457 clear-num_binary64_77 associate-/l/_binary64_1048 associate-*l/_binary64_22186 prod-exp_binary64_16495 add-log-exp_binary64_21941 add-log-exp_binary64_21259 associate-/r/_binary64_6503 prod-exp_binary64_16154 prod-exp_binary64_22292
40×	distribute-rgt-in_binary64_16396 add-log-exp_binary64_24328 pow-to-exp_binary64_147 cbrt-unprod_binary64_10000 exp-prod_binary64_812 sub-neg_binary64_1435 prod-exp_binary64_4219 add-log-exp_binary64_23305 pow-prod-down_binary64_22314 cancel-sign-sub-inv_binary64_3454 add-cbrt-cube_binary64_8298 pow-flip_binary64_1516 add-log-exp_binary64_16144 cbrt-unprod_binary64_10682 frac-times_binary64_5885 distribute-lft-in_binary64_16395 rec-exp_binary64_810 pow1/3_binary64_5275 flip3--_binary64_17473 flip--_binary64_17444 sqrt-pow1_binary64_13054
39×	flip3-+_binary64_3832 div-exp_binary64_9677 flip-+_binary64_3803 pow-prod-down_binary64_5946 div-inv_binary64_13374 associate-*r*_binary64_17750 add-sqr-sqrt_binary64_6920 associate-/r/_binary64_19461 associate-*r*_binary64_19114 associate-*r*_binary64_20137 div-exp_binary64_16838 associate-*r/_binary64_12637 div-exp_binary64_18884 cbrt-prod_binary64_21592 sqrt-prod_binary64_17826 unswap-sqr_binary64_15732 associate-*l*_binary64_8885 associate-/l*_binary64_21165 add-log-exp_binary64_21600 prod-exp_binary64_4901 cbrt-unprod_binary64_17502 rem-sqrt-square_binary64_1114 cbrt-undiv_binary64_18867 distribute-lft-out--_binary64_5486 cbrt-unprod_binary64_3862 div-inv_binary64_9623 associate-/r/_binary64_16733 pow-prod-up_binary64 div-exp_binary64_12405 swap-sqr_binary64_17436 distribute-lft-out_binary64_14010 pow1/2_binary64_1181 associate-/r/_binary64_3434 div-inv_binary64_14397
38×	times-frac_binary64_12019 unpow-prod-down_binary64_17548 pow-prod-down_binary64_13448 cube-prod_binary64_17497 cbrt-div_binary64_19206 associate-+r+_binary64_11945 add-cbrt-cube_binary64_20233 div-inv_binary64_15420 associate-/r/_binary64_12300 prod-exp_binary64_5583 pow-prod-down_binary64_9697 associate-*r/_binary64_19798 sum-log_binary64_2897 associate-*r*_binary64_22865 pow-to-exp_binary64_1170 div-inv_binary64_13033 sqrt-prod_binary64_11006 associate-/r*_binary64_23551
37×	sum-log_binary64_851 pow-prod-down_binary64_19245 rec-exp_binary64_128 flip3--_binary64_21565 cbrt-undiv_binary64_12729 sqr-pow_binary64_6529 swap-sqr_binary64_3114 add-log-exp_binary64_4550 unpow-prod-down_binary64_14138 associate-/l*_binary64_20483 div-exp_binary64_6608 associate-*l*_binary64_8544 flip--_binary64_14375 flip3--_binary64_14404 cbrt-unprod_binary64_5226 associate-*l*_binary64_11954 clear-num_binary64_2123 associate-/r*_binary64_7183 add-log-exp_binary64_13757 cube-prod_binary64_14087 associate-/r/_binary64_16392 associate-/r/_binary64_15028 unswap-sqr_binary64_14368 add-cbrt-cube_binary64_25007 add-exp-log_binary64_25009 frac-2neg_binary64_2135 flip--_binary64_21536 div-exp_binary64_19907
36×	associate-*r/_binary64_16388 pow1/2_binary64_2886 sum-log_binary64_1533 div-exp_binary64_10018 exp-diff_binary64_808 cube-prod_binary64_8972 associate-/r*_binary64_18436 prod-exp_binary64_13085 associate-/r*_binary64_24915 neg-sub0_binary64_755 *-un-lft-identity_binary64_6898 associate-*r*_binary64_11953 unpow-prod-down_binary64_9023 cbrt-prod_binary64_17159 1-exp_binary64_1145 rec-exp_binary64_1151 unpow-prod-down_binary64_5954 prod-exp_binary64_19564 flip-+_binary64_9600 associate-*r/_binary64_10932 associate-*l*_binary64_19456 associate-*r/_binary64_4112 cbrt-unprod_binary64_13751 cube-prod_binary64_8631 associate-*l*_binary64_16387 associate-+r+_binary64_10581 associate-+r+_binary64_16378 flip3-+_binary64_9629
35×	associate-*l/_binary64_9569 exp-neg_binary64_807 unpow-prod-down_binary64_3567 cbrt-undiv_binary64_17844 cbrt-undiv_binary64_19890 cancel-sign-sub-inv_binary64_9251 diff-log_binary64_2557 cbrt-undiv_binary64_12388 associate-*l*_binary64_21161 sqrt-prod_binary64_14075 sin-mult_binary64_574 pow1_binary64_7300 flip3-+_binary64_13039 associate-*r/_binary64_14342 cancel-sign-sub-inv_binary64_5841 div-exp_binary64_15133 cube-prod_binary64_3516 div-inv_binary64_10646 prod-exp_binary64_18541 +-commutative_binary64_2054 flip-+_binary64_13010 cbrt-undiv_binary64_9660 pow1/3_binary64_7662 pow-prod-down_binary64_13789 associate-*l*_binary64_11272 associate-*r/_binary64_13319 associate-*l*_binary64_5816 unswap-sqr_binary64_21529 rem-sqrt-square_binary64_432 sqrt-prod_binary64_8619 prod-exp_binary64_15472
34×	prod-exp_binary64_19223 pow1/2_binary64_840 flip3--_binary64_2810 prod-exp_binary64_22974 cbrt-unprod_binary64_19207 associate-/l/_binary64_5822 cbrt-div_binary64_22957 frac-times_binary64_17479 unswap-sqr_binary64_13345 pow1/3_binary64_19256 distribute-rgt-in_binary64_10940 cbrt-div_binary64_23980 cbrt-prod_binary64_21251 flip--_binary64_2781 cbrt-div_binary64_8976 associate-/l*_binary64_3092 div-exp_binary64_10700 associate-/r/_binary64_17415 distribute-lft-in_binary64_10939
33×	exp-prod_binary64_2858 pow-to-exp_binary64_829 distribute-lft-in_binary64_17759 cbrt-unprod_binary64_4885 sub-neg_binary64_12688 log-pow_binary64_11079 add-log-exp_binary64_23646 diff-log_binary64_170 pow1_binary64_20599 frac-add_binary64_768 div-exp_binary64_13087 associate-/r*_binary64_9229 frac-add_binary64 sqrt-prod_binary64_11688 neg-mul-1_binary64_5871 pow-exp_binary64_10717 flip3--_binary64_16791 swap-sqr_binary64_2773 cbrt-unprod_binary64_5567 pow-unpow_binary64_155 unswap-sqr_binary64_9594 flip--_binary64_16762 div-inv_binary64_11669 cbrt-prod_binary64_20228 distribute-rgt-in_binary64_17760 pow1_binary64_6618 add-log-exp_binary64_6596 associate-*l*_binary64_16046 associate-*l/_binary64_24232 unpow-prod-down_binary64_13456 add-log-exp_binary64_19895
32×	distribute-lft-neg-in_binary64_2422 flip3-+_binary64_8606 flip--_binary64_5509 distribute-rgt-in_binary64_12645 cancel-sign-sub-inv_binary64_14366 *-commutative_binary64_2737 unpow3_binary64_1849 associate-*l*_binary64_23889 associate-*r/_binary64_10591 flip-+_binary64_8577 cbrt-undiv_binary64_9319 flip3--_binary64_15086 *-commutative_binary64_21833 distribute-lft-out_binary64_16397 distribute-lft-out_binary64_11964 associate-*l*_binary64_4793 cbrt-div_binary64_11704 associate-/r*_binary64_20482 distribute-rgt-neg-in_binary64_2423 associate-*r/_binary64_24231 associate-/l*_binary64_8548 cancel-sign-sub-inv_binary64_17094 flip--_binary64_15057 div-exp_binary64_3539 diff-log_binary64_511 rec-exp_binary64_8994 distribute-lft-out_binary64_22535 distribute-lft-in_binary64_12644 cbrt-unprod_binary64_22958 1-exp_binary64_8988 exp-sum_binary64_4216 associate-+r+_binary64_1374
31×	pow1/3_binary64_8685 associate-/r*_binary64_10252 associate-/r*_binary64_10593 cancel-sign-sub-inv_binary64_15730 sub-neg_binary64_11665 times-frac_binary64_7927 cbrt-unprod_binary64_13069 times-frac_binary64_4858 unpow-prod-down_binary64_10728 diff-log_binary64_2216 associate--l+_binary64_11950 distribute-rgt-out_binary64_713 difference-of-squares_binary64_7208 rec-exp_binary64_15814 prod-exp_binary64_14790 sqr-pow_binary64_2778 flip3-+_binary64_7924 cbrt-div_binary64_3861 sqrt-prod_binary64_22259 1-exp_binary64_15808 div-exp_binary64_20589 flip3--_binary64_5538 div-inv_binary64_10305 swap-sqr_binary64_2091 sub-neg_binary64_4163 flip-+_binary64_7895 sqrt-prod_binary64_3163
30×	unpow-prod-down_binary64_18571 flip-+_binary64_14374 sqrt-pow1_binary64_1801 pow-prod-down_binary64_14471 associate-*r*_binary64_24229 distribute-lft-out_binary64_24240 distribute-lft-out--_binary64_12647 distribute-lft-out_binary64_13669 flip3-+_binary64_14403 sqrt-pow1_binary64_12031 cbrt-unprod_binary64_4203 div-inv_binary64_9282 flip3--_binary64_6561 associate-/l/_binary64_2753 pow1/3_binary64_3911 *-commutative_binary64_3078 pow-prod-down_binary64_12425 flip--_binary64_6532 associate-/l*_binary64_9571 sqrt-div_binary64_3846 cancel-sign-sub-inv_binary64_11979 associate-*l*_binary64_19115 pow-prod-down_binary64_10720 swap-sqr_binary64_14367 frac-sub_binary64_2133 exp-prod_binary64_11042 pow-prod-down_binary64_11061 pow-to-exp_binary64_1511
29×	cbrt-div_binary64_8635 div-inv_binary64_21217 associate-*r/_binary64_16729 associate-/r/_binary64_11618 pow1_binary64_24350 prod-exp_binary64_18200 log-pow_binary64_12102 add-log-exp_binary64_19554 cancel-sign-sub-inv_binary64_6523 sub-neg_binary64_2799 swap-sqr_binary64_1068 associate-/l*_binary64_16391 distribute-lft-out_binary64_20148 exp-prod_binary64_130 unswap-sqr_binary64_10617 div-inv_binary64_3485 sum-log_binary64_3238
28×	pow1_binary64_9346 associate-/r/_binary64_14687 sub-neg_binary64_9619 sqrt-pow1_binary64_96 flip--_binary64_21877 cbrt-undiv_binary64_16480 flip-+_binary64_14715 distribute-lft-in_binary64_2755 unpow2_binary64_143 associate-+l+_binary64_4103 associate-*r/_binary64_11273 associate-/r/_binary64_12641 associate-/r/_binary64_10595 distribute-lft-out_binary64_21171 pow-prod-down_binary64_12766 associate-/r/_binary64_24576 distribute-lft-out--_binary64_4122 associate--r+_binary64_9562 swap-sqr_binary64_14708 associate-/r/_binary64_10936 flip3--_binary64_10653 associate-+r+_binary64_11604 sqr-pow_binary64_2096 flip-+_binary64_5508 associate-/r*_binary64_5478 associate-*r*_binary64_7861 unswap-sqr_binary64_12663 difference-of-squares_binary64_9254 pow1/3_binary64_1183 cbrt-prod_binary64_20569 associate-/l*_binary64_12299 sub-neg_binary64_2117 unpow-prod-down_binary64_4931 flip--_binary64_10624 unswap-sqr_binary64_16755 pow-prod-down_binary64_4582 cbrt-prod_binary64_2837 associate-/l/_binary64_24236 associate-*r/_binary64_17411 distribute-lft-out--_binary64_9237 unswap-sqr_binary64_10958 flip3-+_binary64_14744 cancel-sign-sub-inv_binary64_13343 distribute-rgt-in_binary64_2756 flip3--_binary64_21906 pow-prod-down_binary64_13107
27×	pow-prod-down_binary64_5264 cbrt-undiv_binary64_15116 distribute-lft-out_binary64_17420 pow-prod-down_binary64_12084 sqrt-prod_binary64_21236 diff-log_binary64 pow1/3_binary64_18915 flip3-+_binary64_5537 pow-prod-up_binary64_5604 pow-unpow_binary64_1519 div-inv_binary64_18489 pow-unpow_binary64_496 cbrt-unprod_binary64_16479 associate-*l*_binary64_17069 difference-of-squares_binary64_5844 associate-*l/_binary64_2067 associate-+r+_binary64_3079 cos-mult_binary64_573 add-log-exp_binary64_20577 associate-*l/_binary64_10592 add-log-exp_binary64_7278 flip--_binary64_14716 pow1/3_binary64_11754 prod-exp_binary64_23997 clear-num_binary64_2805 flip3--_binary64_14745 sum-log_binary64_3579 log-pow_binary64_21650 associate--l+_binary64_697 frac-2neg_binary64_2817
26×	pow-prod-down_binary64_3900 associate-+l+_binary64_15697 pow-unpow_binary64_10726 cbrt-unprod_binary64_19548 associate--l+_binary64_6153 unswap-sqr_binary64_9935 cbrt-unprod_binary64_5908 associate--l+_binary64_15 distribute-lft-out--_binary64_6168 pow-prod-down_binary64_4241 unswap-sqr_binary64_5502 swap-sqr_binary64_3796 sum-log_binary64 times-frac_binary64_4517 associate-*l*_binary64_8203 div-exp_binary64_23999 add-exp-log_binary64_25350 pow1/3_binary64_10731 div-exp_binary64_18543 tan-quot_binary64_919 associate--r+_binary64_6152 associate-+l+_binary64_1375 prod-exp_binary64_5924 associate-/l/_binary64_18098 div-exp_binary64_3198 add-cbrt-cube_binary64_25348 associate--l+_binary64_13996 pow1_binary64_25373 cbrt-prod_binary64_6588 unswap-sqr_binary64_5161 distribute-lft-out_binary64_4121 cbrt-undiv_binary64_13752 difference-of-squares_binary64_8231 associate-*l/_binary64_16730 associate-*l*_binary64_7862 cbrt-undiv_binary64_10342
25×	add-log-exp_binary64_22964 distribute-lft-in_binary64_10257 distribute-rgt-in_binary64_10258 +-commutative_binary64_1713 distribute-lft-out_binary64_12646 pow-prod-up_binary64_2194 div-inv_binary64_14738 flip-+_binary64_9941 distribute-lft-out--_binary64_19808 cbrt-unprod_binary64_14774 sub-neg_binary64_3140 cbrt-prod_binary64_13749 difference-of-squares_binary64_19825 difference-of-squares_binary64_12664 cbrt-unprod_binary64_15456 pow-prod-down_binary64_18904 flip-+_binary64_10964 pow1/3_binary64_2547 flip3-+_binary64_10993 pow1/3_binary64_1524 associate-*r*_binary64_8202 distribute-rgt-in_binary64_2074 cbrt-undiv_binary64_6591 associate-/l*_binary64_16732 pow1/2_binary64_5614 *-commutative_binary64_9557 flip3-+_binary64_9970 associate--l+_binary64_3084 pow-exp_binary64_1851 associate-/l*_binary64_16050 associate-/l/_binary64_19462 pow-prod-down_binary64_11743 distribute-lft-out--_binary64_8214 cbrt-unprod_binary64_18184 distribute-lft-in_binary64_2073 sum-log_binary64_169
24×	exp-prod_binary64_1494 cbrt-undiv_binary64_16821 sub-neg_binary64_14393 sqrt-prod_binary64_7937 unswap-sqr_binary64_3797 associate-+r+_binary64_22175 cbrt-undiv_binary64_10001 pow1/3_binary64_16187 prod-exp_binary64_17859 cancel-sign-sub-inv_binary64_21527 cbrt-div_binary64_7612 frac-2neg_binary64_2476 pow-unpow_binary64_1860 associate-/r/_binary64_5480 prod-exp_binary64_23656 distribute-rgt-in_binary64_8553 cancel-sign-sub-inv_binary64_14707 cbrt-unprod_binary64_4544 associate-/l*_binary64_11617 *-commutative_binary64_12626 distribute-lft-in_binary64_8552 associate-/l*_binary64_15027 associate-/l/_binary64_15711 distribute-rgt-in_binary64_22193 distribute-rgt-in_binary64_2415 unswap-sqr_binary64_15050 distribute-lft-in_binary64_2414 div-inv_binary64_15079 pow-prod-down_binary64_21291 distribute-lft-in_binary64_22192 associate-+r+_binary64_8535 associate-*r/_binary64_5476 associate-*l/_binary64_14684 pow-prod-up_binary64_830 *-commutative_binary64_3419 frac-add_binary64_23956 associate-/r*_binary64_9911 difference-of-sqr--1_binary64_1413 clear-num_binary64_2464 associate-+r+_binary64_9558 associate-/r*_binary64_22187 swap-sqr_binary64_7888 pow-pow_binary64_832 prod-exp_binary64_4560
23×	difference-of-squares_binary64_17097 flip--_binary64_22900 associate-*l/_binary64_17412 pow1/2_binary64_2204 unpow-prod-down_binary64_3226 unswap-sqr_binary64_14709 log-div_binary64_2893 associate-/l*_binary64_9230 div-sub_binary64_1447 associate-*l/_binary64_3090 sqrt-pow1_binary64_2142 distribute-lft-in_binary64_14349 flip3--_binary64_12017 log-pow_binary64_2213 frac-times_binary64_9636 div-inv_binary64_16102 cbrt-unprod_binary64_18525 pow1/3_binary64_4934 associate-/r*_binary64_14685 associate-/r*_binary64_23892 pow-to-exp_binary64_10718 sqr-pow_binary64_10280 sub-neg_binary64_10642 sqr-pow_binary64_14031 pow1/2_binary64_1522 associate-*l/_binary64_18776 distribute-rgt-in_binary64_14350 flip--_binary64_16080 cbrt-unprod_binary64_9318 pow-sqr_binary64_2097 cancel-sign-sub-inv_binary64_9933 flip3--_binary64_22929 cbrt-undiv_binary64_3522 pow1/3_binary64_5616 flip3--_binary64_16109 flip--_binary64_11988 diff-log_binary64_2898
22×	flip3--_binary64_5197 flip--_binary64_5168 unswap-sqr_binary64_7548 cbrt-undiv_binary64_3181 sqrt-prod_binary64_12029 swap-sqr_binary64_45 associate-/l*_binary64_24575 div-inv_binary64_19853 pow1/2_binary64_13116 unswap-sqr_binary64_17437 frac-2neg_binary64_11342 unpow-prod-down_binary64_17889 associate-*r*_binary64_24911 flip-+_binary64_10623 unpow-prod-down_binary64_4249 cbrt-undiv_binary64_13070 associate-*r/_binary64_21844 +-commutative_binary64_3077 sqrt-div_binary64_17827 associate-*l/_binary64_11956 flip3-+_binary64_10652 div-exp_binary64_24681 associate-*l*_binary64_24912 pow-to-exp_binary64_1852 cbrt-unprod_binary64_6249 *-commutative_binary64_14331 pow-prod-down_binary64_9015 unswap-sqr_binary64_6184 clear-num_binary64_11330 associate-/r/_binary64_10254 sqrt-div_binary64_9643 sqrt-div_binary64_9984 *-commutative_binary64_10580
21×	clear-num_binary64_19514 flip--_binary64_20854 pow1/3_binary64_14823 pow1/3_binary64_8003 div-exp_binary64_14792 flip3--_binary64_20883 sqr-pow_binary64_2437 rem-sqrt-square_binary64_1455 difference-of-sqr--1_binary64_1754 prod-exp_binary64_20587 pow-prod-down_binary64_19927 cancel-sign-sub-inv_binary64_21868 flip3--_binary64_4174 div-inv_binary64_20535 add-cbrt-cube_binary64_23302 swap-sqr_binary64_5501 log-prod_binary64_11076 div-inv_binary64_5872 pow-exp_binary64_10376 associate-/r*_binary64_14003 div-inv_binary64_3144 add-exp-log_binary64_23304 clear-num_binary64_15422 frac-2neg_binary64_15775 sub-neg_binary64_21895 flip--_binary64_14034 clear-num_binary64_15763 div-inv_binary64_8600 difference-of-squares_binary64_7890 associate-+r+_binary64_351 associate-*l*_binary64_24230 sub-neg_binary64_8937 associate-/l*_binary64_13663 pow-unpow_binary64_2201 frac-2neg_binary64_15434 *-commutative_binary64_10921 flip--_binary64_4145 distribute-rgt-in_binary64_16737 pow1/3_binary64_23007 frac-2neg_binary64_19526 flip3--_binary64_14063 pow-prod-down_binary64_10038 +-commutative_binary64_2736 cbrt-undiv_binary64_20572 distribute-lft-in_binary64_16736
20×	div-exp_binary64_8654 +-commutative_binary64_8 cosh-def_binary64_13563 cbrt-unprod_binary64_10341 associate-/l/_binary64_17757 frac-times_binary64_7931 clear-num_binary64_17809 associate-/r/_binary64_23894 sub-neg_binary64_1094 sub-neg_binary64_15416 cancel-sign-sub-inv_binary64_7887 cbrt-undiv_binary64_18526 sqrt-div_binary64_14417 pow1_binary64_23327 associate-/l/_binary64_366 div-inv_binary64_16443 distribute-lft-out--_binary64_1053 sqrt-prod_binary64_5209 rec-exp_binary64_2515 cancel-sign-sub-inv_binary64_5159 associate-*r/_binary64_14001 distribute-lft-in_binary64_21851 log-pow_binary64_10738 add-cube-cbrt_binary64_6933 frac-2neg_binary64_17821 distribute-rgt-in_binary64_21852 sqr-pow_binary64_5506 associate-*r/_binary64_15365 associate-*l*_binary64_6498 pow-sqr_binary64 pow-sqr_binary64_733 associate-*l*_binary64_20479 log-pow_binary64_1531 cancel-sign-sub-inv_binary64_20845 pow1/2_binary64_158 pow-prod-down_binary64_15835 1-exp_binary64_2509 unpow-prod-down_binary64_5272 unswap-sqr_binary64_4138 div-inv_binary64_16784
19×	associate-*l/_binary64_5477 difference-of-squares_binary64_5162 frac-sub_binary64_1792 add-log-exp_binary64_9324 distribute-lft-out--_binary64_16398 associate-/r/_binary64_7185 unswap-sqr_binary64_20847 unswap-sqr_binary64_19824 difference-of-squares_binary64_24258 pow1/3_binary64_4252 flip3-+_binary64_13721 unpow3_binary64_2872 cbrt-undiv_binary64_4886 flip-+_binary64_13692 flip3-+_binary64_17131 associate-/r/_binary64_8549 unswap-sqr_binary64_11299 flip-+_binary64_6190 div-inv_binary64_13715 add-log-exp_binary64_20236 pow-sqr_binary64_5507 div-exp_binary64_5926 sqrt-pow1_binary64_6234 cube-prod_binary64_4880 pow1/3_binary64_14141 flip--_binary64_24605 clear-num_binary64_18150 unswap-sqr_binary64_15391 *-commutative_binary64_15013 cube-mult_binary64_2836 unswap-sqr_binary64_12322 associate-*r*_binary64_13658 cosh-undef_binary64_613 swap-sqr_binary64_24256 unswap-sqr_binary64_8912 un-div-inv_binary64_417 frac-2neg_binary64_18162 flip-+_binary64_17102 flip3--_binary64_24634 associate-*r*_binary64_7179 pow-prod-down_binary64_11402 flip3-+_binary64_6219 unpow-prod-down_binary64_5613 unswap-sqr_binary64_8571 pow1/3_binary64_20961 difference-of-squares_binary64_16415 unswap-sqr_binary64_21870 div-exp_binary64_4903 pow-prod-down_binary64_21632
18×	swap-sqr_binary64_13344 flip-+_binary64_19148 cbrt-div_binary64_4543 cbrt-div_binary64_18524 swap-sqr_binary64_7547 diff-log_binary64_1875 sqrt-pow1_binary64_5893 flip3--_binary64_8266 rem-sqrt-square_binary64_91 sum-log_binary64_12104 associate-/l/_binary64_9573 difference-of-sqr-1_binary64_389 associate-/l*_binary64_24916 log-div_binary64_6303 associate-*l*_binary64_20138 add-exp-log_binary64_6936 sqrt-pow1_binary64_3506 add-cbrt-cube_binary64_6934 distribute-lft-in_binary64_9234 distribute-rgt-in_binary64_9235 pow-unpow_binary64_10385 pow1/2_binary64_3568 clear-num_binary64_10989 *-commutative_binary64_5465 associate-*l*_binary64_14000 add-cube-cbrt_binary64_25347 associate-*l*_binary64_7180 associate-+l+_binary64_10582 associate-/r/_binary64_9913 associate-+l+_binary64 associate-/l*_binary64_5479 flip3--_binary64_19519 rem-sqrt-square_binary64_2819 distribute-rgt-neg-in_binary64 flip3--_binary64_7925 cbrt-div_binary64_17160 sum-log_binary64_10058 add-sqr-sqrt_binary64_25334 frac-2neg_binary64_11001 pow1/3_binary64_13459 flip3-+_binary64_19177 distribute-lft-out--_binary64_7191 cancel-sign-sub-inv_binary64_19481 associate-*r/_binary64_6158 flip--_binary64_8237 cbrt-div_binary64_20911 cbrt-unprod_binary64_23640 *-commutative_binary64_11603 unswap-sqr_binary64_23916 add-exp-log_binary64_22622 flip--_binary64_7896 flip--_binary64_19490 log-pow_binary64_6305 associate-/l*_binary64_19801 frac-times_binary64_16456 cancel-sign-sub-inv_binary64_10956 associate-*r/_binary64_11955 cbrt-undiv_binary64_14775 *-un-lft-identity_binary64_25312 cbrt-div_binary64_16137
17×	distribute-neg-frac_binary64_724 associate-/r/_binary64_23553 div-sub_binary64_1788 flip3--_binary64_3492 associate-*l/_binary64_21504 flip-+_binary64_23581 flip3-+_binary64_12016 distribute-lft-out_binary64_6167 flip-+_binary64_4485 flip3-+_binary64_4514 pow1/3_binary64_18574 flip-+_binary64_16761 prod-exp_binary64_20246 pow1/3_binary64_10390 flip3-+_binary64_23610 flip3-+_binary64_17472 pow-flip_binary64_1857 pow-exp_binary64_2192 flip--_binary64_22218 sub-neg_binary64_16439 flip--_binary64_3463 associate-*r/_binary64_9909 sum-log_binary64_510 log-pow_binary64 *-commutative_binary64_7511 flip3--_binary64_22247 *-commutative_binary64_20810 diff-log_binary64_17902 flip-+_binary64_11987 pow-prod-up_binary64_3558 log-div_binary64_847 cancel-sign-sub-inv_binary64_7205 associate-*l*_binary64_13659 flip3-+_binary64_10311 associate-*r/_binary64_24572 pow1/3_binary64_16869 log-pow_binary64_16876 sub-neg_binary64_17803 flip-+_binary64_17443 associate-*l*_binary64_23548 pow-prod-down_binary64_20268 pow1/3_binary64_24030 flip3-+_binary64_16790 sqr-pow_binary64_3119 pow-flip_binary64_13110 cbrt-unprod_binary64_20230 frac-times_binary64_14751 flip-+_binary64_10282
16×	sum-log_binary64_23357 sqrt-div_binary64_5551 associate-*r/_binary64_13660 sqrt-div_binary64_7938 associate-/l*_binary64_7184 frac-times_binary64_15774 pow-exp_binary64_2533 associate-/l/_binary64_3435 associate-/l/_binary64_17416 flip-+_binary64_19489 prod-exp_binary64_8311 pow-pow_binary64_1173 cube-mult_binary64_1813 associate-/l*_binary64_5138 sum-log_binary64_10740 distribute-lft-out_binary64_14351 associate-*l*_binary64_4452 pow1_binary64_24691 sinh-def_binary64_11516 flip-+_binary64_17784 cbrt-div_binary64_1133 swap-sqr_binary64_19141 distribute-lft-out_binary64_10600 swap-sqr_binary64_11639 pow1/3_binary64_23689 associate-/r/_binary64_3775 flip3-+_binary64_19518 distribute-lft-neg-in_binary64 log-div_binary64_12441 flip3-+_binary64_17813 swap-sqr_binary64_16072 pow-prod-up_binary64_13106 cancel-sign-sub-inv_binary64_19822 pow-to-exp_binary64_10377 rem-sqrt-square_binary64_773 difference-of-squares_binary64_8572 frac-times_binary64_3498 flip--_binary64_19831 associate-+r+_binary64_4102 +-commutative_binary64_690 swap-sqr_binary64_5160 flip3--_binary64_19860 *-commutative_binary64_13308 cbrt-prod_binary64_21933 unswap-sqr_binary64_5843 cos-sum_binary64_212 associate-/r/_binary64_16051 associate-*r/_binary64_3771 swap-sqr_binary64_1409 associate-*l/_binary64_9910 cbrt-div_binary64_10681 associate--l+_binary64_2061 frac-times_binary64_16797 cube-div_binary64_1812 associate-/r*_binary64_3773 pow-to-exp_binary64_2193 sin-diff_binary64_1578 *-commutative_binary64_12967 associate--l+_binary64_2402 diff-log_binary64_3239 associate-*r/_binary64_5135 pow-prod-up_binary64_489 add-log-exp_binary64_25351 cbrt-unprod_binary64_8295 *-commutative_binary64_16718 *-commutative_binary64_9898
15×	div-sub_binary64_17815 div-inv_binary64_24627 inv-pow_binary64_13121 rec-exp_binary64_16496 cancel-sign-sub-inv_binary64_3795 pow-to-exp_binary64_2534 1-exp_binary64_17854 cbrt-undiv_binary64_5909 distribute-lft-out--_binary64_5827 flip--_binary64_7555 flip3-+_binary64_15426 div-inv_binary64_18830 1-exp_binary64_16490 cbrt-unprod_binary64_20571 rec-exp_binary64 unswap-sqr_binary64_16414 distribute-lft-out_binary64_8213 sub-neg_binary64_12347 rem-sqrt-square_binary64_13049 1-exp_binary64 distribute-lft-in_binary64_1050 pow1/2_binary64_15162 clear-num_binary64_21219 sum-log_binary64_1192 pow-prod-down_binary64_16517 cancel-sign-sub-inv_binary64_10274 sum-log_binary64_19265 frac-2neg_binary64_21231 associate-/r/_binary64_19802 cbrt-div_binary64_14091 associate-*l/_binary64_3772 flip--_binary64_17103 sqrt-pow1_binary64_15100 distribute-rgt-out_binary64_20150 associate-/r*_binary64_23210 flip3-+_binary64_18836 pow-prod-down_binary64_8333 unpow-prod-down_binary64_11751 cbrt-undiv_binary64_8637 rem-sqrt-square_binary64_2137 cancel-sign-sub-inv_binary64_6864 associate-/l*_binary64_3774 flip3--_binary64_17132 rec-exp_binary64_17860 distribute-rgt-in_binary64_1051 clear-num_binary64_21560 sum-log_binary64_24380 difference-of-sqr-1_binary64_2094 frac-2neg_binary64_21572 cbrt-undiv_binary64_24664 flip-+_binary64_18807 sub-neg_binary64_8596 flip-+_binary64_15397 pow-sqr_binary64_3461 flip3--_binary64_7584
14×	sqr-pow_binary64_9257 prod-exp_binary64_6606 flip3--_binary64_7243 distribute-lft-out--_binary64_11283 distribute-rgt-in_binary64_13327 +-commutative_binary64_1031 distribute-lft-out_binary64_3439 unswap-sqr_binary64_4820 sum-log_binary64_15855 associate-/l*_binary64_22529 distribute-lft-out--_binary64_17080 flip3--_binary64_6220 log-pow_binary64_1872 associate-/r*_binary64_17072 cube-mult_binary64_449 frac-2neg_binary64_17480 flip--_binary64_6191 associate-/l*_binary64_23552 unswap-sqr_binary64_7889 cbrt-prod_binary64_22956 unpow-prod-down_binary64_21299 pow1/2_binary64_1863 cancel-sign-sub-inv_binary64_15048 frac-sub_binary64 distribute-lft-in_binary64_13326 cbrt-div_binary64_12727 div-inv_binary64_14056 frac-times_binary64_3839 clear-num_binary64_17468 pow-prod-down_binary64_23678 pow-pow_binary64_150 cbrt-prod_binary64_15454 associate-/l/_binary64_16393 *-commutative_binary64_5124 associate-/r/_binary64_14005 diff-log_binary64_15515 associate-*r*_binary64_6838 1-exp_binary64_10693 unpow2_binary64_10373 associate-*l/_binary64_15707 rec-exp_binary64_10699 sub-neg_binary64_22236 frac-times_binary64_5544 rem-log-exp_binary64_801 pow1/3_binary64_15164 associate-*l*_binary64_17751 unpow3_binary64_485 cancel-sign-sub-inv_binary64_13684 frac-add_binary64_1450 cbrt-unprod_binary64_6590 unswap-sqr_binary64_20506 div-sub_binary64_2129 pow-pow_binary64 pow-sqr_binary64_392 pow-prod-down_binary64_4923 unpow2_binary64_9350 frac-add_binary64_2132 flip--_binary64_7214
13×	*-commutative_binary64_8534 associate-*r/_binary64_17070 flip-+_binary64_18466 *-commutative_binary64_18764 div-exp_binary64_20930 distribute-lft-out--_binary64_7873 clear-num_binary64_13376 associate-*r/_binary64_15706 distribute-rgt-in_binary64_12304 exp-sum_binary64_1829 *-commutative_binary64_19787 cbrt-div_binary64_5225 cbrt-undiv_binary64_20913 pow-pow_binary64_1855 frac-2neg_binary64_14411 distribute-frac-neg_binary64_723 clear-num_binary64_14399 pow-pow_binary64_491 +-commutative_binary64_2395 sin-cos-mult_binary64_1598 sum-log_binary64_11763 add-log-exp_binary64_6937 *-commutative_binary64_22856 clear-num_binary64_8943 pow1_binary64_6959 flip3--_binary64_19178 unpow-prod-down_binary64_18230 swap-sqr_binary64_8570 1-exp_binary64_1827 frac-add_binary64_17477 associate--l+_binary64_8199 associate-/r/_binary64_22530 rec-exp_binary64_1833 flip--_binary64_19149 flip-+_binary64_12669 pow-prod-down_binary64_14812 div-exp_binary64_25022 distribute-lft-out_binary64_17079 distribute-lft-out--_binary64_20831 exp-prod_binary64_10701 pow-sqr_binary64_3120 associate-*l/_binary64_20822 unswap-sqr_binary64_21188 cbrt-unprod_binary64_23981 frac-2neg_binary64_13388 associate-/l*_binary64_9912 frac-2neg_binary64_8955 rem-log-exp_binary64_2847 +-commutative_binary64_3418 cube-prod_binary64_16815 associate-/l*_binary64_14686 distribute-lft-in_binary64_12303 associate-*r/_binary64_3430 flip3-+_binary64_12698 distribute-rgt-in_binary64_13668 *-commutative_binary64_22174 associate-/l/_binary64_10937 unswap-sqr_binary64_22893 pow-prod-up_binary64_3217 *-commutative_binary64_16036 sum-log_binary64_3920 *-commutative_binary64_21492 distribute-rgt-in_binary64_23898 1-exp_binary64_19559 distribute-rgt-out_binary64_1736 unpow-prod-down_binary64_16866 div-inv_binary64_23945 +-commutative_binary64 rem-sqrt-square_binary64_1796 flip3-+_binary64_18495 cbrt-undiv_binary64_25005 sub-div_binary64_426 sub-neg_binary64_8255 div-exp_binary64_23658 rec-exp_binary64_19565 cube-prod_binary64_18179 pow1/3_binary64_9708 distribute-lft-in_binary64_13667 associate-*r/_binary64_20821 pow-pow_binary64_1514 associate-/l*_binary64_14004 distribute-lft-in_binary64_23897 sqr-pow_binary64_10621 sum-log_binary64_5625
12×	div-inv_binary64_5531 distribute-lft-out_binary64_17761 associate-*l/_binary64_3431 *-commutative_binary64_11262 sub-neg_binary64_5186 div-exp_binary64_3880 frac-sub_binary64_10658 flip--_binary64_3804 associate--l+_binary64_356 cbrt-undiv_binary64_3863 distribute-lft-in_binary64_8211 sub-neg_binary64_17462 flip--_binary64_9942 associate-*r/_binary64_7181 pow1/3_binary64_10049 cube-prod_binary64_5903 distribute-rgt-in_binary64_17419 div-inv_binary64_24968 associate-*r/_binary64_22867 unpow2_binary64_1507 unpow-prod-down_binary64_21981 distribute-rgt-in_binary64_20829 frac-add_binary64_86 cos-sum_binary64_894 distribute-lft-in_binary64_15372 associate-/l*_binary64_11958 distribute-lft-in_binary64_19464 associate-/l/_binary64_25 +-commutative_binary64_1372 div-exp_binary64_5585 associate--r+_binary64_9903 associate-/r*_binary64_11957 associate-/r/_binary64_21166 flip3--_binary64_9971 diff-log_binary64_11423 1-exp_binary64_11716 distribute-lft-out_binary64_10941 associate-*r/_binary64_7863 associate-/l*_binary64_23211 cbrt-undiv_binary64_10683 pow-prod-down_binary64_6287 distribute-lft-neg-out_binary64_719 *-commutative_binary64_16377 pow1/3_binary64_13118 prod-exp_binary64_7288 associate-/l*_binary64_23893 div-sub_binary64_18156 pow-unpow_binary64_2542 sin-mult_binary64_1597 associate-+r+_binary64 rec-exp_binary64_15473 associate-/l*_binary64_18437 distribute-rgt-in_binary64_19465 distribute-rgt-in_binary64_8212 distribute-lft-in_binary64_5483 associate-/r*_binary64_20141 associate-*l/_binary64_14343 pow1/2_binary64_12093 diff-log_binary64_1534 div-inv_binary64_6213 cos-sum_binary64_18626 swap-sqr_binary64_4819 sub-neg_binary64_18144 swap-sqr_binary64_4137 flip-+_binary64_22217 neg-mul-1_binary64_756 log-div_binary64_16874 sub-neg_binary64_14052 cos-sum_binary64_1576 unpow-prod-down_binary64_7659 frac-add_binary64_1109 cbrt-unprod_binary64_7272 distribute-lft-in_binary64_17418 *-commutative_binary64_4101 sin-sum_binary64_211 distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507 unswap-sqr_binary64_19142 1-exp_binary64_15467 pow-unpow_binary64_4929 frac-2neg_binary64_12706 associate-/r*_binary64_4114 cbrt-undiv_binary64_23982 frac-times_binary64_21571 associate-/l/_binary64_18780 associate-/l/_binary64_15370 distribute-lft-in_binary64_20828 distribute-rgt-in_binary64_15373 associate-*l/_binary64_16389 sqrt-pow1_binary64_21920 distribute-rgt-in_binary64_22875 associate-/l*_binary64_22188 sqrt-prod_binary64_4527 clear-num_binary64_12694 sum-log_binary64_13127 distribute-lft-in_binary64_22874 flip3-+_binary64_22246 sqrt-div_binary64_12030 rem-sqrt-square_binary64_3501 exp-prod_binary64_471 *-commutative_binary64_6147 cancel-sign-sub-inv_binary64_24596 add-cbrt-cube_binary64_22620 distribute-rgt-in_binary64_5484 flip3--_binary64_3833
11×	cbrt-undiv_binary64_23641 pow-exp_binary64_2874 associate-/r*_binary64_18777 clear-num_binary64_13035 1-exp_binary64_10352 unswap-sqr_binary64_16073 flip3-+_binary64_15767 frac-2neg_binary64_3499 clear-num_binary64_3146 sum-log_binary64_15173 sqrt-pow1_binary64_17828 distribute-rgt-neg-out_binary64 pow-prod-up_binary64_1171 frac-sub_binary64_87 clear-num_binary64_16445 *-commutative_binary64_19105 cbrt-unprod_binary64_17161 log-pow_binary64_24037 cosh-undef_binary64_3682 rec-exp_binary64_9335 pow-prod-down_binary64_18563 associate-*r/_binary64_21503 cbrt-div_binary64_1815 distribute-rgt-in_binary64_7189 pow1/3_binary64_20279 associate-/l/_binary64_12642 difference-of-sqr-1_binary64 pow-exp_binary64_4238 associate-*r/_binary64_8545 cbrt-undiv_binary64_5227 pow-exp_binary64_12763 cbrt-div_binary64_11363 *-commutative_binary64_21151 associate-/r/_binary64_24917 associate-/r/_binary64_20484 pow-prod-up_binary64_2876 associate-+r+_binary64_2056 unswap-sqr_binary64_23575 div-exp_binary64_5244 flip3-+_binary64_21564 associate-/l*_binary64_24234 pow-plus_binary64_2187 div-inv_binary64_23604 clear-num_binary64_3487 cbrt-prod_binary64_15795 associate-*r/_binary64_9227 *-commutative_binary64_8875 rec-exp_binary64_10358 flip-+_binary64_21535 frac-times_binary64_19525 *-commutative_binary64_15695 associate-/r/_binary64_9231 pow-prod-down_binary64_17540 distribute-lft-in_binary64_7188 flip3--_binary64_8948 flip--_binary64_8919 *-commutative_binary64_3760 distribute-lft-out_binary64_5485 sum-log_binary64_16537 difference-of-squares_binary64_20848 flip-+_binary64_23240 cancel-sign-sub-inv_binary64_13002 flip-+_binary64_15738 sum-log_binary64_14491 exp-prod_binary64_1835 associate-/r/_binary64_22189 1-exp_binary64_9329 frac-2neg_binary64_3158 pow-flip_binary64_5608 frac-2neg_binary64_16457 1-exp_binary64_2168 frac-2neg_binary64_13047 pow1/3_binary64_5957 +-commutative_binary64_349 div-exp_binary64_22294 flip3-+_binary64_23269 pow1/2_binary64_17890 associate-*l*_binary64_6839 associate-/r*_binary64_24233 prod-exp_binary64_17177 sub-neg_binary64_5527
10×	cbrt-unprod_binary64_17843 clear-num_binary64_12353 diff-log_binary64_10059 div-inv_binary64_3826 div-exp_binary64_7290 sqrt-div_binary64_13394 pow1/2_binary64_8001 pow-prod-up_binary64_12083 associate-+l+_binary64_18425 associate--l+_binary64_1379 pow-prod-up_binary64_148 associate--r+_binary64_13313 div-exp_binary64_24340 distribute-lft-out_binary64_15715 inv-pow_binary64_163 associate-/l/_binary64_21508 frac-2neg_binary64_12365 distribute-lft-out_binary64_4462 diff-log_binary64_5285 associate-/l/_binary64_7868 div-inv_binary64_22240 cos-mult_binary64_1596 prod-exp_binary64_7970 diff-log_binary64_8354 associate-+l-_binary64_11948 swap-sqr_binary64_2432 diff-log_binary64_4262 frac-2neg_binary64_9637 associate-+l+_binary64_15356 pow-prod-down_binary64_7310 distribute-rgt-in_binary64_3779 swap-sqr_binary64_18800 sqrt-pow1_binary64_7939 associate-*l/_binary64_7864 frac-add_binary64_19523 associate-/r/_binary64_13664 cbrt-unprod_binary64_7954 sum-log_binary64_15514 flip--_binary64_9260 *-commutative_binary64_4783 unswap-sqr_binary64_17096 associate-+r+_binary64_3761 unpow3_binary64_144 cbrt-undiv_binary64_7273 frac-add_binary64_16454 div-inv_binary64_4167 cube-mult_binary64_1131 difference-of-squares_binary64_22212 sqrt-div_binary64_21578 associate-*l/_binary64_8205 div-sub_binary64 div-inv_binary64_7236 flip3--_binary64_9289 pow1/2_binary64_3909 div-inv_binary64_24286 diff-log_binary64_1193 cube-mult_binary64_108 cosh-def_binary64_12881 div-inv_binary64_9964 distribute-lft-in_binary64_3778 sub-neg_binary64_6209 +-commutative_binary64_15694 pow-prod-down_binary64_15494 cube-mult_binary64_1472 associate-*r/_binary64_8204 unpow3_binary64_1508 swap-sqr_binary64_20846 pow-prod-down_binary64_10379 pow-prod-down_binary64_17199 pow-sqr_binary64_13009 sqrt-pow1_binary64_3847 distribute-lft-out--_binary64_24241 pow-exp_binary64_9353 log-pow_binary64_3236 clear-num_binary64_9625 pow-to-exp_binary64_9354 *-commutative_binary64_5806 distribute-lft-out_binary64_11623 rem-sqrt-square_binary64_17823 prod-exp_binary64_24338 sub-neg_binary64_13370 sub-neg_binary64_12006 pow-flip_binary64_152 distribute-rgt-neg-in_binary64_7538 unswap-sqr_binary64_22211 exp-sum_binary64_10695 distribute-lft-neg-in_binary64_7537 diff-log_binary64_10741
9×	unpow2_binary64_13442 cbrt-undiv_binary64_24323 +-commutative_binary64_11943 *-commutative_binary64_17400 +-commutative_binary64_16376 associate-*r/_binary64_19457 pow2_binary64_841 pow1/2_binary64_5955 unpow3_binary64_2531 diff-log_binary64_12446 distribute-rgt-in_binary64_17078 pow1/3_binary64_4593 associate-*l*_binary64_24571 frac-2neg_binary64_8614 frac-add_binary64_12021 cbrt-div_binary64_5907 pow-unpow_binary64_5270 sum-log_binary64_18242 div-exp_binary64_22635 difference-of-sqr-1_binary64_3117 pow-prod-up_binary64_3899 prod-exp_binary64_24679 +-commutative_binary64_15012 pow-pow_binary64_2196 unswap-sqr_binary64_18119 log-pow_binary64_12443 pow-exp_binary64_4920 +-commutative_binary64_10579 exp-sum_binary64_2511 unpow2_binary64 +-commutative_binary64_5464 distribute-lft-in_binary64_6165 pow-unpow_binary64_17887 unswap-sqr_binary64_24939 rec-exp_binary64_16837 pow1/3_binary64_13800 pow-plus_binary64_823 cancel-sign-sub-inv_binary64_18458 pow1/3_binary64_21302 sqrt-pow1_binary64_9985 associate-/r*_binary64_5137 pow1/2_binary64_6296 1-exp_binary64_11034 distribute-rgt-in_binary64_15032 sqrt-prod_binary64_18508 difference-of-squares_binary64_13005 pow-unpow_binary64_12772 flip--_binary64_20513 associate-*l*_binary64_18433 associate-*r/_binary64_14683 cube-div_binary64_448 unswap-sqr_binary64_19483 1-exp_binary64_16831 rem-log-exp_binary64_1824 distribute-lft-in_binary64_15031 frac-times_binary64_6567 pow-sqr_binary64_2779 pow-sqr_binary64_1756 exp-prod_binary64_21954 difference-of-sqr-1_binary64_18121 pow-unpow_binary64_2883 swap-sqr_binary64_17095 cube-mult_binary64_2495 distribute-lft-out--_binary64_5145 cube-div_binary64_1130 unpow3_binary64_1167 pow1/3_binary64_17210 prod-exp_binary64_14108 +-commutative_binary64_3759 frac-add_binary64_8952 *-commutative_binary64_14672 rec-exp_binary64_11040 pow1/3_binary64_12436 distribute-rgt1-in_binary64_716 swap-sqr_binary64_13685 tan-quot_binary64_1260 pow1_binary64_25032 cbrt-prod_binary64_17841 pow-prod-up_binary64_1512 associate-*r/_binary64_12978 pow-prod-up_binary64_7991 cbrt-unprod_binary64_14092 difference-of-squares_binary64_6867 *-commutative_binary64_12285 associate-+l+_binary64_2057 unpow-prod-down_binary64_23686 *-commutative_binary64_10239 add-log-exp_binary64_24669 swap-sqr_binary64_23915 distribute-rgt-in_binary64_6166 associate-+l+_binary64_7854 difference-of-squares_binary64_10277 flip-+_binary64_21194 pow-sqr_binary64_1415 clear-num_binary64_8602 flip3-+_binary64_21223 pow-prod-down_binary64_7992 rem-sqrt-square_binary64_15095 distribute-lft-in_binary64_17077 sqrt-prod_binary64_13393 frac-times_binary64_20889 flip3--_binary64_20542 sqr-pow_binary64_13349 pow-prod-up_binary64_1853 sub-neg_binary64_6550
8×	*-commutative_binary64_15354 flip3-+_binary64_7242 frac-2neg_binary64_5886 associate--r+_binary64_12290 unswap-sqr_binary64_17778 clear-num_binary64_20537 inv-pow_binary64_1527 associate-*r/_binary64_16047 pow-prod-down_binary64_14130 associate-+r+_binary64_17401 flip-+_binary64_14033 rem-sqrt-square_binary64_6229 diff-log_binary64_18243 exp-sum_binary64_806 distribute-lft-neg-out_binary64_3788 flip--_binary64_13011 associate-/l/_binary64_14347 flip-+_binary64_7213 sub-neg_binary64_16098 frac-times_binary64_13728 frac-sub_binary64_11340 unpow2_binary64_5258 associate-*l/_binary64_19799 div-exp_binary64_16156 div-exp_binary64_14110 associate-+r+_binary64_15355 associate-/r/_binary64_6162 flip3--_binary64_23952 diff-log_binary64_9718 sub-neg_binary64_11324 inv-pow_binary64_15508 pow-flip_binary64_15497 associate-+r+_binary64_8876 frac-add_binary64_15772 flip3--_binary64_11335 1-exp_binary64_12739 difference-of-squares_binary64_11300 div-sub_binary64_765 associate-/l/_binary64_11278 associate-*r/_binary64_19116 frac-times_binary64_11341 pow-sqr_binary64_51 associate-+r+_binary64_20811 distribute-lft-out--_binary64_12988 frac-sub_binary64_15091 associate-/l/_binary64_14006 associate-/r*_binary64_8206 associate-+r+_binary64_19447 swap-sqr_binary64_8229 clear-num_binary64_10307 cbrt-unprod_binary64_12046 unpow2_binary64_3212 pow-plus_binary64_141 distribute-rgt-in_binary64_19806 distribute-lft-out--_binary64_8555 frac-times_binary64_19184 distribute-lft-in_binary64_16054 pow-prod-up_binary64_13788 flip--_binary64_22559 swap-sqr_binary64_4478 *-commutative_binary64_11944 frac-2neg_binary64_19867 clear-num_binary64_5874 cbrt-div_binary64_10340 cube-mult_binary64_2154 distribute-rgt-in_binary64_16055 associate--l+_binary64_10245 pow-pow_binary64_2878 frac-2neg_binary64_16798 pow-prod-up_binary64_2535 associate-/l/_binary64_11960 pow2_binary64_500 frac-2neg_binary64_20549 associate-/l/_binary64_23554 distribute-rgt-in_binary64_24580 associate-/l*_binary64_4115 associate-/l*_binary64_4797 associate-*l/_binary64_11274 clear-num_binary64_16786 associate-/l/_binary64_13665 distribute-lft-in_binary64_24579 associate-+l+_binary64_12287 associate-*l/_binary64_19117 difference-of-sqr-1_binary64_730 pow-flip_binary64 flip3--_binary64_22588 log-div_binary64_506 associate-/l/_binary64_24577 sqrt-div_binary64_5210 unswap-sqr_binary64_24257 sub-neg_binary64_22918 cancel-sign-sub-inv_binary64_22891 unpow-prod-down_binary64_16525 pow-plus_binary64_482 associate-*r/_binary64_25254 unswap-sqr_binary64_6525 associate-/r/_binary64_4116 associate-/r/_binary64_7867 flip--_binary64_23923 associate-+r+_binary64_6489 pow-to-exp_binary64_2875 pow-plus_binary64_3210 rec-exp_binary64_12745 unpow-prod-down_binary64_3908 +-commutative_binary64_14330 cube-prod_binary64_16474 sqrt-prod_binary64_22941 unpow3_binary64_2190 unswap-sqr_binary64_20165 pow2_binary64_1523 pow-plus_binary64 associate--r+_binary64_2060 cube-prod_binary64_15451 log-div_binary64_12100 inv-pow_binary64 div-sub_binary64_15769 sub-neg_binary64_17121 sqrt-div_binary64_10325 frac-add_binary64_2814 rec-exp_binary64_13086 flip--_binary64_24946 clear-num_binary64_6556 frac-add_binary64_9975 sub-neg_binary64_19849 associate--r+_binary64_1378 frac-2neg_binary64_11683 associate-+r+_binary64_5466 unswap-sqr_binary64_4479 cbrt-unprod_binary64_24322 swap-sqr_binary64_15049 clear-num_binary64_19855 associate-+r+_binary64_15014 frac-sub_binary64_2815 frac-add_binary64_10657 frac-times_binary64_22935 distribute-lft-in_binary64_19805 diff-log_binary64_12105 frac-2neg_binary64_6568 sum-log_binary64_8012 cube-div_binary64_2494 cube-div_binary64_14088 neg-mul-1_binary64_2461 flip3--_binary64_16450 flip3--_binary64_13040 sum-log_binary64_14832 pow-prod-down_binary64_18222 frac-2neg_binary64_10319 1-exp_binary64_13080 rem-log-exp_binary64_23989 prod-exp_binary64_12062 cube-prod_binary64 log-prod_binary64_2551 clear-num_binary64_11671 pow2_binary64_2205 cbrt-undiv_binary64_16139 distribute-lft-out--_binary64_22195 associate-/l/_binary64_6504 flip3-+_binary64_14062 distribute-lft-in_binary64_18100 cube-prod_binary64_3175 sub-neg_binary64_20872 pow2_binary64 unpow-prod-down_binary64_15502 distribute-rgt-in_binary64_18101 flip--_binary64_16421 associate-/l/_binary64_7186 sqr-pow_binary64_5165 cancel-sign-sub-inv_binary64_18799 cbrt-undiv_binary64_5568 flip--_binary64_11306 associate-/l/_binary64_8550 unswap-sqr_binary64_11981 flip3--_binary64_24975 pow-pow_binary64_10721
7×	difference-of-squares_binary64_3457 flip-+_binary64_6872 distribute-lft-out--_binary64_4804 unswap-sqr_binary64_13686 sqrt-unprod_binary64 1-exp_binary64_18195 pow-prod-up_binary64_4581 pow-to-exp_binary64_4239 unpow3_binary64_14125 associate-*l/_binary64_19458 frac-2neg_binary64_13729 flip--_binary64_10283 pow-exp_binary64_3215 frac-sub_binary64_769 rem-cube-cbrt_binary64_1465 1-exp_binary64_13762 sub-neg_binary64_15757 pow-plus_binary64_3551 1-exp_binary64_11375 associate--l-_binary64 unpow-prod-up_binary64_838 cbrt-undiv_binary64_7955 flip-+_binary64_4826 flip3--_binary64_8607 associate-*r/_binary64_6499 rec-exp_binary64_18201 rec-exp_binary64_11381 difference-of-squares_binary64_11982 associate-/l*_binary64_18778 div-sub_binary64_19520 distribute-lft-out--_binary64_10942 sqr-pow_binary64_12667 frac-times_binary64_9295 sub-neg_binary64_9960 div-inv_binary64_22581 distribute-lft-out_binary64_7872 log-pow_binary64_10397 sqr-pow_binary64_4142 flip3-+_binary64_6901 cube-mult_binary64_14089 pow-plus_binary64_13781 associate-/r*_binary64_7865 pow-flip_binary64_13792 div-sub_binary64_17474 *-commutative_binary64_4442 pow-prod-down_binary64_19586 frac-times_binary64_23958 pow-to-exp_binary64_3216 sqrt-prod_binary64_8278 pow-sqr_binary64_7894 pow1/3_binary64_12095 associate-/l*_binary64_17073 flip3--_binary64_10312 cos-diff_binary64_1579 pow-flip_binary64_834 flip3-+_binary64_4855 pow1/3_binary64_18233 clear-num_binary64_13717 sum-log_binary64_17560 pow-flip_binary64_15838 pow-pow_binary64_10380 +-commutative_binary64_15353 pow-sqr_binary64_1074 rem-exp-log_binary64_10689 cancel-sign-sub-inv_binary64_16753 rem-log-exp_binary64_12395 frac-add_binary64_24297 pow2_binary64_3569 sqrt-div_binary64_23283 log-pow_binary64_4259 rec-exp_binary64_13768 sqr-pow_binary64_6188 pow2_binary64_3228 frac-sub_binary64_19865 sqr-pow_binary64_5847 *-commutative_binary64_17059 times-frac_binary64_6904 difference-of-sqr-1_binary64_5504 +-commutative_binary64_17399 *-commutative_binary64_20128 associate-/l*_binary64_10594 add-log-exp_binary64_25010 distribute-lft-out--_binary64_3440 div-exp_binary64_7972 pow-sqr_binary64_3802 associate-/r*_binary64_6842 pow-prod-up_binary64_22995 associate--l+_binary64_2743 sqrt-prod_binary64_7596 sub-neg_binary64_5868 sub-neg_binary64_7232 flip--_binary64_8578 log-pow_binary64_3918 pow-plus_binary64_1505 frac-times_binary64_15433 unpow2_binary64_7986 cbrt-unprod_binary64_24663 log-div_binary64_2211 associate-*l/_binary64_15366 pow-sqr_binary64_22898 unpow2_binary64_5940 cbrt-undiv_binary64_22277 cbrt-prod_binary64_4542 pow-exp_binary64_5261 pow-sqr_binary64_4484 div-sub_binary64_1106 sinh-undef_binary64_3681 div-sub_binary64_424 rec-exp_binary64_2174 sqr-pow_binary64_7893
6×	cube-div_binary64_5904 rem-sqrt-square_binary64_9639 sum-log_binary64_11081 unpow2_binary64_5599 cube-div_binary64_13065 exp-prod_binary64_3199 sum-log_binary64_10399 associate-/l/_binary64_23895 pow1/3_binary64_11413 clear-num_binary64_24629 associate-*r/_binary64_10250 frac-times_binary64_9977 acos-asin_binary64_1623 +-commutative_binary64_19104 pow1/2_binary64_9706 associate-/l/_binary64_19803 pow-unpow_binary64_4247 log-div_binary64_2552 swap-sqr_binary64_9593 pow-unpow_binary64_5952 sinh-def_binary64_604 unswap-sqr_binary64_14027 difference-of-squares_binary64_4821 swap-sqr_binary64_10275 diff-log_binary64_6308 sub-neg_binary64_10983 rem-log-exp_binary64_2165 associate-/l/_binary64_15029 frac-times_binary64_19866 inv-pow_binary64_1868 pow-prod-down_binary64_6628 pow-exp_binary64_13104 sqrt-div_binary64_14076 distribute-rgt-neg-in_binary64_6174 associate--l-_binary64_6154 *-commutative_binary64_8193 pow-exp_binary64_7648 frac-2neg_binary64_15093 associate-*r*_binary64_25252 distribute-lft-neg-in_binary64_6173 diff-log_binary64_17220 pow-sqr_binary64_13691 rem-cube-cbrt_binary64_1124 *-commutative_binary64_13649 frac-times_binary64_8613 rem-log-exp_binary64_16828 flip--_binary64_13352 swap-sqr_binary64_20164 associate-/l/_binary64_9914 distribute-lft-out--_binary64_10260 rec-exp_binary64_2856 pow-flip_binary64_16520 exp-prod_binary64_3881 pow-pow_binary64_5606 frac-2neg_binary64_24641 unpow-prod-down_binary64_19253 1-exp_binary64_20582 pow-prod-down_binary64_20609 flip-+_binary64_5167 pow-unpow_binary64_13113 pow-plus_binary64_1846 associate-*r/_binary64_22185 rem-log-exp_binary64 difference-of-squares_binary64_9936 associate-*l/_binary64_17753 pow-sqr_binary64_7553 cube-prod_binary64_788 exp-prod_binary64_2517 frac-2neg_binary64_16116 pow-plus_binary64_2528 cos-diff_binary64_215 swap-sqr_binary64_9934 rem-sqrt-square_binary64_8957 swap-sqr_binary64_22892 unswap-sqr_binary64_8230 sum-log_binary64_8694 cancel-sign-sub-inv_binary64_4818 div-inv_binary64_5190 pow-unpow_binary64_7657 clear-num_binary64_7238 div-inv_binary64_4849 *-commutative_binary64_23538 associate-/l/_binary64_3094 associate-/l/_binary64_21167 frac-2neg_binary64_5545 sqrt-pow1_binary64_9644 unswap-sqr_binary64_7207 clear-num_binary64_24970 swap-sqr_binary64_23574 log-div_binary64_1870 rec-exp_binary64_13427 +-commutative_binary64_11602 frac-times_binary64_17138 *-commutative_binary64_7170 +-commutative_binary64_22173 sqr-pow_binary64_4824 associate-/l/_binary64_14688 clear-num_binary64_15081 flip--_binary64_6873 distribute-lft-in_binary64_18441 *-commutative_binary64_18082 sum-log_binary64_24039 flip-+_binary64_4144 cbrt-div_binary64_21934 pow2_binary64_159 cube-div_binary64 flip3-+_binary64_5196 difference-of-squares_binary64_10959 +-commutative_binary64_10920 diff-log_binary64_17561 rec-exp_binary64_23998 +-commutative_binary64_17058 associate-/l/_binary64_5140 cbrt-unprod_binary64_25345 cube-prod_binary64_5221 pow-prod-up_binary64_5263 flip3-+_binary64_4173 sub-neg_binary64_19508 sub-neg_binary64_15075 flip3--_binary64_6902 1-exp_binary64_2850 pow-sqr_binary64_19147 pow-to-exp_binary64_4921 pow1/3_binary64_9367 1-exp_binary64_13421 associate-*r/_binary64_6840 div-sub_binary64_2470 associate--l+_binary64_10927 diff-log_binary64_13469 associate-/l/_binary64_17075 clear-num_binary64_5533 frac-sub_binary64_17819 frac-sub_binary64_5884 associate--r-_binary64_6155 associate-+r+_binary64_10922 associate-/l*_binary64_7866 cube-prod_binary64_19202 pow-prod-up_binary64_7650 +-commutative_binary64_23196 distribute-lft-out--_binary64_11965 clear-num_binary64_18491 pow-unpow_binary64_5611 pow-prod-up_binary64_19244 swap-sqr_binary64_16413 sum-log_binary64_17219 flip3--_binary64_13381 pow1/2_binary64_9024 distribute-rgt-in_binary64_18442 associate-/l/_binary64_16734 associate-/r/_binary64_17074 flip3--_binary64_13722 cube-div_binary64_4881 1-exp_binary64_23992 diff-log_binary64_10400 +-commutative_binary64_24219 pow-flip_binary64_1175 pow-sqr_binary64_11986 pow-prod-down_binary64_25383 sum-log_binary64_9717 associate--r+_binary64_10585 pow-pow_binary64_6288 flip--_binary64_13693 associate-*r/_binary64_23549 pow-exp_binary64_5602 prod-exp_binary64_25361 rec-exp_binary64_20588 frac-2neg_binary64_24982 pow-sqr_binary64_2438 pow-unpow_binary64_6293 pow-prod-down_binary64_24019 un-div-inv_binary64_758 sqrt-pow1_binary64_8962 cos-sum_binary64_25446 rem-log-exp_binary64_14100 rec-exp_binary64_11722 associate-/l/_binary64_24918 frac-2neg_binary64_7250 swap-sqr_binary64_10616 sin-sum_binary64 pow2_binary64_1864 pow-unpow_binary64_14136 diff-log_binary64_24040 exp-sum_binary64_1488 sqrt-div_binary64_18509 frac-2neg_binary64_18503 sum-log_binary64_22334 cube-div_binary64_2835 pow-sqr_binary64_5166 pow-unpow_binary64_8680 *-commutative_binary64_13990 clear-num_binary64_16104 sum-log_binary64_13809
5×	1-exp_binary64_3532 exp-diff_binary64_10697 div-inv_binary64_20876 pow2_binary64_5615 frac-sub_binary64_14409 pow-prod-down_binary64_17881 rec-exp_binary64_3538 exp-prod_binary64_4222 sum-log_binary64_18583 *-commutative_binary64_23879 flip3-+_binary64_6560 associate-/l/_binary64_13324 cos-diff_binary64_18629 *-commutative_binary64_19446 associate-*r/_binary64_17752 inv-pow_binary64_1186 pow-exp_binary64_21970 diff-log_binary64_5626 distribute-lft1-in_binary64_20152 associate-*l/_binary64_6500 div-sub_binary64_21566 sinh-def_binary64_2650 associate-/l*_binary64_8207 +-commutative_binary64_18422 inv-pow_binary64_15849 pow-exp_binary64_17878 pow-flip_binary64_17884 sum-log_binary64_20970 log-pow_binary64_8692 pow-plus_binary64_5597 pow1/3_binary64_17551 associate-/l/_binary64_10255 *-commutative_binary64_7852 distribute-rgt1-in_binary64_20153 rem-log-exp_binary64_4211 *-commutative_binary64_9216 frac-2neg_binary64_23618 inv-pow_binary64_16531 pow-to-exp_binary64_5262 cbrt-undiv_binary64_22618 neg-sub0_binary64 log-pow_binary64_2554 prod-exp_binary64_25020 rem-sqrt-square_binary64_5888 frac-2neg_binary64_14752 sum-log_binary64_18924 frac-2neg_binary64_9978 diff-log_binary64_3580 pow1/2_binary64_10047 sqr-pow_binary64_18464 rem-exp-log_binary64_800 sub-neg_binary64_9278 count-2_binary64_20145 associate--r-_binary64_17749 div-sub_binary64_3493 inv-pow_binary64_845 sub-neg_binary64_3822 div-inv_binary64_7918 distribute-rgt-in_binary64_5825 div-inv_binary64_17125 sinh-def_binary64_2991 +-commutative_binary64_12966 sum-log_binary64_6307 rem-cube-cbrt_binary64_2829 exp-prod_binary64 difference-of-squares_binary64_13346 cbrt-undiv_binary64_14093 distribute-lft-in_binary64_5824 acos-asin_binary64_2305 distribute-rgt-in_binary64_25262 sub-neg_binary64_6891 +-commutative_binary64_6146 *-commutative_binary64_18423 +-commutative_binary64_14671 unpow2_binary64_18557 distribute-rgt-out--_binary64_373 frac-2neg_binary64_9296 distribute-lft-in_binary64_25261 sqrt-unprod_binary64_2826 +-commutative_binary64_18763 clear-num_binary64_23606 flip-+_binary64_6531 unpow3_binary64_3554 asin-acos_binary64_1622 sub-neg_binary64_10301 neg-log_binary64 distribute-lft-out_binary64_19807 div-exp_binary64_17179 pow-prod-up_binary64_13447 associate-+r-_binary64_2058 associate-/r*_binary64_4796 associate-*r/_binary64_4794 cbrt-undiv_binary64_17162 pow-sqr_binary64_13350 pow-prod-up_binary64_15152 clear-num_binary64_9284 sum-log_binary64_8353 cube-mult_binary64_3518 associate--r+_binary64_355 clear-num_binary64_9966 associate-*r/_binary64_20139 div-inv_binary64_8259 pow2_binary64_13799 rem-sqrt-square_binary64_9980 frac-times_binary64_13046 cos-sum_binary64 sqr-pow_binary64_3460 cbrt-unprod_binary64_25004 diff-log_binary64_5967 cube-div_binary64_2153 sum-log_binary64_13468 +-commutative_binary64_8533 flip3-+_binary64_20200 pow-plus_binary64_2869 diff-log_binary64_15856 sub-neg_binary64_3481 sqr-pow_binary64_13008 sum-log_binary64_4943 flip-+_binary64_20171 distribute-lft-in_binary64_6847 distribute-rgt-in_binary64_6848 un-div-inv_binary64_1099 pow-to-exp_binary64_21971 pow-prod-down_binary64_9356 clear-num_binary64_14740 distribute-lft-out_binary64_6508
4×	sub-neg_binary64_24623 associate--r+_binary64_2401 associate-/r/_binary64_24235 sum-log_binary64_4602 +-commutative_binary64_7851 +-commutative_binary64_4782 pow-pow_binary64_4924 1-exp_binary64_463 pow-sqr_binary64_14714 associate-/l/_binary64_22531 cube-div_binary64_15452 distribute-rgt-out--_binary64_1396 associate-+r+_binary64_692 difference-of-sqr-1_binary64_6868 pow-exp_binary64_14127 flip3--_binary64_4856 pow-prod-up_binary64_8673 frac-add_binary64_3496 associate--r-_binary64_2404 cube-mult_binary64_3177 sin-sum_binary64_1575 cbrt-div_binary64_25344 pow1/3_binary64_9026 distribute-lft-in_binary64_15713 flip3--_binary64_10994 cbrt-unprod_binary64_6931 associate-+l-_binary64_15699 flip3-+_binary64_25315 associate-+l-_binary64 diff-log_binary64_18925 log-div_binary64_8690 un-div-inv_binary64_11329 pow-sub_binary64_1177 associate-/l*_binary64_20142 frac-2neg_binary64_22254 rem-sqrt-square_binary64_3842 pow-plus_binary64_4574 pow1/3_binary64_2888 +-commutative_binary64_13648 cbrt-undiv_binary64_6250 pow-prod-up_binary64_16175 log-div_binary64_24035 associate-*l/_binary64_13661 rem-cube-cbrt_binary64_1806 rec-exp_binary64_6607 pow-to-exp_binary64_7649 pow-sqr_binary64_4825 cbrt-div_binary64_1474 associate-*r/_binary64_23890 exp-sum_binary64_3193 diff-log_binary64_13128 sub-neg_binary64_7573 diff-log_binary64_14492 associate-*l/_binary64_9228 rec-exp_binary64_12404 associate--r-_binary64_12293 cube-div_binary64_5563 associate-*r/_binary64_20480 associate--l-_binary64_11269 difference-of-sqr-1_binary64_2435 sum-log_binary64_23698 associate-/l/_binary64_3776 distribute-rgt-in_binary64_21511 associate-+l+_binary64_9900 1-exp_binary64_10011 prod-exp_binary64_6947 pow-exp_binary64_13445 un-div-inv_binary64_1440 sub-neg_binary64_13029 1-exp_binary64_12398 distribute-rgt-neg-in_binary64_14358 pow-flip_binary64_12769 un-div-inv_binary64_76 div-sub_binary64_15428 sub-neg_binary64_13711 rem-cube-cbrt_binary64_14082 distribute-rgt-in_binary64_7871 rec-exp_binary64_10017 clear-num_binary64_12012 log-pow_binary64_14148 associate-/l/_binary64_22190 unpow-prod-up_binary64_11750 pow-flip_binary64_2539 associate-*l/_binary64_17071 unswap-sqr_binary64_24598 1-exp_binary64_15126 div-exp_binary64_12064 log-pow_binary64_10056 inv-pow_binary64_504 cube-div_binary64_1471 pow-sqr_binary64_16078 flip--_binary64_4827 associate-/l/_binary64_23213 diff-log_binary64_15174 associate-+l+_binary64_20812 distribute-lft-neg-in_binary64_14357 cube-prod_binary64_3857 rec-exp_binary64_15132 distribute-rgt-in_binary64_15714 unswap-sqr_binary64_18460 unpow-prod-down_binary64_23004 frac-times_binary64_12023 frac-times_binary64_6908 frac-times_binary64_8272 sub-neg_binary64_4845 sqr-abs_binary64_13051 clear-num_binary64_3828 pow-prod-up_binary64_11742 tan-quot_binary64_578 rec-exp_binary64_5584 diff-log_binary64_19948 pow-prod-up_binary64_4922 pow-to-exp_binary64_13446 neg-mul-1_binary64 rem-sqrt-square_binary64_7934 unpow3_binary64 +-commutative_binary64_9556 div-inv_binary64_23263 cube-mult_binary64_13066 cube-div_binary64_19203 pow-sqr_binary64_4143 +-commutative_binary64_5123 frac-2neg_binary64_5204 clear-num_binary64_5192 associate-/l/_binary64_16052 sqrt-pow1_binary64_5211 pow-to-exp_binary64_12764 cube-prod_binary64_4198 cube-mult_binary64 associate-+r+_binary64_1033 pow1/2_binary64_5273 associate-*l/_binary64_4113 associate-+l+_binary64_23199 rem-exp-log_binary64_459 sqrt-prod_binary64_17144 sqr-pow_binary64_3801 pow-sqr_binary64_11645 clear-num_binary64_23947 +-commutative_binary64_23537 cube-prod_binary64_22953 rec-exp_binary64_469 div-sub_binary64_17133 clear-num_binary64_22242 distribute-lft-in_binary64_21510 distribute-lft-in_binary64_7870 un-div-inv_binary64_17467 div-inv_binary64_12010 associate-+r+_binary64_6148 associate--r+_binary64_14336 cos-atan_binary64_1280 un-div-inv_binary64_15762 pow-prod-up_binary64_4240 pow-sqr_binary64_18806 rem-sqrt-square_binary64_5206 *-commutative_binary64_20469 frac-2neg_binary64_14070 diff-log_binary64_14833 1-exp_binary64_5578 diff-cos_binary64_4321 frac-add_binary64_3837 associate--l+_binary64_14337 *-commutative_binary64_6488 pow-flip_binary64_493 tan-quot_binary64_18310 distribute-lft-out--_binary64_24923 unpow3_binary64_13102 flip--_binary64_10965 pow-pow_binary64_2537 log-div_binary64_165 rem-cbrt-cube_binary64_1807 cube-div_binary64_789 pow2_binary64_2546 cbrt-undiv_binary64_12047 associate-*r/_binary64_18434 distribute-lft-out--_binary64_9919 rem-sqrt-square_binary64_5547 diff-log_binary64_8013 pow1_binary64_22645 associate-+l+_binary64_8536 cos-atan_binary64_939 +-commutative_binary64_7169 difference-of-squares_binary64_8913 frac-2neg_binary64_3840 pow-pow_binary64_17882 unpow-prod-up_binary64_10727 flip-+_binary64_25286 sqrt-undiv_binary64_10329 pow-pow_binary64_14131 associate-*l/_binary64_6841 sqr-abs_binary64_1116 unpow2_binary64_2189 pow2_binary64_2887 rem-cube-cbrt_binary64_13059 associate-*r/_binary64_7522 associate-*l/_binary64_8546 frac-times_binary64_7590 sum-log_binary64_5284 frac-2neg_binary64_12024 associate-+l+_binary64_5467 associate--l-_binary64_2403 unpow2_binary64_1848 frac-add_binary64_20887 cube-div_binary64_5222 sum-log_binary64_7671 diff-log_binary64_4944 div-sub_binary64_83 pow1/2_binary64_4591 frac-times_binary64_10318 sum-log_binary64_7330 pow-prod-up_binary64_18903 frac-times_binary64_16115 sum-cubes_binary64_2807 pow-sqr_binary64_8576 *-commutative_binary64_17741 frac-add_binary64_9634 cbrt-prod_binary64_8293 frac-2neg_binary64_23959 associate-/l/_binary64_4117 rem-sqrt-square_binary64_4524 sub-div_binary64_85 difference-of-squares_binary64_24940 pow-prod-up_binary64_14811 frac-add_binary64_4178 cbrt-undiv_binary64_4545 atan-neg_binary64_944 exp-diff_binary64_2854 div-exp_binary64_4221 sub-neg_binary64_18826 sqrt-pow1_binary64_23284 associate-+r+_binary64_8194 cancel-sign-sub-inv_binary64_7546 div-exp_binary64_4562 clear-num_binary64_14058 associate-*l/_binary64_23209 associate--l+_binary64_13655 pow-flip_binary64_9018 rem-cbrt-cube_binary64_1466 frac-add_binary64_6224 cos-neg_binary64_891 1-exp_binary64_6601 diff-log_binary64_11764 distribute-frac-neg_binary64_5838 sqr-pow_binary64_16759 sqrt-pow1_binary64_4529 distribute-rgt-out_binary64_24242 inv-pow_binary64_17895 associate-/l/_binary64_8209 swap-sqr_binary64_11980 sub-neg_binary64_7914
3×	associate-*l/_binary64_10251 pow-plus_binary64_5256 pow-unpow_binary64_18569 un-div-inv_binary64_16444 associate-+l-_binary64_10584 cbrt-prod_binary64_14431 rem-sqrt-square_binary64_23279 flip3-+_binary64_8265 pow-unpow_binary64_23684 associate-/r*_binary64_20823 associate-+r+_binary64_19106 rem-cube-cbrt_binary64_2488 pow-plus_binary64_7643 pow1/3_binary64_14482 rem-cube-cbrt_binary64_4875 sub-neg_binary64_21554 +-commutative_binary64_13307 flip3--_binary64_24293 flip-+_binary64_8236 inv-pow_binary64_9029 pow-unpow_binary64_18228 inv-pow_binary64_18236 diff-log_binary64_20630 un-div-inv_binary64_16785 pow-to-exp_binary64_13105 distribute-lft-neg-in_binary64_10606 distribute-rgt-neg-out_binary64_7540 1-exp_binary64_24674 sum-log_binary64_17901 clear-num_binary64_10648 sub-div_binary64_1449 pow-prod-up_binary64_17539 sqrt-prod_binary64_15780 rem-sqrt-square_binary64_21915 cube-mult_binary64_16817 flip-+_binary64_20853 pow2_binary64_7661 cube-div_binary64_107 pow-unpow_binary64_16864 pow-pow_binary64_5265 +-commutative_binary64_20809 associate-+l+_binary64_14333 sub-neg_binary64_16780 distribute-lft-out_binary64_9918 associate-+r+_binary64_24221 sqr-pow_binary64_8575 frac-2neg_binary64_23277 pow-unpow_binary64_21297 log-prod_binary64_3915 rem-log-exp_binary64_6257 pow-plus_binary64_22988 cancel-sign-sub-inv_binary64_4477 cancel-sign-sub-inv_binary64_20504 pow2_binary64_5274 pow1/3_binary64_6639 clear-num_binary64_23265 +-commutative_binary64_4441 pow-pow_binary64_12767 exp-to-pow_binary64_10711 log-prod_binary64_21647 sqrt-prod_binary64_4868 div-sub_binary64_23953 associate-/l/_binary64_4799 pow-prod-down_binary64_24701 associate--r+_binary64_1719 pow2_binary64_8002 un-div-inv_binary64_10647 distribute-lft-out--_binary64_6850 sqr-pow_binary64_17782 rem-log-exp_binary64_1483 unpow3_binary64_4918 pow-sqr_binary64_17442 unpow2_binary64_1166 1-exp_binary64_14785 distribute-lft-neg-in_binary64_9583 frac-sub_binary64_1451 flip3-+_binary64_12357 associate-+l+_binary64_2739 distribute-frac-neg_binary64_2087 inv-pow_binary64_5619 div-sub_binary64_12359 diff-log_binary64_6990 distribute-rgt-out--_binary64_14354 un-div-inv_binary64_15421 associate-/l/_binary64_20485 sin-diff_binary64_214 pow-unpow_binary64_15500 pow-unpow_binary64_9362 acos-neg_binary64_2307 rem-cube-cbrt_binary64_5557 pow-unpow_binary64_3224 rem-cube-cbrt_binary64_783 un-div-inv_binary64_17808 sub-neg_binary64_23941 *-commutative_binary64_24220 sub-neg_binary64_21213 distribute-rgt1-in_binary64_1739 flip-+_binary64_7554 clear-num_binary64_22583 associate-+l+_binary64_16379 sum-log_binary64_6648 pow1/3_binary64_21643 acos-asin_binary64_1964 pow-flip_binary64_11064 distribute-rgt-out--_binary64_21515 unpow3_binary64_16853 div-sub_binary64_24635 inv-pow_binary64_19600 pow-unpow_binary64_19251 cbrt-div_binary64_13068 pow-pow_binary64_8675 rem-cbrt-cube_binary64_1125 rem-cube-cbrt_binary64_2147 log-div_binary64_14146 pow-plus_binary64_7984 clear-num_binary64_4851 un-div-inv_binary64_3486 frac-2neg_binary64_24300 distribute-lft-out_binary64_4803 cancel-sign-sub-inv_binary64_21186 frac-2neg_binary64_7932 cbrt-undiv_binary64_8296 div-exp_binary64_8313 div-sub_binary64_15087 rem-cbrt-cube_binary64_443 sub-neg_binary64_18485 associate-*r/_binary64_24913 *-commutative_binary64_6829 sqr-pow_binary64_21192 sqr-pow_binary64_11644 1-exp_binary64_8647 rem-log-exp_binary64_119 diff-log_binary64_4603 pow2_binary64_17550 frac-2neg_binary64_18844 clear-num_binary64_24288 log-prod_binary64_8689 pow2_binary64_13117 associate-*l*_binary64_23207 +-commutative_binary64_18081 +-commutative_binary64_9897 div-sub_binary64_11677 add-log-exp_binary64_22623 cancel-sign-sub-inv_binary64_23914 neg-mul-1_binary64_7576 cbrt-div_binary64_4884 associate-/l/_binary64_9232 associate-+r-_binary64_12 div-exp_binary64_23317 pow-unpow_binary64_3565 diff-log_binary64_6649 distribute-lft-out_binary64_6849 pow-flip_binary64_18225 associate-+l+_binary64_18084 rem-cube-cbrt_binary64 difference-cubes_binary64_80 pow-pow_binary64_7652 *-commutative_binary64_24561 pow-sub_binary64_2541 pow-plus_binary64_13099 associate--r+_binary64_696 cbrt-undiv_binary64_23300 sum-log_binary64_4261 flip-+_binary64_12328 sub-neg_binary64_4504 clear-num_binary64_17127 pow-exp_binary64_8671 div-sub_binary64_5880 pow2_binary64_13458 rec-exp_binary64_24680 unpow2_binary64_2871 cos-diff_binary64_897 rem-log-exp_binary64_460 pow1/2_binary64_21982 +-commutative_binary64_6487 pow2_binary64_19255 sub-neg_binary64_14734 sqrt-prod_binary64_20554 div-sub_binary64_8608 pow-plus_binary64_17532 pow-prod-down_binary64_6969 associate--l+_binary64_23885 associate-*r*_binary64_23206 frac-2neg_binary64_22595 clear-num_binary64_7920 pow-unpow_binary64_11749 pow-prod-down_binary64_24360 pow-plus_binary64_19237 sub-neg_binary64_20531 pow-sqr_binary64_15055 rec-exp_binary64_14791 difference-of-sqr-1_binary64_10960 flip3-+_binary64_20882 rem-cube-cbrt_binary64_442 pow-plus_binary64_3892 sqr-abs_binary64 pow1/3_binary64_21984 +-commutative_binary64_23878 log-div_binary64 sqrt-pow1_binary64_18510 rec-exp_binary64_8653 associate--l-_binary64_2062 cube-mult_binary64_4882 unpow2_binary64_4917 distribute-rgt-out--_binary64_16059 unpow2_binary64_21285 distribute-rgt-neg-in_binary64_9584 pow2_binary64_3910 pow-to-exp_binary64_18561 rem-sqrt-square_binary64_18505 pow-unpow_binary64_9021 associate-*l/_binary64_5136 pow2_binary64_4592 distribute-rgt-out--_binary64 distribute-rgt-neg-in_binary64_10607 pow-unpow_binary64_13454 pow-flip_binary64_19589 distribute-lft-out_binary64_5144 associate-+l+_binary64_3421 distribute-rgt-out--_binary64_32 unpow-prod-down_binary64_13797 associate-*l/_binary64_10933 frac-2neg_binary64_4863 clear-num_binary64_18832 pow-exp_binary64_18560 div-sub_binary64_3834 pow-to-exp_binary64_17879 rec-exp_binary64_21270 frac-2neg_binary64_10660 div-sub_binary64_9631 pow1/2_binary64_18572 pow-plus_binary64_13440 pow-unpow_binary64_17546 frac-2neg_binary64_17139 pow1/2_binary64_23346 unswap-sqr_binary64_6866 diff-log_binary64_8695 flip3-+_binary64_7583 associate-+r-_binary64_11947 1-exp_binary64_21264 diff-log_binary64_7672 flip--_binary64_24264 associate-*l/_binary64_12979 distribute-lft-neg-out_binary64 +-commutative_binary64_10238 +-commutative_binary64_7510
2×	distribute-lft-in_binary64_19123 distribute-rgt-out_binary64_9920 exp-to-pow_binary64_2868 div-sub_binary64_3152 rem-cube-cbrt_binary64_8967 rec-exp_binary64_18542 sqr-pow_binary64_8916 distribute-rgt-neg-out_binary64_720 1-exp_binary64_23651 inv-pow_binary64_20623 associate-+r+_binary64_14332 cube-mult_binary64_5564 cube-mult_binary64_15453 rem-cbrt-cube_binary64_102 rem-sqrt-square_binary64_14072 distribute-lft-neg-in_binary64_376 distribute-rgt-out_binary64_1054 unpow3_binary64_5259 sub-div_binary64_9633 pow-exp_binary64_11740 pow-sqr_binary64_20170 rem-square-sqrt_binary64_13048 frac-sub_binary64_16114 rem-exp-log_binary64_1823 pow2_binary64_23006 neg-sub0_binary64_5870 frac-sub_binary64_14750 pow-pow_binary64_23679 +-commutative_binary64_22855 exp-to-pow_binary64_822 rec-exp_binary64_22293 cos-2_binary64_561 pow-sqr_binary64_10622 pow-plus_binary64_24352 associate-*l*_binary64_25253 distribute-lft-neg-out_binary64_6175 rem-cube-cbrt_binary64_101 pow-plus_binary64_1164 sum-cubes_binary64_16447 *-commutative_binary64_25243 pow-exp_binary64_3556 pow-sqr_binary64_23580 div-inv_binary64_20194 flip3-+_binary64_20541 distribute-rgt-neg-out_binary64_5835 flip-+_binary64_19830 pow2_binary64_24370 distribute-lft-out--_binary64_22877 pow-plus_binary64_4233 rem-sqrt-square_binary64_13390 cube-div_binary64_8632 rec-exp_binary64_9676 distribute-lft-in_binary64_21169 associate--l+_binary64_7858 1-exp_binary64_22287 inv-pow_binary64_12439 pow-to-exp_binary64_11741 frac-times_binary64_22253 distribute-lft-out_binary64_7190 sqrt-pow2_binary64_10327 sqr-pow_binary64_17441 pow-plus_binary64_14804 un-div-inv_binary64_12352 associate-+l+_binary64_17061 frac-times_binary64_14410 rec-exp_binary64_19906 unpow3_binary64_826 log-div_binary64_10395 distribute-lft-in_binary64_11280 pow-flip_binary64_11405 distribute-rgt-out_binary64_16399 rem-log-exp_binary64_10690 div-exp_binary64_20248 pow-prod-up_binary64_9696 distribute-rgt-out_binary64_2759 rem-sqrt-square_binary64_14413 frac-times_binary64_17820 associate-/r/_binary64_18438 distribute-rgt-out--_binary64_16741 unpow3_binary64_8669 pow-pow_binary64_13108 pow-pow_binary64_5947 pow3_binary64 rem-cbrt-cube_binary64 distribute-rgt-in_binary64_11281 pow1/3_binary64_15846 pow2_binary64_1182 1-exp_binary64_5919 pow-prod-up_binary64_24018 distribute-rgt-in_binary64_7530 div-exp_binary64_6949 un-div-inv_binary64_13375 pow1/3_binary64_12777 pow-prod-up_binary64_6286 associate--r+_binary64_24225 pow-sqr_binary64_9940 distribute-rgt-in_binary64_5143 unpow2_binary64_4235 rem-exp-log_binary64_1482 pow1/2_binary64_13457 diff-log_binary64_19266 rec-exp_binary64_22634 pow-to-exp_binary64_3898 pow-to-exp_binary64_14128 associate-+l+_binary64_3080 1-exp_binary64_18536 associate-+l+_binary64_2398 clear-num_binary64_4169 pow-exp_binary64_18219 1-exp_binary64_3191 cube-mult_binary64_17499 associate-+r+_binary64_9899 rem-cube-cbrt_binary64_3511 associate--l+_binary64_10586 sub-div_binary64_19863 pow-exp_binary64_3897 div-sub_binary64_16110 sqrt-div_binary64_20555 pow-to-exp_binary64_21289 div-sub_binary64_22589 associate-+l+_binary64_6149 log-div_binary64_4257 associate-/l/_binary64_12301 associate-+l-_binary64_20814 distribute-rgt-neg-out_binary64_14360 associate--l+_binary64_5812 unpow3_binary64_5600 frac-2neg_binary64_4181 unpow3_binary64_3213 rec-exp_binary64_3197 associate-+r-_binary64_9901 distribute-lft-out--_binary64_8896 pow-pow_binary64_9357 pow-pow_binary64_18564 cube-prod_binary64_5562 pow-prod-down_binary64_23337 unpow3_binary64_19240 diff-log_binary64_20971 cancel-sign-sub-inv_binary64_19140 associate-/r/_binary64_6844 unpow3_binary64_5941 distribute-lft-neg-out_binary64_9585 cube-mult_binary64_19204 diff-log_binary64_16197 pow1/2_binary64_14480 distribute-frac-neg_binary64_2428 difference-of-squares_binary64_22894 associate-+l+_binary64_19107 pow-to-exp_binary64_8672 sqrt-unprod_binary64_13056 associate-+r-_binary64_4445 pow2_binary64_4251 cube-mult_binary64_5223 pow-prod-up_binary64_10037 associate--l-_binary64_2744 rem-cbrt-cube_binary64_2830 pow-plus_binary64_4915 pow-flip_binary64_12428 associate-+r+_binary64_4443 sqrt-div_binary64_3164 pow2_binary64_16186 cbrt-undiv_binary64_6932 pow-plus_binary64_16168 sqrt-div_binary64_15781 pow-prod-up_binary64_24359 pow-prod-up_binary64_10719 sqrt-pow1_binary64_21579 pow-to-exp_binary64_5603 cube-mult_binary64_8974 pow-prod-up_binary64_20949 unpow3_binary64_9010 exp-diff_binary64_126 sub-div_binary64_9292 cbrt-prod_binary64_25343 associate-+l-_binary64_15358 associate-+r+_binary64_17060 distribute-rgt-out--_binary64_12649 associate--l+_binary64_15019 pow2_binary64_11753 div-sub_binary64_19861 sqr-pow_binary64_19146 associate-/r/_binary64_20143 associate-+l+_binary64_12969 cos-sum_binary64_553 pow-exp_binary64_9012 tan-sum_binary64 pow-pow_binary64_4242 pow-plus_binary64_8666 pow-flip_binary64_6290 cube-div_binary64_8973 pow-sqr_binary64_24262 +-commutative_binary64_4100 exp-diff_binary64_1490 cos-diff_binary64_2261 distribute-lft-in_binary64_7529 rem-cube-cbrt_binary64_17492 sqr-pow_binary64_21874 pow2_binary64_8684 diff-log_binary64_14151 sinh-undef_binary64_612 un-div-inv_binary64_9624 rec-exp_binary64_17519 pow1/3_binary64_20620 exp-lft-sqr_binary64_11727 associate-/r/_binary64_5139 sqr-pow_binary64_15395 cube-mult_binary64_790 sqrt-pow1_binary64_14418 associate--r+_binary64_3083 div-sub_binary64_6562 unpow3_binary64_17535 diff-log_binary64_13810 pow-plus_binary64_18896 associate-*l/_binary64_16048 cbrt-undiv_binary64_4204 cube-div_binary64_3517 pow-pow_binary64_11744 associate-/l/_binary64_20144 unsub-neg_binary64_72 distribute-rgt-in_binary64_21170 sqrt-pow1_binary64_14077 sin-mult_binary64_233 pow-flip_binary64_16861 sum-log_binary64_5966 pow-exp_binary64_5943 pow-exp_binary64_17537 associate-+l+_binary64_4785 pow-flip_binary64_2198 pow1/2_binary64_14139 pow-exp_binary64_21288 sub-div_binary64_11679 sinh-def_binary64_3673 +-commutative_binary64_5805 associate-+r-_binary64_15698 un-div-inv_binary64_19513 sqr-pow_binary64_22897 neg-mul-1_binary64_415 unpow1/3_binary64_4237 pow-sqr_binary64_17101 neg-mul-1_binary64_6212 un-div-inv_binary64_2122 distribute-lft-in_binary64_20146 associate--l+_binary64_17747 distribute-lft-out_binary64_12305 1-exp_binary64_9670 pow1/3_binary64_25394 sqrt-div_binary64_17145 associate--l-_binary64_698 sqrt-unprod_binary64_439 div-sub_binary64_18838 un-div-inv_binary64_1781 div-sub_binary64_24976 clear-num_binary64_8261 rem-cbrt-cube_binary64_14083 pow2_binary64_4933 cube-mult_binary64_5905 flip3-+_binary64_22928 rec-exp_binary64_5925 inv-pow_binary64_2550 1-exp_binary64_17513 pow-sqr_binary64_23921 sqrt-pow1_binary64_13395 sub-neg_binary64_19167 flip-+_binary64_22899 flip-+_binary64_20512 rem-sqrt-square_binary64_21574 rem-square-sqrt_binary64 distribute-rgt1-in_binary64_1057 frac-sub_binary64_9294 associate-+l+_binary64_11605 distribute-rgt-in_binary64_19124 div-sub_binary64_22248 cbrt-div_binary64_15455 sub-div_binary64 diff-log_binary64_22335 associate-/l/_binary64_6845 difference-of-sqr-1_binary64_10619 pow-plus_binary64_11735 inv-pow_binary64_16872 cube-div_binary64_17498 pow-sqr_binary64_10281 distribute-rgt-in_binary64_24239 unpow2_binary64_2530 div-sub_binary64_13723 sqr-abs_binary64_5549 pow-prod-up_binary64_20267 pow-prod-up_binary64_23677 unpow3_binary64_15489 frac-2neg_binary64_8273 distribute-rgt-neg-out_binary64_38 +-commutative_binary64_8192 associate-/l/_binary64_5481 rem-exp-log_binary64_2505 rem-cbrt-cube_binary64_2489 difference-cubes_binary64_14061 distribute-rgt-in_binary64_20147 pow2_binary64_18914 inv-pow_binary64_6301 exp-diff_binary64_21609 cube-mult_binary64_8633 inv-pow_binary64_12780 unsub-neg_binary64_3823 inv-pow_binary64_13803 neg-log_binary64_512 cbrt-undiv_binary64_20231 div-inv_binary64_4508 distribute-rgt-neg-in_binary64_377 frac-sub_binary64_7930 inv-pow_binary64_2209 cos-sum_binary64_4645 cbrt-div_binary64_17842 neg-mul-1_binary64_14396 pow-to-exp_binary64_5944 inv-pow_binary64_11075 associate-+l+_binary64_3762 pow-sqr_binary64_20852 associate-+l+_binary64_10923 sum-log_binary64_23016 associate-*l/_binary64_7523 frac-sub_binary64_9635 rem-square-sqrt_binary64_5546 sqrt-unprod_binary64_5554 pow-prod-up_binary64_17198 pow-pow_binary64_21292 pow-sqr_binary64_9599 associate-/r/_binary64_8208 pow2_binary64_14822 rem-cube-cbrt_binary64_8626 rec-exp_binary64_23657 neg-sub0_binary64_2460 pow1/2_binary64_21641 1-exp_binary64_22628 distribute-lft-in_binary64_24238 pow-prod-up_binary64_10378 associate--l+_binary64_9904 sqr-pow_binary64_7552 rem-cube-cbrt_binary64_18174 1-exp_binary64_19900 div-sub_binary64_5198 pow-flip_binary64_20612 flip3-+_binary64_19859 distribute-lft-in_binary64_5142
1×	associate-+r-_binary64_2740 diff-log_binary64_16879 sum-log_binary64_14150 pow-sqr_binary64_8235 div-sub_binary64_16792 pow-plus_binary64_10712 +-commutative_binary64_16035 associate-/l*_binary64_20824 rem-cbrt-cube_binary64_19198 exp-diff_binary64_12743 diff-log_binary64_16538 diff-log_binary64_9036 flip-+_binary64_16079 div-sub_binary64_14746 un-div-inv_binary64_12693 pow-sub_binary64_11748 associate-+l-_binary64_16722 pow-sqr_binary64_16419 sqr-pow_binary64_13690 distribute-rgt-out--_binary64_2760 log-div_binary64_21648 associate-*l/_binary64_20481 div-sub_binary64_16451 pow-to-exp_binary64_19243 rem-sqrt-square_binary64_15777 sqrt-undiv_binary64_2486 sqrt-unprod_binary64_2144 sqr-abs_binary64_93 pow-to-exp_binary64_3557 pow-plus_binary64_14463 rem-3cbrt-lft_binary64_5218 sub-neg_binary64_20190 rem-log-exp_binary64_10349 sinh-def_binary64_4014 associate-/r*_binary64_6160 distribute-rgt-in_binary64_4461 associate-+r-_binary64_1376 rem-square-sqrt_binary64_12025 rem-square-sqrt_binary64_15094 sqrt-pow1_binary64_20556 sqrt-pow1_binary64_17146 exp-diff_binary64_10356 neg-mul-1_binary64_9622 rem-sqrt-square_binary64_20551 sqrt-unprod_binary64_780 sqrt-undiv_binary64 distribute-rgt-out_binary64_14012 remove-double-div_binary64_15740 diff-log_binary64_21312 rem-cube-cbrt_binary64_5216 clear-num_binary64_6215 +-commutative_binary64_8874 associate--l-_binary64_17407 frac-times_binary64_11000 exp-to-pow_binary64_4232 distribute-rgt-neg-out_binary64_13678 rem-cbrt-cube_binary64_5558 cbrt-div_binary64_17501 associate-+r-_binary64_3763 un-div-inv_binary64_19854 frac-2neg_binary64_20890 pow-plus_binary64_23670 exp-sum_binary64 pow-plus_binary64_16509 rem-log-exp_binary64_21602 sqr-pow_binary64_23579 un-div-inv_binary64_18490 inv-pow_binary64_24033 sqrt-undiv_binary64_23287 associate--r+_binary64_2742 pow3_binary64_5276 +-commutative_binary64_13989 pow-flip_binary64_13451 pow-pow_binary64_15495 diff-log_binary64_21653 unsub-neg_binary64_9961 rem-square-sqrt_binary64_3500 distribute-lft-neg-in_binary64_9924 unpow3_binary64_3895 pow2_binary64_12435 sum-log_binary64_21311 distribute-rgt-out--_binary64_11626 pow1/2_binary64_20618 div-sub_binary64_4857 associate-+l+_binary64_14674 associate--r-_binary64_18090 pow-prod-up_binary64_14470 div-sub_binary64_24294 associate-+r-_binary64 cube-mult_binary64_3859 rem-square-sqrt_binary64_2818 exp-sum_binary64_124 distribute-rgt-neg-out_binary64_13337 exp-neg_binary64_10355 un-div-inv_binary64_24287 pow-flip_binary64_22317 rem-log-exp_binary64_3188 rem-log-exp_binary64_11031 difference-of-sqr--1_binary64_6869 distribute-lft-out_binary64_18784 inv-pow_binary64_13462 *-commutative_binary64_23197 associate--r-_binary64_22182 associate-+r-_binary64_17744 frac-sub_binary64_5543 rem-cube-cbrt_binary64_19197 associate--r+_binary64_8198 associate-+r-_binary64_14334 unpow3_binary64_18217 distribute-lft-out_binary64_19125 rem-exp-log_binary64_118 cbrt-div_binary64_9658 distribute-lft-out_binary64_23217 rem-log-exp_binary64_8644 pow-to-exp_binary64_15492 associate-+l+_binary64_9559 distribute-lft-out--_binary64_13329 div-sub_binary64_8267 cube-mult_binary64_4200 sqrt-pow1_binary64_15782 sub-neg_binary64_24282 inv-pow_binary64_24715 rem-cbrt-cube_binary64_2148 associate-+l+_binary64_693 unsub-neg_binary64_754 exp-neg_binary64_12742 cancel-sign-sub-inv_binary64_24255 rem-3cbrt-lft_binary64_5559 frac-times_binary64_5203 unsub-neg_binary64_16099 unpow1/3_binary64_17877 div-sub_binary64_20543 rem-cbrt-cube_binary64_13060 inv-pow_binary64_14826 pow-exp_binary64_23675 sqr-abs_binary64_434 unpow1/3_binary64_4919 cube-div_binary64_18180 div-inv_binary64_6895 pow-plus_binary64_12076 associate-+r+_binary64_23198 div-sub_binary64_7244 inv-pow_binary64_5960 rem-square-sqrt_binary64_1113 pow2_binary64_17209 pow1/3_binary64_15505 sqrt-unprod_binary64_7941 pow-sqr_binary64_14373 distribute-rgt-neg-out_binary64_16065 associate--r-_binary64_358 frac-sub_binary64_21570 rem-exp-log_binary64_2846 sub-div_binary64_12702 pow-pow_binary64_18223 pow-to-exp_binary64_9013 neg-mul-1_binary64_10645 sum-log_binary64_16196 tanh-def-a_binary64_3675 un-div-inv_binary64_23946 exp-to-pow_binary64_1845 sin-mult_binary64_4666 pow2_binary64_15163 associate--l+_binary64_7517 +-commutative_binary64_21150 pow-plus_binary64_15145 div-sub_binary64_12700 pow-flip_binary64_15156 tanh-def-c_binary64_3677 distribute-rgt-out--_binary64_17764 distribute-rgt-out--_binary64_9239 rem-cbrt-cube_binary64_16811 +-commutative_binary64_20468 rem-sqrt-square_binary64_17141 cube-mult_binary64_18181 distribute-lft-in_binary64_4801 rem-square-sqrt_binary64_3841 distribute-rgt-out--_binary64_8216 associate-+l-_binary64_18086 1-exp_binary64_21605 e-exp-1_binary64_805 pow-flip_binary64_5949 distribute-rgt-neg-out_binary64_7199 unpow1/3_binary64_3214 unpow1/3_binary64_10716 pow1/3_binary64_17892 unsub-neg_binary64_9620 sqr-pow_binary64_18123 un-div-inv_binary64_23605 pow2_binary64_10389 associate--l-_binary64_16 pow-exp_binary64_16855 tanh-def-b_binary64_3676 pow3_binary64_5617 pow-pow_binary64_9016 un-div-inv_binary64_18149 pow-flip_binary64_22658 rem-exp-log_binary64 pow1/2_binary64_15844 difference-of-squares_binary64_4480 frac-2neg_binary64_6227 flip3-+_binary64_16108 sub-div_binary64_16112 associate-/l*_binary64_6161 rem-3cbrt-lft_binary64_5900 associate-+r+_binary64_3420 exp-diff_binary64_3195 sum-log_binary64_20288 neg-sub0_binary64_12690 clear-num_binary64_6897 distribute-rgt-out--_binary64_16400 difference-of-squares_binary64_13687 pow2_binary64_20960 rec-exp_binary64_24339 associate--l-_binary64_8200 neg-sub0_binary64_9962 distribute-lft-in_binary64_18782 clear-num_binary64_20878 distribute-rgt-in_binary64_18783 pow2_binary64_16527 un-div-inv_binary64_13034 acos-asin_binary64_21742 rem-cbrt-cube_binary64_3512 unpow1/3_binary64_486 un-div-inv_binary64_8601 unpow3_binary64_4236 unpow1/3_binary64_7647 *-commutative_binary64_24902 pow-flip_binary64_2880 pow1/2_binary64_17208 distribute-rgt-in_binary64_3438 sum-log_binary64_9035 pow-flip_binary64_3221 sum-log_binary64_12445 associate--l+_binary64_4107 rem-cbrt-cube_binary64_5899 rem-cube-cbrt_binary64_16810 sum-cubes_binary64_7922 inv-pow_binary64_8688 distribute-lft-in_binary64_3437 pow-to-exp_binary64_18220 unpow1/3_binary64_5260 sinh-undef_binary64_4022 frac-times_binary64_24981 pow-to-exp_binary64_22994 un-div-inv_binary64_8942 rem-cube-cbrt_binary64_15446 inv-pow_binary64_10734 inv-pow_binary64_21305 sqrt-unprod_binary64_15102 rem-cbrt-cube_binary64_8627 pow2_binary64_23688 pow-prod-down_binary64_25042 prod-exp_binary64_23315 associate-+r-_binary64_353 pow2_binary64_10730 inv-pow_binary64_15167 pow-flip_binary64_24022 pow-pow_binary64_19246 cos-sum_binary64_2258 inv-pow_binary64_11416 unpow1/3_binary64_145 frac-2neg_binary64_6909 sqr-abs_binary64_3503 difference-of-sqr-1_binary64_9937 diff-log_binary64_12787 diff-log_binary64_24381 associate--r-_binary64_17067 associate-*l/_binary64_24914 frac-add_binary64_13726 associate--r+_binary64_10244 distribute-rgt-out--_binary64_9580 rem-square-sqrt_binary64_2136 pow-sqr_binary64_12327 unsub-neg_binary64_7233 div-sub_binary64_5539 pow2_binary64_14481 +-commutative_binary64_20127 tanh-undef_binary64_3683 pow-plus_binary64_8325 pow-to-exp_binary64_23676 inv-pow_binary64_2891 pow-plus_binary64_10371 distribute-lft-out_binary64_15033 sqr-abs_binary64_7936 inv-pow_binary64_3573 distribute-rgt-in_binary64_4802 neg-log_binary64_10060 distribute-lft-in_binary64_4460 pow-pow_binary64_16859 sub-div_binary64_14407 associate-+l-_binary64_7856 rem-log-exp_binary64_3870 pow-prod-up_binary64_12424 associate--r-_binary64_2063 rem-cbrt-cube_binary64_5217 associate-+r-_binary64_8196 pow2_binary64_20278 associate-/l*_binary64_6843 associate-+l-_binary64_2059 inv-pow_binary64_6642 unswap-sqr_binary64_23234 associate-+r-_binary64_17062 pow-flip_binary64_6631 cube-mult_binary64_22955 un-div-inv_binary64_20536 pow-pow_binary64_17541 pow-to-exp_binary64_17538 pow-exp_binary64_22993 +-commutative_binary64_12284 diff-log_binary64_9377 un-div-inv_binary64_2804 pow2_binary64_24029 frac-sub_binary64_12704 associate-+l-_binary64_8538 pow-flip_binary64_14815 sqr-abs_binary64_2139 pow-exp_binary64_19242 distribute-rgt1-in_binary64_24245 inv-pow_binary64_22669 associate-+r-_binary64_1035 distribute-rgt-in_binary64_23557 pow-plus_binary64_17191 pow-plus_binary64_9689 pow-prod-up_binary64_8332 pow-flip_binary64_24704 associate-+r-_binary64_15357 pow-plus_binary64_24011 unpow3_binary64_22991 rem-exp-log_binary64_4210 diff-log_binary64_7331 associate--l-_binary64_3085 div-sub_binary64_14405 frac-times_binary64_10659 unpow2_binary64_7645 inv-pow_binary64_22328 associate-+l-_binary64_4787 distribute-rgt-out--_binary64_714 pow3_binary64_5958 neg-mul-1_binary64_9963 sqrt-pow2_binary64_17829 rem-cbrt-cube_binary64_17493 pow-sub_binary64_10725 rem-cbrt-cube_binary64_8968 log-div_binary64_1529 associate--l-_binary64_357 associate-/l/_binary64_10596 rem-cube-cbrt_binary64_5898 sqrt-unprod_binary64_1121 pow2_binary64_8343 pow-flip_binary64_3562 pow-plus_binary64_10030 mul0-rgt_binary64 pow2_binary64_9707 rem-square-sqrt_binary64_772 sqr-cos-a_binary64_4660 flip3--_binary64_20201 sqr-abs_binary64_3844 1-exp_binary64_24333 diff-log_binary64_21994 distribute-lft-in_binary64_23556 +-commutative_binary64_17740 pow3_binary64_502 pow-plus_binary64_12417 pow-pow_binary64_3219 sub-div_binary64_8269 pow-to-exp_binary64_16856 pow-pow_binary64_3560 pow-flip_binary64_21294 sqr-abs_binary64_15097 pow-exp_binary64_15491 rem-log-exp_binary64_2506 pow-flip_binary64_8677 inv-pow_binary64_3232 sqrt-unprod_binary64_12033 +-commutative_binary64_19445 rec-exp_binary64_21611 associate-+l-_binary64_9902 sqrt-pow2_binary64_438 pow2_binary64_10048 cbrt-unprod_binary64_23299 sub-div_binary64_21568 sum-log_binary64_20629 cancel-sign-sub-inv_binary64_20163 sqrt-unprod_binary64_3508 associate-+l+_binary64_13651 flip--_binary64_20172 distribute-lft-out--_binary64_13670 clear-num_binary64_20196 pow-plus_binary64_20942 exp-diff_binary64_2513 diff-log_binary64_20289 distribute-lft-out_binary64_16056 pow-sub_binary64_836 unsub-neg_binary64_13712 associate--l+_binary64 pow-flip_binary64_10723 pow-pow_binary64_13449 associate--l+_binary64_14678 sum-log_binary64_19606 rem-exp-log_binary64_21601 frac-times_binary64_20548 associate-/l/_binary64_12983 diff-log_binary64_3921 log-div_binary64_3234 rem-square-sqrt_binary64_7933 rem-cbrt-cube_binary64_15447 neg-sub0_binary64_10303 pow2_binary64_12094 unsub-neg_binary64_13371 distribute-rgt1-in_binary64_2762 rem-cbrt-cube_binary64_4876 sqrt-unprod_binary64_3849 frac-2neg_binary64_20208 div-sub_binary64_2811 pow-prod-up_binary64_16516 pow-plus_binary64_20260 asin-acos_binary64_599 frac-sub_binary64_8271 un-div-inv_binary64_15080 sin-cos-mult_binary64_234

Calls

4647 calls:

511.0ms	(*.f64 (/.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)))) PI.f64) (sqrt.f64 2)) (/.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)))) t) (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 3)))))
416.0ms	(*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))
341.0ms	(*.f64 t (/.f64 (*.f64 9/2 z) a))
286.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))))
252.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z y) (sqrt.f64 y))))