simplify27.3s (5.2%)

Algorithm

260×	egg-herbie

Rules

7491×	distribute-rgt-in_binary64
7347×	unswap-sqr_binary64
5516×	associate--r-_binary64_1381
5056×	associate-/l*_binary64_1728
4780×	distribute-rgt-in_binary64_2415
4735×	*-commutative_binary64
4702×	distribute-rgt-in_binary64_1733
4546×	distribute-rgt-in_binary64_1392
4545×	times-frac_binary64_2471
4416×	*-commutative_binary64_3078
4328×	unswap-sqr_binary64_387
4302×	unswap-sqr_binary64_3115
4242×	distribute-lft-in_binary64_1391
4060×	distribute-lft-in_binary64_1732
3954×	cancel-sign-sub-inv_binary64_3113
3672×	associate-*l*_binary64_360
3622×	associate-/l*_binary64_364
3613×	distribute-rgt-in_binary64_369
3575×	sub-neg_binary64
3571×	times-frac_binary64
3568×	associate-*l*_binary64_2065
3523×	distribute-rgt-neg-in_binary64_3105
3502×	distribute-rgt-neg-in_binary64
3496×	associate-*l*_binary64
3439×	times-frac_binary64_2130
3432×	associate-*r*_binary64
3426×	associate-*l*_binary64_1724
3399×	distribute-lft-in_binary64_2414
3376×	unswap-sqr_binary64_728
3361×	unswap-sqr_binary64_46
3344×	distribute-rgt-in_binary64_28
3337×	distribute-rgt-in_binary64_2074
3317×	times-frac_binary64_84
3272×	*-commutative_binary64_1714
3227×	unsub-neg_binary64
3226×	distribute-lft-in_binary64_368
3184×	distribute-rgt-in_binary64_1051
3172×	times-frac_binary64_1789
3108×	sqr-pow_binary64
3092×	neg-mul-1_binary64
3079×	distribute-rgt-in_binary64_3097
3062×	times-frac_binary64_425
3058×	distribute-lft-in_binary64_2073
3046×	cancel-sign-sub-inv_binary64
2988×	associate-*l*_binary64_3088
2984×	distribute-rgt-in_binary64_3779
2967×	associate-/l/_binary64_25
2931×	distribute-lft-in_binary64
2904×	associate-/l*_binary64_2410
2902×	associate-*r*_binary64_3087
2877×	associate-*r*_binary64_359
2872×	associate-/l*_binary64_705
2861×	associate-*l*_binary64_2747
2779×	distribute-lft-in_binary64_3778
2766×	+-commutative_binary64_1713
2749×	*-commutative_binary64_2396
2735×	exp-prod_binary64_3199
2733×	distribute-lft-in_binary64_1050
2732×	associate-*r*_binary64_2064
2719×	times-frac_binary64_766
2707×	distribute-lft-neg-in_binary64
2689×	associate-/l*_binary64_23
2676×	times-frac_binary64_1107
2672×	cancel-sign-sub-inv_binary64_1408
2660×	times-frac_binary64_3153
2631×	associate--r-_binary64
2617×	distribute-lft-neg-in_binary64_3104
2597×	div-sub_binary64_1447
2591×	associate-/l*_binary64_2069
2574×	cancel-sign-sub-inv_binary64_2090
2550×	sub-neg_binary64_1094
2546×	sub-neg_binary64_3140
2531×	*-commutative_binary64_350
2517×	associate-*r*_binary64_1723
2514×	associate-+l+_binary64_1716
2513×	cancel-sign-sub-inv_binary64_385
2508×	sub-neg_binary64_1435
2466×	cancel-sign-sub-inv_binary64_726
2460×	unswap-sqr_binary64_1751
2449×	associate-*l/_binary64_362
2446×	associate-*l/_binary64_1726
2444×	log-prod_binary64_164
2436×	associate-*r/_binary64_1725
2435×	cancel-sign-sub-inv_binary64_1067
2413×	unswap-sqr_binary64_3797
2386×	associate-*r/_binary64_2407
2366×	*-commutative_binary64_3419
2341×	associate-/r*_binary64_1727
2339×	associate-/l*_binary64
2333×	times-frac_binary64_1448
2303×	sqr-pow_binary64_50
2273×	log-prod_binary64_3233
2266×	unswap-sqr_binary64_2092
2261×	*-commutative_binary64_1373
2259×	cancel-sign-sub-inv_binary64_2772
2236×	sqr-pow_binary64_391
2220×	associate-/r*_binary64_2409
2216×	div-sub_binary64_765
2181×	sqr-pow_binary64_3460
2178×	neg-sub0_binary64
2170×	unswap-sqr_binary64_1069
2167×	associate-*r/_binary64_361
2162×	*-commutative_binary64_9
2148×	unsub-neg_binary64_3141
2147×	associate-+r+_binary64_1715
2145×	associate-*l*_binary64_701
2138×	associate-*r*_binary64_18
2129×	sub-neg_binary64_1776
2127×	distribute-rgt-in_binary64_2756
2125×	unsub-neg_binary64_1436
2115×	associate-/l/_binary64_1730
2112×	distribute-rgt-in_binary64_710
2098×	associate-*l*_binary64_2406
2075×	associate-*r*_binary64_2405
2060×	associate-*l*_binary64_19
2049×	+-commutative_binary64_2395
2040×	associate-*r*_binary64_2746
2004×	associate-*l/_binary64_2408
1989×	*-commutative_binary64_1032
1969×	distribute-lft-in_binary64_2755
1967×	times-frac_binary64_2812
1943×	*-commutative_binary64_691
1927×	unswap-sqr_binary64_3456
1926×	cancel-sign-sub-inv_binary64_1749
1917×	associate-/l*_binary64_1387
1916×	distribute-neg-frac_binary64 associate-*r*_binary64_700
1915×	div-sub_binary64
1902×	distribute-lft-in_binary64_709
1901×	sqr-pow_binary64_3119
1898×	associate-/r*_binary64_704
1894×	cancel-sign-sub-inv_binary64_3795
1879×	div-sub_binary64_424
1877×	neg-sub0_binary64_3142
1869×	sub-neg_binary64_753
1861×	neg-mul-1_binary64_3143 associate-*l*_binary64_4111
1845×	associate-*l/_binary64_2749
1838×	distribute-rgt-neg-in_binary64_718
1836×	*-commutative_binary64_2055
1830×	associate-/l/_binary64_707
1827×	unsub-neg_binary64_1095
1804×	distribute-lft-in_binary64_27
1792×	log-prod_binary64_505
1787×	associate-*l*_binary64_3770 associate-*r*_binary64_3769
1779×	associate-*l*_binary64_1042
1771×	sqr-pow_binary64_2778
1757×	cube-prod_binary64_447
1753×	associate-/l/_binary64_2412
1739×	associate-/l/_binary64_366
1729×	sub-neg_binary64_2458
1721×	associate-/r/_binary64_706
1713×	associate-/l*_binary64_2751
1712×	associate-*l/_binary64_21
1710×	associate-*l*_binary64_1383
1672×	unswap-sqr_binary64_2774
1668×	associate-*l*_binary64_3429
1648×	unsub-neg_binary64_754
1633×	distribute-lft-in_binary64_3096
1630×	associate-*l/_binary64_2067
1627×	associate-*r*_binary64_1041 distribute-lft-neg-out_binary64_3106
1619×	associate-/r*_binary64
1616×	distribute-rgt-neg-in_binary64_1059
1613×	distribute-rgt-out_binary64_3100 distribute-rgt-in_binary64_4461
1609×	distribute-rgt-in_binary64_4120
1600×	*-commutative_binary64_2737
1597×	sub-neg_binary64_3822 cancel-sign-sub-inv_binary64_4136
1593×	exp-prod_binary64_471
1580×	div-sub_binary64_1106
1577×	*-commutative_binary64_3760
1572×	unswap-sqr_binary64_2433
1562×	associate-*r*_binary64_4110
1561×	distribute-lft-in_binary64_4460
1551×	cancel-sign-sub-inv_binary64_44
1544×	sub-neg_binary64_71
1527×	neg-sub0_binary64_755
1517×	distribute-lft-in_binary64_4119 associate-/r*_binary64_22
1511×	associate-*r*_binary64_1382
1510×	associate-/r*_binary64_2068
1508×	exp-prod_binary64_3540
1503×	distribute-lft-neg-in_binary64_717
1492×	associate-+r+_binary64_2397
1478×	distribute-rgt-neg-in_binary64_1400
1475×	associate-/r/_binary64_1729
1474×	associate-*r/_binary64_20 sub-neg_binary64_412
1454×	neg-mul-1_binary64_756
1431×	associate-*r/_binary64_2748
1425×	cube-prod_binary64_3175
1420×	distribute-rgt-neg-out_binary64_3107
1412×	unswap-sqr_binary64_4479
1410×	cube-prod_binary64_106
1400×	associate-/r*_binary64_1386
1389×	+-commutative_binary64 unswap-sqr_binary64_1410
1381×	associate-+l+_binary64_352 associate-/l*_binary64_1046
1380×	associate-+l+_binary64_1375
1379×	exp-prod_binary64_1153
1376×	sub-neg_binary64_2117
1372×	associate-+l+_binary64_2739
1368×	associate-*r*_binary64_3428
1365×	pow-sqr_binary64
1339×	neg-mul-1_binary64_1438
1337×	times-frac_binary64_3835
1328×	sqr-pow_binary64_4142
1314×	associate-/r/_binary64_24
1291×	distribute-rgt-neg-in_binary64_2764
1287×	associate-+l+_binary64
1270×	associate-+r+_binary64_2738
1264×	associate-/r*_binary64_363
1260×	sqr-pow_binary64_732
1253×	associate-/r/_binary64_365
1250×	+-commutative_binary64_2736
1248×	unswap-sqr_binary64_4138 neg-mul-1_binary64_3825
1243×	sqr-pow_binary64_1755 neg-mul-1_binary64_1097
1240×	associate-/l*_binary64_3092
1237×	*-commutative_binary64_4101
1214×	associate-*r/_binary64_2066
1211×	distribute-rgt-neg-in_binary64_377 distribute-neg-in_binary64
1210×	associate-/r*_binary64_2750
1204×	div-sub_binary64_2470
1196×	neg-sub0_binary64_1437
1191×	neg-sub0_binary64_1096
1184×	exp-prod_binary64_130
1182×	distribute-lft-neg-out_binary64
1178×	exp-prod_binary64_812
1173×	associate-/l/_binary64_2071
1171×	distribute-rgt-out_binary64_1395
1170×	distribute-neg-frac_binary64_383
1156×	associate-*l/_binary64_703
1155×	distribute-lft-out_binary64_2416
1147×	unsub-neg_binary64_3482
1141×	distribute-lft-neg-in_binary64_1058
1134×	+-commutative_binary64_1031
1125×	associate-/r/_binary64_2070
1122×	pow-sqr_binary64_51
1118×	distribute-rgt-neg-in_binary64_2082
1116×	associate-*l/_binary64_1385
1111×	associate-*l/_binary64
1109×	cancel-sign-sub-inv_binary64_3454
1105×	exp-prod_binary64
1103×	distribute-rgt-neg-out_binary64
1077×	distribute-rgt-out_binary64_2759
1075×	pow-sqr_binary64_392
1069×	+-commutative_binary64_690
1057×	associate-/r/_binary64_1388
1056×	cube-prod_binary64_3516
1049×	associate-*r/_binary64
1043×	exp-prod_binary64_1494
1032×	associate-/r/_binary64_2411 cube-div_binary64_448
1031×	log-div_binary64_506
1027×	neg-mul-1_binary64_415
1020×	sqr-pow_binary64_1414
1016×	log-prod_binary64_3574
1012×	cube-prod_binary64
1000×	associate-+r+_binary64_1374
994×	neg-sub0_binary64_414
985×	distribute-frac-neg_binary64_723
983×	distribute-rgt-neg-in_binary64_3787
981×	distribute-rgt-out_binary64_2077
977×	div-sub_binary64_3834
971×	neg-mul-1_binary64_74 log-div_binary64_847
970×	neg-sub0_binary64_73
961×	cube-div_binary64_107
960×	div-sub_binary64_83
951×	distribute-lft-neg-in_binary64_1399 sqr-pow_binary64_3801
950×	div-sub_binary64_3152
949×	distribute-neg-in_binary64_3108
946×	associate--r+_binary64_1037
944×	unsub-neg_binary64_72
939×	distribute-rgt-out_binary64
933×	+-commutative_binary64_3077
930×	+-commutative_binary64_1372
925×	sqr-pow_binary64_1073
924×	associate-+l+_binary64_2057
922×	distribute-lft-out_binary64_3098
917×	log-prod_binary64_1528
902×	associate-+r+_binary64
897×	associate-/l/_binary64_1389
893×	sub-neg_binary64_3481
892×	distribute-neg-frac_binary64_724
884×	distribute-lft-neg-in_binary64_2763
882×	log-prod_binary64_846
874×	exp-prod_binary64_3881
873×	distribute-neg-in_binary64_1744
872×	distribute-lft-neg-in_binary64_3786 cube-prod_binary64_1470
852×	associate-+l+_binary64_2398
851×	associate-+l+_binary64_11
850×	distribute-rgt-neg-in_binary64_3446 unsub-neg_binary64_4505
846×	distribute-rgt-out_binary64_31
844×	associate-/r*_binary64_3091
843×	log-div_binary64_165
841×	distribute-neg-in_binary64_1403
838×	distribute-rgt-out_binary64_2418
837×	distribute-rgt-out_binary64_4464
835×	neg-sub0_binary64_1778
825×	associate-*r/_binary64_1384
824×	associate-/l/_binary64
820×	cancel-sign-sub-inv_binary64_2431
812×	neg-mul-1_binary64_1779
811×	associate-/l/_binary64_2753
810×	distribute-lft-neg-in_binary64_2081
797×	cube-prod_binary64_788
795×	distribute-rgt-neg-in_binary64_1741
787×	distribute-neg-in_binary64_380
786×	associate-/r*_binary64_1045
781×	associate--l+_binary64_1038
780×	distribute-lft-out_binary64_2075
768×	distribute-rgt-out_binary64_713
767×	distribute-lft-out_binary64_1393 exp-prod_binary64_2176
766×	sub-neg_binary64_2799
765×	unsub-neg_binary64_3823
761×	unsub-neg_binary64_2118
756×	cube-prod_binary64_2834
755×	distribute-rgt-out_binary64_3441
754×	sub-neg_binary64_4163 swap-sqr_binary64_3114 distribute-lft-neg-out_binary64_1060
751×	distribute-lft-out_binary64_711 neg-sub0_binary64_3824
750×	associate-+r+_binary64_3079
746×	associate-/r/_binary64 distribute-neg-in_binary64_1062
745×	distribute-rgt-neg-in_binary64_36
743×	neg-mul-1_binary64_2120
740×	pow-sqr_binary64_2779
739×	associate-+l+_binary64_1034
738×	swap-sqr_binary64_386
737×	pow-sqr_binary64_3461
736×	associate-+l+_binary64_3080
733×	associate-+l+_binary64_693
731×	+-commutative_binary64_3759
724×	distribute-neg-in_binary64_2767
723×	associate-+r+_binary64_1033 associate-/l*_binary64_3774
720×	distribute-rgt-out--_binary64
716×	sqr-pow_binary64_2096
710×	unpow3_binary64_485
709×	unpow3_binary64_144
708×	associate-*l*_binary64_4452
703×	+-commutative_binary64_2054
697×	sqr-pow_binary64_2437 exp-sum_binary64_2170
696×	distribute-lft-out_binary64_29
693×	log-prod_binary64_3915
687×	exp-prod_binary64_2858
686×	exp-sum_binary64
682×	distribute-rgt-out_binary64_1736 log-prod_binary64_2210 *-commutative_binary64_4442
673×	distribute-lft-neg-out_binary64_1401
667×	neg-mul-1_binary64_2461
659×	distribute-rgt-neg-out_binary64_1402
657×	log-div_binary64
651×	distribute-rgt-out_binary64_1054
646×	associate-+r+_binary64_2056
644×	associate-+r+_binary64_692 associate-*r/_binary64_702
643×	log-prod_binary64_1869
642×	distribute-rgt-neg-out_binary64_1061
640×	distribute-neg-out_binary64
638×	distribute-lft-neg-in_binary64_1740
634×	neg-sub0_binary64_2460
633×	associate-+r-_binary64
631×	associate-/l/_binary64_3094 unpow3_binary64
630×	div-sub_binary64_2811
628×	distribute-lft-neg-in_binary64_35 associate-+r+_binary64_10
620×	div-sub_binary64_1788 distribute-lft-neg-out_binary64_3788
615×	unpow3_binary64_3554
612×	associate-*l/_binary64_1044
610×	associate-+r+_binary64_351 associate-*r/_binary64_1043
609×	neg-mul-1_binary64_2802
607×	unsub-neg_binary64_413
605×	distribute-lft-neg-in_binary64_376
604×	distribute-rgt-neg-out_binary64_3789 +-commutative_binary64_3418
603×	distribute-neg-frac_binary64_3111 exp-sum_binary64_3875
600×	distribute-rgt-neg-out_binary64_38 distribute-rgt-out--_binary64_3101
596×	pow-sqr_binary64_4143 +-commutative_binary64_349
593×	exp-sum_binary64_806
587×	associate-*l/_binary64_3772
582×	associate--r+_binary64
580×	distribute-lft-neg-out_binary64_2083
576×	neg-sub0_binary64_2119
571×	associate-/l/_binary64_1048
569×	div-exp_binary64_129
567×	associate-/r*_binary64_3773
566×	distribute-rgt-out_binary64_4123 swap-sqr_binary64_3455
563×	distribute-rgt-in_binary64_3438
558×	associate--r+_binary64_3765 log-prod_binary64_2892
557×	associate--l+_binary64_1720 neg-mul-1_binary64_3484
555×	distribute-lft-neg-in_binary64_3445
553×	associate-*r*_binary64_4451 associate--r+_binary64_1378
552×	swap-sqr_binary64_45
551×	neg-sub0_binary64_3483
550×	distribute-neg-in_binary64_3790
539×	log-prod_binary64_1187
537×	associate--l+_binary64_3766
533×	distribute-lft-neg-out_binary64_1742
530×	associate-/l/_binary64_3776 associate-+l-_binary64 associate-+l-_binary64_695
528×	cube-mult_binary64_108
520×	+-commutative_binary64_8
519×	associate--l+_binary64_356
514×	exp-prod_binary64_1835 log-pow_binary64_167
511×	distribute-lft-neg-out_binary64_719
509×	*-rgt-identity_binary64_1432
508×	difference-of-squares_binary64 cube-prod_binary64_1811 distribute-rgt-neg-out_binary64_720
507×	cube-mult_binary64
504×	associate-/r/_binary64_3775
502×	distribute-lft-out_binary64_4121
501×	distribute-lft-out_binary64_370
497×	exp-sum_binary64_1488 associate-+l+_binary64_4444
495×	cube-mult_binary64_449
493×	associate-+l+_binary64_4103
490×	distribute-neg-in_binary64_2085
488×	distribute-rgt-neg-in_binary64_2423
483×	distribute-neg-in_binary64_39 distribute-neg-frac_binary64_2770 exp-sum_binary64_1829
481×	remove-double-neg_binary64_3135
480×	log-prod_binary64
478×	cube-prod_binary64_1129
472×	exp-sum_binary64_124 associate--r+_binary64_1719
471×	log-div_binary64_1870
468×	swap-sqr_binary64_1409
466×	times-frac_binary64_4517 distribute-rgt-neg-out_binary64_2084 distribute-neg-in_binary64_3449
465×	difference-of-squares_binary64_3457
460×	distribute-neg-frac_binary64_3793
456×	distribute-rgt-out_binary64_372 associate--l+_binary64_3084
455×	*-lft-identity_binary64_1431
453×	distribute-lft-in_binary64_3437
452×	unpow3_binary64_3213
451×	associate-+l+_binary64_3762
445×	log-prod_binary64_2551
443×	unpow3_binary64_2872
441×	associate-+r+_binary64_4102
440×	associate--l+_binary64_1379
439×	distribute-neg-frac_binary64_1065
437×	rem-sqrt-square_binary64_91
436×	associate-*r/_binary64_3771 associate-+r+_binary64_3761 associate-+l-_binary64_3082
430×	distribute-neg-out_binary64_3109 swap-sqr_binary64_1068 associate-+l-_binary64_1377
429×	associate--l-_binary64_1380
428×	associate-+r-_binary64_1376
426×	pow-sqr_binary64_3120
425×	exp-sum_binary64_3193 distribute-lft-neg-in_binary64_2422
419×	pow-sqr_binary64_733
416×	distribute-neg-in_binary64_2426 distribute-rgt-out_binary64_3782
415×	neg-sub0_binary64_2801
409×	*-rgt-identity_binary64_409
403×	associate-/r/_binary64_1047
401×	distribute-rgt-neg-out_binary64_1743
396×	distribute-lft-neg-out_binary64_3447
395×	distribute-neg-in_binary64_4131
391×	*-lft-identity_binary64_408
389×	unsub-neg_binary64_4164
382×	distribute-neg-frac_binary64_2088
380×	distribute-lft-out_binary64 sub-neg_binary64_4504
379×	unpow3_binary64_1167
377×	distribute-neg-frac_binary64_1747
372×	unpow3_binary64_826
367×	distribute-frac-neg_binary64_41 div-sub_binary64_2129 neg-mul-1_binary64_4166
366×	*-lft-identity_binary64_67
365×	distribute-rgt-neg-in_binary64_4128
361×	distribute-lft-out--_binary64_3099 neg-sub0_binary64_4165
359×	exp-diff_binary64
358×	log-div_binary64_2211
357×	cancel-sign-sub-inv_binary64_4477
356×	cube-mult_binary64_3518
354×	div-exp_binary64_470
349×	cube-mult_binary64_2836
347×	distribute-rgt-neg-out_binary64_379
346×	swap-sqr_binary64_727
345×	distribute-lft-neg-out_binary64_378 sqr-pow_binary64_4483
344×	associate--r+_binary64_3083 cube-div_binary64_789
339×	cube-prod_binary64_4198
335×	+-commutative_binary64_4100
334×	distribute-frac-neg_binary64_382
332×	*-rgt-identity_binary64_68
330×	exp-prod_binary64_2517
328×	exp-diff_binary64_126
327×	unsub-neg_binary64_1777
326×	exp-diff_binary64_1490
325×	distribute-frac-neg_binary64_1064 distribute-lft-neg-in_binary64_4127
324×	associate--r+_binary64_2742
321×	distribute-rgt-out--_binary64_1396 *-rgt-identity_binary64_2455
319×	distribute-neg-in_binary64_721
318×	log-pow_binary64_508 swap-sqr_binary64 pow-sqr_binary64_1415 log-pow_binary64_1872
317×	associate-/r/_binary64_3093 distribute-neg-frac_binary64_1406
316×	pow-plus_binary64 *-lft-identity_binary64_2795
314×	associate-+r-_binary64_3081
311×	distribute-lft-neg-out_binary64_37 prod-exp_binary64_468
308×	associate--l+_binary64_15
307×	*-lft-identity_binary64_2454
305×	distribute-frac-neg_binary64_1405
304×	log-pow_binary64_849
303×	cube-prod_binary64_3857 unpow3_binary64_1849
302×	pow-plus_binary64_482 log-div_binary64_2893
300×	difference-of-squares_binary64_3116 swap-sqr_binary64_2773
299×	exp-diff_binary64_808
297×	associate-+l-_binary64_354 cube-div_binary64_1812
296×	associate--l+_binary64_2402
294×	*-rgt-identity_binary64_2796 *-lft-identity_binary64_3136 unpow3_binary64_1508
293×	exp-diff_binary64_2172 swap-sqr_binary64_1750
292×	distribute-lft-out_binary64_1734
288×	associate--r+_binary64_2060
287×	*-rgt-identity_binary64_2114
286×	rem-sqrt-square_binary64 associate-+r-_binary64_353
285×	distribute-lft-out--_binary64
283×	associate--r+_binary64_14
280×	associate--l+_binary64
279×	cube-unmult_binary64
278×	+-commutative_binary64_4441 distribute-rgt-neg-in_binary64_4469 cube-div_binary64_1471
277×	associate-+l-_binary64_2059 associate--l+_binary64_2743
276×	difference-of-squares_binary64_1070 distribute-rgt-neg-out_binary64_3448 *-lft-identity_binary64 cube-div_binary64_2835
275×	cube-prod_binary64_2152
270×	associate-+l-_binary64_1718 prod-exp_binary64_127
269×	neg-mul-1_binary64_4507
268×	*-lft-identity_binary64_2113
267×	*-rgt-identity_binary64_3137
266×	distribute-lft-out--_binary64_3440
265×	associate--r+_binary64_355
264×	*-rgt-identity_binary64_3819
262×	distribute-lft-out_binary64_3439
259×	sub0-neg_binary64 unpow3_binary64_4236
257×	cube-prod_binary64_2493 associate-+l-_binary64_2400
256×	exp-sum_binary64_1147
255×	associate--l+_binary64_4107
254×	associate-/r/_binary64_2752
253×	associate-*l/_binary64_3090
252×	distribute-lft-neg-out_binary64_2765 associate-+l-_binary64_3423 associate-+l-_binary64_1036 associate--r+_binary64_696
250×	distribute-rgt-out--_binary64_714 associate-+r-_binary64_12
248×	log-div_binary64_2552
247×	neg-sub0_binary64_4506 distribute-lft-out_binary64_4462
246×	rem-sqrt-square_binary64_432 associate--r+_binary64_2401 log-div_binary64_1529 distribute-rgt-out--_binary64_3442
244×	pow-plus_binary64_141 associate-+r+_binary64_4443
243×	distribute-rgt-out--_binary64_2078
240×	associate-+r-_binary64_1717 *-rgt-identity_binary64 distribute-lft-out_binary64_1052 associate-+l+_binary64_3421
237×	log-pow_binary64_3236
236×	associate-+l-_binary64_13 associate-+r-_binary64_2058
235×	+-rgt-identity_binary64
234×	associate-+r+_binary64_3420
233×	cancel-sign-sub_binary64 cube-unmult_binary64_456
231×	pow-plus_binary64_3210
229×	distribute-neg-frac_binary64_2429
227×	cube-mult_binary64_4200 distribute-neg-out_binary64_1404
226×	associate--l+_binary64_697
223×	*-lft-identity_binary64_3818 unsub-neg_binary64_2459
220×	exp-sum_binary64_465
218×	exp-diff_binary64_3195
216×	pow-plus_binary64_3551 distribute-rgt-out--_binary64_4465
215×	distribute-rgt-out--_binary64_4124 associate--l+_binary64_2061
213×	cube-mult_binary64_1813 associate--l-_binary64
211×	associate-/l/_binary64_4458 *-lft-identity_binary64_1772
210×	associate--r+_binary64_4106 unpow3_binary64_2531
209×	pow-sqr_binary64_1074 associate-*r/_binary64_3089
208×	distribute-frac-neg_binary64_3792
207×	swap-sqr_binary64_3796 distribute-lft-neg-in_binary64_4468
206×	remove-double-neg_binary64_66 swap-sqr_binary64_2091
205×	cube-mult_binary64_790
204×	difference-of-squares_binary64_1752 remove-double-neg_binary64_407
203×	associate--l-_binary64_16 exp-prod_binary64_4222
202×	cube-div_binary64_2494 associate-+l-_binary64_3764
201×	distribute-lft-out_binary64_2757
197×	pow-sqr_binary64_1756
194×	remove-double-neg_binary64_3476 exp-diff_binary64_3877
193×	*-rgt-identity_binary64_750 cube-mult_binary64_3177
192×	associate-+r-_binary64_694 associate--r-_binary64_1040 div0_binary64_3128
191×	exp-diff_binary64_1831 distribute-lft-neg-out_binary64_4470
190×	distribute-neg-out_binary64_1063 associate--l-_binary64_698 associate--r+_binary64_3424
189×	log-pow_binary64_3577
187×	cube-unmult_binary64_115
186×	exp-prod_binary64_4563
184×	cube-unmult_binary64_1820
183×	pow-plus_binary64_1846 unsub-neg_binary64_2800
180×	sub0-neg_binary64_3134
178×	log-div_binary64_3916
177×	distribute-neg-frac_binary64_42
176×	swap-sqr_binary64_2432
175×	exp-sum_binary64_2852 difference-of-squares_binary64_388
174×	distribute-neg-out_binary64_3791
171×	cube-unmult_binary64_3184
169×	/-rgt-identity_binary64_69
168×	log-pow_binary64_3918
167×	remove-double-neg_binary64_1089 pow-sqr_binary64_3802
166×	distribute-rgt-neg-out_binary64_2766 distribute-neg-out_binary64_3450
165×	unpow3_binary64_2190 *-lft-identity_binary64_749 associate--l-_binary64_1039
164×	*-rgt-identity_binary64_1773
163×	pow-plus_binary64_823 cube-unmult_binary64_797
161×	associate--l+_binary64_3425
159×	distribute-rgt-out--_binary64_32
158×	log-pow_binary64_1531
157×	count-2_binary64_26
153×	exp-sum_binary64_3534 cube-mult_binary64_1472
152×	cube-mult_binary64_1131 difference-of-squares_binary64_2093 cube-unmult_binary64_2161
151×	associate-+r-_binary64_2399 associate-+r-_binary64_3422
150×	associate-/l*_binary64_3433 difference-of-squares_binary64_729 associate--r-_binary64_17
149×	prod-exp_binary64_809
148×	exp-sum_binary64_4216 associate-/l*_binary64_4456
147×	pow-plus_binary64_2869 remove-double-neg_binary64
145×	associate--r-_binary64_2063 log-pow_binary64_2213 distribute-rgt-neg-out_binary64_4471
143×	rem-sqrt-square_binary64_3842
139×	unpow3_binary64_3895 pow-plus_binary64_1505
138×	distribute-lft-out--_binary64_1394
136×	associate--l-_binary64_2062
135×	mul0-rgt_binary64 /-rgt-identity_binary64_410
134×	distribute-rgt-out--_binary64_3783 mul0-lft_binary64
133×	cube-unmult_binary64_2502
132×	distribute-lft-out_binary64_3780 /-rgt-identity_binary64_2456
131×	swap-sqr_binary64_4137 sub0-neg_binary64_1429
130×	*-lft-identity_binary64_4500 distribute-lft-out--_binary64_2076
129×	pow-sqr_binary64_2097 cube-mult_binary64_2495
128×	exp-diff_binary64_467
127×	rem-sqrt-square_binary64_4183 /-rgt-identity_binary64_1774 *-rgt-identity_binary64_4501 distribute-rgt-out--_binary64_2760
125×	*-rgt-identity_binary64_1091
124×	cube-prod_binary64_4539
123×	associate--l-_binary64_3085 pow-sqr_binary64_4484
121×	exp-sum_binary64_2511 distribute-frac-neg_binary64_3110 count-2_binary64_1390
120×	cube-unmult_binary64_1479 cube-div_binary64_1130
119×	log-prod_binary64_4256 distribute-rgt-out--_binary64_1737 remove-double-neg_binary64_3817
118×	pow-plus_binary64_1164 cancel-sign-sub_binary64_1407 +-rgt-identity_binary64_404 remove-double-neg_binary64_1430
117×	exp-to-pow_binary64_140 mul0-lft_binary64_3129
116×	mul0-lft_binary64_3470 distribute-neg-out_binary64_40 mul0-rgt_binary64_3471
115×	sub0-neg_binary64_1088 mul0-rgt_binary64_3130 pow-plus_binary64_2528
114×	rem-sqrt-square_binary64_3160
113×	log-prod_binary64_4597
112×	associate-+l-_binary64_4446 +-rgt-identity_binary64_3132
111×	distribute-neg-in_binary64_4472 associate-+r-_binary64_1035 associate-+r-_binary64_3763
110×	cube-unmult_binary64_1138
109×	distribute-lft-out--_binary64_4463
108×	difference-of-squares_binary64_2434 distribute-rgt-out--_binary64_1055
107×	cube-div_binary64 mul0-lft_binary64_60
106×	exp-to-pow_binary64_822 +-rgt-identity_binary64_2109 rem-sqrt-square_binary64_3501
105×	*-lft-identity_binary64_1090 mul0-lft_binary64_401
104×	rem-sqrt-square_binary64_773 mul0-rgt_binary64_1084
102×	rem-sqrt-square_binary64_1455
101×	distribute-rgt-out--_binary64_373 mul0-lft_binary64_1083 rem-sqrt-square_binary64_4524 log-rec_binary64_166 /-rgt-identity_binary64_751
100×	mul0-rgt_binary64_61
99×	associate--r-_binary64_699
98×	count-2_binary64_708
97×	+-rgt-identity_binary64_1427 mul0-rgt_binary64_402
96×	distribute-lft-neg-out_binary64_2424 log-pow_binary64
95×	associate--l-_binary64_1721 associate--r+_binary64_4447
94×	associate-+l-_binary64_4105 sub0-neg_binary64_3475 +-rgt-identity_binary64_745
93×	pow-plus_binary64_4233 rem-sqrt-square_binary64_1796 distribute-lft-neg-out_binary64_4129
92×	sub0-neg_binary64_2111 pow-plus_binary64_2187 log-div_binary64_1188
91×	pow-sqr_binary64_2438 unpow1/2_binary64
90×	distribute-rgt1-in_binary64_1398 prod-exp_binary64_1832
89×	times-frac_binary64_3494 associate-+r-_binary64_4104 associate-*r/_binary64_4453 associate-/r*_binary64_4455 distribute-rgt1-in_binary64 cube-unmult_binary64_3866
88×	distribute-lft-out--_binary64_4122 sub0-neg_binary64_406 sub0-neg_binary64_747 cube-unmult_binary64_2843
87×	log-rec_binary64_507 associate-+r-_binary64_4445 /-rgt-identity_binary64_1092 associate-*l/_binary64_4454
85×	count-2_binary64_367
84×	distribute-lft-out--_binary64_712 remove-double-div_binary64_395 unpow1/3_binary64_3896
83×	/-rgt-identity_binary64_1433 cancel-sign-sub_binary64_1066 unpow1/2_binary64_483 distribute-neg-out_binary64_381 +-lft-identity_binary64_403
82×	associate--r-_binary64_358 associate--r-_binary64_3768 *-lft-identity_binary64_4159 pow-plus_binary64_3892
81×	distribute-rgt1-in_binary64_34 log-rec_binary64 log-pow_binary64_1190 exp-to-pow_binary64_3891 associate--r-_binary64_3086
80×	exp-diff_binary64_1149 div0_binary64_400 exp-neg_binary64_3194
79×	unpow2_binary64_1848 cube-unmult_binary64_3525 *-rgt-identity_binary64_4160 unpow1/2_binary64_142
77×	distribute-neg-out_binary64_2086 +-rgt-identity_binary64_63
76×	cube-div_binary64_2153
75×	rem-sqrt-square_binary64_2819 mul0-rgt_binary64_743 log-pow_binary64_2895
74×	mul0-lft_binary64_742
72×	associate--l-_binary64_3426 /-rgt-identity_binary64_3820 div0_binary64_59 cancel-sign-sub_binary64_2089
70×	exp-to-pow_binary64_3209 sqr-neg_binary64
69×	count-2_binary64_3095 unpow1/3_binary64_3214 unpow1_binary64_1841
68×	exp-neg_binary64 associate-+r-_binary64_2740
67×	cube-mult_binary64_2154 cube-mult_binary64_3859 remove-double-neg_binary64_748
64×	cancel-sign-sub_binary64_4476 unpow1/2_binary64_3211 distribute-rgt-neg-out_binary64_4130
63×	mul-1-neg_binary64_752 +-rgt-identity_binary64_1768 associate-/r/_binary64_4457
62×	mul0-rgt_binary64_2107 rem-sqrt-square_binary64_2478 mul0-lft_binary64_2106 log-rec_binary64_848
61×	associate--l-_binary64_3767 associate-+l-_binary64_2741 distribute-frac-neg_binary64 cancel-sign-sub_binary64_3112 +-rgt-identity_binary64_4155
60×	associate--r-_binary64_1722 sqr-neg_binary64_3161 distribute-lft1-in_binary64_1397
59×	sub0-neg_binary64_4498 swap-sqr_binary64_4478 div0_binary64_741 count-2_binary64
58×	associate--l-_binary64_357 remove-double-div_binary64_54 unpow2_binary64_2530
57×	cube-neg_binary64_3174 mul-1-neg_binary64_2457 distribute-lft-out--_binary64_30 distribute-rgt1-in_binary64_716 sub0-neg_binary64_3816
56×	unpow2_binary64_484 --rgt-identity_binary64_1428 +-rgt-identity_binary64_3814 unpow2_binary64
55×	+-rgt-identity_binary64_1086 unpow1_binary64_2523 *-rgt-identity_binary64_3478 distribute-rgt-neg-out_binary64_2425 mul-1-neg_binary64_1434
54×	cancel-sign-sub_binary64_3794 distribute-lft-out--_binary64_1735
53×	/-rgt-identity_binary64_2115 distribute-rgt1-in_binary64_1057 log-div_binary64_4598 distribute-rgt1-in_binary64_2080
52×	--rgt-identity_binary64 --rgt-identity_binary64_1087 distribute-rgt-out--_binary64_2419
51×	remove-double-neg_binary64_2112
50×	count-2_binary64_1049 +-rgt-identity_binary64_2450 rem-sqrt-square_binary64_1114
49×	/-rgt-identity_binary64_2797 distribute-rgt1-in_binary64_375 rem-exp-log_binary64_2164 rem-exp-log_binary64_1823 sub0-neg_binary64_4157
48×	prod-exp_binary64_3196 mul0-rgt_binary64_1425 cube-div_binary64_3858 cancel-sign-sub_binary64_43 unpow2_binary64_1166 +-lft-identity_binary64 unpow2_binary64_3212
47×	exp-lft-cube_binary64_3203 unpow2_binary64_143
46×	difference-of-squares_binary64_47 log-pow_binary64_2554 +-rgt-identity_binary64_4496 *-lft-identity_binary64_3477 unpow1_binary64_477 mul0-lft_binary64_1424 exp-neg_binary64_3876 cube-unmult_binary64_4207
45×	sub0-neg_binary64_1770 sub0-neg_binary64_65 unpow1/2_binary64_1506 distribute-rgt1-in_binary64_3103
44×	distribute-neg-out_binary64_4473 unpow1_binary64 distribute-rgt1-in_binary64_3785 unpow1/2_binary64_1847 mul-1-neg_binary64_70
43×	rem-sqrt-square_binary64_2137 --rgt-identity_binary64_3133
42×	unpow3_binary64_4577 unpow1/2_binary64_3893 associate--r-_binary64_3427 unpow1_binary64_136
41×	distribute-lft-out--_binary64_2758 --rgt-identity_binary64_746 sqr-neg_binary64_1456 /-rgt-identity_binary64
40×	distribute-rgt1-in_binary64_2762 remove-double-div_binary64_1759 rem-cbrt-cube_binary64_1125
39×	count-2_binary64_3436 cube-unmult_binary64_4548 mul-1-neg_binary64_411
38×	+-inverses_binary64 mul-1-neg_binary64_3139 mul-1-neg_binary64 unpow1/3_binary64_4237 count-2_binary64_4459
37×	associate-/r/_binary64_3434 exp-sum_binary64_4557 +-lft-identity_binary64_3813
36×	unpow1_binary64_3205 div0_binary64_3810 difference-of-squares_binary64_1411
35×	associate-*r/_binary64_3430 rec-exp_binary64_128 --rgt-identity_binary64_405
34×	log-rec_binary64_3917 unpow1/2_binary64_824 log-rec_binary64_2553 +-lft-identity_binary64_1085 distribute-rgt1-in_binary64_1739 unpow1/2_binary64_4234 pow-plus_binary64_4574 unpow1/2_binary64_2870 exp-sqrt_binary64_472
33×	cube-neg_binary64_1469 unpow1_binary64_1159 mul-1-neg_binary64_1093 distribute-frac-neg_binary64_2428 sqr-neg_binary64_433
32×	unpow1/2_binary64_3552 unpow1/2_binary64_1165 count-2_binary64_1731 unpow2_binary64_3553
31×	distribute-lft1-in_binary64_715 unpow2_binary64_2871 associate-/l/_binary64_3435 cube-neg_binary64_105 +-rgt-identity_binary64_3473 difference-of-squares_binary64_3798 rem-square-sqrt_binary64_2818 cube-div_binary64_4540 distribute-lft1-in_binary64_33 count-2_binary64_2072
30×	log-rec_binary64_2894 cos-neg_binary64 exp-neg_binary64_3535 sub0-neg_binary64_2452
29×	prod-exp_binary64_3878 log-pow_binary64_4259 distribute-neg-out_binary64_1745 distribute-lft-out--_binary64_1053 cube-neg_binary64_446 /-rgt-identity_binary64_3138 cube-div_binary64_3176
28×	prod-exp_binary64_2173 associate--l+_binary64_4448 log-div_binary64_3234 unpow2_binary64_825 unpow1/3_binary64_2191
27×	rem-exp-log_binary64_3869 rem-square-sqrt_binary64_2477 div0_binary64_1423 unpow1_binary64_818 --rgt-identity_binary64_3815
26×	rem-cbrt-cube_binary64_784 unpow1/2_binary64_2188 exp-lft-cube_binary64_3544 log-rec_binary64_1530 exp-neg_binary64_125 unpow1/2_binary64_2529
25×	associate-/r*_binary64_4114 distribute-lft1-in_binary64_2079 mul-1-neg_binary64_3821 +-lft-identity_binary64_744 sqr-neg_binary64_774
24×	associate-/r*_binary64_3432 cube-neg_binary64_787 exp-diff_binary64_2513 distribute-lft-out--_binary64_3781 div-sub_binary64_4516 mul0-rgt_binary64_2448 remove-double-div_binary64_736 exp-diff_binary64_3536 mul-1-neg_binary64_2116 cancel-sign-sub_binary64_725
23×	log-rec_binary64_1871 unpow1_binary64_2864 rem-log-exp_binary64_119 distribute-rgt1-in_binary64_2421 mul0-lft_binary64_2447 cube-neg_binary64 associate--l-_binary64_2403 exp-to-pow_binary64_1504 unpow2_binary64_1507 exp-to-pow_binary64_2186 log-rec_binary64_2212
22×	exp-diff_binary64_2854 sin-neg_binary64 sqr-neg_binary64_2138 exp-to-pow_binary64 distribute-neg-out_binary64_722 exp-neg_binary64_466 mul0-lft_binary64_1765 mul0-rgt_binary64_1766 unpow2_binary64_3894
21×	exp-lft-sqr_binary64_474 exp-lft-sqr_binary64_3202 distribute-lft1-in_binary64_374 distribute-rgt1-in_binary64_3444 unpow2_binary64_2189 prod-exp_binary64_1491 1-exp_binary64_1827 remove-double-neg_binary64_4499 cube-mult_binary64_4541
20×	unpow1_binary64_2182 exp-lft-sqr_binary64 unpow1_binary64_3546 distribute-lft1-in_binary64_3102 exp-sqrt_binary64_131 cube-neg_binary64_2151 rem-square-sqrt_binary64
19×	1-exp_binary64_463 1-exp_binary64 prod-exp_binary64_2855 rec-exp_binary64_469 unpow2_binary64_4235 distribute-neg-out_binary64_2427
18×	mul0-lft_binary64_4493 distribute-frac-neg_binary64_1746 unpow1_binary64_3887 rem-log-exp_binary64_2847 remove-double-div_binary64_1077 mul0-rgt_binary64_3812 remove-double-neg_binary64_1771 exp-diff_binary64_4559 exp-lft-sqr_binary64_3884 difference-of-squares_binary64_4139 distribute-lft-out--_binary64_371 +-rgt-identity_binary64_2791 rem-log-exp_binary64_801 rem-cbrt-cube_binary64_2489 distribute-rgt1-in_binary64_4467
17×	exp-to-pow_binary64_1845 rem-exp-log_binary64_800 --rgt-identity_binary64_1769 count-2_binary64_3777 exp-neg_binary64_2171 sqr-neg_binary64_1115 +-lft-identity_binary64_3131 cube-div_binary64_3517 --rgt-identity_binary64_64 distribute-neg-frac_binary64_3452 *-inverses_binary64_58 log-div_binary64_3575 count-2_binary64_2413 --rgt-identity_binary64_2110 mul0-rgt_binary64_4494
16×	distribute-lft1-in_binary64_1738 +-lft-identity_binary64_1426 unpow1_binary64_4228 1-exp_binary64_1486 cube-neg_binary64_1128 distribute-lft1-in_binary64_3784 1-exp_binary64_2509
15×	distribute-lft1-in_binary64_3443 unpow1_binary64_1500 unpow1/2_binary64_4575 sqr-neg_binary64_92 mul0-lft_binary64_3811 exp-lft-sqr_binary64_133 rem-square-sqrt_binary64_1795 sub0-neg_binary64_2793
14×	+-lft-identity_binary64_4495 difference-of-sqr--1_binary64_390 div0_binary64_1082 div-exp_binary64_1834 1-exp_binary64_804 unpow-1_binary64_135 1-exp_binary64_2168 prod-exp_binary64 associate--r-_binary64_2404 log-div_binary64_4257 1-exp_binary64_3191 rem-square-sqrt_binary64_431 +-lft-identity_binary64_62 rem-square-sqrt_binary64_1113
13×	1-exp_binary64_122 remove-double-div_binary64_3123 rem-square-sqrt_binary64_2136 rem-exp-log_binary64_3187 1-exp_binary64_2850 exp-diff_binary64_4218 count-2_binary64_2754 cancel-sign-sub_binary64_384 exp-1-e_binary64_3190 mul-1-neg_binary64_1775 1-exp_binary64_1145
12×	rem-3cbrt-lft_binary64_3854 distribute-lft1-in_binary64 lft-mult-inverse_binary64_56 remove-double-div_binary64_3805 difference-of-squares_binary64_4480 exp-1-e_binary64 unpow2_binary64_4576
11×	exp-1-e_binary64_462 log-rec_binary64_1189 +-lft-identity_binary64_3472 rem-3cbrt-lft_binary64_3172 difference-of-sqr--1_binary64_49 prod-exp_binary64_4219 div-exp_binary64_1493 exp-neg_binary64_807 unpow-1_binary64_3886
10×	exp-1-e_binary64_1485 associate--r-_binary64_4450 log-pow_binary64_4600 cancel-sign-sub_binary64_3453 pow-base-1_binary64_138 rem-3cbrt-lft_binary64_1808 1-exp_binary64_3873 unpow1/3_binary64_1850 div-exp_binary64_2175 exp-cbrt_binary64_1496 prod-exp_binary64_2514 distribute-rgt1-in_binary64_4126 exp-sqrt_binary64 exp-neg_binary64_1148
9×	exp-neg_binary64_2853 div-sub_binary64_4175 exp-1-e_binary64_121 rem-log-exp_binary64_2165 exp-lft-sqr_binary64_815 distribute-frac-neg_binary64_2769 rem-square-sqrt_binary64_3159 sqr-neg_binary64_3502 --rgt-identity_binary64_3474 div-exp_binary64_3880 rem-square-sqrt_binary64_772 sqr-neg_binary64_3843 rem-log-exp_binary64_1483
8×	remove-double-div_binary64_1418 associate--l-_binary64_4108 unpow-1_binary64_3545 rec-exp_binary64_1833 associate-*l/_binary64_3431 unpow1/3_binary64_145 +-inverses_binary64_398 rem-exp-log_binary64_1482 div0_binary64 exp-sqrt_binary64_3200 sqr-abs_binary64_2480 rem-cube-cbrt_binary64_3852 rem-square-sqrt_binary64_1454 rem-exp-log_binary64_118 distribute-neg-frac_binary64_4475 rem-3cbrt-rft_binary64_1809 exp-1-e_binary64_2508 rem-square-sqrt_binary64_4523 rec-exp_binary64_3197
7×	/-rgt-identity_binary64_4502 prod-exp_binary64_1150 prod-exp_binary64_3537 exp-1-e_binary64_2849 associate--r-_binary64_4109 rem-square-sqrt_binary64_3500 rem-3cbrt-lft_binary64_444 unpow1/3_binary64_1509 difference-of-sqr--1_binary64_2436 exp-sqrt_binary64_813 exp-1-e_binary64_803 *-inverses_binary64_1081 +-inverses_binary64_57 exp-1-e_binary64_3872 cube-neg_binary64_4538 div-exp_binary64_1152 unpow1/3_binary64_827 exp-1-e_binary64_2167
6×	associate-/l*_binary64_4115 rem-3cbrt-lft_binary64_1126 exp-1-e_binary64_1826 distribute-frac-neg_binary64_2087 1-exp_binary64_3532 distribute-lft1-in_binary64_2420 distribute-lft-out--_binary64_2417 +-inverses_binary64_739 rem-3cbrt-lft_binary64_2149 div0_binary64_2446 exp-neg_binary64_1830 exp-lft-sqr_binary64_1156 div-exp_binary64_3198 rem-3cbrt-lft_binary64_103 distribute-neg-out_binary64_4132
5×	rem-cbrt-cube_binary64_3171 sqr-neg_binary64_2479 *-inverses_binary64_399 rem-square-sqrt_binary64_3841 rem-cbrt-cube_binary64_1466 +-lft-identity_binary64_1767 rem-cbrt-cube_binary64_3512 remove-double-div_binary64_2441 rem-3cbrt-lft_binary64_1467 exp-to-pow_binary64_4232 unpow1/3_binary64_486 rem-3cbrt-lft_binary64_4195 mul-1-neg_binary64_3480 1-exp_binary64_4214 +-inverses_binary64_2444 cube-neg_binary64_3856 rem-3cbrt-lft_binary64_2490 difference-of-sqr-1_binary64_2435 distribute-lft1-in_binary64_1056 unpow1_binary64_4569 log-rec_binary64_3235 log-rec_binary64_4599 difference-of-sqr-1_binary64_48 div0_binary64_1764 exp-sqrt_binary64_1495
4×	rem-3cbrt-lft_binary64_785 rem-cube-cbrt_binary64_1124 rem-exp-log_binary64 rem-cbrt-cube_binary64 unpow-1_binary64_476 div-exp_binary64_811 log-rec_binary64_4258 exp-neg_binary64_1489 exp-1-e_binary64_1144 cube-neg_binary64_3515 difference-of-squares_binary64_2775 difference-of-sqr--1_binary64_1754 sqr-abs_binary64_2821 rem-log-exp_binary64_1824 distribute-lft1-in_binary64_4125 exp-1-e_binary64_4213 difference-of-sqr--1_binary64_1072 exp-lft-sqr_binary64_2179 distribute-lft1-in_binary64_2761 rem-cbrt-cube_binary64_102 difference-of-sqr-1_binary64_3799 *-inverses_binary64_740 div-exp_binary64_2857 count-2_binary64_4118 --rgt-identity_binary64_4497 unpow1/3_binary64_2532 rec-exp_binary64_3879 sqr-abs_binary64_2139 rem-cbrt-cube_binary64_443 rem-3cbrt-rft_binary64_3173 rem-square-sqrt_binary64_90 exp-sqrt_binary64_1154 difference-of-sqr-1_binary64_1753
3×	rec-exp_binary64_1492 difference-of-sqr-1_binary64_1412 div-exp_binary64 distribute-neg-out_binary64_2768 exp-lft-sqr_binary64_1497 rem-cbrt-cube_binary64_2148 mul0-lft_binary64_2788 pow-base-1_binary64_479 div-exp_binary64_2516 exp-to-pow_binary64_481 exp-sqrt_binary64_4564 rem-exp-log_binary64_4210 rem-cube-cbrt_binary64_783 rem-log-exp_binary64_460 rem-3cbrt-rft_binary64_1127 lft-mult-inverse_binary64_397 +-inverses_binary64_3808 rem-3cbrt-rft_binary64_3855 unpow1/3_binary64_3555 rem-cube-cbrt_binary64_2147 lft-mult-inverse_binary64_3807 rem-cube-cbrt_binary64_2488 +-inverses_binary64_3467 div-exp_binary64_3539 rem-cube-cbrt_binary64_3511 exp-1-e_binary64_3531 mul0-rgt_binary64_2789 1-exp_binary64_4555 remove-double-neg_binary64_2453 log-E_binary64_168 associate--l-_binary64_4449
2×	+-inverses_binary64_1421 unpow-1_binary64_1499 rem-3cbrt-rft_binary64_2832 difference-of-sqr-1_binary64_1071 rem-3cbrt-lft_binary64_3513 +-inverses_binary64_4149 *-inverses_binary64_2445 unpow-1_binary64 log-E_binary64_850 rem-exp-log_binary64_459 associate-/l/_binary64_4117 rec-exp_binary64 exp-lft-sqr_binary64_4566 exp-sqrt_binary64_3541 rem-cbrt-cube_binary64_1807 rem-3cbrt-lft_binary64_2831 prod-exp_binary64_4560 +-inverses_binary64_4490 +-lft-identity_binary64_4154 rem-square-sqrt_binary64_4182 exp-neg_binary64_4558 rem-3cbrt-lft_binary64 cancel-sign-sub_binary64_1748 sqr-neg_binary64_4184 exp-lft-sqr_binary64_1838 remove-double-neg_binary64_4158 rgt-mult-inverse_binary64_396 *-inverses_binary64_1422 div0_binary64_2787 rem-cbrt-cube_binary64_3853 *-inverses_binary64_3809 rem-3cbrt-rft_binary64_4196 --rgt-identity_binary64_2451 exp-neg_binary64_4217 exp-1-e_binary64_4554 lft-mult-inverse_binary64_3125 exp-lft-cube_binary64_1498 rec-exp_binary64_2174 sqr-neg_binary64_4525 associate--l-_binary64_2744 +-lft-identity_binary64_2790 rem-cube-cbrt_binary64_3170
1×	rem-3cbrt-rft_binary64_3514 difference-of-sqr--1_binary64_3800 exp-lft-sqr_binary64_3543 rem-3cbrt-rft_binary64_2150 *-inverses_binary64 sqr-neg_binary64_1797 --rgt-identity_binary64_2792 sin-neg_binary64_890 sqr-abs_binary64_3844 exp-lft-sqr_binary64_2520 remove-double-div_binary64_2782 log-E_binary64_1532 associate-*r/_binary64_4112 +-lft-identity_binary64_2108 rem-cube-cbrt_binary64 div0_binary64_2105 rem-cube-cbrt_binary64_1465 remove-double-neg_binary64_2794 rem-cube-cbrt_binary64_2829 rem-3cbrt-rft_binary64_104 exp-lft-cube_binary64_816 log-E_binary64 rgt-mult-inverse_binary64_1419 exp-lft-cube_binary64_3885 rem-cube-cbrt_binary64_442 lft-mult-inverse_binary64_2784 lft-mult-inverse_binary64_1420 log-E_binary64_4260 sqr-abs_binary64_775 rgt-mult-inverse_binary64_3806 rec-exp_binary64_4220 exp-0_binary64_120 +-inverses_binary64_1080 rem-3cbrt-rft_binary64_4537 associate--r-_binary64_2745 exp-0_binary64_3189 rem-3cbrt-rft_binary64_445 rem-log-exp_binary64_3870 rem-exp-log_binary64_2846 rem-cube-cbrt_binary64_101 unpow-1_binary64_2863 log-E_binary64_3919 rem-cbrt-cube_binary64_4535 unpow-1_binary64_817 log-E_binary64_3237 rgt-mult-inverse_binary64_2783 distribute-lft1-in_binary64_4466 rec-exp_binary64_810 cube-neg_binary64_2492 rem-cbrt-cube_binary64_2830 rem-3cbrt-lft_binary64_4536
0×	gte-same_binary64_2031 hang-m-tan_binary64_204 pow-base-1_binary64_1843 cos-PI/3_binary64 sin-0_binary64_1569 tan-+PI_binary64_538 tanh-def-a_binary64_2993 sin-0_binary64_2933 hang-p-tan_binary64_2931 rec-exp_binary64_3538 difference-of-sqr--1_binary64_2095 sin-+PI/2_binary64_2572 sin-+PI/2_binary64_2231 if-if-and-not_binary64_2725 cos-PI/6_binary64_3937 not-gt_binary64_2033 unpow1/3_binary64_2873 pow-base-0_binary64_2208 sin-+PI/2_binary64_185 not-lte_binary64_2716 lte-same_binary64_325 gt-same_binary64_324 if-true_binary64_3059 rem-3cbrt-rft_binary64_1468 hang-p-tan_binary64 cos-0_binary64_2593 sin-PI/6_binary64_1202 cos-sin-sum_binary64_3923 hang-p0-tan_binary64 if-false_binary64_3060 unpow0_binary64_3206 not-lte_binary64_670 hang-p-tan_binary64_3272 not-lt_binary64_4419 cos-+PI_binary64 tanh-def-a_binary64_3675 sin-PI/2_binary64_1546 if-not_binary64_334 gt-same_binary64_3052 unpow0_binary64 sin-PI/4_binary64_1203 cos-0_binary64_4639 rem-cube-cbrt_binary64_1806 distribute-frac-neg_binary64_3451 cos-PI_binary64_3941 exp-cbrt_binary64 if-true_binary64_4082 lte-same_binary64_2030 tanh-def-c_binary64_1290 hang-m-tan_binary64_3614 hang-m-tan_binary64_4296 e-exp-1_binary64_464 sin-PI/3_binary64_522 sinh---cosh_binary64_3680 difference-of-sqr--1_binary64_2777 rec-exp_binary64_2856 gt-same_binary64_2370 cosh-def_binary64_2651 1-sub-sin_binary64_1538 pow-base-0_binary64_2549 cos-0_binary64_4298 cos-+PI/2_binary64_2920 hang-p0-tan_binary64_2929 1-sub-cos_binary64_3583 sinh-+-cosh_binary64_4020 sin-+PI/2_binary64_4277 tan-0_binary64_3617 exp-sqrt_binary64_4223 cos-PI_binary64_4623 cos-sin-sum_binary64_3582 rem-exp-log_binary64_1141 if-if-or_binary64_2040 tan-neg_binary64 -1-add-cos_binary64_2562 cos-neg_binary64_4301 if-if-or-not_binary64_4769 cos-neg_binary64_1914 not-false rem-log-exp_binary64_4211 tan-PI/6_binary64_3262 if-not_binary64_1016 erfc-erf_binary64_4774 cos-sin-sum_binary64_1195 sinh---cosh_binary64_1634 cos-PI/2_binary64_2576 sin-PI/4_binary64_2567 rem-exp-log_binary64_2505 sin-PI/2_binary64_3251 if-same_binary64_1015 tan-PI/6_binary64_2580 unpow-1_binary64_4227 log-E_binary64_1873 sin-+PI/2_binary64_3595 mul-1-neg_binary64_2798 cos-+PI_binary64_532 not-gte_binary64_2035 tan-PI_binary64_2242 sub-1-sin_binary64_1883 not-lte_binary64_1693 hang-p-tan_binary64_2590 if-same_binary64_2038 rgt-mult-inverse_binary64_2101 lt-same_binary64_4415 sinh---cosh_binary64_2657 exp-to-pow_binary64_2527 lte-same_binary64_2712 sinh-def_binary64_2650 sinh-+-cosh_binary64_2997 cos-PI/4_binary64_3597 exp-to-pow_binary64_2868 hang-m0-tan_binary64_4635 tanh-def-a_binary64_2652 if-false_binary64_332 tan-PI/4_binary64_3945 sub-1-cos_binary64_2905 sin-0_binary64_4297 if-if-or_binary64_2722 tan-neg_binary64_3279 tan-PI/3_binary64_3946 tan-PI/4_binary64_2240 tanh-def-c_binary64_267 hang-0p-tan_binary64_881 tan-0_binary64_548 not-lt_binary64_2032 if-if-and-not_binary64_679 hang-m-tan_binary64_1227 tanh-def-a_binary64_2311 sin-PI/3_binary64_3250 if-if-and-not_binary64_3066 hang-m-tan_binary64_886 sin-PI/3_binary64_2227 sin-PI/2_binary64 difference-of-sqr--1_binary64_731 sin-0_binary64_546 cos-sin-sum_binary64_2900 sin-PI/6_binary64_3930 if-same_binary64_333 *-inverses_binary64_4491 cos-+PI/2_binary64_3261 cos-PI/3_binary64_3939 -1-add-sin_binary64_2904 sin-+PI_binary64_3253 -1-add-cos_binary64_1880 not-gt_binary64_669 tan-PI/3_binary64_1559 tan-PI/6_binary64_4285 not-gt_binary64_1010 cos-PI/4_binary64_1551 hang-p0-tan_binary64_883 tanh-def-b_binary64_3335 if-if-and_binary64 hang-p0-tan_binary64_4634 tan-PI/6_binary64_2239 tan-neg_binary64_3961 exp-to-pow_binary64_4573 sinh-cosh_binary64_4360 lt-same_binary64_2028 associate-*l/_binary64_4113 sin-+PI/2_binary64 and-false-l hang-0p-tan_binary64_4291 tan-+PI/2_binary64_1221 exp-lft-sqr_binary64_2861 hang-m0-tan_binary64_1225 tan-+PI/2_binary64_880 tan-neg_binary64_1574 tan-neg_binary64_892 if-if-and-not_binary64 not-gte_binary64_330 sin-+PI_binary64 gte-same_binary64 cos-neg_binary64_209 difference-of-sqr-1_binary64_4140 erf-odd_binary64_3408 cos-PI/4_binary64_528 not-lte_binary64_1011 cos-neg_binary64_3278 tan-PI_binary64_878 gte-same_binary64_3736 cos-sin-sum_binary64_2218 sin-+PI/2_binary64_867 -1-add-cos_binary64_4267 tan-PI_binary64 *-inverses_binary64_4150 sinh-+-cosh_binary64_951 sub-1-cos_binary64_3928 tanh-def-b_binary64_948 exp-lft-cube_binary64_1157 cos-PI/2_binary64_1212 if-same_binary64_3402 exp-0_binary64_802 not-gt_binary64_4761 cos-PI/4_binary64_4620 hang-p-tan_binary64_885 if-true_binary64_3400 sinh---cosh_binary64_611 times-frac_binary64_4176 tan-PI_binary64_4288 cos-neg_binary64_1232 if-if-or-not_binary64_2041 sub-1-cos_binary64_3587 gt-same_binary64_1688 difference-of-sqr-1_binary64_730 cosh-def_binary64_3674 hang-0m-tan_binary64_1564 sin-0_binary64_887 tan-PI/6_binary64_3944 tan-+PI_binary64_2584 cos-PI/4_binary64_3256 tanh-def-b_binary64_607 erf-odd_binary64_4431 rem-log-exp_binary64_1142 hang-0m-tan_binary64_541 tan-PI_binary64_4629 sqr-abs_binary64_93 hang-m-tan_binary64_2932 tanh-def-c_binary64_1972 hang-m-tan_binary64 pow-base-0_binary64_162 tan-PI/6_binary64_1898 difference-of-sqr--1_binary64_4482 sin-PI/6_binary64_179 e-exp-1_binary64_2510 exp-cbrt_binary64_3201 lt-same_binary64_3733 if-false_binary64_2037 cos-PI_binary64_4282 cos-sin-sum_binary64_2559 1-sub-sin_binary64_515 mul0-rgt_binary64_4153 sinh-def_binary64_4696 cos-PI/6_binary64_1209 difference-of-sqr--1_binary64_3459 sinh-def_binary64_945 if-not_binary64 if-same_binary64_674 pow-base-0_binary64_3913 1-sub-sin_binary64_1879 not-gte_binary64_1353 if-if-and_binary64_1019 cos-PI/4_binary64_2915 cos-+PI_binary64_1214 -1-add-sin_binary64_3245 tan-PI/6_binary64 sin-PI/2_binary64_2910 if-if-or-not_binary64_1359 hang-p0-tan_binary64_542 sin-PI/2_binary64_4615 difference-of-sqr-1_binary64 if-same_binary64_4425 erfc-erf_binary64_341 exp-to-pow_binary64_3550 lft-mult-inverse_binary64_1761 log-E_binary64_4601 not-lt_binary64_1009 if-not_binary64_1357 cos-PI/3_binary64_1552 tan-PI/6_binary64_875 tan-0_binary64_4640 sin-neg_binary64_1231 if-true_binary64_4764 sin-PI/6_binary64_4271 tan-0_binary64_2935 tanh-def-c_binary64 sinh-def_binary64_2991 if-true_binary64_3741 if-same_binary64_3061 sin-PI/2_binary64_4274 and-true-l remove-double-div_binary64_4487 lt-same_binary64_664 erfc-erf_binary64_1023 cos-PI_binary64_872 sinh-cosh_binary64_3337 sin-0_binary64_2592 sin-PI/6_binary64_1884 sqr-abs_binary64_1798 sub-1-sin_binary64_4611 cos-0_binary64_206 tan-PI/4_binary64_4286 not-gte_binary64_1694 cos-neg_binary64_2937 not-lte_binary64_3739 tan-PI/3_binary64_2923 rgt-mult-inverse_binary64_3465 erfc-erf_binary64_2046 pow-base-0_binary64_2890 tanh-def-c_binary64_2313 cos-+PI/2_binary64_1215 tan-PI/4_binary64_1217 exp-0_binary64_2848 exp-lft-cube_binary64_4567 sqr-abs_binary64_4185 e-exp-1_binary64_123 sinh-cosh_binary64_268 unpow0_binary64_3888 hang-m-tan_binary64_4637 e-exp-1_binary64_1146 sub-1-sin_binary64_860 tan-neg_binary64_3620 sin-+PI_binary64_1207 sin-+PI_binary64_4276 if-if-and_binary64_3065 if-not_binary64_3062 sinh---cosh_binary64_4362 tanh-def-c_binary64_2654 erf-odd_binary64_3067 hang-m-tan_binary64_2250 not-lte_binary64_2034 hang-0p-tan_binary64_1222 sin-PI_binary64_1206 cube-div_binary64_4199 -1-add-cos_binary64_175 or-same log-E_binary64_2896 tan-+PI_binary64_1561 pow-base-1_binary64_2184 sub-1-cos_binary64_3246 sin-PI/3_binary64 log-E_binary64_2214 pow-base-1_binary64_3207 if-if-or_binary64_676 cos-PI/3_binary64_2575 1-sub-sin_binary64_856 hang-0m-tan_binary64_2587 cos-0_binary64_1229 not-lt_binary64_1350 exp-to-pow_binary64_1163 sin-PI/4_binary64_3249 tan-PI_binary64_1901 if-true_binary64 cos-PI_binary64_531 lte-same_binary64_3394 hang-m-tan_binary64_545 sinh-cosh_binary64_4019 erfc-erf_binary64_4092 cos-PI/4_binary64_2574 cos-PI_binary64_1554 exp-cbrt_binary64_473 erf-erfc_binary64_1363 difference-of-sqr-1_binary64_4481 tan-+PI_binary64_3948 sinh-cosh_binary64_2655 pow-base-1_binary64 sinh-+-cosh_binary64_3679 not-gte_binary64_4763 sin-PI/4_binary64_862 if-if-or_binary64_335 sub-1-cos_binary64_1541 sin-PI/6_binary64_2225 e-exp-1_binary64 erf-erfc_binary64_4432 cos-PI/3_binary64_2916 pow-base-1_binary64_4230 if-if-and-not_binary64_2043 pow-base-0_binary64_3572 cos-+PI_binary64_1555 rgt-mult-inverse_binary64 if-if-or-not_binary64_3405 exp-sqrt_binary64_3882 exp-0_binary64_4212 sinh---cosh_binary64 log-E_binary64_3578 cos-0_binary64_2934 gte-same_binary64_1349 erfc-erf_binary64_3751 if-not_binary64_2380 sin-PI/3_binary64_2568 tan-PI/3_binary64_2241 sin-PI/6_binary64_3248 hang-m0-tan_binary64_3271 sinh-def_binary64_1627 1-sub-cos_binary64_2901 associate-/r/_binary64_4116 and-same not-gte_binary64_1012 difference-of-sqr-1_binary64_3458 -1-add-cos_binary64_3926 sin-PI_binary64_3934 tan-+PI/2_binary64_1903 cos-PI/6_binary64_4278 tan-+PI/2_binary64_2585 tan-0_binary64_207 exp-cbrt_binary64_3883 lte-same_binary64_1007 lft-mult-inverse_binary64_738 tanh-def-b_binary64_2653 cosh-def_binary64_2992 lft-mult-inverse_binary64_1079 cos-sin-sum_binary64_854 mul-1-neg_binary64_4503 hang-0p-tan_binary64_1563 exp-cbrt_binary64_4224 cosh-def_binary64_4356 +-inverses_binary64_2785 cos-+PI_binary64_4624 hang-0m-tan_binary64_1223 cosh-def_binary64_605 cos-PI/2_binary64_3940 -1-add-cos_binary64_4608 if-if-or_binary64_2381 sub-1-cos_binary64_1882 tan-PI/3_binary64_3264 cos-PI_binary64_2577 tan-+PI_binary64_2243 erfc-erf_binary64_3410 tanh-def-c_binary64_3336 not-or cosh-def_binary64_1628 if-if-or_binary64_3404 gt-same_binary64_2711 erfc-erf_binary64_1364 div-exp_binary64_4221 tan-PI_binary64_3606 cos-+PI_binary64_3601 div-sub_binary64_3493 if-if-or-not_binary64_336 sin-PI/6_binary64_3589 cos-PI_binary64_3259 +-lft-identity_binary64_2449 rem-exp-log_binary64_4551 hang-m0-tan_binary64_2589 if-if-or_binary64_4427 cosh-def_binary64_1969 if-if-or-not_binary64_4087 if-same_binary64_3743 cos-0_binary64_3957 hang-p0-tan_binary64_2247 if-if-and-not_binary64_3407 exp-lft-sqr_binary64_4225 tanh-def-b_binary64 not-gt_binary64_1351 -1-add-cos_binary64 hang-0m-tan_binary64_1905 tanh-def-c_binary64_4018 -1-add-sin_binary64_4268 pow-base-0_binary64_503 exp-lft-cube_binary64_2521 cos-+PI_binary64_2919 sinh-+-cosh_binary64_1292 if-not_binary64_3403 cos-+PI_binary64_1896 div0_binary64_4151 sin-+PI_binary64_3594 -1-add-sin_binary64_1881 if-false_binary64_1696 tan-+PI_binary64_3266 sinh-+-cosh_binary64_610 rgt-mult-inverse_binary64_1078 sin-PI/2_binary64_3592 not-gt_binary64_2374 not-and if-false_binary64_4765 unpow0_binary64_819 -1-add-cos_binary64_1539 hang-0m-tan_binary64_3610 tan-+PI_binary64_3607 pow-base-1_binary64_3548 -1-add-sin_binary64_3586 gt-same_binary64_1006 1-sub-cos_binary64_855 cos-sin-sum_binary64_1877 cancel-sign-sub_binary64_2771 sin-PI/6_binary64_1543 exp-0_binary64_461 1-sub-cos_binary64_2560 hang-p-tan_binary64_2249 sinh-def_binary64_604 sin-PI/2_binary64_2569 lt-same_binary64_2369 tan-+PI_binary64_1902 hang-0p-tan_binary64_540 tanh-def-b_binary64_4017 lt-same_binary64_4756 1-sub-sin_binary64_2561 not-gte_binary64_3399 tan-+PI/2_binary64_2926 gte-same_binary64_3054 tanh-def-b_binary64_4358 sin-PI/6_binary64 hang-0p-tan_binary64_2586 hang-0p-tan_binary64_3950 tan-0_binary64_1230 -1-add-sin_binary64_1540 erf-odd_binary64_2385 -1-add-cos_binary64_1198 *-inverses_binary64_2104 cos-PI/4_binary64_1892 cos-+PI_binary64_2578 cos-+PI/2_binary64_874 cos-PI/6_binary64_3596 sin-PI/4_binary64_2226 tan-+PI/2_binary64 if-if-or_binary64_1699 cos-PI/2_binary64_871 -1-add-cos_binary64_3585 hang-m-tan_binary64_2591 e-exp-1_binary64_3533 lft-mult-inverse_binary64 cosh-def_binary64_946 exp-sqrt_binary64_2177 unpow1/3_binary64 sub-1-sin_binary64_519 exp-0_binary64_2507 sin-PI/4_binary64_521 sinh---cosh_binary64_2316 unpow-1_binary64_2181 sub-1-cos_binary64_859 -1-add-sin_binary64_3927 sin-PI/2_binary64_1887 tan-PI/4_binary64_1899 rem-log-exp_binary64_3188 tan-PI/4_binary64_194 sub-1-sin_binary64_3929 sin-+PI_binary64_2230 tan-+PI_binary64_197 cos-+PI_binary64_191 if-true_binary64_672 exp-0_binary64_1143 tan-neg_binary64_4643 sub-1-cos_binary64_177 and-false-r if-if-and_binary64_4770 unpow1/3_binary64_4578 if-false_binary64_1014 pow-base-0_binary64_4254 lte-same_binary64_3735 hang-0p-tan_binary64_199 hang-p0-tan_binary64_4293 sqr-abs_binary64 tan-PI/3_binary64_4287 1-sub-sin_binary64 sinh---cosh_binary64_952 sinh---cosh_binary64_4021 not-not sin-PI/3_binary64_4273 cos-PI/4_binary64_3938 sin-PI/4_binary64_4613 not-lt_binary64_4760 tan-neg_binary64_210 tan-PI/3_binary64_1218 tan-+PI_binary64_4289 exp-0_binary64_1825 hang-m0-tan_binary64_2930 erf-erfc_binary64_1704 exp-lft-cube_binary64_475 tan-PI_binary64_1219 hang-p-tan_binary64_4636 lft-mult-inverse_binary64_4148 exp-lft-cube_binary64 if-not_binary64_675 if-if-or-not_binary64_1700 if-true_binary64_2377 sin-neg_binary64_2936 not-lt_binary64_3396 remove-double-div_binary64_4146 tanh-def-a_binary64_4357 tan-PI/6_binary64_193 sin-PI_binary64_2570 sin-+PI/2_binary64_526 *-inverses_binary64_3468 difference-of-sqr--1_binary64 tanh-def-a_binary64_4698 gte-same_binary64_2713 if-same_binary64_4084 cos-PI/2_binary64_3258 cos-PI/2_binary64_1553 exp-cbrt_binary64_4565 not-gte_binary64_4422 erf-erfc_binary64_4091 sqr-abs_binary64_3162 hang-0p-tan_binary64_1904 sin-PI/4_binary64_1544 sinh-cosh_binary64_3678 or-false-l if-true_binary64_4423 +-inverses_binary64_3126 cos-PI/6_binary64_1891 tan-PI/6_binary64_2921 hang-p-tan_binary64_3613 if-if-and-not_binary64_1361 gt-same_binary64_4757 erf-erfc_binary64_340 cos-PI/2_binary64_1894 tan-0_binary64_3276 not-lte_binary64_3057 -1-add-sin_binary64 sinh---cosh_binary64_2998 tanh-def-a_binary64_1629 or-true-r erf-erfc_binary64 sub-1-cos_binary64_4610 not-lte_binary64_4421 if-if-and_binary64_3406 cos-neg_binary64_3960 hang-0p-tan_binary64 1-sub-sin_binary64_2220 hang-0m-tan_binary64_4292 cos-PI/6_binary64_527 sin-PI/3_binary64_1886 log-E_binary64_509 not-lt_binary64_3055 erf-odd_binary64_4772 sin-PI/4_binary64_180 sinh-+-cosh_binary64_2315 erfc-erf_binary64_2728 cos-sin-sum_binary64_1536 sinh-+-cosh_binary64_2656 sin-PI/3_binary64_2909 cos-PI/3_binary64_3598 hang-m-tan_binary64_1568 e-exp-1_binary64_3192 gte-same_binary64_1690 hang-p0-tan_binary64_1565 sinh-cosh_binary64_2314 -1-add-cos_binary64_2903 hang-0p-tan_binary64_2245 not-gt_binary64_3397 lft-mult-inverse_binary64_3466 tan-PI_binary64_196 tanh-def-a_binary64_1288 and-true-r sin-neg_binary64_1913 tanh-def-c_binary64_2995 cos-PI/3_binary64_2234 exp-lft-cube_binary64_2862 if-not_binary64_4767 rgt-mult-inverse_binary64_2442 tan-+PI/2_binary64_539 cos-0_binary64_2252 if-if-and-not_binary64_4771 tan-PI/4_binary64_535 if-if-and-not_binary64_4430 if-if-and_binary64_3747 if-not_binary64_2721 rem-log-exp_binary64_3529 lt-same_binary64_3392 cos-0_binary64_3275 tan-PI/4_binary64_1558 hang-0m-tan_binary64_3269 cos-neg_binary64_2255 tan-+PI/2_binary64_1562 if-if-and-not_binary64_4089 log-E_binary64_2555 unpow0_binary64_3547 sin-neg_binary64_2254 sin-PI_binary64_4616 hang-0m-tan_binary64_882 sub-1-cos_binary64_518 if-false_binary64 lft-mult-inverse_binary64_2443 distribute-frac-neg_binary64_4474 cos-+PI/2_binary64_4625 hang-p0-tan_binary64_3611 cos-PI/2_binary64 cos-PI/4_binary64_869 if-true_binary64_2718 *-inverses_binary64_3127 sin-PI/2_binary64_1205 sin-+PI/2_binary64_1208 erf-odd_binary64_1703 cosh-def_binary64_264 tanh-def-c_binary64_3677 if-if-or-not_binary64_1018 cos-neg_binary64_891 sin-PI_binary64_2229 sinh-def_binary64_4014 cos-PI_binary64 cos-PI/3_binary64_1893 *-inverses_binary64_2786 exp-0_binary64_1484 not-lte_binary64_4080 cube-neg_binary64_1810 tan-+PI/2_binary64_3608 hang-m0-tan_binary64_3612 sin-PI_binary64_2911 -1-add-sin_binary64_176 sin-PI_binary64 pow-base-1_binary64_2866 exp-0_binary64_3530 tanh-def-b_binary64_1971 sinh-def_binary64_3332 sin-+PI_binary64_1889 sin-PI/4_binary64_4272 sinh-+-cosh_binary64_269 unpow0_binary64_1842 tanh-def-a_binary64_3334 if-false_binary64_673 gte-same_binary64_326 not-lt_binary64_668 tan-PI_binary64_1560 if-if-or-not_binary64_2723 lt-same_binary64 sinh-cosh_binary64_950 if-if-or-not_binary64 if-if-and_binary64_678 tan-PI/3_binary64_1900 erfc-erf_binary64_2387 lft-mult-inverse_binary64_4489 hang-m0-tan_binary64_202 1-sub-sin_binary64_4266 unpow0_binary64_1160 tan-PI/6_binary64_1557 pow-base-1_binary64_3889 exp-cbrt_binary64_3542 tan-+PI_binary64_879 sub-1-cos_binary64 if-same_binary64_1697 rem-3cbrt-rft_binary64 pow-base-1_binary64_2525 sub-1-sin_binary64_1201 erf-odd_binary64 tan-+PI_binary64 unpow0_binary64_478 tan-PI/3_binary64 sqr-abs_binary64_3503 sin-PI/3_binary64_1545 cos-PI/2_binary64_3599 sub-1-sin_binary64_2906 erf-erfc_binary64_3068 exp-lft-cube_binary64_134 cosh-def_binary64_3333 sin-PI/2_binary64_523 +-inverses_binary64_2103 sin-neg_binary64_4641 pow-base-0_binary64_1867 hang-p-tan_binary64_3954 if-if-or_binary64_3063 hang-m0-tan_binary64_543 cos-PI/3_binary64_3257 -1-add-sin_binary64_858 sinh---cosh_binary64_270 -1-add-sin_binary64_1199 cos-sin-sum_binary64_172 or-true-l if-if-and-not_binary64_338 cosh-def_binary64_2310 cos-0_binary64_3616 not-gte_binary64_3740 erf-erfc_binary64_3409 unpow-1_binary64_4568 tanh-def-c_binary64_4359 exp-cbrt_binary64_1155 sin-PI/4_binary64_3931 or-false-r hang-m0-tan_binary64 cos-+PI/2_binary64_1897 lt-same_binary64_2710 sin-+PI_binary64_2571 sub-1-sin_binary64 remove-double-div_binary64 sin-PI/6_binary64_2907 lt-same_binary64_1005 if-true_binary64_1013 cos-PI/6_binary64_2573 lte-same_binary64_4758 hang-0m-tan_binary64_3951 cos-0_binary64_547 difference-of-sqr-1_binary64_2094 pow-base-0_binary64 not-gt_binary64_3738 lte-same_binary64_3053 log-E_binary64_1191 remove-double-div_binary64_2100 hang-0m-tan_binary64_2928 not-lte_binary64_2375 erfc-erf_binary64_682 hang-m0-tan_binary64_3953 unpow0_binary64_2524 cos-neg_binary64_2596 sin-PI_binary64_524 gte-same_binary64_2372 sin-neg_binary64_2595 sin-0_binary64_1228 sinh-def_binary64_2309 rgt-mult-inverse_binary64_3124 sqr-abs_binary64_1457 -1-add-sin_binary64_517 sub-1-sin_binary64_2565 not-gte_binary64_671 if-if-or-not_binary64_4428 hang-p-tan_binary64_1567 cos-PI/4_binary64_187 tanh-def-b_binary64_1630 rem-exp-log_binary64_3528 sin-+PI_binary64_866 e-exp-1_binary64_3874 rem-log-exp_binary64 distribute-neg-frac_binary64_4134 cosh-def_binary64_4015 not-gt_binary64_2715 sin-0_binary64_4638 sqr-abs_binary64_434 1-sub-cos_binary64_3924 sub-1-sin_binary64_3247 unpow1/3_binary64_1168 erf-odd_binary64_1021 lft-mult-inverse_binary64_2102 sin-PI_binary64_3593 tan-PI/3_binary64_195 tan-+PI_binary64_2925 cos-sin-sum_binary64_4264 rem-cube-cbrt_binary64_4193 cos-neg_binary64_550 if-if-and_binary64_2383 if-if-or_binary64_4768 exp-cbrt_binary64_2519 e-exp-1_binary64_1828 sinh-+-cosh_binary64_4702 sin-+PI/2_binary64_2913 not-lt_binary64_327 e-exp-1_binary64_1487 if-if-and-not_binary64_2384 erf-odd_binary64_2726 gt-same_binary64 cos-PI_binary64_2918 hang-p-tan_binary64_1908 if-if-or_binary64_1017 lt-same_binary64_323 cos-+PI/2_binary64_4284 tan-0_binary64 /-rgt-identity_binary64_3479 pow-base-0_binary64_1185 cos-PI_binary64_190 hang-0m-tan_binary64_4633 tan-PI/6_binary64_3603 tan-neg_binary64_1233 hang-0m-tan_binary64_200 tan-PI/6_binary64_1216 tanh-def-b_binary64_3676 e-exp-1_binary64_2169 sub-1-cos_binary64_2223 lte-same_binary64_1689 tan-PI/3_binary64_4628 cos-neg_binary64_4642 1-sub-cos_binary64_1537 *-inverses_binary64_1763 cosh-def_binary64_4697 cos-PI/3_binary64_188 if-if-or-not_binary64_3064 rec-exp_binary64_2515 cos-PI/2_binary64_189 not-true 1-sub-cos_binary64_2219 unpow0_binary64_2865 lte-same_binary64 exp-cbrt_binary64_132 tan-PI/4_binary64 hang-m-tan_binary64_1909 tan-0_binary64_2594 if-true_binary64_331 sinh-cosh_binary64_1973 sinh---cosh_binary64_1293 tan-0_binary64_4299 if-true_binary64_1354 hang-0p-tan_binary64_4632 sin-0_binary64_3274 sinh-def_binary64_3673 cos-sin-sum_binary64 sin-PI/4_binary64_3590 tanh-def-a_binary64_1970 cos-PI/4_binary64_2233 e-exp-1_binary64_2851 tanh-def-b_binary64_266 exp-0_binary64 1-sub-sin_binary64_3243 sub-1-sin_binary64_1542 cos-PI/3_binary64_4621 rec-exp_binary64_1151 cos-PI/6_binary64_186 sin-neg_binary64_3618 sin-+PI/2_binary64_4618 cos-PI_binary64_3600 sin-+PI/2_binary64_1549 pow-base-0_binary64_3231 hang-0m-tan_binary64_2246 exp-0_binary64_4553 sin-PI/6_binary64_2566 pow-base-1_binary64_4571 tan-PI/3_binary64_2582 cos-PI/6_binary64_3255 cos-PI/3_binary64_529 cos-PI/2_binary64_530 sin-PI/3_binary64_181 cos-PI/6_binary64_2914 tan-0_binary64_1571 cos-PI/3_binary64_4280 exp-cbrt_binary64_2178 gt-same_binary64_3393 cos-PI/2_binary64_4622 tan-PI/3_binary64_3605 sin-PI/6_binary64_520 sinh-cosh_binary64_1291 1-sub-cos_binary64_1196 sin-PI/3_binary64_3591 if-if-and-not_binary64_1702 sin-neg_binary64_1572 sinh-+-cosh_binary64_1633 not-lte_binary64_4762 exp-cbrt_binary64_2860 sin-PI_binary64_1547 cos-sin-sum_binary64_513 exp-lft-cube_binary64_2180 if-if-and_binary64_337 lt-same_binary64_1346 tan-PI/4_binary64_876 exp-sqrt_binary64_2859 not-lt_binary64_2373 lte-same_binary64_4076 rem-log-exp_binary64_2506 tanh-def-b_binary64_1289 sinh---cosh_binary64_1975 lte-same_binary64_666 -1-add-cos_binary64_516 unpow-1_binary64_1840 cos-PI/2_binary64_2235 if-if-and_binary64_4088 erf-erfc_binary64_3750 cos-neg_binary64_3619 not-gte_binary64_2376 pow-base-0_binary64_844 if-false_binary64_4083 sqr-abs_binary64_4526 erf-odd_binary64_680 sin-neg_binary64_3959 1-sub-cos_binary64_173 1-sub-cos_binary64_4265 rem-cube-cbrt_binary64_4534 sinh-+-cosh_binary64_1974 tan-PI/6_binary64_534 erf-erfc_binary64_2045 tan-+PI/2_binary64_198 div-exp_binary64_4562 sin-+PI_binary64_525 cosh-def_binary64_1287 distribute-frac-neg_binary64_4133 tan-neg_binary64_2256 erf-erfc_binary64_2386 erfc-erf_binary64_4433 unpow-1_binary64_2522 sin-PI/2_binary64_3933 cos-PI/2_binary64_4281 hang-0p-tan_binary64_3268 tanh-def-a_binary64_265 erf-odd_binary64_3749 not-gte_binary64_4081 not-lt_binary64_4078 unpow-1_binary64_3204 div0_binary64_3469 if-same_binary64_4766 sinh-cosh_binary64_609 sinh-def_binary64_1968 gte-same_binary64_667 not-gt_binary64_4420 1-sub-cos_binary64_1878 exp-0_binary64_2166 cos-+PI/2_binary64_3602 sin-PI/3_binary64_863 if-if-and_binary64_4429 not-lte_binary64 tan-PI/4_binary64_2922 sinh-+-cosh_binary64 if-not_binary64_4085 if-not_binary64_4426 tanh-def-a_binary64_4016 hang-p0-tan_binary64_1224 sin-PI_binary64_1888 -1-add-cos_binary64_857 sin-neg_binary64_549 if-same_binary64_1356 tanh-def-c_binary64_608 if-true_binary64_2036 tanh-def-b_binary64_4699 if-not_binary64_1698 cos-0_binary64_888 pow-base-0_binary64_1526 cos-PI_binary64_1213 pow-base-1_binary64_1502 gte-same_binary64_4759 if-if-and_binary64_2724 gt-same_binary64_4416 tanh-def-c_binary64_4700 cos-sin-sum_binary64_4605 sin-+PI_binary64_1548 cos-PI/3_binary64_1211 1-sub-sin_binary64_3925 tan-+PI/2_binary64_2244 mul0-lft_binary64_4152 +-inverses_binary64_1762 hang-m-tan_binary64_3273 tan-neg_binary64_2938 sinh-+-cosh_binary64_4361 /-rgt-identity_binary64_4161 sinh-cosh_binary64_2996 if-if-or_binary64_3745 cos-PI/6_binary64 sin-0_binary64_2251 erfc-erf_binary64 erf-erfc_binary64_1022 hang-m0-tan_binary64_1566 if-if-or-not_binary64_2382 exp-cbrt_binary64_1837 cos-neg_binary64_1573 not-gt_binary64_1692 not-gt_binary64_3056 sin-PI/4_binary64_2908 tan-PI/3_binary64_877 not-gte_binary64_3058 -1-add-sin_binary64_4609 if-same_binary64 1-sub-cos_binary64_4606 hang-m0-tan_binary64_4294 cos-+PI/2_binary64_3943 sin-PI/6_binary64_861 1-sub-sin_binary64_3584 cancel-sign-sub_binary64_2430 if-if-or_binary64 sin-+PI/2_binary64_1890 cos-PI/2_binary64_2917 erfc-erf_binary64_3069 cos-+PI/2_binary64_2238 sqr-abs_binary64_1116 remove-double-div_binary64_3464 -1-add-cos_binary64_3244 tanh-def-a_binary64_606 sinh-def_binary64_1286 lte-same_binary64_4417 cos-0_binary64 e-exp-1_binary64_4556 not-lte_binary64_329 sin-0_binary64_3615 tan-PI/6_binary64_4626 not-lt_binary64_3737 cube-neg_binary64_2833 erfc-erf_binary64_1705 cos-+PI_binary64_4283 if-if-or_binary64_1358 cos-+PI/2_binary64_1556 tan-PI_binary64_3947 cos-PI/4_binary64 rgt-mult-inverse_binary64_4488 sin-PI/2_binary64_2228 hang-0p-tan_binary64_2927 gt-same_binary64_1347 not-gt_binary64 cos-+PI/2_binary64 not-gte_binary64 e-exp-1_binary64_4215 gt-same_binary64_4075 sin-neg_binary64_3277 sin-0_binary64_205 sin-0_binary64_1910 if-false_binary64_4424 tan-0_binary64_889 hang-p-tan_binary64_1226 erf-erfc_binary64_4773 sin-+PI_binary64_3935 hang-m-tan_binary64_3955 sin-PI/4_binary64 1-sub-sin_binary64_4607 hang-0p-tan_binary64_3609 difference-of-sqr-1_binary64_3117 1-sub-cos_binary64_3242 sin-0_binary64 sin-PI_binary64_183 rgt-mult-inverse_binary64_4147 1-sub-sin_binary64_174 1-sub-cos_binary64_514 unpow0_binary64_2183 tan-PI_binary64_3265 sin-+PI_binary64_4617 cube-neg_binary64_4197 hang-0m-tan_binary64 -1-add-cos_binary64_2221 cos-PI/6_binary64_1550 difference-of-sqr-1_binary64_389 rem-3cbrt-rft_binary64_786 sin-PI_binary64_3252 sub-1-sin_binary64_2224 sub-1-cos_binary64_4269 hang-p0-tan_binary64_2588 exp-lft-cube_binary64_1839 if-false_binary64_3742 hang-p0-tan_binary64_3952 rgt-mult-inverse_binary64_1760 tanh-def-c_binary64_1631 sinh---cosh_binary64_3339 difference-of-sqr--1_binary64_1413 gt-same_binary64_665 exp-neg_binary64_2512 gte-same_binary64_3395 tan-+PI/2_binary64_3949 cos-sin-sum_binary64_3241 rgt-mult-inverse_binary64_737 erf-odd_binary64_2044 sin-neg_binary64_208 lt-same_binary64_1687 tan-neg_binary64_1915 exp-lft-cube_binary64_4226 cos-PI_binary64_1895 if-same_binary64_2379 hang-p-tan_binary64_203 sin-+PI_binary64_2912 tan-neg_binary64_4302 tan-PI_binary64_2924 difference-of-sqr--1_binary64_3118 cos-PI/4_binary64_4279 not-lte_binary64_3398 exp-sqrt_binary64_1836 sin-+PI/2_binary64_3936 tan-PI_binary64_2583 if-if-and-not_binary64_1020 if-same_binary64_2720 hang-p0-tan_binary64_3270 rgt-mult-inverse_binary64_55 if-true_binary64_1695 gt-same_binary64_3734 erf-erfc_binary64_681 sub-1-cos_binary64_2564 sub-1-sin_binary64_178 cos-+PI/2_binary64_2579 sinh-+-cosh_binary64_3338 cos-0_binary64_1570 sinh-def_binary64_4355 cos-PI_binary64_2236 lt-same_binary64_4074 sin-PI_binary64_4275 1-sub-sin_binary64_1197 cos-PI/6_binary64_2232 cancel-sign-sub_binary64_4135 sin-PI/2_binary64_864 exp-cbrt_binary64_814 erf-odd_binary64_1362 cos-+PI_binary64_2237 if-false_binary64_3401 not-lt_binary64 sin-PI/6_binary64_4612 not-gte_binary64_2717 if-if-and_binary64_1360 hang-p-tan_binary64_4295 tanh-def-a_binary64_947 erf-odd_binary64_339 mul-1-neg_binary64_4162 1-sub-sin_binary64_2902 sin-neg_binary64_4300 tan-+PI_binary64_4630 unpow0_binary64_1501 cos-PI/6_binary64_4619 1-sub-cos_binary64 unpow0_binary64_4570 tan-0_binary64_1912 if-false_binary64_1355 sin-+PI/2_binary64_3254 sin-PI/3_binary64_4614 sin-PI/3_binary64_3932 unpow0_binary64_4229 pow-base-1_binary64_1161 hang-p0-tan_binary64_1906 tanh-def-a_binary64 lt-same_binary64_3051 if-not_binary64_2039 sinh-cosh_binary64_4701 pow-base-0_binary64_4595 sinh-def_binary64_263 if-if-and-not_binary64_3748 if-if-or_binary64_4086 exp-0_binary64_3871 tanh-def-b_binary64_2994 gte-same_binary64_4418 tan-PI/4_binary64_3263 -1-add-sin_binary64_2563 hang-m0-tan_binary64_1907 tan-PI/4_binary64_2581 if-not_binary64_3744 tan-+PI_binary64_1220 sin-PI/4_binary64_1885 not-lt_binary64_1691 sinh-def_binary64 if-false_binary64_2719 sqr-neg_binary64_2820 sinh---cosh_binary64_4703 cos-+PI_binary64_3260 cos-+PI_binary64_873 rec-exp_binary64_4561 cos-+PI/2_binary64_533 if-if-or-not_binary64_677 tan-PI_binary64_537 rem-cbrt-cube_binary64_4194 e-exp-1_binary64_805 cos-PI/3_binary64_870 cosh-def_binary64 sinh-cosh_binary64 hang-p0-tan_binary64_201 cos-+PI_binary64_3942 hang-m0-tan_binary64_884 tan-PI/3_binary64_536 tanh-def-c_binary64_949 hang-m0-tan_binary64_2248 tan-neg_binary64_2597 log-rec_binary64_3576 tan-0_binary64_2253 sub-1-sin_binary64_3588 tan-neg_binary64_551 tan-+PI/2_binary64_4631 sin-PI/3_binary64_1204 difference-of-sqr-1_binary64_2776 if-if-or-not_binary64_3746 if-if-and_binary64_1701 tan-0_binary64_3958 -1-add-sin_binary64_2222 erf-erfc_binary64_2727 if-if-and_binary64_2042 lte-same_binary64_1348 div0_binary64_4492 difference-of-sqr--1_binary64_4141 cos-PI/4_binary64_1210 cos-+PI/2_binary64_192 tan-PI/4_binary64_3604 not-lt_binary64_2714 tan-PI/4_binary64_4627 gt-same_binary64_2029 rem-log-exp_binary64_4552 not-gt_binary64_328 cos-0_binary64_1911 gte-same_binary64_4077 sin-+PI_binary64_184 lte-same_binary64_2371 if-false_binary64_2378 --rgt-identity_binary64_4156 gte-same_binary64_1008 cos-PI/6_binary64_868 unpow0_binary64_137 exp-sqrt_binary64_2518 rem-3cbrt-rft_binary64_2491 sub-1-cos_binary64_1200 tan-+PI/2_binary64_4290 hang-p-tan_binary64_544 not-gt_binary64_4079 erf-odd_binary64_4090 sin-0_binary64_3956 sinh-cosh_binary64_1632 tan-+PI/2_binary64_3267 pow-base-1_binary64_820 sin-PI/2_binary64_182 not-lte_binary64_1352 sub-1-sin_binary64_4270 tanh-def-b_binary64_2312 sin-PI_binary64_865 unpow-1_binary64_1158

Counts

18194 → 13185

Compiler

Compiled 536 to 408 computations (23.9% saved)