rewrite7.1s (1.6%)

Algorithm

151×	rewrite-expression-head

Rules

1458×	times-frac_binary64_1789
1405×	*-un-lft-identity_binary64_1783
1235×	times-frac_binary64_84
1105×	add-sqr-sqrt_binary64_1805
1104×	*-un-lft-identity_binary64_2124
979×	times-frac_binary64_2130
731×	times-frac_binary64_425
721×	add-cube-cbrt_binary64_1818
695×	add-sqr-sqrt_binary64_100
672×	*-un-lft-identity_binary64_1442
650×	add-sqr-sqrt_binary64_2146
608×	*-un-lft-identity_binary64_78
595×	add-cube-cbrt_binary64_113
593×	add-cube-cbrt_binary64_2159
531×	add-exp-log_binary64_1821
519×	times-frac_binary64_1107
494×	add-sqr-sqrt_binary64_1123
476×	add-sqr-sqrt_binary64_1464
459×	associate-*r*_binary64_1723
440×	*-un-lft-identity_binary64_1101
422×	add-cbrt-cube_binary64_1819
412×	*-un-lft-identity_binary64_419
408×	add-sqr-sqrt_binary64_441
388×	add-cube-cbrt_binary64_454
359×	times-frac_binary64_1448
349×	pow1_binary64_139
336×	sqrt-prod_binary64_1117
324×	sqrt-prod_binary64_2140
318×	add-cube-cbrt_binary64_1136
313×	log-pow_binary64_167
299×	add-exp-log_binary64_2844
293×	distribute-lft-out_binary64_2075
282×	add-sqr-sqrt_binary64
266×	add-cube-cbrt_binary64_1477
257×	sqrt-prod_binary64_94
227×	add-sqr-sqrt_binary64_782
221×	add-sqr-sqrt_binary64_3169
220×	associate-/r/_binary64_1729
219×	distribute-lft-out_binary64_1734 prod-exp_binary64_2855 add-exp-log_binary64_2162
214×	cbrt-prod_binary64_109
208×	pow1_binary64_2526 associate-*r*_binary64_18
205×	flip3-+_binary64_1786 flip-+_binary64_1757
204×	add-cbrt-cube_binary64_2160
196×	add-exp-log_binary64_3185
189×	times-frac_binary64_766
187×	div-exp_binary64_1834
178×	*-un-lft-identity_binary64_3147
177×	add-log-exp_binary64_1822
176×	*-un-lft-identity_binary64_3488
170×	*-un-lft-identity_binary64 difference-of-squares_binary64_1752 prod-exp_binary64_1832
166×	pow1_binary64 distribute-lft-out_binary64_1393 add-cube-cbrt_binary64
159×	add-exp-log_binary64_798
157×	add-sqr-sqrt_binary64_2487
156×	cbrt-div_binary64_3520
154×	*-un-lft-identity_binary64_760
153×	add-cbrt-cube_binary64_3183
152×	cbrt-prod_binary64
149×	unpow-prod-down_binary64_2203
144×	add-cube-cbrt_binary64_795
143×	cbrt-undiv_binary64_1817
141×	sqrt-prod_binary64_776
140×	add-cube-cbrt_binary64_3182
138×	add-sqr-sqrt_binary64_3510
137×	associate-/l*_binary64_2069
133×	pow1_binary64_3208
125×	add-cbrt-cube_binary64_2842
124×	add-exp-log_binary64_116
123×	sqrt-prod_binary64_1458
119×	pow1_binary64_480
118×	add-exp-log_binary64
117×	cbrt-unprod_binary64_2839
116×	add-exp-log_binary64_3526 associate-*r*_binary64_2064 add-cbrt-cube_binary64 associate-/l*_binary64_1728 cbrt-unprod_binary64_1816
114×	times-frac_binary64
112×	distribute-lft-out--_binary64_1735 pow1_binary64_2867 pow1_binary64_1844
110×	*-un-lft-identity_binary64_2465
109×	add-exp-log_binary64_457
108×	associate-*l*_binary64_2065 add-exp-log_binary64_1480
107×	associate-/r*_binary64_22
104×	associate-*r/_binary64_3430
101×	associate-*l*_binary64
100×	add-cbrt-cube_binary64_1478
99×	add-cube-cbrt_binary64_3523 associate-*l*_binary64_701
98×	add-exp-log_binary64_2503
97×	add-cbrt-cube_binary64_114
96×	pow1_binary64_2185 prod-exp_binary64_3196 add-cube-cbrt_binary64_2500
95×	sqrt-prod_binary64_1799
94×	associate-*r*_binary64 associate-*r*_binary64_700
91×	pow1_binary64_1503
90×	associate-*r*_binary64_2405
87×	add-cbrt-cube_binary64_3524
86×	div-inv_binary64_1780 associate-*l*_binary64_1724
84×	pow-prod-down_binary64_2536
82×	flip3-+_binary64_3491 flip-+_binary64_3462
80×	associate-*l*_binary64_3088
79×	unpow-prod-down_binary64_1521 add-cbrt-cube_binary64_796
78×	frac-times_binary64_1793
76×	difference-of-squares_binary64_1411
75×	log-pow_binary64_508 add-cbrt-cube_binary64_2501 associate-/r*_binary64_1727 add-log-exp_binary64_1481 cbrt-prod_binary64_3178 associate-/r*_binary64_2068
74×	prod-exp_binary64_809 sqrt-pow1_binary64_2483
72×	associate-*l*_binary64_1042 sqrt-prod_binary64
69×	pow1_binary64_821
68×	associate-*r*_binary64_1382
67×	pow1_binary64_1162 pow1_binary64_3549
66×	flip-+_binary64_2098 flip3-+_binary64_2127 pow-prod-down_binary64_2877 frac-times_binary64_3498 add-cbrt-cube_binary64_1137 add-exp-log_binary64_1139
65×	times-frac_binary64_3153 add-cbrt-cube_binary64_455 pow1_binary64_5595
64×	associate-/r*_binary64_1386 cbrt-unprod_binary64_3180 div-exp_binary64_2175
63×	sum-log_binary64_1874
62×	add-log-exp_binary64 add-log-exp_binary64_2163 exp-prod_binary64_2176
61×	associate-*l*_binary64_1383 associate-/r*_binary64_363
60×	frac-add_binary64_1791 associate-*r/_binary64_1725 associate-/r/_binary64_2070
59×	cancel-sign-sub-inv_binary64_3454
58×	pow-prod-down_binary64 difference-of-squares_binary64_1070 associate-*r*_binary64_2746 distribute-lft-out--_binary64_1053
57×	associate-*r*_binary64_1041 add-log-exp_binary64_3186
56×	cbrt-undiv_binary64_2158 flip-+_binary64_3121 flip3-+_binary64_3150
54×	log-pow_binary64_2213 times-frac_binary64_3494
53×	associate-*l/_binary64_1726
52×	add-log-exp_binary64_2504 sqrt-div_binary64_1118 difference-of-sqr-1_binary64_1753 div-exp_binary64_470 sqrt-prod_binary64_435
51×	unpow-prod-down_binary64 sqr-pow_binary64_2096 associate-/l*_binary64_23 add-log-exp_binary64_3527 distribute-lft-out--_binary64_1394
50×	associate-*r/_binary64_3089
47×	add-log-exp_binary64_1140 prod-exp_binary64_2173
46×	associate-*r*_binary64_3087
45×	add-sqr-sqrt_binary64_2828 associate-/l/_binary64_1730 div-inv_binary64_416 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
44×	cbrt-prod_binary64_3519 associate-/l*_binary64_1046 associate-*r*_binary64_3428
43×	div-exp_binary64_129 pow-prod-down_binary64_3218 cbrt-unprod_binary64_2157 cbrt-prod_binary64_5224 add-sqr-sqrt_binary64_5215 distribute-lft-in_binary64_3096 unswap-sqr_binary64 cube-prod_binary64_1470 distribute-rgt-in_binary64_3097 cbrt-prod_binary64_1473
42×	associate-*l/_binary64_3090 unpow-prod-down_binary64_1862
41×	associate-*l/_binary64_3431 prod-exp_binary64_3537 *-un-lft-identity_binary64_5193
40×	cbrt-div_binary64_3179 flip-+_binary64_1416 flip3-+_binary64_1445 associate-/l*_binary64_364
39×	prod-exp_binary64 cbrt-unprod_binary64
38×	div-inv_binary64_2121 flip3--_binary64_1105 flip--_binary64_1076
37×	cbrt-unprod_binary64_3521 div-inv_binary64_75
35×	associate-/l*_binary64_1387
34×	div-inv_binary64_1439 sqrt-div_binary64_1459 cbrt-undiv_binary64_112 prod-exp_binary64_2514 div-exp_binary64_811
33×	distribute-lft-out_binary64_3439 cancel-sign-sub-inv_binary64_3113
32×	add-cube-cbrt_binary64_5228 associate-*l*_binary64_2406 sqrt-div_binary64_2482 sqrt-pow1_binary64_5552 unpow-prod-down_binary64_839
31×	unswap-sqr_binary64_728 associate-*l*_binary64_2747 cancel-sign-sub-inv_binary64_1408 unpow-prod-down_binary64_2544 unswap-sqr_binary64_46 associate-/l/_binary64_2071
30×	associate-*l*_binary64_3429 unpow-prod-down_binary64_3567 associate-/r/_binary64_1388 associate-/r*_binary64_1045 sqrt-pow1_binary64 add-log-exp_binary64_458 cbrt-prod_binary64_2837 cancel-sign-sub-inv_binary64_1749 associate-*r/_binary64_2407
28×	swap-sqr_binary64 associate-/l/_binary64_3435 unswap-sqr_binary64_2433 add-log-exp_binary64_5232 add-log-exp_binary64_117
27×	associate-*l/_binary64_1044 cbrt-unprod_binary64_793 unswap-sqr_binary64_1751
26×	associate-/r/_binary64_1047 sqrt-prod_binary64_2481 log-pow_binary64_849 cube-prod_binary64_3516 flip3-+_binary64_2468 associate-/r/_binary64_3434 flip-+_binary64_2439
25×	associate-*r*_binary64_359 flip3-+_binary64_1104 flip-+_binary64_1075
24×	cancel-sign-sub-inv_binary64_2772 pow1/3_binary64_3229 unswap-sqr_binary64_2092 add-sqr-sqrt_binary64_4192 pow-prod-down_binary64_5605 cube-prod_binary64_2493 frac-times_binary64_2134
23×	associate-*r/_binary64_2066 sqr-pow_binary64
22×	associate-*r/_binary64_5476 pow1/2_binary64_2545 pow1_binary64_5254 *-commutative_binary64
21×	cbrt-unprod_binary64_111 unpow-prod-down_binary64_157 prod-exp_binary64_127 pow1/2_binary64 associate-*l/_binary64_2067 frac-times_binary64_1111
20×	frac-2neg_binary64_1794 unswap-sqr_binary64_3115 pow-prod-down_binary64_1854 *-un-lft-identity_binary64_4170 log-pow_binary64_2554 add-sqr-sqrt_binary64_5556 div-exp_binary64_1493 cbrt-undiv_binary64_453 cbrt-unprod_binary64_2498 frac-sub_binary64_3156 flip--_binary64_3122 frac-times_binary64_3157 clear-num_binary64_1782 flip3--_binary64_3151
19×	pow1/3_binary64_3570 difference-of-squares_binary64_3116 add-log-exp_binary64_2845 pow-unpow_binary64_155 pow-unpow_binary64_2201 log-prod_binary64_2551
18×	cbrt-undiv_binary64_1476 flip3--_binary64_3492 +-commutative_binary64_1713 add-log-exp_binary64_799 flip3--_binary64_1446 *-un-lft-identity_binary64_5534 flip--_binary64_3463 flip--_binary64_1417 sqrt-div_binary64_2141 unswap-sqr_binary64_1069 sqrt-pow1_binary64_1119 sqrt-div_binary64
17×	pow-exp_binary64_2874 pow-prod-down_binary64_2195 pow-prod-up_binary64_2535 add-exp-log_binary64_5231 pow-to-exp_binary64_2875 div-exp_binary64_3198
16×	sqrt-div_binary64_5551 associate-*l*_binary64_19 flip3--_binary64_1787 associate--l+_binary64_1720 clear-num_binary64_2123 sqrt-pow1_binary64_1460 cube-prod_binary64_2152 pow1/2_binary64_1522 prod-exp_binary64_1491 frac-add_binary64_1109 pow-prod-down_binary64_3559 associate--l+_binary64_3084 flip--_binary64_1758 pow1/2_binary64_1181 frac-2neg_binary64_2135
15×	difference-of-squares_binary64_3457 sqr-pow_binary64_2437 times-frac_binary64_2471 div-inv_binary64_1098 *-commutative_binary64_3078 unpow-prod-down_binary64_2885 sqrt-prod_binary64_3163
14×	1-exp_binary64_463 log-prod_binary64_164 cbrt-unprod_binary64_1475 cancel-sign-sub-inv_binary64_2431 add-exp-log_binary64_4208 1-exp_binary64_1827 rec-exp_binary64_1833 rec-exp_binary64_469 add-cbrt-cube_binary64_5229 rec-exp_binary64_810 add-cube-cbrt_binary64_5569 div-exp_binary64_3539 add-cube-cbrt_binary64_4205 cbrt-undiv_binary64_3522 1-exp_binary64_804 add-cbrt-cube_binary64_4206
13×	*-commutative_binary64_2737 associate-/r*_binary64_3091 *-commutative_binary64_2055 sub-neg_binary64_3140 *-commutative_binary64_1714 pow1/3_binary64_5275 pow-prod-down_binary64_831
12×	sqrt-div_binary64_436 cbrt-undiv_binary64_794 cbrt-undiv_binary64_3181 diff-log_binary64_1875 cbrt-undiv_binary64_1135 sqrt-prod_binary64_2822 associate-*r*_binary64_5474 sqrt-pow1_binary64_96 pow-pow_binary64_2196 swap-sqr_binary64_3114 frac-2neg_binary64_89 pow-prod-down_binary64_1513 clear-num_binary64_77 add-cbrt-cube_binary64_5570 associate-*r/_binary64_1043 add-exp-log_binary64_5572 associate-*r*_binary64_5133 cbrt-prod_binary64_2155 pow1/2_binary64_5614 div-exp_binary64_1152 cbrt-prod_binary64_1132 pow1/2_binary64_158 exp-prod_binary64_3540
11×	flip3-+_binary64 *-commutative_binary64_2396 flip3-+_binary64_5537 clear-num_binary64_1441 distribute-lft-out_binary64_370 frac-2neg_binary64_1453 sqrt-div_binary64_1800 flip-+_binary64_5508 swap-sqr_binary64_1409 associate-*r/_binary64_20 associate-/r*_binary64_704 pow-sqr_binary64_2438 swap-sqr_binary64_2091 flip-+_binary64
10×	distribute-lft-out_binary64_3098 sqrt-pow1_binary64_1801 rem-sqrt-square_binary64_1455 associate-*l*_binary64_5475 cbrt-div_binary64_1474 flip-+_binary64_52 associate-/l/_binary64_1389 prod-exp_binary64_1150 sub-neg_binary64_1435 cbrt-unprod_binary64_1134 log-pow_binary64_3577 unswap-sqr_binary64_3456 pow-exp_binary64_828 pow-prod-up_binary64_5604 pow-prod-up_binary64_3217 rem-sqrt-square_binary64 pow-prod-down_binary64_1172 associate-/l*_binary64_3092 sub-neg_binary64_1776 div-inv_binary64_3485 unswap-sqr_binary64_1410 flip3-+_binary64_81 difference-of-sqr-1_binary64_1412
9×	associate-*r/_binary64_1384 clear-num_binary64_418 pow1_binary64_4231 distribute-lft-out--_binary64_3099 log-prod_binary64_2210 pow-exp_binary64_2533 frac-2neg_binary64_430 sum-log_binary64_1192 diff-log_binary64_1534 associate-*l*_binary64_5134 cancel-sign-sub-inv_binary64_4136 pow-prod-down_binary64_149 associate-*l*_binary64_360 add-log-exp_binary64_4209 unpow-prod-down_binary64_5272 *-commutative_binary64_691
8×	pow-to-exp_binary64_2534 sum-log_binary64_2556 pow-exp_binary64_2192 associate-/l/_binary64_3094 distribute-lft-neg-in_binary64 add-log-exp_binary64_5573 associate-/l*_binary64_3433 log-pow_binary64 associate-+l+_binary64_1034 pow-plus_binary64_3210 distribute-rgt-neg-in_binary64 frac-add_binary64_3155 swap-sqr_binary64_1068 associate-+r+_binary64_1715 sqrt-div_binary64_95 cbrt-prod_binary64_791 pow-to-exp_binary64_2193 sqrt-pow1_binary64_437 *-commutative_binary64_3419 rem-sqrt-square_binary64_1796 sqrt-pow1_binary64_778 sqr-pow_binary64_3460 associate-*r*_binary64_4110 div-inv_binary64_757
7×	pow-prod-down_binary64_490 frac-times_binary64_1452 +-commutative_binary64_1031 associate-/r*_binary64_3432 pow1/2_binary64_2204 flip3-+_binary64_422 sum-log_binary64_1533 +-commutative_binary64_2395 div-sub_binary64_1447 sqrt-pow1_binary64_2142 pow1/3_binary64 +-commutative_binary64_1372 exp-prod_binary64_2517 associate-/r*_binary64_2409 cube-div_binary64_1471 prod-exp_binary64_468 pow-unpow_binary64_2542 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 rem-sqrt-square_binary64_2137 flip-+_binary64_393 rem-sqrt-square_binary64_1114
6×	distribute-lft-neg-in_binary64_35 cube-prod_binary64_1129 distribute-rgt-in_binary64_1733 div-sub_binary64_1788 *-commutative_binary64_1032 unpow3_binary64_2531 exp-prod_binary64_812 associate-*l*_binary64_4111 distribute-lft-in_binary64_1732 diff-log_binary64_5285 cube-prod_binary64_2834 unswap-sqr_binary64_387 pow-unpow_binary64_1519 pow-sqr_binary64_3120 pow-flip_binary64_1516 associate-/l*_binary64_705 associate-/r/_binary64_365 sqrt-prod_binary64_5550 pow-sqr_binary64_5507 cube-mult_binary64_2495 swap-sqr_binary64_5160 distribute-rgt-in_binary64_2415 distribute-lft-out--_binary64_2417 rem-sqrt-square_binary64_2478 distribute-lft-in_binary64_2414 associate-*r/_binary64_702 unpow-prod-down_binary64_1180 distribute-rgt-neg-in_binary64_36 cancel-sign-sub-inv_binary64_1067 associate-*r/_binary64_4112 pow-prod-up_binary64_1512 sin-sum_binary64 sub-neg_binary64_3481
5×	distribute-rgt-in_binary64_4120 pow-exp_binary64_3556 rec-exp_binary64_128 times-frac_binary64_4176 pow-prod-up_binary64_1171 distribute-rgt-in_binary64_1392 1-exp_binary64_122 1-exp_binary64_3191 clear-num_binary64_1100 frac-2neg_binary64_1112 cube-mult_binary64_2154 cbrt-unprod_binary64_452 pow1/2_binary64_1863 rec-exp_binary64_3197 div-inv_binary64_3144 *-commutative_binary64_1373 sub-neg_binary64_2458 distribute-lft-in_binary64_1391 distribute-lft-in_binary64_4119 unpow3_binary64_2190 +-commutative_binary64_3077 distribute-rgt-in_binary64_2074 distribute-lft-out--_binary64_3440 sum-log_binary64_2215 associate-/r*_binary64_4114 unswap-sqr_binary64_5161 pow1/2_binary64_499 distribute-lft-in_binary64_2073 exp-prod_binary64_471 sum-log_binary64_3238
4×	associate--r+_binary64_2401 sqrt-unprod_binary64 *-commutative_binary64_9 swap-sqr_binary64_3455 log-div_binary64_2552 sub-neg_binary64 unpow-prod-down_binary64_3226 diff-log_binary64 cube-div_binary64_107 flip3--_binary64_4174 associate-/r/_binary64_24 log-pow_binary64_1872 div-exp_binary64_2516 exp-sum_binary64_2511 associate-+l+_binary64_3080 diff-log_binary64_3580 swap-sqr_binary64_5501 swap-sqr_binary64_2432 log-prod_binary64_3574 inv-pow_binary64_504 flip--_binary64_2440 unpow-prod-up_binary64_2543 associate-*l/_binary64_1385 associate--l-_binary64_1721 flip3--_binary64_2469 cancel-sign-sub-inv_binary64 associate-+r+_binary64_3079 pow1/3_binary64_2206 log-prod_binary64_1869 pow-exp_binary64_146 sqr-pow_binary64_1414 distribute-lft-out--_binary64_5145 cube-div_binary64_1130 cbrt-undiv_binary64_2499 difference-of-squares_binary64_4139 cbrt-div_binary64 pow-flip_binary64_493 pow2_binary64_3228 pow1/3_binary64_1524 log-div_binary64_165 frac-times_binary64_5544 sqr-pow_binary64_2778 associate--r+_binary64_1378 sqr-pow_binary64_732 cube-mult_binary64_1472 unpow3_binary64_1508 div-inv_binary64 sum-log_binary64_5284 div-sub_binary64_83 flip--_binary64_4145 sum-log_binary64_3579 frac-times_binary64_2475 pow-sqr_binary64_1415 associate-/l*_binary64_2410
3×	pow-prod-down_binary64_5264 distribute-rgt-neg-in_binary64_3105 sub-neg_binary64_5186 associate-*l/_binary64_703 pow-to-exp_binary64_3557 pow-to-exp_binary64_147 difference-of-squares_binary64_2434 rem-cube-cbrt_binary64_1465 distribute-lft-neg-in_binary64_3104 pow-to-exp_binary64_829 inv-pow_binary64_1868 flip3--_binary64 pow1/2_binary64_3227 frac-2neg_binary64_3499 diff-log_binary64_2557 clear-num_binary64_3146 inv-pow_binary64_163 swap-sqr_binary64_1750 pow-unpow_binary64_5270 prod-exp_binary64_4219 sqr-pow_binary64_50 pow-flip_binary64_1857 cbrt-unprod_binary64_4203 rem-cube-cbrt_binary64_3511 unswap-sqr_binary64_5502 *-commutative_binary64_5465 associate-/l/_binary64_1048 sum-log_binary64_510 exp-prod_binary64 pow-pow_binary64_150 flip--_binary64 cancel-sign-sub-inv_binary64_385 pow-unpow_binary64_837 prod-exp_binary64_5583 cancel-sign-sub-inv_binary64_5159 +-commutative_binary64_3418 rem-log-exp_binary64_119 pow-sqr_binary64_1074 frac-times_binary64_770 clear-num_binary64_3487 *-commutative_binary64_350 associate-*r/_binary64_361 rem-sqrt-square_binary64_3160 unpow3_binary64_3554 cbrt-unprod_binary64_5567 pow-unpow_binary64_3565 sqrt-pow1_binary64_3165 pow-exp_binary64_1510 distribute-lft-out_binary64_5485 un-div-inv_binary64_1781 distribute-lft-out_binary64_29 cube-mult_binary64_3518 exp-prod_binary64_1835 associate--l+_binary64_2402 frac-2neg_binary64_3158 log-prod_binary64_505 distribute-lft-out_binary64_2416 distribute-lft-out_binary64_1052 cube-prod_binary64 diff-log_binary64_3239 distribute-lft-out_binary64_5144 pow-unpow_binary64_1178 sub-neg_binary64_4163 un-div-inv_binary64_758 pow-flip_binary64_152 rem-sqrt-square_binary64_432
2×	associate-*l/_binary64_5477 flip3--_binary64_5197 +-commutative_binary64_8 div-sub_binary64_3152 flip--_binary64_5168 cbrt-div_binary64_110 associate-+l-_binary64_5128 flip3--_binary64_423 rem-cube-cbrt_binary64_101 exp-sum_binary64_1829 exp-sum_binary64 pow-pow_binary64_5265 distribute-lft-neg-out_binary64_3106 unpow3_binary64_826 distribute-lft-out_binary64 pow1/2_binary64_840 neg-mul-1_binary64_74 flip3--_binary64_2810 rem-sqrt-square_binary64_91 difference-of-squares_binary64_388 sub-neg_binary64_1094 1-exp_binary64_1486 flip--_binary64_394 flip-+_binary64_5167 distribute-rgt-in_binary64_28 unpow3_binary64_2872 cbrt-div_binary64_1133 distribute-lft-in_binary64_1050 associate-+l+_binary64_2398 associate-/r/_binary64_3093 frac-sub_binary64_1451 associate-/l/_binary64_2412 pow-prod-down_binary64_4241 cube-prod_binary64_788 frac-2neg_binary64_2476 rem-cube-cbrt_binary64_783 cbrt-unprod_binary64_5226 neg-mul-1_binary64 rem-exp-log_binary64_3528 sum-log_binary64 associate-+l+_binary64_1716 rem-exp-log_binary64_459 *-commutative_binary64_5124 flip-+_binary64_4144 flip3-+_binary64_5196 rem-exp-log_binary64 distribute-lft-in_binary64_27 distribute-lft-out--_binary64_4122 rem-sqrt-square_binary64_773 associate-/r/_binary64_4116 distribute-lft-in_binary64_5483 sub-neg_binary64_2799 frac-2neg_binary64_771 cube-mult_binary64_1131 associate-*l/_binary64_2408 pow-prod-up_binary64_5263 flip3-+_binary64_4173 +-commutative_binary64_2054 pow-prod-up_binary64_3558 associate-+l-_binary64_1036 cube-mult_binary64_790 unpow3_binary64_1167 exp-sum_binary64_3534 diff-log_binary64_1193 diff-log_binary64_2216 pow2_binary64_1523 flip--_binary64_2781 prod-exp_binary64_5242 cbrt-undiv_binary64_4204 pow-sub_binary64_2541 associate-/r/_binary64_2411 cube-mult_binary64_2836 associate-+l+_binary64_5126 div-inv_binary64_2462 *-commutative_binary64_4101 clear-num_binary64_759 distribute-rgt-in_binary64_1051 pow-sqr_binary64 +-commutative_binary64 distribute-lft-out_binary64_4121 pow-plus_binary64_1505 sqr-pow_binary64_1073 pow-prod-up_binary64 associate-*r/_binary64_5135 associate-/l/_binary64_4117 pow-div_binary64_1176 +-commutative_binary64_349 pow-sqr_binary64_3461 rec-exp_binary64_1492 unswap-sqr_binary64_4138 diff-log_binary64_2898 div-exp_binary64_4221 clear-num_binary64_2464 pow-to-exp_binary64_1511 exp-diff_binary64_2513 pow-pow_binary64_832 sqr-pow_binary64_3119 sum-log_binary64_169 pow-pow_binary64_1514 pow-sqr_binary64_5166 distribute-rgt-in_binary64_5484
1×	difference-of-squares_binary64_5162 pow-plus_binary64_5256 associate-+l-_binary64_2400 rem-exp-log_binary64_2164 pow2_binary64_5615 sqr-abs_binary64_1457 inv-pow_binary64_1527 sub-neg_binary64_412 flip3--_binary64_2128 pow-exp_binary64_3215 rem-cbrt-cube_binary64_784 pow-plus_binary64_1164 associate-*l/_binary64_21 e-exp-1_binary64_2510 rem-log-exp_binary64_2165 pow-plus_binary64_3551 unsub-neg_binary64_3141 cancel-sign-sub-inv_binary64_726 difference-of-squares_binary64 pow-plus_binary64_5597 pow-pow_binary64_1173 pow-prod-up_binary64_2194 rem-cube-cbrt_binary64_1124 cancel-sign-sub-inv_binary64_2090 rem-cbrt-cube_binary64 pow-to-exp_binary64_5262 pow2_binary64_5274 pow2_binary64_1182 distribute-rgt-in_binary64_5143 +-commutative_binary64_5464 pow-plus_binary64_1846 associate--l+_binary64_5130 neg-mul-1_binary64_3143 associate-*r/_binary64 clear-num_binary64_4169 diff-log_binary64_4262 sqrt-unprod_binary64_2485 rem-square-sqrt_binary64_1454 rem-square-sqrt_binary64_1113 pow-plus_binary64_2528 exp-sum_binary64_465 frac-2neg_binary64_4181 pow-to-exp_binary64_3216 associate-/l*_binary64_4115 unpow3_binary64 rem-cbrt-cube_binary64_1125 sqrt-unprod_binary64_1462 +-commutative_binary64_5123 associate-/l/_binary64_366 associate-+r-_binary64_3081 cube-mult_binary64 unpow3_binary64_144 associate--r-_binary64_1381 cube-prod_binary64_106 rem-log-exp_binary64_1824 pow-exp_binary64_1169 div-inv_binary64_4167 pow-sqr_binary64_1756 exp-diff_binary64 associate--l-_binary64_5131 +-commutative_binary64_4100 associate--l-_binary64_1380 pow-plus_binary64_2187 rem-log-exp_binary64_3529 pow2_binary64_3569 pow1/3_binary64_842 rem-3cbrt-lft_binary64_3172 pow3_binary64_3230 flip--_binary64_2099 distribute-lft-out--_binary64_371 diff-log_binary64_852 pow-plus_binary64 cube-mult_binary64_108 pow1/3_binary64_1183 cube-div_binary64_3517 pow-pow_binary64_2537 sub-neg_binary64_2117 pow2_binary64_2546 sqrt-undiv_binary64_440 sum-log_binary64_4261 associate--l+_binary64_2061 unpow2_binary64_2871 rem-log-exp_binary64_460 sqr-abs_binary64_1116 pow-sqr_binary64_2097 pow-to-exp_binary64_1852 pow-to-exp_binary64_1170 pow-sub_binary64_1859 associate-+l-_binary64_1377 un-div-inv_binary64_417 pow1/3_binary64_160 pow-exp_binary64_1851 sub-neg_binary64_753 associate-+l+_binary64_2057 sqrt-unprod_binary64_1121 pow2_binary64_2205 rem-exp-log_binary64_2505 cos-sum_binary64 diff-log_binary64_511 rem-square-sqrt_binary64_2477 frac-times_binary64 pow-pow_binary64_3560 rem-log-exp_binary64_2506 sqrt-div_binary64_777 pow2_binary64 pow2_binary64_1864 pow-exp_binary64_5261 sqr-pow_binary64_5165 flip--_binary64_735 rem-square-sqrt_binary64_5546 sqrt-unprod_binary64_5554 div-sub_binary64_1106 associate-*l/_binary64 rem-cbrt-cube_binary64_1466 flip3--_binary64_764 pow-prod-up_binary64_1853 exp-to-pow_binary64_2186 sum-log_binary64_5625 distribute-lft-in_binary64_5142 frac-times_binary64_88

Calls

437 calls:

124.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 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))))
97.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)))
83.0ms	(*.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x))))))
82.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 (log.f64 10)) (log.f64 im))))