rewrite9.4s (2.2%)

Algorithm

155×	rewrite-expression-head

Rules

2640×	times-frac_binary64_2130
2283×	*-un-lft-identity_binary64_1442
2048×	*-un-lft-identity_binary64_2124
1862×	add-sqr-sqrt_binary64_2146
1407×	times-frac_binary64_1448
1249×	add-cube-cbrt_binary64_2159
920×	add-sqr-sqrt_binary64_1464
840×	distribute-lft-out_binary64_1393
662×	associate-*r*_binary64_2064
638×	add-cube-cbrt_binary64_1477
636×	*-un-lft-identity_binary64_2465
607×	sqrt-prod_binary64_2140
603×	add-sqr-sqrt_binary64_2487
545×	*-un-lft-identity_binary64_1783
508×	add-sqr-sqrt_binary64_1805
487×	times-frac_binary64_2471
483×	times-frac_binary64_1789
478×	add-exp-log_binary64_2162
473×	times-frac_binary64_84
422×	add-cbrt-cube_binary64_2160
398×	add-cube-cbrt_binary64_2500
397×	add-sqr-sqrt_binary64_100
367×	sqrt-prod_binary64_1458
332×	add-cube-cbrt_binary64_1818
318×	*-un-lft-identity_binary64_78
316×	add-sqr-sqrt_binary64_1123
314×	add-cube-cbrt_binary64_113
300×	associate-*l*_binary64_1383
299×	*-un-lft-identity_binary64_1101
294×	times-frac_binary64_1107
287×	add-sqr-sqrt_binary64
286×	sqrt-prod_binary64_2481
285×	difference-of-squares_binary64_2093 add-sqr-sqrt_binary64_441
283×	cbrt-prod_binary64_2155
278×	flip-+_binary64_2098 flip3-+_binary64_2127
272×	add-exp-log_binary64_1480
264×	add-cbrt-cube_binary64_1478
254×	associate-/r/_binary64_2070
232×	add-cube-cbrt_binary64_1136
229×	add-exp-log_binary64_3526
221×	add-exp-log_binary64_1821
219×	*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_782
213×	times-frac_binary64_766 pow1_binary64_139
211×	sqrt-prod_binary64_94
207×	distribute-lft-out_binary64_2075
202×	add-cube-cbrt_binary64_454
198×	associate-*r*_binary64_1382
197×	associate-*r*_binary64_2405
179×	cbrt-prod_binary64_450
178×	add-exp-log_binary64_2503
177×	times-frac_binary64_425
176×	*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795
175×	add-cbrt-cube_binary64_1819
174×	*-un-lft-identity_binary64 add-cube-cbrt_binary64
169×	frac-add_binary64_2132
168×	pow1_binary64_2185
167×	log-pow_binary64_167
164×	pow1_binary64
163×	div-exp_binary64_2175
161×	distribute-lft-out--_binary64_2076
159×	pow1_binary64_1844
158×	cbrt-undiv_binary64_2158
156×	associate-*l*_binary64_2065
152×	prod-exp_binary64_3537
148×	pow1_binary64_3549
147×	sqrt-prod_binary64_1799
146×	prod-exp_binary64_2173
145×	sqrt-prod_binary64_1117 *-un-lft-identity_binary64_3488
143×	frac-times_binary64_2134 pow1_binary64_1503
142×	cbrt-prod_binary64
140×	add-cbrt-cube_binary64_2501 add-log-exp_binary64_2163 associate-*r/_binary64_2066
136×	associate-/l*_binary64_2069
135×	times-frac_binary64
134×	cbrt-unprod_binary64_2157
133×	pow1_binary64_2526
130×	associate-*r*_binary64_1723
128×	associate-*l*_binary64_19
127×	add-cbrt-cube_binary64_3524
126×	add-sqr-sqrt_binary64_3169
124×	pow1_binary64_480 cbrt-prod_binary64_791
118×	flip-+_binary64_1416 flip3-+_binary64_1445 associate-*l*_binary64_1724
117×	add-exp-log_binary64
113×	add-cbrt-cube_binary64
110×	div-inv_binary64_2121 difference-of-sqr-1_binary64_2094
105×	sqrt-prod_binary64_776 add-exp-log_binary64_116
104×	cbrt-unprod_binary64_3521
102×	add-cbrt-cube_binary64_114
96×	*-un-lft-identity_binary64_3147
95×	associate-*r*_binary64_359
94×	associate-*l*_binary64 pow1_binary64_821
92×	associate-/r/_binary64_1388 associate-/l*_binary64_1387
91×	add-sqr-sqrt_binary64_3851
89×	associate-*l*_binary64_2406 add-exp-log_binary64_1139
88×	add-log-exp_binary64_2504
87×	distribute-lft-out_binary64_2416
86×	associate-*r*_binary64 unpow-prod-down_binary64_1862 associate-*r*_binary64_3428
85×	add-exp-log_binary64_3185 pow1_binary64_3208
84×	add-cube-cbrt_binary64_3182 associate-*r/_binary64_3089
82×	distribute-lft-out_binary64_1734 *-un-lft-identity_binary64_4170 associate-/r*_binary64_2068 distribute-lft-out--_binary64_1394
81×	associate-*l/_binary64_2067 pow-prod-down_binary64_3559
80×	cbrt-prod_binary64_3519
78×	frac-times_binary64_1452 *-un-lft-identity_binary64_3829
77×	add-sqr-sqrt_binary64_3510
76×	flip3-+_binary64_2468 associate-*r*_binary64_18 sqrt-prod_binary64 flip-+_binary64_2439
75×	cube-prod_binary64_447 unpow-prod-down_binary64_498 add-exp-log_binary64_457 add-cbrt-cube_binary64_3183 associate-/r*_binary64_1727 prod-exp_binary64_1491
74×	div-exp_binary64_1493
73×	cbrt-undiv_binary64_1476 cbrt-unprod_binary64_1475 prod-exp_binary64_1832
72×	add-log-exp_binary64_1481
71×	add-cbrt-cube_binary64_1137
70×	associate-/r*_binary64_1386 cbrt-div_binary64_3520
69×	swap-sqr_binary64_2432
68×	sqrt-div_binary64_1459
64×	sqrt-prod_binary64_435 difference-of-squares_binary64_1411
63×	associate-/r*_binary64_2409 add-cbrt-cube_binary64_455 associate-*r*_binary64_3087
61×	add-cube-cbrt_binary64_3523
59×	add-log-exp_binary64_1822
58×	pow-prod-down_binary64 associate-*l*_binary64_1042 unpow-prod-down_binary64
57×	flip-+_binary64_3121 associate-*l*_binary64_3088 flip3-+_binary64_3150 distribute-lft-in_binary64_3096 swap-sqr_binary64_1409 distribute-rgt-in_binary64_3097
56×	add-log-exp_binary64 pow1_binary64_1162 associate-*l/_binary64_1385 associate-/r*_binary64_22
55×	add-sqr-sqrt_binary64_2828
53×	flip3--_binary64_2128 flip--_binary64_2099 cbrt-unprod_binary64_1816
52×	add-cube-cbrt_binary64_3864 unpow-prod-down_binary64_2544 cbrt-div_binary64_2497
51×	log-pow_binary64_508 distribute-lft-out_binary64_3439 sum-log_binary64_2215
50×	log-prod_binary64_1528 sqrt-div_binary64_2141
49×	add-sqr-sqrt_binary64_4192
48×	associate-/r*_binary64_1045 associate-/r/_binary64_2411
47×	flip3-+_binary64_3491 flip-+_binary64_3462
46×	associate-*r/_binary64_3430 prod-exp_binary64_2514
45×	log-prod_binary64_164 add-exp-log_binary64_3867 div-inv_binary64_1439 add-log-exp_binary64_3186
44×	add-log-exp_binary64_1140 sqrt-pow1_binary64_2142
43×	log-pow_binary64_849 unswap-sqr_binary64_2433 div-exp_binary64_1834 add-log-exp_binary64_117
42×	difference-of-squares_binary64_2434 sqrt-div_binary64_2482 sqrt-pow1_binary64_2483 associate-*r/_binary64_2748 frac-times_binary64_2475
41×	cancel-sign-sub-inv_binary64_3113 add-exp-log_binary64_798 div-inv_binary64_1780 pow1/3_binary64_2206 associate-*r*_binary64_1041 unswap-sqr_binary64 associate-/l/_binary64_2071
40×	sqrt-div_binary64_1118 associate-*l/_binary64_3090 unswap-sqr_binary64_1751 unswap-sqr_binary64_1410 associate-*r/_binary64_2407
39×	prod-exp_binary64 *-un-lft-identity_binary64_2806 cbrt-unprod_binary64 associate-*l*_binary64_360 cbrt-prod_binary64_1473 sqrt-pow1_binary64_778
38×	associate-*r/_binary64_1384 times-frac_binary64_3835 pow-prod-down_binary64_1513 cbrt-unprod_binary64_2498 add-exp-log_binary64_2844 pow1_binary64_2867
37×	associate-*l*_binary64_3429 associate-/l/_binary64_1389 associate-/l*_binary64_2410
36×	cbrt-div_binary64_3179 cbrt-div_binary64_2838 frac-times_binary64_3498 flip3--_binary64_1105 flip--_binary64_1076
35×	flip3-+_binary64_1786 flip-+_binary64_1757 associate-/l*_binary64_23 distribute-lft-out--_binary64_2417 add-log-exp_binary64_458 add-cube-cbrt_binary64_2841 add-cbrt-cube_binary64_796
34×	pow1_binary64_4231 difference-of-squares_binary64_1752 add-sqr-sqrt_binary64_4533 sqrt-div_binary64_777
33×	div-exp_binary64_2516 associate-/l*_binary64_1728
32×	pow-prod-down_binary64_2195 pow-prod-down_binary64_1854 cbrt-prod_binary64_3860 add-exp-log_binary64_4208 cbrt-prod_binary64_3178 sqrt-pow1_binary64 prod-exp_binary64_3196 associate-*r*_binary64_4110 pow1_binary64_3890 add-cbrt-cube_binary64_4206
31×	associate-/r/_binary64_1729 associate-*r*_binary64_2746 add-cube-cbrt_binary64_4205
30×	cbrt-undiv_binary64_1817 unswap-sqr_binary64_2092 unswap-sqr_binary64_387 *-un-lft-identity_binary64_4511 associate-*l/_binary64_2408
29×	associate-/l*_binary64_1046 associate-/r*_binary64_363 add-log-exp_binary64_3527
28×	swap-sqr_binary64 cbrt-unprod_binary64_3180 add-cbrt-cube_binary64_2842 pow-prod-down_binary64_3218 log-prod_binary64_505
27×	add-log-exp_binary64_799
26×	cancel-sign-sub-inv_binary64_2431 add-cbrt-cube_binary64_3865 distribute-lft-out--_binary64_1735 unswap-sqr_binary64_46 associate-/r*_binary64_704 sqr-pow_binary64
25×	cbrt-undiv_binary64_2499 pow-unpow_binary64_155 pow-prod-down_binary64_2536 exp-sum_binary64_1488 cbrt-prod_binary64_2496
24×	cbrt-div_binary64_1474 distribute-lft-out_binary64_4121
23×	pow1/2_binary64 associate-*l/_binary64_1044 div-inv_binary64_2462 div-exp_binary64_1152 pow1/2_binary64_2545
22×	cbrt-unprod_binary64_111 prod-exp_binary64_127 add-exp-log_binary64_4549 pow-plus_binary64_1846 associate-*r*_binary64_4451 add-cbrt-cube_binary64_4547 pow-flip_binary64_2198 sqrt-div_binary64 pow-prod-up_binary64_1853 div-inv_binary64_75
21×	flip-+_binary64_52 pow1/2_binary64_840 distribute-lft-neg-in_binary64_1058 distribute-rgt-neg-in_binary64_1059 sqrt-prod_binary64_4186 add-log-exp_binary64_2845 add-log-exp_binary64_4209 swap-sqr_binary64_2091 sqrt-prod_binary64_3504 flip3-+_binary64_81
20×	associate-*l*_binary64_2747 sqr-pow_binary64_2437 unswap-sqr_binary64_3115 div-exp_binary64_129 flip-+_binary64_2780 exp-sum_binary64_465 frac-sub_binary64_3156 frac-times_binary64_3157 cbrt-undiv_binary64_112 flip3-+_binary64_2809 add-log-exp_binary64_5232 add-cube-cbrt_binary64_4546 *-commutative_binary64
19×	cancel-sign-sub-inv_binary64_1408 flip-+_binary64_4144 flip3-+_binary64_1104 clear-num_binary64_2123 flip3-+_binary64_4173 flip-+_binary64_1075 frac-times_binary64_1111 sqrt-pow1_binary64_437 frac-2neg_binary64_2135
18×	sqrt-div_binary64_436 associate-*l/_binary64_3431 pow1/3_binary64_2888 pow1/3_binary64_3229 associate-*l*_binary64_4111 sqrt-div_binary64_4187 prod-exp_binary64_3878 associate-*l/_binary64_1726 sqrt-div_binary64_95 log-div_binary64_165 unswap-sqr_binary64_1069 sqrt-div_binary64_3505 associate-*r/_binary64_4112 distribute-lft-out_binary64_1052 cancel-sign-sub-inv_binary64_1749
17×	add-log-exp_binary64_3868 pow1_binary64_4572 associate-*l*_binary64_3770 flip--_binary64_3122 flip3--_binary64_3151
16×	pow-prod-down_binary64_490 associate-*r/_binary64_4453 flip--_binary64_2440 flip3--_binary64_2469 associate-*r/_binary64_1725 sqrt-div_binary64_1800 *-commutative_binary64_3078 cbrt-prod_binary64_2837 associate--l+_binary64_3084 *-commutative_binary64_3419 associate-*r*_binary64_3769
15×	difference-of-squares_binary64_1070 *-commutative_binary64_2055 clear-num_binary64_1441 sub-neg_binary64_3140 div-inv_binary64_1098 distribute-lft-out--_binary64_1053 *-un-lft-identity_binary64_5193 frac-2neg_binary64_1453 swap-sqr_binary64_727
14×	sqrt-div_binary64_4528 swap-sqr_binary64_3455 cbrt-undiv_binary64_1135 *-commutative_binary64_2396 prod-exp_binary64_1150 pow-prod-up_binary64_2194 sum-log_binary64_2556 exp-diff_binary64_2172 prod-exp_binary64_468 prod-exp_binary64_2855 associate-/l*_binary64_705 *-commutative_binary64_1714 unpow-prod-down_binary64_1180 cancel-sign-sub-inv_binary64_1067 pow-sqr_binary64_2097 log-div_binary64_2211 div-inv_binary64_757
13×	flip3-+_binary64 associate-/r/_binary64_1047 unpow-prod-down_binary64_2203 *-commutative_binary64_1373 rem-sqrt-square_binary64_773 rem-sqrt-square_binary64_2478 pow-prod-down_binary64_149 frac-add_binary64_2473 exp-sum_binary64_2170 flip-+_binary64
12×	unpow-prod-down_binary64_3567 unpow-prod-down_binary64_157 frac-add_binary64_1791 sqrt-pow1_binary64_96 log-pow_binary64_1872 cbrt-unprod_binary64_452 pow-prod-up_binary64_2535 +-commutative_binary64_2054 cube-prod_binary64_2493 pow1/3_binary64_1524 rem-sqrt-square_binary64 pow1/2_binary64_158 associate-/l*_binary64_364 exp-prod_binary64_471
11×	pow1/3_binary64_501 frac-2neg_binary64_1794 +-commutative_binary64_2395 flip3-+_binary64_763 div-inv_binary64_416 distribute-rgt-in_binary64_28 flip-+_binary64_734 distribute-lft-in_binary64_27 log-prod_binary64_1869 clear-num_binary64_1782 sqrt-pow1_binary64_1119 pow1/2_binary64_499
10×	associate-/l/_binary64_1730 cancel-sign-sub-inv_binary64_2772 frac-times_binary64_1793 log-prod_binary64_2210 cbrt-unprod_binary64_1134 swap-sqr_binary64_3114 associate-*l*_binary64_4452 flip3--_binary64_1446 frac-2neg_binary64_2476 pow-prod-down_binary64_2877 div-exp_binary64_470 sqr-pow_binary64_391 associate-*r/_binary64_1043 flip--_binary64_1417 cbrt-unprod_binary64_2839 pow1/3_binary64_3911 associate-*r/_binary64_361 cube-prod_binary64_2152 distribute-rgt-in_binary64_2074 frac-add_binary64_1109 div-exp_binary64_811 clear-num_binary64_2464 distribute-lft-in_binary64_2073 difference-of-squares_binary64_3798
9×	unswap-sqr_binary64_728 pow1/2_binary64_2204 flip3--_binary64_423 cancel-sign-sub-inv_binary64_4477 prod-exp_binary64_4219 cube-mult_binary64_449 1-exp_binary64_1827 flip--_binary64_394 frac-2neg_binary64_89 rec-exp_binary64_1833 cbrt-unprod_binary64_4203 clear-num_binary64_77 add-sqr-sqrt_binary64_5215 associate-*r*_binary64_700 *-commutative_binary64_350 associate-*l*_binary64_701 associate-/l*_binary64_3774 pow-unpow_binary64_2201 associate-*r/_binary64_20 cbrt-prod_binary64_109 unpow3_binary64_485 pow-prod-up_binary64_830 cbrt-unprod_binary64_3862 sqrt-prod_binary64_4527 unswap-sqr_binary64_2774 pow1/2_binary64_1181
8×	frac-times_binary64_4180 pow-to-exp_binary64_3557 pow-exp_binary64_3556 unpow-prod-down_binary64_3226 sqrt-pow1_binary64_1801 sqr-pow_binary64_1755 sum-log_binary64_1533 flip-+_binary64_4485 flip3-+_binary64_4514 difference-of-squares_binary64_388 add-log-exp_binary64_4550 pow1/3_binary64 pow-prod-down_binary64_4241 exp-prod_binary64_2517 pow1/2_binary64_1863 distribute-lft-neg-in_binary64 pow1/3_binary64_3570 distribute-lft-out_binary64_3780 pow-plus_binary64_2187 distribute-rgt-neg-in_binary64 frac-add_binary64_3155 swap-sqr_binary64_2773 pow1/3_binary64_842 frac-times_binary64_2816 associate-+r+_binary64_1715 cbrt-div_binary64_2156 cbrt-div_binary64_792 unpow-prod-down_binary64_2885 exp-prod_binary64_2176 pow-prod-down_binary64_1172 pow-prod-up_binary64_1512 div-sub_binary64_83 pow2_binary64_2205 rem-sqrt-square_binary64_1796 pow-sqr_binary64_2438 pow-sqr_binary64_1415
7×	*-commutative_binary64_9 pow-to-exp_binary64_2534 unswap-sqr_binary64_3797 pow-exp_binary64_2533 associate-*l/_binary64_21 unswap-sqr_binary64_3456 pow-flip_binary64_1857 frac-sub_binary64_1451 clear-num_binary64_1100 associate-/l*_binary64 frac-2neg_binary64_1112 cbrt-unprod_binary64_4544 log-pow_binary64 associate-+r+_binary64_2056 rem-log-exp_binary64_119 sum-log_binary64_1874 distribute-lft-out--_binary64_371 associate-/r*_binary64_3773 neg-mul-1_binary64_1097 cube-div_binary64_2153 prod-exp_binary64_4560 frac-times_binary64_88
6×	+-commutative_binary64_8 flip3-+_binary64_3832 add-cube-cbrt_binary64_5228 cbrt-div_binary64_110 cbrt-undiv_binary64_794 *-commutative_binary64_1032 +-commutative_binary64_1713 times-frac_binary64_4176 *-commutative_binary64_2737 flip-+_binary64_3803 diff-log_binary64_5285 swap-sqr_binary64_386 cancel-sign-sub-inv_binary64_2090 pow-pow_binary64_2196 sub-neg_binary64_1094 associate-+l+_binary64_3080 +-commutative_binary64_1372 pow-exp_binary64_2192 associate-/l/_binary64_2412 pow-exp_binary64_3897 cube-prod_binary64_788 pow-unpow_binary64_496 swap-sqr_binary64_3796 associate-/l/_binary64_1048 cbrt-undiv_binary64_453 add-exp-log_binary64_5231 associate-*l/_binary64_4113 log-div_binary64_506 associate-+r+_binary64_3079 associate-*r*_binary64_5133 swap-sqr_binary64_4137 add-cbrt-cube_binary64_5229 diff-log_binary64_1193 pow-to-exp_binary64_2193 *-commutative_binary64_4101 rem-sqrt-square_binary64_1114 pow-prod-down_binary64_4582 associate-/r*_binary64_4114 associate-+r+_binary64_10 cbrt-prod_binary64_1132 pow1_binary64_5254 difference-of-sqr--1_binary64_1413 unswap-sqr_binary64_4138 unpow-prod-down_binary64_839 unpow-prod-down_binary64_1521 sum-log_binary64_169 pow-pow_binary64_3901 difference-of-sqr-1_binary64_1412
5×	pow-prod-down_binary64_3900 distribute-rgt-in_binary64_4120 distribute-rgt-in_binary64_4461 distribute-lft-out--_binary64_3781 flip3--_binary64_1787 diff-log_binary64_2557 div-sub_binary64_1447 log-pow_binary64_2554 distribute-lft-in_binary64_2755 times-frac_binary64_4517 pow-sqr_binary64_1756 sub-neg_binary64_2458 diff-log_binary64_1534 1-exp_binary64_1145 rec-exp_binary64_1151 distribute-lft-in_binary64_4119 distribute-lft-in_binary64_4460 div-inv_binary64 pow-sqr_binary64_733 associate-/r*_binary64_4455 pow-prod-down_binary64_831 pow-plus_binary64_1505 flip--_binary64_1758 pow2_binary64_1864 pow-exp_binary64_487 sum-log_binary64_3238 distribute-rgt-in_binary64_2756 rem-sqrt-square_binary64_432
4×	exp-prod_binary64_1494 clear-num_binary64_418 sqrt-unprod_binary64 flip--_binary64_4486 1-exp_binary64_463 unpow3_binary64_2531 distribute-neg-frac_binary64_3111 flip3--_binary64_4174 pow-pow_binary64_491 sub-neg_binary64_1435 frac-2neg_binary64_430 exp-diff_binary64_467 flip3--_binary64_4515 sqr-pow_binary64_50 associate--r+_binary64_1719 cube-prod_binary64_2834 cbrt-div_binary64_1133 cube-div_binary64_1471 pow-plus_binary64_2528 *-commutative_binary64_4442 pow-sqr_binary64_3120 sqr-abs_binary64_775 associate-*l/_binary64_3772 associate-+l+_binary64_1034 pow-prod-up_binary64_2876 pow-sqr_binary64_2779 distribute-lft-out--_binary64_4122 difference-of-squares_binary64_4480 rec-exp_binary64_469 sub-neg_binary64_2799 frac-2neg_binary64_771 difference-of-squares_binary64_3116 frac-times_binary64_770 cube-mult_binary64_2495 sqr-pow_binary64_2096 sqr-pow_binary64_1414 distribute-lft-out--_binary64_5145 difference-of-squares_binary64_4139 pow2_binary64_1523 +-commutative_binary64_3077 cbrt-div_binary64 rem-sqrt-square_binary64_2137 associate-*r/_binary64_3771 cube-div_binary64_789 pow-exp_binary64_1510 pow-prod-up_binary64_3217 pow2_binary64_2546 sum-log_binary64_4261 sqr-pow_binary64_2778 *-commutative_binary64_3760 associate--r+_binary64_1378 distribute-neg-in_binary64_3108 unswap-sqr_binary64_4479 sqr-abs_binary64_2480 clear-num_binary64_759 frac-times_binary64_4521 pow-flip_binary64_1175 sum-log_binary64_5284 flip--_binary64_4145 sum-log_binary64_3579 associate-+l+_binary64_2057 unpow2_binary64_2530 log-prod_binary64_2551 associate-*l/_binary64_2749 cube-prod_binary64_3175 sin-sum_binary64 flip--_binary64_735 sqr-pow_binary64_3119 flip3--_binary64_764
3×	distribute-rgt-neg-in_binary64_3105 sub-neg_binary64_5186 associate-/r*_binary64 distribute-lft-out_binary64_3098 rem-cube-cbrt_binary64_1465 distribute-lft-out--_binary64_3099 distribute-lft-neg-in_binary64_3104 diff-log_binary64_1875 unpow1/3_binary64_3896 pow-unpow_binary64_3906 distribute-lft-out_binary64_4462 associate-/r/_binary64_24 pow-prod-up_binary64_3899 distribute-rgt-in_binary64_1392 pow-to-exp_binary64_3898 distribute-lft-in_binary64_1050 pow-unpow_binary64_1519 associate--l+_binary64_1720 inv-pow_binary64_504 cube-mult_binary64_2154 exp-prod_binary64 cube-div_binary64_448 cancel-sign-sub-inv_binary64_385 pow-unpow_binary64_837 cancel-sign-sub-inv_binary64_5159 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_2415 associate-*l*_binary64_5134 unpow3_binary64_2190 pow-flip_binary64_493 cancel-sign-sub-inv_binary64_4136 distribute-lft-in_binary64_2414 associate-+r+_binary64_2397 sub-neg_binary64_4504 pow-sqr_binary64_3802 pow-to-exp_binary64_1852 distribute-rgt-in_binary64_1051 sub-neg_binary64_1776 distribute-lft-out_binary64_29 rem-cube-cbrt_binary64_442 div-exp_binary64 pow-exp_binary64_1851 div-sub_binary64_2129 1-exp_binary64_2168 diff-log_binary64_3239 distribute-lft-out_binary64_5144 sub-neg_binary64_4163 div-sub_binary64_1106 pow-pow_binary64_1514 rec-exp_binary64_2174 pow-sub_binary64_2200
2×	associate-/r/_binary64_4457 flip3--_binary64_5197 rem-exp-log_binary64_2164 div-inv_binary64_3826 pow-exp_binary64_2874 flip--_binary64_5168 associate-+l-_binary64_5128 sqrt-undiv_binary64_2486 associate-*l/_binary64_703 div-exp_binary64_3880 pow-to-exp_binary64_147 cbrt-undiv_binary64_3863 sub-neg_binary64 pow-exp_binary64_3215 inv-pow_binary64_1186 flip3-+_binary64_422 inv-pow_binary64_1868 cbrt-div_binary64_451 rem-sqrt-square_binary64_1455 associate--r+_binary64_4106 unsub-neg_binary64_3141 exp-sum_binary64 associate-/l/_binary64_4458 diff-log_binary64 distribute-lft-neg-out_binary64_3106 cancel-sign-sub-inv_binary64_726 unpow3_binary64_826 pow3_binary64_1866 flip3--_binary64_2810 associate-/l/_binary64_3776 rem-sqrt-square_binary64_91 difference-of-squares_binary64_2775 exp-sum_binary64_2511 sqrt-pow1_binary64_3506 flip-+_binary64_5167 rem-log-exp_binary64_1483 pow-flip_binary64_2539 associate-+l+_binary64_2739 pow1/2_binary64_3568 sum-log_binary64_1192 distribute-rgt-in_binary64_3779 pow-to-exp_binary64_3216 associate-/r/_binary64_3775 clear-num_binary64_3828 neg-mul-1_binary64 rem-cube-cbrt_binary64_2147 sum-log_binary64 rec-exp_binary64_2515 associate-+r+_binary64_3761 rem-cbrt-cube_binary64_443 sqr-pow_binary64_3801 pow1/2_binary64_4250 flip3-+_binary64_5196 rem-exp-log_binary64 +-commutative_binary64_3418 cancel-sign-sub-inv_binary64 associate-/r/_binary64_4116 sqrt-pow1_binary64_4188 pow-to-exp_binary64_2875 +-commutative_binary64_4100 pow-plus_binary64_3210 pow-to-exp_binary64_488 pow-exp_binary64_146 unpow-prod-down_binary64_3908 pow-prod-up_binary64_3558 cube-mult_binary64_790 distribute-lft-out--_binary64_4463 diff-log_binary64_852 sqrt-pow1_binary64_1460 flip--_binary64_2781 associate-+r-_binary64_12 pow2_binary64_3228 +-commutative_binary64_3759 pow1/3_binary64_1183 cbrt-undiv_binary64_4204 sum-log_binary64_2897 associate-*r/_binary64_702 sub-neg_binary64_2117 pow1/2_binary64_1522 rem-sqrt-square_binary64_4183 sum-log_binary64_3920 flip-+_binary64_393 distribute-lft-in_binary64_3778 sqr-pow_binary64_732 rec-exp_binary64_810 associate-+l+_binary64_5126 frac-2neg_binary64_3840 cube-mult_binary64_1472 unpow3_binary64_1508 pow2_binary64_2887 associate-*l/_binary64_4454 pow-plus_binary64_3892 pow-sqr_binary64 inv-pow_binary64_2550 pow1/3_binary64_160 log-pow_binary64_1531 unpow2_binary64_3553 sub-neg_binary64_753 cube-prod_binary64_1470 +-commutative_binary64 distribute-lft-out--_binary64_2758 pow2_binary64_3910 pow-sqr_binary64_392 log-div_binary64_1529 pow-prod-up_binary64 rem-exp-log_binary64_2505 associate-*r/_binary64_5135 sqr-pow_binary64_3460 associate-/l/_binary64_4117 1-exp_binary64_2509 pow-prod-up_binary64_489 pow-sqr_binary64_3461 inv-pow_binary64_2209 cbrt-undiv_binary64_4545 1-exp_binary64_804 diff-log_binary64_2898 div-sub_binary64_3834 pow-plus_binary64_2869 div-exp_binary64_4221 pow-to-exp_binary64_1511 div-exp_binary64_4562 rem-sqrt-square_binary64_3501
1×	pow-prod-down_binary64_5264 difference-of-squares_binary64_5162 +-commutative_binary64_1031 sub-neg_binary64_412 flip--_binary64_3804 distribute-rgt-in_binary64_1733 cube-mult_binary64_3177 sum-log_binary64_851 rem-cbrt-cube_binary64_784 sqrt-unprod_binary64_780 pow-to-exp_binary64_829 pow2_binary64_841 pow-to-exp_binary64 flip3--_binary64 pow-plus_binary64_3551 associate-+r-_binary64_3763 pow-plus_binary64_4233 difference-of-squares_binary64 distribute-lft-in_binary64_1732 prod-exp_binary64_809 clear-num_binary64 associate-+l+_binary64_4103 distribute-rgt-in_binary64_5143 cbrt-undiv_binary64 rem-exp-log_binary64_1482 pow-exp_binary64_828 associate--l+_binary64_5130 rem-cbrt-cube_binary64_2148 associate-+r-_binary64_2399 unpow3_binary64_2872 neg-mul-1_binary64_3143 associate-*r/_binary64 clear-num_binary64_4169 pow-plus_binary64_823 diff-log_binary64_4262 sqrt-unprod_binary64_2485 log-pow_binary64_2213 rem-cube-cbrt_binary64_783 frac-2neg_binary64_4181 unpow3_binary64_3213 neg-sub0_binary64_1096 inv-pow_binary64_845 pow-exp_binary64 associate-+r-_binary64_1717 pow2_binary64_500 cbrt-unprod_binary64_5226 sum-log_binary64_510 distribute-frac-neg_binary64_1064 associate-/l*_binary64_4115 neg-log_binary64_3240 pow-sqr_binary64_4143 +-commutative_binary64_5123 pow2_binary64_4251 pow-pow_binary64_150 associate-+r-_binary64_3081 pow-flip_binary64_834 flip--_binary64 associate--r-_binary64_1381 clear-num_binary64_4510 rem-exp-log_binary64_459 *-commutative_binary64_5124 rem-log-exp_binary64_1824 div-inv_binary64_4167 neg-sub0_binary64_3142 pow-plus_binary64_482 exp-diff_binary64 diff-log_binary64_4603 associate--l-_binary64_5131 exp-diff_binary64_1490 pow-prod-up_binary64_4240 pow1/3_binary64_2547 +-commutative_binary64_690 pow2_binary64_3569 distribute-rgt-in_binary64_3438 associate-+l-_binary64_1036 distribute-lft-in_binary64_3437 div-sub_binary64_2470 pow-plus_binary64 associate-/l*_binary64_4456 prod-exp_binary64_5242 frac-2neg_binary64 rem-log-exp_binary64_460 cube-mult_binary64_2836 cbrt-unprod_binary64_793 associate-/r/_binary64_706 frac-2neg_binary64_4522 sqrt-unprod_binary64_439 un-div-inv_binary64_1781 associate-+l-_binary64_1377 un-div-inv_binary64_417 unswap-sqr_binary64_5161 rem-square-sqrt_binary64_772 cos-sum_binary64 diff-log_binary64_511 associate-+l+_binary64_3421 rem-square-sqrt_binary64_2477 div-inv_binary64_4508 +-commutative_binary64_349 frac-times_binary64 rem-log-exp_binary64_2506 pow2_binary64 *-commutative_binary64_691 pow-pow_binary64_832 +-commutative_binary64_2736 associate-*l/_binary64 rem-cbrt-cube_binary64_1466 associate-+l-_binary64_2741 associate-+r+_binary64_1374 exp-to-pow_binary64_2186 distribute-lft-in_binary64_5142 flip3--_binary64_3833

Calls

463 calls:

222.0ms	(*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
151.0ms	(*.f64 (/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
132.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)))
99.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)) (+.f64 (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z)) (+.f64 (/.f64 7041008316161153/562949953421312 (-.f64 5 z)) (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))))))
98.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))))))