rewrite12.0s (2.3%)

Algorithm

157×	rewrite-expression-head

Rules

9186×	times-frac_binary64_1789
7800×	*-un-lft-identity_binary64_1783
4699×	add-sqr-sqrt_binary64_1805
3686×	add-cube-cbrt_binary64_1818
3319×	sqrt-prod_binary64_1799
1815×	times-frac_binary64_1448
1768×	distribute-lft-out_binary64_1734
1713×	associate-*r*_binary64_1723
1594×	add-sqr-sqrt_binary64_1464
1402×	*-un-lft-identity_binary64_1442
808×	add-cube-cbrt_binary64_1477
689×	times-frac_binary64_766
548×	sqrt-prod_binary64_1458
537×	add-exp-log_binary64_1480
520×	add-sqr-sqrt_binary64_782
459×	associate-/r/_binary64_1729
458×	*-un-lft-identity_binary64_2124
457×	associate-*r*_binary64_1382
436×	add-exp-log_binary64_2503
426×	times-frac_binary64_84
422×	add-exp-log_binary64_1821
421×	add-sqr-sqrt_binary64_2146
411×	add-cbrt-cube_binary64_1478 difference-of-squares_binary64_1752 distribute-lft-out--_binary64_1735
407×	*-un-lft-identity_binary64_760
389×	associate-/l*_binary64_1728
383×	add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_795
377×	add-cbrt-cube_binary64_1819
360×	add-sqr-sqrt_binary64_2487
349×	difference-of-squares_binary64_1411
329×	times-frac_binary64_2130
322×	*-un-lft-identity_binary64_2465
302×	add-cbrt-cube_binary64_2501
299×	*-un-lft-identity_binary64_78
296×	add-cube-cbrt_binary64_2159
284×	add-cube-cbrt_binary64_113
276×	flip3-+_binary64_1786 flip-+_binary64_1757
261×	prod-exp_binary64_2514
248×	*-un-lft-identity_binary64_1101
243×	*-un-lft-identity_binary64_3147
234×	sqrt-prod_binary64_776 add-cube-cbrt_binary64_2500
233×	div-inv_binary64_1780 pow1_binary64_821
217×	pow1_binary64_2526
216×	associate-/r/_binary64_1388
202×	add-exp-log_binary64_116 add-sqr-sqrt_binary64_1123
195×	div-exp_binary64_1493
181×	flip-+_binary64_1416 flip3-+_binary64_1445
179×	log-pow_binary64_849
178×	associate-*r*_binary64_700
173×	associate-*l*_binary64_1383 add-exp-log_binary64_2162 add-sqr-sqrt_binary64_441
168×	prod-exp_binary64_1491
167×	*-un-lft-identity_binary64_2806
164×	times-frac_binary64_425
162×	add-sqr-sqrt_binary64_3169
160×	times-frac_binary64_2471 associate-/r*_binary64_1727 div-exp_binary64_1834
159×	times-frac_binary64_1107
157×	pow1_binary64_1503
152×	add-exp-log_binary64 distribute-lft-out--_binary64_1394
149×	cbrt-unprod_binary64_2498
146×	associate-*l*_binary64_2406
145×	associate-*r*_binary64_18
144×	times-frac_binary64_3153
143×	*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64
142×	cbrt-undiv_binary64_1476
141×	pow1_binary64 add-cube-cbrt_binary64_1136
139×	cbrt-undiv_binary64_1817
137×	add-cbrt-cube_binary64_2160
136×	pow1_binary64_3549
135×	add-sqr-sqrt_binary64_2828 add-cube-cbrt_binary64_454
133×	add-log-exp_binary64_2504
132×	add-cube-cbrt_binary64_3182
131×	add-exp-log_binary64_3526
129×	div-inv_binary64_1439
128×	sqrt-prod_binary64_94
125×	sqrt-prod_binary64_2481 pow1_binary64_139
124×	frac-times_binary64_1452
123×	add-exp-log_binary64_3185
122×	pow1_binary64_1844
121×	add-cbrt-cube_binary64
120×	associate-*r*_binary64_2064
116×	cbrt-unprod_binary64_1475
115×	pow1_binary64_480
112×	pow1_binary64_2185
110×	*-un-lft-identity_binary64 add-cbrt-cube_binary64_3524 associate-*l*_binary64_1724
108×	add-exp-log_binary64_798
107×	add-cbrt-cube_binary64_3183
106×	add-cbrt-cube_binary64_114
105×	associate-/r*_binary64_1386
103×	pow1_binary64_3208
102×	add-cube-cbrt_binary64 sqrt-prod_binary64
101×	unpow-prod-down_binary64_1862
99×	sqrt-prod_binary64_1117
98×	add-cbrt-cube_binary64_796
97×	distribute-lft-out_binary64_1393
96×	add-cube-cbrt_binary64_2841
95×	associate-/l*_binary64_1387 associate-*r*_binary64_2405
94×	prod-exp_binary64_1832
92×	associate-*l*_binary64_19 cancel-sign-sub-inv_binary64_2772
90×	sqrt-div_binary64_1800
88×	pow-prod-down_binary64_2536
87×	add-sqr-sqrt_binary64_3851
85×	cancel-sign-sub-inv_binary64_1408 associate-*l*_binary64_701
84×	cbrt-prod_binary64_109
83×	associate-*r/_binary64_1384
81×	unpow-prod-down_binary64_157
80×	pow-prod-down_binary64_3559
79×	prod-exp_binary64_127 prod-exp_binary64_3537 cbrt-unprod_binary64_3521
78×	*-un-lft-identity_binary64_3829
77×	add-sqr-sqrt_binary64_3510
76×	associate-*l/_binary64_1385 cbrt-unprod_binary64_1816 times-frac_binary64_2812 add-log-exp_binary64_1822
75×	log-pow_binary64_167
74×	add-exp-log_binary64_1139
73×	distribute-rgt-in_binary64_1392 flip-+_binary64_2098 flip3-+_binary64_2127 distribute-lft-in_binary64_1391
72×	difference-of-sqr-1_binary64_1412
70×	cbrt-div_binary64_2838 prod-exp_binary64 sqrt-prod_binary64_435
69×	associate-*r/_binary64_2066
68×	distribute-lft-out_binary64_2075 frac-add_binary64_2473
67×	associate-/l/_binary64_1730 unpow-prod-down_binary64_2203 add-log-exp_binary64_2163
66×	distribute-lft-out_binary64_3098
65×	log-pow_binary64_508
64×	unpow-prod-down_binary64_1180
62×	associate-*l*_binary64 log-prod_binary64_2892
61×	add-cbrt-cube_binary64_1137
59×	flip-+_binary64_2780 flip3-+_binary64_2809 add-exp-log_binary64_2844
57×	associate-*r*_binary64_1041
56×	associate-*r/_binary64_2748 unswap-sqr_binary64_1751
55×	add-log-exp_binary64 *-un-lft-identity_binary64_3488
54×	flip3-+_binary64_2468 associate-/r*_binary64_2068 pow1_binary64_2867 flip-+_binary64_2439
53×	frac-times_binary64_1793 div-exp_binary64_129 add-cube-cbrt_binary64_3523 add-log-exp_binary64_3186
52×	add-cube-cbrt_binary64_3864 add-log-exp_binary64_1481 cbrt-div_binary64_2156 unswap-sqr_binary64_1410
51×	cube-prod_binary64_106 associate-*r*_binary64_3087
50×	add-cbrt-cube_binary64_2842 add-log-exp_binary64_799 cbrt-prod_binary64_2155 distribute-lft-out_binary64_1052
49×	flip3--_binary64_1446 flip--_binary64_1417
48×	associate-*r*_binary64_3428
46×	associate-*r*_binary64 cbrt-prod_binary64_3519 prod-exp_binary64_2173 associate-*r/_binary64_3089 associate-*r/_binary64_2407
45×	add-log-exp_binary64_1140 pow1_binary64_1162 associate-/r*_binary64_22 prod-exp_binary64_3196 cbrt-unprod_binary64
44×	exp-sum_binary64_2852 sqrt-div_binary64_1459
43×	cube-prod_binary64_2152
42×	add-exp-log_binary64_457 associate-*l*_binary64_2065 cbrt-prod_binary64_1473
41×	unswap-sqr_binary64_728 associate-*l*_binary64_3088 associate-*l/_binary64_1726 add-log-exp_binary64_458
40×	div-exp_binary64_2516 add-cbrt-cube_binary64_455
39×	associate-*l*_binary64_1042 cbrt-unprod_binary64_3180 pow-flip_binary64_1516 associate-/r/_binary64_2070 add-log-exp_binary64_2845 unswap-sqr_binary64_46
38×	sqrt-div_binary64_436 pow-prod-down_binary64 times-frac_binary64_3835 associate-/l*_binary64_2069 frac-times_binary64_2816
37×	sqrt-prod_binary64_2822 cbrt-prod_binary64_3860 cbrt-prod_binary64_1814 associate-*l/_binary64_2749
36×	cancel-sign-sub-inv_binary64_2431 pow-prod-down_binary64_3218 cancel-sign-sub-inv_binary64_3454 sqrt-pow1_binary64_1460 cbrt-div_binary64_2497 log-prod_binary64_846
35×	sum-log_binary64_2556 unswap-sqr_binary64_2433 associate-/r*_binary64_704
34×	cbrt-unprod_binary64_2157 pow-unpow_binary64_837
33×	distribute-lft-out_binary64_2416
32×	cancel-sign-sub-inv_binary64_2090 associate-/r*_binary64_3091 pow-prod-down_binary64_1513 cbrt-prod_binary64_1132 log-pow_binary64_2895 sqrt-prod_binary64_3504 cbrt-prod_binary64_2496
31×	exp-prod_binary64_812 flip-+_binary64_3121 flip3-+_binary64_3150 difference-of-squares_binary64_2093
30×	associate-*l*_binary64_3429 cbrt-unprod_binary64_111 associate-*r/_binary64_1725 associate-*l/_binary64_2408 add-sqr-sqrt_binary64_4874 frac-times_binary64_2134 associate-/l/_binary64_2071
29×	associate-*r*_binary64_2746 *-un-lft-identity_binary64_4852 div-exp_binary64_2175
28×	cbrt-div_binary64_3179 associate-/r*_binary64_363
27×	frac-2neg_binary64_1794 log-prod_binary64_2210 unswap-sqr_binary64_2092 clear-num_binary64_1782
26×	associate-*l*_binary64_2747 cbrt-undiv_binary64_2499 sqrt-pow1_binary64_437 associate-/r/_binary64_2752 div-exp_binary64_811 sqrt-div_binary64 div-inv_binary64_75
25×	sqrt-pow1_binary64_1801 cbrt-prod_binary64_4883 flip3-+_binary64_1104 flip-+_binary64_1075 pow1/3_binary64_1865
24×	exp-prod_binary64_2858 pow-prod-down_binary64_2195 associate-/r*_binary64_1045 add-log-exp_binary64_3527 pow1/2_binary64_499
23×	prod-exp_binary64_809 sqrt-pow1_binary64_2483 associate-/l*_binary64_23 cbrt-undiv_binary64_112 pow1_binary64_3890 div-inv_binary64_757
22×	difference-of-squares_binary64_2434 *-commutative_binary64_2396 clear-num_binary64_1441 pow1/3_binary64_2206 frac-2neg_binary64_1453 distribute-lft-out_binary64_2757 add-log-exp_binary64_117
21×	associate-/l/_binary64_1389 1-exp_binary64_1486 associate-/r*_binary64_2409 div-inv_binary64_2121 rec-exp_binary64_1492
20×	cbrt-undiv_binary64_794 cbrt-undiv_binary64_2158 rec-exp_binary64_128 add-exp-log_binary64_3867 1-exp_binary64_122 add-cube-cbrt_binary64_4887 associate-/l*_binary64_705 sqrt-div_binary64_2482 sqrt-pow1_binary64 sqr-pow_binary64_2096 distribute-lft-out--_binary64_2417 unswap-sqr_binary64_1069 cbrt-unprod_binary64_793 frac-times_binary64_2475
19×	flip3-+_binary64_422 pow1/2_binary64 add-cbrt-cube_binary64_3865 flip-+_binary64_393 unpow-prod-down_binary64_839
18×	difference-of-squares_binary64_2775 distribute-lft-out--_binary64_2076 pow1/3_binary64_2547 cube-prod_binary64_1470 frac-sub_binary64_2133 unpow-prod-down_binary64_1521
17×	add-log-exp_binary64_3868 swap-sqr_binary64_1750 pow-prod-down_binary64_1854 pow1/2_binary64_2545
16×	sqrt-div_binary64_1118 log-pow_binary64_2213 pow1_binary64_4913 distribute-lft-neg-in_binary64 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 distribute-rgt-neg-in_binary64 sqrt-div_binary64_2823 unpow-prod-down_binary64_2544 associate--l+_binary64_2402
15×	flip3-+_binary64 flip3--_binary64_2128 flip3--_binary64_1787 prod-exp_binary64_1150 flip3-+_binary64_763 pow-prod-down_binary64_2877 flip-+_binary64_734 log-pow_binary64 *-commutative_binary64_1373 associate-*l/_binary64_2067 *-commutative_binary64_3078 flip--_binary64_2099 rem-sqrt-square_binary64 div-exp_binary64_1152 flip--_binary64_1758 *-commutative_binary64 flip-+_binary64
14×	add-log-exp_binary64_4891 cube-prod_binary64_1129 associate-/r/_binary64_1047 diff-log_binary64_2557 pow1/3_binary64_3229 sqrt-pow1_binary64_2824 *-commutative_binary64_2055 rec-exp_binary64_2515 pow-prod-down_binary64_149 pow-prod-down_binary64_831 1-exp_binary64_2509 rem-sqrt-square_binary64_432
13×	div-sub_binary64_1788 unswap-sqr_binary64_3115 sub-neg_binary64_1435 div-inv_binary64_2803 associate-/r/_binary64_3093 distribute-lft-in_binary64_3096 unswap-sqr_binary64 distribute-rgt-in_binary64_2074 distribute-rgt-in_binary64_3097 cbrt-prod_binary64 distribute-lft-in_binary64_2073 associate-/l*_binary64_364
12×	pow-flip_binary64_1857 associate-*r*_binary64_4792 associate-/l*_binary64_1046 cbrt-prod_binary64_3178 sub-neg_binary64_2458 clear-num_binary64_2123 pow-exp_binary64_146 pow1/3_binary64_3911 rem-sqrt-square_binary64_2478 associate-*r/_binary64_702 pow1/2_binary64_1522 cbrt-prod_binary64_2837 *-commutative_binary64_3419 frac-2neg_binary64_2135
11×	add-exp-log_binary64_4890 swap-sqr_binary64_3455 sub-neg_binary64_2799 *-commutative_binary64_1714 div-inv_binary64_2462 pow-pow_binary64_832 associate-/l*_binary64_2410
10×	rem-sqrt-square_binary64_1455 unswap-sqr_binary64_3456 swap-sqr_binary64_3114 swap-sqr_binary64_2432 flip--_binary64_3122 associate-*r/_binary64_20 div-exp_binary64_3198 flip3--_binary64_3151 associate-/l*_binary64_2751 difference-of-sqr-1_binary64_2094 swap-sqr_binary64_2091 difference-of-squares_binary64_3798
9×	*-commutative_binary64_9 unpow-prod-down_binary64_3567 cbrt-undiv_binary64_1135 cancel-sign-sub-inv_binary64_3113 cbrt-unprod_binary64_1134 associate-/r*_binary64_2750 associate-*r*_binary64_359 associate-*l*_binary64_3770 pow1/2_binary64_1863 distribute-rgt-in_binary64_710 sub-neg_binary64_3140 cancel-sign-sub-inv_binary64_385 associate-*l*_binary64_4793 cube-prod_binary64_3516 pow1/3_binary64_4934 associate-/l*_binary64_3774 distribute-lft-in_binary64_709 associate-*r*_binary64_3769 distribute-lft-out--_binary64_2758 pow-unpow_binary64_1178 sum-log_binary64_3238 add-cbrt-cube_binary64_4888
8×	distribute-lft-out_binary64_711 sqr-pow_binary64_2437 flip3--_binary64_2810 difference-of-squares_binary64_388 frac-2neg_binary64_89 pow-exp_binary64_2192 clear-num_binary64_77 flip--_binary64_2440 flip3--_binary64_2469 distribute-lft-out_binary64_3780 cube-div_binary64_1130 log-div_binary64_847 associate--r+_binary64_2060 frac-times_binary64_3157 flip--_binary64_2781 sub-neg_binary64_2117 rem-sqrt-square_binary64_1796 *-commutative_binary64_691
7×	inv-pow_binary64_1527 +-commutative_binary64_1031 pow-to-exp_binary64_2534 sum-log_binary64_851 flip3--_binary64_423 pow-exp_binary64_2533 unpow-prod-down_binary64 div-inv_binary64_416 flip--_binary64_394 sum-log_binary64_1192 div-inv_binary64_3144 div-inv_binary64_1098 pow-sqr_binary64_1756 difference-of-squares_binary64_3116 distribute-rgt-in_binary64_2415 diff-log_binary64_2216 +-commutative_binary64_3077 distribute-lft-in_binary64_2414 rem-log-exp_binary64_801 sqr-pow_binary64_732 associate-/r*_binary64_3773 pow-to-exp_binary64_2193 associate-/l*_binary64_3092 exp-prod_binary64_1835 log-pow_binary64_3918 pow-prod-up_binary64_1853
6×	cbrt-undiv_binary64_3181 unpow-prod-down_binary64_498 *-commutative_binary64_2737 pow1/2_binary64_840 +-commutative_binary64_2395 exp-prod_binary64_3881 sqr-pow_binary64_50 pow-exp_binary64_828 cube-mult_binary64_2154 swap-sqr_binary64_3796 associate-/l/_binary64_1048 cbrt-prod_binary64_450 pow1/3_binary64_3570 cube-mult_binary64_1131 swap-sqr_binary64_4819 +-commutative_binary64_690 associate-*r/_binary64_361 unpow3_binary64_2190 unpow3_binary64_1167 pow2_binary64_1523 associate-*l*_binary64_360 pow-to-exp_binary64_1852 pow-prod-up_binary64_1512 pow-exp_binary64_1851 pow-plus_binary64_1505 sqr-pow_binary64_1073 sqrt-pow1_binary64_778 unswap-sqr_binary64_2774 pow-sqr_binary64_1415 sin-sum_binary64
5×	pow-prod-down_binary64_490 unswap-sqr_binary64_3797 unswap-sqr_binary64_4820 distribute-lft-out--_binary64_3781 pow-to-exp_binary64_829 +-commutative_binary64_1713 1-exp_binary64_1827 rec-exp_binary64_1833 div-exp_binary64_470 cbrt-undiv_binary64_453 exp-prod_binary64 sum-log_binary64_1874 pow-prod-down_binary64_1172 sum-log_binary64_2215 cos-sum_binary64 frac-add_binary64_2132 diff-log_binary64_2898
4×	distribute-lft-out--_binary64_4804 flip3-+_binary64_3832 distribute-lft-out--_binary64_3099 *-commutative_binary64_1032 pow-to-exp_binary64 unpow-prod-down_binary64_3226 pow-pow_binary64_1855 inv-pow_binary64_163 flip-+_binary64_3803 distribute-lft-out_binary64 difference-of-sqr-1_binary64_2435 pow-pow_binary64_1173 log-div_binary64_2893 pow-prod-up_binary64_2194 div-sub_binary64_765 rem-cube-cbrt_binary64_1124 log-pow_binary64_1872 associate-*l/_binary64_3090 un-div-inv_binary64_76 pow-plus_binary64_1846 unswap-sqr_binary64_387 cbrt-div_binary64_1133 clear-num_binary64_1100 cube-prod_binary64_788 frac-2neg_binary64_1112 frac-2neg_binary64_2476 cbrt-undiv_binary64_2840 pow-prod-up_binary64_2535 pow-exp_binary64 neg-mul-1_binary64 log-div_binary64_506 pow-exp_binary64_1169 rem-log-exp_binary64_2847 frac-2neg_binary64_771 1-exp_binary64_1145 rec-exp_binary64_1151 log-prod_binary64_1869 cube-prod_binary64_2493 distribute-lft-out--_binary64_371 cube-div_binary64_789 div-exp_binary64_2857 rem-sqrt-square_binary64_1114 pow-sqr_binary64_2097 pow-prod-up_binary64_830 clear-num_binary64_759 associate--l-_binary64_2403 pow-sqr_binary64_733 sqrt-pow1_binary64_1119 pow-sqr_binary64_2438 sqrt-div_binary64_777 pow1/2_binary64_1181 exp-diff_binary64_2854 clear-num_binary64_2464 pow2_binary64_1864 pow-flip_binary64_152 flip3--_binary64_1105 flip--_binary64_1076
3×	clear-num_binary64_418 pow-prod-down_binary64_3900 associate-*l/_binary64_703 associate-+r+_binary64_692 sub-neg_binary64_412 pow-to-exp_binary64_147 associate-*l/_binary64_21 flip3--_binary64_3492 rem-log-exp_binary64_2165 clear-num_binary64_3146 sqr-pow_binary64_1755 cube-div_binary64_107 pow-pow_binary64_491 log-prod_binary64_3915 frac-2neg_binary64_430 distribute-lft-in_binary64_2755 diff-log_binary64_3580 rem-exp-log_binary64_800 flip--_binary64_3463 pow-unpow_binary64_1860 pow-unpow_binary64_496 rem-cube-cbrt_binary64_783 sum-log_binary64_510 rem-cbrt-cube_binary64_1125 pow-sqr_binary64_3120 pow-pow_binary64_150 unpow3_binary64_144 distribute-lft-out_binary64_4803 swap-sqr_binary64_727 +-commutative_binary64_2054 unpow3_binary64_3554 cube-mult_binary64_108 pow1/3_binary64_1183 sum-log_binary64_2897 pow-unpow_binary64_155 pow-sub_binary64_2541 frac-times_binary64_1111 pow-prod-up_binary64_3217 swap-sqr_binary64_1409 associate--l+_binary64_2061 pow-unpow_binary64_2201 associate-*l/_binary64_1044 pow-to-exp_binary64_1170 clear-num_binary64_2805 cube-mult_binary64_3518 frac-2neg_binary64_3158 div-sub_binary64_2129 log-prod_binary64_505 pow-prod-down_binary64_4923 cube-prod_binary64 sqr-pow_binary64_3460 diff-log_binary64_511 +-commutative_binary64_349 1-exp_binary64_804 sub-neg_binary64_3481 frac-2neg_binary64_2817 +-commutative_binary64_2736 distribute-rgt-in_binary64_2756 frac-times_binary64_88
2×	div-inv_binary64_3826 cbrt-div_binary64_110 div-exp_binary64_3880 pow1/2_binary64_2886 distribute-lft-out_binary64_3439 cbrt-undiv_binary64_3863 cube-mult_binary64_3177 sub-neg_binary64 pow-exp_binary64_3215 exp-to-pow_binary64_822 rem-cube-cbrt_binary64_101 cbrt-unprod_binary64_4885 inv-pow_binary64_1868 flip3--_binary64 cbrt-div_binary64_451 pow1/3_binary64_2888 diff-log_binary64 pow-sqr_binary64_4825 flip-+_binary64_4826 flip-+_binary64_52 unpow3_binary64_826 pow-prod-up_binary64_3899 associate-/l/_binary64_3776 log-prod_binary64 sub-neg_binary64_1094 exp-sum_binary64_2511 rem-log-exp_binary64 unpow2_binary64_3212 associate-*r/_binary64 pow1/3_binary64 associate-+l+_binary64_2398 1-exp_binary64_3191 associate-/l/_binary64_2412 prod-exp_binary64_3878 pow-plus_binary64_2528 distribute-rgt-in_binary64_3779 pow-to-exp_binary64_3216 cancel-sign-sub-inv_binary64_4818 rec-exp_binary64_3197 associate-/r/_binary64_3775 sub-neg_binary64_4845 clear-num_binary64_3828 associate-/l/_binary64_3094 pow-prod-up_binary64_4922 flip3-+_binary64_3491 associate-*r/_binary64_1043 rem-cube-cbrt_binary64_2147 *-commutative_binary64_4783 flip3-+_binary64_4855 flip--_binary64 associate-+r+_binary64_3761 associate-/l/_binary64_2753 cancel-sign-sub-inv_binary64 associate-+r+_binary64_3079 pow-plus_binary64_3210 frac-times_binary64_770 pow-plus_binary64_2187 associate-*r/_binary64_3430 pow-prod-up_binary64_3558 cube-mult_binary64_790 diff-log_binary64_1193 associate--r+_binary64_3083 cbrt-div_binary64_792 pow2_binary64_3228 +-commutative_binary64_3759 associate-*r/_binary64_3771 flip-+_binary64_3462 pow2_binary64_2546 sum-log_binary64_3920 *-commutative_binary64_3760 associate-/r/_binary64_2411 associate-+l+_binary64_4785 prod-exp_binary64_4901 distribute-lft-in_binary64_3778 associate-*r/_binary64_4794 cancel-sign-sub-inv_binary64_1067 frac-2neg_binary64_3840 associate-/r/_binary64_706 pow-sqr_binary64_3802 un-div-inv_binary64_1781 distribute-lft-out_binary64_29 diff-log_binary64_4944 cbrt-unprod_binary64_3862 1-exp_binary64_2168 pow2_binary64_2205 pow-sqr_binary64_3461 div-sub_binary64_3834 sum-log_binary64_4943 sqr-pow_binary64_3119 flip3-+_binary64_81 div-sub_binary64_424 rec-exp_binary64_2174
1×	+-commutative_binary64_8 sqrt-unprod_binary64 rem-cbrt-cube_binary64_102 +-commutative_binary64_4782 sqrt-undiv_binary64_2486 flip3--_binary64_4856 pow1/3_binary64_501 flip--_binary64_3804 distribute-rgt-in_binary64_1733 rem-exp-log_binary64_1823 exp-sum_binary64_806 diff-log_binary64_1875 inv-pow_binary64_1186 pow2_binary64_841 unpow3_binary64_2531 pow-plus_binary64_3551 exp-sum_binary64_1829 associate-+r-_binary64_3763 sum-log_binary64_1533 exp-sum_binary64 cbrt-div_binary64_1474 cancel-sign-sub-inv_binary64_726 difference-of-squares_binary64 distribute-lft-in_binary64_1732 associate-/r/_binary64_24 rem-cbrt-cube_binary64 un-div-inv_binary64_1440 pow-pow_binary64_2196 distribute-rgt-in_binary64_28 associate-+l+_binary64_3080 +-commutative_binary64_1372 pow-plus_binary64_823 cube-div_binary64_1471 flip--_binary64_4827 cbrt-unprod_binary64_452 prod-exp_binary64_468 exp-to-pow_binary64_1845 sqr-pow_binary64_391 unpow3_binary64 distribute-lft-in_binary64_4801 sum-log_binary64 cube-mult_binary64 pow-plus_binary64_4915 rem-log-exp_binary64_1824 associate-+r+_binary64_2056 rem-exp-log_binary64 associate-/r/_binary64_365 distribute-lft-in_binary64_27 +-commutative_binary64_3418 rem-sqrt-square_binary64_773 diff-log_binary64_1534 cube-mult_binary64_2495 pow-to-exp_binary64_488 unpow1/3_binary64_486 *-commutative_binary64_350 sqr-pow_binary64_1414 pow2_binary64_3569 distribute-rgt-in_binary64_3438 pow-flip_binary64_3221 pow1/3_binary64_842 distribute-lft-in_binary64_3437 distribute-rgt-in_binary64 diff-log_binary64_852 pow1/3_binary64_1524 sqrt-div_binary64_95 cbrt-prod_binary64_791 rem-log-exp_binary64_460 distribute-rgt-in_binary64_4802 cube-mult_binary64_1472 unpow3_binary64_1508 un-div-inv_binary64_2122 rem-log-exp_binary64_3870 sqrt-unprod_binary64_439 associate--r-_binary64_2063 associate-+l-_binary64_2059 pow2_binary64_4933 sub-neg_binary64_1776 pow-flip_binary64_1175 pow-plus_binary64_3892 pow1/3_binary64_160 sub-neg_binary64_753 sum-log_binary64_3579 +-commutative_binary64 associate-+l-_binary64_4787 distribute-rgt-out--_binary64_714 pow2_binary64_3910 diff-log_binary64_3239 cube-div_binary64_2153 log-div_binary64_2211 inv-pow_binary64_3232 sqrt-pow2_binary64_438 pow-exp_binary64_487 sqr-pow_binary64 flip--_binary64_735 distribute-lft-in_binary64 sum-log_binary64_169 rem-cbrt-cube_binary64_1466 flip3--_binary64_764 un-div-inv_binary64_1099 cancel-sign-sub-inv_binary64_1749 flip3--_binary64_3833

Calls

468 calls:

416.0ms	(*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))
186.0ms	(*.f64 (/.f64 (+.f64 alpha 1) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))
176.0ms	(*.f64 (/.f64 (+.f64 alpha beta) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))
153.0ms	(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
143.0ms	(+.f64 (*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))) 1)