rewrite1.8min (2.5%)

Algorithm

1622×

rewrite-expression-head

Rules

39607×	associate-*r/_binary64_1725
28205×	frac-times_binary64_1793
25949×	flip3-+_binary64_1786 flip-+_binary64_1757
20471×	frac-add_binary64_1791
10915×	times-frac_binary64_766
8506×	*-un-lft-identity_binary64_760
8396×	times-frac_binary64_1448
8386×	associate-*l/_binary64_1726
7816×	times-frac_binary64_84
7013×	times-frac_binary64
6981×	add-sqr-sqrt_binary64_782
6771×	*-un-lft-identity_binary64_78
6707×	add-sqr-sqrt_binary64_100
6508×	add-sqr-sqrt_binary64
6435×	*-un-lft-identity_binary64
5317×	*-un-lft-identity_binary64_1442
5251×	associate-/l/_binary64_1730
5232×	add-sqr-sqrt_binary64_1464
5108×	add-cube-cbrt_binary64_795
4573×	add-cube-cbrt_binary64_113
4179×	add-cube-cbrt_binary64
4160×	add-cube-cbrt_binary64_1477
4155×	*-un-lft-identity_binary64_1101
4136×	times-frac_binary64_425
4092×	*-un-lft-identity_binary64_419
4026×	add-sqr-sqrt_binary64_441
3912×	sqrt-prod_binary64_1458
3853×	flip3--_binary64_1787 flip--_binary64_1758
3691×	add-exp-log_binary64_116
3595×	add-sqr-sqrt_binary64_1123
3377×	add-exp-log_binary64
3300×	times-frac_binary64_1107
3126×	sqrt-prod_binary64_776
2836×	times-frac_binary64_6904
2722×	associate-*r*_binary64_1382
2678×	times-frac_binary64_8950
2506×	add-cbrt-cube_binary64_114
2485×	add-cube-cbrt_binary64_454
2403×	add-exp-log_binary64_457
2377×	times-frac_binary64_4517
2356×	add-cube-cbrt_binary64_1136
2143×	times-frac_binary64_13383
2133×	add-cbrt-cube_binary64
2111×	*-un-lft-identity_binary64_8944
2046×	add-exp-log_binary64_798
1977×	sqrt-prod_binary64
1970×	times-frac_binary64_10996
1849×	add-sqr-sqrt_binary64_4533
1804×	*-un-lft-identity_binary64_4511
1758×	add-sqr-sqrt_binary64_8966
1720×	add-sqr-sqrt_binary64_9648
1718×	add-cbrt-cube_binary64_796
1710×	prod-exp_binary64
1694×	frac-times_binary64_1111
1691×	add-sqr-sqrt_binary64_6920
1687×	add-exp-log_binary64_1139
1678×	add-sqr-sqrt_binary64_11012
1656×	pow1_binary64 times-frac_binary64_9632
1651×	associate-*r/_binary64_7181 *-un-lft-identity_binary64_10649
1645×	*-un-lft-identity_binary64_10990
1644×	times-frac_binary64_6222
1640×	*-un-lft-identity_binary64_6898
1627×	add-sqr-sqrt_binary64_13399
1626×	add-cbrt-cube_binary64_455
1624×	associate-*r/_binary64_1043
1584×	*-un-lft-identity_binary64_9626
1575×	*-un-lft-identity_binary64_13377
1568×	prod-exp_binary64_127
1533×	add-cube-cbrt_binary64_6933
1472×	pow1_binary64_139
1461×	add-sqr-sqrt_binary64_10671
1458×	sqrt-prod_binary64_1117
1443×	add-exp-log_binary64_3867
1441×	sqrt-prod_binary64_94
1433×	*-un-lft-identity_binary64_1783
1426×	add-sqr-sqrt_binary64_1805
1396×	times-frac_binary64_11337
1374×	add-cbrt-cube_binary64_1137
1373×	times-frac_binary64_10655
1248×	add-cube-cbrt_binary64_8979
1238×	*-un-lft-identity_binary64_6216
1218×	times-frac_binary64_2471
1215×	add-sqr-sqrt_binary64_6579
1183×	add-sqr-sqrt_binary64_6238
1173×	*-un-lft-identity_binary64_11331
1159×	times-frac_binary64_15088
1146×	associate-*r*_binary64_18
1139×	times-frac_binary64_14747
1122×	times-frac_binary64_6563
1104×	difference-of-squares_binary64_47
1102×	unpow-prod-down_binary64_1521
1096×	flip3-+_binary64_1104 flip-+_binary64_1075
1078×	add-sqr-sqrt_binary64_2487
1077×	*-un-lft-identity_binary64_15082 *-un-lft-identity_binary64_7921
1069×	add-sqr-sqrt_binary64_7943
1064×	associate-*l/_binary64_362
1056×	pow1_binary64_480 add-cube-cbrt_binary64_4546
1043×	add-cube-cbrt_binary64_13412
1031×	add-sqr-sqrt_binary64_11353
1024×	add-cube-cbrt_binary64_1818
1021×	associate-*l*_binary64_19
1015×	times-frac_binary64_9973
1000×	prod-exp_binary64_468
997×	times-frac_binary64_1789
990×	flip3--_binary64_1105 flip--_binary64_1076
987×	*-un-lft-identity_binary64_12013
985×	flip3--_binary64_423 flip--_binary64_394 *-un-lft-identity_binary64_6557
978×	*-un-lft-identity_binary64_2124
971×	*-un-lft-identity_binary64_2465
966×	distribute-lft-out--_binary64_712
963×	add-exp-log_binary64_1480
944×	times-frac_binary64_12019
922×	add-sqr-sqrt_binary64_2146
919×	cbrt-unprod_binary64_111
914×	pow1_binary64_1162
912×	times-frac_binary64_9291
903×	add-cube-cbrt_binary64_11025
899×	times-frac_binary64_7927
898×	difference-of-squares_binary64
897×	add-sqr-sqrt_binary64_9989
895×	add-sqr-sqrt_binary64_14763
893×	cbrt-unprod_binary64
892×	distribute-lft-out_binary64_711
887×	add-sqr-sqrt_binary64_12035
877×	difference-of-squares_binary64_729
876×	add-cube-cbrt_binary64_6251
864×	*-un-lft-identity_binary64_9967
856×	div-exp_binary64_129
854×	add-sqr-sqrt_binary64_7261
850×	frac-sub_binary64_7248
841×	*-un-lft-identity_binary64_14741
835×	pow1_binary64_821
833×	add-sqr-sqrt_binary64_9307
823×	associate-*r*_binary64 frac-add_binary64_1109
822×	add-cbrt-cube_binary64_1478
816×	associate-/r*_binary64_704
796×	add-cube-cbrt_binary64_2500
794×	flip3--_binary64_7243 flip--_binary64_7214
793×	frac-times_binary64_429
784×	add-cube-cbrt_binary64_9661
780×	times-frac_binary64_7245
766×	prod-exp_binary64_3878
765×	add-sqr-sqrt_binary64_7602
763×	times-frac_binary64_2812
757×	add-log-exp_binary64
753×	sqrt-prod_binary64_435 pow1_binary64_1503
751×	*-un-lft-identity_binary64_7580
750×	*-un-lft-identity_binary64_7239
743×	add-cube-cbrt_binary64_11366
741×	*-un-lft-identity_binary64_9285
721×	times-frac_binary64_7586
715×	associate-*l*_binary64
709×	pow-exp_binary64_3897
706×	add-cube-cbrt_binary64_10684
693×	add-cube-cbrt_binary64_12048
691×	add-cube-cbrt_binary64_6592
687×	add-sqr-sqrt_binary64_2828
679×	add-sqr-sqrt_binary64_14081
675×	*-un-lft-identity_binary64_10308
670×	distribute-lft-out_binary64_1052
666×	*-un-lft-identity_binary64_2806
664×	associate-*l/_binary64_1044
661×	add-cube-cbrt_binary64_14776
659×	add-sqr-sqrt_binary64_10330
650×	pow1_binary64_1844
637×	times-frac_binary64_13042
635×	cancel-sign-sub-inv_binary64_385
633×	associate-*r*_binary64_359
631×	cbrt-prod_binary64_109
630×	*-un-lft-identity_binary64_14059
628×	add-exp-log_binary64_1821 distribute-lft-out_binary64 add-cube-cbrt_binary64_7274
625×	add-log-exp_binary64_117
624×	cbrt-unprod_binary64_452 add-sqr-sqrt_binary64_13058
623×	add-cube-cbrt_binary64_2159
615×	add-cube-cbrt_binary64_9320
609×	add-cube-cbrt_binary64_7956
601×	pow-prod-down_binary64
598×	prod-exp_binary64_809
597×	cbrt-prod_binary64
593×	div-exp_binary64_3880
589×	frac-add_binary64_427
586×	frac-times_binary64_7249
584×	sqrt-div_binary64_2141
582×	add-exp-log_binary64_12392
581×	associate-/r*_binary64_22 add-cube-cbrt_binary64_2841
578×	associate-*r*_binary64_1041
577×	div-exp_binary64_811
573×	distribute-lft-out_binary64_29
571×	add-sqr-sqrt_binary64_15104 div-inv_binary64_757
570×	*-un-lft-identity_binary64_8262
569×	*-un-lft-identity_binary64_13036
564×	add-log-exp_binary64_1140
561×	add-cube-cbrt_binary64_7615
557×	add-cbrt-cube_binary64_1819
553×	cancel-sign-sub-inv_binary64_44
549×	associate-*r*_binary64_700
548×	add-cube-cbrt_binary64_15117 add-exp-log_binary64_9664
547×	unpow-prod-down_binary64_157
545×	add-sqr-sqrt_binary64_8625
544×	add-log-exp_binary64_799
539×	add-log-exp_binary64_458 add-sqr-sqrt_binary64_3851
537×	associate-*l*_binary64_1042
535×	cbrt-undiv_binary64_112
534×	add-sqr-sqrt_binary64_3510
532×	add-cube-cbrt_binary64_10002
530×	cbrt-prod_binary64_450 times-frac_binary64_2130 add-sqr-sqrt_binary64_5897
522×	add-exp-log_binary64_2162
516×	associate-*r/_binary64_361
515×	difference-of-squares_binary64_388
507×	associate-/r*_binary64
504×	unpow-prod-down_binary64
501×	*-un-lft-identity_binary64_14400 cbrt-unprod_binary64_793
493×	div-exp_binary64_470
491×	times-frac_binary64_10314
489×	*-un-lft-identity_binary64_8603 *-un-lft-identity_binary64_3829
488×	add-exp-log_binary64_7277
475×	unpow-prod-down_binary64_839
472×	prod-exp_binary64_1150
468×	add-sqr-sqrt_binary64_8284
467×	div-exp_binary64
465×	add-sqr-sqrt_binary64_11694 add-sqr-sqrt_binary64_14422
462×	cbrt-undiv_binary64_794
456×	add-cbrt-cube_binary64_12390
454×	associate-*l*_binary64_360
451×	*-un-lft-identity_binary64_5534 associate-/l*_binary64
450×	add-exp-log_binary64_8641
448×	div-inv_binary64_75
446×	add-log-exp_binary64_1481
445×	distribute-lft-out--_binary64
444×	*-un-lft-identity_binary64_3488
442×	*-un-lft-identity_binary64_5875
439×	sqrt-div_binary64_1118
438×	add-sqr-sqrt_binary64_12376
435×	difference-of-squares_binary64_1070
434×	log-pow_binary64_167
427×	distribute-lft-out--_binary64_371
424×	div-exp_binary64_1152
423×	pow1_binary64_12756
422×	add-exp-log_binary64_5913 pow1_binary64_3890
421×	associate-*r/_binary64_2066
418×	add-exp-log_binary64_12733
415×	frac-times_binary64_2134
414×	add-cube-cbrt_binary64_13071
411×	sqrt-div_binary64_436
410×	cancel-sign-sub-inv_binary64
408×	difference-of-squares_binary64_10959
403×	times-frac_binary64_12360 associate-/l*_binary64_705 sqr-pow_binary64_1414
402×	associate-*r/_binary64_20
401×	associate-/l*_binary64_23
399×	associate-/l*_binary64_1046
396×	log-prod_binary64_846
393×	add-exp-log_binary64_6936
390×	associate-/r*_binary64_1045
385×	difference-of-squares_binary64_9595 distribute-lft-out_binary64_1393
383×	*-un-lft-identity_binary64_12354
380×	cbrt-div_binary64_451 difference-of-squares_binary64_1411
377×	difference-of-squares_binary64_4480
375×	times-frac_binary64_8268
371×	distribute-lft-out--_binary64_10601
369×	add-cube-cbrt_binary64_14094
367×	add-cbrt-cube_binary64_9662
366×	add-cbrt-cube_binary64_12731
364×	sqrt-div_binary64_7256
361×	add-exp-log_binary64_2503
360×	cbrt-unprod_binary64_1134 distribute-lft-out_binary64_370
359×	add-cube-cbrt_binary64_5910 div-inv_binary64_416
358×	times-frac_binary64_11678
357×	*-un-lft-identity_binary64_11672
355×	pow-to-exp_binary64_3898 cbrt-prod_binary64_1132
352×	associate-*r*_binary64_10589
350×	cbrt-prod_binary64_9657
349×	flip3-+_binary64_763 add-cube-cbrt_binary64_11707 flip-+_binary64_734 distribute-lft-out--_binary64_4463
347×	cancel-sign-sub-inv_binary64_1749
346×	times-frac_binary64_14406 add-log-exp_binary64_1822
344×	add-cube-cbrt_binary64_8638
343×	add-exp-log_binary64_8300
342×	add-exp-log_binary64_6595
340×	times-frac_binary64_3494
338×	add-cube-cbrt_binary64_10343 associate-/r/_binary64_706
337×	associate-*l*_binary64_9567
335×	add-cube-cbrt_binary64_3523 pow-prod-down_binary64_149
334×	flip3-+_binary64 add-cube-cbrt_binary64_8297 flip-+_binary64
333×	difference-of-squares_binary64_10618 times-frac_binary64_8609 associate-*r*_binary64_9566 cbrt-prod_binary64_791 add-cbrt-cube_binary64_7275
331×	associate-/r/_binary64_24 add-cbrt-cube_binary64_2160
329×	add-cube-cbrt_binary64_12389
326×	add-cbrt-cube_binary64_5911 distribute-lft-out--_binary64_10942 associate-*l/_binary64_2067
323×	add-cube-cbrt_binary64_3864
322×	cbrt-prod_binary64_8634 cbrt-prod_binary64_1473
320×	sqrt-prod_binary64_7937
319×	add-sqr-sqrt_binary64_3169 cbrt-div_binary64_2156
318×	associate-*r/_binary64
317×	associate-/r/_binary64_1047
314×	pow-prod-down_binary64_490
313×	distribute-lft-out--_binary64_1053
309×	add-exp-log_binary64_10687
307×	prod-exp_binary64_1491
306×	cancel-sign-sub-inv_binary64_6182
305×	add-exp-log_binary64_13415
304×	unswap-sqr_binary64_46
301×	add-exp-log_binary64_12051 distribute-lft-out_binary64_15033
300×	unpow-prod-down_binary64_498
299×	associate-*l/_binary64_21
298×	add-exp-log_binary64_6254 distribute-lft-out--_binary64_30
296×	times-frac_binary64_5881
295×	times-frac_binary64_14065
294×	sqrt-prod_binary64_2481 associate-*r*_binary64_2064
293×	sqrt-prod_binary64_6914
292×	add-sqr-sqrt_binary64_5556 pow1_binary64_2185
291×	add-exp-log_binary64_7959 sqrt-prod_binary64_4527
287×	log-prod_binary64_164 associate-*l*_binary64_1383
286×	add-exp-log_binary64_14097 add-exp-log_binary64_8982
285×	cbrt-prod_binary64_9316
284×	cbrt-undiv_binary64_1135 flip-+_binary64_2098 flip3-+_binary64_2127
282×	add-cube-cbrt_binary64_14435 div-inv_binary64
281×	associate-*r*_binary64_8884
278×	cbrt-prod_binary64_3178
276×	sqrt-div_binary64
274×	add-exp-log_binary64_9323
272×	cbrt-prod_binary64_1814
271×	cbrt-undiv_binary64 frac-times_binary64_88
270×	add-cbrt-cube_binary64_13413
269×	cbrt-prod_binary64_11703
268×	sqr-pow_binary64_50
267×	add-cbrt-cube_binary64_6593
266×	flip--_binary64_53 pow1_binary64_5936 flip3--_binary64_82
264×	pow1_binary64_8664
262×	add-cbrt-cube_binary64_12049
261×	add-cbrt-cube_binary64_10685
260×	distribute-lft-out--_binary64_13329 difference-of-squares_binary64_13346 associate-*r*_binary64_7179 associate-/l*_binary64_364
259×	add-cbrt-cube_binary64_7957 associate-*l*_binary64_701 cbrt-prod_binary64_5906
258×	add-cbrt-cube_binary64_8298 add-exp-log_binary64_11028
257×	difference-of-squares_binary64_6526
256×	distribute-lft-out_binary64_8895
255×	unswap-sqr_binary64
254×	associate-/r*_binary64_4455
253×	add-cbrt-cube_binary64_2501 add-exp-log_binary64_10005
252×	add-cbrt-cube_binary64_8639
248×	flip3--_binary64_2128 flip--_binary64_2099
246×	cancel-sign-sub-inv_binary64_726
245×	cbrt-undiv_binary64_453
244×	*-un-lft-identity_binary64_3147
243×	cbrt-unprod_binary64_1475 prod-exp_binary64_8652
241×	associate-/r*_binary64_1386
240×	*-un-lft-identity_binary64_13718
239×	associate-/r*_binary64_363
238×	add-cbrt-cube_binary64_6934
235×	flip-+_binary64_52 associate-/r*_binary64_13321 add-cbrt-cube_binary64_11026 flip3-+_binary64_81
234×	pow-prod-down_binary64_12766
233×	prod-exp_binary64_12744 cbrt-unprod_binary64_12728 distribute-lft-out--_binary64_9578
232×	associate-/r/_binary64 add-cube-cbrt_binary64_3182
230×	cbrt-prod_binary64_2155
229×	add-exp-log_binary64_11369
227×	unpow2_binary64_143
226×	cbrt-prod_binary64_3860
225×	cbrt-prod_binary64_2837
224×	flip3-+_binary64_7242 prod-exp_binary64_12403 flip-+_binary64_7213 add-cbrt-cube_binary64_6252
223×	flip3--_binary64 flip--_binary64 add-cbrt-cube_binary64_8980 add-cube-cbrt_binary64_5569 sqrt-div_binary64_777
222×	add-sqr-sqrt_binary64_13740
221×	unswap-sqr_binary64_387 associate-*l*_binary64_1724 add-exp-log_binary64_7618
217×	pow1_binary64_14120 associate-*r*_binary64_1723
216×	associate-*l/_binary64_7182
215×	cbrt-prod_binary64_3519 add-cbrt-cube_binary64_10003
214×	cbrt-prod_binary64_7611
213×	cancel-sign-sub-inv_binary64_1067 unpow-prod-down_binary64_7659 cancel-sign-sub-inv_binary64_11979
212×	pow1_binary64_3208 difference-of-squares_binary64_8913 frac-times_binary64 sqr-pow_binary64
211×	add-exp-log_binary64_4549 distribute-lft-out--_binary64_8896
210×	pow-prod-down_binary64_1172
208×	associate-*r*_binary64_4451
207×	add-cbrt-cube_binary64_14095 associate-/l*_binary64_1387
206×	cancel-sign-sub-inv_binary64_7205
205×	add-cbrt-cube_binary64_3865 associate-*r/_binary64_702
204×	cube-prod_binary64_788 sqrt-pow1_binary64
203×	add-cbrt-cube_binary64_9321 add-cbrt-cube_binary64_11367
202×	sqr-pow_binary64_391
201×	cbrt-div_binary64_9658
200×	associate-*r*_binary64_9907 exp-prod_binary64
199×	flip3-+_binary64_422 flip-+_binary64_1416 flip3-+_binary64_1445 div-inv_binary64_1098 flip-+_binary64_393
198×	difference-of-squares_binary64_7890
197×	pow-prod-down_binary64_1854 associate-*r*_binary64_5815
196×	associate-/r*_binary64_6842
195×	associate-*r*_binary64_12294 pow1_binary64_2526
194×	unpow-prod-down_binary64_1862 associate-/r*_binary64_8888 prod-exp_binary64_1832
193×	exp-prod_binary64_1494 sqrt-prod_binary64_1799
192×	add-exp-log_binary64_14779 pow-prod-down_binary64_1513 associate-*l*_binary64_2065 unpow-prod-down_binary64_1180 prod-exp_binary64_9675
191×	div-exp_binary64_1493
189×	add-cbrt-cube_binary64_7616 flip3--_binary64_10653 flip--_binary64_10624
188×	pow1_binary64_10710 frac-times_binary64_9636
187×	pow1_binary64_6618
185×	div-inv_binary64_1439 times-frac_binary64_5540 associate-/r*_binary64_10934 associate-/l/_binary64_7186
184×	prod-exp_binary64_5924
183×	add-log-exp_binary64_2163
181×	associate-*r/_binary64_5817
180×	associate-*r*_binary64_13999 add-exp-log_binary64_13074
179×	cbrt-prod_binary64_8975 associate-*r*_binary64_6497 prod-exp_binary64_2173 exp-prod_binary64_130
178×	associate-/r/_binary64_1388 cancel-sign-sub-inv_binary64_10615 pow-exp_binary64_146
177×	distribute-lft-out--_binary64_1394
176×	sqrt-prod_binary64_14075
175×	associate-/r*_binary64_9570
174×	associate-*l*_binary64_5816
173×	associate-/l*_binary64_6843 pow-prod-down_binary64_831 pow-exp_binary64_487
172×	pow1_binary64_7641 cbrt-prod_binary64_6929 log-pow_binary64 cbrt-unprod_binary64_1816
171×	pow-exp_binary64
169×	cbrt-div_binary64_8635
168×	frac-sub_binary64_87 associate-*r*_binary64_9225 associate-*r*_binary64_8202
167×	associate-/r/_binary64_8890 pow1_binary64_7300 associate-*r*_binary64_3769 associate-*l/_binary64
166×	cbrt-unprod_binary64_12387 cbrt-unprod_binary64_5908 log-pow_binary64_1531
165×	add-cbrt-cube_binary64_14777 distribute-rgt-in_binary64_7189 cancel-sign-sub-inv_binary64_6864 unswap-sqr_binary64_1069 distribute-lft-in_binary64_7188
164×	*-un-lft-identity_binary64_4852 cancel-sign-sub-inv_binary64_6523 cube-prod_binary64_1811 cbrt-unprod_binary64_9659
162×	div-exp_binary64_6949 add-exp-log_binary64_10346 distribute-lft-out--_binary64_9919
161×	associate-*r*_binary64_7861
160×	pow1_binary64_6277
159×	sqrt-div_binary64_95 pow1_binary64_8323
158×	pow1_binary64_9687
157×	*-commutative_binary64_9 add-log-exp_binary64_2504 sqrt-prod_binary64_8960 add-cube-cbrt_binary64_13753
156×	add-sqr-sqrt_binary64_12717 difference-of-squares_binary64_9936 associate-/r*_binary64_7865 associate-*r/_binary64_8545 pow1_binary64_13438 add-exp-log_binary64_2844 frac-sub_binary64_2133
155×	add-cbrt-cube_binary64_13072 associate-*r*_binary64_11953
154×	div-inv_binary64_6895 pow1_binary64_13779 add-cbrt-cube_binary64_4547 div-exp_binary64_12405
153×	div-exp_binary64_7290 add-exp-log_binary64_3526 pow-unpow_binary64
152×	cbrt-prod_binary64_10339 add-exp-log_binary64_15120 pow1_binary64_12074
151×	cbrt-prod_binary64_5565 cbrt-undiv_binary64_1476
150×	difference-of-squares_binary64_13005 pow1_binary64_12415
149×	add-log-exp_binary64_3868 div-exp_binary64_9677 cbrt-unprod_binary64_8636 associate-/r*_binary64_14685
148×	associate-*l*_binary64_8544 add-sqr-sqrt_binary64_4874
147×	unswap-sqr_binary64_1410
146×	associate-*l/_binary64_9569
145×	associate-/l/_binary64_1048 add-cbrt-cube_binary64_10344 cbrt-prod_binary64_13408 flip--_binary64_735 flip3--_binary64_764
144×	cube-prod_binary64_1129 associate-*l*_binary64_10590 associate-*r*_binary64_10930
143×	*-commutative_binary64
142×	pow-prod-down_binary64_3900 pow1_binary64_5595
141×	pow1_binary64_9346 pow1_binary64_7982
140×	pow-to-exp_binary64_147 add-exp-log_binary64_3185 add-cbrt-cube_binary64_2842 *-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730 cbrt-prod_binary64_2496
139×	pow-unpow_binary64_496
138×	associate-*r/_binary64_1384
137×	distribute-lft-out_binary64_1734 cancel-sign-sub-inv_binary64_7887 add-log-exp_binary64_12052 distribute-rgt-in_binary64_710 add-log-exp_binary64_7278 distribute-lft-in_binary64_709
135×	unswap-sqr_binary64_728 pow1/2_binary64 associate-*l*_binary64_7180
134×	sqrt-prod_binary64_11688 add-exp-log_binary64_11710 sqrt-prod_binary64_14757 pow1_binary64_2867
132×	log-prod_binary64_7666 distribute-rgt-in_binary64_369 swap-sqr_binary64_45 distribute-lft-in_binary64_368 cbrt-div_binary64
131×	associate-/r*_binary64_6160 pow1_binary64_9005
130×	sqrt-prod_binary64_2140 associate-*l*_binary64_7521 associate-*r*_binary64_11271
129×	distribute-lft-out--_binary64_10260 add-log-exp_binary64_6596
128×	associate-/r*_binary64_11957 add-exp-log_binary64_14438 distribute-lft-out_binary64_11282 associate-*r*_binary64_8543 associate-/r*_binary64_6501 associate-/r*_binary64_9911
127×	associate-/r*_binary64_10593 difference-of-squares_binary64_1752 distribute-lft-out_binary64_10600 associate-/r*_binary64_1727 add-exp-log_binary64_5572 add-cbrt-cube_binary64_11708 unpow-prod-down_binary64_6977
126×	sqr-pow_binary64_732 difference-of-squares_binary64_10277
125×	associate-/r/_binary64_4457 difference-of-squares_binary64_6185 distribute-lft-out_binary64_7872 distribute-rgt-in_binary64_28 associate-/r*_binary64_2409 associate-*l*_binary64_9226 prod-exp_binary64_7288 distribute-lft-in_binary64_27 associate-/r/_binary64_2411
124×	associate-/l/_binary64_707 log-prod_binary64_1869 log-prod_binary64_505
123×	pow1_binary64_11051 pow-prod-down_binary64_5946 distribute-lft-out--_binary64_6168 frac-add_binary64 associate-*l*_binary64_3770 associate-/r/_binary64_15028
122×	pow1_binary64_11733 log-prod_binary64_3915
121×	cbrt-undiv_binary64_9660 cube-prod_binary64_1470
120×	cbrt-undiv_binary64_12388 associate-*r*_binary64_10248 frac-times_binary64_770 add-log-exp_binary64_7960 associate-*r/_binary64_9568
119×	sum-log_binary64_1533 associate-/l*_binary64_2751 tan-quot_binary64
118×	associate-*l*_binary64_12295 cbrt-unprod_binary64_2157 add-exp-log_binary64_13756 associate-*r*_binary64_2405
117×	flip3-+_binary64_8265 flip-+_binary64_8236 div-inv_binary64_8941
116×	pow1_binary64_6959 1-exp_binary64_3873 cancel-sign-sub-inv_binary64_3454 rec-exp_binary64_3879 distribute-neg-frac_binary64_2088
115×	associate-*r*_binary64_6156 add-log-exp_binary64_7619
114×	pow-to-exp_binary64 add-log-exp_binary64_11029 associate-/r/_binary64_365 cancel-sign-sub-inv_binary64_14025
113×	unpow-prod-down_binary64_3567 cbrt-div_binary64_1815 add-cbrt-cube_binary64_14436 cube-prod_binary64_3516 *-commutative_binary64_350
112×	log-pow_binary64_508 add-log-exp_binary64_11711 log-prod_binary64_6302 associate-/l*_binary64_1728 distribute-lft-out_binary64_9577
111×	pow-prod-down_binary64_8674 associate-*r*_binary64_3087 associate-/l/_binary64_2071
110×	sqrt-pow1_binary64_96 cancel-sign-sub-inv_binary64_5841 distribute-lft-out_binary64_11964 associate-*l*_binary64_7862
109×	prod-exp_binary64_8311 associate-*r*_binary64_5474 cancel-sign-sub-inv_binary64_2090 div-exp_binary64_2516 difference-of-sqr-1_binary64_389 add-cbrt-cube_binary64_3524 difference-of-squares_binary64_14028 add-log-exp_binary64_10688
108×	sqrt-pow1_binary64_1119 add-log-exp_binary64_6255 div-exp_binary64_2175
107×	distribute-lft-out--_binary64_7873 add-cbrt-cube_binary64_5570 frac-times_binary64_10659
106×	pow1_binary64_10369 associate-*r*_binary64_12635 difference-of-squares_binary64_11300 associate-*l*_binary64_11954 pow-unpow_binary64_155
105×	cbrt-prod_binary64_12044 pow1_binary64_11392 cbrt-div_binary64_9317 unpow-prod-down_binary64_2203
104×	associate-*r*_binary64_13317 distribute-lft-out_binary64_8213
103×	distribute-lft-out_binary64_2075 associate-*r*_binary64_13658 log-prod_binary64_13463
102×	*-commutative_binary64_1032 associate-/r*_binary64_11275 associate-*r*_binary64_12976 associate-+r+_binary64_1715 distribute-lft-out_binary64_5485
101×	add-log-exp_binary64_14098 difference-of-squares_binary64_2434 add-cbrt-cube_binary64_3183 add-log-exp_binary64_2845 pow1_binary64_14802 associate-*r/_binary64_2407
100×	add-cbrt-cube_binary64_13754 cbrt-div_binary64_13750 associate-/r*_binary64_12980 associate-*l*_binary64_8203 cbrt-prod_binary64_12726 associate-/r/_binary64_13323
99×	difference-of-squares_binary64_3457 log-prod_binary64_6643 frac-sub_binary64_5884 distribute-lft-out--_binary64_14011
98×	add-cbrt-cube_binary64_15118 associate-/r*_binary64_7183 associate-*r*_binary64_3428 distribute-lft-out--_binary64_6509 log-prod_binary64_6984
97×	flip3--_binary64_8607 associate-*r*_binary64_14681 cancel-sign-sub-inv_binary64_2431 distribute-lft-out--_binary64_2076 frac-2neg_binary64_89 clear-num_binary64_77 associate-*l*_binary64_6498 flip--_binary64_8578
96×	add-sqr-sqrt_binary64_4192 associate-*l*_binary64_13318 times-frac_binary64_13724 associate-*r*_binary64_7520 cbrt-prod_binary64_4542 difference-of-sqr-1_binary64_1412
95×	sub-neg_binary64 associate-/r/_binary64_9572 associate-*l*_binary64_14000 distribute-rgt-in_binary64_5825 distribute-lft-in_binary64_5824 frac-2neg_binary64_771 clear-num_binary64_759 add-log-exp_binary64_5914
94×	add-log-exp_binary64_9665 prod-exp_binary64_6265 pow1_binary64_3549 associate-*l*_binary64_10931
93×	associate-/r/_binary64_1729 cbrt-prod_binary64_14090 sqrt-pow1_binary64_778
92×	sqrt-prod_binary64_13052 associate-/r*_binary64_10252 distribute-rgt-in_binary64_1733 prod-exp_binary64_10698 swap-sqr_binary64 distribute-lft-in_binary64_1732 associate-*r/_binary64_10591 associate-*l*_binary64_2406 div-exp_binary64_8313 associate-/r/_binary64_11959 sub-neg_binary64_71
91×	div-exp_binary64_8995 frac-times_binary64_8613 unpow-prod-down_binary64_3908 swap-sqr_binary64_1068 associate-/r*_binary64_15026
90×	div-inv_binary64_13374 exp-prod_binary64_14452 prod-exp_binary64_14108 distribute-rgt-in_binary64_2074 associate-*l/_binary64_14002 distribute-lft-in_binary64_2073 associate-*l*_binary64_6839 associate-/l*_binary64_2410
89×	add-log-exp_binary64_12734 times-frac_binary64_4858 pow-prod-up_binary64_1512
88×	cbrt-div_binary64_2838 distribute-lft-neg-in_binary64_1058 associate-/l/_binary64_366 distribute-rgt-neg-in_binary64_1059 associate-/l*_binary64_7866 rem-sqrt-square_binary64 add-log-exp_binary64_3186 associate-*l*_binary64_10249
87×	add-log-exp_binary64_8642 add-log-exp_binary64_9324 log-prod_binary64_8689 cube-prod_binary64_2493 unpow-prod-down_binary64_2544 sqrt-prod_binary64_7596
86×	prod-exp_binary64_6606 clear-num_binary64_1100 frac-2neg_binary64_1112 associate-/l*_binary64_6502 cube-prod_binary64_106 add-log-exp_binary64_13416
85×	distribute-lft-out--_binary64_11283 flip--_binary64_13352 distribute-lft-in_binary64_11962 associate-/l*_binary64_11958 div-exp_binary64_6608 distribute-lft-out--_binary64_14693 pow-to-exp_binary64_488 add-log-exp_binary64_3527 flip3--_binary64_13381 difference-of-squares_binary64_14710 distribute-rgt-in_binary64_11963 add-log-exp_binary64_11370 pow1/2_binary64_1181
84×	associate-+r+_binary64_11945 *-un-lft-identity_binary64_4170 div-inv_binary64_1780 pow1/3_binary64_1865 pow1_binary64_10028 frac-sub_binary64_9635
83×	times-frac_binary64_3835 distribute-rgt-in_binary64_7530 add-log-exp_binary64_14780 distribute-lft-in_binary64_7529 unpow-prod-down_binary64_13115 add-log-exp_binary64_8983
82×	cancel-sign-sub-inv_binary64_3795 pow1/2_binary64_840 div-inv_binary64_11328 add-cube-cbrt_binary64_4887 associate-*l/_binary64_5818 associate-*l*_binary64_11613 associate-*r*_binary64_11612 cbrt-unprod_binary64_7272 cbrt-unprod_binary64_6249 log-prod_binary64_14145 associate--l+_binary64_7176
81×	div-exp_binary64_10018 frac-times_binary64_8272 associate-/l*_binary64_8889
80×	associate--r+_binary64_7175 distribute-lft-out_binary64_6167 flip--_binary64_2440 flip3--_binary64_2469 cbrt-undiv_binary64_6932 exp-neg_binary64_125 log-pow_binary64_849 div-inv_binary64_6213 distribute-lft-out--_binary64_2417 associate-/r/_binary64_11277
79×	pow1/3_binary64_501 cbrt-undiv_binary64_7273 flip--_binary64_14034 pow1_binary64_14461 flip3--_binary64_14063
78×	associate-*l/_binary64_703 difference-of-squares_binary64_14369 clear-num_binary64 frac-2neg_binary64 pow1/3_binary64_160
77×	prod-exp_binary64_13426 div-exp_binary64_13428 add-log-exp_binary64_6937 flip3--_binary64_1446 flip--_binary64_1417 cos-mult_binary64_573 associate-/l*_binary64_9571 *-commutative_binary64_691
76×	add-log-exp_binary64_12393 associate-/r*_binary64_8206 associate-/r*_binary64_9229 cbrt-unprod_binary64_10682 div-inv_binary64_7236 div-inv_binary64_10987 cbrt-div_binary64_3861
75×	flip3--_binary64_10994 pow-prod-down_binary64_2195 flip3-+_binary64_12016 div-exp_binary64_9336 associate-/l*_binary64_10935 div-inv_binary64_12010 flip-+_binary64_11987 associate-/l*_binary64_4456 flip--_binary64_10965 cbrt-prod_binary64_14772 pow1/2_binary64_158 cbrt-unprod_binary64_8295
74×	flip--_binary64_4486 pow1_binary64_4572 associate-/l*_binary64_11276 div-exp_binary64_6267 log-pow_binary64_1872 flip3--_binary64_4515 flip-+_binary64_7554 associate-*r*_binary64_6838 cbrt-prod_binary64_7270 associate-*l*_binary64_12636 div-exp_binary64_7972 sqrt-pow1_binary64_3847 div-inv_binary64_4508 flip3-+_binary64_7583
73×	diff-log_binary64 cbrt-prod_binary64_8293
72×	frac-times_binary64_1452 sub-neg_binary64_412 pow1/3_binary64_2888 unswap-sqr_binary64_2092 log-prod_binary64_7325 pow1/3_binary64 log-div_binary64_506 swap-sqr_binary64_727 prod-exp_binary64_2514 unswap-sqr_binary64_1751
71×	add-log-exp_binary64_8301 log-prod_binary64 exp-diff_binary64_467 associate-/r/_binary64_10595 frac-sub_binary64_428 div-inv_binary64_9282 cbrt-prod_binary64_13749 cbrt-unprod_binary64_6590 prod-exp_binary64_12062 cbrt-undiv_binary64_8978
70×	distribute-lft-in_binary64_6165 associate-/l/_binary64_25 add-log-exp_binary64_5573 associate-/r/_binary64_10936 div-inv_binary64_2462 associate-*r*_binary64_14340 cbrt-unprod_binary64_3862 distribute-rgt-in_binary64_6166 difference-of-squares_binary64_7549 associate-/l*_binary64_13322
69×	pow1/3_binary64_3229 associate-/r*_binary64_7524 cbrt-unprod_binary64_13410 pow1_binary64_13097 associate-+r+_binary64_2056 exp-diff_binary64_126 div-exp_binary64_11382 tanh-def-a_binary64_6062 associate-*l*_binary64_11272 add-cube-cbrt_binary64_4205 tanh-def-c_binary64_6064 tanh-def-b_binary64_6063 div-exp_binary64_4562
68×	tan-quot_binary64_237 div-inv_binary64_14738 distribute-lft-out--_binary64_8555 difference-of-squares_binary64_8572 associate-/r*_binary64_2068 pow1/3_binary64_1183 associate-+r+_binary64_10 associate-*r*_binary64_15022
67×	sub-neg_binary64_1094 associate-/l*_binary64_9912 difference-of-squares_binary64_2093 flip3--_binary64_8948 flip--_binary64_8919 associate-/l*_binary64_7525
66×	cancel-sign-sub-inv_binary64_14366 associate-*l*_binary64_3088 distribute-lft-in_binary64_1050 div-inv_binary64_7918 div-exp_binary64_15133 associate-*l*_binary64_8885 cancel-sign-sub-inv_binary64_13002 distribute-rgt-in_binary64_1051 distribute-neg-frac_binary64_1065
65×	times-frac_binary64_3153 associate-/l/_binary64 distribute-rgt-in_binary64_13327 sum-log_binary64_851 associate-/r/_binary64_7526 add-log-exp_binary64_15121 associate-/l*_binary64_2069 distribute-lft-in_binary64_13326 associate-/l*_binary64_14686 cbrt-prod_binary64_10680 flip3-+_binary64_2468 unswap-sqr_binary64_9594 associate-*l/_binary64_8546 prod-exp_binary64_8993 associate-/r/_binary64_6503 cbrt-div_binary64_12045 flip-+_binary64_2439
64×	flip3-+_binary64_6560 cbrt-undiv_binary64_10001 add-log-exp_binary64_13075 div-exp_binary64_12064 distribute-lft-out--_binary64_1735 *-commutative_binary64_1373 cbrt-prod_binary64_9998 pow1/3_binary64_3911 flip-+_binary64_6531 flip--_binary64_9601 flip3--_binary64_9630 div-inv_binary64_9623
63×	associate-/r/_binary64_7185 flip-+_binary64_15056 add-log-exp_binary64_14439 prod-exp_binary64_6947 flip3-+_binary64_15085 associate-/r/_binary64_9913 associate-/l*_binary64_12981 distribute-rgt-in_binary64 distribute-lft-in_binary64 associate-/r/_binary64_8208
62×	distribute-rgt-in_binary64_14009 prod-exp_binary64_11039 associate-*l*_binary64_6157 distribute-lft-in_binary64_14008 div-exp_binary64_5926 pow-prod-down_binary64_13789 cbrt-undiv_binary64_13411
61×	exp-sum_binary64_806 swap-sqr_binary64_386 unpow2_binary64 cbrt-undiv_binary64_8296 neg-sub0_binary64_73 associate-/l*_binary64_12299 div-inv_binary64_15079 exp-prod_binary64_1835 sqr-pow_binary64_13008
60×	associate-*r/_binary64_13660 prod-exp_binary64_9334 cbrt-div_binary64_10340 associate-*l/_binary64_1385 cancel-sign-sub-inv_binary64_10274 unswap-sqr_binary64_7207 div-inv_binary64_6554 div-exp_binary64_1834 flip-+_binary64_9600 cbrt-unprod_binary64_9318 pow-prod-up_binary64 flip3-+_binary64_9629
59×	sqrt-prod_binary64_6573 cbrt-div_binary64_1474 flip3--_binary64_11335 cbrt-unprod_binary64_12046 add-log-exp_binary64_10347 div-exp_binary64_11041 difference-of-sqr-1_binary64_730 swap-sqr_binary64_2091 flip--_binary64_11306 difference-of-squares_binary64_3798
58×	distribute-lft-neg-in_binary64_376 1-exp_binary64_122 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 cbrt-unprod_binary64_14092 distribute-rgt-neg-in_binary64_377 pow-sqr_binary64_1415
57×	flip3-+_binary64_3832 cbrt-undiv_binary64_2158 flip--_binary64_10283 associate-/l*_binary64_7184 sqrt-prod_binary64_7255 cancel-sign-sub-inv_binary64_1408 pow-prod-down_binary64_6628 swap-sqr_binary64_1750 associate-*l*_binary64_5475 flip-+_binary64_3803 add-log-exp_binary64_4550 flip3--_binary64_10312 difference-of-squares_binary64_9254
56×	unswap-sqr_binary64_3797 cbrt-undiv_binary64_7955 cbrt-undiv_binary64_11365 prod-exp_binary64_7970 associate-*r/_binary64_7863 associate-/l*_binary64_15027 cbrt-unprod_binary64_11023 associate-*l/_binary64_10592
55×	clear-num_binary64_418 frac-2neg_binary64_430 div-inv_binary64_2803 sqrt-prod_binary64_8278 flip--_binary64_9260 1-exp_binary64_1145 *-commutative_binary64_1714 rec-exp_binary64_1151 distribute-rgt-in_binary64_2415 flip3--_binary64_9289 prod-exp_binary64_10016 distribute-lft-in_binary64_2414 sqrt-prod_binary64_6232 distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507 distribute-lft-out--_binary64_9237
54×	associate-*r/_binary64_6499 flip-+_binary64_2780 cbrt-unprod_binary64_7954 pow1/3_binary64_2206 associate-/r/_binary64_2070 unswap-sqr_binary64_5843 div-inv_binary64_9964 associate-*r/_binary64_8204 pow-prod-down_binary64_10720 cancel-sign-sub-inv_binary64_9933 associate-/l*_binary64_14345
53×	distribute-lft-out--_binary64_7532 div-exp_binary64_14792 associate--l+_binary64_15 sum-log_binary64_1192 sum-log_binary64_510 flip-+_binary64_8918 rem-sqrt-square_binary64_773 flip3-+_binary64_8947 associate-*r/_binary64_9227 pow1/3_binary64_842 flip3-+_binary64_2809 cbrt-undiv_binary64_6591 div-exp_binary64_10700 cbrt-undiv_binary64_11024
52×	associate-*l*_binary64_2747 flip3--_binary64_6220 flip--_binary64_6191 pow-exp_binary64_828 cbrt-div_binary64_1133 distribute-rgt-in_binary64_7871 div-exp_binary64_13087 pow-prod-down_binary64_3218 cbrt-unprod_binary64_2498 distribute-lft-in_binary64_7870 cbrt-undiv_binary64_12047 distribute-lft-out--_binary64_11965 diff-log_binary64_511
51×	pow-prod-down_binary64_14130 cbrt-unprod_binary64_10000 associate-/r/_binary64_6162 difference-of-squares_binary64_11982 frac-times_binary64_9295 diff-log_binary64_170 distribute-lft-out--_binary64_14352 cbrt-div_binary64_792 associate-*l*_binary64_13659 associate-/l*_binary64_10594 cbrt-prod_binary64_6588 cbrt-unprod_binary64_8977 cancel-sign-sub-inv_binary64_10956
50×	add-exp-log_binary64_4890 cbrt-undiv_binary64_6250 div-inv_binary64_12351 associate-*r*_binary64_2746 associate-*l*_binary64_9908 pow-prod-down_binary64_9697 pow-prod-down_binary64_12425
49×	cbrt-undiv_binary64_5909 unpow-prod-down_binary64_3226 associate-/l/_binary64_1389 associate-+r+_binary64_13309 associate-*l/_binary64_8205 associate-/r*_binary64_14344 sub-neg_binary64_10642 rem-sqrt-square_binary64_1114
48×	frac-times_binary64_13728 associate-*l*_binary64_14682 distribute-lft-out--_binary64_12988 associate-+l+_binary64_6149 unswap-sqr_binary64_9253 cbrt-div_binary64_14091 sum-log_binary64 sub-neg_binary64_7232 sub-neg_binary64_753
47×	associate--l+_binary64_356 div-inv_binary64_10646 associate--l+_binary64_2061 cbrt-unprod_binary64_13751 prod-exp_binary64_13767 add-log-exp_binary64_10006
46×	associate-*r/_binary64_10250 cancel-sign-sub-inv_binary64_5500 clear-num_binary64_1441 associate-/r*_binary64_14003 cbrt-undiv_binary64_9319 sqrt-div_binary64_2482 frac-2neg_binary64_1453 sum-log_binary64_1874 associate-*l/_binary64_11956 pow-plus_binary64_1505 associate-/r/_binary64_10254
45×	swap-sqr_binary64_11298 cbrt-undiv_binary64_1817 distribute-lft-out--_binary64_3781 log-prod_binary64_2210 associate-/l*_binary64_9230 distribute-rgt-in_binary64_8553 distribute-lft-in_binary64_8552 cbrt-undiv_binary64_4545 sqrt-prod_binary64_3163
44×	cbrt-prod_binary64_6247 associate-/l*_binary64_10253 add-exp-log_binary64_4208 distribute-lft-out_binary64_14351 associate-/r*_binary64_2750 swap-sqr_binary64_3796 unpow-prod-down_binary64_4590 associate-/l*_binary64_6161 associate-/r/_binary64_7867 associate-+r+_binary64_6148 cbrt-undiv_binary64_2499 diff-log_binary64_1193 associate-/l/_binary64_10937 sqrt-pow1_binary64_3165 prod-exp_binary64_7629 distribute-lft-out--_binary64_3440 add-log-exp_binary64_4209 sqrt-prod_binary64_3504
43×	flip3--_binary64_12017 cbrt-prod_binary64_11021 unpow-prod-down_binary64_8341 *-commutative_binary64_12626 flip--_binary64_5850 distribute-lft-out_binary64_7531 associate-*l*_binary64_4793 add-log-exp_binary64_13757 pow1/3_binary64_1524 difference-of-squares_binary64_7208 sub-neg_binary64_14052 pow-exp_binary64_1510 div-exp_binary64_7631 flip3--_binary64_5879 pow1_binary64_15143 flip3--_binary64_13722 pow-prod-down_binary64_2536 flip--_binary64_13693 pow-pow_binary64 unswap-sqr_binary64_10617 flip--_binary64_11988 cbrt-prod_binary64_4201 add-cbrt-cube_binary64_4888
42×	pow1/3_binary64_8685 pow1_binary64_4231 difference-of-squares_binary64_4821 pow-prod-down_binary64_13448 flip3--_binary64_3492 associate--l+_binary64_1720 flip--_binary64_3463 pow1_binary64_4913 pow1/3_binary64_9367 associate-/r/_binary64_14346 unpow-prod-down_binary64_6636 log-pow_binary64_6305
41×	log-pow_binary64_14489 flip--_binary64_9942 flip3--_binary64_9971 swap-sqr_binary64_11639 pow-pow_binary64_150 associate-*r/_binary64_14001 cbrt-undiv_binary64_13070 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 diff-log_binary64_852 sqrt-pow1_binary64_14077 div-inv_binary64_2121 div-inv_binary64_13033 add-cbrt-cube_binary64_4206 cbrt-undiv_binary64_14775 prod-exp_binary64_4560
40×	pow-prod-down_binary64_12084 pow-prod-down_binary64_7651 cbrt-prod_binary64_11362 prod-exp_binary64_11380 swap-sqr_binary64_5501 associate-/r/_binary64_6844 distribute-lft-out--_binary64_7191 log-div_binary64_3916 cbrt-unprod_binary64_7613 div-inv_binary64_7577 associate-*r/_binary64_5476 sub-neg_binary64_1776 pow-sqr_binary64 associate-*l/_binary64_15025 distribute-lft-out--_binary64_5486
39×	flip--_binary64_3804 associate-*l*_binary64_3429 associate-/r/_binary64_14687 unswap-sqr_binary64_3115 distribute-lft-out_binary64_13669 associate-*l*_binary64_12977 cube-prod_binary64_9995 unswap-sqr_binary64_8230 distribute-lft-neg-in_binary64_2081 cbrt-undiv_binary64_10683 distribute-rgt-neg-in_binary64_2082 unpow-prod-down_binary64_10046 associate-/r/_binary64_14005 sub-neg_binary64_2117 pow-to-exp_binary64_1511 flip3--_binary64_3833
38×	prod-exp_binary64_10357 associate-/r*_binary64_12298 sqr-pow_binary64_6529 swap-sqr_binary64_3114 swap-sqr_binary64_5842 flip-+_binary64_11646 flip3-+_binary64_11675 sqrt-div_binary64_1459 sqrt-div_binary64_3164 associate-+r+_binary64 associate-*r/_binary64_11614 associate-/r*_binary64_5478 associate-/r/_binary64_9231 flip--_binary64_14716 associate-*r/_binary64_7522 sub-neg_binary64_5868 associate-/r/_binary64_12982 flip3--_binary64_14745 cbrt-div_binary64_5566
37×	frac-sub_binary64_769 unswap-sqr_binary64_14027 associate-*l/_binary64_6500 sqr-pow_binary64_1755 associate-/l*_binary64_8207 rem-sqrt-square_binary64_91 distribute-rgt-in_binary64_1392 +-commutative_binary64_1372 sqrt-prod_binary64_3845 sqrt-prod_binary64_11347 associate--l+_binary64_3766 unswap-sqr_binary64_11640 pow-prod-down_binary64_8333 distribute-lft-in_binary64_1391 pow1/3_binary64_11754 sum-log_binary64_2215 difference-of-squares_binary64_6867 distribute-lft-out_binary64_10259 cbrt-div_binary64_2497 tan-quot_binary64_1601
36×	cbrt-unprod_binary64_10341 +-commutative_binary64_1031 cbrt-unprod_binary64_11364 diff-log_binary64_1875 div-exp_binary64_14110 associate-*l*_binary64_4452 unswap-sqr_binary64_7889 pow-unpow_binary64_1519 exp-sum_binary64_465 associate-+r+_binary64_6489 associate-*r/_binary64_6158 rec-exp_binary64_810 unswap-sqr_binary64_12322 cbrt-div_binary64_6930 pow-flip_binary64_1175 exp-prod_binary64_471 associate-*r/_binary64_11955
35×	*-commutative_binary64_2055 cube-prod_binary64_4539 pow-prod-down_binary64_7310 flip3--_binary64_15086 prod-exp_binary64_13085 sub-neg_binary64_2458 cbrt-div_binary64_11704 prod-exp_binary64_3196 *-commutative_binary64_3760 associate-*r/_binary64_2748 cancel-sign-sub-inv_binary64_13684 flip--_binary64_15057 log-pow_binary64_3918 pow-prod-up_binary64_1853 *-commutative_binary64_10580
34×	frac-add_binary64_12021 unpow3_binary64_826 distribute-lft-out_binary64_12987 sqrt-div_binary64_8961 unswap-sqr_binary64_10276 prod-exp_binary64_3537 unswap-sqr_binary64_6525 sqrt-div_binary64_1800 distribute-rgt-in_binary64_10940 flip3--_binary64_7925 +-commutative_binary64_690 associate-*l*_binary64_14341 associate-*r/_binary64_12296 log-pow_binary64_5623 frac-add_binary64_1450 flip--_binary64_7896 distribute-lft-in_binary64_10939 unswap-sqr_binary64_6866 sum-log_binary64_169
33×	distribute-lft-in_binary64_10257 associate-*r/_binary64_8886 distribute-rgt-in_binary64_10258 associate-/r*_binary64_3432 cbrt-unprod_binary64_6931 rec-exp_binary64_128 pow-pow_binary64_491 pow-unpow_binary64_14477 flip3-+_binary64_5537 unswap-sqr_binary64_13345 associate-*l/_binary64_12297 associate-+l+_binary64_1716 cbrt-unprod_binary64_13069 flip-+_binary64_5508 swap-sqr_binary64_2773 pow2_binary64_1523 pow1/3_binary64_14141 log-div_binary64_165 +-commutative_binary64 pow-prod-down_binary64_11061 pow-prod-down_binary64_9356
32×	div-exp_binary64_8654 sqrt-div_binary64_4528 cancel-sign-sub-inv_binary64_12320 frac-2neg_binary64_1794 unswap-sqr_binary64_7548 associate-+r+_binary64_5807 associate-*l/_binary64_13661 sqrt-div_binary64_8279 div-inv_binary64_5872 unswap-sqr_binary64_11299 log-div_binary64_847 sub-neg_binary64_10301 prod-exp_binary64_14790 clear-num_binary64_1782 associate-/r/_binary64_2752 *-commutative_binary64_5806 *-commutative_binary64_13990 associate-+r+_binary64_13991
31×	+-commutative_binary64_1713 exp-sum_binary64 log-prod_binary64_1187 exp-sum_binary64_124 difference-of-squares_binary64_2775 swap-sqr_binary64_8229 associate-+l+_binary64_7513 *-commutative_binary64_7170 pow-sqr_binary64_1756 distribute-lft-out_binary64_3780 div-exp_binary64_2857 cbrt-undiv_binary64_7614 flip3-+_binary64_7924 unswap-sqr_binary64_8912 pow1/3_binary64_5616 flip-+_binary64_7895 1-exp_binary64_804
30×	cbrt-undiv_binary64_15116 cancel-sign-sub-inv_binary64_2772 associate-/l/_binary64_7527 1-exp_binary64_6942 pow-prod-up_binary64_1171 distribute-lft-in_binary64_9916 pow-exp_binary64_2192 rec-exp_binary64_6948 distribute-rgt-in_binary64_9917 pow-unpow_binary64_837 cbrt-div_binary64_10681 sqrt-pow1_binary64_437 cancel-sign-sub-inv_binary64_8910 distribute-lft-out--_binary64_2758 associate--r+_binary64_3765 associate-*l/_binary64_10933 pow-pow_binary64_14472 associate-*l/_binary64_7523 pow-prod-down_binary64_7992 distribute-lft-in_binary64_6847 distribute-rgt-in_binary64_6848
29×	+-commutative_binary64_8 add-log-exp_binary64_4891 pow-prod-up_binary64_3899 rec-exp_binary64 1-exp_binary64 associate-+l+_binary64_693 cbrt-undiv_binary64_2840 associate-/l/_binary64_14688 distribute-lft-out_binary64_6849 unpow-prod-down_binary64_14479 associate-+r+_binary64_7171 pow-prod-up_binary64_830 associate-+l+_binary64_2057 unswap-sqr_binary64_8571 cancel-sign-sub-inv_binary64_13343 associate-/l*_binary64_14004 div-exp_binary64_10359
28×	distribute-lft-in_binary64_12985 pow-prod-up_binary64_148 sub-neg_binary64_1435 sqrt-pow1_binary64_2142 cbrt-unprod_binary64_14774 cbrt-div_binary64_8294 pow-prod-down_binary64_6287 pow-flip_binary64_834 prod-exp_binary64_5583 frac-2neg_binary64_7932 frac-sub_binary64_3838 flip-+_binary64_10623 unpow-prod-down_binary64_11751 div-sub_binary64 pow1/3_binary64_2547 swap-sqr_binary64_9252 distribute-rgt-in_binary64_12986 sqrt-pow1_binary64_1460 flip3-+_binary64_10652 flip3-+_binary64_10311 pow-prod-down_binary64_10379 clear-num_binary64_7920 div-exp_binary64_3539 pow1_binary64_5254 sqrt-pow1_binary64_13736 +-commutative_binary64_349 flip-+_binary64_10282
27×	sum-log_binary64_11081 flip-+_binary64_3121 associate-*l/_binary64_9228 associate-/l/_binary64_9573 div-sub_binary64_765 clear-num_binary64_12012 flip3-+_binary64_3150 unswap-sqr_binary64_2433 frac-times_binary64_5885 cancel-sign-sub-inv_binary64_4136 associate-*r/_binary64_10932 neg-mul-1_binary64_1097 frac-2neg_binary64_12024 div-inv_binary64_8259 div-inv_binary64_10305 pow1/3_binary64_5957 unswap-sqr_binary64_11981 cbrt-undiv_binary64_10342
26×	*-commutative_binary64_8534 cbrt-div_binary64_110 pow-to-exp_binary64_829 sqrt-div_binary64_14076 cbrt-unprod_binary64_3180 sqrt-div_binary64_7597 sqrt-prod_binary64_10665 un-div-inv_binary64_76 associate-*r*_binary64_4792 associate-/l*_binary64_11617 flip3--_binary64_6561 pow-prod-down_binary64_5605 cos-sum_binary64_553 pow-sqr_binary64_1074 distribute-rgt-neg-in_binary64 cbrt-unprod_binary64_5567 flip--_binary64_6532 sin-mult_binary64_233 unswap-sqr_binary64_4479 pow-prod-down_binary64_9015 associate-/l/_binary64_10596 distribute-rgt-in_binary64_8894 associate-*r/_binary64_3089 associate--l+_binary64_8540 distribute-lft-in_binary64_8893 rem-sqrt-square_binary64_432
25×	cbrt-prod_binary64_14431 flip-+_binary64_14374 distribute-lft-out_binary64_4462 flip3-+_binary64_14403 associate-/r*_binary64_5819 difference-of-sqr-1_binary64_14370 rec-exp_binary64_2515 *-un-lft-identity_binary64_5193 add-sqr-sqrt_binary64_5215 distribute-lft-out_binary64_4803 frac-times_binary64_13387 associate-*l/_binary64_2408 cancel-sign-sub-inv_binary64_11297 swap-sqr_binary64_8911 pow-prod-up_binary64_3217 rem-log-exp_binary64_801 cos-mult_binary64_232 add-log-exp_binary64_5232 *-commutative_binary64_12285 associate--l+_binary64_697 1-exp_binary64_2509 pow-pow_binary64_1514 div-inv_binary64_14397
24×	pow1/2_binary64_3227 times-frac_binary64_4176 prod-exp_binary64_14449 unswap-sqr_binary64_14709 associate-+r+_binary64_12968 flip3-+_binary64_13721 pow-sqr_binary64_51 sum-log_binary64_2556 associate-/r*_binary64_11616 unswap-sqr_binary64_5502 flip-+_binary64_13692 cancel-sign-sub-inv_binary64_4818 pow-prod-down_binary64_14812 frac-times_binary64_12023 frac-times_binary64_3839 cbrt-div_binary64_4202 sqrt-div_binary64_11348 associate-*r/_binary64_3430 div-inv_binary64_8600 cube-mult_binary64_790 *-commutative_binary64_6488 cube-mult_binary64_108 associate-*r/_binary64_3771 cube-prod_binary64_2152 associate-+r+_binary64_2397 flip3-+_binary64_11334 log-prod_binary64_14486 sqr-pow_binary64_1073 difference-of-sqr--1_binary64_49 associate-*l/_binary64_6159 flip-+_binary64_11305
23×	add-cube-cbrt_binary64_5228 1-exp_binary64_7283 distribute-rgt-neg-in_binary64_11971 *-commutative_binary64_2396 associate-/l/_binary64_11278 cbrt-unprod_binary64_11705 associate-*r/_binary64_9909 difference-of-sqr-1_binary64 clear-num_binary64_7238 cbrt-unprod_binary64_4544 add-exp-log_binary64_5231 unpow3_binary64_144 distribute-rgt-in_binary64_13668 associate-+r+_binary64_351 rec-exp_binary64_7289 prod-exp_binary64_11721 *-commutative_binary64_9557 pow-sqr_binary64_3802 frac-times_binary64_7590 div-sub_binary64_83 div-inv_binary64_11669 cbrt-div_binary64_14773 distribute-lft-out_binary64_14010 unswap-sqr_binary64_2774 frac-2neg_binary64_7250 distribute-lft-in_binary64_13667 sub-neg_binary64_12006 unpow-prod-down_binary64_7318 associate-+l+_binary64_352
22×	cbrt-unprod_binary64_14433 flip-+_binary64_14033 cancel-sign-sub-inv_binary64_8569 flip--_binary64_7555 unswap-sqr_binary64_9935 cbrt-div_binary64_5907 cube-mult_binary64_1813 *-commutative_binary64_7852 unswap-sqr_binary64_3456 div-exp_binary64_14451 cube-prod_binary64_6585 associate-+r+_binary64_1033 difference-of-squares_binary64_5844 flip-+_binary64_10964 clear-num_binary64_6897 flip3-+_binary64_10993 pow-plus_binary64 frac-2neg_binary64_6909 sub-neg_binary64_6209 associate-*r/_binary64_13319 pow1/2_binary64_499 flip3-+_binary64_14062 pow-prod-down_binary64_11743 sqrt-div_binary64_10666 flip3--_binary64_7584
21×	1-exp_binary64_463 swap-sqr_binary64_10275 distribute-lft-out--_binary64_5827 frac-times_binary64_11000 sqrt-pow1_binary64_1801 log-prod_binary64_1528 distribute-lft-neg-in_binary64_11970 flip3-+_binary64_5878 pow1/3_binary64_10390 pow1/3_binary64_12777 flip-+_binary64_14715 difference-of-sqr-1_binary64_1071 flip--_binary64_14375 frac-2neg_binary64_9637 pow1/2_binary64_1863 flip3--_binary64_14404 distribute-lft-neg-in_binary64 neg-mul-1_binary64 frac-2neg_binary64_11342 flip-+_binary64_6190 associate-/l*_binary64_3433 pow-exp_binary64_1169 rec-exp_binary64_469 rem-log-exp_binary64_119 add-cbrt-cube_binary64_5229 frac-times_binary64_2816 flip-+_binary64_5849 neg-mul-1_binary64_415 pow1/2_binary64_9024 unpow3_binary64_485 pow-sqr_binary64_733 associate-+l+_binary64_11605 clear-num_binary64_9625 flip3-+_binary64_6219 sqr-pow_binary64_3460 flip3-+_binary64_14744 sqrt-pow1_binary64_8962 associate-*r*_binary64_4110 clear-num_binary64_11330 pow-exp_binary64_7307 sub-neg_binary64_6550
20×	associate--r+_binary64_2401 flip-+_binary64_6872 pow1/2_binary64_8342 flip--_binary64_13011 clear-num_binary64_13376 flip3--_binary64_4174 *-commutative_binary64_9216 frac-times_binary64_11341 unpow3_binary64_1849 flip3-+_binary64_6901 associate-/l/_binary64_2412 sqrt-pow1_binary64_8280 clear-num_binary64_10989 pow-prod-down_binary64_2877 flip3-+_binary64_13039 cancel-sign-sub-inv_binary64_14707 cbrt-div_binary64_13409 associate-+l+_binary64_7172 sum-log_binary64_6307 flip--_binary64_6873 frac-2neg_binary64_13388 *-commutative_binary64_7511 cbrt-unprod_binary64_3521 diff-log_binary64_1534 flip3--_binary64_6902 frac-2neg_binary64_11001 flip-+_binary64_13010 swap-sqr_binary64_14026 pow1/3_binary64_13459 sqrt-div_binary64_6233 cbrt-undiv_binary64_14434 pow1/2_binary64_14139 log-pow_binary64_6646 cbrt-div_binary64_8976 cbrt-div_binary64_3520 sum-log_binary64_7671 cancel-sign-sub-inv_binary64_9592 flip3--_binary64_13040 flip--_binary64_4145 frac-times_binary64_10318 cbrt-div_binary64_6589 cos-sum_binary64_1235
19×	unswap-sqr_binary64_13686 associate-+r+_binary64_692 pow1/2_binary64_2204 sub-neg_binary64_10983 distribute-lft-out_binary64_7190 *-commutative_binary64_8193 log-pow_binary64_14148 *-commutative_binary64_11944 div-inv_binary64_14056 pow-sqr_binary64_3120 pow1/3_binary64_3570 distribute-lft-out_binary64_5826 clear-num_binary64_2123 *-commutative_binary64_13308 clear-num_binary64_6556 associate-+r+_binary64_10922 pow-prod-down_binary64_6969 frac-2neg_binary64_6568 unswap-sqr_binary64_6184 *-commutative_binary64_10239 rem-sqrt-square_binary64_1796 frac-times_binary64_8954 pow-unpow_binary64_1178 associate-*l/_binary64_2749 pow-prod-up_binary64_489 pow-prod-down_binary64_10038 frac-2neg_binary64_2135 unpow-prod-up_binary64_7317 sqrt-pow1_binary64_4529
18×	associate-/l/_binary64_14347 flip--_binary64_12329 diff-log_binary64_6308 pow-unpow_binary64_3906 associate-*l*_binary64_4111 sub-neg_binary64_13029 sum-log_binary64_11763 clear-num_binary64_8943 frac-2neg_binary64_14752 cbrt-div_binary64_7612 associate-*r/_binary64_11273 pow-plus_binary64_1846 unpow2_binary64_484 pow-unpow_binary64_7316 cancel-sign-sub-inv_binary64_11638 log-div_binary64_1870 associate-*l/_binary64_11274 associate-*r/_binary64_14342 clear-num_binary64_4510 associate-+l+_binary64_1034 associate-+l+_binary64 frac-2neg_binary64_8955 cube-div_binary64_1130 pow1/2_binary64_3909 flip--_binary64_2781 flip3--_binary64_12358 swap-sqr_binary64_1409 distribute-lft-out_binary64_12305 frac-2neg_binary64_4522 sqrt-div_binary64_3846 cbrt-undiv_binary64_3522 sinh-def_binary64_2309 div-inv_binary64_3485 associate-/l*_binary64_5820 distribute-lft-in_binary64_14690 unpow-prod-down_binary64_6295 distribute-rgt-in_binary64_14691 sinh-def_binary64_9470 clear-num_binary64_14740 sub-neg_binary64_7914 associate--r+_binary64_14
17×	clear-num_binary64_12353 clear-num_binary64_13035 frac-2neg_binary64_12365 flip3--_binary64_2810 cbrt-prod_binary64_12385 *-commutative_binary64_13649 frac-2neg_binary64_9978 distribute-lft-out--_binary64_6850 associate-*l/_binary64_13320 div-exp_binary64_5585 prod-exp_binary64_15131 sum-log_binary64_6648 cbrt-prod_binary64_5224 associate-*r/_binary64_14683 pow-flip_binary64 associate-/l*_binary64_5479 cbrt-div_binary64_9999 *-commutative_binary64_3078 cbrt-undiv_binary64_8637 sum-log_binary64_3920 associate-*l*_binary64_15023 pow-to-exp_binary64_2193 pow-to-exp_binary64_1170 distribute-rgt-out_binary64_1736 clear-num_binary64_9966 pow1/3_binary64_5275 unswap-sqr_binary64_10958 pow-sqr_binary64_392 frac-2neg_binary64_13047 cube-prod_binary64 difference-of-sqr-1_binary64_48 associate-/l/_binary64_6504 distribute-neg-frac_binary64_383 sub-neg_binary64_3481
16×	associate-/r*_binary64_13662 flip3-+_binary64_8606 cosh-def_binary64_9812 cbrt-unprod_binary64_4885 difference-of-sqr--1_binary64_1754 cancel-sign-sub-inv_binary64_9251 associate--l+_binary64_6153 rec-exp_binary64_9676 pow-prod-down_binary64_14471 rec-exp_binary64_12404 associate--l+_binary64_6835 cancel-sign-sub-inv_binary64_4477 1-exp_binary64_12398 swap-sqr_binary64_8570 1-exp_binary64_15126 frac-2neg_binary64_2476 associate-/r/_binary64_5821 rec-exp_binary64_15132 *-commutative_binary64_5465 associate-/l/_binary64_11960 sub-neg_binary64_3822 flip-+_binary64_8577 frac-add_binary64_15090 associate-/l*_binary64_4797 cbrt-undiv_binary64_14093 distribute-lft-in_binary64_11621 distribute-lft-in_binary64_5483 sqr-pow_binary64_2096 sum-log_binary64_9035 log-pow_binary64_1190 prod-exp_binary64_4901 pow-exp_binary64_14468 sqrt-div_binary64_3505 1-exp_binary64_9670 distribute-rgt-in_binary64_11622 *-commutative_binary64_10921 associate--l+_binary64_2402 associate--r+_binary64_6493 sum-log_binary64_7330 frac-add_binary64_2132 distribute-rgt-out_binary64_372 pow2_binary64 clear-num_binary64_2464 pow-flip_binary64_9018 div-sub_binary64_424 *-commutative_binary64_6147 sqr-pow_binary64_7552 distribute-rgt-in_binary64_5484
15×	associate-*l/_binary64_10251 cube-prod_binary64_447 associate-/l/_binary64_13324 distribute-rgt-out_binary64_13671 pow-plus_binary64_1164 +-commutative_binary64_2395 pow-prod-up_binary64_2194 sum-log_binary64_12104 difference-of-sqr-1_binary64_1753 sin-mult_binary64_574 pow-unpow_binary64_7657 unpow-prod-down_binary64_12774 sqr-pow_binary64_3801 difference-of-squares_binary64_13687 frac-times_binary64_3498 cube-div_binary64_789 distribute-lft-out_binary64_2757 clear-num_binary64_8261 associate--r+_binary64_355 pow-prod-down_binary64_4923 frac-2neg_binary64_8273 pow-pow_binary64_832 div-sub_binary64_1106 *-commutative_binary64_9898
14×	sin-cos-mult_binary64_575 associate-+r+_binary64_7512 div-inv_binary64_3826 rec-exp_binary64_14109 inv-pow_binary64_1186 div-sub_binary64_10995 flip--_binary64_5509 frac-2neg_binary64_14411 pow-exp_binary64_7648 clear-num_binary64_14399 associate-/l/_binary64_10255 sub-neg_binary64_12688 frac-2neg_binary64_7591 pow2_binary64_1182 cancel-sign-sub-inv_binary64_12661 distribute-lft-in_binary64_14349 pow1/3_binary64_13800 distribute-lft-in_binary64_9234 distribute-rgt-in_binary64_9235 associate-/r/_binary64_8549 associate-/r/_binary64_12300 +-commutative_binary64_11602 prod-exp_binary64_2855 frac-sub_binary64_12022 sub-neg_binary64_6891 cbrt-unprod_binary64_2839 associate-*r/_binary64_6840 frac-times_binary64_14069 1-exp_binary64_7965 diff-log_binary64_6649 distribute-rgt-in_binary64_14350 diff-log_binary64_8013 div-exp_binary64_11723 cbrt-undiv_binary64_11706 diff-log_binary64_12105 associate-*r/_binary64_12978 cube-prod_binary64_6244 pow-exp_binary64_1851 1-exp_binary64_14103 flip3--_binary64_5538 pow-prod-up_binary64_8332 clear-num_binary64_7579 distribute-lft-out--_binary64_8214 difference-of-squares_binary64_8231 rec-exp_binary64_7971 associate-/l/_binary64_12983 sub-neg_binary64_5527
13×	div-inv_binary64_5531 div-sub_binary64_3152 pow1/3_binary64_6980 cbrt-div_binary64_3179 frac-times_binary64_12364 swap-sqr_binary64_9593 clear-num_binary64_10648 exp-prod_binary64_812 pow1/3_binary64_4252 distribute-rgt-neg-out_binary64 pow1/3_binary64_8344 clear-num_binary64_10307 sub-neg_binary64_13711 cube-prod_binary64_11700 distribute-rgt-in_binary64_3779 pow1/3_binary64_12095 frac-sub_binary64 sin-diff_binary64_3283 pow-flip_binary64_1516 pow-flip_binary64_7995 1-exp_binary64_8306 *-commutative_binary64_6829 pow-plus_binary64_482 +-commutative_binary64_10920 flip-+_binary64_9259 rec-exp_binary64_8312 frac-sub_binary64_1110 frac-2neg_binary64_9296 +-commutative_binary64_2054 *-commutative_binary64_8875 pow1/3_binary64_7662 associate-/r*_binary64_4796 distribute-lft-in_binary64_3778 clear-num_binary64_9284 frac-add_binary64_11339 pow-sqr_binary64_2097 clear-num_binary64_2805 flip3-+_binary64_9288 *-commutative_binary64_11603 pow-prod-down_binary64_11402 frac-2neg_binary64_10319 frac-times_binary64_2475 sub-div_binary64_85 sub-neg_binary64_13370 pow2_binary64_1864 frac-2neg_binary64_10660 frac-2neg_binary64_2817 diff-log_binary64_3921 pow-prod-down_binary64_13107 associate-/l/_binary64_8209
12×	associate-*l/_binary64_5477 sqrt-unprod_binary64 sub-neg_binary64_14393 rem-sqrt-square_binary64_14072 +-commutative_binary64_11943 log-div_binary64_6644 pow-unpow_binary64_6975 unpow3_binary64_2531 clear-num_binary64_6215 sqr-pow_binary64_2437 rec-exp_binary64_6607 cube-div_binary64_107 sum-log_binary64_15173 frac-2neg_binary64_15093 *-commutative_binary64_2737 1-exp_binary64_6260 associate-/l/_binary64_9914 frac-add_binary64_7929 pow-to-exp_binary64_7308 unpow-prod-down_binary64_14138 pow-plus_binary64_141 swap-sqr_binary64_2432 pow-prod-up_binary64_13788 pow-unpow_binary64_1860 rem-cube-cbrt_binary64_783 flip-+_binary64_13351 flip3-+_binary64_13380 sqrt-div_binary64_14758 log-div_binary64_14146 clear-num_binary64_15081 associate--l+_binary64_1038 pow2_binary64_159 pow-prod-up_binary64_2876 pow-sqr_binary64_2779 frac-2neg_binary64_6227 +-commutative_binary64_14671 distribute-neg-in_binary64_1744 cube-mult_binary64_2495 rec-exp_binary64_6266 rem-sqrt-square_binary64_2137 inv-pow_binary64 +-commutative_binary64_3759 associate--r+_binary64_696 pow1/2_binary64_1522 sum-log_binary64_5966 +-commutative_binary64_5805 pow-prod-down_binary64_3559 sum-log_binary64_8353 sqr-pow_binary64_4483 frac-times_binary64_4521 unswap-sqr_binary64_14368 sum-log_binary64_14832 1-exp_binary64_2168 associate-+l+_binary64_3762 1-exp_binary64_6601 rec-exp_binary64_2174 associate-+r+_binary64_1374
11×	sqrt-pow1_binary64_7598 distribute-lft-out--_binary64_4804 associate-*l/_binary64_3431 swap-sqr_binary64_13344 frac-sub_binary64_1792 pow-exp_binary64_3215 associate-/l/_binary64_15029 unswap-sqr_binary64_13004 rem-sqrt-square_binary64_1455 inv-pow_binary64_8006 associate-/l/_binary64_4458 log-div_binary64_1188 sub-neg_binary64_11324 sqr-pow_binary64_7211 div-sub_binary64_1447 difference-of-squares_binary64_5503 rem-log-exp_binary64_6598 rec-exp_binary64_9335 div-sub_binary64_11336 diff-log_binary64_3580 diff-log_binary64_11423 associate-/r/_binary64_5480 associate-*l/_binary64_8887 cosh-undef_binary64_1636 sqrt-pow1_binary64_2483 exp-prod_binary64_1153 cbrt-unprod_binary64_15115 *-commutative_binary64_14672 associate-/l*_binary64_13663 +-commutative_binary64_7169 +-commutative_binary64_6487 associate-+l-_binary64_6151 sum-log_binary64_8012 pow-exp_binary64_6966 1-exp_binary64_9329 diff-log_binary64_7331 distribute-lft-out_binary64_2416 sum-log_binary64_13468 sqrt-prod_binary64_9983 cancel-sign-sub-inv_binary64_7546 cbrt-undiv_binary64_5568 pow-prod-up_binary64_9014 pow1/2_binary64_7660 pow-pow_binary64_3901
10×	pow-sqr_binary64_8235 cube-div_binary64_5904 *-commutative_binary64_11262 pow1/3_binary64_11413 distribute-rgt-in_binary64_4120 flip3--_binary64_4856 pow-prod-up_binary64_8673 sqr-pow_binary64_8234 exp-prod_binary64_4904 pow2_binary64_841 +-commutative_binary64_8874 pow1/3_binary64_10049 pow-sub_binary64_495 neg-mul-1_binary64_2120 sum-log_binary64_10740 pow1/3_binary64_6639 log-div_binary64_6303 sin-sum_binary64_2598 1-exp_binary64_1827 pow1/2_binary64_13798 associate-+l+_binary64_6490 rem-log-exp_binary64_14441 rec-exp_binary64_1833 frac-add_binary64_768 pow-plus_binary64_823 flip--_binary64_4827 div-sub_binary64_3493 frac-times_binary64_6908 inv-pow_binary64_845 pow2_binary64_500 associate-/r*_binary64_8547 sqrt-prod_binary64_12370 distribute-lft-in_binary64_4801 associate-*l/_binary64_3772 pow-to-exp_binary64_8672 cube-div_binary64_448 associate-+r+_binary64_3761 rem-log-exp_binary64_1824 associate-/l/_binary64_2753 associate--l-_binary64_3767 associate-*l/_binary64_14343 cube-mult_binary64_1131 1-exp_binary64_10693 1-exp_binary64_4555 distribute-lft-in_binary64_4119 unpow3_binary64_1167 rec-exp_binary64_10699 rem-cube-cbrt_binary64 unswap-sqr_binary64_15050 sum-log_binary64_2897 pow-exp_binary64_8671 swap-sqr_binary64_13685 distribute-rgt-in_binary64_4802 cube-mult_binary64_1472 unpow3_binary64_1508 exp-sum_binary64_1147 rem-log-exp_binary64_3870 pow-prod-down_binary64_4582 associate-*r/_binary64_4112 difference-of-sqr-1_binary64_4822 pow-to-exp_binary64_1852 div-sub_binary64_10654 rec-exp_binary64_4561 sqr-abs_binary64 associate-/l/_binary64_6845 log-prod_binary64_2551 rec-exp_binary64_8994 difference-of-squares_binary64_12323 associate-/r/_binary64_3434 sqr-pow_binary64_3119 1-exp_binary64_8988 cos-diff_binary64_556 +-commutative_binary64_7510 distribute-lft-out_binary64_6508
9×	associate-/l/_binary64_8891 swap-sqr_binary64_7547 unpow2_binary64_825 pow1/3_binary64_14482 +-commutative_binary64_13307 diff-log_binary64_2557 exp-sum_binary64_6262 pow-pow_binary64_1173 un-div-inv_binary64_10647 rem-log-exp_binary64 pow-sub_binary64_7315 *-commutative_binary64_4442 pow-unpow_binary64_3224 distribute-rgt1-in_binary64_1739 exp-prod_binary64_14111 cos-diff_binary64_1238 pow1/3_binary64_7321 +-commutative_binary64_6146 unpow-prod-down_binary64_4249 pow-flip_binary64_6972 1-exp_binary64_8647 pow-plus_binary64_8666 unpow2_binary64_8327 unpow-prod-down_binary64_10728 frac-2neg_binary64_14070 div-sub_binary64_2470 associate-/l/_binary64_9232 sub-neg_binary64_8937 pow-prod-up_binary64_7650 associate-+l+_binary64_1375 pow-unpow_binary64_2201 cbrt-prod_binary64_13067 *-commutative_binary64_14331 cube-div_binary64_2494 *-commutative_binary64_3419 *-commutative_binary64_12967 log-div_binary64 sum-log_binary64_9717 rec-exp_binary64_8653 pow1/2_binary64_2545 pow1/2_binary64_4591 distribute-rgt-out--_binary64 cube-div_binary64_2153 cube-prod_binary64_3175 clear-num_binary64_14058 diff-log_binary64_7672
8×	frac-2neg_binary64_5886 cos-sum_binary64_12488 distribute-lft-neg-out_binary64_2083 flip--_binary64_12670 distribute-lft-in_binary64_8211 div-sub_binary64_1788 distribute-rgt-in_binary64_12645 flip-+_binary64_4826 flip-+_binary64_4485 diff-log_binary64_9718 flip3-+_binary64_4514 sin-sum_binary64_1234 associate-+l+_binary64_14674 pow-sqr_binary64_13691 +-commutative_binary64_15012 associate-/l/_binary64_7868 sub-neg_binary64_12347 log-pow_binary64_2554 prod-exp_binary64_4219 1-exp_binary64_1486 +-commutative_binary64_10579 rem-exp-log_binary64_118 sqrt-pow1_binary64_3506 cbrt-unprod_binary64_4203 distribute-frac-neg_binary64_2087 cbrt-div_binary64_11022 pow-prod-down_binary64_4241 pow1/2_binary64_3568 clear-num_binary64_5874 associate-/l/_binary64_12301 associate-+l+_binary64_5808 diff-log_binary64_15174 associate-/r/_binary64_3775 sub-neg_binary64_4845 1-exp_binary64_12057 associate--l+_binary64_7517 unpow3_binary64 log-pow_binary64_6987 associate-*r/_binary64_12637 exp-sum_binary64_4898 cube-mult_binary64 flip3-+_binary64_4855 flip-+_binary64_4144 pow-flip_binary64_8336 tan-quot_binary64_2965 distribute-rgt-in_binary64_8212 pow1/3_binary64_10731 frac-add_binary64_6565 flip3-+_binary64_4173 associate-+r+_binary64_13650 sum-log_binary64_12786 div-sub_binary64_6562 frac-times_binary64_3157 unswap-sqr_binary64_12663 distribute-rgt-out_binary64_713 associate--r+_binary64_6152 frac-times_binary64_5544 sum-log_binary64_4261 associate-+l+_binary64_8536 associate-*r/_binary64_4794 associate-/l*_binary64_8548 sub-neg_binary64_14734 associate-+l+_binary64_12628 rec-exp_binary64_12063 associate-*l/_binary64_14684 rem-sqrt-square_binary64_8275 associate-*l/_binary64_4454 associate-/r*_binary64_4114 sum-log_binary64_14491 associate--r+_binary64_10585 div-sub_binary64_14405 flip3--_binary64_12699 associate-/r/_binary64_4798 associate-+r+_binary64_7853 rem-sqrt-square_binary64_4524 e-exp-1_binary64_7284 sub-neg_binary64_8596 associate-*r/_binary64_15024 sum-log_binary64_13127 rec-exp_binary64_1492 exp-sum_binary64_1488 distribute-lft-out--_binary64_13670 cube-prod_binary64_13405 associate--r-_binary64_3768 pow1/3_binary64_11072 unpow-prod-down_binary64_13456 distribute-lft-in_binary64_12644 rem-sqrt-square_binary64_3501 frac-add_binary64_6224 sqrt-prod_binary64_13393
7×	sqrt-prod_binary64_5891 +-commutative_binary64_7851 distribute-lft-neg-in_binary64_5491 distribute-lft-out_binary64_3098 diff-log_binary64_12446 1-exp_binary64_11375 frac-2neg_binary64_3499 pow-pow_binary64_1855 unpow3_binary64_4577 rec-exp_binary64_11381 difference-of-sqr-1_binary64_2776 associate-/l/_binary64_5822 log-pow_binary64_7328 pow-sqr_binary64_7553 flip3-+_binary64_12357 inv-pow_binary64_504 diff-log_binary64_6990 cosh-undef_binary64_1977 rem-sqrt-square_binary64_8957 pow-to-exp_binary64_3216 pow-to-exp_binary64_14469 log-prod_binary64_4938 sqr-pow_binary64_14372 pow-sqr_binary64_8917 sinh-undef_binary64_1976 sqrt-prod_binary64_5550 distribute-rgt-neg-in_binary64_5492 sqrt-pow1_binary64_11349 associate-/l/_binary64_6163 pow-plus_binary64_3210 associate-*r*_binary64_5133 pow1/2_binary64_11411 clear-num_binary64_3487 pow2_binary64_8684 difference-of-squares_binary64_4139 pow-flip_binary64_493 rem-sqrt-square_binary64_2478 pow2_binary64_3228 flip-+_binary64_12328 sqrt-pow1_binary64_14759 sum-log_binary64_9376 cube-mult_binary64_4541 div-exp_binary64_13769 neg-mul-1_binary64_12009 sqrt-prod_binary64_9642 pow-plus_binary64_3892 +-commutative_binary64_9215 pow2_binary64_3910 sqrt-unprod_binary64_1121 sub-neg_binary64_4163 cbrt-undiv_binary64_13752 unswap-sqr_binary64_4138 pow1/3_binary64_9708 acos-asin_binary64_2646 log-div_binary64_6985 frac-times_binary64_14751 diff-log_binary64_10741 sum-log_binary64_5625 div-sub_binary64_7585
6×	1-exp_binary64_3532 pow-unpow_binary64_8339 div-sub_binary64_14746 swap-sqr_binary64_6865 rec-exp_binary64_3538 cos-sum_binary64_14875 swap-sqr_binary64_3455 rem-sqrt-square_binary64_6229 unswap-sqr_binary64_4820 sinh-def_binary64_604 pow-prod-up_binary64_9355 sqrt-div_binary64_11689 diff-log_binary64_5626 sub-neg_binary64_9619 inv-pow_binary64_163 pow-to-exp_binary64_7649 distribute-neg-in_binary64_39 frac-times_binary64_15092 flip3--_binary64_8266 un-div-inv_binary64_1440 frac-times_binary64_11682 sub-neg_binary64_9960 inv-pow_binary64_6983 associate-/l/_binary64_4799 associate-/l/_binary64_14006 +-commutative_binary64_5464 pow-sqr_binary64_5848 associate-*r/_binary64_4453 distribute-lft-out_binary64_8554 1-exp_binary64_14785 associate-+l+_binary64_11 pow-prod-up_binary64_5604 sub-neg_binary64_9278 exp-prod_binary64_2517 cube-div_binary64_1471 pow1/2_binary64_6296 pow-prod-up_binary64_11742 sub-neg_binary64_11665 flip3-+_binary64_3491 frac-2neg_binary64_5545 +-commutative_binary64_12966 rec-exp_binary64_13427 associate-/l/_binary64_13665 pow-unpow_binary64_12772 div-inv_binary64_3144 pow-unpow_binary64_10044 *-commutative_binary64_4783 pow-unpow_binary64_2542 rem-sqrt-square_binary64_14754 pow-sqr_binary64_14032 pow-sqr_binary64_11645 swap-sqr_binary64_12662 exp-diff_binary64 pow-sqr_binary64_5507 pow-prod-up_binary64_5945 cube-prod_binary64_12723 +-commutative_binary64_4100 pow-plus_binary64_2187 sqrt-pow1_binary64_6234 swap-sqr_binary64_4137 1-exp_binary64_13421 rem-sqrt-square_binary64_3160 associate--r+_binary64_7516 clear-num_binary64_5533 pow-unpow_binary64_3565 pow1/2_binary64_14821 pow-pow_binary64_2537 pow-prod-up_binary64_13447 diff-log_binary64_12787 flip-+_binary64_3462 flip--_binary64_8237 cbrt-div_binary64_12386 pow-unpow_binary64_11067 sub-neg_binary64_4504 associate-*l/_binary64_9910 frac-2neg_binary64_11683 cube-div_binary64_1812 rem-log-exp_binary64_460 pow-sqr_binary64_13350 un-div-inv_binary64_2122 associate-*l/_binary64_6841 pow2_binary64_2887 associate-/l*_binary64_3092 pow-unpow_binary64_11749 rem-cube-cbrt_binary64_442 cube-div_binary64_4540 cancel-sign-sub-inv_binary64_8228 swap-sqr_binary64_14367 pow-sqr_binary64_8576 clear-num_binary64_11671 pow2_binary64_2205 associate-/l/_binary64_5481 frac-sub_binary64_7930 un-div-inv_binary64_758 rem-log-exp_binary64_14100 swap-sqr_binary64_10616 pow-plus_binary64_2869 pow-flip_binary64_152 log-pow_binary64_4941 +-commutative_binary64_2736 pow-sqr_binary64_9258 distribute-rgt-out--_binary64_8557 unpow-prod-down_binary64_8682 diff-log_binary64_11764 log-pow_binary64_7669 acos-asin_binary64_3669 sqrt-prod_binary64_8619 pow-prod-up_binary64_14129
5×	pow-prod-down_binary64_5264 pow-prod-down_binary64_15153 pow-exp_binary64_14127 pow1/3_binary64_9026 rem-cube-cbrt_binary64_1465 rem-cube-cbrt_binary64_101 pow-exp_binary64_8330 inv-pow_binary64_1868 pow1/2_binary64_10729 sinh-def_binary64_2650 associate--l-_binary64 count-2_binary64_13666 distribute-lft1-in_binary64_13673 un-div-inv_binary64_12011 sub-neg_binary64_7573 div-sub_binary64_12018 frac-sub_binary64_10317 frac-add_binary64_86 rem-log-exp_binary64_6939 1-exp_binary64_10011 neg-mul-1_binary64_5530 1-exp_binary64_5919 pow-exp_binary64_4579 cube-mult_binary64_449 distribute-rgt1-in_binary64_13674 pow-flip_binary64_14133 associate--r+_binary64_1719 rem-log-exp_binary64_1483 pow-to-exp_binary64_14128 pow-flip_binary64_1857 rec-exp_binary64_10017 associate-+l+_binary64_2398 pow-flip_binary64_2539 frac-sub_binary64_1451 cube-mult_binary64_2154 sum-log_binary64_8694 distribute-lft-in_binary64_9575 pow-prod-up_binary64_11401 associate-+r-_binary64_1717 distribute-frac-neg_binary64_1064 distribute-lft-out--_binary64_12306 +-commutative_binary64_9556 exp-prod_binary64_7291 div-inv_binary64_13715 pow-exp_binary64_11058 exp-sum_binary64_7285 rem-sqrt-square_binary64_7593 frac-times_binary64_6567 rem-exp-log_binary64 distribute-lft-out_binary64_13328 pow-flip_binary64_9700 diff-log_binary64_14151 associate-*l*_binary64_5134 unpow3_binary64_2190 unpow3_binary64_3554 sqrt-pow1_binary64_10667 rec-exp_binary64_13086 pow-pow_binary64_7652 pow-sqr_binary64_11304 pow-flip_binary64_4585 pow-plus_binary64_8325 tan-quot_binary64_2283 distribute-rgt-neg-in_binary64_36 *-commutative_binary64_15013 associate-+r+_binary64_5466 cosh-undef_binary64_954 *-commutative_binary64_4101 cube-div_binary64_9996 div-sub_binary64_13041 distribute-rgt-in_binary64_9576 difference-cubes_binary64_421 pow-flip_binary64_6631 frac-sub_binary64_14068 cube-mult_binary64_3518 rec-exp_binary64_5925 rem-log-exp_binary64_1142 associate--r-_binary64_6496 1-exp_binary64_13080 +-commutative_binary64_8192 pow2_binary64_8343 associate-*l/_binary64_4795 rem-cube-cbrt_binary64_11013 pow-pow_binary64_3219 frac-add_binary64_2473 pow-to-exp_binary64_8331 +-commutative_binary64_8533 rem-sqrt-square_binary64_11344 exp-prod_binary64_6268 pow-to-exp_binary64_4580 div-sub_binary64_10313 pow-pow_binary64_7311 pow-pow_binary64_11062
4×	sum-log_binary64_14150 distribute-rgt-neg-out_binary64_5494 sqr-pow_binary64_10962 inv-pow_binary64_4596 div-sub_binary64_9972 sum-log_binary64_4602 frac-times_binary64_9977 frac-times_binary64_4180 cbrt-div_binary64_4543 distribute-rgt-in_binary64_4461 pow-to-exp_binary64_2534 cbrt-undiv_binary64_3863 pow1/3_binary64_14823 sqrt-unprod_binary64_780 pow-exp_binary64_3556 pow-pow_binary64_6970 acos-asin_binary64_600 pow-exp_binary64_2533 unpow1/3_binary64_3896 associate--r+_binary64 exp-sum_binary64_1829 +-commutative_binary64_13648 associate-/l/_binary64_3435 pow-plus_binary64_11394 rem-cube-cbrt_binary64_1806 +-commutative_binary64_12625 +-commutative_binary64_13989 diff-log_binary64_13128 cbrt-prod_binary64_4883 unpow2_binary64_1507 diff-log_binary64_14492 cube-div_binary64_5563 cube-div_binary64_11019 e-exp-1_binary64_6602 log-pow_binary64_13466 frac-add_binary64_7588 distribute-rgt-out--_binary64_1737 cos-atan_binary64_2985 associate--l+_binary64_9563 associate-*l/_binary64_3090 unpow2_binary64_3894 exp-prod_binary64_3881 +-commutative_binary64_4441 sum-log_binary64_11422 exp-sum_binary64_2511 difference-of-sqr-1_binary64_13688 rem-log-exp_binary64_8644 flip--_binary64_11647 rem-exp-log_binary64_1482 sqrt-prod_binary64_13734 associate-/r*_binary64_3091 cbrt-undiv_binary64_4886 rem-cube-cbrt_binary64_3511 log-pow_binary64_2213 distribute-lft-out_binary64_10941 inv-pow_binary64_14144 associate--l+_binary64_10245 flip-+_binary64_12669 neg-sub0_binary64_1096 cancel-sign-sub-inv_binary64_15048 1-exp_binary64_11034 pow-prod-up_binary64_2535 div-inv_binary64_4849 rec-exp_binary64_5584 cbrt-unprod_binary64_5226 pow-flip_binary64_15156 associate-/l*_binary64_4115 sqr-abs_binary64_775 sqr-pow_binary64_4824 neg-sub0_binary64_414 unpow3_binary64_11056 exp-to-pow_binary64 associate--l-_binary64_16 cancel-sign-sub-inv_binary64_5159 distribute-rgt-out_binary64 sin-sum_binary64_552 cube-div_binary64 asin-acos_binary64_1281 distribute-lft-out--_binary64_4122 pow-to-exp_binary64_6967 flip3--_binary64_11676 associate--l+_binary64_15019 associate-/r/_binary64_4116 sub-neg_binary64_2799 diff-log_binary64_4603 sqr-pow_binary64_6870 pow-flip_binary64_6290 cube-prod_binary64_11018 exp-diff_binary64_1490 distribute-lft-neg-in_binary64_6514 sub-neg_binary64_15075 +-commutative_binary64_14330 swap-sqr_binary64_5160 flip3-+_binary64_12698 1-exp_binary64_5578 sqr-pow_binary64_6188 cube-prod_binary64_4880 associate-+r-_binary64_12 prod-exp_binary64_5242 inv-pow_binary64_15167 cube-div_binary64_12724 sqr-pow_binary64_5847 rec-exp_binary64_11040 unpow-prod-down_binary64_4931 associate--r+_binary64_10244 cube-div_binary64_6245 +-commutative_binary64_11261 frac-add_binary64_13385 pow1/3_binary64_12436 cube-mult_binary64_11020 distribute-lft-in_binary64_4460 frac-add_binary64_10657 inv-pow_binary64_6642 rem-sqrt-square_binary64_10662 diff-log_binary64_10400 associate-+r-_binary64_3422 frac-sub_binary64_12363 rec-exp_binary64_14791 associate-+l+_binary64_5467 inv-pow_binary64_2550 associate--l+_binary64_13996 associate-+l-_binary64_6492 div-sub_binary64_4516 inv-pow_binary64_9711 pow-sqr_binary64_10281 associate-/l/_binary64_4117 inv-pow_binary64_6301 distribute-lft-out_binary64_11623 pow-sqr_binary64_2438 unpow-prod-down_binary64_11069 pow2_binary64_11412 sum-cubes_binary64_1443 diff-cos_binary64_3639 diff-log_binary64_2898 div-sub_binary64_9631 associate-+l-_binary64_12630 associate--r+_binary64_13995 rem-cube-cbrt_binary64_9990 div-exp_binary64_4903 cube-div_binary64_7268 pow-prod-up_binary64_10378 sqr-pow_binary64_13349 tan-quot_binary64_11831 pow-exp_binary64_10035 associate-*l/_binary64_11615 sum-log_binary64_13809
3×	sqrt-div_binary64_13053 pow2_binary64_5615 rem-cbrt-cube_binary64_102 +-commutative_binary64_4782 pow-unpow_binary64_4247 pow2_binary64_9025 inv-pow_binary64_1527 sin-mult_binary64_2620 pow-exp_binary64_11740 frac-2neg_binary64_13729 div-sub_binary64_7926 pow-unpow_binary64_5952 associate--r-_binary64_2404 cube-mult_binary64_3177 distribute-rgt-out--_binary64_11967 pow-plus_binary64_7643 pow-unpow_binary64_10726 inv-pow_binary64_9029 cube-mult_binary64_9997 rem-cbrt-cube_binary64_784 pow-sub_binary64_1177 cube-prod_binary64_5903 rem-exp-log_binary64_6256 cos-diff_binary64_3625 frac-times_binary64_7931 cancel-sign-sub-inv_binary64_3113 pow-flip_binary64_11405 un-div-inv_binary64_7919 log-pow_binary64_8692 pow-plus_binary64_5597 associate-+r-_binary64 diff-log_binary64_5285 sqr-pow_binary64_12667 distribute-rgt-neg-in_binary64_7879 neg-sub0_binary64 pow-pow_binary64_2196 distribute-rgt-out--_binary64_9921 distribute-rgt-neg-in_binary64_3787 rem-sqrt-square_binary64_13049 pow-pow_binary64_12767 associate-+l+_binary64_4103 rem-cbrt-cube_binary64_2148 pow-plus_binary64_14122 unpow2_binary64_3212 diff-log_binary64_11082 unpow2_binary64_1166 diff-log_binary64_4262 pow1/2_binary64_11752 +-commutative_binary64_6828 pow1/3_binary64_6298 distribute-rgt-out--_binary64_14354 distribute-rgt-neg-out_binary64_1061 unpow3_binary64_3213 distribute-rgt-out--_binary64_14013 associate-*l/_binary64_7864 sub-neg_binary64_3140 unpow3_binary64_5941 pow1/3_binary64_13118 pow-plus_binary64_9348 associate-+r-_binary64_6150 sqrt-pow1_binary64_11690 clear-num_binary64_4851 clear-num_binary64_13717 cos-atan_binary64_2303 acos-neg_binary64_3671 rem-exp-log_binary64_7279 distribute-rgt-neg-in_binary64_6515 unpow3_binary64_10033 distribute-lft-neg-in_binary64_7878 exp-sum_binary64_3875 div-inv_binary64_4167 sqr-pow_binary64_9939 sqr-pow_binary64_11644 +-commutative_binary64_3418 distribute-lft-out_binary64_14692 pow2_binary64_11753 e-exp-1_binary64_14445 associate--r+_binary64_14336 distribute-rgt1-in_binary64_5831 flip--_binary64_3122 rem-sqrt-square_binary64_11685 rem-cbrt-cube_binary64_3171 pow2_binary64_5956 un-div-inv_binary64_14057 distribute-rgt-out_binary64_8556 cos-diff_binary64_12491 diff-log_binary64_2216 +-commutative_binary64_3077 associate--l+_binary64_11950 inv-pow_binary64_10734 unpow-prod-down_binary64_5954 sqrt-undiv_binary64_99 cbrt-undiv_binary64_4204 distribute-lft-out_binary64_9236 inv-pow_binary64_11416 pow-pow_binary64_11744 distribute-rgt-out_binary64_5828 difference-of-sqr-1_binary64_5504 pow-unpow_binary64_5611 pow2_binary64_14140 sum-log_binary64_6989 pow-unpow_binary64_4588 flip3--_binary64_3151 pow-flip_binary64_7313 distribute-rgt-out--_binary64_10262 cube-mult_binary64_5905 sqr-sin-a_binary64 log-prod_binary64_5620 associate-/l/_binary64_11619 pow2_binary64_9366 diff-log_binary64_4944 exp-diff_binary64_1149 div-sub_binary64_2129 rem-square-sqrt_binary64 distribute-frac-neg_binary64_3451 sum-log_binary64_3579 pow-plus_binary64_11735 distribute-lft-out_binary64_4121 log-div_binary64_1529 distribute-frac-neg_binary64 frac-times_binary64_6226 distribute-lft-neg-in_binary64_3786 pow-plus_binary64_5938 diff-log_binary64_3239 rem-square-sqrt_binary64_772 inv-pow_binary64_8347 pow-plus_binary64_9007 un-div-inv_binary64 pow-unpow_binary64_6293 distribute-rgt-out--_binary64_32 associate--l-_binary64_1039 frac-2neg_binary64_4863 div-exp_binary64_4221 sin-sum_binary64 exp-to-pow_binary64_140 associate-+l+_binary64_10923 associate-+r+_binary64_10581 pow-plus_binary64_13440 sum-log_binary64_4943 associate--l+_binary64 pow-flip_binary64_10723 un-div-inv_binary64_1099 sum-log_binary64_3238 pow-pow_binary64_8334 sin-mult_binary64_12509 sqr-pow_binary64_10621 distribute-lft-neg-out_binary64 exp-neg_binary64_466 pow-pow_binary64_10721 un-div-inv_binary64_15080 cos-diff_binary64_2602
2×	flip3--_binary64_5197 sum-log_binary64_10399 cos-2_binary64_220 pow-prod-up_binary64_4581 sqrt-div_binary64_7938 inv-pow_binary64_13121 cube-mult_binary64_5564 flip--_binary64_5168 sub-neg_binary64_5186 distribute-rgt-out--_binary64_13672 rem-exp-log_binary64_4892 distribute-rgt-out_binary64_1054 pow-to-exp_binary64_3557 inv-pow_binary64_9370 1-exp_binary64_10352 log-div_binary64_2552 exp-diff_binary64_4900 pow1/2_binary64_8001 rem-cube-cbrt_binary64_2488 exp-to-pow_binary64_822 distribute-frac-neg_binary64_11976 associate--l+_binary64_1379 pow-prod-up_binary64_12765 atan-neg_binary64_2308 cbrt-div_binary64_7271 log-div_binary64_8690 frac-times_binary64_4862 un-div-inv_binary64_11329 cube-mult_binary64_6246 rem-cube-cbrt_binary64_11695 frac-2neg_binary64_8614 cube-mult_binary64_12725 associate--l-_binary64_6154 sin-cos-mult_binary64_1257 pow-to-exp_binary64_11059 pow2_binary64_7661 pow-to-exp_binary64_11741 associate--r-_binary64_699 pow-sqr_binary64_6871 pow-flip_binary64_13451 cube-mult_binary64_7269 frac-times_binary64_14410 associate-+r+_binary64_8876 associate-+l+_binary64_14333 distribute-lft-out_binary64_9918 cbrt-div_binary64_6248 associate--r+_binary64_7857 pow-prod-up_binary64_14470 sqrt-unprod_binary64_3167 rem-cube-cbrt_binary64_1124 distribute-rgt-neg-out_binary64_379 unpow3_binary64_6282 pow-pow_binary64_5947 pow-exp_binary64_13445 rec-exp_binary64_2856 inv-pow_binary64_13462 e-exp-1_binary64 rec-exp_binary64_14450 rem-log-exp_binary64_13418 pow-pow_binary64_5606 unpow-prod-up_binary64_1179 pow-to-exp_binary64_6285 associate-+l-_binary64_354 unpow3_binary64_6623 pow-flip_binary64_12087 clear-num_binary64_4169 cube-mult_binary64_13407 pow-div_binary64_494 pow-plus_binary64_13781 exp-diff_binary64_7287 inv-pow_binary64_5619 div-sub_binary64_12359 rem-square-sqrt_binary64_1113 pow-plus_binary64_2528 sinh-def_binary64_1968 difference-of-sqr--1_binary64_7892 rem-cube-cbrt_binary64_5557 pow-sqr_binary64_14373 associate--r-_binary64_358 pow1/2_binary64_13116 unpow3_binary64_5600 frac-2neg_binary64_4181 pow-pow_binary64_10039 cube-prod_binary64_5562 sqrt-pow1_binary64_7939 frac-sub_binary64_6907 inv-pow_binary64_7324 cbrt-div_binary64_12727 unsub-neg_binary64_5528 rem-log-exp_binary64_7621 pow-to-exp_binary64_13446 associate-+l-_binary64_1718 pow-exp_binary64_12763 associate-+l+_binary64_10582 pow-sqr_binary64_4143 associate-/r/_binary64_13664 unpow1/3_binary64_3214 pow-to-exp_binary64_12764 pow2_binary64_10389 associate-+l+_binary64_9218 associate-*l/_binary64_4113 distribute-lft-neg-out_binary64_7880 *-commutative_binary64_5124 cos-neg_binary64_2255 rem-cbrt-cube_binary64_443 neg-sub0_binary64_12008 un-div-inv_binary64_7237 sub-div_binary64_12020 tan-sum_binary64 pow-pow_binary64_4242 associate--r-_binary64_1722 distribute-lft-in_binary64_3096 pow-exp_binary64_6284 pow-prod-up_binary64_5263 associate-+r+_binary64_11604 unpow3_binary64_7305 acos-asin_binary64_1282 un-div-inv_binary64_8601 associate-+l-_binary64_11607 1-exp_binary64_2850 pow-prod-up_binary64_4240 sinh-undef_binary64_612 pow-flip_binary64_2880 pow-prod-up_binary64_3558 1-exp_binary64_14444 un-div-inv_binary64_8260 diff-log_binary64_14833 rec-exp_binary64_10358 sqr-abs_binary64_8277 un-div-inv_binary64_8942 exp-diff_binary64_1831 difference-of-sqr-1_binary64_7209 cube-mult_binary64_6587 associate-+r+_binary64_9217 tan-quot_binary64_919 cos-sum_binary64_212 cube-div_binary64_3517 rem-cbrt-cube_binary64_1807 pow2_binary64_2546 sqr-pow_binary64_14031 unsub-neg_binary64_13030 associate-+r-_binary64_11265 pow-exp_binary64_5943 distribute-rgt1-in_binary64_716 associate-+r+_binary64_4784 unpow3_binary64_12761 inv-pow_binary64_2891 pow-flip_binary64_2198 pow2_binary64_13458 sqrt-unprod_binary64_8282 sqr-pow_binary64_5506 pow-plus_binary64_10371 associate-+r-_binary64_7514 sin-mult_binary64 rem-cube-cbrt_binary64_7262 neg-mul-1_binary64_6553 pow-prod-up_binary64_6968 pow-sqr_binary64_12668 pow-sub_binary64 sqr-abs_binary64_1116 associate--l-_binary64_698 un-div-inv_binary64_1781 pow-flip_binary64_9359 rem-cbrt-cube_binary64_11014 diff-log_binary64_9377 asin-acos_binary64_2645 sum-log_binary64_5284 sum-cubes_binary64_1784 sqr-abs_binary64_1798 sqr-abs_binary64_2139 pow-flip_binary64_5608 inv-pow_binary64_3914 exp-lft-sqr_binary64_7294 sub-div_binary64 pow-exp_binary64_5602 pow2_binary64_13799 distribute-rgt-in_binary64_3097 rem-square-sqrt_binary64_8274 frac-times_binary64_13046 distribute-rgt-out_binary64_6510 associate--l-_binary64_357 rem-cube-cbrt_binary64_5898 frac-add_binary64_9634 inv-pow_binary64_12098 distribute-rgt-neg-out_binary64_38 pow-to-exp_binary64_10036 asin-acos_binary64_258 rem-cbrt-cube_binary64_2489 sin-diff_binary64_1237 diff-log_binary64_5967 log-div_binary64_2211 sub-div_binary64_7246 neg-sub0_binary64_2119 distribute-rgt-neg-out_binary64_12996 sub-div_binary64_426 unpow-prod-down_binary64_5613 cube-prod_binary64_7267 exp-diff_binary64_6264 sin-sum_binary64_893 pow-sqr_binary64_3461 sub-neg_binary64_8255 pow-pow_binary64_3560 inv-pow_binary64_2209 rem-log-exp_binary64_2506 pow-flip_binary64_3903 associate-+l-_binary64_7174 unsub-neg_binary64 clear-num_binary64_8602 unpow3_binary64_13443 sqrt-pow1_binary64_13054 exp-diff_binary64_2513 tan-sum_binary64_1577 associate-/l/_binary64_8550 exp-diff_binary64_3877 associate--r-_binary64_1040 pow-flip_binary64_13110 associate-+l+_binary64_8195 diff-log_binary64_8695 difference-cubes_binary64_3490 pow-sqr_binary64_5166 div-sub_binary64_2811 associate-*l/_binary64_12979 rem-square-sqrt_binary64_3159 unpow-prod-up_binary64_497 +-commutative_binary64_10238
1×	distribute-rgt-out--_binary64_7193 pow-plus_binary64_10712 associate-+l-_binary64_13 un-div-inv_binary64_6896 pow-plus_binary64_5256 diff-log_binary64_9036 pow-to-exp_binary64_4239 distribute-lft-neg-in_binary64_35 frac-sub_binary64_14409 associate-+l-_binary64_10584 count-2_binary64 rem-cube-cbrt_binary64_6239 unpow2_binary64_11737 un-div-inv_binary64_2463 sqrt-unprod_binary64_2144 diff-atan_binary64_1258 distribute-rgt-out--_binary64_1396 sqr-abs_binary64_93 pow-plus_binary64_14463 rem-exp-log_binary64_1823 rem-square-sqrt_binary64_90 cbrt-undiv_binary64_3181 rem-cbrt-cube_binary64_12719 div-sub_binary64_4175 pow-sqr_binary64_10622 neg-sub0_binary64_6552 distribute-rgt-out_binary64_3441 distribute-lft-neg-out_binary64_3788 distribute-rgt1-in_binary64 sinh-undef_binary64_2317 cube-mult_binary64_11702 tanh-def-b_binary64_1971 sqrt-unprod_binary64_13738 pow-exp_binary64_6625 rem-log-exp_binary64_2165 unpow3_binary64_11738 pow-plus_binary64_3551 associate-+l-_binary64_3764 rem-cbrt-cube_binary64_5558 distribute-rgt-in_binary64_12304 pow1/3_binary64_4593 diff-sin_binary64_910 clear-num_binary64_3146 pow-plus_binary64_4233 sub-div_binary64_10315 inv-pow_binary64_12439 un-div-inv_binary64_12352 rem-square-sqrt_binary64_13730 difference-of-sqr-1_binary64_6527 pow-flip_binary64_10041 tanh-def-c_binary64_1972 associate--l-_binary64_11269 rem-square-sqrt_binary64_8956 sqr-pow_binary64_8575 cosh-def_binary64_1969 neg-mul-1_binary64_74 difference-of-sqr-1_binary64_2435 div-sub_binary64_4857 sqr-abs_binary64_8959 div-sub_binary64_13382 pow2_binary64_6979 pow-prod-up_binary64_9696 neg-sub0_binary64_1778 pow-plus_binary64_6961 cube-div_binary64_11701 frac-sub_binary64_4179 pow3_binary64 rem-cbrt-cube_binary64 rem-square-sqrt_binary64_1795 sin-diff_binary64_555 rem-cbrt-cube_binary64_4535 pow2_binary64_5274 distribute-rgt-out_binary64_31 distribute-lft-in_binary64_2755 inv-pow_binary64_10393 rem-cube-cbrt_binary64_4534 exp-to-pow_binary64_481 sqrt-unprod_binary64_1803 flip-+_binary64_5167 associate-+l+_binary64_8877 neg-mul-1_binary64_3825 sqr-pow_binary64_4142 associate--l+_binary64_5130 pow-flip_binary64_14474 associate-+l-_binary64_11948 associate-+r+_binary64_2738 rem-exp-log_binary64_800 flip-+_binary64_9941 inv-pow_binary64_14826 sqrt-undiv_binary64_14762 distribute-lft1-in_binary64_8558 associate-+l+_binary64_2739 sqrt-pow2_binary64_10668 sqr-abs_binary64_434 div-sub_binary64_9290 sqrt-pow2_binary64_2484 associate--l-_binary64_6495 associate-+l-_binary64_7515 tanh-def-a_binary64_1970 pow-plus_binary64_12758 un-div-inv_binary64_10988 unsub-neg_binary64_413 unsub-neg_binary64_7915 sub-div_binary64_1790 associate-+l-_binary64_5469 pow-exp_binary64_4238 exp-diff_binary64_6946 clear-num_binary64_3828 cos-mult_binary64_914 distribute-rgt-in_binary64_15032 un-div-inv_binary64_10306 associate--r-_binary64_12975 pow-flip_binary64_11064 frac-add_binary64_10316 rem-sqrt-square_binary64_7934 pow-flip_binary64_10382 distribute-rgt-out--_binary64_9239 frac-sub_binary64_9976 cbrt-div_binary64_11363 rem-cbrt-cube_binary64_1125 associate--l-_binary64_1721 rem-square-sqrt_binary64_3841 +-commutative_binary64_5123 rem-cbrt-cube_binary64_6240 sqrt-unprod_binary64_14761 pow2_binary64_4251 distribute-lft1-in_binary64_1056 un-div-inv_binary64_3486 rem-cbrt-cube_binary64_2830 distribute-rgt1-in_binary64_34 pow-flip_binary64_12428 rem-exp-log_binary64_459 associate-+r-_binary64_10583 unsub-neg_binary64_1095 pow-pow_binary64_4583 div-sub_binary64_15087 distribute-lft-in_binary64_15031 pow-prod-up_binary64_10719 pow-to-exp_binary64_5603 flip3-+_binary64_5196 pow-exp_binary64_10717 rem-exp-log_binary64_3869 unsub-neg_binary64_12007 sqr-abs_binary64_3162 associate-+l+_binary64_12969 distribute-lft1-in_binary64 difference-of-squares_binary64_3116 unsub-neg_binary64_6551 neg-mul-1_binary64_7917 +-commutative_binary64_9897 distribute-lft-in_binary64_12303 rem-exp-log_binary64_14440 sum-log_binary64_10058 associate--l-_binary64_6836 un-div-inv_binary64_9624 unpow2_binary64_8668 pow2_binary64_3569 associate-+l-_binary64_1036 rem-cbrt-cube_binary64_5899 sqrt-unprod_binary64_7600 sqrt-unprod_binary64_11351 inv-pow_binary64_8688 distribute-rgt1-in_binary64_2080 un-div-inv_binary64_5532 diff-log_binary64_13469 sub-div_binary64_14066 distribute-rgt-out_binary64_6851 associate-+r-_binary64_10924 neg-log_binary64_1876 pow-to-exp_binary64_6626 cos-acos_binary64_2631 diff-log_binary64_13810 distribute-rgt-out_binary64_2077 distribute-rgt-neg-out_binary64_4130 pow-to-exp_binary64_10718 sub-div_binary64_12361 pow2_binary64_10730 exp-to-pow_binary64_1504 neg-log_binary64 tanh-undef_binary64_1978 unpow1/3_binary64_145 associate-+r-_binary64_10242 rem-square-sqrt_binary64_7592 distribute-rgt-out_binary64_10602 frac-add_binary64_9975 unsub-neg_binary64_72 rem-square-sqrt_binary64_2136 div-sub_binary64_5539 pow-sub_binary64_14476 associate-/l*_binary64_3774 pow2_binary64_14481 div-sub_binary64_5880 pow3_binary64_2889 diff-cos_binary64_570 associate-/r*_binary64_3773 rem-cbrt-cube_binary64_7263 rem-cube-cbrt_binary64_12718 distribute-rgt-neg-in_binary64_2423 div-sub_binary64_14064 inv-pow_binary64_3573 div-exp_binary64_3198 rem-exp-log_binary64_1141 neg-log_binary64_6650 frac-2neg_binary64_3840 pow2_binary64_12776 flip3-+_binary64_9970 sub-div_binary64_14407 frac-sub_binary64_2815 div-sub_binary64_8608 associate-+l-_binary64_1377 associate-+r-_binary64_6491 associate--r-_binary64_10588 un-div-inv_binary64_417 sub-div_binary64_9974 distribute-lft1-in_binary64_1738 rem-cbrt-cube_binary64_9991 unpow2_binary64_1848 rem-log-exp_binary64_4893 pow-flip_binary64_14815 associate-+r-_binary64_1035 frac-2neg_binary64_3158 pow-plus_binary64_9689 pow-pow_binary64_6288 un-div-inv_binary64_6214 un-div-inv_binary64_14398 log-div_binary64_4939 sqrt-unprod_binary64_98 inv-pow_binary64_14485 unswap-sqr_binary64_5161 sqr-cos-a_binary64_568 cos-sum_binary64_3622 div-sub_binary64_8949 pow-flip_binary64_3562 exp-neg_binary64_6945 mul0-rgt_binary64 pow2_binary64_9707 cos-sum_binary64 sqrt-unprod_binary64_8964 distribute-lft-out_binary64_5144 log-div_binary64_7667 associate--l+_binary64_6494 pow-flip_binary64_8677 exp-to-pow_binary64_1163 sqrt-pow2_binary64_779 pow-to-exp_binary64_5944 inv-pow_binary64_11075 sqrt-pow2_binary64_438 mul0-rgt_binary64_402 log-div_binary64_13464 distribute-frac-neg_binary64_382 distribute-rgt1-in_binary64_8559 neg-sub0_binary64_6893 neg-log_binary64_171 sin-mult_binary64_1256 sin-cos-mult_binary64_916 pow-sqr_binary64_9599 sqr-abs_binary64_7595 e-exp-1_binary64_123 rem-cbrt-cube_binary64_1466 unsub-neg_binary64_4164 associate-+r-_binary64_11947 count-2_binary64_8551 sqrt-unprod_binary64_3849 associate-+l-_binary64_2741 distribute-rgt-in_binary64_2756 exp-diff_binary64_14448 inv-pow_binary64_10052 acos-asin_binary64_12535

Calls

4865 calls:

908.0ms	(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 b a) 6) 8) (pow.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) 3)) (*.f64 (+.f64 1 (+.f64 a (*.f64 a a))) (+.f64 9 (*.f64 a (+.f64 a -3))))) (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 b a) 4) 4) (*.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) -2)))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 (pow.f64 a 3))) (+.f64 9 (*.f64 a (+.f64 a -3)))) (*.f64 (+.f64 (pow.f64 a 3) 27) (*.f64 (*.f64 b b) (+.f64 1 (+.f64 a (*.f64 a a))))))))) (*.f64 (*.f64 (+.f64 1 (+.f64 a (*.f64 a a))) (+.f64 9 (*.f64 a (+.f64 a -3)))) (+.f64 (*.f64 (pow.f64 (*.f64 b a) 4) 4) (*.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) -2))))))
791.0ms	(*.f64 (+.f64 1 (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)) (/.f64 15/8 (pow.f64 x 6)))) (/.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (sqrt.f64 PI.f64))) (fabs.f64 x)) (sqrt.f64 (sqrt.f64 PI.f64))))
456.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))))
332.0ms	(+.f64 (*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))) (*.f64 a 120))
258.0ms	(+.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 b a) 6) 8) (pow.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) 3)) (*.f64 (+.f64 1 (+.f64 a (*.f64 a a))) (+.f64 9 (*.f64 a (+.f64 a -3))))) (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 b a) 4) 4) (*.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) -2)))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 (pow.f64 a 3))) (+.f64 9 (*.f64 a (+.f64 a -3)))) (*.f64 (+.f64 (pow.f64 a 3) 27) (*.f64 (*.f64 b b) (+.f64 1 (+.f64 a (*.f64 a a)))))))))