rewrite8.4s (1.7%)

Algorithm

151×	rewrite-expression-head

Rules

2998×	*-un-lft-identity_binary64_1455
2993×	times-frac_binary64_1461
2103×	add-sqr-sqrt_binary64_1477
1836×	*-un-lft-identity_binary64_2831
1342×	add-cube-cbrt_binary64_1490
1022×	sqrt-prod_binary64_1471
895×	times-frac_binary64_2493
886×	times-frac_binary64_1805
759×	times-frac_binary64_2837
737×	*-un-lft-identity_binary64_2487
716×	add-sqr-sqrt_binary64_1821
696×	times-frac_binary64_429
689×	distribute-lft-out_binary64_1406
669×	*-un-lft-identity_binary64_1799
604×	add-sqr-sqrt_binary64_2509
576×	distribute-lft-out_binary64_2782
526×	add-cube-cbrt_binary64_2522
511×	associate-*r*_binary64_1395
501×	*-un-lft-identity_binary64_1111
477×	times-frac_binary64_1117
451×	add-sqr-sqrt_binary64_1133
436×	add-cube-cbrt_binary64_1834
433×	times-frac_binary64_85
417×	add-exp-log_binary64_1493
395×	*-un-lft-identity_binary64_2143
386×	add-sqr-sqrt_binary64_445
385×	add-sqr-sqrt_binary64_2165
376×	pow1_binary64_140
368×	*-un-lft-identity_binary64_423
361×	add-cube-cbrt_binary64_458
359×	add-exp-log_binary64_1837
354×	distribute-lft-out--_binary64_2783
352×	add-cbrt-cube_binary64_1835
346×	add-cbrt-cube_binary64_1491
339×	sqrt-prod_binary64_2503
314×	log-pow_binary64_168 add-cube-cbrt_binary64_1146
310×	add-sqr-sqrt_binary64_101
307×	add-sqr-sqrt_binary64_789
295×	associate-*l*_binary64_1396
288×	*-un-lft-identity_binary64_79
282×	add-cube-cbrt_binary64_114
281×	add-sqr-sqrt_binary64_2853
276×	times-frac_binary64_773
262×	add-cube-cbrt_binary64_2178 associate-*r*_binary64_1739
254×	times-frac_binary64_2149
243×	add-exp-log_binary64_2181
230×	sqrt-prod_binary64_2159
226×	*-un-lft-identity_binary64_767
225×	difference-of-squares_binary64_1424
218×	add-sqr-sqrt_binary64
212×	add-cube-cbrt_binary64_802
193×	associate-/r/_binary64_1401
189×	add-cbrt-cube_binary64_2179
188×	distribute-lft-out--_binary64_1407
185×	associate-/r*_binary64_1399
183×	add-exp-log_binary64_805
169×	cbrt-prod_binary64_2518
164×	cbrt-prod_binary64_1486 sqrt-prod_binary64_1127
160×	*-un-lft-identity_binary64 associate-/r/_binary64_1745
158×	sqrt-prod_binary64_783 add-cube-cbrt_binary64
154×	add-cube-cbrt_binary64_2866 pow1_binary64_828 add-exp-log_binary64
153×	add-sqr-sqrt_binary64_3541
152×	add-log-exp_binary64_2870
151×	div-exp_binary64_1506 *-un-lft-identity_binary64_3519
150×	add-sqr-sqrt_binary64_3197
147×	associate-/l*_binary64_1400
146×	cancel-sign-sub-inv_binary64_2797
143×	div-exp_binary64_1850
141×	div-inv_binary64_1452
140×	pow1_binary64
139×	pow1_binary64_2204 cbrt-undiv_binary64_1833
135×	difference-of-squares_binary64_1768
131×	cbrt-undiv_binary64_1489
130×	flip-+_binary64_1429 flip3-+_binary64_1458
122×	pow1_binary64_2892
121×	flip3-+_binary64_1802 flip-+_binary64_1773
120×	add-cbrt-cube_binary64 pow1_binary64_484
118×	unpow-prod-down_binary64_2566
116×	pow1_binary64_1516
115×	add-exp-log_binary64_2869
110×	add-cbrt-cube_binary64_803
109×	distribute-lft-out_binary64_2438
108×	prod-exp_binary64_1504
107×	associate-*r*_binary64_707
105×	prod-exp_binary64_2192 add-exp-log_binary64_1149
104×	add-cbrt-cube_binary64_2867
103×	associate-*l*_binary64_708
100×	associate-/l*_binary64_2432
99×	cbrt-prod_binary64_110
98×	*-un-lft-identity_binary64_3175 associate-*l*_binary64 unswap-sqr_binary64_1423
97×	add-exp-log_binary64_461
96×	add-exp-log_binary64_3213
94×	add-cube-cbrt_binary64_3210
93×	add-cbrt-cube_binary64_1147 times-frac_binary64_3525
91×	pow1_binary64_3236
90×	cbrt-unprod_binary64_1488
89×	cbrt-unprod_binary64_1832 prod-exp_binary64_1848
88×	sqrt-div_binary64_96 *-un-lft-identity_binary64_4207
85×	add-cube-cbrt_binary64_3554 sqrt-prod_binary64
84×	add-cbrt-cube_binary64_115
83×	add-exp-log_binary64_117
82×	associate-*l*_binary64_2084
81×	prod-exp_binary64_816 log-pow_binary64_512
80×	pow1_binary64_1860
78×	add-log-exp_binary64_2182 add-cbrt-cube_binary64_3211
77×	frac-add_binary64_2839
76×	associate-*l*_binary64_2428 associate-/r*_binary64_1055
75×	associate-*r*_binary64 cbrt-prod_binary64_3206
74×	associate-*l*_binary64_1052
73×	associate-/r*_binary64_1743
72×	unpow-prod-down_binary64_2222 pow1_binary64_1172 associate-*r*_binary64_3115
68×	associate-/l*_binary64_1744
67×	difference-of-sqr-1_binary64_1769 times-frac_binary64
66×	pow1/3_binary64_161
65×	associate-*l*_binary64_1740 cbrt-unprod_binary64_2176
64×	associate-*r*_binary64_2083
62×	add-log-exp_binary64
61×	cbrt-div_binary64_111 sum-log_binary64_2922
59×	add-exp-log_binary64_2525 div-inv_binary64_1796
58×	flip3-+_binary64_2834 flip-+_binary64_2805 add-log-exp_binary64_1494
57×	associate-/r*_binary64_2087 distribute-lft-out--_binary64_1751
56×	cube-prod_binary64_107 associate-*r*_binary64_1051 add-sqr-sqrt_binary64_4229 unpow-prod-down_binary64_158
55×	prod-exp_binary64 distribute-lft-out_binary64_1062 pow1_binary64_2548 add-cbrt-cube_binary64_2523
54×	associate-*r*_binary64_2771 difference-of-squares_binary64_1080 add-log-exp_binary64_1150
53×	unpow-prod-down_binary64_1190
52×	flip-+_binary64_53 associate-/l*_binary64_24 add-cbrt-cube_binary64_459 associate-*l*_binary64_3116 flip3-+_binary64_82
51×	add-cbrt-cube_binary64_4587 add-exp-log_binary64_4589 add-cbrt-cube_binary64_3555
50×	associate-/r*_binary64_23 associate-*r/_binary64_4149 prod-exp_binary64_2880 sqrt-div_binary64_1472 difference-of-squares_binary64_2800
49×	div-exp_binary64_474 associate-/l*_binary64_1056
48×	distribute-lft-out_binary64_2094 pow-prod-up_binary64_149 add-exp-log_binary64_3557 cancel-sign-sub-inv_binary64_2109
47×	associate-*r/_binary64_1741 associate-/r*_binary64_367
46×	add-log-exp_binary64_1838 associate-*l*_binary64_3460 add-log-exp_binary64_118
45×	associate-*l*_binary64_2772 associate-*r*_binary64_19
44×	flip-+_binary64_4181 flip3-+_binary64_4210 frac-times_binary64_1809
43×	add-log-exp_binary64_2526 sqrt-pow1_binary64_97 div-inv_binary64_420 pow1/2_binary64_159
42×	unpow-prod-down_binary64 pow-prod-down_binary64_838 pow-prod-down_binary64_2902 cbrt-unprod_binary64_2864 sqrt-pow1_binary64_785
41×	pow-prod-down_binary64_2214 prod-exp_binary64_3224 associate-/l/_binary64_1402 frac-times_binary64_1465
40×	div-exp_binary64_818 sqr-pow_binary64_2459
39×	sqrt-prod_binary64_95 add-sqr-sqrt_binary64_4573 cbrt-prod_binary64_1830 add-cbrt-cube_binary64_4243 add-exp-log_binary64_4245 distribute-lft-out--_binary64_1063 add-log-exp_binary64_3214
38×	pow-prod-down_binary64 flip-+_binary64_2117 flip3-+_binary64_2146
37×	associate-*r*_binary64_4147
36×	sqrt-div_binary64_2160 *-un-lft-identity_binary64_4551 difference-of-squares_binary64_2112 cbrt-div_binary64_2863 pow1_binary64_4268 cbrt-unprod_binary64 pow-prod-down_binary64_150 log-div_binary64_166 add-log-exp_binary64_806
35×	pow1_binary64_3580 associate-/l*_binary64_368 add-cube-cbrt_binary64_4242
34×	unswap-sqr_binary64_735 sqrt-div_binary64_1128 cbrt-unprod_binary64_800 div-sub_binary64_84 cancel-sign-sub-inv_binary64_3141
33×	add-log-exp_binary64_3558 cbrt-unprod_binary64_3208
32×	pow-prod-down_binary64_3246 cbrt-prod_binary64_2862 pow-plus_binary64_142
31×	associate-*r*_binary64_3459 exp-prod_binary64_2539 associate-/l/_binary64_1746 flip3-+_binary64_1114 flip-+_binary64_1085 associate-*r/_binary64_2773
30×	associate-/r/_binary64_2089 unpow-prod-down_binary64_846 associate-/r*_binary64_711 div-exp_binary64_2194 associate-/r/_binary64_1057
29×	add-log-exp_binary64_4590
28×	distribute-lft-neg-in_binary64 frac-times_binary64_89 associate-*l/_binary64_2086 div-exp_binary64_1162 distribute-rgt-neg-in_binary64 unswap-sqr_binary64_3143
27×	associate-*r/_binary64_1397 pow1/3_binary64_3257 associate-*l/_binary64_1054 associate-/l*_binary64_2088 distribute-lft-out_binary64_1750 flip--_binary64_1086 flip3--_binary64_1115 associate-*l/_binary64_1398
26×	log-pow_binary64_856 sqrt-pow1_binary64_2161 sqrt-prod_binary64_439 unswap-sqr_binary64 frac-2neg_binary64_1466 clear-num_binary64_1454
25×	sqrt-prod_binary64_1815 distribute-lft-out_binary64_4158 div-inv_binary64_2484 pow1_binary64_4612 log-pow_binary64_2576 add-cube-cbrt_binary64_4586
24×	cbrt-undiv_binary64_2177 unpow-prod-down_binary64_1878 associate-*r*_binary64_363 cbrt-div_binary64_1831 associate-*l/_binary64_1742
23×	div-inv_binary64_1108 unswap-sqr_binary64_2111 *-commutative_binary64 pow-prod-down_binary64_1526
22×	difference-of-squares_binary64_3488 unpow-prod-down_binary64_3254 add-log-exp_binary64_462 unpow-prod-down_binary64_1534 associate-*r/_binary64_3461 pow1/2_binary64_847 cube-prod_binary64_2171 distribute-lft-out_binary64_3470 cube-prod_binary64_1483
21×	associate-*l*_binary64_20 sqrt-prod_binary64_4223 associate-/r*_binary64_2431 sqr-pow_binary64_1083 associate-*l/_binary64_2774
20×	pow1/2_binary64_2223 swap-sqr_binary64_1422 associate-/r/_binary64_2433 associate-*l*_binary64_4148 pow1/3_binary64_2569 cbrt-undiv_binary64_1145 difference-of-squares_binary64_2456
19×	associate-/r*_binary64_3463 flip3-+_binary64_3522 div-inv_binary64_2140 div-inv_binary64_76 flip-+_binary64_3493 cancel-sign-sub-inv_binary64_2453 unswap-sqr_binary64_1767
18×	sqrt-div_binary64_4224 pow1/3_binary64_2913 cbrt-undiv_binary64_801 associate--l+_binary64_2768 associate-/l*_binary64 swap-sqr_binary64_3142 pow-sqr_binary64_52
17×	log-prod_binary64_1885 flip--_binary64_2806 flip3--_binary64_2835 prod-exp_binary64_4600 associate-*r*_binary64_4491 cbrt-unprod_binary64_4584 pow-flip_binary64_1529 sqrt-div_binary64_784 cbrt-undiv_binary64_457
16×	rem-sqrt-square_binary64_2156 associate-/l*_binary64_3464 frac-times_binary64_2841 swap-sqr_binary64_2798 pow-unpow_binary64_2564 clear-num_binary64_1798 diff-log_binary64_2923 sqrt-div_binary64_440 frac-sub_binary64_4216 div-exp_binary64_2538 associate-*l*_binary64_4492 unswap-sqr_binary64_2799 frac-times_binary64_4217 frac-2neg_binary64_1810 div-inv_binary64_764
15×	log-prod_binary64_165 flip--_binary64_2118 *-commutative_binary64_3106 *-commutative_binary64_2762 distribute-lft-out--_binary64_2095 pow-prod-up_binary64_837 flip3--_binary64_2147 sqrt-pow1_binary64_2505 unswap-sqr_binary64_1079
14×	1-exp_binary64_467 cbrt-undiv_binary64_113 rec-exp_binary64_817 associate-*r/_binary64_2085 div-exp_binary64_130 sqrt-div_binary64_3536 add-log-exp_binary64_4246 flip3-+_binary64_770 1-exp_binary64_811 associate-/l/_binary64_1058 sub-neg_binary64_2824 sqr-pow_binary64_1427 associate-*l/_binary64_22 sqrt-pow1_binary64 cube-prod_binary64_3203 rec-exp_binary64_473 log-pow_binary64_1888 cbrt-div_binary64_1487 pow-prod-down_binary64_1870 sqrt-pow1_binary64_441 *-commutative_binary64_1386 flip-+_binary64_741 sqrt-div_binary64 associate-*r/_binary64_4493
13×	prod-exp_binary64_1160 cbrt-unprod_binary64_1144 pow1/2_binary64 flip-+_binary64_2461 log-pow_binary64 flip3-+_binary64_2490 associate-*r/_binary64_365 frac-times_binary64_1121 sqrt-pow1_binary64_1129 associate-/l*_binary64_712
12×	swap-sqr_binary64_734 cancel-sign-sub-inv_binary64_1077 frac-sub_binary64_2840 pow-prod-down_binary64_1182 cbrt-unprod_binary64_112 swap-sqr_binary64_46 *-commutative_binary64_698 associate-*r/_binary64_1053 cube-prod_binary64_1827 pow2_binary64_160 distribute-lft-out--_binary64_2439 prod-exp_binary64_128 div-exp_binary64 associate-/r/_binary64_2777 sqr-pow_binary64_2115 frac-add_binary64_2151 cbrt-undiv_binary64_2521 associate-/l/_binary64_2090 *-commutative_binary64_2074
11×	cbrt-unprod_binary64_3552 flip--_binary64_1774 distribute-lft-out--_binary64_3471 frac-2neg_binary64_1122 cbrt-unprod_binary64_4240 pow-exp_binary64 prod-exp_binary64_4256 flip3--_binary64_1803 rem-sqrt-square_binary64_92 associate-*r/_binary64_21 1-exp_binary64_1499 associate-*r*_binary64_2427 prod-exp_binary64_3568 clear-num_binary64_1110
10×	flip--_binary64_1430 associate-*r/_binary64_709 flip3--_binary64_1459 distribute-rgt-in_binary64_1061 associate-*l/_binary64_4150 pow1/2_binary64_1191 pow-exp_binary64_1523 pow1/3_binary64_1881 distribute-lft-in_binary64_1060 cancel-sign-sub-inv_binary64_3485 sqr-pow_binary64_3147
9×	flip3-+_binary64 flip--_binary64_4526 pow-prod-down_binary64_494 times-frac_binary64_4213 clear-num_binary64_2142 pow-prod-down_binary64_3590 pow-to-exp_binary64_1524 associate-*l*_binary64_364 pow-prod-down_binary64_4278 associate-/r*_binary64_4151 frac-2neg_binary64_90 sqrt-prod_binary64_3535 cancel-sign-sub-inv_binary64_4517 distribute-lft-in_binary64_3468 flip3--_binary64_4555 pow1/2_binary64_503 distribute-rgt-in_binary64_3469 rem-sqrt-square_binary64 pow1/3_binary64_1537 clear-num_binary64_78 pow-sqr_binary64_740 rem-sqrt-square_binary64_2500 pow-unpow_binary64_1532 frac-2neg_binary64_2154 sqr-pow_binary64 +-commutative_binary64_2761 flip-+_binary64
8×	sqrt-div_binary64_1816 cbrt-undiv_binary64_4585 unpow-prod-down_binary64_2910 div-exp_binary64_4602 pow-pow_binary64_2559 log-prod_binary64_509 neg-mul-1_binary64 associate-/r/_binary64_3465 diff-log_binary64_2235 distribute-rgt-in_binary64_4157 distribute-lft-in_binary64_4156 unswap-sqr_binary64_2455 flip3--_binary64_427 sqr-pow_binary64_1771 *-commutative_binary64_1730 sub-neg_binary64_2136 unswap-sqr_binary64_3487 unswap-sqr_binary64_47 flip--_binary64_398 pow-exp_binary64_835 frac-times_binary64_2153
7×	frac-times_binary64_777 distribute-rgt-in_binary64_4501 div-exp_binary64_3570 cbrt-undiv_binary64_3553 distribute-rgt-in_binary64_29 pow-pow_binary64_1527 *-commutative_binary64_1042 clear-num_binary64_422 *-commutative_binary64_4138 distribute-lft-in_binary64_28 pow-prod-down_binary64_4622 frac-2neg_binary64_434 *-commutative_binary64_3450 sum-log_binary64_1202 unswap-sqr_binary64_391 distribute-lft-in_binary64_2780 distribute-lft-in_binary64_4500 pow1/2_binary64_2567 unswap-sqr_binary64_4175 pow-exp_binary64_2211 exp-prod_binary64_475 distribute-rgt-in_binary64_2781
6×	exp-sum_binary64_1845 associate-/r*_binary64 distribute-lft-in_binary64_3124 +-commutative_binary64_1041 div-inv_binary64_3516 pow-to-exp_binary64 div-inv_binary64_2828 *-commutative_binary64_10 difference-of-sqr-1_binary64_2457 associate-/l/_binary64_3466 associate-*l/_binary64_4494 cube-mult_binary64_1485 unpow3_binary64_1521 difference-of-squares_binary64_4520 pow-prod-up_binary64_3245 div-sub_binary64_1460 cbrt-div_binary64_2519 distribute-rgt-in_binary64_3125 flip--_binary64_3494 sub-neg_binary64_3168 frac-times_binary64_3529 pow-sqr_binary64_3148 swap-sqr_binary64_4174 associate-*r/_binary64_3117 diff-log_binary64_4643 frac-add_binary64_1119 rem-sqrt-square_binary64_1124 1-exp_binary64_2187 swap-sqr_binary64_2454 associate-/r*_binary64_4495 flip3--_binary64_3523 associate-+l-_binary64_2766 rec-exp_binary64_2193 associate-+r+_binary64_3451 sin-sum_binary64 times-frac_binary64_4557 sum-log_binary64_3610
5×	flip--_binary64_2462 pow-prod-up_binary64_2901 frac-2neg_binary64_778 flip-+_binary64_4525 pow-sqr_binary64_2804 associate-*l/_binary64_710 rec-exp_binary64_1505 associate-+l+_binary64_2764 frac-2neg_binary64_2498 pow-to-exp_binary64_2212 exp-prod_binary64_1851 flip3--_binary64_2491 frac-2neg_binary64_3530 +-commutative_binary64_3449 +-commutative_binary64_697 sum-log_binary64_858 distribute-lft-out_binary64_4502 clear-num_binary64_2486 flip3-+_binary64_4554 diff-log_binary64_2579 *-commutative_binary64_4482 pow3_binary64_162 sub-neg_binary64_4544 pow-prod-down_binary64_2558 pow-prod-up_binary64_1525 clear-num_binary64_766 prod-exp_binary64_472 difference-cubes_binary64_1113 pow-sqr_binary64_1428 clear-num_binary64_3518
4×	flip--_binary64_3150 +-commutative_binary64_2073 +-commutative_binary64_9 sub-neg_binary64_2480 sub-div_binary64_4214 pow2_binary64_1536 distribute-lft-out--_binary64_4159 cbrt-unprod_binary64_2520 rem-sqrt-square_binary64_780 sub-neg_binary64 associate-/r/_binary64_4153 sqrt-pow1_binary64_1473 sum-log_binary64_4642 flip3--_binary64_4211 diff-log_binary64_3267 sqr-pow_binary64_2803 diff-log_binary64 cube-mult_binary64_1829 rec-exp_binary64 flip3--_binary64_3179 associate-/l/_binary64_4498 sqrt-pow1_binary64_2849 difference-of-sqr-1_binary64_2801 1-exp_binary64 associate--r+_binary64_1735 associate-/l/_binary64_4154 cube-prod_binary64_2859 unpow3_binary64_3241 exp-sum_binary64_469 flip--_binary64_4182 inv-pow_binary64_508 pow-plus_binary64_1518 cube-mult_binary64_3205 associate-+r+_binary64_1043 pow-to-exp_binary64_3244 pow-prod-up_binary64_2557 sub-neg_binary64_3512 associate-+l+_binary64_1044 sum-log_binary64_170 pow-sqr_binary64_2460 cancel-sign-sub-inv_binary64 pow-exp_binary64_3243 associate--r+_binary64_2423 1-exp_binary64_1155 rec-exp_binary64_1161 rem-cube-cbrt_binary64_1478 difference-of-squares_binary64_392 pow-flip_binary64_497 cbrt-undiv_binary64_4241 sum-log_binary64_1546 unpow3_binary64_1865 log-div_binary64_510 prod-exp_binary64_2536 associate-/l/_binary64_2434 +-commutative_binary64_1385 unswap-sqr_binary64_4519 div-sub_binary64_3524 associate-+r+_binary64_2763 associate--l-_binary64_2769 associate-/r/_binary64_4497 div-sub_binary64_2148 sum-log_binary64_2234 cancel-sign-sub-inv_binary64_1765 div-exp_binary64_4258
3×	difference-of-squares_binary64_4176 pow-exp_binary64_2899 cancel-sign-sub-inv_binary64_4173 associate-*l/_binary64_3462 sub-neg_binary64_4200 distribute-lft-out--_binary64_375 pow-plus_binary64_3238 inv-pow_binary64_1540 distribute-lft-out_binary64_718 pow-exp_binary64_2555 pow-unpow_binary64_156 pow-unpow_binary64_2220 flip3--_binary64 exp-prod_binary64_1507 +-commutative_binary64_1729 pow-to-exp_binary64_2556 cbrt-undiv_binary64 diff-log_binary64_1203 flip3-+_binary64_3178 exp-prod_binary64 un-div-inv_binary64_765 flip--_binary64 pow2_binary64_2912 sum-log_binary64_1890 pow-unpow_binary64 pow-to-exp_binary64_2900 sqrt-pow1_binary64_1817 associate-/r/_binary64_25 pow2_binary64_3256 flip-+_binary64_3149 associate-+r-_binary64_3453 log-prod_binary64_2573 div-inv_binary64 distribute-lft-out--_binary64_4503 associate--l+_binary64_1736 pow-plus_binary64_2894 rem-cube-cbrt_binary64_2166 cbrt-unprod_binary64_456 cancel-sign-sub-inv_binary64_389 rem-sqrt-square_binary64_1812 sub-neg_binary64_1104 distribute-lft-out_binary64_30
2×	div-inv_binary64_4548 exp-diff_binary64_1847 pow-to-exp_binary64_836 pow1/2_binary64_2911 associate--l+_binary64_4144 pow-exp_binary64_147 pow1/2_binary64_4287 associate-+r+_binary64_1731 frac-sub_binary64_2496 div-sub_binary64_2492 pow2_binary64_848 cube-div_binary64_108 distribute-rgt-in_binary64_2093 exp-sum_binary64 distribute-lft-in_binary64_1748 pow1/2_binary64_1535 sqr-pow_binary64_739 exp-neg_binary64_3566 unpow3_binary64_2209 sqrt-prod_binary64_2847 clear-num_binary64 associate--r+_binary64_4143 associate-/l*_binary64_4496 *-commutative_binary64_2418 sqr-pow_binary64_51 frac-times_binary64_2497 pow-to-exp_binary64_1868 associate-+l+_binary64_3108 rem-sqrt-square_binary64_4220 pow-plus_binary64_2550 cube-mult_binary64_2173 +-commutative_binary64_4481 div-sub_binary64_1116 div-inv_binary64_4204 sqrt-pow1_binary64_4225 rem-sqrt-square_binary64_436 sum-log_binary64_3266 sum-log_binary64 pow1/2_binary64_1879 associate-+r+_binary64_4483 associate-*r/_binary64_2429 *-commutative_binary64_354 associate-/r/_binary64_369 sqrt-unprod_binary64_787 rem-exp-log_binary64 pow2_binary64_2568 distribute-rgt-in_binary64_1749 difference-of-squares_binary64_3144 flip3-+_binary64_426 rem-cube-cbrt_binary64_102 cube-mult_binary64_109 flip-+_binary64_397 pow-exp_binary64_1867 frac-2neg_binary64 clear-num_binary64_4206 associate-/l*_binary64_4152 distribute-lft-out--_binary64_3127 diff-log_binary64_3611 pow-flip_binary64_1185 rem-square-sqrt_binary64_779 pow-pow_binary64 +-commutative_binary64 associate-/l/_binary64_26 pow-plus_binary64_830 inv-pow_binary64_1196 distribute-lft-in_binary64_2092 exp-diff_binary64_471 rem-cbrt-cube_binary64_1479 log-div_binary64_1886 unpow3_binary64_145 clear-num_binary64_4550 pow-div_binary64_1186 frac-2neg_binary64_4562 frac-2neg_binary64_4218
1×	cube-prod_binary64_1139 sqrt-unprod_binary64 associate-+l-_binary64_1046 +-commutative_binary64_2417 associate-*l/_binary64_2430 un-div-inv_binary64_3517 cube-mult_binary64_1141 sub-neg_binary64_416 associate-+l-_binary64_2422 rem-exp-log_binary64_1839 associate-/l/_binary64_370 distribute-rgt-in_binary64_2437 associate-+l-_binary64_4486 associate--l+_binary64_4488 diff-log_binary64_1891 sub-neg_binary64_1792 associate-/r/_binary64_713 rem-exp-log_binary64_2527 pow-plus_binary64_4270 difference-of-squares_binary64 unpow3_binary64_1177 rem-log-exp_binary64_464 exp-to-pow_binary64_2549 sqrt-unprod_binary64_443 distribute-lft-in_binary64_2436 exp-sum_binary64_2877 sqrt-undiv_binary64_2164 exp-diff_binary64_3567 diff-log_binary64_515 unpow3_binary64_2897 pow2_binary64_4288 +-commutative_binary64_353 pow-sub_binary64_2907 frac-add_binary64_1807 rem-log-exp_binary64_2528 rem-exp-log_binary64_463 cube-div_binary64_2172 pow-pow_binary64_151 pow-sqr_binary64_4180 rem-cbrt-cube_binary64_103 associate--r-_binary64_2426 exp-diff_binary64 rem-log-exp_binary64_120 sum-log_binary64_2578 pow-to-exp_binary64_148 unpow1/2_binary64 pow-pow_binary64_2215 pow-prod-up_binary64_4277 distribute-lft-in_binary64_1404 neg-sub0_binary64_3514 cube-mult_binary64_2861 +-commutative_binary64_3105 distribute-lft-in_binary64_716 distribute-rgt-in_binary64_1405 div-sub_binary64_2836 diff-log_binary64_4299 associate-+l-_binary64_3110 un-div-inv_binary64_421 cos-sum_binary64 associate--l-_binary64_4489 sum-log_binary64_514 associate-*l/_binary64 distribute-rgt-in_binary64_717 distribute-rgt-out--_binary64_4161 rem-log-exp_binary64_1840 sqr-abs_binary64_782

Calls

449 calls:

290.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
283.0ms	(*.f64 (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (/.f64 (/.f64 (+.f64 alpha beta) (sqrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) 1))
142.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))))))
125.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)))
100.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))