rewrite10.1s (2.7%)

Algorithm

159×	rewrite-expression-head

Rules

5397×	*-un-lft-identity_binary64_2099
4843×	times-frac_binary64_2105
2846×	times-frac_binary64_1431
2639×	times-frac_binary64_83
2252×	add-sqr-sqrt_binary64_2120
1986×	add-sqr-sqrt_binary64_1446
1964×	add-cube-cbrt_binary64_2131
1948×	distribute-lft-out_binary64_2052
1766×	*-un-lft-identity_binary64_1425
1716×	*-un-lft-identity_binary64_1762
1617×	times-frac_binary64_1768
1563×	sqrt-prod_binary64_2114
1264×	*-un-lft-identity_binary64_77
1258×	add-sqr-sqrt_binary64_98
1240×	add-cube-cbrt_binary64_109
1198×	add-sqr-sqrt_binary64_1783
1160×	add-cube-cbrt_binary64_1457
851×	add-cube-cbrt_binary64_1794
847×	add-exp-log_binary64_1460
770×	associate-*l*_binary64_2042
725×	add-cbrt-cube_binary64_1458
689×	times-frac_binary64_757
685×	associate-*r*_binary64_2041
646×	associate-*r*_binary64_1367
640×	sqrt-prod_binary64_92
506×	associate-*r*_binary64_1704
505×	add-sqr-sqrt_binary64_772
383×	*-un-lft-identity_binary64_751
375×	difference-of-squares_binary64_1394
367×	add-cube-cbrt_binary64_783
333×	distribute-lft-out_binary64_1715
323×	cbrt-prod_binary64_1790
322×	add-exp-log_binary64_2134
321×	add-sqr-sqrt_binary64_2457
317×	unpow-prod-down_binary64_2175
316×	div-exp_binary64_1473 pow1_binary64_135
308×	prod-exp_binary64_1471
290×	*-un-lft-identity_binary64_2436
288×	add-exp-log_binary64_1797
277×	associate-/r/_binary64_1373
276×	cbrt-unprod_binary64_1455
273×	pow1_binary64_809
271×	*-un-lft-identity_binary64_1088
268×	add-exp-log_binary64_2471
260×	log-pow_binary64_163
259×	add-sqr-sqrt_binary64_1109
243×	sqrt-prod_binary64_766
240×	add-cbrt-cube_binary64_2132
239×	cbrt-undiv_binary64_1456
227×	pow1_binary64_1483
226×	add-cbrt-cube_binary64_1795
213×	add-exp-log_binary64_112 add-cube-cbrt_binary64_2468
200×	add-cbrt-cube_binary64_2469
186×	add-sqr-sqrt_binary64_435
184×	distribute-lft-out--_binary64_1379
181×	associate-/r*_binary64_1371
179×	add-cube-cbrt_binary64_1120
178×	flip3-+_binary64_1428 flip-+_binary64_1399
176×	times-frac_binary64_420 log-pow_binary64_837
175×	associate-*r*_binary64_693
173×	associate-*l*_binary64_1368
171×	difference-of-sqr-1_binary64_1395
167×	times-frac_binary64_1094
159×	*-un-lft-identity_binary64_414 *-un-lft-identity_binary64_2773
158×	associate-/r*_binary64_23
153×	pow1_binary64_2494
152×	associate-/r/_binary64_2047 add-sqr-sqrt_binary64_2794
150×	associate-/l*_binary64_2046
148×	swap-sqr_binary64_2066
147×	pow1_binary64
145×	add-cube-cbrt_binary64_446
144×	*-un-lft-identity_binary64_3110 flip3-+_binary64_2102 flip-+_binary64_2073
143×	pow1_binary64_1146
140×	times-frac_binary64_2779
139×	add-sqr-sqrt_binary64
138×	add-log-exp_binary64_2472
133×	prod-exp_binary64_2482
132×	pow1_binary64_2157
131×	div-inv_binary64_1422
127×	sqrt-prod_binary64_1777
124×	sqrt-prod_binary64_1103
122×	associate-/r/_binary64_1710
121×	add-cube-cbrt_binary64_2805
118×	pow1_binary64_3505
117×	distribute-lft-out--_binary64_1716
116×	associate-*r*_binary64_2378
115×	*-un-lft-identity_binary64 pow1_binary64_472 sqr-pow_binary64_2071 div-exp_binary64_2147
113×	add-cbrt-cube_binary64_110 difference-of-squares_binary64_1731 associate-/l*_binary64_1709
108×	add-exp-log_binary64_1123 add-exp-log_binary64_3482
104×	*-un-lft-identity_binary64_3784 associate-*l*_binary64_2379
103×	div-exp_binary64_125 unpow-prod-down_binary64_1838
101×	pow1_binary64_1820
99×	add-exp-log_binary64_786 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 times-frac_binary64_2442
98×	associate-/r*_binary64_1708 div-inv_binary64_74
97×	div-inv_binary64_2096
96×	sqrt-prod_binary64
93×	flip-+_binary64_1736 flip3-+_binary64_1765
92×	sqrt-prod_binary64_2451
91×	sqrt-prod_binary64_1440
90×	add-sqr-sqrt_binary64_3805 add-cbrt-cube_binary64_1121 cbrt-div_binary64_4150
89×	cbrt-prod_binary64_2464
87×	add-log-exp_binary64_1798 add-sqr-sqrt_binary64_3131
86×	associate-*l*_binary64_694 cbrt-prod_binary64_1116
84×	add-cbrt-cube_binary64_784
83×	div-exp_binary64_1810 associate-/r*_binary64_2045
82×	add-cbrt-cube_binary64_3480
81×	add-exp-log_binary64_3145
80×	prod-exp_binary64_2145
79×	log-pow_binary64_500 unswap-sqr_binary64_2067
78×	pow1_binary64_3168 associate-*r/_binary64_2380
77×	prod-exp_binary64_1808 cbrt-unprod_binary64_2466
76×	frac-add_binary64_2444
74×	associate-*r*_binary64_1030 cbrt-undiv_binary64_1793
73×	associate-/l*_binary64_24 cbrt-unprod_binary64_1792 associate-*r/_binary64_2043 associate-*l*_binary64_1705
72×	associate-/l*_binary64_1372 add-exp-log_binary64_4156 frac-add_binary64_2107
71×	add-log-exp_binary64_1461
70×	cbrt-undiv_binary64_2130 frac-times_binary64_2109
69×	add-cbrt-cube_binary64_3143
68×	add-sqr-sqrt_binary64_3468
66×	div-inv_binary64_1759 *-un-lft-identity_binary64_4121
65×	flip-+_binary64_2410 flip3-+_binary64_2439 associate-*r/_binary64_1369 frac-times_binary64_1435
63×	pow-prod-down_binary64_3515
61×	prod-exp_binary64_3493 cbrt-unprod_binary64_3477
58×	add-log-exp_binary64_2135 add-exp-log_binary64_2808 cbrt-unprod_binary64_2129 cbrt-prod_binary64_3138 associate-*r/_binary64_4065
57×	associate-*r*_binary64_19 sqrt-prod_binary64_429 associate-*l/_binary64_1370
56×	add-log-exp_binary64_1124 add-cube-cbrt_binary64_3142
54×	add-log-exp_binary64 associate-*l*_binary64 cbrt-div_binary64_1117 add-cube-cbrt_binary64_3816
53×	cbrt-prod_binary64_3475 add-sqr-sqrt_binary64_4142
52×	*-un-lft-identity_binary64_3447
51×	pow-prod-down_binary64_1493
50×	log-prod_binary64_1845 times-frac_binary64_3790 flip3-+_binary64_4124 add-cube-cbrt_binary64_3479 flip-+_binary64_4095
49×	cbrt-prod_binary64_4149
48×	unpow-prod-down_binary64_1164 associate-*r*_binary64 associate-*l*_binary64_2716
47×	pow-prod-down_binary64 associate-*l*_binary64_3053 pow-prod-down_binary64_2504 cube-prod_binary64_1787 associate-*l*_binary64_1031
45×	unpow-prod-down_binary64_2512
44×	distribute-lft-out_binary64_3063 add-exp-log_binary64_449 unswap-sqr_binary64_1393
43×	unswap-sqr_binary64_2404 add-cbrt-cube_binary64_447
42×	distribute-lft-out_binary64_1041
41×	unswap-sqr_binary64_719 add-cbrt-cube_binary64_2806
40×	pow-prod-down_binary64_1156 add-log-exp_binary64_787 add-cube-cbrt_binary64_4153 add-log-exp_binary64_3820
39×	flip3--_binary64_1429 flip--_binary64_1400 swap-sqr_binary64_1729 sqrt-pow1_binary64_768
38×	cbrt-undiv_binary64_108 associate-*r*_binary64_3052 add-cbrt-cube_binary64_4154 pow1_binary64_4179
37×	unswap-sqr_binary64_1730 log-prod_binary64_497 sum-log_binary64_2524 pow-prod-up_binary64_1492
36×	add-log-exp_binary64_450 cbrt-div_binary64_3139 frac-times_binary64_4131 unpow-prod-down_binary64_2849 sqrt-pow1_binary64 cbrt-div_binary64_2128
35×	prod-exp_binary64_3156 associate-/r*_binary64_697 flip-+_binary64_1062 add-log-exp_binary64_113 flip3-+_binary64_1091
34×	distribute-lft-out_binary64_2389
33×	rec-exp_binary64_124 associate-/r*_binary64_2719 1-exp_binary64_118 log-prod_binary64_834
32×	add-cbrt-cube_binary64_3817 associate-*l/_binary64_2044 cbrt-prod_binary64_2127 cbrt-div_binary64_2465
31×	associate-/l/_binary64_1711 distribute-lft-out_binary64_1378 prod-exp_binary64_4167 associate-/r*_binary64_360
30×	add-exp-log_binary64_3819 associate-*l*_binary64_3390 associate-*r/_binary64_3054 associate-*r*_binary64_3389 prod-exp_binary64_1134 sqrt-div_binary64
29×	prod-exp_binary64 cbrt-unprod_binary64_3140 flip-+_binary64_3084 pow-prod-down_binary64_819 flip3-+_binary64_3113 associate-*l*_binary64_4064 cbrt-unprod_binary64
28×	cbrt-prod_binary64_105 unswap-sqr_binary64_1056 associate-/l/_binary64_1374 add-log-exp_binary64_2809 prod-exp_binary64_123
27×	pow-prod-down_binary64_3178 pow1/3_binary64_1167 log-prod_binary64_2182 pow1/2_binary64
26×	associate-*l/_binary64_2381 pow1_binary64_3842 div-exp_binary64_799
25×	exp-sum_binary64_1805 add-log-exp_binary64_3483 associate-/l/_binary64_2048 add-log-exp_binary64_3146 pow-unpow_binary64_825
24×	sqrt-div_binary64_430 associate-*r*_binary64_4063 cbrt-unprod_binary64_1118 pow1_binary64_2831 swap-sqr_binary64_3077
23×	div-inv_binary64_748 pow-sqr_binary64_1398
22×	associate-/r*_binary64_1034 sqrt-div_binary64_1104 pow-prod-down_binary64_2167 sqrt-div_binary64_1778
21×	*-commutative_binary64_2369 div-exp_binary64_2484 *-un-lft-identity_binary64_4458
20×	cbrt-undiv_binary64_782 clear-num_binary64_1761 flip3--_binary64_1092 add-log-exp_binary64_4157 frac-2neg_binary64_1436 frac-2neg_binary64_1773 exp-sum_binary64_457 associate-/l*_binary64_698 clear-num_binary64_1424 sqrt-div_binary64_1441 flip--_binary64_1063
19×	pow-plus_binary64_1485 associate-*r*_binary64_356 frac-times_binary64_1772 cbrt-unprod_binary64_4151 prod-exp_binary64_797 pow1/2_binary64_828
18×	pow1/3_binary64_2515 pow-prod-down_binary64_1830 sqrt-pow1_binary64_431 pow1/3_binary64_2178 pow1/3_binary64_3526 pow1/3_binary64_3189 add-sqr-sqrt_binary64_4479 cbrt-prod_binary64_442 associate-*l/_binary64_3055 associate-*l/_binary64_4066
17×	flip3-+_binary64 associate-/l*_binary64_2720 exp-prod_binary64_2148 1-exp_binary64_1466 rec-exp_binary64_1472 associate-*l/_binary64_1707 associate-/l*_binary64_361 flip-+_binary64
16×	flip3--_binary64_1766 flip3-+_binary64_417 div-exp_binary64_2821 *-commutative_binary64_2032 flip--_binary64_1737 associate-/r*_binary64_2382 sqr-pow_binary64_2408 cbrt-unprod_binary64_781 flip-+_binary64_388 rem-sqrt-square_binary64 associate-/l/_binary64_2385 frac-add_binary64_1433 pow1/2_binary64_491 distribute-lft-out_binary64_3737 sqrt-pow1_binary64_2453 *-commutative_binary64_1358
15×	cbrt-undiv_binary64_2467 associate-*l*_binary64_20 associate-*r*_binary64_3726 log-pow_binary64_2185 frac-2neg_binary64_88 add-log-exp_binary64_4494 clear-num_binary64_76 cbrt-prod_binary64 *-commutative_binary64
14×	div-exp_binary64_1136 distribute-lft-out--_binary64_2390 swap-sqr_binary64_1055 cbrt-unprod_binary64_107 pow2_binary64_1503 associate-/r/_binary64_1036 unswap-sqr_binary64_3078 diff-log_binary64_2525 log-pow_binary64_2859
13×	sqrt-div_binary64_2452 frac-2neg_binary64_2110 clear-num_binary64_2098 pow-prod-down_binary64_4189 associate-/l*_binary64_1035
12×	frac-times_binary64_3120 distribute-lft-out--_binary64_3738 associate-*r*_binary64_4400 add-cube-cbrt_binary64_4490 exp-prod_binary64_2822 add-cbrt-cube_binary64_4491 pow1_binary64_4516 log-div_binary64_498 sqr-pow_binary64_2745 associate-*l*_binary64_357 cbrt-div_binary64_443 associate-/l*_binary64_2383 swap-sqr_binary64_3414 unpow-prod-down_binary64_153 associate-*l*_binary64_3727 frac-times_binary64_2446 pow-prod-up_binary64_818 unpow-prod-down_binary64_827 pow-pow_binary64_2168 cube-prod_binary64_2798 associate-*r/_binary64_3728 *-commutative_binary64_3043 associate-/l*_binary64_3731 unswap-sqr_binary64 flip3-+_binary64_2776 difference-of-squares_binary64_3753 distribute-lft-out_binary64_2726 pow-sqr_binary64_1061 pow-prod-up_binary64_1155 sqr-pow_binary64_1734 distribute-lft-out_binary64_4074 associate-/r/_binary64_2721 pow1/2_binary64_2513 add-exp-log_binary64_4493 flip-+_binary64_2747 cube-prod_binary64_102 sub-neg_binary64_2429 distribute-lft-out_binary64_30
11×	associate-*r/_binary64_1706 unpow-prod-down_binary64 div-sub_binary64_1767 frac-times_binary64_1098 associate-/r*_binary64_3730 sum-log_binary64_1850 flip-+_binary64_725 associate-/r/_binary64_25 flip3-+_binary64_754 pow-prod-down_binary64_145 pow-flip_binary64_148
10×	pow-to-exp_binary64_2502 flip-+_binary64_3758 *-commutative_binary64_3380 associate-*l*_binary64_4401 unswap-sqr_binary64_382 pow-exp_binary64_2164 pow-to-exp_binary64_2165 pow-exp_binary64_2501 *-commutative_binary64_1695 cbrt-div_binary64_1791 flip3-+_binary64_3787 prod-exp_binary64_2819 difference-of-squares_binary64_2405
9×	flip3--_binary64_418 flip-+_binary64_51 +-commutative_binary64_1694 div-exp_binary64_4169 pow-unpow_binary64_2173 pow1/3_binary64_830 sqrt-pow1_binary64_1442 times-frac_binary64_4127 cbrt-undiv_binary64_1119 diff-log_binary64_3873 unswap-sqr_binary64_3415 associate-*r*_binary64_2715 associate-*r/_binary64_21 flip--_binary64_389 exp-sum_binary64_2479 pow1/3_binary64_4200 associate-/r*_binary64_4067 flip3-+_binary64_80 swap-sqr_binary64_4088
8×	cbrt-undiv_binary64_2804 log-div_binary64_835 flip3--_binary64_2777 sub-neg_binary64_2766 cube-prod_binary64_2461 flip--_binary64_2748 unswap-sqr_binary64_45 +-commutative_binary64_2368 distribute-lft-out_binary64 difference-of-squares_binary64_383 div-inv_binary64_2433 pow-sqr_binary64_724 associate-/l/_binary64_1037 rec-exp_binary64_2146 distribute-lft-neg-in_binary64 swap-sqr_binary64_718 div-inv_binary64_2770 inv-pow_binary64_159 distribute-rgt-neg-in_binary64 log-prod_binary64_2856 sum-log_binary64_1513 div-inv_binary64_411 1-exp_binary64_2140 cbrt-prod_binary64_3812 associate-*r/_binary64_358 difference-of-squares_binary64_2742 unswap-sqr_binary64_2741
7×	distribute-lft-out--_binary64_368 unpow-prod-down_binary64_4197 associate-*l/_binary64_1033 distribute-lft-in_binary64_702 distribute-rgt-in_binary64_2051 unpow3_binary64_1825 flip--_binary64_3085 *-commutative_binary64_684 div-inv_binary64_1085 unswap-sqr_binary64_4089 log-pow_binary64 cube-mult_binary64_1789 cbrt-prod_binary64_779 pow1/3_binary64_493 flip--_binary64_2411 flip3--_binary64_3114 flip3--_binary64_2440 distribute-lft-in_binary64_2050 distribute-rgt-in_binary64_703
6×	cbrt-unprod_binary64_2803 times-frac_binary64_3116 rem-sqrt-square_binary64_1775 pow1/2_binary64_2176 pow-plus_binary64_1148 sum-log_binary64_3872 rem-log-exp_binary64_789 pow-prod-down_binary64_482 associate-+r+_binary64_348 rem-sqrt-square_binary64_1101 *-commutative_binary64_10 cube-div_binary64_103 flip3-+_binary64_4461 distribute-rgt-in_binary64_1377 distribute-lft-out_binary64_4411 rem-sqrt-square_binary64_2449 rec-exp_binary64_2483 1-exp_binary64_2477 swap-sqr_binary64_2403 *-commutative_binary64_4054 exp-prod_binary64_463 frac-times_binary64_2783 rem-sqrt-square_binary64_2112 cube-prod_binary64_1113 sum-log_binary64_839 distribute-lft-in_binary64_1376 *-commutative_binary64_1021 sqrt-pow1_binary64_1779 pow-prod-up_binary64_2166 sqrt-pow1_binary64_2116 associate-*r/_binary64_2717 pow-sqr_binary64_2072 flip-+_binary64_4432 +-commutative_binary64_1357 sqrt-pow1_binary64_1105 log-prod_binary64_2519 distribute-lft-out--_binary64_2053 associate-/r*_binary64_3056 sqrt-div_binary64_767 cbrt-undiv_binary64_445 associate-*r/_binary64_1032 sin-sum_binary64 pow1/2_binary64_1165 div-exp_binary64_462 pow1/2_binary64_1839
5×	pow-flip_binary64_1496 sub-neg_binary64_2092 diff-log_binary64_1851 exp-prod_binary64_800 cube-prod_binary64_439 pow1/2_binary64_1502 pow-sqr_binary64_3083 prod-exp_binary64_3830 flip3--_binary64_3788 exp-prod_binary64_2485 +-commutative_binary64_1020 pow-prod-down_binary64_3852 sum-log_binary64_4546 +-commutative_binary64_683 frac-add_binary64_1770 sub-neg_binary64_1755 frac-2neg_binary64_2784 unpow-prod-down_binary64_490 cbrt-undiv_binary64_4152 pow-prod-up_binary64_3177 clear-num_binary64_2772 flip--_binary64_3759 cbrt-unprod_binary64_3814 sum-log_binary64_1176 difference-of-squares_binary64_1057 sub-neg_binary64_3777 rem-sqrt-square_binary64_427
4×	clear-num_binary64_413 frac-2neg_binary64_1099 sqrt-unprod_binary64 +-commutative_binary64_9 distribute-lft-out_binary64_704 unswap-sqr_binary64_3752 distribute-lft-out--_binary64_3064 difference-of-sqr-1_binary64_1732 cube-div_binary64_3810 clear-num_binary64_1087 cbrt-div_binary64_106 unpow2_binary64_2835 sub-neg_binary64_1418 distribute-rgt-in_binary64_2725 cube-div_binary64_1788 cube-div_binary64_1114 sqr-pow_binary64_723 associate-/r/_binary64_4069 associate-/l/_binary64_3733 distribute-rgt-in_binary64_2388 div-sub_binary64_756 associate-/l/_binary64_4070 exp-diff_binary64_459 associate-/l/_binary64_2722 pow2_binary64_1166 unpow3_binary64_2836 clear-num_binary64_750 sum-log_binary64_165 cube-prod_binary64_2124 associate-/r/_binary64_3732 diff-log_binary64_2862 pow-sqr_binary64_3420 pow-exp_binary64_4186 pow2_binary64_2177 associate--r+_binary64_2037 pow-to-exp_binary64_4187 sqrt-div_binary64_2115 pow-plus_binary64_2159 clear-num_binary64_2435 exp-prod_binary64_1811 frac-2neg_binary64_762 div-sub_binary64_3789 cube-div_binary64_1451 diff-log_binary64_1514 associate--l-_binary64_2376 frac-2neg_binary64_2447 difference-of-sqr-1_binary64_2406 pow1/3_binary64_1841 cube-mult_binary64_2800 distribute-lft-out--_binary64_2727 frac-2neg_binary64_425 difference-of-squares_binary64_3079 pow-prod-up_binary64_3514 swap-sqr_binary64_1392 associate-*r/_binary64_4402 distribute-lft-in_binary64_2387 distribute-lft-in_binary64_2724 sum-log_binary64_502 associate--l+_binary64_2375 +-commutative_binary64_346 unpow-prod-down_binary64_3186 *-commutative_binary64_3717 frac-sub_binary64_3119
3×	pow-exp_binary64_2838 cbrt-unprod_binary64_4488 sub-neg_binary64_3103 difference-of-squares_binary64_2068 prod-exp_binary64_4504 pow-unpow_binary64_1499 associate-/r/_binary64_362 1-exp_binary64_792 cube-mult_binary64_104 1-exp_binary64_1129 unswap-sqr_binary64_4426 flip3--_binary64_3451 +-commutative_binary64_3716 associate--l+_binary64_2038 pow-unpow_binary64_151 sub-neg_binary64_1081 pow-unpow_binary64_488 pow-unpow_binary64_1162 diff-log_binary64_3536 sub-neg_binary64_3440 pow-unpow_binary64_2510 pow-to-exp_binary64_2839 pow-plus_binary64_3170 associate-*l/_binary64_2718 unpow3_binary64_140 div-inv_binary64_3781 +-commutative_binary64_4390 diff-log_binary64_2188 pow2_binary64_3188 diff-log_binary64_1177 flip--_binary64_2074 clear-num_binary64_3783 flip3--_binary64_2103 pow-unpow_binary64_3858 frac-2neg_binary64_3795 *-commutative_binary64_4391 distribute-lft-in_binary64_3735 associate-+r+_binary64_685 pow-prod-down_binary64_4526 distribute-rgt-in_binary64_3736 *-commutative_binary64_2706 div-exp_binary64_3832 pow-sub_binary64_2509 rem-log-exp_binary64_2137 distribute-rgt-in_binary64_3062 sqr-pow_binary64_49 un-div-inv_binary64_75 associate-*l/_binary64_696 cbrt-undiv_binary64_3815 cube-prod_binary64 distribute-lft-in_binary64_4409 distribute-lft-in_binary64_3061 cos-sum_binary64 flip--_binary64_3422 unpow2_binary64_2498 rec-exp_binary64_1135 distribute-rgt-in_binary64_4410 pow-prod-down_binary64_2841
2×	pow-pow_binary64_1494 div-inv_binary64_4118 associate--l-_binary64_3724 frac-times_binary64_761 pow-to-exp_binary64_817 cube-div_binary64_2799 pow-prod-up_binary64_4188 log-pow_binary64_2522 cbrt-undiv_binary64_3141 associate-*l/_binary64_4403 log-pow_binary64_1848 pow-prod-up_binary64_2503 cbrt-div_binary64_3813 sum-log_binary64_4209 rem-exp-log_binary64_788 un-div-inv_binary64_1423 sqr-pow_binary64_1060 pow-pow_binary64_3853 pow-div_binary64_1497 log-div_binary64_2857 associate-+r-_binary64_350 cube-mult_binary64_1115 associate-+l+_binary64_2371 div-exp_binary64_3158 associate-+r+_binary64_4392 associate-/r/_binary64_3058 pow-plus_binary64_811 pow-exp_binary64_3175 *-commutative_binary64_347 pow1/3_binary64 exp-neg_binary64_3828 associate-/r/_binary64_2384 distribute-rgt-in_binary64_29 div-sub_binary64_419 pow-exp_binary64_1827 prod-exp_binary64_460 neg-mul-1_binary64 associate-/r/_binary64_699 pow-plus_binary64_3507 sum-log_binary64_2187 sqr-pow_binary64_3756 sum-log_binary64 frac-2neg_binary64_4132 pow-exp_binary64_1490 associate-/l*_binary64_4068 rem-cube-cbrt_binary64_3806 distribute-lft-in_binary64_4072 log-div_binary64_1846 +-commutative_binary64_2705 frac-sub_binary64_1771 cube-mult_binary64_2463 rem-log-exp_binary64_2811 1-exp_binary64_2814 exp-diff_binary64_2481 pow2_binary64_3525 cube-mult_binary64_3811 inv-pow_binary64_1507 unpow3_binary64_1151 log-div_binary64_2520 unpow-prod-down_binary64_3860 associate-+l+_binary64_1360 rem-cube-cbrt_binary64_1447 associate-+r-_binary64_3720 pow-sqr_binary64_4094 unpow3_binary64_3847 distribute-lft-in_binary64_28 associate-+l-_binary64_3721 unpow2_binary64_3172 rem-cbrt-cube_binary64_1785 sum-log_binary64_2861 cbrt-div_binary64_1454 pow-to-exp_binary64_1828 pow2_binary64_829 pow-exp_binary64_3849 unpow3_binary64_2499 rem-log-exp_binary64_452 pow-exp_binary64_816 exp-sum_binary64_2816 associate-/l/_binary64_3059 diff-log_binary64_4210 1-exp_binary64_1803 rec-exp_binary64_1809 +-commutative_binary64 rem-sqrt-square_binary64_764 associate-+l-_binary64_1362 cube-prod_binary64_3809 associate--l+_binary64_3723 sqr-pow_binary64_3082 associate-*r/_binary64_3391 clear-num_binary64_4120 rem-log-exp_binary64_1800 exp-diff_binary64_2818 pow-sqr_binary64_2409 rec-exp_binary64_2820 pow-to-exp_binary64_3176 distribute-rgt-in_binary64_4073 associate-*r/_binary64_695 associate-+r+_binary64_2707 cbrt-unprod_binary64_444 sub-neg_binary64_4114
1×	pow-sqr_binary64_1735 unpow3_binary64_1488 +-commutative_binary64_4053 pow-plus_binary64_4181 +-commutative_binary64_3042 sub-neg_binary64 pow-to-exp_binary64_143 pow-exp_binary64_142 rem-cube-cbrt_binary64_99 cbrt-prod_binary64_1453 distribute-rgt-out--_binary64_4077 flip3--_binary64 cube-mult_binary64_1452 pow-to-exp_binary64_1491 flip--_binary64_4096 diff-log_binary64 distribute-lft-in_binary64_3398 clear-num_binary64_3109 distribute-rgt-in_binary64_3399 flip-+_binary64_3421 pow2_binary64_2514 rem-cbrt-cube_binary64 diff-log_binary64_503 associate-+l+_binary64_2034 cube-mult_binary64_441 rem-exp-log_binary64_1799 inv-pow_binary64_2181 pow-to-exp_binary64_3850 difference-of-sqr--1_binary64_1733 pow-prod-up_binary64_1829 sqr-pow_binary64_1397 rem-exp-log_binary64_451 unpow3_binary64 flip3-+_binary64_3450 pow-pow_binary64_820 unpow-prod-down_binary64_1501 un-div-inv_binary64_1086 unpow3_binary64_2162 rem-cbrt-cube_binary64_1111 sum-log_binary64_3198 remove-double-div_binary64_53 cube-mult_binary64 associate-+l+_binary64_3719 pow-pow_binary64_146 flip--_binary64 pow-exp_binary64_1153 div-sub_binary64_1093 pow-pow_binary64_1157 exp-diff_binary64_3829 pow-to-exp_binary64_480 sub-neg_binary64_407 +-commutative_binary64_2031 rem-exp-log_binary64_2136 exp-diff_binary64_1807 un-div-inv_binary64_3782 pow-flip_binary64_2170 diff-log_binary64_3199 rem-cbrt-cube_binary64_100 distribute-lft-out_binary64_3400 rem-exp-log_binary64_2473 pow-pow_binary64_2505 pow1/3_binary64_3863 rem-cube-cbrt_binary64_1110 unpow3_binary64_477 pow-to-exp_binary64_1154 neg-sub0_binary64_3779 sqrt-unprod_binary64_433 sqr-pow_binary64_4093 associate-+l-_binary64_1699 flip3--_binary64_4125 unpow2_binary64_2161 pow1/3_binary64_1504 cube-mult_binary64_2126 pow-plus_binary64_1822 cube-prod_binary64_1450 pow-plus_binary64_2496 sqrt-unprod_binary64_2455 pow1/3_binary64_156 exp-sum_binary64_794 associate-+l-_binary64_2036 unpow2_binary64_4183 associate-+r-_binary64_4057 associate-/l/_binary64_26 associate-+r+_binary64_1696 associate-/l*_binary64_3057 log-div_binary64_2183 frac-2neg_binary64_3121 div-sub_binary64_1430 rem-square-sqrt_binary64_763 rem-cube-cbrt_binary64_436 pow2_binary64_1840 associate-+r+_binary64_4055 pow-pow_binary64_483 pow2_binary64_4199 sqr-pow_binary64 associate-+l+_binary64_4393 rem-cbrt-cube_binary64_3807 pow-exp_binary64_479 sqr-pow_binary64_386 div-inv_binary64_3107 sqrt-unprod_binary64_770

Calls

478 calls:

283.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 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))))))
242.0ms	(*.f64 (*.f64 (+.f64 alpha beta) (/.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha))) (*.f64 (cbrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (cbrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (/.f64 (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))
233.0ms	(*.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 (fabs.f64 x)) (fabs.f64 x)) (sqrt.f64 (sqrt.f64 PI.f64))) (sqrt.f64 (sqrt.f64 PI.f64))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1/2 (pow.f64 (fabs.f64 x) 3))) (/.f64 3/4 (pow.f64 (fabs.f64 x) 5))) (/.f64 15/8 (pow.f64 (fabs.f64 x) 7))))
217.0ms	(*.f64 (/.f64 (-.f64 a 1/3) (sqrt.f64 (-.f64 a 1/3))) (/.f64 rand (sqrt.f64 9)))
148.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 1 (/.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)))