rewrite1.1min (1%)

Algorithm

1633×

rewrite-expression-head

Rules

12149×	times-frac_binary64_766
6405×	add-sqr-sqrt_binary64_782
6370×	*-un-lft-identity_binary64_760
5557×	add-cube-cbrt_binary64_795
5353×	add-exp-log_binary64
4747×	times-frac_binary64_1789
4423×	times-frac_binary64
4331×	*-un-lft-identity_binary64_1783
4209×	add-sqr-sqrt_binary64
4163×	*-un-lft-identity_binary64
3738×	*-un-lft-identity_binary64_1442
3494×	add-exp-log_binary64_457
3362×	add-sqr-sqrt_binary64_1805
3261×	add-sqr-sqrt_binary64_100
3259×	prod-exp_binary64
3129×	*-un-lft-identity_binary64_78
3119×	*-un-lft-identity_binary64_1101
3050×	times-frac_binary64_21226
2978×	add-sqr-sqrt_binary64_1123
2906×	times-frac_binary64_1107
2836×	add-sqr-sqrt_binary64_1464
2829×	add-cbrt-cube_binary64
2826×	times-frac_binary64_1448
2824×	times-frac_binary64_84
2783×	add-cube-cbrt_binary64
2640×	add-sqr-sqrt_binary64_441
2525×	times-frac_binary64_6222
2336×	add-cube-cbrt_binary64_1818
2304×	add-exp-log_binary64_1139
2152×	*-un-lft-identity_binary64_419
2096×	add-cbrt-cube_binary64_455
2083×	add-cube-cbrt_binary64_113
2050×	add-cbrt-cube_binary64_1137
1961×	sqrt-prod_binary64_776
1871×	add-cube-cbrt_binary64_1136
1828×	add-cube-cbrt_binary64_1477
1818×	times-frac_binary64_425
1791×	add-exp-log_binary64_798
1748×	times-frac_binary64_12019
1699×	times-frac_binary64_10996
1697×	add-cube-cbrt_binary64_454
1688×	add-sqr-sqrt_binary64_12035
1686×	prod-exp_binary64_468
1674×	add-exp-log_binary64_1480
1661×	add-exp-log_binary64_2503
1570×	times-frac_binary64_7586
1558×	*-un-lft-identity_binary64_12013
1555×	cbrt-unprod_binary64
1538×	*-un-lft-identity_binary64_2124
1522×	*-un-lft-identity_binary64_21220
1507×	*-un-lft-identity_binary64_3488
1483×	times-frac_binary64_13042
1469×	times-frac_binary64_15770
1449×	add-sqr-sqrt_binary64_21242 add-sqr-sqrt_binary64_3851
1435×	add-sqr-sqrt_binary64_2146
1424×	add-cube-cbrt_binary64_21255
1400×	add-exp-log_binary64_116
1399×	times-frac_binary64_3835
1383×	*-un-lft-identity_binary64_16787
1377×	*-un-lft-identity_binary64_3829
1343×	times-frac_binary64_2130
1332×	add-sqr-sqrt_binary64_3169 add-sqr-sqrt_binary64_11012
1276×	*-un-lft-identity_binary64_15764
1274×	*-un-lft-identity_binary64_10990
1238×	add-sqr-sqrt_binary64_16809
1233×	times-frac_binary64_3494
1208×	add-sqr-sqrt_binary64_6238
1205×	times-frac_binary64_16793
1200×	add-sqr-sqrt_binary64_7602
1197×	add-cbrt-cube_binary64_1478
1183×	add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
1182×	*-un-lft-identity_binary64_7580
1164×	*-un-lft-identity_binary64_4852
1141×	add-sqr-sqrt_binary64_2487
1136×	prod-exp_binary64_1150
1101×	add-sqr-sqrt_binary64_3510
1094×	*-un-lft-identity_binary64_2465
1089×	pow1_binary64 *-un-lft-identity_binary64_14059
1083×	*-un-lft-identity_binary64_3147
1069×	add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_13036
1060×	*-un-lft-identity_binary64_2806
1057×	times-frac_binary64_2812
1045×	cbrt-unprod_binary64_1134
1035×	add-sqr-sqrt_binary64_13058
1020×	pow1_binary64_480
1009×	sqrt-prod_binary64_1458
1001×	add-cube-cbrt_binary64_2159
1000×	*-un-lft-identity_binary64_5875
996×	add-cbrt-cube_binary64_114
995×	add-sqr-sqrt_binary64_15786
982×	add-cbrt-cube_binary64_796
981×	div-exp_binary64
972×	times-frac_binary64_3153
958×	times-frac_binary64_14065
946×	add-sqr-sqrt_binary64_4874
936×	times-frac_binary64_5881
933×	cbrt-unprod_binary64_452
932×	add-sqr-sqrt_binary64_14081
930×	pow1_binary64_139
921×	unpow-prod-down_binary64_839
908×	times-frac_binary64_10655
900×	add-sqr-sqrt_binary64_5897
896×	add-sqr-sqrt_binary64_11353
862×	times-frac_binary64_2471
860×	add-cube-cbrt_binary64_2841
854×	add-cube-cbrt_binary64_3864
847×	add-sqr-sqrt_binary64_12376
839×	times-frac_binary64_11337
834×	associate-*r*_binary64
833×	div-exp_binary64_470
831×	add-cube-cbrt_binary64_12048
828×	add-exp-log_binary64_1821
827×	add-cube-cbrt_binary64_11025
817×	associate-*r*_binary64_359 prod-exp_binary64_2514
815×	*-un-lft-identity_binary64_11331
802×	add-cube-cbrt_binary64_3182
795×	pow1_binary64_821 times-frac_binary64_12701
788×	sqrt-prod_binary64_94
779×	times-frac_binary64_17134
771×	sqrt-prod_binary64_1117
766×	add-sqr-sqrt_binary64_17150
760×	distribute-lft-out_binary64_1393
757×	*-un-lft-identity_binary64_12354
754×	*-un-lft-identity_binary64_17128
753×	add-sqr-sqrt_binary64_12717
752×	add-exp-log_binary64_3185
749×	pow1_binary64_1162
747×	cancel-sign-sub-inv_binary64_726
735×	times-frac_binary64_4858
734×	add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_10671
731×	add-sqr-sqrt_binary64_16468
723×	*-un-lft-identity_binary64_12695
722×	add-cube-cbrt_binary64_15799
718×	distribute-lft-out_binary64_1734
713×	add-cube-cbrt_binary64_2500
711×	times-frac_binary64_11678
706×	associate-*r*_binary64_1382
704×	cbrt-prod_binary64
701×	pow-exp_binary64_2533 add-sqr-sqrt_binary64_15104
695×	*-un-lft-identity_binary64_14741
692×	times-frac_binary64_14747
688×	*-un-lft-identity_binary64_10649 add-cbrt-cube_binary64_1819
682×	prod-exp_binary64_1491
678×	add-cube-cbrt_binary64_7615
671×	div-exp_binary64_2516
670×	pow1_binary64_1503
668×	times-frac_binary64_8609
662×	associate-*l*_binary64_360
660×	sqrt-div_binary64_3846
654×	div-exp_binary64_811
646×	sqrt-prod_binary64_435
644×	add-cube-cbrt_binary64_13071
643×	times-frac_binary64_12360 add-exp-log_binary64_12733
640×	associate-*r*_binary64_1723
628×	*-un-lft-identity_binary64_16446
618×	times-frac_binary64_19862
617×	add-sqr-sqrt_binary64_5215
609×	associate-*l/_binary64_1044
606×	times-frac_binary64_5199
600×	add-cube-cbrt_binary64_14094 associate-*l*_binary64
599×	add-cube-cbrt_binary64_16822 add-sqr-sqrt_binary64_18173
597×	times-frac_binary64_15088
596×	add-cube-cbrt_binary64_5910
593×	*-un-lft-identity_binary64_13718
577×	unpow-prod-down_binary64_1521
572×	flip3--_binary64_1105 flip--_binary64_1076
571×	sqr-pow_binary64_732
566×	associate-*r*_binary64_18
563×	*-un-lft-identity_binary64_18151
562×	*-un-lft-identity_binary64_15082
554×	add-sqr-sqrt_binary64_14763
548×	div-inv_binary64_757
547×	*-un-lft-identity_binary64_13377
546×	*-un-lft-identity_binary64_5193
544×	pow1_binary64_1844
538×	add-log-exp_binary64
530×	add-sqr-sqrt_binary64_13399
529×	*-un-lft-identity_binary64_23266
526×	times-frac_binary64_18157
522×	associate-/r*_binary64_704
521×	sqrt-prod_binary64
520×	times-frac_binary64_14406
519×	difference-of-squares_binary64
516×	add-sqr-sqrt_binary64_14422
508×	*-un-lft-identity_binary64_11672
506×	associate-*l*_binary64_701
504×	prod-exp_binary64_809
502×	add-sqr-sqrt_binary64_11694
498×	times-frac_binary64_6904 add-sqr-sqrt_binary64_4533
490×	sqrt-prod_binary64_3163
484×	frac-times_binary64_1111
483×	add-cube-cbrt_binary64_11366
481×	*-un-lft-identity_binary64_6898
479×	sqrt-prod_binary64_14075
478×	add-cube-cbrt_binary64_10684
476×	add-log-exp_binary64_458
475×	cbrt-undiv_binary64 times-frac_binary64_13383
474×	add-exp-log_binary64_2162
464×	add-exp-log_binary64_14438
461×	add-cube-cbrt_binary64_4887
457×	add-sqr-sqrt_binary64_8625
456×	difference-of-squares_binary64_11982 times-frac_binary64_24295 add-sqr-sqrt_binary64_6920 cancel-sign-sub-inv_binary64_44
454×	add-cube-cbrt_binary64_17163 cbrt-prod_binary64_17159 *-un-lft-identity_binary64_24289
453×	add-cube-cbrt_binary64_14776
449×	div-exp_binary64_1152
448×	prod-exp_binary64_127
447×	cbrt-unprod_binary64_1475
446×	unpow-prod-down_binary64_157
445×	associate-*l*_binary64_19
444×	unpow-prod-down_binary64_2203
442×	add-cbrt-cube_binary64_2501
441×	associate-*r*_binary64_700
440×	add-cube-cbrt_binary64_12389
439×	sqrt-prod_binary64_5891
437×	difference-of-squares_binary64_47
436×	cbrt-prod_binary64_791
434×	associate-*r*_binary64_1041 add-log-exp_binary64_117
433×	add-cube-cbrt_binary64_11707 *-un-lft-identity_binary64_4511
430×	pow-prod-down_binary64
427×	*-un-lft-identity_binary64_8603
426×	associate-*l/_binary64_362
425×	*-un-lft-identity_binary64_14400
424×	cbrt-prod_binary64_109
423×	frac-times_binary64_429
420×	add-log-exp_binary64_799
417×	add-cbrt-cube_binary64_3183
416×	associate-/r*_binary64 difference-of-squares_binary64_1070 add-exp-log_binary64_2844 associate-*r*_binary64_3087 add-cbrt-cube_binary64_2160
411×	add-exp-log_binary64_16484
408×	add-cube-cbrt_binary64_14435
407×	add-sqr-sqrt_binary64_13740
404×	times-frac_binary64_16452 add-cube-cbrt_binary64_12730 cbrt-undiv_binary64_453
402×	times-frac_binary64_13724 pow1_binary64_2185
400×	sqrt-div_binary64_1118
399×	add-sqr-sqrt_binary64_23288
390×	cancel-sign-sub-inv_binary64_2090
389×	*-un-lft-identity_binary64_4170
388×	add-log-exp_binary64_1140
382×	unpow-prod-down_binary64_498
380×	add-cbrt-cube_binary64_2842 add-log-exp_binary64_1822
378×	add-sqr-sqrt_binary64_24311
374×	sqrt-prod_binary64_1799
368×	add-cube-cbrt_binary64_8638
367×	div-exp_binary64_1493 add-sqr-sqrt_binary64_20901
364×	distribute-lft-out--_binary64
363×	add-sqr-sqrt_binary64_19878
362×	cbrt-undiv_binary64_1135
361×	add-cube-cbrt_binary64_19891 *-un-lft-identity_binary64_19856 difference-of-squares_binary64_1411
359×	unpow-prod-down_binary64_1180 add-cbrt-cube_binary64_12731
357×	pow1_binary64_2867
355×	associate-*l*_binary64_1383
354×	add-cube-cbrt_binary64_16481
353×	pow-to-exp_binary64_2534
352×	associate-/r*_binary64_1727
351×	difference-of-squares_binary64_1752 add-log-exp_binary64_1481
350×	sqrt-prod_binary64_2140
348×	add-sqr-sqrt_binary64_17832 distribute-lft-out_binary64_29
347×	add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_19174
346×	pow-prod-down_binary64_490
344×	distribute-lft-out_binary64_1052
341×	cbrt-prod_binary64_450
340×	frac-add_binary64_1109
339×	add-cube-cbrt_binary64_5228
335×	times-frac_binary64_20885 pow-exp_binary64_487
333×	associate-*r*_binary64_16386
331×	associate-*l*_binary64_1042 add-exp-log_binary64_21599 pow1_binary64_21622
328×	distribute-lft-out--_binary64_16739 pow1_binary64_2526
327×	add-exp-log_binary64_3867 add-sqr-sqrt_binary64_23970
326×	*-un-lft-identity_binary64_17810
325×	associate-*r*_binary64_5815
324×	times-frac_binary64_4517
323×	cbrt-prod_binary64_15795
321×	add-cube-cbrt_binary64_13412
319×	associate-/l*_binary64_1728
318×	add-exp-log_binary64_11028
315×	add-log-exp_binary64_2845
314×	log-prod_binary64_12099
313×	cancel-sign-sub-inv_binary64 associate-*r/_binary64_361 add-cube-cbrt_binary64_6933
311×	associate-*r/_binary64_1043 add-cube-cbrt_binary64_13753
307×	distribute-lft-out_binary64_711
306×	pow1_binary64_3208
303×	add-cbrt-cube_binary64_14436
302×	times-frac_binary64_8950 associate-*r*_binary64_2746 add-cube-cbrt_binary64_18186
301×	distribute-lft-out--_binary64_1053
300×	difference-of-squares_binary64_729
298×	associate-*r*_binary64_11271 add-sqr-sqrt_binary64_19196
297×	div-exp_binary64_129
296×	div-exp_binary64_12746 times-frac_binary64_19180 pow-to-exp_binary64_488 add-sqr-sqrt_binary64_10330 add-cube-cbrt_binary64_4546
295×	add-cbrt-cube_binary64_21597 associate-*r*_binary64_2405
294×	associate-/r*_binary64_363
293×	associate-/r*_binary64_1045
292×	associate-/r/_binary64_1729 *-un-lft-identity_binary64_19515 associate-/r*_binary64_22
290×	add-sqr-sqrt_binary64_22265 *-un-lft-identity_binary64_20879 cube-prod_binary64_2152
286×	associate-*l*_binary64_4793
285×	add-exp-log_binary64_20917 log-prod_binary64_2551
283×	distribute-lft-out--_binary64_1735
282×	cube-prod_binary64_1470 times-frac_binary64_23272
280×	add-sqr-sqrt_binary64_17491
279×	add-cube-cbrt_binary64_15117
277×	difference-of-squares_binary64_16756
276×	add-sqr-sqrt_binary64_8966 log-pow_binary64_167
272×	add-cube-cbrt_binary64_20914
271×	cbrt-prod_binary64_3519
269×	*-un-lft-identity_binary64_22243 *-un-lft-identity_binary64_9285
268×	add-cube-cbrt_binary64_24324
267×	*-un-lft-identity_binary64_9626 associate-/l*_binary64_705 cancel-sign-sub-inv_binary64_1067 *-un-lft-identity_binary64_15423
265×	distribute-lft-out--_binary64_4804 cbrt-unprod_binary64_111 *-un-lft-identity_binary64_10308 prod-exp_binary64_3196
263×	add-cbrt-cube_binary64_3865
261×	add-log-exp_binary64_2163 div-inv_binary64
260×	*-un-lft-identity_binary64_23948
259×	add-cbrt-cube_binary64_11026 add-cbrt-cube_binary64_16482
258×	add-exp-log_binary64_11369
257×	associate-/l*_binary64_23
256×	distribute-lft-out_binary64_2075 associate-*r*_binary64_2064
255×	add-cbrt-cube_binary64_20915 pow1_binary64_3890
254×	unswap-sqr_binary64_387 add-sqr-sqrt_binary64_6579
253×	times-frac_binary64_22249
252×	flip3-+_binary64_3832 flip-+_binary64_3803 associate-/l*_binary64
250×	distribute-lft-out_binary64
249×	pow-prod-down_binary64_1172 add-exp-log_binary64_11710
248×	associate-*r/_binary64_3771 log-prod_binary64_505
247×	prod-exp_binary64_12744
245×	pow1_binary64_4572 add-sqr-sqrt_binary64_18514 cancel-sign-sub-inv_binary64_385
244×	cbrt-unprod_binary64_793 prod-exp_binary64_1832
243×	add-exp-log_binary64_21258 add-cube-cbrt_binary64_19209
241×	add-exp-log_binary64_3526 add-exp-log_binary64_4549 difference-of-squares_binary64_388 distribute-lft-out--_binary64_1394
238×	distribute-lft-out--_binary64_7532 difference-of-squares_binary64_7549
237×	add-log-exp_binary64_2504 times-frac_binary64_15429
236×	times-frac_binary64_4176 associate-*r/_binary64 add-exp-log_binary64_14097 *-un-lft-identity_binary64_18492 difference-of-squares_binary64_3798
235×	pow1_binary64_6277 div-inv_binary64_75
234×	*-un-lft-identity_binary64_8944 associate-*r*_binary64_3769 times-frac_binary64_17816
233×	associate-/r*_binary64_1386 associate-*l*_binary64_2065
232×	add-cube-cbrt_binary64_8979 flip3-+_binary64_1104 flip-+_binary64_1075
229×	*-un-lft-identity_binary64_16105 times-frac_binary64_20203
227×	add-sqr-sqrt_binary64_20219 difference-of-squares_binary64_13005 associate-*r*_binary64_14340
226×	*-un-lft-identity_binary64_9967
225×	div-inv_binary64_1098
224×	distribute-lft-out--_binary64_3781 associate-*l*_binary64_3770 *-un-lft-identity_binary64_6557
223×	add-cube-cbrt_binary64_4205
222×	add-sqr-sqrt_binary64_8284 distribute-lft-out--_binary64_30
221×	prod-exp_binary64_16495
220×	associate-/r/_binary64
219×	add-sqr-sqrt_binary64_9648 cube-prod_binary64_1129 distribute-lft-out_binary64_3439
218×	pow1_binary64_3549 add-cbrt-cube_binary64_3524
217×	distribute-rgt-in_binary64_710 distribute-lft-in_binary64_709
216×	*-un-lft-identity_binary64_24971
215×	sqrt-prod_binary64_16121
214×	sqrt-prod_binary64_15098 associate-*l*_binary64_1724
213×	add-cbrt-cube_binary64_4547 times-frac_binary64_18498
212×	cbrt-undiv_binary64_1476 add-sqr-sqrt_binary64_23629 add-sqr-sqrt_binary64_16127
211×	distribute-lft-out--_binary64_5827 associate-/l*_binary64_1046 add-exp-log_binary64_13756 add-sqr-sqrt_binary64_9307 cbrt-prod_binary64_16477
210×	associate-*r*_binary64_15704 sqrt-prod_binary64_14757
209×	cbrt-undiv_binary64_794
207×	associate-/l*_binary64_364
206×	*-un-lft-identity_binary64_17469 cbrt-prod_binary64_1132
205×	*-un-lft-identity_binary64_20197
204×	add-exp-log_binary64_12051 add-exp-log_binary64_6254 distribute-lft-out--_binary64_11965
203×	flip3--_binary64 flip--_binary64 add-cube-cbrt_binary64_6592 add-sqr-sqrt_binary64_7261
202×	add-cube-cbrt_binary64_20232 add-exp-log_binary64_12392 add-exp-log_binary64_8982
201×	flip3-+_binary64_1786 flip-+_binary64_1757 log-pow_binary64_849
200×	associate-*l/_binary64_3772
199×	associate-*l*_binary64_12636
198×	frac-times_binary64_3839 *-un-lft-identity_binary64_8262
197×	add-sqr-sqrt_binary64_19537 add-exp-log_binary64_16825
196×	pow-exp_binary64 associate-*r*_binary64_10930 distribute-lft-out_binary64_14010
194×	associate-*l*_binary64_3429 associate-*l*_binary64_3088 frac-sub_binary64_428
193×	add-exp-log_binary64_4890
192×	times-frac_binary64_9291 add-cube-cbrt_binary64_17504
191×	cbrt-unprod_binary64_21594 difference-of-squares_binary64_4821 prod-exp_binary64_21610 pow-prod-down_binary64_21632
190×	flip3-+_binary64_422 distribute-lft-out--_binary64_10942 sqr-pow_binary64_391 difference-of-squares_binary64_10959 flip-+_binary64_393 log-prod_binary64_846
189×	associate-*r*_binary64_13999 times-frac_binary64_23954
188×	pow-prod-down_binary64_1513 cbrt-unprod_binary64_1816
185×	sqrt-prod_binary64_3845
184×	add-sqr-sqrt_binary64_15445 add-cbrt-cube_binary64_14095 flip3--_binary64_423 flip--_binary64_394 div-exp_binary64_1834
183×	sqrt-prod_binary64_2822 flip-+_binary64_1416 flip3-+_binary64_1445 associate-*l*_binary64_2406 associate-/r*_binary64_21164 times-frac_binary64_10314 div-exp_binary64_3198 cancel-sign-sub-inv_binary64_1749
182×	associate-*r/_binary64_1384 times-frac_binary64_21908 flip3-+_binary64_2468 sqrt-div_binary64_2141 flip-+_binary64_2439
180×	add-cube-cbrt_binary64_10343 times-frac_binary64_9973 difference-of-squares_binary64_2434 add-cbrt-cube_binary64_12390 add-log-exp_binary64_3186
179×	sqr-pow_binary64_1414
178×	difference-of-squares_binary64_3457 add-cube-cbrt_binary64_23301 add-exp-log_binary64_19553
177×	add-cube-cbrt_binary64_17845
176×	unpow-prod-down_binary64_3567 add-sqr-sqrt_binary64_20560
175×	difference-of-squares_binary64_5162 associate-/r/_binary64_1388 unswap-sqr_binary64
174×	add-exp-log_binary64_13074 times-frac_binary64_17475 add-cbrt-cube_binary64_11708
173×	add-cube-cbrt_binary64_19550 unpow-prod-down_binary64_3226 add-exp-log_binary64_4208 unpow-prod-down_binary64_1862 add-cube-cbrt_binary64_23983 times-frac_binary64_24977
172×	add-exp-log_binary64_14779 associate-*r*_binary64_12294 pow1_binary64_16507 *-un-lft-identity_binary64_7239 *-un-lft-identity_binary64_7921
171×	add-sqr-sqrt_binary64_5556 cbrt-prod_binary64_13749 cancel-sign-sub-inv_binary64_10956
170×	log-prod_binary64_1187 div-inv_binary64_1780 unswap-sqr_binary64_46 add-cbrt-cube_binary64_16823 add-cube-cbrt_binary64_9661
169×	add-sqr-sqrt_binary64_21924 associate-/l*_binary64_1387
168×	add-exp-log_binary64_20235 times-frac_binary64_6563
167×	times-frac_binary64_9632 div-inv_binary64_1439 add-cube-cbrt_binary64_9320
165×	flip3-+_binary64 div-inv_binary64_21217 prod-exp_binary64_14449 pow-prod-down_binary64_1854 associate-/r*_binary64_10934 add-cbrt-cube_binary64_11367 flip-+_binary64
164×	flip-+_binary64_52 flip-+_binary64_2098 flip3-+_binary64_2127 unpow-prod-down_binary64_12774 cbrt-undiv_binary64_112 pow-exp_binary64_1510 flip3-+_binary64_81
163×	times-frac_binary64_19521 distribute-lft-in_binary64_1050 distribute-rgt-in_binary64_1051
162×	distribute-lft-out_binary64_15715 associate-/r/_binary64_24 cbrt-prod_binary64_3860 associate-*r*_binary64_4792
160×	add-cbrt-cube_binary64_20233 add-sqr-sqrt_binary64_9989 cbrt-prod_binary64_2496
159×	associate-/r/_binary64_1047 sqrt-prod_binary64_16462
158×	sqrt-prod_binary64_3504
157×	add-cube-cbrt_binary64_18527 add-exp-log_binary64_15802 associate-/r*_binary64_7524 distribute-lft-out--_binary64_15034 *-un-lft-identity_binary64_21902
156×	add-cbrt-cube_binary64_13754 distribute-lft-out--_binary64_12988 frac-sub_binary64_3838 add-exp-log_binary64_19894 difference-of-squares_binary64_12323
155×	exp-prod_binary64_1494 cbrt-prod_binary64_5224 add-exp-log_binary64_17507 add-cbrt-cube_binary64_4888
154×	cbrt-prod_binary64_11021 *-un-lft-identity_binary64_23607 pow-prod-down_binary64_149
153×	add-cube-cbrt_binary64_15458 cancel-sign-sub-inv_binary64_1408 cbrt-div_binary64_1133 distribute-lft-out--_binary64_12306 associate-/r/_binary64_2411
152×	distribute-rgt-in_binary64_369 add-exp-log_binary64_5913 times-frac_binary64_7927 add-cube-cbrt_binary64_22278 add-sqr-sqrt_binary64_22947 distribute-lft-in_binary64_368 associate-/r*_binary64_16731
151×	sqr-pow_binary64_50 add-cbrt-cube_binary64_17505 add-cbrt-cube_binary64_8980 associate-*r/_binary64_2066
149×	distribute-lft-out_binary64_12646 cbrt-prod_binary64_13408
148×	*-un-lft-identity_binary64_20538 pow1_binary64_15143 pow-prod-down_binary64_831
147×	add-log-exp_binary64_3868
146×	cancel-sign-sub-inv_binary64_11979 add-cube-cbrt_binary64_10002
145×	cbrt-unprod_binary64_16479 unswap-sqr_binary64_1410
144×	distribute-lft-out--_binary64_11283 add-cbrt-cube_binary64_14777 pow-exp_binary64_146 add-cbrt-cube_binary64_19551
143×	associate-/r*_binary64_11957 distribute-rgt-in_binary64_2415 sqrt-div_binary64_95 distribute-lft-in_binary64_2414
142×	add-cbrt-cube_binary64_12049 flip--_binary64_3804 distribute-lft-out_binary64_3098 add-exp-log_binary64_19212 associate-*r*_binary64_12635 difference-of-squares_binary64_11300 cancel-sign-sub-inv_binary64_14025 add-sqr-sqrt_binary64_7943 associate-*r/_binary64_2407 flip3--_binary64_3833
141×	sqrt-prod_binary64_23964 sqrt-div_binary64_777
140×	unswap-sqr_binary64_3115 distribute-lft-out--_binary64_23218 add-cbrt-cube_binary64_4206
138×	unswap-sqr_binary64_728 log-prod_binary64_1528 add-exp-log_binary64_8300
137×	add-cbrt-cube_binary64_21256 sqrt-prod_binary64_11688 add-exp-log_binary64_18189
136×	frac-times_binary64_1452 distribute-lft-out--_binary64_16398 div-exp_binary64_14451 cbrt-prod_binary64_22956 cancel-sign-sub-inv_binary64_4818 associate-*l*_binary64_16728 difference-of-squares_binary64_16415 add-cube-cbrt_binary64_7274
135×	flip3-+_binary64_763 flip-+_binary64_734 div-inv_binary64_6213
134×	frac-add_binary64_13044 cbrt-prod_binary64_14090 pow1_binary64_13779 cbrt-prod_binary64_5906
133×	pow-to-exp_binary64_147 div-exp_binary64_21271 times-frac_binary64_20544 sqrt-div_binary64_1459 prod-exp_binary64_2173 associate-/r*_binary64_3773 associate-/r/_binary64_706
132×	add-exp-log_binary64_6936 times-frac_binary64_8268
131×	pow1_binary64_12415 difference-of-squares_binary64_5844 cbrt-prod_binary64_2837 cbrt-prod_binary64_4542
130×	add-exp-log_binary64_10687 pow1_binary64_4913 associate-*r/_binary64_2748
129×	add-exp-log_binary64_7277 sqrt-div_binary64
128×	log-prod_binary64_164 pow1_binary64_5936 associate-/r*_binary64_15708 unswap-sqr_binary64_1069
127×	difference-of-squares_binary64_18120 distribute-lft-out--_binary64_18103 pow1_binary64_20258
126×	difference-of-squares_binary64_17097 add-cbrt-cube_binary64_15800 distribute-lft-out--_binary64_17080 distribute-lft-out_binary64_13669 *-un-lft-identity_binary64_5534 add-exp-log_binary64_23645 pow1_binary64_14802 cancel-sign-sub-inv_binary64_13343 add-exp-log_binary64_20576
125×	div-inv_binary64_416 pow1_binary64_14120 unpow-prod-down_binary64_16525 add-exp-log_binary64_6595 pow1_binary64_14461 associate-*r*_binary64_13658 sqrt-prod_binary64_23282 cbrt-prod_binary64_1473
124×	add-cbrt-cube_binary64_5911 distribute-lft-out_binary64_4803 *-commutative_binary64_350 difference-of-squares_binary64_15051 associate-*l/_binary64
123×	add-cbrt-cube_binary64_6593 add-exp-log_binary64_15120 distribute-lft-out--_binary64_371 add-cbrt-cube_binary64_19210
122×	cbrt-undiv_binary64_1817 pow-exp_binary64_828 associate-/l*_binary64_2069 flip3--_binary64_16450 pow1_binary64_23668 flip--_binary64_16421
121×	sqrt-prod_binary64_7255 associate-*l*_binary64_12295 cbrt-unprod_binary64_2498 add-exp-log_binary64_17166 pow-to-exp_binary64_1511
120×	cbrt-unprod_binary64_14433 add-cube-cbrt_binary64_7956 cbrt-prod_binary64_12385 add-cbrt-cube_binary64_6252 associate-/r*_binary64_3091 flip--_binary64_735 flip3--_binary64_764
119×	pow-prod-down_binary64_2195 unpow-prod-down_binary64_12092 associate-*l*_binary64_14000 associate-/r*_binary64_12980 associate-*r*_binary64_23888
118×	associate-/r*_binary64_6160 distribute-lft-in_binary64_11962 add-cube-cbrt_binary64_16140 div-exp_binary64_11041 rec-exp_binary64_2515 times-frac_binary64_24636 distribute-rgt-in_binary64_11963 1-exp_binary64_2509
117×	swap-sqr_binary64 pow1_binary64_11733 add-sqr-sqrt_binary64_24993 add-cbrt-cube_binary64_13072 associate-/r/_binary64_365 add-cube-cbrt_binary64_20573
116×	distribute-lft-out--_binary64_712 associate-*l/_binary64_1385 cube-prod_binary64_3516 associate-*r*_binary64_7179 associate-/l*_binary64_2751 add-exp-log_binary64_7618 associate-*r*_binary64_20819
115×	add-log-exp_binary64_4891 associate-/r*_binary64_2750 cbrt-unprod_binary64_2157 add-exp-log_binary64_24327 neg-sub0_binary64_414 associate-/l*_binary64_3774 associate-*l*_binary64_16387 exp-neg_binary64_466
114×	log-pow_binary64_508 add-sqr-sqrt_binary64_21583 cancel-sign-sub-inv_binary64_3454 associate-*r*_binary64_10589
113×	sqrt-prod_binary64_2481 add-log-exp_binary64_4550 add-cbrt-cube_binary64_18187 add-log-exp_binary64_3527
112×	*-un-lft-identity_binary64_18833 distribute-lft-out--_binary64_15716 1-exp_binary64_804
111×	associate-*r*_binary64_16727 cbrt-prod_binary64_1814
110×	pow-to-exp_binary64 associate-*r*_binary64_18091 swap-sqr_binary64_1409
109×	pow1_binary64_11392 cbrt-undiv_binary64_12729 flip-+_binary64_12669 pow-prod-down_binary64_6287 flip3-+_binary64_12698 add-cube-cbrt_binary64_21937
108×	exp-sum_binary64_806 difference-of-squares_binary64_12664 associate-*l*_binary64_14341 add-cube-cbrt_binary64_25006
107×	associate-/r*_binary64_10593 associate-/r*_binary64_3432 pow1_binary64_9005 cbrt-unprod_binary64_12728 pow1_binary64_16166 associate-*r/_binary64_20 associate-*r*_binary64_15022 unswap-sqr_binary64_1751 *-commutative_binary64
106×	pow1_binary64_6959 distribute-lft-out_binary64_14692 add-log-exp_binary64_5914 add-cbrt-cube_binary64_17164
105×	add-exp-log_binary64_8641 unpow-prod-down_binary64 sqrt-pow1_binary64_96 associate-/l*_binary64_11617 sqrt-pow1_binary64 associate-*r*_binary64_3428 add-sqr-sqrt_binary64_18855 add-cbrt-cube_binary64_19892
104×	sqrt-div_binary64_3164 associate-*l/_binary64_2067 cancel-sign-sub-inv_binary64_16753 cube-prod_binary64_12041 pow1_binary64_12756
103×	cbrt-prod_binary64_5565 swap-sqr_binary64_3455 flip3--_binary64_1787 cbrt-unprod_binary64_3180 pow1_binary64_17530 difference-of-squares_binary64_13346 associate-*r*_binary64_8202 unpow-prod-down_binary64_13115 add-cbrt-cube_binary64_7275 flip--_binary64_1758 log-prod_binary64_22670
102×	add-cbrt-cube_binary64_6934 add-exp-log_binary64_17848 cbrt-prod_binary64_22615 add-log-exp_binary64_18190 associate-/r*_binary64_2068 add-cube-cbrt_binary64_8297 add-cube-cbrt_binary64_5569 cbrt-undiv_binary64_11024
101×	add-cbrt-cube_binary64_24325 associate-/r/_binary64_2070 difference-of-squares_binary64_2093 distribute-lft-out--_binary64_10601 distribute-lft-out--_binary64_3440 add-exp-log_binary64_13415
100×	add-cbrt-cube_binary64_18528 pow-exp_binary64_3215 add-exp-log_binary64_22281 difference-of-squares_binary64_10618 difference-of-sqr--1_binary64_1754 associate-*r*_binary64_21501 div-exp_binary64_6267 associate-/r/_binary64_3775 add-exp-log_binary64_18530 *-un-lft-identity_binary64_22925
99×	add-cbrt-cube_binary64_10685 add-cbrt-cube_binary64_23643 add-sqr-sqrt_binary64_22606 add-exp-log_binary64_5231 cbrt-prod_binary64_18182 associate-/r/_binary64_11959 distribute-rgt-in_binary64 pow1_binary64_18894 distribute-lft-in_binary64
98×	add-cbrt-cube_binary64_15118 add-cbrt-cube_binary64_7616 pow-unpow_binary64_1519 associate-*r*_binary64_7520
97×	associate-*l/_binary64_703 pow1_binary64_10369 associate-/l/_binary64_3776 add-log-exp_binary64_11711 flip3--_binary64_1446 cancel-sign-sub-inv_binary64_11638 add-cbrt-cube_binary64_20574 prod-exp_binary64_2855 *-un-lft-identity_binary64_22584 associate-+l+_binary64_1034 add-exp-log_binary64_18871 flip--_binary64_1417 add-cbrt-cube_binary64_18869 sum-log_binary64_2897 difference-of-squares_binary64_15733 associate-*l*_binary64_13659 associate-*l*_binary64_11272 associate-*l/_binary64_16389 frac-times_binary64
96×	associate-/r*_binary64_5137 distribute-lft-out_binary64_2757
95×	cancel-sign-sub-inv_binary64_6523 associate-*r/_binary64_1725 cube-prod_binary64_16474 add-cbrt-cube_binary64_8639 add-cube-cbrt_binary64_22619 difference-of-sqr-1_binary64_1412
94×	pow1_binary64_4231 unswap-sqr_binary64_2092 associate-/r/_binary64_12641 cube-prod_binary64_788 add-cube-cbrt_binary64_21596 associate-*r/_binary64_12978 *-un-lft-identity_binary64_21561
93×	add-exp-log_binary64_10346 add-log-exp_binary64_11370 cancel-sign-sub-inv_binary64_7546
92×	tan-quot_binary64_578 associate-/r*_binary64_14003 difference-of-squares_binary64_4480 cancel-sign-sub-inv_binary64_6864 add-cube-cbrt_binary64_23642 log-prod_binary64_13463
91×	flip3--_binary64_2128 pow-prod-down_binary64_2877 pow1_binary64_12074 cbrt-unprod_binary64_2839 flip--_binary64_2099 associate-*r/_binary64_702 pow1_binary64_16848 associate-*r*_binary64_4110
90×	add-exp-log_binary64_15461 distribute-rgt-in_binary64_14009 associate-/r*_binary64_12298 cancel-sign-sub-inv_binary64_3113 distribute-lft-in_binary64_14008 add-cbrt-cube_binary64_10344 add-cube-cbrt_binary64_22960 div-exp_binary64_11723 cbrt-prod_binary64_6588 associate-*l*_binary64_10931
89×	sqr-pow_binary64_1755 pow1_binary64_19917 flip-+_binary64_2780 associate-*l*_binary64_4452 prod-exp_binary64_20928 add-log-exp_binary64_12052 distribute-lft-out_binary64_370 associate-/r*_binary64_11275 associate-*r*_binary64_17409 sqrt-prod_binary64_17826 flip3-+_binary64_2809
88×	cube-prod_binary64_447 flip--_binary64_7555 sqrt-prod_binary64_4868 associate-*l*_binary64_15705 pow-to-exp_binary64_3216 sqr-pow_binary64_2096 add-exp-log_binary64_9664 div-inv_binary64_10987 pow-prod-down_binary64_4582 associate-/l*_binary64_3092 associate-/r*_binary64_24233 flip3--_binary64_7584
87×	pow1_binary64_22986 exp-diff_binary64_467 associate-*r*_binary64_19114 add-sqr-sqrt_binary64_24652 prod-exp_binary64_4560
86×	associate--l+_binary64_356 associate-/r/_binary64_7526 pow1_binary64_11051 pow1_binary64_19576 add-cbrt-cube_binary64_8298 div-exp_binary64_11382 sqr-pow_binary64_3119
85×	div-exp_binary64_20930 flip--_binary64_53 cbrt-prod_binary64_9316 add-log-exp_binary64_10347 add-cbrt-cube_binary64_22279 pow-exp_binary64_1169 difference-of-squares_binary64_14028 cbrt-undiv_binary64_14434 flip3--_binary64_82 add-cbrt-cube_binary64_17846
84×	sub-neg_binary64 associate-*l*_binary64_2747 associate-*r*_binary64_8884 distribute-lft-out--_binary64_5145 sqrt-prod_binary64_4186 pow1_binary64_5595 add-exp-log_binary64_23986
83×	associate-*r*_binary64_17068 add-cube-cbrt_binary64_18868 add-exp-log_binary64_22963 sqr-pow_binary64_1073
82×	add-cube-cbrt_binary64_24665 distribute-lft-out_binary64_16738 difference-of-squares_binary64_23235 *-un-lft-identity_binary64_24630 add-exp-log_binary64_5572 cbrt-prod_binary64_2155
81×	*-commutative_binary64_9 frac-times_binary64_12705 add-exp-log_binary64_16143 pow1_binary64_7300 associate-/l/_binary64_1048 cbrt-unprod_binary64_4544 div-inv_binary64_12010 times-frac_binary64_22590 pow1/3_binary64_842 associate-+r+_binary64_351 associate-*l*_binary64_15023 pow1_binary64_6618 cbrt-unprod_binary64_20912
80×	associate-/l*_binary64_11958 frac-sub_binary64_7589 associate-/r*_binary64_8547 associate-/r*_binary64_14685 cbrt-div_binary64_23639
79×	add-log-exp_binary64_12393 pow-unpow_binary64_837 rec-exp_binary64_810
78×	add-log-exp_binary64_14098 associate-*l*_binary64_9567 distribute-rgt-in_binary64_13327 associate-/r*_binary64_2409 distribute-lft-in_binary64_13326 associate-*r*_binary64_6497 frac-times_binary64_770
77×	distribute-rgt-in_binary64_28 add-cbrt-cube_binary64_9662 associate-*l*_binary64_17069 add-exp-log_binary64_23304 distribute-lft-in_binary64_27 associate-*r*_binary64_20478 cbrt-undiv_binary64_2499 distribute-lft-out--_binary64_2417 cbrt-div_binary64 pow1_binary64_9687 associate-*l*_binary64_23548 log-pow_binary64_2895
76×	pow1_binary64_18212 distribute-neg-frac_binary64_3793 pow1_binary64_20940 distribute-lft-neg-in_binary64_2081 distribute-rgt-neg-in_binary64_2082 pow1_binary64_17189 sum-log_binary64_1874 add-cbrt-cube_binary64_15459 distribute-lft-out_binary64_2416
75×	associate-+l+_binary64_11946 difference-of-squares_binary64_2775 cancel-sign-sub-inv_binary64_14707 pow1_binary64_13438
74×	pow1/2_binary64 associate-*r*_binary64_16045 associate-*r*_binary64_17750 distribute-rgt-in_binary64_7530 add-log-exp_binary64_14780 distribute-lft-out_binary64_11964 distribute-lft-in_binary64_7529 swap-sqr_binary64_15049 frac-add_binary64_2132
73×	prod-exp_binary64_11039 cancel-sign-sub-inv_binary64_2772 associate-/r*_binary64_19118 *-commutative_binary64_1032 cbrt-undiv_binary64_20913 difference-of-squares_binary64_3116 exp-prod_binary64_130 pow-prod-down_binary64_2536 associate--l+_binary64_2402 add-cbrt-cube_binary64_13413 div-inv_binary64_2121 *-commutative_binary64_691
72×	flip-+_binary64_19830 distribute-lft-in_binary64_2755 associate-*r*_binary64_6838 cbrt-prod_binary64_9657 sqrt-pow1_binary64_6234 log-prod_binary64_12440 pow1/2_binary64_158 distribute-rgt-in_binary64_2756 flip3-+_binary64_19859
71×	sqrt-div_binary64_436 sub-neg_binary64_412 flip3--_binary64_2810 div-inv_binary64_2803 add-log-exp_binary64_18872 add-log-exp_binary64_19554 add-cbrt-cube_binary64_22961 cbrt-prod_binary64_23979 cbrt-unprod_binary64_11023 flip--_binary64_2781 pow-unpow_binary64_3565 pow-to-exp_binary64_1170 associate-*r*_binary64_23206 add-log-exp_binary64_4209
70×	div-exp_binary64_3880 add-log-exp_binary64_9665 cancel-sign-sub-inv_binary64_2431 distribute-lft-out_binary64_19466 distribute-lft-out--_binary64_13329 cbrt-prod_binary64_8975 prod-exp_binary64_3878 flip--_binary64_2440 flip3--_binary64_2469 add-log-exp_binary64_13757 cbrt-div_binary64_21252 frac-times_binary64_13046 associate-/l/_binary64_2071 prod-exp_binary64_13767
69×	cbrt-undiv_binary64_3181 associate-/l/_binary64_1389 add-log-exp_binary64_23305 *-commutative_binary64_1373 associate-*l*_binary64_20820 add-cbrt-cube_binary64_5229 unpow-prod-down_binary64_2544 associate-/r*_binary64_6842 add-cbrt-cube_binary64_23984
68×	frac-add_binary64 add-log-exp_binary64_12734 add-cbrt-cube_binary64_16141 associate-*r*_binary64_4451 div-exp_binary64_2857 pow-unpow_binary64_155
67×	flip-+_binary64_3121 frac-add_binary64_1791 div-exp_binary64_12064 flip3-+_binary64_3150 associate-*l*_binary64_8203 associate-/l*_binary64_12981 sqrt-pow1_binary64_1460 cancel-sign-sub-inv_binary64_20163 associate-/r/_binary64_15710
66×	associate-/r*_binary64_17072 add-log-exp_binary64_16485 cbrt-div_binary64_792 pow1_binary64_17871 div-inv_binary64_15079 log-prod_binary64_14145 sqrt-pow1_binary64_1119
65×	add-cbrt-cube_binary64_23302 prod-exp_binary64_20246 associate-/r*_binary64_18095 add-log-exp_binary64_16144 unswap-sqr_binary64_2433 cbrt-prod_binary64_10680 pow-pow_binary64_3560 sqrt-prod_binary64_6914 distribute-lft-out_binary64_16056 associate-*r*_binary64_23547 associate-/l*_binary64_2410
64×	distribute-rgt-in_binary64_12304 diff-log_binary64 clear-num_binary64 div-exp_binary64_13087 flip3-+_binary64_13039 div-inv_binary64_14056 sqrt-div_binary64_1800 distribute-lft-in_binary64_12303 flip-+_binary64_13010 associate-*l*_binary64_21502 add-log-exp_binary64_21600 frac-2neg_binary64 associate-*l*_binary64_19115 add-log-exp_binary64_17508 pow1_binary64_24009 distribute-lft-out_binary64_24922
63×	associate-*r/_binary64_13660 cbrt-prod_binary64_4883 associate-*l*_binary64_4111 pow-prod-down_binary64_16517 frac-sub_binary64 sqrt-prod_binary64_12370 pow1_binary64_8664 associate-*r*_binary64_10248 associate-/r/_binary64_10936 associate-/r*_binary64_4796 log-prod_binary64_2892 div-inv_binary64_2462 associate--l+_binary64_2743 frac-times_binary64_2475 frac-sub_binary64_13045 tan-quot_binary64 associate-*l*_binary64_6839 cbrt-unprod_binary64_20230
62×	clear-num_binary64_418 sqrt-prod_binary64_6573 distribute-lft-out_binary64_24240 frac-2neg_binary64_430 prod-exp_binary64_11380 cbrt-prod_binary64_17500 prod-exp_binary64_23656 associate-*r*_binary64_20137 log-prod_binary64_11758 associate-/r*_binary64_14344 associate-/r*_binary64_12639 associate-/l*_binary64_16732 associate-/r/_binary64_12982 cbrt-unprod_binary64_23640 associate-/r/_binary64_2752 cancel-sign-sub-inv_binary64_20845 cbrt-div_binary64_2497 add-exp-log_binary64_10005
61×	pow-prod-down_binary64_3900 cbrt-prod_binary64_14431 div-exp_binary64_14110 associate-/l/_binary64_707 unpow-prod-down_binary64_23004 swap-sqr_binary64_15731 associate-/r*_binary64_18436 associate-/r/_binary64_12300 associate-/l*_binary64_3433 associate-+r+_binary64_2397 add-log-exp_binary64_5232 associate-*l*_binary64_17410 distribute-lft-out--_binary64_14011 pow1_binary64_5254 cancel-sign-sub-inv_binary64_23232 frac-times_binary64_16456 associate-*r*_binary64_18773
60×	flip3--_binary64_18155 cbrt-prod_binary64_12044 flip-+_binary64_4826 prod-exp_binary64_8311 add-log-exp_binary64_11029 pow-prod-down_binary64_23678 flip3-+_binary64_4855 cancel-sign-sub-inv_binary64_5841 cbrt-prod_binary64_21251 flip--_binary64_18126 cbrt-prod_binary64_15113 cbrt-div_binary64_19888 add-log-exp_binary64_21259 difference-of-squares_binary64_18461 cbrt-div_binary64_14773 div-inv_binary64_16784
59×	associate-*r*_binary64_13317 swap-sqr_binary64_45 associate-*r*_binary64_19455 associate-+l+_binary64_2398 flip3--_binary64_12017 clear-num_binary64_1100 frac-2neg_binary64_1112 pow-prod-down_binary64_3218 add-cbrt-cube_binary64_5570 add-log-exp_binary64_16826 add-log-exp_binary64_7278 *-commutative_binary64_1714 cbrt-div_binary64_17160 distribute-rgt-in_binary64_13668 frac-times_binary64_7590 frac-times_binary64_2134 flip--_binary64_11988 div-exp_binary64_2175 distribute-lft-in_binary64_13667
58×	pow1_binary64_21281 unpow-prod-down_binary64_14138 pow-exp_binary64_12763 difference-of-squares_binary64_22212 associate--r+_binary64_11949 prod-exp_binary64_14108 pow1/3_binary64_160 add-log-exp_binary64_6596 distribute-lft-out--_binary64_22195 pow-prod-down_binary64_20268 difference-of-squares_binary64_10277 cbrt-div_binary64_18183 div-exp_binary64_15815 associate-/r/_binary64_11277
57×	div-inv_binary64_3826 pow1_binary64_19235 sqrt-prod_binary64_13734 cbrt-prod_binary64_23638 associate-/l*_binary64_12640
56×	exp-prod_binary64_2858 flip--_binary64_13011 sqrt-div_binary64_11689 sqrt-div_binary64_4869 associate-*r*_binary64_5474 cancel-sign-sub-inv_binary64_4477 cancel-sign-sub-inv_binary64_12661 frac-2neg_binary64_89 associate-*r/_binary64_21503 clear-num_binary64_77 div-inv_binary64_3144 pow1_binary64_15825 swap-sqr_binary64_727 associate-*l*_binary64_23207 unswap-sqr_binary64_12663 add-cbrt-cube_binary64_10003 prod-exp_binary64_8993 cbrt-prod_binary64_16136 flip3--_binary64_13040 distribute-lft-out_binary64_4121 diff-log_binary64_511 flip--_binary64_23582 flip3--_binary64_23611
55×	associate-/r*_binary64_13662 pow-to-exp_binary64_829 div-inv_binary64_15761 cbrt-undiv_binary64_2840 pow-to-exp_binary64_12764 associate--l+_binary64_1038 associate-/l*_binary64_21165 cbrt-prod_binary64_7270 associate-*l/_binary64_12638 pow-prod-up_binary64_830 associate-/r*_binary64_4114 associate-/r*_binary64_4455 sub-neg_binary64_753 associate-/r/_binary64_16733 div-inv_binary64_13033 cbrt-prod_binary64_4201 associate-*l*_binary64_5816
54×	flip--_binary64_12329 associate-/r*_binary64_19800 add-log-exp_binary64_14439 unpow-prod-down_binary64_17207 distribute-lft-out_binary64_23217 cube-prod_binary64_17156 associate-*r/_binary64_11273 flip3-+_binary64_3491 associate-*r/_binary64_11614 flip3--_binary64_12358 flip-+_binary64_3462 distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507 sqrt-div_binary64_16122 cbrt-unprod_binary64_3862 cbrt-unprod_binary64_13751 associate-/r/_binary64_3434 frac-times_binary64_88
53×	cbrt-prod_binary64_11362 div-exp_binary64_8995 associate-/l*_binary64_10935 associate-/l*_binary64_12299 associate-*l*_binary64_16046 distribute-lft-out--_binary64_17762 associate-*l*_binary64_10249
52×	prod-exp_binary64_12403 cbrt-div_binary64_2838 associate-/l/_binary64 cbrt-undiv_binary64_21254 flip3--_binary64_4856 cbrt-unprod_binary64_12387 difference-of-squares_binary64_24258 sqr-pow_binary64_12667 div-inv_binary64_14738 flip--_binary64_4827 distribute-lft-out_binary64_21171 distribute-lft-in_binary64_4801 associate-*l*_binary64_22866 difference-of-squares_binary64_23576 associate-*l*_binary64_24230 prod-exp_binary64_11721 prod-exp_binary64_4901 div-inv_binary64_7577 distribute-rgt-in_binary64_4802 associate-*l*_binary64_10590 sqrt-pow1_binary64_3847 associate-*r/_binary64_23549 div-inv_binary64_11669 sqr-pow_binary64_3460 associate-*r/_binary64_3089 div-inv_binary64_3485
51×	sqrt-prod_binary64_20895 clear-num_binary64_1441 unpow-prod-down_binary64_16184 add-log-exp_binary64_5573 add-log-exp_binary64_17167 associate-*r*_binary64_11953 associate-/r/_binary64_14005 flip3--_binary64_16791 frac-2neg_binary64_1453 associate-*l/_binary64_2408 unpow-prod-down_binary64_3908 sqrt-pow1_binary64_3165 cbrt-undiv_binary64_11706 flip--_binary64_16762 swap-sqr_binary64_17436 unpow-prod-down_binary64_5272 add-log-exp_binary64_8983
50×	pow-prod-down_binary64_15153 associate-/l/_binary64_1730 associate-/r*_binary64_20823 cbrt-undiv_binary64_3863 add-log-exp_binary64_15121 prod-exp_binary64_16836 prod-exp_binary64_17518 flip-+_binary64_11646 flip3-+_binary64_11675 associate-*r/_binary64_14342 cbrt-prod_binary64_3178 frac-2neg_binary64_771 pow1/3_binary64_2547 distribute-lft-out_binary64_6849 cbrt-unprod_binary64_17502 clear-num_binary64_759 add-exp-log_binary64_7959 add-log-exp_binary64_20918 associate-/l*_binary64_5820 associate-+l+_binary64_352 add-log-exp_binary64_23987 add-log-exp_binary64_19895
49×	pow1_binary64_9346 times-frac_binary64_23613 add-log-exp_binary64_6937 sub-neg_binary64_1094 pow1_binary64_22304 associate-*l*_binary64_7180 associate-*r/_binary64_12637 prod-exp_binary64_7288 associate-*l*_binary64_8885 add-exp-log_binary64_9323 associate-/l*_binary64_7525 pow-pow_binary64_1514
48×	distribute-rgt-neg-in_binary64_11971 rem-sqrt-square_binary64_1455 add-cbrt-cube_binary64_7957 rem-sqrt-square_binary64_91 distribute-lft-neg-in_binary64_11970 frac-add_binary64_11680 difference-of-sqr-1_binary64_3458 pow1_binary64_24350 sum-log_binary64 flip--_binary64_5850 associate-/l*_binary64_14686 flip3--_binary64_5879 rem-sqrt-square_binary64 cbrt-div_binary64_3861 sum-log_binary64_2215 distribute-lft-out--_binary64_8214 difference-of-squares_binary64_8231 div-exp_binary64_19907 associate-+r+_binary64_1374 associate-*l/_binary64_11615
47×	associate-/r/_binary64_24235 distribute-lft-out_binary64_15374 associate-/r/_binary64_3093 flip--_binary64_23241 flip3--_binary64_23270 sqrt-div_binary64_2823 pow-prod-down_binary64_13789 associate-*r*_binary64_22865 pow1_binary64_8323 associate-/r*_binary64_19459 times-frac_binary64_7245
46×	associate-*r*_binary64_6156 unswap-sqr_binary64_3797 unswap-sqr_binary64_14027 associate-*r*_binary64_24229 add-log-exp_binary64_13075 unpow2_binary64_143 cancel-sign-sub-inv_binary64_10274 unswap-sqr_binary64_11299 associate-*l/_binary64_1726 associate-*r*_binary64_9566 distribute-lft-out--_binary64_4463 prod-exp_binary64_19564 associate-/r*_binary64_15026 div-exp_binary64_10700 add-log-exp_binary64_13416 div-inv_binary64_12692 log-prod_binary64_16873 distribute-neg-frac_binary64_2088 div-inv_binary64_14397
45×	frac-2neg_binary64_1794 cbrt-undiv_binary64_15798 difference-of-sqr-1_binary64_2435 associate-/l*_binary64_5138 pow1_binary64_7641 sum-log_binary64_510 prod-exp_binary64_3537 pow1_binary64_13097 associate-+r+_binary64_1033 associate-+r+_binary64_11604 associate-/l*_binary64_15709 pow1/2_binary64_1522 clear-num_binary64_1782 swap-sqr_binary64_13685 associate-*r/_binary64_4794 add-log-exp_binary64_10688 associate-*r/_binary64_7522 associate-/r*_binary64_8888 distribute-lft-in_binary64_22533 difference-of-sqr--1_binary64_2095 unswap-sqr_binary64_10958 distribute-rgt-in_binary64_22534
44×	add-log-exp_binary64_7619 div-exp_binary64_14792 distribute-lft-neg-in_binary64_717 associate-*l*_binary64_5475 distribute-rgt-neg-in_binary64_718 swap-sqr_binary64_386 unswap-sqr_binary64_16414 prod-exp_binary64_4219 *-commutative_binary64_2055 div-inv_binary64_19853 difference-of-squares_binary64_17779 cancel-sign-sub-inv_binary64_15048 cancel-sign-sub-inv_binary64_19140 div-exp_binary64_16838 pow-prod-down_binary64_3559 cbrt-unprod_binary64_14092 pow1_binary64_10028 cbrt-unprod_binary64_8977
43×	cbrt-undiv_binary64_2158 unswap-sqr_binary64_4820 pow1/2_binary64_3227 add-log-exp_binary64_19213 pow1_binary64_10710 associate-*r*_binary64_22183 flip--_binary64_11647 associate-*l/_binary64_23550 prod-exp_binary64_15131 pow1_binary64_23327 associate-/r/_binary64_13664 cbrt-prod_binary64_15454 cbrt-unprod_binary64_15115 flip3--_binary64_11676 cancel-sign-sub-inv_binary64_17776 swap-sqr_binary64_14026 unswap-sqr_binary64_12322 distribute-lft-out_binary64_11623 unswap-sqr_binary64_2774 sub-neg_binary64_71
42×	unswap-sqr_binary64_16073 flip3-+_binary64_13721 difference-of-sqr-1_binary64_1753 swap-sqr_binary64_5842 flip-+_binary64_13692 sqrt-prod_binary64_11347 associate-*l*_binary64_11954 associate-/r/_binary64_19802 cbrt-undiv_binary64_14093 cbrt-prod_binary64_9998 div-inv_binary64_10646 associate-*r/_binary64_3430 unpow-prod-down_binary64_4931 add-log-exp_binary64_18531 sub-neg_binary64_1776 associate-+r+_binary64_10 distribute-lft-out--_binary64_23900 difference-of-squares_binary64_14710 add-exp-log_binary64_25009
41×	prod-exp_binary64_6606 flip--_binary64_10283 cbrt-div_binary64_451 *-commutative_binary64_2396 rec-exp_binary64 1-exp_binary64 sum-log_binary64_2556 flip3--_binary64_10312 cbrt-div_binary64_15796 add-log-exp_binary64_17849 associate-+r+_binary64 cbrt-unprod_binary64_3521 add-cbrt-cube_binary64_9321 *-commutative_binary64_3078 diff-log_binary64_852 associate-/r*_binary64_15367 distribute-lft-out_binary64_9236 unpow3_binary64_485 cbrt-unprod_binary64_6590 distribute-lft-out_binary64_9577
40×	cube-div_binary64_13065 associate-*l/_binary64_19799 cube-prod_binary64_16133 cbrt-div_binary64_5907 associate-+r+_binary64_11945 difference-of-squares_binary64_23917 cube-prod_binary64_6585 cbrt-div_binary64_1815 pow1/3_binary64 sum-log_binary64_1192 add-log-exp_binary64_20236 associate-/r*_binary64_23210 div-exp_binary64_19566 associate-/l*_binary64_18437 cbrt-undiv_binary64_13070 pow1/3_binary64_3911 difference-of-squares_binary64_4139 sqrt-pow1_binary64_437 un-div-inv_binary64_417 unpow-prod-down_binary64_6636 sqrt-pow1_binary64_778 pow1/3_binary64_5957 associate-/l*_binary64_19801
39×	associate-/l*_binary64_20824 unswap-sqr_binary64_13686 frac-times_binary64_1793 pow-prod-down_binary64_14471 frac-times_binary64_14410 sqrt-pow1_binary64_17828 associate-*r*_binary64_14681 associate-/r/_binary64_18438 add-log-exp_binary64_23646 div-exp_binary64_6949 cube-mult_binary64_449 cancel-sign-sub-inv_binary64_23573 associate-/l/_binary64_12301 cube-prod_binary64_106 sqrt-prod_binary64_5550 div-exp_binary64_19225 cancel-sign-sub-inv_binary64_17435 cbrt-prod_binary64_24661 associate-*r*_binary64_5133 associate-*r*_binary64_11612 associate-*r*_binary64_8543 flip3-+_binary64_11334 div-exp_binary64_3539 cbrt-prod_binary64_8293 flip-+_binary64_11305
38×	cbrt-undiv_binary64_16821 flip--_binary64_15739 cbrt-unprod_binary64_11364 cbrt-unprod_binary64_4885 sum-log_binary64_1533 cbrt-unprod_binary64_16820 pow-prod-down_binary64_19927 div-sub_binary64_765 associate-/r/_binary64_18097 associate-/r*_binary64_13321 flip-+_binary64_14715 pow1_binary64_20599 associate-*l*_binary64_6157 prod-exp_binary64_19905 associate--l+_binary64_5812 associate-/l*_binary64_6161 log-div_binary64_847 associate-*r/_binary64_10932 distribute-rgt-in_binary64_2074 div-exp_binary64_7631 associate-/l*_binary64_8548 cbrt-unprod_binary64_19889 flip3--_binary64_15768 distribute-rgt-in_binary64_16737 flip3-+_binary64_14744 sqr-pow_binary64 distribute-lft-in_binary64_2073 associate-/l*_binary64_14004 cbrt-div_binary64_5566 distribute-lft-in_binary64_16736
37×	div-inv_binary64_20876 add-log-exp_binary64_22964 associate-*r/_binary64_16388 cancel-sign-sub-inv_binary64_3795 distribute-lft-out_binary64_9918 sub-neg_binary64_1435 sqrt-pow1_binary64_2142 associate-*l*_binary64_23889 pow-plus_binary64_823 pow-neg_binary64_492 cbrt-undiv_binary64_12047 sqrt-prod_binary64_7596 unswap-sqr_binary64_14368 sqr-pow_binary64_5165
36×	distribute-lft-in_binary64_19123 log-prod_binary64_11417 associate-*r/_binary64_16047 cbrt-prod_binary64_19205 associate-*l/_binary64_21 flip3--_binary64_21565 associate-/l*_binary64_20142 prod-exp_binary64_20587 pow1/2_binary64_840 frac-times_binary64_23617 difference-of-squares_binary64_17438 cube-prod_binary64_9995 cbrt-div_binary64_15114 pow-unpow_binary64_496 prod-exp_binary64_13085 unpow-prod-down_binary64_10046 sub-neg_binary64_2799 distribute-rgt-in_binary64_10940 unpow-prod-down_binary64_9364 pow-prod-down_binary64_12425 associate--r+_binary64_7516 associate-*r*_binary64_7861 unswap-sqr_binary64_22893 associate-/l*_binary64_10594 *-commutative_binary64_21492 associate-*l*_binary64_17751 cube-prod_binary64_9313 difference-of-squares_binary64_6867 distribute-rgt-in_binary64_19124 associate-*l*_binary64_18092 distribute-lft-in_binary64_10939 flip--_binary64_21536
35×	distribute-lft-in_binary64_10257 associate-/r*_binary64_10252 1-exp_binary64_463 pow1/3_binary64_501 distribute-rgt-in_binary64_10258 diff-log_binary64_1875 log-prod_binary64_2210 div-exp_binary64_24340 swap-sqr_binary64_1750 log-pow_binary64_11761 sum-log_binary64_11763 distribute-lft-out_binary64_19125 associate-/l/_binary64_25 distribute-lft-out_binary64_10941 distribute-rgt-in_binary64_5825 distribute-lft-in_binary64_5824 associate-*r/_binary64_14001 associate-/l*_binary64_4456 pow1_binary64_7982 unswap-sqr_binary64_5843 pow1/3_binary64_1183 associate-/l*_binary64_13663 div-exp_binary64_13769 associate-*l*_binary64_6498 unpow2_binary64_1848 div-exp_binary64_20589 sqrt-pow1_binary64_6916 pow1/2_binary64_1181 associate-*l/_binary64_12979
34×	associate-*l*_binary64_22184 associate-/r/_binary64_14687 associate-*r/_binary64_16729 unswap-sqr_binary64_20847 *-commutative_binary64_2737 associate-+l+_binary64_13992 distribute-lft-out--_binary64_10260 cbrt-undiv_binary64_12388 associate-*l*_binary64_12977 associate-*l*_binary64_20138 cbrt-undiv_binary64_11365 flip3-+_binary64_12357 associate-/l*_binary64_15368 *-commutative_binary64_16377 cube-prod_binary64_1811 unpow-prod-down_binary64_4249 pow1_binary64_18553 cbrt-div_binary64_4884 unpow3_binary64_1167 diff-log_binary64_1193 sqrt-div_binary64_17827 sqrt-pow1_binary64_14077 flip-+_binary64_12328 prod-exp_binary64_5924 associate-*l*_binary64_18774 associate-+l+_binary64_11605 cbrt-undiv_binary64_3522 div-exp_binary64_12405 cbrt-undiv_binary64_8978 flip-+_binary64_21194 flip3-+_binary64_21223 cbrt-unprod_binary64_8295
33×	cbrt-div_binary64_110 add-log-exp_binary64_8642 add-log-exp_binary64_24328 flip3--_binary64_10994 pow-exp_binary64_3556 cancel-sign-sub-inv_binary64_14366 add-cbrt-cube_binary64_21938 associate-*l*_binary64_14682 cbrt-div_binary64_1474 flip-+_binary64_19489 associate-*l*_binary64_8544 associate-*l*_binary64_13318 cbrt-unprod_binary64_4203 cancel-sign-sub-inv_binary64_18458 associate-/r/_binary64_10595 flip3-+_binary64_19518 cbrt-undiv_binary64_10683 flip3--_binary64_15086 flip--_binary64_14034 div-inv_binary64_8600 add-exp-log_binary64_24668 flip--_binary64_10965 associate-+r+_binary64_4784 add-exp-log_binary64_21940 add-log-exp_binary64_25010 pow-prod-up_binary64_1512 associate-*l*_binary64_20479 flip--_binary64_15057 cancel-sign-sub-inv_binary64_9592 distribute-rgt-out--_binary64 associate-/l*_binary64_14345 flip3--_binary64_14063 exp-prod_binary64_3540 cbrt-undiv_binary64_19208 div-inv_binary64_8941
32×	associate--r+_binary64_5811 prod-exp_binary64_18882 cbrt-prod_binary64_6247 +-commutative_binary64_1713 cbrt-unprod_binary64_19548 cbrt-undiv_binary64_6250 div-exp_binary64_15474 distribute-lft-in_binary64_11280 distribute-rgt-in_binary64_20829 flip3--_binary64_11335 cbrt-unprod_binary64_11705 distribute-rgt-in_binary64_11281 associate-+r+_binary64_20811 distribute-rgt-neg-in_binary64_3787 associate-/r*_binary64_5819 flip--_binary64_14375 associate-+r+_binary64_2738 associate-/l/_binary64_2412 flip--_binary64_22218 exp-sum_binary64_7626 associate-+r+_binary64_22516 distribute-lft-out--_binary64_14693 associate-/r*_binary64_21846 flip3--_binary64_14404 sub-neg_binary64_4845 div-inv_binary64_17125 associate-/r*_binary64_24915 associate-+l+_binary64 flip3--_binary64_22247 associate-/l*_binary64_24234 cbrt-prod_binary64_16818 distribute-lft-out_binary64_3780 rem-sqrt-square_binary64_3160 frac-add_binary64_2814 associate-*r/_binary64_12296 associate-/r/_binary64_22189 distribute-lft-in_binary64_20828 pow1/3_binary64_5616 prod-exp_binary64_12062 distribute-lft-neg-in_binary64_3786 associate-/r/_binary64_4798 cancel-sign-sub-inv_binary64_16412 add-log-exp_binary64_6255 associate-/l*_binary64_22188 div-exp_binary64_4221 flip--_binary64_11306 div-exp_binary64_4903 cbrt-unprod_binary64_18866
31×	associate-/l*_binary64_19119 cbrt-prod_binary64_19546 cbrt-prod_binary64_10339 prod-exp_binary64_22974 swap-sqr_binary64_3114 diff-log_binary64_170 div-inv_binary64_11328 associate-/r/_binary64_6844 associate-/l*_binary64_4797 associate-*l*_binary64_7521 associate-/l/_binary64_366 frac-times_binary64_18161 pow-prod-down_binary64_18904 associate-*r*_binary64_15363 associate-/l*_binary64_19460 add-log-exp_binary64_15803 associate-/r*_binary64_17754 pow1/3_binary64_1865 cbrt-unprod_binary64_7272 cbrt-div_binary64_3520 pow-prod-down_binary64_9015 sqrt-pow1_binary64_16123 cancel-sign-sub-inv_binary64_9933 associate-*r/_binary64_13319 associate-/r/_binary64_13323 pow-prod-up_binary64 associate-*r/_binary64_5135 frac-add_binary64_21228 div-inv_binary64_4508 cbrt-prod_binary64_7611 cube-prod_binary64_3175 associate-/r*_binary64_16390 cbrt-unprod_binary64_22958
30×	associate-*l/_binary64_10251 associate-*r*_binary64_21160 distribute-rgt-in_binary64_16396 pow1/3_binary64_14823 pow1_binary64_15484 associate-/r/_binary64_11618 associate-/l*_binary64_11276 distribute-lft-out--_binary64_6850 cbrt-unprod_binary64_15797 log-prod_binary64_5961 associate-/r*_binary64_9229 cbrt-div_binary64_11022 cbrt-unprod_binary64_14774 pow-prod-down_binary64_14812 prod-exp_binary64_15813 pow1/2_binary64_3909 prod-exp_binary64_14790 distribute-lft-in_binary64_16395 cbrt-div_binary64_10681 add-cbrt-cube_binary64_25007 pow-unpow_binary64_1178 prod-exp_binary64_22292 associate-*l*_binary64_7862 unpow-prod-down_binary64_7318 exp-prod_binary64_471 frac-times_binary64_14751
29×	associate-/r/_binary64_4457 associate--r+_binary64_2401 +-commutative_binary64_1031 pow1/3_binary64_9026 sub-neg_binary64_21554 prod-exp_binary64_19223 cbrt-undiv_binary64_19549 associate-*r/_binary64_18775 unswap-sqr_binary64_3456 cancel-sign-sub-inv_binary64_21527 pow-prod-down_binary64_22996 associate-/r*_binary64_11616 1-exp_binary64_3191 swap-sqr_binary64_3796 rec-exp_binary64_3197 associate-*l*_binary64_11613 unswap-sqr_binary64_7207 unswap-sqr_binary64_17096 cancel-sign-sub-inv_binary64_11297 flip3--_binary64_10653 unswap-sqr_binary64_15732 associate-*l*_binary64_5134 flip--_binary64_10624 cbrt-undiv_binary64_7614 sqr-pow_binary64_22897 associate-*l/_binary64_14002 pow-prod-down_binary64_6969 distribute-lft-out--_binary64_2758 associate-*l/_binary64_16730 associate-*l/_binary64_7523 cbrt-undiv_binary64_14775
28×	cbrt-undiv_binary64_24323 distribute-rgt-in_binary64_1733 pow1/2_binary64_2204 frac-sub_binary64_4861 frac-times_binary64_4862 frac-times_binary64_19866 sqrt-pow1_binary64_1801 div-inv_binary64_12351 exp-sum_binary64_3193 pow-sub_binary64_495 cbrt-unprod_binary64_20571 distribute-lft-in_binary64_1732 prod-exp_binary64_17859 flip--_binary64_13352 cbrt-undiv_binary64_16480 distribute-lft-in_binary64_9916 sin-mult_binary64_574 log-prod_binary64_3233 associate-/r*_binary64_7865 div-inv_binary64_6895 associate-/r/_binary64_21166 sub-neg_binary64_16439 cancel-sign-sub-inv_binary64_10615 div-exp_binary64_17520 distribute-rgt-in_binary64_9917 sqrt-div_binary64_14758 div-exp_binary64_16497 cbrt-undiv_binary64_17503 add-log-exp_binary64_20577 cbrt-undiv_binary64_4204 associate-*l/_binary64_24914 pow-prod-down_binary64_17540 flip3--_binary64_13381 rem-sqrt-square_binary64_1114 associate-/r/_binary64_16392 prod-exp_binary64_8652 associate-*l/_binary64_4795 associate-*r/_binary64_15024 frac-add_binary64_2473 pow-pow_binary64_832
27×	div-exp_binary64_18202 unpow2_binary64_825 flip--_binary64_5509 distribute-rgt-in_binary64_12645 associate-/l/_binary64_3435 flip-+_binary64_4485 exp-prod_binary64_812 sub-neg_binary64_7573 cbrt-unprod_binary64_19207 associate-+l+_binary64_2739 cbrt-undiv_binary64_18526 cbrt-unprod_binary64_8636 associate-*l*_binary64_18433 difference-of-sqr-1_binary64_730 log-div_binary64_506 associate-/l/_binary64_2753 div-exp_binary64_18543 pow1/3_binary64_13459 cancel-sign-sub-inv_binary64_7205 unpow-prod-down_binary64_5954 unswap-sqr_binary64_15050 associate-*r*_binary64_21842 pow1/3_binary64_15164 associate-/l*_binary64_6843 frac-add_binary64_1450 flip3--_binary64_5538 associate-/r/_binary64_15028 unswap-sqr_binary64_23916 pow-prod-down_binary64_4923 pow1/2_binary64_499 sinh-def_binary64_14926 associate-/r*_binary64_9911 unswap-sqr_binary64_4138 div-exp_binary64_4562 distribute-lft-in_binary64_12644
26×	associate-+r+_binary64_692 sum-log_binary64_851 prod-exp_binary64_10698 1-exp_binary64_11375 cbrt-div_binary64_17501 add-log-exp_binary64_8301 flip3-+_binary64_4514 associate-+r+_binary64_10240 rec-exp_binary64_11381 div-inv_binary64_13374 cancel-sign-sub-inv_binary64_20504 distribute-lft-out_binary64_7872 div-inv_binary64_19512 associate--l+_binary64_4789 pow1/2_binary64_1863 associate-/l*_binary64_17073 prod-exp_binary64_6265 prod-exp_binary64_18200 associate-/l*_binary64_4115 sinh-def_binary64_2991 flip--_binary64_6873 prod-exp_binary64_5583 div-exp_binary64_8313 flip-+_binary64_10964 distribute-lft-in_binary64_11621 rem-sqrt-square_binary64_773 sub-neg_binary64_2458 associate-/r*_binary64_20141 clear-num_binary64_2123 cube-mult_binary64_1131 diff-log_binary64_1534 flip3--_binary64_6902 distribute-rgt-in_binary64_22193 swap-sqr_binary64_1068 flip3-+_binary64_24292 associate-*r/_binary64_19798 sqrt-div_binary64_6915 flip3-+_binary64_10993 difference-of-sqr-1_binary64_24259 flip-+_binary64_24263 unswap-sqr_binary64_4479 associate-*l*_binary64_19456 distribute-lft-in_binary64_22192 flip3--_binary64_13722 cbrt-unprod_binary64_6249 sub-neg_binary64_5868 distribute-rgt-in_binary64_11622 flip--_binary64_13693 frac-2neg_binary64_2135 cbrt-undiv_binary64_20572 prod-exp_binary64_17177 associate--l+_binary64_13314
25×	associate-*l/_binary64_3431 div-inv_binary64_19171 flip3--_binary64_18496 flip-+_binary64_14033 add-log-exp_binary64_9324 div-inv_binary64_20194 clear-num_binary64_3146 add-cbrt-cube_binary64_24666 sum-log_binary64_18242 prod-exp_binary64_6947 div-sub_binary64_1447 cbrt-unprod_binary64_5908 flip-+_binary64_5167 associate-/r/_binary64_19461 +-commutative_binary64_1372 flip--_binary64_18467 cbrt-undiv_binary64_15457 flip3-+_binary64_17131 div-inv_binary64_13715 flip3--_binary64_6561 cbrt-undiv_binary64_6932 flip3-+_binary64_5196 difference-of-squares_binary64_8572 div-exp_binary64_5244 associate--l+_binary64_19111 add-log-exp_binary64_22623 cbrt-prod_binary64_24320 frac-times_binary64_2816 1-exp_binary64_14444 div-inv_binary64_24286 flip--_binary64_6532 associate-*r/_binary64_24231 pow-flip_binary64_1175 flip-+_binary64_17102 pow-sqr_binary64_733 frac-2neg_binary64_3158 pow-prod-down_binary64_11402 associate-+l+_binary64_2057 cbrt-prod_binary64_20228 flip3-+_binary64_14062 cbrt-undiv_binary64_4545 rec-exp_binary64_21270 cbrt-prod_binary64_20910 pow1/3_binary64_11072 unswap-sqr_binary64_6866 sum-log_binary64_169 1-exp_binary64_21264 cbrt-prod_binary64_7952
24×	flip-+_binary64_16079 cbrt-unprod_binary64_22276 pow-prod-down_binary64_14130 pow1/3_binary64_2888 distribute-rgt-in_binary64_1392 distribute-rgt-in_binary64_21511 associate-/r/_binary64_17756 associate-*l*_binary64_21161 log-pow_binary64_2554 cbrt-div_binary64_13750 associate-*r/_binary64_22185 associate-+l+_binary64_693 associate-/r/_binary64_19120 frac-add_binary64_768 div-inv_binary64_15420 distribute-lft-out--_binary64_21854 flip-+_binary64_7554 associate-/r/_binary64_8549 cbrt-div_binary64_13409 associate-+r+_binary64_11263 associate-+l+_binary64_12287 sqrt-prod_binary64_9301 difference-of-squares_binary64_21871 sqrt-pow1_binary64_15100 flip-+_binary64_4144 flip3-+_binary64_16108 distribute-lft-in_binary64_21510 frac-times_binary64_3498 flip3-+_binary64_4173 distribute-lft-in_binary64_1391 cbrt-div_binary64_23980 flip--_binary64_3122 pow1/3_binary64_17210 sub-neg_binary64_2117 associate-*l/_binary64_6841 flip3--_binary64_3151 clear-num_binary64_2805 *-commutative_binary64_12285 add-log-exp_binary64_15462 sqrt-prod_binary64_4527 add-log-exp_binary64_10006 cbrt-unprod_binary64_18184 prod-exp_binary64_9675 associate-/r*_binary64_22187 frac-2neg_binary64_2817 frac-sub_binary64_2474 flip3-+_binary64_7583 sub-neg_binary64_6550
23×	flip3-+_binary64_7242 sum-log_binary64_4602 pow-to-exp_binary64_3557 frac-times_binary64_12364 cbrt-prod_binary64_23297 cube-mult_binary64_3177 flip-+_binary64_7213 flip3--_binary64_3492 pow-prod-down_binary64_6628 tanh-def-b_binary64_11519 cbrt-unprod_binary64_17161 cbrt-div_binary64_14432 associate-/r/_binary64_20825 tanh-def-a_binary64_11518 swap-sqr_binary64_2432 distribute-lft-out--_binary64_23559 div-inv_binary64_18489 flip--_binary64_3463 unswap-sqr_binary64_5502 associate-*r*_binary64_9907 unpow3_binary64_3213 div-inv_binary64_4849 pow-prod-down_binary64_8674 pow-prod-down_binary64_12766 sqr-pow_binary64_11985 flip3-+_binary64_18836 distribute-lft-out_binary64_13328 associate-*l/_binary64_14343 cos-mult_binary64_573 tanh-def-c_binary64_11520 distribute-rgt-neg-in_binary64 pow1_binary64_22645 unswap-sqr_binary64_16755 cbrt-prod_binary64_14772 associate-/l*_binary64_17755 unswap-sqr_binary64_10617 add-exp-log_binary64_22622 flip-+_binary64_18807 associate-/l*_binary64_18096 pow-sqr_binary64_1415 +-commutative_binary64_2736 pow-prod-up_binary64_1853
22×	cbrt-unprod_binary64_17843 flip3--_binary64_5197 cbrt-unprod_binary64_10341 flip--_binary64_5168 prod-exp_binary64_10357 associate-/r/_binary64_6162 pow-prod-up_binary64_1171 pow1/3_binary64_17551 frac-add_binary64_86 associate-/r/_binary64_23212 distribute-lft-out--_binary64_2076 1-exp_binary64_1827 rec-exp_binary64_1833 add-log-exp_binary64_22282 swap-sqr_binary64_5501 frac-sub_binary64_1451 div-inv_binary64_5872 swap-sqr_binary64_4478 div-exp_binary64_17861 distribute-lft-out_binary64_17079 difference-of-squares_binary64_9595 associate-*l/_binary64_11274 swap-sqr_binary64_16072 pow-pow_binary64_150 log-pow_binary64 pow-prod-down_binary64_16176 associate-/r/_binary64_20143 prod-exp_binary64_21269 associate-*r*_binary64_9225 *-commutative_binary64_3760 cube-mult_binary64_1472 unpow3_binary64_1508 cancel-sign-sub-inv_binary64_13002 pow-prod-down_binary64_10379 pow-exp_binary64_1851 prod-exp_binary64_16154 cbrt-undiv_binary64_18185 cbrt-unprod_binary64_9659
21×	div-exp_binary64_8654 unswap-sqr_binary64_17778 frac-times_binary64_21230 div-inv_binary64_18148 associate-*l/_binary64_18094 pow1/3_binary64_4593 flip3--_binary64_23952 associate-*r/_binary64_6499 distribute-lft-out_binary64_12987 flip3--_binary64_8266 associate-*r/_binary64_19116 difference-of-squares_binary64_5503 flip3--_binary64_19178 pow-prod-up_binary64_6286 cbrt-undiv_binary64_4886 flip--_binary64_19149 unswap-sqr_binary64_17437 log-prod_binary64_10394 unpow3_binary64_144 cancel-sign-sub-inv_binary64_5159 pow-sqr_binary64_1756 flip--_binary64_23923 swap-sqr_binary64_17095 cube-prod_binary64_4880 cbrt-undiv_binary64_8637 associate-/r*_binary64_23892 sqrt-pow1_binary64_7257 div-exp_binary64_17179 log-div_binary64_165 flip--_binary64_8237 difference-of-squares_binary64_11641 prod-exp_binary64_23997 unswap-sqr_binary64_8912 *-commutative_binary64_14331 prod-exp_binary64_24338 cbrt-undiv_binary64_13752 pow1/2_binary64_17890 swap-sqr_binary64_10957
20×	distribute-lft-out_binary64_17761 associate-*r/_binary64_10250 cancel-sign-sub-inv_binary64_12320 associate-/l/_binary64_18439 cbrt-undiv_binary64_17844 pow-prod-up_binary64_148 prod-exp_binary64_13426 rem-sqrt-square_binary64_3842 cbrt-unprod_binary64_16138 flip-+_binary64_20853 div-exp_binary64_20248 *-commutative_binary64_13649 1-exp_binary64_6260 unswap-sqr_binary64_18119 frac-sub_binary64_3497 flip-+_binary64_17784 associate--l+_binary64_15 associate-*l*_binary64_9908 associate-+r+_binary64_23198 swap-sqr_binary64_22892 associate-/l*_binary64_23211 pow-prod-down_binary64_16858 sqrt-div_binary64_23965 associate-*l*_binary64_9226 flip3-+_binary64_17813 flip--_binary64_9260 flip3-+_binary64_24974 associate-/r*_binary64_9570 cbrt-unprod_binary64_13069 pow-prod-down_binary64_9697 div-inv_binary64_4167 flip-+_binary64_24945 swap-sqr_binary64_4819 +-commutative_binary64_690 +-commutative_binary64_2054 rec-exp_binary64_6266 cbrt-unprod_binary64_10682 flip3--_binary64_9289 tan-quot_binary64_919 cbrt-prod_binary64_20569 cbrt-undiv_binary64_17162 flip--_binary64_16080 associate-/l/_binary64_16734 cbrt-prod_binary64_17841 unswap-sqr_binary64_23234 flip3-+_binary64_20882 associate--r+_binary64_355 flip3--_binary64_16109 associate-*l/_binary64_2749 div-exp_binary64_22294 cancel-sign-sub-inv_binary64_22209 associate-/r/_binary64_8208 pow1/2_binary64_16185 add-cbrt-cube_binary64_22620
19×	+-commutative_binary64_8 distribute-lft-out--_binary64_19126 unswap-sqr_binary64_7548 distribute-rgt-in_binary64_20488 sub-neg_binary64_16098 cbrt-undiv_binary64_19890 associate-*r/_binary64_18093 cbrt-div_binary64_5225 diff-log_binary64_2557 pow1/3_binary64_3229 +-commutative_binary64_2395 distribute-lft-in_binary64_20487 cbrt-div_binary64_9317 pow1/3_binary64_16187 times-frac_binary64_18839 rec-exp_binary64_14450 flip3-+_binary64_17472 distribute-lft-in_binary64_16054 log-pow_binary64_2213 associate-/l/_binary64_12642 div-inv_binary64_17807 *-commutative_binary64_4442 pow-prod-down_binary64_7310 distribute-rgt-in_binary64_16055 div-inv_binary64_5190 clear-num_binary64_3828 flip-+_binary64_18125 associate-*l/_binary64_12297 cancel-sign-sub-inv_binary64_16071 add-log-exp_binary64_7960 unpow-prod-down_binary64_2885 associate-/l*_binary64_16391 associate-*l*_binary64_21843 associate-/l*_binary64_9571 cbrt-unprod_binary64_24322 frac-2neg_binary64_3840 pow-prod-up_binary64_15152 pow-to-exp_binary64_1852 cancel-sign-sub-inv_binary64_13684 distribute-rgt-in_binary64_23557 flip-+_binary64_17443 +-commutative_binary64 distribute-lft-in_binary64_23556 unpow-prod-down_binary64_5613 associate-/l*_binary64_13322 difference-of-squares_binary64_20507 flip3-+_binary64_18154 associate-/l/_binary64_12983
18×	*-commutative_binary64_11262 rem-sqrt-square_binary64_14072 cbrt-div_binary64_7953 frac-sub_binary64_11340 pow-pow_binary64_491 cbrt-unprod_binary64_21253 cbrt-unprod_binary64_12046 distribute-rgt-in_binary64_23216 distribute-rgt-in_binary64_7189 distribute-lft-in_binary64_23215 distribute-lft-out_binary64_8554 pow1/3_binary64_6298 frac-2neg_binary64_2476 cbrt-div_binary64_10340 pow-unpow_binary64_3224 pow-prod-down_binary64_19586 cbrt-div_binary64_8294 distribute-lft-neg-in_binary64 div-inv_binary64_16443 *-commutative_binary64_4783 div-inv_binary64_17466 associate-/l*_binary64_23893 associate-+r+_binary64_3761 unpow-prod-down_binary64_4590 associate-*r*_binary64_24911 associate-/r/_binary64_4116 frac-add_binary64_427 pow-unpow_binary64 associate-/r/_binary64_5139 pow-exp_binary64_16514 swap-sqr_binary64_9252 cbrt-prod_binary64_19887 sub-neg_binary64_10301 prod-exp_binary64_7629 cbrt-unprod_binary64_7613 associate-/r*_binary64_20482 distribute-lft-in_binary64_7188 sqrt-prod_binary64_6232 cbrt-prod_binary64_22274 cbrt-div_binary64_20911 pow-prod-down_binary64_20950 pow1_binary64_25032 distribute-lft-out_binary64_11282 sub-neg_binary64_19167 distribute-lft-out--_binary64_24241 cbrt-div_binary64_15455 cube-prod_binary64 flip3--_binary64_20201 cbrt-undiv_binary64_20231 sub-neg_binary64_20872 clear-num_binary64_2464 flip--_binary64_20172 sum-log_binary64_4943
17×	sum-log_binary64_10399 pow-prod-up_binary64_4581 distribute-neg-frac_binary64_724 inv-pow_binary64_1527 flip-+_binary64_18466 cbrt-unprod_binary64_6931 pow2_binary64_841 associate-*r/_binary64_7181 sqr-pow_binary64_2437 exp-prod_binary64_22977 distribute-lft-out_binary64_7190 associate-*r/_binary64_23890 associate-/l*_binary64_9230 flip3-+_binary64_23951 pow1/3_binary64_15846 pow1_binary64_24691 associate-/l*_binary64_20483 clear-num_binary64_12012 associate--l+_binary64_1720 pow-prod-down_binary64_4241 clear-num_binary64_10989 1-exp_binary64_12057 associate-/l/_binary64_3094 *-commutative_binary64_12626 pow-flip_binary64_1516 associate-/r/_binary64_24917 rec-exp_binary64_469 prod-exp_binary64_18541 frac-2neg_binary64_11001 cbrt-unprod_binary64_18525 rem-sqrt-square_binary64_2137 cbrt-unprod_binary64_5567 cbrt-div_binary64_12386 pow-to-exp_binary64_16515 associate-/r*_binary64_24574 flip3-+_binary64_10311 exp-prod_binary64_2176 associate-*r/_binary64_5817 rec-exp_binary64_12063 frac-add_binary64_11339 frac-2neg_binary64_12706 *-commutative_binary64_3419 frac-2neg_binary64_12024 pow1/3_binary64_5275 flip3-+_binary64_18495 pow1/3_binary64_23007 pow-prod-down_binary64_11743 pow-prod-up_binary64_489 clear-num_binary64_12694 pow-prod-down_binary64_11061 associate-*r/_binary64_20821 distribute-lft-out--_binary64_18444 flip-+_binary64_23922 cosh-def_binary64_9130 flip-+_binary64_10282
16×	associate-+r+_binary64_23539 sqrt-div_binary64_5551 sub-neg_binary64_23259 sqrt-div_binary64_4528 associate-+r+_binary64_7512 flip--_binary64_4486 pow1/3_binary64_14482 pow-prod-down_binary64_13448 frac-2neg_binary64_3499 distribute-rgt-in_binary64_17419 flip3-+_binary64_12016 pow-prod-down_binary64_5946 sum-log_binary64_12104 sum-log_binary64_11422 pow-flip_binary64_14133 distribute-lft-in_binary64_14349 unpow2_binary64_484 sqrt-div_binary64_6574 inv-pow_binary64_14144 pow1/2_binary64_6296 difference-of-sqr-1_binary64 distribute-rgt-in_binary64_3779 frac-2neg_binary64_16798 pow-prod-down_binary64_22314 cbrt-unprod_binary64_13410 *-commutative_binary64_23538 clear-num_binary64_16786 associate-/l/_binary64_13665 *-commutative_binary64_7170 associate-/l*_binary64_8889 pow1/3_binary64_3570 cbrt-undiv_binary64_8296 cbrt-prod_binary64_21592 frac-add_binary64_21569 pow-sqr_binary64_1074 distribute-lft-in_binary64_18782 distribute-rgt-in_binary64_18783 flip-+_binary64_11987 clear-num_binary64_3487 div-sub_binary64 swap-sqr_binary64_8911 sqrt-div_binary64_9302 div-exp_binary64_23317 sub-neg_binary64_22236 sqrt-pow1_binary64_14759 sum-log_binary64_3920 distribute-rgt-in_binary64_14350 distribute-lft-in_binary64_3778 distribute-lft-in_binary64_17418 unswap-sqr_binary64_19142 sqr-pow_binary64_4483 associate-*r*_binary64_18432 associate-+l+_binary64_10241 associate-+r+_binary64_20470 associate-+r+_binary64_12627 tan-quot_binary64_1601 div-sub_binary64_2811 *-commutative_binary64_13990
15×	sum-log_binary64_23357 flip-+_binary64_6872 clear-num_binary64_12353 pow-sqr_binary64_6189 log-div_binary64_2552 *-commutative_binary64_18764 pow1/2_binary64_4932 sub-neg_binary64_17462 cbrt-undiv_binary64_5909 cbrt-unprod_binary64_10000 frac-2neg_binary64_12365 div-inv_binary64_20535 associate-*r/_binary64_20480 neg-mul-1_binary64_2120 flip3-+_binary64_5878 distribute-lft-out_binary64_18784 flip3--_binary64_4515 sqrt-pow1_binary64_4870 associate-/r*_binary64_8206 log-pow_binary64_10397 div-exp_binary64_6608 flip3-+_binary64_6901 unswap-sqr_binary64_10276 pow-unpow_binary64_1860 1-exp_binary64_11716 difference-of-squares_binary64_6526 sub-neg_binary64_3822 cbrt-undiv_binary64_5227 associate-*l/_binary64_18435 pow-flip_binary64_834 cbrt-unprod_binary64_23981 distribute-lft-out--_binary64_4122 pow-prod-down_binary64_8333 associate-*r*_binary64_12976 div-exp_binary64_5926 swap-sqr_binary64_17777 flip-+_binary64_5849 associate-*r/_binary64_6840 *-commutative_binary64_8875 frac-times_binary64_3157 associate-*r*_binary64_19796 associate-/l/_binary64_10937 prod-exp_binary64_10016 flip-+_binary64_9600 cbrt-undiv_binary64_6591 distribute-rgt-out_binary64_15717 associate-/l/_binary64_18098 associate-*l/_binary64_14684 pow-prod-down_binary64_17199 sub-neg_binary64_23600 diff-log_binary64_4944 *-commutative_binary64_10239 associate-/r*_binary64_6501 frac-sub_binary64_13386 sqrt-prod_binary64_19531 flip3--_binary64_17473 +-commutative_binary64_349 distribute-lft-out_binary64_10259 rec-exp_binary64_11722 cbrt-undiv_binary64_22277 pow-prod-down_binary64_10038 flip--_binary64_17444 pow-sqr_binary64_4484 associate-*l/_binary64_23209 diff-log_binary64_11764 pow1/2_binary64_6978 flip3-+_binary64_9629
14×	flip--_binary64_20854 distribute-lft-out--_binary64_3099 frac-times_binary64_15774 flip--_binary64_18808 rec-exp_binary64_128 flip3--_binary64_20883 frac-times_binary64_11000 frac-times_binary64_13728 flip3--_binary64_8607 pow1/3_binary64_4252 sub-neg_binary64_16780 sum-log_binary64_21311 div-exp_binary64_13428 cos-sum_binary64_894 pow-sqr_binary64_51 associate-/l*_binary64_24916 frac-2neg_binary64_14752 sqrt-div_binary64_4187 swap-sqr_binary64_6183 1-exp_binary64_122 pow-flip_binary64_1857 pow-exp_binary64_2192 pow-pow_binary64_16177 sum-log_binary64_16196 pow-prod-up_binary64_2535 associate-/l/_binary64_21167 swap-sqr_binary64_21187 swap-sqr_binary64_23574 cbrt-div_binary64_11363 sqrt-div_binary64_2482 pow-prod-down_binary64_5605 distribute-lft-out_binary64_7531 pow1/3_binary64_2206 distribute-lft-out_binary64_5826 associate-/l/_binary64_5140 1-exp_binary64_1145 +-commutative_binary64_18081 rec-exp_binary64_1151 associate-+l-_binary64_11607 swap-sqr_binary64_2773 frac-2neg_binary64_14070 associate-/l*_binary64_17414 cube-prod_binary64_2493 unpow3_binary64_2190 diff-log_binary64_2216 unpow3_binary64_3554 cube-mult_binary64_108 log-div_binary64_11759 prod-exp_binary64_23315 flip3--_binary64_18837 unswap-sqr_binary64_9594 clear-num_binary64_18491 *-commutative_binary64_20128 log-pow_binary64_6646 associate-*r/_binary64_5476 associate-/l/_binary64_24236 cube-mult_binary64_3518 pow-sqr_binary64 flip--_binary64_8578 sum-log_binary64_9717 *-commutative_binary64_5806 log-div_binary64_2211 pow-prod-down_binary64_24019 diff-log_binary64_2898 pow1/3_binary64_9708 clear-num_binary64_14058 frac-2neg_binary64_18503 distribute-lft-in_binary64_6847 distribute-rgt-in_binary64_6848 *-commutative_binary64_16718 associate-*l*_binary64_15364 prod-exp_binary64_15472 clear-num_binary64_14740
13×	clear-num_binary64_19514 sin-diff_binary64_2942 associate-*l/_binary64_22868 frac-2neg_binary64_19185 flip3-+_binary64_8606 clear-num_binary64_19173 associate-/l/_binary64_19803 flip-+_binary64_19148 clear-num_binary64_13035 pow-prod-down_binary64_12084 distribute-lft-in_binary64_12985 associate-*r/_binary64_19457 flip3-+_binary64_15767 associate-*r/_binary64_15706 frac-2neg_binary64_20890 flip3--_binary64_21224 frac-2neg_binary64_14411 distribute-lft-out--_binary64_12647 distribute-lft-out_binary64_4462 unpow3_binary64_826 clear-num_binary64_14399 pow-pow_binary64_1173 log-prod_binary64 flip--_binary64_21195 sub-neg_binary64_12688 cos-atan_binary64_2985 div-inv_binary64_22240 sqrt-pow1_binary64_16464 associate-*r*_binary64_24570 associate-+l+_binary64_11 associate-*l/_binary64_13320 div-exp_binary64_25022 flip-+_binary64_8577 swap-sqr_binary64_16754 div-inv_binary64_9282 associate-*l*_binary64_19797 associate-*r/_binary64_14683 associate-/r/_binary64_9913 associate-/l*_binary64_15027 associate-/l*_binary64_9912 clear-num_binary64_4510 associate-+r+_binary64_2056 unswap-sqr_binary64_24257 *-commutative_binary64_20810 clear-num_binary64_20878 distribute-rgt-in_binary64_3438 pow1/3_binary64_4934 distribute-lft-in_binary64_3437 cube-mult_binary64_790 frac-times_binary64_14069 associate-*l/_binary64_15707 flip3-+_binary64_19177 distribute-rgt-in_binary64_12986 log-pow_binary64_1190 associate-/r/_binary64_9231 sub-neg_binary64_14052 frac-times_binary64_23276 *-commutative_binary64_16036 flip--_binary64_14716 exp-prod_binary64_6609 frac-times_binary64_16797 frac-2neg_binary64_11683 rem-log-exp_binary64_460 frac-2neg_binary64_4522 sub-neg_binary64_14734 pow1_binary64_21963 associate-*r/_binary64_4112 flip-+_binary64_15738 pow-sqr_binary64_15055 unswap-sqr_binary64_20506 unswap-sqr_binary64_6184 pow1/3_binary64_16528 flip3--_binary64_14745 frac-2neg_binary64_13047 pow-plus_binary64_1505 clear-num_binary64_11671 diff-log_binary64_3239 rem-sqrt-square_binary64_17823 log-pow_binary64_5964 associate-*r/_binary64_23208 pow-prod-up_binary64_14811 frac-2neg_binary64_19526 associate-/r/_binary64_10254 sum-log_binary64_3238 *-commutative_binary64_6147 rem-sqrt-square_binary64_432
12×	pow1/3_binary64_11413 pow-prod-down_binary64_17881 distribute-neg-frac_binary64_11295 cancel-sign-sub-inv_binary64_8569 flip3--_binary64_24293 div-sub_binary64_1788 cancel-sign-sub-inv_binary64_9251 associate-*l/_binary64_13661 pow-unpow_binary64_3906 distribute-lft-out--_binary64_11624 pow-prod-up_binary64_2194 associate-/l/_binary64_11278 rem-cube-cbrt_binary64_1124 pow1/3_binary64_10390 distribute-rgt-out_binary64_31 div-exp_binary64_9336 difference-of-sqr-1_binary64_1071 flip--_binary64_17785 frac-times_binary64_5203 associate-*r/_binary64_10591 rem-cube-cbrt_binary64_3511 pow1/3_binary64_21302 clear-num_binary64_21219 associate-/l/_binary64_23213 cube-prod_binary64_3857 associate-+r+_binary64_12286 distribute-rgt-in_binary64_15032 associate-/l*_binary64_21847 associate-*l/_binary64_8887 frac-2neg_binary64_21231 unswap-sqr_binary64_13345 flip--_binary64_17103 pow-unpow_binary64_2542 cbrt-unprod_binary64_15456 distribute-lft-in_binary64_15031 pow-prod-up_binary64_2876 unswap-sqr_binary64_23575 div-exp_binary64_23999 swap-sqr_binary64_12662 pow-plus_binary64_482 div-exp_binary64_15133 cube-mult_binary64_2495 rem-sqrt-square_binary64_2819 sqrt-prod_binary64_22941 frac-times_binary64_5885 flip--_binary64_9601 pow1/3_binary64_1524 +-commutative_binary64_3759 associate-+l+_binary64_19448 cube-div_binary64_3517 frac-times_binary64_5544 *-commutative_binary64_17059 pow-prod-down_binary64_21291 log-prod_binary64_12781 sum-log_binary64_5966 div-inv_binary64_9964 cube-prod_binary64_13064 associate--l+_binary64_2061 flip3--_binary64_17814 pow-unpow_binary64_2201 pow1/2_binary64_14139 *-commutative_binary64_15013 flip3--_binary64_17132 associate-*l/_binary64_23891 flip3--_binary64_9630 associate-+l+_binary64_21494 log-div_binary64_5962 cube-div_binary64_4881 associate--l+_binary64_13996 log-pow_binary64_1531 *-commutative_binary64_10921 div-sub_binary64_83 pow-prod-down_binary64_18222 log-prod_binary64_10735 sum-log_binary64_7330 div-inv_binary64_9623 1-exp_binary64_2168 unswap-sqr_binary64_5161 pow-pow_binary64_22997 pow-prod-down_binary64_15835 associate-/l/_binary64_19462 diff-log_binary64_5967 swap-sqr_binary64_2091 frac-add_binary64_24979 unswap-sqr_binary64_22211 rec-exp_binary64_2174 flip--_binary64_24264 associate-+r+_binary64_13991 cbrt-div_binary64_16137 +-commutative_binary64_10238
11×	div-inv_binary64_24627 sub-neg_binary64_14393 pow1/3_binary64_19597 associate-*r/_binary64_17070 frac-2neg_binary64_13729 rec-exp_binary64_14109 rem-cube-cbrt_binary64_1465 pow-plus_binary64_1164 pow-pow_binary64_1855 cancel-sign-sub-inv_binary64_5500 sub-neg_binary64_11324 rec-exp_binary64_19906 pow-prod-up_binary64_3899 sqr-pow_binary64_7211 div-exp_binary64_10018 *-commutative_binary64_22856 associate-*l/_binary64_3090 sub-neg_binary64_9960 associate-/l/_binary64_5822 distribute-lft-in_binary64_19464 associate-/r/_binary64_21848 pow1/3_binary64_13800 prod-exp_binary64_7970 pow-flip_binary64_12087 clear-num_binary64_4169 distribute-lft-out--_binary64_8555 cube-mult_binary64_2154 frac-2neg_binary64_4181 pow-exp_binary64_4238 associate-/l/_binary64_11960 sub-neg_binary64_11665 sub-neg_binary64_3140 pow-flip_binary64_15156 div-inv_binary64_23263 frac-times_binary64_17479 cbrt-unprod_binary64_7954 distribute-lft-in_binary64_18441 clear-num_binary64_13717 pow-flip_binary64 frac-2neg_binary64_24300 sqrt-pow1_binary64_2483 sum-log_binary64_24039 sub-neg_binary64_6891 associate-+l+_binary64_4444 distribute-rgt-in_binary64_19465 associate-/r/_binary64_7867 clear-num_binary64_24288 div-inv_binary64_6554 neg-mul-1_binary64_756 diff-log_binary64_14833 *-commutative_binary64_6488 inv-pow_binary64 prod-exp_binary64_5242 inv-pow_binary64_15167 flip--_binary64_24946 associate-/l*_binary64_7866 cbrt-undiv_binary64_23300 associate-*l/_binary64_11956 pow1/3_binary64_12436 flip3-+_binary64_7924 *-commutative_binary64_4101 distribute-rgt-in_binary64_18442 diff-log_binary64_12105 div-inv_binary64_23945 pow1/2_binary64_2545 1-exp_binary64_14103 distribute-lft-out--_binary64_5486 pow-sqr_binary64_392 pow-pow_binary64_3219 pow1/3_binary64_24030 sub-div_binary64_426 flip-+_binary64_7895 associate-*l/_binary64_10933 +-commutative_binary64_19445 difference-of-sqr--1_binary64_1413 sub-neg_binary64_12006 sub-neg_binary64_3481 cancel-sign-sub-inv_binary64_18799 div-sub_binary64_1106 sum-log_binary64_19606 div-sub_binary64_424 difference-of-sqr-1_binary64_4140 unswap-sqr_binary64_11981 flip3--_binary64_24975 pow1/3_binary64_22666 1-exp_binary64_19900
10×	associate-*l/_binary64_5477 +-commutative_binary64_4782 cbrt-div_binary64_4543 *-commutative_binary64_17400 associate-/l*_binary64_7184 pow-prod-down_binary64_19245 distribute-lft-out--_binary64_15375 sub-neg_binary64_10983 flip3--_binary64_15427 pow-exp_binary64_13104 flip3-+_binary64_15426 frac-2neg_binary64_7591 *-commutative_binary64_19105 associate-/r/_binary64_23894 sub-neg_binary64_12347 associate--r+_binary64_17405 +-commutative_binary64_4441 unpow-prod-down_binary64_18230 sqrt-div_binary64_12371 pow-plus_binary64_1846 1-exp_binary64_3873 cube-prod_binary64_2834 sqrt-pow1_binary64_2824 unswap-sqr_binary64_7889 pow-plus_binary64_141 flip--_binary64_15398 associate-/r/_binary64_9572 div-inv_binary64_21899 diff-log_binary64_11423 frac-2neg_binary64_19867 associate-*r/_binary64_9909 frac-times_binary64_23958 unswap-sqr_binary64_8230 distribute-rgt-in_binary64_10599 *-commutative_binary64_5465 div-inv_binary64_7918 frac-2neg_binary64_11342 log-pow_binary64_12102 unswap-sqr_binary64_9253 frac-add_binary64_19523 sqr-pow_binary64_4824 unswap-sqr_binary64_21188 distribute-lft-in_binary64_10598 pow-sqr_binary64_2779 difference-of-squares_binary64_19143 unswap-sqr_binary64_11640 clear-num_binary64_6897 rec-exp_binary64_3879 sqrt-div_binary64_11348 flip3--_binary64_7925 associate-*l/_binary64_8205 sqrt-div_binary64_23283 pow1/3_binary64_9367 associate-/l/_binary64_19121 associate-/l/_binary64_17075 distribute-lft-out--_binary64_6509 diff-log_binary64_6649 associate-/r/_binary64_14346 frac-2neg_binary64_6909 pow-prod-up_binary64_3217 +-commutative_binary64_11261 sum-log_binary64_4261 swap-sqr_binary64_15390 associate-+l+_binary64_1375 pow-exp_binary64_5943 div-exp_binary64_24681 *-commutative_binary64_9557 pow-prod-up_binary64_6968 clear-num_binary64_19855 sum-cubes_binary64_1102 pow-prod-down_binary64_24360 associate-*l/_binary64_8546 sub-neg_binary64_20531 associate-*r/_binary64_17411 sqrt-pow1_binary64_9303 pow1/2_binary64_9365 sqrt-div_binary64_16463 associate-/r/_binary64_6503 pow1/2_binary64_4591 frac-times_binary64_10659 distribute-lft-out--_binary64_9237 sqrt-div_binary64_19532 clear-num_binary64_7579 swap-sqr_binary64_23915 flip--_binary64_7896 pow-sqr_binary64_2438 flip-+_binary64_15397 sum-log_binary64_13127 swap-sqr_binary64_10616 cbrt-unprod_binary64_23299 cube-prod_binary64_18179 clear-num_binary64_11330 clear-num_binary64_20196 sqr-pow_binary64_13008 associate--l+_binary64_13655 difference-of-sqr-1_binary64_9596 sqrt-pow1_binary64_4529 frac-2neg_binary64_20208 unswap-sqr_binary64_21529
9×	swap-sqr_binary64_11298 rem-sqrt-square_binary64_7252 div-sub_binary64_16792 *-commutative_binary64_8534 cbrt-undiv_binary64_15116 sqrt-prod_binary64_18849 pow-unpow_binary64_4247 cancel-sign-sub-inv_binary64_18117 *-commutative_binary64_19446 exp-prod_binary64_16498 flip--_binary64_12670 associate-/r*_binary64_17413 pow1/3_binary64_8003 pow1/2_binary64_7319 pow-prod-up_binary64_17880 diff-log_binary64_18925 sub-neg_binary64_9619 associate-/l*_binary64_8207 cbrt-undiv_binary64_7955 div-inv_binary64_24968 *-commutative_binary64_8193 associate-/l/_binary64_7527 cosh-def_binary64_14586 frac-times_binary64_15092 div-exp_binary64_9677 cube-mult_binary64_1813 pow-unpow_binary64_16182 flip-+_binary64_16761 div-exp_binary64_21953 associate-/l*_binary64_10253 pow2_binary64_1182 difference-of-sqr-1_binary64_389 rem-log-exp_binary64_13418 div-inv_binary64_22581 frac-sub_binary64_15091 sum-log_binary64_18924 distribute-lft-out_binary64_18443 pow-prod-down_binary64_20609 unpow3_binary64_1849 associate-*r/_binary64_4453 cancel-sign-sub-inv_binary64_24255 1-exp_binary64_14785 pow1/3_binary64_20279 flip-+_binary64_9941 associate-*l/_binary64_17071 pow-exp_binary64_3897 distribute-rgt-out--_binary64_1055 pow1/3_binary64_15505 *-commutative_binary64_11944 associate-*r/_binary64_7863 associate-*r/_binary64_8545 cbrt-unprod_binary64_5226 rem-sqrt-square_binary64_4865 +-commutative_binary64_11602 frac-2neg_binary64_5204 clear-num_binary64_5192 associate-*l/_binary64_20822 cube-prod_binary64_4198 pow1/3_binary64_18233 unswap-sqr_binary64_19483 clear-num_binary64_15422 frac-2neg_binary64_15775 rem-log-exp_binary64_119 diff-log_binary64_17561 flip-+_binary64_9259 clear-num_binary64_15763 *-commutative_binary64_22174 distribute-lft-out--_binary64_20490 unswap-sqr_binary64_20165 pow2_binary64_1523 +-commutative_binary64_3077 rem-sqrt-square_binary64_2478 cbrt-prod_binary64_11703 *-commutative_binary64_14672 associate--r+_binary64_1378 pow1/3_binary64_24371 pow-to-exp_binary64_2193 associate-*r/_binary64_8204 flip3-+_binary64_9970 frac-2neg_binary64_15434 associate-*l*_binary64_24912 div-exp_binary64_7972 pow-sqr_binary64_3802 rem-sqrt-square_binary64_16118 cbrt-prod_binary64_13067 associate-*r*_binary64_22524 rec-exp_binary64_14791 cbrt-undiv_binary64_23982 sqr-pow_binary64_16418 flip3-+_binary64_9288 associate-/l/_binary64_15370 pow-flip_binary64_24704 *-commutative_binary64_11603 pow-exp_binary64_5602 flip3--_binary64_12699 div-sub_binary64_13723 cbrt-undiv_binary64_21936 sub-neg_binary64_13370 pow-unpow_binary64_23002 pow1/3_binary64_20961 pow1/3_binary64_24712 pow-prod-down_binary64_7992 flip3-+_binary64_16790 diff-log_binary64_23358 associate--l+_binary64 exp-sum_binary64_10695 unswap-sqr_binary64_18801 difference-of-sqr-1_binary64_23577 sum-log_binary64_13809 pow-prod-up_binary64_14129 associate--r+_binary64_14
8×	pow-prod-down_binary64_5264 associate-/l/_binary64_23895 div-exp_binary64_7290 unpow-prod-down_binary64_18571 pow1/2_binary64_2886 *-commutative_binary64_23879 pow-prod-down_binary64_7651 associate-+r+_binary64_17401 cbrt-prod_binary64_18864 associate-*r/_binary64_17752 unpow-prod-down_binary64_17548 distribute-lft-neg-out_binary64_2424 inv-pow_binary64_1186 1-exp_binary64_13762 unpow3_binary64_2531 inv-pow_binary64_1868 cube-prod_binary64_5903 clear-num_binary64_10648 rec-exp_binary64_20929 frac-2neg_binary64_8614 pow-prod-up_binary64_16175 cos-sum_binary64_20331 frac-add_binary64_12021 frac-times_binary64_22253 sqr-pow_binary64_17441 pow-plus_binary64_14804 cancel-sign-sub-inv_binary64_15730 cbrt-div_binary64_23298 distribute-rgt-neg-out_binary64 1-exp_binary64_6942 difference-of-squares_binary64_14369 sqrt-pow1_binary64_22943 associate-/l/_binary64_9573 flip--_binary64_21877 frac-times_binary64_11682 frac-times_binary64_9295 1-exp_binary64_1486 distribute-rgt-in_binary64_5143 associate-/l/_binary64_4799 associate-/l/_binary64_14006 pow-sqr_binary64_5848 neg-mul-1_binary64_3825 associate-/l*_binary64_23552 sqr-pow_binary64_4142 pow1/2_binary64_15162 sqr-pow_binary64_18464 associate-+r+_binary64_6830 frac-times_binary64_19184 cube-div_binary64_1471 associate-+l+_binary64_20812 frac-sub_binary64_21570 associate-+r-_binary64_11606 inv-pow_binary64_845 pow2_binary64_500 rec-exp_binary64_6948 pow-plus_binary64_15145 associate--r+_binary64_18428 frac-add_binary64_10316 cbrt-undiv_binary64_9319 frac-times_binary64_17138 associate-/r/_binary64_15369 cube-div_binary64_16134 pow-sqr_binary64_3120 cbrt-div_binary64_14091 associate-+l+_binary64_1716 sqrt-div_binary64_5892 *-commutative_binary64_18082 *-commutative_binary64_7511 associate-/l/_binary64_16393 sqr-pow_binary64_3801 cbrt-undiv_binary64_7273 sqrt-pow1_binary64_5552 pow2_binary64_159 sub-neg_binary64_18485 *-commutative_binary64_6829 flip3--_binary64_19519 unswap-sqr_binary64_6525 cbrt-div_binary64_16819 pow-prod-up_binary64_5945 diff-log_binary64_4603 associate-+r+_binary64_6489 swap-sqr_binary64_14708 pow1/3_binary64_10731 associate-/l/_binary64_15711 times-frac_binary64_22931 sqrt-pow1_binary64_4188 associate-/r*_binary64_7183 +-commutative_binary64_4100 frac-sub_binary64_1110 sin-mult_binary64_1938 sub-neg_binary64_15075 associate-+r+_binary64_13650 associate-+r+_binary64_21493 pow-prod-up_binary64_3558 cube-div_binary64_1130 rec-exp_binary64_13768 cosh-undef_binary64_1295 *-commutative_binary64_13308 cbrt-div_binary64_2156 *-commutative_binary64_15695 associate-*l/_binary64_16048 cbrt-undiv_binary64_9660 difference-of-squares_binary64_9254 pow-pow_binary64_2537 frac-sub_binary64_19865 associate-+r+_binary64_16719 frac-sub_binary64_16796 rem-sqrt-square_binary64_5547 sub-neg_binary64_4504 sqrt-pow1_binary64_23966 pow1/2_binary64_5614 +-commutative_binary64_5805 associate--l+_binary64_21498 sqrt-div_binary64_3505 cos-sum_binary64_18967 associate-+r+_binary64_15014 associate-/r/_binary64_17074 1-exp_binary64_20923 associate-*l/_binary64_4454 diff-log_binary64_10400 cbrt-undiv_binary64_13411 rem-cube-cbrt_binary64_442 cos-sum_binary64_1917 difference-of-squares_binary64_15392 div-sub_binary64_2129 frac-times_binary64_10318 frac-times_binary64_16115 associate-*l/_binary64_5136 frac-times_binary64_8954 cbrt-div_binary64_16478 cbrt-undiv_binary64_24664 flip--_binary64_19490 difference-of-squares_binary64_18802 distribute-lft-in_binary64_18100 cube-prod_binary64_7267 frac-add_binary64_4178 distribute-rgt-out--_binary64_32 sin-sum_binary64_893 pow-sqr_binary64_3461 unswap-sqr_binary64_8571 rec-exp_binary64_1492 pow-plus_binary64_2869 clear-num_binary64_8602 sub-neg_binary64_18826 distribute-rgt-in_binary64_18101 frac-2neg_binary64_10660 pow-flip_binary64_152 cube-prod_binary64_18520 associate-*r/_binary64_11955 flip3--_binary64_21906 distribute-lft-in_binary64_5142
7×	sum-log_binary64_14150 pow-to-exp_binary64_4239 flip--_binary64_22900 sub-neg_binary64_5186 pow-sqr_binary64_14714 sqr-abs_binary64_1457 associate-*l/_binary64_17412 associate--r-_binary64_2404 associate-*r/_binary64_21162 pow-prod-up_binary64_9355 flip3-+_binary64_20541 pow-plus_binary64_4574 associate--l-_binary64 *-commutative_binary64_19787 pow-prod-up_binary64_17539 +-commutative_binary64_13648 inv-pow_binary64_163 distribute-rgt-neg-in_binary64_8220 sqr-pow_binary64_23579 cbrt-undiv_binary64_10001 associate-/l/_binary64_4458 rem-cube-cbrt_binary64_1806 diff-log_binary64_9718 flip3--_binary64_4174 unswap-sqr_binary64_14709 clear-num_binary64_17809 frac-times_binary64_17820 distribute-rgt-out--_binary64_16741 1-exp_binary64_4896 associate-/l/_binary64_20826 sub-neg_binary64_13029 rec-exp_binary64_2856 flip3-+_binary64_5537 associate-/l*_binary64_24575 cbrt-div_binary64_24662 pow-to-exp_binary64_7308 rem-exp-log_binary64_1482 rem-sqrt-square_binary64_23961 unpow3_binary64_4918 pow-sqr_binary64_17442 pow-to-exp_binary64_3898 diff-log_binary64_3580 inv-pow_binary64_14826 swap-sqr_binary64_19141 pow1/3_binary64_23689 frac-times_binary64_6908 *-commutative_binary64_24220 frac-times_binary64_8272 pow1/3_binary64_21643 pow-prod-up_binary64_4922 pow-unpow_binary64_12772 distribute-frac-neg_binary64_2428 cosh-undef_binary64 clear-num_binary64_4851 sum-log_binary64_17560 flip-+_binary64_8918 sinh-undef_binary64_1294 *-commutative_binary64_5124 pow1/2_binary64_24028 flip3-+_binary64_8947 difference-of-sqr-1_binary64_16757 frac-times_binary64_13387 exp-diff_binary64_1490 sqrt-prod_binary64_24305 flip-+_binary64_5508 diff-log_binary64_14151 1-exp_binary64_2850 sum-log_binary64_12786 sum-log_binary64_12445 *-commutative_binary64_20469 div-inv_binary64_7236 cos-mult_binary64_1937 rec-exp_binary64_4902 difference-of-sqr-1_binary64_4481 rec-exp_binary64_13086 sqr-pow_binary64_5847 frac-2neg_binary64_17821 cube-prod_binary64_23635 sin-mult_binary64_233 clear-num_binary64_18150 clear-num_binary64_17127 unswap-sqr_binary64_15391 pow-flip_binary64_2198 sinh-undef_binary64 flip-+_binary64_23240 distribute-lft-neg-in_binary64_8219 unpow2_binary64_2189 1-exp_binary64_19559 pow-prod-down_binary64_10720 pow-sqr_binary64_2097 add-log-exp_binary64_21941 flip3-+_binary64_22928 frac-times_binary64_4521 sum-log_binary64_5284 unpow2_binary64_7304 frac-2neg_binary64_18162 +-commutative_binary64_23878 pow-flip_binary64_14815 div-inv_binary64_8259 flip-+_binary64_22899 cube-mult_binary64_4882 associate-*l/_binary64_15025 flip-+_binary64_20512 pow-pow_binary64_16518 flip--_binary64_4145 un-div-inv_binary64_14398 flip3--_binary64_22929 div-inv_binary64_10305 1-exp_binary64_13080 un-div-inv_binary64_3145 unpow-prod-down_binary64_23686 log-div_binary64_1529 sqr-pow_binary64_16077 add-log-exp_binary64_24669 associate-/l/_binary64_10596 rem-sqrt-square_binary64_1796 cbrt-undiv_binary64_25005 sqrt-prod_binary64_8960 unpow-prod-down_binary64_13797 inv-pow_binary64_2209 rem-log-exp_binary64_2506 rec-exp_binary64_8994 frac-2neg_binary64_4863 rec-exp_binary64_19565 div-sub_binary64_3834 flip3-+_binary64_23269 pow2_binary64_1864 pow-exp_binary64_7307 associate-*l/_binary64_24232 frac-2neg_binary64_17139 pow-flip_binary64_13110 diff-log_binary64_3921 1-exp_binary64_8988 frac-times_binary64_20889 *-commutative_binary64_9898 pow-pow_binary64_3901 pow-prod-down_binary64_13107 pow-prod-down_binary64_9356 sub-neg_binary64_5527 sqrt-prod_binary64_8619 *-commutative_binary64_10580 associate-*l/_binary64_21163
6×	associate-/l/_binary64_8891 frac-2neg_binary64_5886 sum-log_binary64_11081 +-commutative_binary64_16035 div-sub_binary64_3152 exp-prod_binary64_3199 distribute-lft-neg-in_binary64_35 swap-sqr_binary64_13344 associate-*r/_binary64_8886 acos-asin_binary64_1623 clear-num_binary64_20537 pow1/3_binary64_19938 +-commutative_binary64_11943 cbrt-unprod_binary64_21935 swap-sqr_binary64_9593 associate-/l/_binary64_13324 frac-add_binary64_3496 pow-unpow_binary64_5952 frac-sub_binary64_769 cbrt-div_binary64_7271 distribute-lft-in_binary64_15713 associate-/r/_binary64_7185 swap-sqr_binary64_10275 flip--_binary64_9942 flip-+_binary64_15056 clear-num_binary64_6215 rem-log-exp_binary64_2165 frac-2neg_binary64_22254 sqrt-div_binary64_14076 distribute-lft-out--_binary64_17421 pow-unpow_binary64_16523 frac-times_binary64_7931 pow-sqr_binary64_6871 cancel-sign-sub-inv_binary64_21868 +-commutative_binary64_12625 associate--r+_binary64_2742 sum-log_binary64_15173 +-commutative_binary64_13989 diff-log_binary64_13128 pow-flip_binary64_11405 sum-log_binary64_20970 frac-2neg_binary64_23277 swap-sqr_binary64_19482 1-exp_binary64_12739 diff-log_binary64_5285 prod-exp_binary64_24679 *-commutative_binary64_7852 sum-log_binary64_10740 frac-times_binary64_11341 +-commutative_binary64_15012 swap-sqr_binary64_20164 associate-/r/_binary64_8890 pow-pow_binary64_2196 pow1/3_binary64_6639 *-commutative_binary64_23197 clear-num_binary64_8943 clear-num_binary64_23265 associate-+l+_binary64_9559 cbrt-div_binary64_22957 pow-unpow_binary64_13113 rem-log-exp_binary64_1483 sin-cos-mult_binary64_1939 rec-exp_binary64_16837 sum-log_binary64_25062 pow-unpow_binary64_12090 pow-prod-up_binary64_5604 pow-unpow_binary64_7316 acos-asin_binary64_259 +-commutative_binary64_6828 cube-div_binary64_18180 pow-exp_binary64_17196 frac-times_binary64_9636 flip3--_binary64_9971 frac-sub_binary64_10999 pow-plus_binary64_2528 cos-diff_binary64_1920 clear-num_binary64_5874 associate-/l/_binary64_20485 associate-/r/_binary64_5821 distribute-lft1-in_binary64_33 rem-cube-cbrt_binary64_783 distribute-rgt-in_binary64_15714 frac-times_binary64_12023 flip3-+_binary64_15085 1-exp_binary64_11034 pow-prod-down_binary64_23337 associate-*l/_binary64_5818 swap-sqr_binary64_18800 cube-prod_binary64_8972 cancel-sign-sub-inv_binary64_15389 frac-2neg_binary64_20549 pow2_binary64_15163 neg-mul-1_binary64 unpow3_binary64 distribute-rgt-out--_binary64_17764 rem-cube-cbrt_binary64_2147 flip--_binary64_20513 sub-div_binary64_16794 cube-mult_binary64 associate-*l/_binary64_19117 diff-log_binary64_25063 1-exp_binary64_16831 sqrt-prod_binary64_5209 rem-exp-log_binary64_459 associate--l-_binary64_16 frac-2neg_binary64_8955 1-exp_binary64_8306 pow-sqr_binary64_8917 frac-2neg_binary64_6227 clear-num_binary64_22242 unpow-prod-down_binary64_9023 cbrt-div_binary64_4202 pow-sqr_binary64_5507 associate-*l/_binary64_10592 pow-unpow_binary64_2883 associate--r+_binary64_1037 +-commutative_binary64_17058 pow-plus_binary64_2187 rec-exp_binary64_8312 prod-exp_binary64_21951 rec-exp_binary64_12745 1-exp_binary64_5237 swap-sqr_binary64_4137 cancel-sign-sub-inv_binary64_23914 pow-unpow_binary64_17205 associate-*r/_binary64_9227 distribute-lft-out--_binary64_14352 pow-plus_binary64 log-div_binary64_16874 cancel-sign-sub-inv_binary64_4136 rec-exp_binary64_11040 sub-neg_binary64_10642 rem-log-exp_binary64_801 pow2_binary64_2546 cube-div_binary64_17157 associate-*r/_binary64_18434 sqr-pow_binary64_2778 +-commutative_binary64_23196 sqrt-prod_binary64_20213 distribute-rgt-neg-in_binary64_36 rec-exp_binary64_5243 +-commutative_binary64_7169 sum-log_binary64_17219 swap-sqr_binary64_24256 sum-log_binary64_6989 swap-sqr_binary64_20846 pow-unpow_binary64_4929 cbrt-div_binary64_22275 +-commutative_binary64_12284 associate-/l/_binary64_11619 log-pow_binary64_16876 rem-cube-cbrt_binary64_3170 sum-log_binary64_19947 pow-pow_binary64 associate-/l/_binary64_6845 associate-*l*_binary64_22525 swap-sqr_binary64_14367 cbrt-div_binary64_6589 distribute-rgt-in_binary64_24239 *-commutative_binary64_17741 pow-prod-up_binary64_11060 difference-of-sqr-1_binary64_2094 log-pow_binary64_11420 cube-div_binary64_2153 pow-sqr_binary64_10963 pow-to-exp_binary64_5944 pow2_binary64 swap-sqr_binary64_7888 cbrt-div_binary64_21593 associate-+r+_binary64_10581 rem-sqrt-square_binary64_15095 associate-+r+_binary64_18083 distribute-lft-in_binary64_14690 swap-sqr_binary64_12321 distribute-rgt-in_binary64_14691 pow-prod-up_binary64_9014 distribute-lft-in_binary64_24238 div-exp_binary64_10359 flip3--_binary64_20542 cbrt-undiv_binary64_10342
5×	sqrt-unprod_binary64 frac-times_binary64_4180 sub-neg_binary64_20190 associate-+r-_binary64_1376 associate--l+_binary64_1379 distribute-rgt1-in_binary64_15720 tan-quot_binary64_237 diff-log_binary64_5626 clear-num_binary64_13376 +-commutative_binary64_8874 diff-log_binary64_12446 pow-plus_binary64_3551 sqr-pow_binary64_17100 flip-+_binary64_23581 pow-sqr_binary64_4825 frac-2neg_binary64_15093 +-commutative_binary64_20809 diff-log_binary64_21653 pow1/3_binary64_8344 div-sub_binary64_4857 exp-sum_binary64_124 clear-num_binary64_16445 sin-mult_binary64_915 prod-exp_binary64_25020 pow-flip_binary64_11746 log-pow_binary64_12443 frac-2neg_binary64_17480 rem-exp-log_binary64_118 unpow2_binary64_4235 sqrt-unprod_binary64_1803 1-exp_binary64_20582 diff-log_binary64_23699 flip3-+_binary64_23610 exp-prod_binary64_12747 diff-log_binary64_19266 sub-neg_binary64_13711 associate-/l/_binary64_22190 frac-2neg_binary64_9637 div-sub_binary64_12359 pow-sqr_binary64_16078 associate-/l*_binary64_6502 pow1/3_binary64_12095 distribute-lft-in_binary64_9575 distribute-rgt-in_binary64_8553 tan-quot_binary64_2624 associate-*l/_binary64_7864 diff-log_binary64_19948 +-commutative_binary64_21150 distribute-rgt-out_binary64_2418 +-commutative_binary64_9556 clear-num_binary64_17468 count-2_binary64_15712 exp-prod_binary64_10701 associate--l-_binary64_1721 exp-sum_binary64_12741 +-commutative_binary64_5123 *-commutative_binary64_21151 distribute-rgt1-in_binary64_2421 frac-sub_binary64_3156 sinh-def_binary64_4696 clear-num_binary64_15081 frac-2neg_binary64_13388 distribute-lft-in_binary64_8552 pow-sqr_binary64_14032 sin-mult_binary64_1597 pow1/3_binary64_7321 sqrt-pow1_binary64_19533 pow1/2_binary64_4250 clear-num_binary64_23947 pow-to-exp_binary64_5603 +-commutative_binary64_3418 pow-flip_binary64_6972 div-sub_binary64_17133 pow2_binary64_17550 sum-cubes_binary64_2466 sum-log_binary64_22675 1-exp_binary64_10693 diff-log_binary64_17902 pow-flip_binary64_20953 rem-log-exp_binary64_5916 frac-2neg_binary64_9296 sub-neg_binary64_18144 pow1/2_binary64_19595 sum-log_binary64_9035 pow-flip_binary64_3221 associate-*r/_binary64_21844 pow2_binary64_5956 +-commutative_binary64_18763 rec-exp_binary64_10699 log-div_binary64_12100 pow3_binary64_843 pow1/3_binary64_14141 rec-exp_binary64_15814 div-sub_binary64_5880 distribute-lft1-in_binary64_15719 cos-diff_binary64_897 sqr-pow_binary64_5506 associate-*r/_binary64_15365 distribute-lft-out_binary64_12305 log-pow_binary64_9715 pow-pow_binary64_14131 clear-num_binary64_9284 distribute-rgt-in_binary64_9576 pow-plus_binary64_17532 pow2_binary64_2887 1-exp_binary64_15808 sqr-abs_binary64 sum-log_binary64_3579 frac-2neg_binary64_16457 sub-div_binary64 clear-num_binary64_9625 rem-sqrt-square_binary64_19528 pow2_binary64_4592 rec-exp_binary64_20588 inv-pow_binary64_12098 pow-plus_binary64_5938 frac-2neg_binary64_23959 pow-sqr_binary64_17783 distribute-rgt-neg-out_binary64_8222 associate-*r/_binary64_9568 unswap-sqr_binary64_21870 pow-sqr_binary64_9258 associate-/l/_binary64_8550 sin-mult_binary64_3643 diff-log_binary64_10741 distribute-lft-neg-out_binary64 cosh-def_binary64_1287
4×	associate-*l/_binary64_9569 diff-log_binary64_16879 log-pow_binary64_22673 diff-cos_binary64_6708 rem-exp-log_binary64_2164 frac-sub_binary64_1792 associate--l+_binary64_16042 swap-sqr_binary64_6865 distribute-lft-neg-in_binary64_376 sqr-abs_binary64_93 sum-log_binary64_18583 associate-/r/_binary64_23553 frac-sub_binary64_16114 cbrt-prod_binary64_8634 unpow-prod-up_binary64_156 rem-cbrt-cube_binary64_784 pow-to-exp_binary64_13105 associate-/l/_binary64_14347 pow1/3_binary64_23348 sub-neg_binary64_15757 unswap-sqr_binary64_13004 sum-log_binary64_17901 associate-*l/_binary64_21504 associate-/l/_binary64_17757 +-commutative_binary64_18422 associate-/l/_binary64_17416 associate-*r/_binary64_22867 1-exp_binary64_4214 associate-*l/_binary64_7182 rem-sqrt-square_binary64_9298 diff-log_binary64_18584 div-sub_binary64_12018 unpow3_binary64_3895 associate-*l/_binary64_9228 associate-/l/_binary64_10255 cube-mult_binary64_3859 frac-times_binary64_8613 *-commutative_binary64_9216 pow-pow_binary64_13108 cbrt-undiv_binary64_22959 log-pow_binary64_13466 distribute-rgt-neg-out_binary64_9927 rem-log-exp_binary64_12054 pow-flip_binary64_5267 log-pow_binary64_18922 associate-/l/_binary64_7868 exp-diff_binary64_808 pow-exp_binary64_16173 pow1/3_binary64_22325 distribute-lft-in_binary64_15372 prod-exp_binary64_9334 1-exp_binary64_25015 pow-exp_binary64_4920 +-commutative_binary64_10579 frac-2neg_binary64_9978 log-div_binary64_9713 sqrt-div_binary64_7597 associate-+l-_binary64_354 un-div-inv_binary64_76 unswap-sqr_binary64_24939 pow-prod-down_binary64_18563 difference-of-squares_binary64_9936 unpow3_binary64_2872 associate-*l/_binary64_17753 diff-log_binary64_11082 distribute-lft-in_binary64_9234 cbrt-div_binary64_19547 distribute-rgt-in_binary64_9235 cube-prod_binary64_22271 sub-neg_binary64_9278 pow1/2_binary64_11752 distribute-frac-neg_binary64_2087 distribute-lft-neg-out_binary64_4811 pow-flip_binary64_13792 exp-sum_binary64_465 +-commutative_binary64_19786 sqrt-div_binary64_18850 difference-of-sqr-1_binary64_18462 unswap-sqr_binary64_18460 clear-num_binary64_7238 1-exp_binary64_19218 rec-exp_binary64_4220 associate--l+_binary64_7517 associate--r+_binary64_16041 associate-*l/_binary64_22186 distribute-lft-out--_binary64_20831 clear-num_binary64_24970 cube-mult_binary64_13066 associate-+l+_binary64_11264 +-commutative_binary64_20468 cosh-undef_binary64_1636 associate-/r/_binary64_18779 frac-times_binary64_18843 difference-of-squares_binary64_22894 associate-/l/_binary64_21849 cbrt-div_binary64_18865 sqrt-pow1_binary64_11690 sqr-pow_binary64_18123 acos-asin_binary64_2305 div-sub_binary64_18156 rem-cbrt-cube_binary64_2830 distribute-rgt-neg-in_binary64_1741 distribute-rgt-neg-out_binary64_1743 frac-sub_binary64_7248 associate-/r/_binary64_24576 frac-2neg_binary64_7932 pow1/2_binary64_16526 associate-/r/_binary64_22871 frac-add_binary64_18841 pow-sqr_binary64_15737 tan-quot_binary64_2965 sqrt-div_binary64_5210 flip-+_binary64_10623 frac-2neg_binary64_21913 *-commutative_binary64_18423 distribute-lft-in_binary64_5483 +-commutative_binary64_10920 distribute-rgt-out--_binary64_373 associate-+l+_binary64_18766 distribute-lft-in_binary64_21851 exp-diff_binary64_3195 cube-div_binary64_8973 pow-plus_binary64_3210 associate--l-_binary64_1380 sub-neg_binary64_19508 unpow-prod-down_binary64_10728 distribute-lft-neg-in_binary64_1740 frac-add_binary64_7247 div-exp_binary64_22976 frac-add_binary64_3155 rec-exp_binary64_25021 asin-acos_binary64_3668 swap-sqr_binary64_5160 pow2_binary64_3569 pow-to-exp_binary64_4921 rem-sqrt-square_binary64_11685 pow-div_binary64_835 pow-to-exp_binary64_16174 associate--l+_binary64_10927 associate-/l/_binary64_9232 associate-+r-_binary64_12 pow2_binary64_3228 distribute-rgt-out_binary64_2077 cancel-sign-sub-inv_binary64_19481 frac-sub_binary64_17819 unpow3_binary64_13102 cos-sum_binary64_212 inv-pow_binary64_11416 diff-log_binary64_12787 +-commutative_binary64_17399 distribute-rgt-in_binary64_21852 flip3-+_binary64_10652 cube-mult_binary64_17158 cube-div_binary64_1812 difference-of-squares_binary64_20848 un-div-inv_binary64_19513 cube-mult_binary64_2836 pow-prod-down_binary64_15494 neg-mul-1_binary64_415 associate-+l+_binary64_5126 pow-sqr_binary64_17101 distribute-rgt-in_binary64_23898 cbrt-unprod_binary64_9318 unpow-prod-down_binary64_22322 frac-sub_binary64_2815 clear-num_binary64_21901 unpow3_binary64_17194 pow-prod-up_binary64_22995 associate-+l-_binary64_2059 sin-sum_binary64_1916 pow1/3_binary64_16869 sum-log_binary64_16878 clear-num_binary64_7920 distribute-rgt-out_binary64_1736 cube-div_binary64_2494 pow-plus_binary64_3892 sqr-abs_binary64_17825 pow-prod-up_binary64_15834 un-div-inv_binary64_2804 clear-num_binary64_9966 associate-*r/_binary64_20139 sum-log_binary64_7671 associate-/r*_binary64_22869 +-commutative_binary64_16717 associate-+l+_binary64_17402 distribute-rgt-in_binary64_15373 pow2_binary64_3910 frac-times_binary64_15433 pow2_binary64_2205 difference-of-sqr--1_binary64_4141 frac-2neg_binary64_24982 rec-exp_binary64_19224 cbrt-unprod_binary64_24663 rem-sqrt-square_binary64_4524 frac-add_binary64_23274 difference-of-sqr-1_binary64_48 sub-neg_binary64_8596 distribute-rgt-neg-in_binary64_377 div-sub_binary64_18497 pow-sqr_binary64_22898 distribute-rgt-out_binary64_21173 associate-/r/_binary64_17415 inv-pow_binary64_3232 associate-/l/_binary64_24918 frac-2neg_binary64_7250 sum-log_binary64_20629 sum-log_binary64_21652 associate-/l/_binary64_7186 div-sub_binary64_9631 diff-log_binary64_20289 pow-prod-up_binary64_17198 pow2_binary64_14822 log-div_binary64_3234 rem-cube-cbrt_binary64_17151 distribute-lft-in_binary64_23897 cube-div_binary64_7268 sqrt-div_binary64_15099 frac-add_binary64_14067 distribute-rgt-in_binary64_5484 exp-to-pow_binary64_2186 associate-/l/_binary64_8209 +-commutative_binary64_7510
3×	*-commutative_binary64_15354 log-prod_binary64_18919 unpow2_binary64_5599 exp-diff_binary64_12743 1-exp_binary64_3532 cbrt-undiv_binary64_23641 distribute-lft-neg-in_binary64_2422 inv-pow_binary64_20964 1-exp_binary64_18195 pow2_binary64_5615 clear-num_binary64_24629 sqr-pow_binary64_13690 rem-sqrt-square_binary64_16459 div-sub_binary64_16451 rec-exp_binary64_3538 associate-/r*_binary64_18777 pow2_binary64_9025 +-commutative_binary64_24901 +-commutative_binary64_16376 distribute-rgt-out--_binary64_15718 exp-prod_binary64_18885 diff-log_binary64_18243 distribute-rgt-out--_binary64_20151 pow-plus_binary64_6279 rec-exp_binary64_22293 cos-2_binary64_561 pow-unpow_binary64_18228 cube-div_binary64_4199 rem-exp-log_binary64_12735 div-sub_binary64_10995 diff-log_binary64_21312 flip3-+_binary64_22587 associate--l+_binary64_24908 associate-+l-_binary64_11266 distribute-lft-out_binary64_18102 exp-sum_binary64_1829 associate-*l*_binary64_24571 1-exp_binary64_22287 unswap-sqr_binary64_9935 associate-+r+_binary64_21152 difference-of-sqr--1_binary64_13689 diff-log_binary64_14492 sqrt-pow1_binary64_6575 rec-exp_binary64_18201 pow-plus_binary64_5597 cube-div_binary64_16475 associate-/l*_binary64_18778 distribute-rgt-out--_binary64_18446 distribute-rgt-neg-in_binary64_11289 distribute-lft-neg-in_binary64_11288 rem-log-exp_binary64_16828 pow-unpow_binary64_14477 sqrt-pow2_binary64_16124 inv-pow_binary64_6983 pow-pow_binary64_12767 frac-2neg_binary64_24641 associate-+l+_binary64_4103 unpow3_binary64_18217 cbrt-div_binary64_9658 pow-prod-down_binary64_24701 sqrt-pow1_binary64_3506 frac-sub_binary64_4520 div-sub_binary64_19179 sub-neg_binary64_24282 associate--l+_binary64_5130 rem-log-exp_binary64 clear-num_binary64_10307 inv-pow_binary64_5278 associate--r+_binary64_18769 cos-mult_binary64_1596 pow-flip_binary64_14474 cancel-sign-sub-inv_binary64_7887 flip-+_binary64_22558 log-pow_binary64_14148 pow-flip_binary64_2539 pow-plus_binary64_11053 rem-exp-log_binary64_800 rem-sqrt-square_binary64_6570 1-exp_binary64_15126 associate-+r-_binary64_23200 pow1/2_binary64_3568 diff-log_binary64_6990 flip-+_binary64_16420 rem-square-sqrt_binary64_1454 pow-unpow_binary64_9362 rec-exp_binary64_15132 flip-+_binary64_13351 sum-log_binary64_8694 neg-mul-1_binary64_8258 cube-mult_binary64_16476 pow-pow_binary64_2878 sub-neg_binary64_21213 cos-mult_binary64_914 flip3-+_binary64_13380 acos-neg_binary64_1625 distribute-lft-neg-out_binary64_37 associate-+r+_binary64_18765 sqr-pow_binary64_14372 cube-mult_binary64_18181 sqrt-unprod_binary64_1462 *-commutative_binary64_21833 pow1/3_binary64_13118 distribute-rgt-out_binary64_11966 cos-diff_binary64_1579 sqr-sin-a_binary64_226 cos-diff_binary64_20334 distribute-lft-neg-in_binary64_1058 sum-log_binary64_15514 pow1/3_binary64_17892 associate-/l/_binary64_14688 pow-unpow_binary64_10044 cube-div_binary64_448 cancel-sign-sub-inv_binary64_24937 associate-*l/_binary64_4113 associate-/r/_binary64_20484 cancel-sign-sub-inv_binary64_19822 cancel-sign-sub-inv_binary64_21186 atan-neg_binary64_2649 log-prod_binary64_6643 unpow3_binary64_16171 rem-log-exp_binary64_2847 exp-diff_binary64_126 sub-neg_binary64_22918 rec-exp_binary64_15473 cancel-sign-sub-inv_binary64_22891 flip3-+_binary64_16449 1-exp_binary64_23310 +-commutative_binary64_15353 sqr-abs_binary64_14074 pow-pow_binary64_4242 rem-exp-log_binary64_10689 rec-exp_binary64_23998 rec-exp_binary64_24339 unpow-prod-down_binary64_11751 flip--_binary64_19831 distribute-lft-out_binary64_22876 rem-cbrt-cube_binary64_3512 sum-log_binary64_10058 pow-flip_binary64_2880 pow1/3_binary64_20620 associate-+l-_binary64_1036 distribute-rgt-neg-in_binary64_1059 flip3--_binary64_19860 pow2_binary64_6297 pow2_binary64_11071 pow-to-exp_binary64_22994 diff-log_binary64_13469 inv-pow_binary64_21305 distribute-lft-out--_binary64_7191 tan-quot_binary64_18310 pow-prod-down_binary64_21973 diff-log_binary64_13810 associate-+r-_binary64_4786 distribute-rgt-out--_binary64_2078 1-exp_binary64_7624 sqrt-prod_binary64_10324 associate-/l/_binary64_20144 clear-num_binary64_6556 sqr-pow_binary64_14031 sub-neg_binary64_19849 unsub-neg_binary64_72 rem-sqrt-square_binary64_4183 rem-cube-cbrt_binary64_14423 distribute-lft-out--_binary64_9919 associate-+r+_binary64_16037 distribute-rgt-out--_binary64_23220 cos-atan_binary64_2644 inv-pow_binary64_2891 sum-log_binary64_16537 pow-unpow_binary64_5611 pow-exp_binary64_14468 distribute-frac-neg_binary64_1405 pow1/3_binary64_11754 distribute-rgt-neg-in_binary64_2423 log-prod_binary64_9712 cos-neg_binary64_2596 div-sub_binary64_13041 1-exp_binary64_15467 rec-exp_binary64_23316 clear-num_binary64_8261 pow-sub_binary64_1859 frac-2neg_binary64_6568 associate-+l-_binary64_1377 unpow3_binary64_16512 1-exp_binary64_23992 pow-unpow_binary64_11749 pow-exp_binary64_22993 +-commutative_binary64_24219 pow1/2_binary64_6637 *-commutative_binary64_12967 rec-exp_binary64_7630 inv-pow_binary64_2550 exp-prod_binary64_1835 associate--l+_binary64_11609 sub-neg_binary64_7232 cube-mult_binary64_16135 pow-flip_binary64_4244 sub-neg_binary64_17803 sub-neg_binary64_24964 cancel-sign-sub-inv_binary64_8228 inv-pow_binary64_3914 frac-2neg_binary64_10319 sum-log_binary64_24380 sqrt-unprod_binary64_98 inv-pow_binary64_14485 exp-to-pow_binary64_3550 pow-to-exp_binary64_17197 log-pow_binary64_3236 associate--l-_binary64_357 pow-unpow_binary64_9021 frac-2neg_binary64_8273 pow-flip_binary64_3562 cbrt-unprod_binary64_25004 pow-plus_binary64_9007 1-exp_binary64_24333 neg-sub0_binary64_2119 inv-pow_binary64_13803 sqrt-pow1_binary64_13736 neg-log_binary64_512 inv-pow_binary64_4255 associate-/r*_binary64_23551 associate--l-_binary64_5813 sub-neg_binary64_8255 pow-flip_binary64_21294 sqr-abs_binary64_15097 +-commutative_binary64_8533 unpow2_binary64_5940 div-exp_binary64_23658 pow-flip_binary64_3903 log-div_binary64_13464 pow-unpow_binary64_14136 pow-pow_binary64_14472 associate-+l+_binary64_13651 pow-unpow_binary64_6634 pow-flip_binary64_23340 distribute-lft-out--_binary64_13670 rem-sqrt-square_binary64_3501 rem-cbrt-cube_binary64_1466 rem-sqrt-square_binary64_13731 frac-times_binary64_20548 +-commutative_binary64_22514 pow-exp_binary64_12081 diff-log_binary64_7672 pow-unpow_binary64_8680 div-sub_binary64_5198
2×	div-sub_binary64_17815 distribute-rgt-out_binary64_9920 rem-sqrt-square_binary64_6911 sqr-pow_binary64_9257 un-div-inv_binary64_6896 div-inv_binary64_22922 pow2_binary64_15845 exp-diff_binary64_10697 sqr-pow_binary64_8916 sqrt-pow2_binary64_97 pow-sqr_binary64_19488 inv-pow_binary64_4596 un-div-inv_binary64_22241 inv-pow_binary64_13121 pow-exp_binary64_2874 flip3--_binary64_7243 associate-*l/_binary64_20481 pow-pow_binary64_4924 flip3-+_binary64_8265 frac-add_binary64_15431 cube-mult_binary64_9315 distribute-rgt-in_binary64_4120 +-commutative_binary64_21491 distribute-rgt-in_binary64_4461 pow-sqr_binary64_20170 pow2_binary64_23006 distribute-rgt-out--_binary64_11967 +-commutative_binary64_22855 exp-to-pow_binary64_822 associate-+l-_binary64_5810 associate-+l+_binary64_18425 sin-sum_binary64_1575 frac-times_binary64_18502 pow-sqr_binary64_15396 associate-+l+_binary64_23881 1-exp_binary64_17854 pow-sqr_binary64_10622 flip-+_binary64_8236 pow-prod-up_binary64_12765 inv-pow_binary64_19941 distribute-lft-in_binary64_8211 cube-mult_binary64_9997 rem-cube-cbrt_binary64_101 un-div-inv_binary64_16785 pow-sqr_binary64_23580 associate--l+_binary64_19793 unpow1/3_binary64_5601 pow1/2_binary64_5955 associate-*l/_binary64_6500 pow-exp_binary64_6625 1-exp_binary64_24674 un-div-inv_binary64_11329 associate--r+_binary64 sqrt-pow1_binary64_10326 inv-pow_binary64_11757 distribute-lft-out--_binary64_22877 sub-div_binary64_1449 neg-sub0_binary64_3824 diff-log_binary64_19607 exp-sum_binary64_2852 sqrt-pow1_binary64_5893 inv-pow_binary64_25056 un-div-inv_binary64_12011 rem-cube-cbrt_binary64_12036 div-inv_binary64_18830 pow1/3_binary64_18915 inv-pow_binary64_15849 cube-mult_binary64_7269 unsub-neg_binary64_9961 associate-+r+_binary64_12968 sum-log_binary64_23698 un-div-inv_binary64_3827 log-div_binary64_2893 div-sub_binary64_13382 pow-prod-up_binary64_14470 pow-prod-up_binary64_9696 pow-sqr_binary64_13691 associate-+r-_binary64 1-exp_binary64_10011 pow-pow_binary64_5947 unpow2_binary64_4576 pow3_binary64 rem-cbrt-cube_binary64 pow-plus_binary64_22988 un-div-inv_binary64_1440 associate-/l/_binary64_9914 distribute-rgt-out--_binary64_9921 pow-prod-up_binary64_24018 pow-exp_binary64_4579 associate--r+_binary64_4788 sqr-pow_binary64_22215 sub-neg_binary64_15416 associate-+r-_binary64_13652 cube-mult_binary64_12043 unpow2_binary64 rec-exp_binary64_9335 div-sub_binary64_11336 associate-+r+_binary64_19447 rem-cbrt-cube_binary64_2148 pow-pow_binary64_12085 distribute-rgt-in_binary64_7871 rec-exp_binary64_10017 associate-+l-_binary64_21496 pow-prod-down_binary64_22655 unswap-sqr_binary64_24598 unswap-sqr_binary64_22552 diff-log_binary64_4262 associate--l+_binary64_10586 sqr-abs_binary64_434 pow-prod-up_binary64_13788 distribute-neg-frac_binary64_11977 associate-+r+_binary64_15696 unpow3_binary64_12079 exp-neg_binary64_2853 pow-plus_binary64_12758 *-commutative_binary64_22515 distribute-lft-out_binary64_10600 pow2_binary64_17209 frac-add_binary64_4860 div-sub_binary64_17474 distribute-rgt-neg-out_binary64_1061 associate-+l+_binary64_5808 diff-log_binary64_15174 pow-sqr_binary64_14373 rem-exp-log_binary64_22965 cube-div_binary64_9314 pow-sqr_binary64_7894 neg-sub0_binary64_1096 distribute-rgt-out--_binary64_23561 associate--r-_binary64_17749 sub-neg_binary64_23941 div-sub_binary64_3493 pow-prod-up_binary64_11401 un-div-inv_binary64_23946 rem-sqrt-square_binary64_22938 diff-log_binary64_20971 associate--r-_binary64_11952 associate-/l/_binary64_23554 pow-flip_binary64_11064 distribute-frac-neg_binary64_3792 unpow3_binary64_5941 distribute-lft-out--_binary64_9578 associate--r+_binary64_23202 log-div_binary64_12441 pow-sqr_binary64_4143 sum-log_binary64_19265 pow-pow_binary64_8675 rem-cbrt-cube_binary64_1125 pow-flip_binary64_25045 pow1/3_binary64_19256 pow-plus_binary64_9348 pow-prod-up_binary64_15493 sqrt-pow1_binary64_5211 unpow1/3_binary64_5942 pow1/2_binary64_5273 associate-/l/_binary64_22872 pow-plus_binary64_4915 neg-sub0_binary64_755 div-exp_binary64_18884 pow2_binary64_16186 frac-sub_binary64_12022 sinh-def_binary64_1286 pow-plus_binary64_16168 pow-flip_binary64_15838 difference-of-squares_binary64_20166 unpow3_binary64_10033 rem-cbrt-cube_binary64_443 associate-+r+_binary64_18424 pow-prod-up_binary64_24359 pow-prod-up_binary64_10719 exp-to-pow_binary64_22987 cube-mult_binary64_8974 pow-prod-up_binary64_20949 sqr-pow_binary64_9939 +-commutative_binary64_23537 unpow3_binary64_9010 rem-cube-cbrt_binary64_16128 distribute-rgt-in_binary64_8212 cos-sum_binary64_553 cube-mult_binary64_14430 distribute-lft-in_binary64_7870 sub-neg_binary64_21895 tan-sum_binary64 pow-pow_binary64_17200 flip3-+_binary64_21564 associate-+r+_binary64_3420 pow-flip_binary64_6290 prod-exp_binary64_22633 distribute-lft-in_binary64_3096 pow-to-exp_binary64_2875 difference-of-squares_binary64_13687 pow-sqr_binary64_24262 sqrt-pow1_binary64_11349 associate-/l/_binary64_6163 1-exp_binary64_4555 distribute-rgt-neg-out_binary64_11291 associate--l-_binary64_11610 pow-flip_binary64_19248 pow-prod-up_binary64_5263 unpow3_binary64_7305 pow1/2_binary64_11411 +-commutative_binary64_9897 div-inv_binary64_23604 pow-prod-up_binary64_4240 *-commutative_binary64_24902 cube-prod_binary64_14428 rem-sqrt-square_binary64_5206 flip-+_binary64_22217 distribute-lft-in_binary64_4119 distribute-rgt1-in_binary64_2080 div-sub_binary64_2470 flip-+_binary64_21535 associate-+r+_binary64_1715 associate--l+_binary64_11950 frac-times_binary64_24981 rec-exp_binary64_20247 associate-+l+_binary64_18084 sub-div_binary64_17817 unpow-prod-down_binary64_14479 pow-prod-down_binary64_25042 rem-log-exp_binary64_22625 difference-of-squares_binary64_7208 associate-+r-_binary64_353 pow1/2_binary64_14821 pow-prod-up_binary64_19585 cube-div_binary64_789 pow-prod-up_binary64_13447 associate-+r-_binary64_10242 frac-add_binary64_13726 pow1/3_binary64_7662 associate-*l/_binary64_18776 pow-flip_binary64_16861 pow-sqr_binary64_11304 pow-sqr_binary64_12327 pow-flip_binary64_4585 associate-*l/_binary64_9910 pow-exp_binary64_8671 neg-mul-1_binary64_1779 inv-pow_binary64_19259 pow-plus_binary64_15827 pow-prod-up_binary64_21290 rec-exp_binary64_24680 div-sub_binary64_14064 inv-pow_binary64_3573 distribute-lft-in_binary64_4460 associate-*r/_binary64_24572 unpow1/3_binary64_4237 sinh-undef_binary64_953 associate-+r+_binary64_7171 pow2_binary64_12776 neg-mul-1_binary64_12009 log-pow_binary64_12784 pow-sqr_binary64_13350 rem-cube-cbrt_binary64_6580 pow-sqr_binary64_12668 cbrt-div_binary64_8976 cube-div_binary64_9996 pow-prod-up_binary64_12424 frac-sub_binary64_20206 cosh-def_binary64_1628 div-sub_binary64_23271 sum-log_binary64_8353 associate--l-_binary64_4790 unsub-neg_binary64_1777 sub-div_binary64_20204 rec-exp_binary64_17860 div-sub_binary64_10654 associate-+r-_binary64_17062 pow2_binary64_4933 cube-mult_binary64_5905 distribute-neg-in_binary64_2767 associate--l+_binary64_3084 cbrt-undiv_binary64_18867 diff-log_binary64_9377 pow-prod-up_binary64_7991 pow1/2_binary64_23005 rem-cube-cbrt_binary64_16469 pow2_binary64_9366 rec-exp_binary64_4561 1-exp_binary64_20241 exp-neg_binary64_1148 unpow3_binary64_9351 pow-sqr_binary64_23921 pow-to-exp_binary64_12082 log-div_binary64 associate-/l/_binary64_18780 1-exp_binary64_9329 pow-plus_binary64_17191 exp-diff_binary64_1149 unpow3_binary64_14466 frac-times_binary64_20207 pow-sqr_binary64_21193 pow-prod-up_binary64_24700 pow-flip_binary64_19930 pow-exp_binary64_9353 inv-pow_binary64_16872 distribute-rgt-in_binary64_3097 sqrt-div_binary64_13735 pow-sqr_binary64_10281 pow-prod-up_binary64_20267 pow-prod-up_binary64_23677 associate--l+_binary64_7176 distribute-rgt-neg-out_binary64_38 +-commutative_binary64_8192 asin-acos_binary64_258 associate-/l/_binary64_4117 inv-pow_binary64_6301 un-div-inv_binary64 +-commutative_binary64_17740 distribute-lft-out_binary64_5144 distribute-rgt-in_binary64_22875 associate-*l/_binary64_15366 cbrt-unprod_binary64_22617 sub-neg_binary64_4163 distribute-lft-out_binary64_20489 pow1/2_binary64_10388 sin-diff_binary64_896 distribute-lft-in_binary64_22874 sqrt-pow2_binary64_779 rem-sqrt-square_binary64_11344 inv-pow_binary64_11075 flip3-+_binary64_22246 diff-log_binary64_15856 sin-sum_binary64 cbrt-div_binary64_22616 rem-cube-cbrt_binary64_9308 unsub-neg_binary64_8256 pow-sqr_binary64_20852 sqrt-pow1_binary64_23284 associate-+r+_binary64_9558 exp-sum_binary64_2170 sum-log_binary64_23016 pow-to-exp_binary64_4580 associate--l+_binary64_4448 tan-sum_binary64_1577 distribute-lft-out_binary64_22535 pow-pow_binary64_7311 pow-sub_binary64_836 pow-sqr_binary64_9599 difference-of-sqr-1_binary64_19144 pow1/2_binary64_23346 pow-sqr_binary64_24603 rem-cube-cbrt_binary64_9990 diff-log_binary64_8695 pow-prod-up_binary64_10378 flip--_binary64_7214 sqr-pow_binary64_10621 pow-sqr_binary64_5166 associate-*l/_binary64_20140 pow-exp_binary64_10035
1×	associate-+r-_binary64_2740 sqrt-pow2_binary64_14078 sqrt-unprod_binary64_4872 pow-plus_binary64_10712 distribute-rgt-neg-out_binary64_15383 pow-sub_binary64_154 associate--l+_binary64_11268 pow-plus_binary64_5256 rem-cube-cbrt_binary64_8967 diff-atan_binary64_2622 rem-square-sqrt_binary64_6228 exp-neg_binary64_807 diff-log_binary64_10059 inv-pow_binary64_20623 associate-+l-_binary64_16722 distribute-rgt-out--_binary64_2760 un-div-inv_binary64_5191 rem-sqrt-square_binary64_23279 associate-+l-_binary64_5128 +-commutative_binary64_19104 distribute-lft1-in_binary64_2420 sqrt-unprod_binary64_2144 associate--r+_binary64_17746 distribute-rgt-out_binary64_1054 inv-pow_binary64_9370 pow-plus_binary64_14463 pow-exp_binary64_14127 sqrt-unprod_binary64_17830 rem-log-exp_binary64_10349 sqr-abs_binary64_9300 pow-exp_binary64_11740 pow3_binary64_14824 flip3-+_binary64_6560 rem-cube-cbrt_binary64_2488 pow-prod-up_binary64_12083 rem-square-sqrt_binary64_15094 un-div-inv_binary64_24969 rem-square-sqrt_binary64_90 rem-cube-cbrt_binary64_4875 sub-div_binary64_1108 pow-flip_binary64_4926 pow-plus_binary64_24352 inv-pow_binary64_9029 un-div-inv_binary64_20195 inv-pow_binary64_18236 div-sub_binary64_21225 diff-log_binary64_23017 frac-2neg_binary64_22936 sinh-undef_binary64_2317 neg-sub0_binary64_17805 distribute-lft-in_binary64_17759 tanh-def-a_binary64_1288 unpow1/3_binary64_3896 diff-log_binary64_6308 associate-+l-_binary64 unsub-neg_binary64_4846 frac-times_binary64_24299 pow-plus_binary64_17873 rem-exp-log_binary64_3187 sqrt-unprod_binary64_6918 pow1/3_binary64_10049 unswap-sqr_binary64_19824 cube-mult_binary64_22273 sqr-abs_binary64_4526 distribute-rgt-in_binary64_17078 pow2_binary64_24370 cancel-sign-sub-inv_binary64_6182 sqrt-undiv_binary64_4191 rem-exp-log_binary64_7620 sqrt-unprod_binary64_23968 pow-plus_binary64_4233 rec-exp_binary64_9676 rem-cube-cbrt_binary64_4193 rem-square-sqrt_binary64_16117 pow-plus_binary64_23670 sum-log_binary64_15855 pow-to-exp_binary64_11741 exp-lft-sqr_binary64_2861 difference-of-sqr--1_binary64_8574 pow-plus_binary64_11394 pow-pow_binary64_6629 remove-double-div_binary64_11307 inv-pow_binary64_24033 associate-+l-_binary64_9561 sqr-pow_binary64_6529 neg-log_binary64_17903 pow-flip_binary64_10041 inv-pow_binary64_15508 pow-flip_binary64_15497 distribute-lft-neg-in_binary64_9924 distribute-frac-neg_binary64_723 unpow2_binary64_1507 div-exp_binary64_22635 exp-prod_binary64_7973 pow2_binary64_12435 rem-cbrt-cube_binary64_16470 inv-pow_binary64_20282 associate--l-_binary64_11269 pow-prod-up_binary64_16857 distribute-rgt-out--_binary64_4465 sqr-pow_binary64_8575 neg-mul-1_binary64_74 frac-sub_binary64_87 pow-to-exp_binary64_22312 flip3--_binary64_6220 pow2_binary64_6979 neg-sub0_binary64_1778 div-sub_binary64_24294 sin-cos-mult_binary64_1598 div-sub_binary64_19520 sqrt-unprod_binary64_3167 un-div-inv_binary64_20877 frac-2neg_binary64_23618 pow-plus_binary64_6961 clear-num_binary64_22924 pow-flip_binary64_22317 rem-square-sqrt_binary64_1795 pow2_binary64_5274 neg-sub0_binary64 distribute-lft-out_binary64_23558 rem-log-exp_binary64_9667 associate-+r-_binary64_17744 rem-cbrt-cube_binary64_14424 unpow2_binary64_3894 sqrt-unprod_binary64_16125 pow-pow_binary64_5606 sqrt-pow1_binary64_12372 pow-plus_binary64_16850 rem-log-exp_binary64_6598 frac-times_binary64_24640 div-sub_binary64_23953 difference-of-sqr-1_binary64_13688 rem-square-sqrt_binary64_6910 exp-to-pow_binary64_481 pow1/2_binary64_13798 distribute-rgt-neg-out_binary64_9245 +-commutative_binary64_5464 pow2_binary64_8002 flip--_binary64_6191 div-sub_binary64_8267 cube-mult_binary64_4200 pow-sqr_binary64_16760 distribute-rgt-out--_binary64_4806 inv-pow_binary64_4937 rem-sqrt-square_binary64_18846 inv-pow_binary64_24715 unpow3_binary64_22309 sqrt-unprod_binary64_6236 pow1/2_binary64_12434 pow-plus_binary64_14122 unpow2_binary64_3212 rem-square-sqrt_binary64_9297 associate-+r-_binary64_2399 distribute-rgt-neg-out_binary64_2084 associate--r-_binary64_9565 pow-to-exp_binary64_14128 unpow2_binary64_1166 exp-neg_binary64_12742 unpow3_binary64_6623 associate-+l+_binary64_3080 distribute-lft-out--_binary64_18785 inv-pow_binary64_7665 diff-log_binary64_8354 associate-+l-_binary64_11948 div-sub_binary64_20543 sqr-abs_binary64_16120 associate-+l+_binary64_16038 pow-exp_binary64_18219 distribute-lft1-in_binary64_21175 pow-plus_binary64_13781 pow-plus_binary64_12076 pow-exp_binary64_22311 rem-square-sqrt_binary64_1113 cos-diff_binary64_215 rem-cbrt-cube_binary64_17152 distribute-rgt-neg-out_binary64_15042 unsub-neg_binary64_17804 associate-+l-_binary64_20814 un-div-inv_binary64_17808 diff-sin_binary64_1592 associate-+l-_binary64_18768 rem-cbrt-cube_binary64_18175 rem-3cbrt-rft_binary64_2491 pow-pow_binary64_10039 associate-+r-_binary64_9901 pow-pow_binary64_18223 pow-to-exp_binary64_14469 pow-pow_binary64_9357 pow-to-exp_binary64_9013 inv-pow_binary64_24374 sum-log_binary64_6648 tanh-undef_binary64_1296 div-sub_binary64_12700 pow2_binary64_21301 rem-exp-log_binary64_3528 cube-div_binary64_6586 +-commutative_binary64_12966 inv-pow_binary64_19600 exp-prod_binary64_7632 div-sub_binary64_21907 associate-+l+_binary64_7172 diff-log_binary64_16197 associate-*l/_binary64_24573 rem-square-sqrt_binary64_3841 associate-*l/_binary64_21845 pow-plus_binary64_7984 pow-to-exp_binary64_8672 +-commutative_binary64_22173 pow2_binary64_4251 difference-of-sqr-1_binary64_12665 pow-prod-up_binary64_13106 pow2_binary64_10389 distribute-lft-out_binary64_16397 associate-/l*_binary64_22870 pow-flip_binary64_7654 rem-sqrt-square_binary64_14754 unpow1/3_binary64_12080 distribute-rgt-out_binary64_18786 associate-+r+_binary64_4443 pow1/2_binary64_18913 unsub-neg_binary64_1095 exp-prod_binary64_1153 associate-+l-_binary64_10243 pow-pow_binary64_9016 un-div-inv_binary64_18149 sin-diff_binary64_1919 associate-*r/_binary64_24913 pow-exp_binary64_10717 sqr-pow_binary64_11644 sqr-abs_binary64_3162 sqrt-unprod_binary64_14079 diff-cos_binary64_911 pow-plus_binary64_15486 +-commutative_binary64_14671 cbrt-div_binary64_9999 pow-exp_binary64_9012 pow-exp_binary64_13786 cube-div_binary64_12042 pow2_binary64_16868 frac-2neg_binary64_18844 associate--l+_binary64_12973 neg-sub0_binary64_12690 log-pow_binary64_10738 sqrt-undiv_binary64_3509 neg-mul-1_binary64_11327 pow2_binary64_13117 rem-log-exp_binary64_12395 pow2_binary64_20960 distribute-lft-out_binary64_8895 sqrt-undiv_binary64_1122 neg-sub0_binary64_9962 associate--l+_binary64_12632 unpow1/3_binary64_486 rem-3cbrt-lft_binary64_7264 unpow3_binary64_4236 unpow1/3_binary64_1168 pow-sqr_binary64_19147 un-div-inv_binary64_9624 pow-sqr_binary64_18806 rem-log-exp_binary64_18874 pow-plus_binary64_19578 div-sub_binary64_23612 rem-cbrt-cube_binary64_3171 rem-cbrt-cube_binary64_5899 frac-add_binary64_19182 tanh-def-b_binary64_1289 pow-to-exp_binary64_18220 unsub-neg_binary64_15417 clear-num_binary64_23606 associate-+l-_binary64_17404 un-div-inv_binary64_8942 flip-+_binary64_6531 inv-pow_binary64_10734 rem-exp-log_binary64_7961 distribute-lft-out_binary64_20830 neg-log_binary64_1876 sqrt-unprod_binary64_15102 pow-to-exp_binary64_6626 cube-mult_binary64_6587 unsub-neg_binary64_15076 pow2_binary64_23688 sqrt-unprod_binary64_9305 pow-flip_binary64_18225 div-sub_binary64_15769 distribute-lft-out--_binary64_20149 pow-plus_binary64_18896 sqrt-undiv_binary64_99 pow-to-exp_binary64_10718 pow2_binary64_10730 pow-flip_binary64_24022 neg-log_binary64 rem-cbrt-cube_binary64_1807 unpow1/3_binary64_145 associate-+r-_binary64_9560 *-commutative_binary64_24561 pow-pow_binary64_11744 difference-of-sqr-1_binary64_9937 diff-log_binary64_24381 pow-plus_binary64_13099 cube-unmult_binary64_2502 associate--r+_binary64_696 e-exp-1_binary64_464 rem-square-sqrt_binary64_2136 associate-+r-_binary64_11265 associate-+r-_binary64_12288 sqrt-unprod_binary64_4531 pow2_binary64_14481 pow-plus_binary64_24693 diff-log_binary64_8013 sum-log_binary64_9376 frac-sub_binary64_23275 cos-sum_binary64_1576 cube-mult_binary64_4541 associate-+l+_binary64_4785 sub-neg_binary64_6209 rem-square-sqrt_binary64_14071 pow2_binary64_13458 difference-of-sqr-1_binary64_5163 unpow2_binary64_2871 un-div-inv_binary64_19172 pow-to-exp_binary64_13787 rem-cbrt-cube_binary64_7263 neg-mul-1_binary64_1097 pow-prod-up_binary64_19244 pow-plus_binary64_10371 distribute-lft-out_binary64_15033 rem-square-sqrt_binary64_4523 associate-+l+_binary64_22517 +-commutative_binary64_15694 associate--r-_binary64_10929 rem-cube-cbrt_binary64_7262 neg-log_binary64_10060 sub-div_binary64_18499 +-commutative_binary64_6487 pow2_binary64_14140 associate-+l-_binary64_4446 distribute-lft-in_binary64_20146 pow2_binary64_19255 neg-sub0_binary64_2801 pow2_binary64_15504 1-exp_binary64_9670 rem-square-sqrt_binary64_431 associate--l-_binary64_698 sqrt-unprod_binary64_439 div-sub_binary64_18838 un-div-inv_binary64_1781 pow2_binary64_20278 pow-flip_binary64_9359 div-sub_binary64_24976 div-sub_binary64_20202 un-div-inv_binary64_20536 pow2_binary64_17891 pow-plus_binary64_19237 pow-sqr_binary64_11986 associate-+r-_binary64_13993 sqr-abs_binary64_4867 associate-+l-_binary64_19109 associate--l-_binary64_2403 rem-square-sqrt_binary64_17822 rem-cbrt-cube_binary64_9991 pow2_binary64_24029 pow-sqr_binary64_13009 sqr-abs_binary64_1798 sqrt-pow2_binary64_1461 neg-mul-1_binary64_2461 sqr-abs_binary64_2139 rem-log-exp_binary64_1142 exp-to-pow_binary64_7983 rem-square-sqrt_binary64 pow-plus_binary64_9689 sqrt-pow1_binary64_18851 pow-plus_binary64_24011 unpow2_binary64_4917 sum-log_binary64_14832 difference-of-sqr-1_binary64_8573 exp-to-pow_binary64_7642 pow3_binary64_7322 diff-log_binary64_7331 +-commutative_binary64_9215 div-sub_binary64_4516 inv-pow_binary64_22328 pow-prod-up_binary64_18903 pow2_binary64_13799 unpow1/3_binary64_11739 pow1/2_binary64_20959 neg-mul-1_binary64_9963 pow-flip_binary64_24363 associate--r+_binary64_12972 rem-cbrt-cube_binary64_8968 inv-pow_binary64_23351 log-div_binary64_22671 sinh-def_binary64_2309 unpow2_binary64_2530 rem-cube-cbrt_binary64_5898 sqrt-unprod_binary64_1121 distribute-rgt-in_binary64_17760 frac-sub_binary64_2133 associate-+r-_binary64_18085 pow-to-exp_binary64_10036 pow2_binary64_9707 rem-cbrt-cube_binary64_2489 cos-sum_binary64 pow-to-exp_binary64_9354 associate--l+_binary64_697 sqrt-pow2_binary64_16465 distribute-rgt-in_binary64_20147 pow2_binary64_18914 sqr-abs_binary64_3844 rem-square-sqrt_binary64_4864 pow-flip_binary64_19589 pow2_binary64_19596 pow-plus_binary64_12417 associate-+l-_binary64_13994 pow2_binary64_11412 un-div-inv_binary64_758 exp-to-pow_binary64_1163 associate--l-_binary64_1039 clear-num_binary64_18832 unsub-neg_binary64 sub-div_binary64_23273 exp-diff_binary64_2854 exp-to-pow_binary64_140 exp-sum_binary64_1488 associate--l+_binary64_12291 div-sub_binary64_10313 pow-plus_binary64_20942 pow-plus_binary64_13440 distribute-lft-in_binary64_17077 pow-plus_binary64_21283 sin-cos-mult_binary64_916 unsub-neg_binary64_11325 sum-log_binary64_22334 unsub-neg_binary64_9279 pow-flip_binary64_9018 e-exp-1_binary64_123 pow-flip_binary64_10723 unpow-prod-down_binary64_8682 frac-sub_binary64_18501 difference-cubes_binary64_3490 associate-+r-_binary64_11947 pow2_binary64_12094 cube-div_binary64_2835 rem-cbrt-cube_binary64_4876 rem-cbrt-cube_binary64_9309 rem-cube-cbrt_binary64_18174 sqrt-unprod_binary64_3849 associate--r-_binary64_16726 rem-sqrt-square_binary64_12367 sqrt-pow1_binary64_20897 pow-flip_binary64_20271 pow-plus_binary64_20260 rem-square-sqrt_binary64_3159 pow-flip_binary64_20612 tanh-def-c_binary64_1290 inv-pow_binary64_10052 sum-log_binary64_5625 pow2_binary64_24711 sub-neg_binary64_7914 div-sub_binary64_7585

Calls

9652 calls:

269.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))))
246.0ms	(+.f64 (*.f64 (+.f64 alpha beta) (/.f64 1 (/.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))) 1)
220.0ms	(/.f64 (-.f64 1/8 (pow.f64 (/.f64 1/2 (hypot.f64 1 x)) 3)) (+.f64 1/4 (/.f64 (+.f64 1/4 (/.f64 1/4 (hypot.f64 1 x))) (hypot.f64 1 x))))
198.0ms	(-.f64 (*.f64 x x) (*.f64 y y))
172.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (*.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) 3))