rewrite7.9s (0.3%)

Algorithm

154×	rewrite-expression-head

Rules

3338×	times-frac_binary64_1789
2720×	*-un-lft-identity_binary64_1783
1853×	add-sqr-sqrt_binary64_1805
1357×	add-cube-cbrt_binary64_1818
1344×	*-un-lft-identity_binary64_1442
792×	times-frac_binary64_1107
757×	times-frac_binary64_2130
731×	add-sqr-sqrt_binary64_1123
714×	*-un-lft-identity_binary64_1101
691×	*-un-lft-identity_binary64_2124
669×	times-frac_binary64_1448
668×	add-sqr-sqrt_binary64_1464
564×	add-sqr-sqrt_binary64_2146
525×	times-frac_binary64_2471
466×	distribute-lft-out_binary64_1393
460×	distribute-lft-out_binary64_1734
458×	add-sqr-sqrt_binary64_2487
438×	add-cube-cbrt_binary64_2159
397×	associate-*r*_binary64_1723
392×	add-cube-cbrt_binary64_1477
388×	times-frac_binary64_84
385×	*-un-lft-identity_binary64_2465 sqrt-prod_binary64_1117
344×	add-sqr-sqrt_binary64_100
328×	add-cube-cbrt_binary64_1136
316×	cancel-sign-sub-inv_binary64_2090 times-frac_binary64_766
302×	*-un-lft-identity_binary64_78
299×	unpow-prod-down_binary64_2203
290×	add-cube-cbrt_binary64_113
273×	unpow-prod-down_binary64_1521
264×	*-un-lft-identity_binary64_5875
256×	add-cube-cbrt_binary64_2500
233×	add-exp-log_binary64_1480
231×	cube-prod_binary64_1470
224×	add-sqr-sqrt_binary64_441
223×	distribute-lft-out--_binary64_1735
222×	add-cbrt-cube_binary64_1478
219×	difference-of-squares_binary64_1752
215×	pow1_binary64_821
197×	pow1_binary64_139
192×	times-frac_binary64_425
190×	add-exp-log_binary64_1821
186×	add-exp-log_binary64_2503
185×	difference-of-squares_binary64_1070
184×	add-exp-log_binary64_2162
181×	add-exp-log_binary64_457
179×	associate-*r*_binary64_2405
177×	associate-*r*_binary64_1382 sqrt-prod_binary64_1458
175×	add-cbrt-cube_binary64_2501 add-sqr-sqrt_binary64_782
174×	associate-/r/_binary64_1729
170×	log-pow_binary64_849
169×	*-un-lft-identity_binary64_419
165×	*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 cube-prod_binary64_2152
158×	add-cbrt-cube_binary64_2160
154×	associate-/r*_binary64_1727
147×	add-cube-cbrt_binary64_454
146×	add-cbrt-cube_binary64_1819
143×	pow1_binary64_2185
140×	pow1_binary64
139×	associate-/l*_binary64_1728
138×	add-sqr-sqrt_binary64 add-log-exp_binary64_1822
136×	sqrt-prod_binary64_435
130×	distribute-lft-out_binary64_2075 add-sqr-sqrt_binary64_3510
129×	times-frac_binary64_3494
127×	log-pow_binary64_167 add-exp-log_binary64_1139
125×	*-un-lft-identity_binary64_3488
120×	add-sqr-sqrt_binary64_5897
119×	*-un-lft-identity_binary64 add-sqr-sqrt_binary64_3169
118×	distribute-lft-out--_binary64_5827 associate-/r/_binary64_2411
116×	add-cube-cbrt_binary64_3523
109×	add-cbrt-cube_binary64_1137
108×	associate-*r*_binary64_359
106×	distribute-lft-out_binary64_1052
105×	add-cbrt-cube_binary64_455 add-sqr-sqrt_binary64_4874
103×	add-sqr-sqrt_binary64_4192 add-cube-cbrt_binary64
102×	add-exp-log_binary64
101×	difference-of-squares_binary64_1411
100×	*-un-lft-identity_binary64_3147 add-exp-log_binary64_116
99×	add-cbrt-cube_binary64
98×	flip3-+_binary64_1786 flip-+_binary64_1757 pow1_binary64_1503
97×	flip-+_binary64_1416 flip3-+_binary64_1445 flip3-+_binary64_2468 flip-+_binary64_2439
95×	div-inv_binary64_1780
94×	associate-*l*_binary64_360
92×	difference-of-squares_binary64_2434 associate-/r/_binary64_1388
91×	associate-*l*_binary64_1383 *-un-lft-identity_binary64_4852 associate-*l*_binary64_2065
88×	pow1_binary64_480
86×	add-sqr-sqrt_binary64_2828 prod-exp_binary64_468 *-un-lft-identity_binary64_2806
84×	add-cbrt-cube_binary64_114 sqrt-prod_binary64_4186
83×	cancel-sign-sub-inv_binary64_1408 associate-*r*_binary64_18 add-sqr-sqrt_binary64_3851 pow1_binary64_1844
82×	pow1_binary64_1162
80×	add-exp-log_binary64_3185
79×	distribute-lft-out--_binary64_1053
78×	add-log-exp_binary64_1481 pow1_binary64_3208
75×	sqrt-prod_binary64_94
74×	times-frac_binary64_3835 *-un-lft-identity_binary64_4170
73×	add-cube-cbrt_binary64_3182
72×	associate-*r*_binary64_3087
71×	div-inv_binary64_1098
70×	associate-*l*_binary64_3429 add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829 associate-*r*_binary64_1041
69×	add-cbrt-cube_binary64_3183
68×	add-cube-cbrt_binary64_5910 sqrt-div_binary64_777 associate-*r/_binary64_2407
67×	associate-*l*_binary64_2406 div-exp_binary64_1493
66×	add-exp-log_binary64_4549 distribute-lft-out--_binary64_1394
65×	associate-/r*_binary64_22
64×	cbrt-undiv_binary64_1476 frac-add_binary64_1791 associate-/r*_binary64_1045 times-frac_binary64_5881
62×	associate-/r/_binary64_1047
61×	associate-/r*_binary64_1386 pow1_binary64_2526
60×	add-cube-cbrt_binary64_2841 sqrt-prod_binary64
59×	add-cube-cbrt_binary64_4887 pow1_binary64_2867
58×	add-log-exp_binary64_2163 add-cbrt-cube_binary64_4547 add-exp-log_binary64_2844
57×	add-cbrt-cube_binary64_2842 prod-exp_binary64_2173 div-exp_binary64_1834 prod-exp_binary64_2514
56×	associate-*r*_binary64_5815
55×	add-log-exp_binary64 div-exp_binary64_2516 associate-*r*_binary64_2064 cancel-sign-sub-inv_binary64_5841 cbrt-undiv_binary64_2499
54×	associate-*l*_binary64_1042 cbrt-div_binary64_792 add-cube-cbrt_binary64_4205 prod-exp_binary64_1832
53×	pow1_binary64_4572 pow-prod-down_binary64_2195 cbrt-unprod_binary64_2157 sqr-pow_binary64_2096 associate-/r/_binary64_2070 prod-exp_binary64_1491
51×	cbrt-unprod_binary64_1475 cbrt-unprod_binary64_2498 cbrt-prod_binary64_109 frac-times_binary64_2475
50×	associate-*r*_binary64 cbrt-prod_binary64_1814 sqrt-prod_binary64_2140
49×	sqrt-prod_binary64_776 associate-/l*_binary64_1046
48×	frac-times_binary64_1452 add-exp-log_binary64_3867 associate-/r*_binary64_2068
47×	flip3--_binary64_1787 sqrt-div_binary64_1118 flip--_binary64_1758
46×	associate-*l*_binary64_19 add-exp-log_binary64_798 associate-*l*_binary64 pow-pow_binary64_3560
45×	times-frac_binary64_4176 difference-of-sqr-1_binary64_2435 add-cbrt-cube_binary64_3865 sum-log_binary64_1874 pow1/3_binary64_842 add-log-exp_binary64_2845 pow-prod-up_binary64_830
44×	pow-prod-down_binary64 associate-*r*_binary64_2746 associate-/l*_binary64_1387 add-cbrt-cube_binary64_796
43×	add-log-exp_binary64_1140
42×	associate-*l*_binary64_3088 sqrt-prod_binary64_3163
41×	associate-/l*_binary64_705 flip3-+_binary64_1104 flip-+_binary64_1075 associate-/r*_binary64_704
40×	associate-/l/_binary64_1389 associate-*l*_binary64_3770 difference-of-squares_binary64_2093
39×	cbrt-undiv_binary64_1817 unpow-prod-down_binary64_3567 cbrt-unprod_binary64_452 associate-*l/_binary64_1385 associate-*l*_binary64_1724
38×	flip3--_binary64_2128 difference-of-squares_binary64_5844 times-frac_binary64_4858 flip--_binary64_2099 pow-unpow_binary64_3565 unpow-prod-down_binary64_1180
37×	add-exp-log_binary64_4890 div-inv_binary64_1439 flip3-+_binary64_763 associate-/l*_binary64_2069 flip-+_binary64_734 add-log-exp_binary64_3186
36×	add-log-exp_binary64_4891 cancel-sign-sub-inv_binary64_4818 div-exp_binary64_470 cancel-sign-sub-inv_binary64_1749 prod-exp_binary64_4560
35×	distribute-rgt-in_binary64_5825 distribute-lft-in_binary64_5824 div-inv_binary64_2462 add-log-exp_binary64_117 div-inv_binary64_2121
34×	div-exp_binary64_1152 associate-/l*_binary64_2410
33×	associate--l+_binary64_5812 associate-/l*_binary64_23 distribute-lft-out--_binary64_2417 swap-sqr_binary64_1409 cbrt-prod_binary64 pow1_binary64_3890 exp-prod_binary64_3540
32×	associate--r+_binary64_5811 pow1_binary64_4231 unpow-prod-down_binary64_498 add-cbrt-cube_binary64_5911 pow1_binary64_5936 flip-+_binary64_2098 add-exp-log_binary64_5913 flip3-+_binary64_2127 sqrt-div_binary64_3164 sqrt-div_binary64_2823 log-div_binary64_847 associate-*r/_binary64_2748 add-log-exp_binary64_5914 add-cbrt-cube_binary64_4888
31×	log-prod_binary64_164 pow1_binary64_3549 sqrt-pow1_binary64 sqrt-prod_binary64_3504
30×	pow-plus_binary64_823 cbrt-unprod_binary64_4544 associate-*l/_binary64_2067 prod-exp_binary64_3196 add-cbrt-cube_binary64_3524
29×	add-exp-log_binary64_3526 prod-exp_binary64_1150 unswap-sqr_binary64_387 associate-*r/_binary64_1725
28×	prod-exp_binary64 add-log-exp_binary64_2504 div-sub_binary64_765 associate-*l*_binary64_4793 frac-times_binary64_770 add-log-exp_binary64_458 cbrt-unprod_binary64 cbrt-unprod_binary64_1816 div-exp_binary64_2175
27×	flip-+_binary64_2780 add-exp-log_binary64_4208 associate-*l/_binary64_2408 flip3-+_binary64_2809 pow-prod-down_binary64_4582 add-cbrt-cube_binary64_4206
26×	log-pow_binary64_508 cbrt-undiv_binary64_1135 sqrt-prod_binary64_2822 add-sqr-sqrt_binary64_4533 add-log-exp_binary64_4209 pow-prod-down_binary64_831
25×	cbrt-prod_binary64_3178
24×	pow-prod-down_binary64_490 associate-*r/_binary64_1384 cbrt-unprod_binary64_3180 swap-sqr_binary64_5842 pow1_binary64_4913 unswap-sqr_binary64_2433 sqrt-div_binary64_2141 associate-*r/_binary64_3089 cbrt-div_binary64_2497 sqrt-div_binary64
23×	unswap-sqr_binary64_3115 sqrt-prod_binary64_2481 associate-/r*_binary64_2409 sub-neg_binary64_5868 unswap-sqr_binary64_1751
22×	flip-+_binary64_3121 pow1/2_binary64 pow-prod-down_binary64_3218 flip--_binary64_5850 flip3-+_binary64_3150 associate-*r*_binary64_4451 flip3--_binary64_5879 pow-prod-down_binary64_149 div-inv_binary64_75
21×	div-exp_binary64_129 cbrt-unprod_binary64_1134 add-log-exp_binary64_799 cube-prod_binary64_4880 unpow-prod-down_binary64_4931 unswap-sqr_binary64_46 associate-*l*_binary64_5816
20×	associate-*l*_binary64_2747 unpow-prod-down_binary64 unswap-sqr_binary64_1069 add-log-exp_binary64_3527 times-frac_binary64_2812 unswap-sqr_binary64_1410
19×	associate-/l/_binary64_1730 add-log-exp_binary64_4550 *-un-lft-identity_binary64_4511 add-cube-cbrt_binary64_4546
18×	cbrt-div_binary64_1474 sqrt-pow1_binary64_96 cbrt-div_binary64_1815 *-commutative_binary64_2055 flip--_binary64_2440 flip3--_binary64_2469 associate-*r/_binary64_361 difference-of-squares_binary64_4139 pow1/3_binary64_1865 associate-*r/_binary64_4794 associate-/r*_binary64_3773 associate-/r*_binary64_4114 pow-flip_binary64_1175
17×	cbrt-undiv_binary64_2158 prod-exp_binary64_127 associate-+r+_binary64_4784 div-inv_binary64_757
16×	distribute-lft-out_binary64_3098 unswap-sqr_binary64_2092 associate-/l/_binary64_2412 prod-exp_binary64_3878 associate--l+_binary64_1720 sqr-pow_binary64_1414 associate-*r/_binary64_2066 frac-times_binary64_2134 cbrt-unprod_binary64_3862 *-commutative_binary64
15×	sqrt-div_binary64_436 diff-log_binary64_1875 difference-of-squares_binary64_4821 cbrt-unprod_binary64_111 pow-prod-down_binary64_1854 cancel-sign-sub-inv_binary64_2431 cbrt-undiv_binary64_112 pow-sqr_binary64_733 sqrt-pow1_binary64_1119 pow1/2_binary64_158 associate-*r*_binary64_4110
14×	flip3-+_binary64 pow-prod-down_binary64_3900 1-exp_binary64_463 associate-*l/_binary64_703 associate-/r*_binary64_5819 sqrt-div_binary64_4187 clear-num_binary64_1441 sqrt-div_binary64_1459 prod-exp_binary64_2855 cbrt-undiv_binary64_453 associate-/r*_binary64_363 rec-exp_binary64_469 frac-2neg_binary64_1453 cbrt-unprod_binary64_2839 *-commutative_binary64_3078 pow-prod-down_binary64_1172 sub-neg_binary64_1776 pow-prod-down_binary64_2536 flip-+_binary64
13×	cbrt-undiv_binary64_794 flip-+_binary64_4826 pow-prod-down_binary64_1513 flip3-+_binary64_4855 pow1/3_binary64_2547 distribute-lft-out_binary64_2757 rem-sqrt-square_binary64 cbrt-prod_binary64_1473 div-exp_binary64_811 sqr-pow_binary64_3460 cbrt-prod_binary64_2496
12×	pow-to-exp_binary64_3557 frac-times_binary64_1793 pow-exp_binary64_3556 frac-sub_binary64_4861 flip3-+_binary64_422 unpow-prod-down_binary64_3226 swap-sqr_binary64_1750 cbrt-prod_binary64_4883 distribute-rgt-out_binary64_31 associate-/r*_binary64_2750 associate-+l+_binary64_11 clear-num_binary64_1100 frac-2neg_binary64_1112 cube-prod_binary64_3857 pow-prod-down_binary64_2877 associate-*r*_binary64_4792 clear-num_binary64_2123 unpow-prod-down_binary64_3908 distribute-rgt-in_binary64_2415 sqrt-pow1_binary64_1460 distribute-lft-in_binary64_2414 pow1/2_binary64_1522 flip-+_binary64_393 prod-exp_binary64_4901 unpow-prod-down_binary64_2544 cube-div_binary64_4881 associate-*r*_binary64_3769 associate--l+_binary64_2402 log-pow_binary64_2895 frac-2neg_binary64_2135
11×	sum-log_binary64_1533 pow1/2_binary64_840 associate-*l*_binary64_4452 associate-*l/_binary64_1726 unswap-sqr_binary64 *-commutative_binary64_350 sqrt-div_binary64_95 log-prod_binary64_2892 associate-*r/_binary64_5817 pow1/3_binary64_160 sqrt-pow1_binary64_778
10×	flip3--_binary64_4856 unswap-sqr_binary64_4820 pow2_binary64_841 +-commutative_binary64_1713 *-commutative_binary64_2396 flip-+_binary64_52 div-inv_binary64_416 +-commutative_binary64_1372 flip--_binary64_4827 distribute-lft-out_binary64_4803 flip-+_binary64_4144 flip3-+_binary64_4173 *-commutative_binary64_1714 pow-exp_binary64_1510 rem-sqrt-square_binary64_1114 cbrt-prod_binary64_4201 pow-exp_binary64_487 flip3-+_binary64_81 flip3--_binary64_1105 flip--_binary64_1076
9×	add-log-exp_binary64_3868 *-commutative_binary64_9 frac-2neg_binary64_1794 cancel-sign-sub-inv_binary64_2772 pow1/3_binary64_3229 swap-sqr_binary64_45 distribute-lft-out--_binary64_2076 frac-2neg_binary64_89 distribute-rgt-in_binary64_28 pow-unpow_binary64_1519 clear-num_binary64_77 associate-/l/_binary64_1048 associate-/l*_binary64_4797 sqr-pow_binary64_4824 *-commutative_binary64_1373 distribute-lft-in_binary64_27 distribute-lft-out--_binary64_4122 sub-neg_binary64_2458 pow1/3_binary64_2206 sum-log_binary64_2897 associate-/l*_binary64_3774 clear-num_binary64_1782 1-exp_binary64_2168 distribute-lft-out_binary64_2416 rec-exp_binary64_2174
8×	cbrt-unprod_binary64_4885 pow1/2_binary64_3227 *-commutative_binary64_2737 distribute-lft-out_binary64 associate-/r/_binary64_3775 cbrt-prod_binary64_450 sqrt-div_binary64_2482 sqrt-pow1_binary64_4188 frac-times_binary64_2816 frac-times_binary64_3157 sqrt-pow1_binary64_3165 frac-times_binary64_5885 log-div_binary64_165 associate-*r/_binary64_702 diff-log_binary64_5967 associate-/l/_binary64_2071 unswap-sqr_binary64_2774 pow1/2_binary64_1181 sum-log_binary64_4943 difference-of-sqr-1_binary64_1412
7×	distribute-lft-out--_binary64_4804 div-exp_binary64_3880 unswap-sqr_binary64_3797 log-prod_binary64 cbrt-unprod_binary64_5908 flip3--_binary64_1446 unpow3_binary64_4918 swap-sqr_binary64_2432 *-commutative_binary64_4442 distribute-lft-out_binary64_370 frac-times_binary64_429 flip--_binary64_1417 sub-neg_binary64_2117 cbrt-prod_binary64_2155 exp-prod_binary64_130 distribute-rgt-in_binary64_2074 associate-/r*_binary64_4796 prod-exp_binary64_5924 cube-mult_binary64_4882 distribute-lft-in_binary64_2073 associate-/l*_binary64_364
6×	flip3-+_binary64_3832 cbrt-div_binary64_110 distribute-rgt-in_binary64_1733 sqr-pow_binary64_2437 rem-sqrt-square_binary64_1455 associate-*l*_binary64_4111 distribute-lft-in_binary64_1732 flip-+_binary64_3803 sub-neg_binary64_1435 flip3--_binary64_2810 log-prod_binary64_1528 associate-*l/_binary64_3090 swap-sqr_binary64_3114 distribute-lft-in_binary64_2755 1-exp_binary64_1827 sqrt-pow1_binary64_2142 rec-exp_binary64_1833 pow-prod-down_binary64_4241 frac-2neg_binary64_2476 associate-/r/_binary64_5821 distribute-lft1-in_binary64_33 sub-neg_binary64_4845 associate-*r/_binary64_1043 associate-+l+_binary64_1716 log-pow_binary64 rem-sqrt-square_binary64_773 cbrt-div_binary64_4202 sub-neg_binary64_2799 frac-2neg_binary64_771 1-exp_binary64_1145 associate-*r*_binary64_700 rec-exp_binary64_1151 cbrt-div_binary64_4884 rem-sqrt-square_binary64_3160 flip--_binary64_2781 cancel-sign-sub-inv_binary64_4136 unswap-sqr_binary64_5843 frac-times_binary64_1111 *-commutative_binary64_3760 pow-flip_binary64_2198 cube-mult_binary64_1472 unpow3_binary64_1508 clear-num_binary64_759 pow-prod-up_binary64_1512 associate-+r+_binary64_10 diff-log_binary64_4944 distribute-lft-out--_binary64_2758 pow-prod-down_binary64_4923 cube-prod_binary64 associate-*l/_binary64_4795 inv-pow_binary64_2209 clear-num_binary64_2464 +-commutative_binary64_2736 sqr-pow_binary64_3119 log-prod_binary64_846 distribute-rgt-in_binary64_2756
5×	associate-*l/_binary64_362 exp-prod_binary64_1494 div-inv_binary64_3826 distribute-lft-out_binary64_3439 cbrt-undiv_binary64_3863 rem-cube-cbrt_binary64_1465 *-commutative_binary64_1032 sqrt-pow1_binary64_1801 pow-prod-down_binary64_5946 rem-sqrt-square_binary64_91 distribute-rgt-in_binary64_1392 div-sub_binary64_1447 difference-of-squares_binary64_2775 pow1/3_binary64 cbrt-undiv_binary64_2840 associate-/l*_binary64_4115 distribute-lft-in_binary64_4801 associate--l-_binary64_1721 pow1/2_binary64_4250 distribute-lft-in_binary64_1391 associate-*r*_binary64_3428 sqrt-prod_binary64_1799 diff-log_binary64_2216 pow3_binary64_843 div-exp_binary64_2857 unswap-sqr_binary64_4479 associate-*r/_binary64_20 distribute-rgt-in_binary64_4802 pow-to-exp_binary64_1852 pow-exp_binary64_1851 div-exp_binary64_3539 cbrt-undiv_binary64_3522 associate-/l*_binary64_2751 *-commutative_binary64_5806 div-inv_binary64_3485 unswap-sqr_binary64_4138 associate-/l*_binary64_5820 sum-log_binary64_3238
4×	sum-log_binary64_4602 +-commutative_binary64_1031 pow1/2_binary64_2204 cbrt-undiv_binary64_5909 rec-exp_binary64_128 flip-+_binary64_4485 associate--r+_binary64_2742 flip3--_binary64_4174 unpow3_binary64_3895 flip3-+_binary64_4514 associate-/r/_binary64_24 associate-/l/_binary64_3776 cube-mult_binary64_3859 unswap-sqr_binary64_3456 +-commutative_binary64_4441 difference-of-sqr-1_binary64_1753 associate-/l/_binary64_5822 1-exp_binary64_122 cube-div_binary64_1471 sum-log_binary64_1192 associate-*l/_binary64_5818 sum-log_binary64_510 prod-exp_binary64_3537 sqr-pow_binary64_391 associate-/l*_binary64_3433 *-commutative_binary64_4783 unpow-prod-down_binary64_4590 cube-prod_binary64_1811 unpow-prod-down_binary64_1862 sqr-pow_binary64_3801 associate-/l/_binary64_2753 cbrt-unprod_binary64_3521 pow-sqr_binary64_1756 associate-/r/_binary64_4116 diff-log_binary64_1534 div-exp_binary64_5926 associate-*l*_binary64_701 cube-prod_binary64_2493 sum-log_binary64_5966 associate-*l/_binary64_1044 associate-*r/_binary64_4112 flip--_binary64_4145 associate-/r/_binary64_2752 associate-+l+_binary64_2057 frac-add_binary64_2132 swap-sqr_binary64_2091 associate-*l/_binary64_2749 +-commutative_binary64_349 diff-log_binary64_2898 pow-sqr_binary64_1415 sqr-pow_binary64 pow-to-exp_binary64_1511 div-sub_binary64_1106 pow-prod-up_binary64_1853
3×	clear-num_binary64_418 sqrt-unprod_binary64 +-commutative_binary64_4782 pow-to-exp_binary64_2534 pow-exp_binary64_3215 div-sub_binary64_1788 pow-plus_binary64_1164 inv-pow_binary64_1186 pow-exp_binary64_2533 exp-sum_binary64_1829 inv-pow_binary64_163 pow-prod-up_binary64_1171 prod-exp_binary64_809 frac-2neg_binary64_430 div-inv_binary64_2803 pow2_binary64_1182 prod-exp_binary64_4219 pow-exp_binary64_4920 rem-log-exp_binary64 cbrt-unprod_binary64_4203 associate-+l+_binary64_2739 div-inv_binary64_5872 pow-unpow_binary64_496 pow1/2_binary64_1863 pow-to-exp_binary64_3216 clear-num_binary64_3828 pow-prod-up_binary64_2535 flip3-+_binary64_3491 distribute-lft-out_binary64_5826 pow-sqr_binary64_1074 +-commutative_binary64_4100 associate--l-_binary64_1380 pow-unpow_binary64 pow-to-exp_binary64_488 pow-to-exp_binary64_4921 +-commutative_binary64_3077 associate-+r-_binary64_4786 pow1/3_binary64_1524 cbrt-undiv_binary64_4204 flip-+_binary64_3462 rem-sqrt-square_binary64_4183 sum-log_binary64_4261 cbrt-unprod_binary64_793 frac-2neg_binary64_3840 associate--l+_binary64_2743 pow-unpow_binary64_4929 clear-num_binary64_2805 pow-sub_binary64_1859 sum-log_binary64_2215 un-div-inv_binary64_417 log-pow_binary64_1531 div-sub_binary64_2129 exp-to-pow_binary64_3550 cancel-sign-sub-inv_binary64_44 pow-sqr_binary64_2438 div-exp_binary64_4221 pow-flip_binary64_152 frac-2neg_binary64_2817 pow-pow_binary64_1514 associate-+r+_binary64_1374
2×	frac-2neg_binary64_5886 unswap-sqr_binary64_728 pow1/2_binary64_2886 cube-prod_binary64_447 associate-+l-_binary64_5810 flip--_binary64_53 pow-to-exp_binary64 pow-prod-up_binary64_148 sqr-pow_binary64_1755 associate-/l/_binary64_3435 pow1/3_binary64_4252 pow-pow_binary64_491 div-sub_binary64_4857 pow-prod-up_binary64_2194 unpow2_binary64_4576 rem-cbrt-cube_binary64 pow-sqr_binary64_51 flip3-+_binary64_5878 sub-neg_binary64_1094 pow-exp_binary64_4579 1-exp_binary64_1486 cube-mult_binary64_449 associate-/l/_binary64_4799 pow-sqr_binary64_5848 rem-exp-log_binary64_1482 pow-plus_binary64_1846 sqrt-pow1_binary64_2824 clear-num_binary64_4169 associate-+r+_binary64_2738 cbrt-undiv_binary64_4886 diff-log_binary64_4262 pow-plus_binary64_2528 clear-num_binary64_5874 associate-+l+_binary64_5808 associate--l+_binary64_4789 frac-2neg_binary64_4181 pow-exp_binary64 div-inv_binary64_4849 unpow3_binary64 pow-sqr_binary64_3120 sum-log_binary64 associate-*l/_binary64_3772 clear-num_binary64_4851 cube-mult_binary64 sqrt-pow1_binary64_2483 associate-+r+_binary64_2056 div-inv_binary64_4167 rem-log-exp_binary64_119 pow-prod-up_binary64_5945 distribute-lft-in_binary64_3096 frac-times_binary64_3498 rem-sqrt-square_binary64_2819 associate-*r/_binary64_3430 +-commutative_binary64_2054 pow2_binary64_5956 flip-+_binary64_5849 diff-log_binary64_1193 pow2_binary64_1523 rem-sqrt-square_binary64_2137 associate-+r-_binary64_12 rem-sqrt-square_binary64_2478 pow-prod-up_binary64_3217 rem-log-exp_binary64_801 pow2_binary64_2546 difference-of-squares_binary64_47 cancel-sign-sub-inv_binary64_1067 associate-/r/_binary64_706 *-commutative_binary64_4101 unpow3_binary64_485 pow-sqr_binary64_2097 sqr-pow_binary64_4483 rem-cube-cbrt_binary64_442 pow1/2_binary64_2545 div-sub_binary64_83 +-commutative_binary64 sqrt-unprod_binary64_98 distribute-rgt-in_binary64_3097 pow-plus_binary64_1505 flip3--_binary64_82 associate-/r/_binary64_4798 pow-plus_binary64_5938 sub-neg_binary64_4163 frac-2neg_binary64_4863 rec-exp_binary64_1492 sin-sum_binary64 pow2_binary64_1864 pow-to-exp_binary64_4580 div-exp_binary64_4903
1×	associate-+r-_binary64_2740 +-commutative_binary64_8 associate-*l/_binary64_3431 distribute-rgt-out--_binary64_2760 pow-pow_binary64_4924 sqr-abs_binary64_1457 inv-pow_binary64_1527 pow1/3_binary64_501 sub-neg_binary64 sum-log_binary64_851 rem-cube-cbrt_binary64_4875 associate-/r*_binary64_3432 associate-*l/_binary64_21 unpow3_binary64_2531 inv-pow_binary64_1868 flip3--_binary64 distribute-rgt-in_binary64_369 frac-2neg_binary64_3499 sqrt-undiv_binary64_4191 diff-log_binary64_2557 diff-log_binary64 distribute-lft-out_binary64_4462 cancel-sign-sub-inv_binary64_726 difference-of-squares_binary64 cube-mult_binary64_1813 neg-sub0_binary64_1778 exp-sum_binary64_124 un-div-inv_binary64_1440 associate--r+_binary64_4788 diff-log_binary64_170 rem-exp-log_binary64_118 sqrt-pow1_binary64_3506 un-div-inv_binary64_76 unpow3_binary64_1849 distribute-rgt-out--_binary64_4806 rem-log-exp_binary64_1483 pow-plus_binary64_141 pow-to-exp_binary64_3898 pow-flip_binary64_1857 distribute-lft-in_binary64_1050 associate-+l+_binary64_3080 pow-exp_binary64_3897 pow1/2_binary64_3568 rem-square-sqrt_binary64_1454 cube-mult_binary64_2154 rem-exp-log_binary64_3528 sqrt-unprod_binary64_1462 pow-flip_binary64_1516 flip--_binary64 rem-cbrt-cube_binary64_443 pow2_binary64_159 rem-log-exp_binary64_2847 cancel-sign-sub-inv_binary64 pow-plus_binary64_3210 pow-plus_binary64_2187 cube-mult_binary64_2495 clear-num_binary64_3487 distribute-lft-in_binary64_368 +-commutative_binary64_690 distribute-rgt-in_binary64_3438 pow1/3_binary64_4934 distribute-lft-in_binary64_3437 unpow3_binary64_2190 diff-log_binary64_852 neg-log_binary64_1876 pow2_binary64_3228 div-sub_binary64_5880 cube-mult_binary64_4541 +-commutative_binary64_5805 pow-prod-down_binary64_3559 un-div-inv_binary64_1781 associate-+l-_binary64_2059 distribute-rgt-in_binary64_1051 associate-+l-_binary64_1377 *-commutative_binary64_3419 sub-neg_binary64_753 pow-pow_binary64 distribute-lft-out_binary64_4121 pow2_binary64_2205 rem-sqrt-square_binary64_1796 distribute-lft-out--_binary64_30 cos-sum_binary64 associate--l-_binary64_5813 sub-neg_binary64_71 *-commutative_binary64_691 exp-sum_binary64_1488 flip--_binary64_735 sum-log_binary64_169 rem-sqrt-square_binary64_3501 flip3--_binary64_764 rem-cbrt-cube_binary64_4876

Calls

878 calls:

246.0ms	(+.f64 (*.f64 (+.f64 alpha beta) (/.f64 1 (/.f64 (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))) 1)
172.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (*.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 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)))) (pow.f64 (exp.f64 x) x)) 3))
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)))
131.0ms	(-.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 6) (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)) 3))
129.0ms	(+.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (-.f64 beta alpha))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)