rewrite33.1s (2%)

Algorithm

707×	rewrite-expression-head

Rules

19385×	*-un-lft-identity_binary64_1762
15602×	times-frac_binary64_1768
7842×	distribute-lft-out_binary64_1715
5963×	add-sqr-sqrt_binary64_1783
5255×	add-cube-cbrt_binary64_1794
3934×	*-un-lft-identity_binary64_2099
3929×	times-frac_binary64_2105
3882×	*-un-lft-identity_binary64
3650×	add-sqr-sqrt_binary64
3634×	add-sqr-sqrt_binary64_2120
3573×	times-frac_binary64
2905×	times-frac_binary64_420 add-sqr-sqrt_binary64_98
2835×	times-frac_binary64_83
2682×	add-sqr-sqrt_binary64_435
2626×	*-un-lft-identity_binary64_77
2562×	*-un-lft-identity_binary64_414
2369×	add-exp-log_binary64_449
2282×	add-cube-cbrt_binary64
2150×	*-un-lft-identity_binary64_1088
1956×	add-cube-cbrt_binary64_446
1938×	sqrt-prod_binary64_2114
1929×	add-sqr-sqrt_binary64_1109
1922×	*-un-lft-identity_binary64_751
1798×	add-cube-cbrt_binary64_109
1762×	add-sqr-sqrt_binary64_772
1674×	add-cube-cbrt_binary64_2131
1673×	*-un-lft-identity_binary64_1425
1624×	times-frac_binary64_1094
1605×	add-cbrt-cube_binary64_447
1558×	add-exp-log_binary64_2471
1550×	times-frac_binary64_2779
1499×	add-sqr-sqrt_binary64_1446
1384×	*-un-lft-identity_binary64_2436
1378×	times-frac_binary64_757
1345×	add-exp-log_binary64_786
1343×	add-sqr-sqrt_binary64_2457
1266×	add-sqr-sqrt_binary64_2794
1232×	add-cube-cbrt_binary64_783
1167×	add-exp-log_binary64
1161×	add-exp-log_binary64_112
1160×	times-frac_binary64_2442
1151×	add-exp-log_binary64_1460
1114×	add-cube-cbrt_binary64_1120
1059×	*-un-lft-identity_binary64_2773
1041×	prod-exp_binary64_460
1038×	pow1_binary64_135
1029×	times-frac_binary64_1431
1027×	add-exp-log_binary64_1797
1013×	add-cbrt-cube_binary64_784
1009×	add-cube-cbrt_binary64_1457
1006×	add-cbrt-cube_binary64
961×	associate-*l/_binary64_1370
917×	sqrt-prod_binary64_2451 add-cbrt-cube_binary64_1795
908×	add-cube-cbrt_binary64_2805
900×	add-cbrt-cube_binary64_110
893×	associate-/r/_binary64_1710
892×	add-cube-cbrt_binary64_2468
888×	sqrt-prod_binary64_92
845×	sqrt-prod_binary64_1777
818×	add-exp-log_binary64_1123
800×	flip3--_binary64_1429 flip--_binary64_1400
783×	add-cbrt-cube_binary64_1458
780×	prod-exp_binary64_2482
779×	distribute-lft-out_binary64_2052
768×	sqrt-prod_binary64
745×	pow1_binary64_472
725×	pow1_binary64
715×	difference-of-squares_binary64_2068
707×	pow-exp_binary64_2501
698×	add-cbrt-cube_binary64_1121
675×	associate-*r*_binary64_1030
662×	add-exp-log_binary64_2134
652×	div-exp_binary64_2484
641×	pow1_binary64_1483
596×	cbrt-unprod_binary64_444
595×	pow1_binary64_809
579×	div-exp_binary64_462
571×	associate-*r*_binary64_19
569×	difference-of-squares_binary64
561×	frac-times_binary64_1435
553×	sqrt-prod_binary64_766
544×	flip-+_binary64_1736 flip3-+_binary64_1765
538×	cbrt-prod_binary64_1116
521×	add-log-exp_binary64
518×	add-cbrt-cube_binary64_2132
513×	associate-*l*_binary64
508×	associate-*r*_binary64
501×	pow1_binary64_1820
486×	associate-*r*_binary64_356
484×	prod-exp_binary64_797
479×	prod-exp_binary64_1471
475×	frac-add_binary64_1433 pow1_binary64_1146
464×	div-inv_binary64_1759
447×	associate-/r*_binary64_1708
442×	associate-*r*_binary64_1704
441×	cbrt-prod_binary64_442
434×	associate-/r*_binary64
425×	distribute-lft-out--_binary64_2053
421×	sqrt-prod_binary64_1440
417×	sqrt-prod_binary64_429
416×	pow1_binary64_2157
415×	difference-of-squares_binary64_46
397×	unpow-prod-down_binary64_490
396×	add-log-exp_binary64_113
395×	add-log-exp_binary64_1798
393×	associate-*r*_binary64_2041
391×	add-log-exp_binary64_450
389×	associate-*l*_binary64_2042
386×	associate-*l*_binary64_20
384×	associate-*r/_binary64_1369
374×	cbrt-prod_binary64_2127
372×	associate-*r*_binary64_693 div-inv_binary64_2096
367×	distribute-lft-out--_binary64 associate-/l*_binary64_1709
364×	cbrt-undiv_binary64_445
362×	add-log-exp_binary64_787
360×	associate-*r*_binary64_2715
357×	pow-to-exp_binary64_2502
356×	add-log-exp_binary64_1124
352×	associate-*l*_binary64_357
349×	associate-/r*_binary64_360
344×	sqrt-div_binary64_1441
341×	distribute-lft-out_binary64
340×	log-prod_binary64_1171
339×	prod-exp_binary64_123
326×	add-log-exp_binary64_1461 cbrt-unprod_binary64_781
318×	pow1_binary64_2494
313×	distribute-lft-out_binary64_1041
308×	difference-of-squares_binary64_1057
307×	add-exp-log_binary64_2808
297×	difference-of-squares_binary64_1731
293×	associate-*r*_binary64_1367
292×	add-cbrt-cube_binary64_2469 div-exp_binary64_799
291×	difference-of-squares_binary64_383
290×	prod-exp_binary64
289×	sqrt-pow1_binary64_94
285×	associate-*l*_binary64_1368
283×	distribute-lft-out_binary64_704 prod-exp_binary64_1134
280×	associate-/l*_binary64_361
279×	associate-/l*_binary64
276×	add-cbrt-cube_binary64_2806
271×	sqrt-prod_binary64_1103
269×	div-exp_binary64_1810
268×	cbrt-unprod_binary64_1455
267×	add-sqr-sqrt_binary64_3131
266×	associate-/l*_binary64_24
265×	prod-exp_binary64_1808
261×	*-un-lft-identity_binary64_3110
258×	log-pow_binary64_163
256×	cbrt-prod_binary64
253×	associate-*r*_binary64_2378
250×	add-log-exp_binary64_2135 cbrt-unprod_binary64 unpow-prod-down_binary64_2175
249×	cube-prod_binary64_439 associate-*l*_binary64_1705
248×	unpow-prod-down_binary64_1838
246×	div-exp_binary64_125
243×	pow-prod-down_binary64_145
241×	cbrt-unprod_binary64_1118
238×	unpow-prod-down_binary64_153 associate-/r*_binary64_697
237×	cbrt-unprod_binary64_107
233×	distribute-lft-out_binary64_30
232×	associate-*l*_binary64_694
231×	cbrt-unprod_binary64_1792
230×	cube-prod_binary64_1787
228×	cbrt-undiv_binary64_1793
224×	pow-prod-down_binary64_482 associate-/r*_binary64_2045
223×	div-exp_binary64
221×	cbrt-undiv_binary64_782
219×	log-div_binary64_1509
218×	associate-/r*_binary64_23 difference-of-squares_binary64_720
212×	swap-sqr_binary64_2066
210×	cbrt-prod_binary64_1790 cbrt-prod_binary64_779
203×	associate-*l*_binary64_1031
201×	pow1_binary64_2831
200×	add-log-exp_binary64_2472
195×	div-inv_binary64_411
194×	associate-/l*_binary64_2046
192×	associate-/r/_binary64_2047 associate-*l/_binary64_359
191×	distribute-lft-out_binary64_1378
190×	prod-exp_binary64_2145
189×	unpow-prod-down_binary64_827
185×	unpow-prod-down_binary64_1164 flip3--_binary64 flip--_binary64 associate-/l*_binary64_698
181×	distribute-lft-out--_binary64_1042 div-inv_binary64
180×	cbrt-undiv_binary64_108
178×	difference-of-squares_binary64_1394 unpow-prod-down_binary64
172×	cbrt-undiv_binary64
171×	pow-prod-down_binary64 associate-*r/_binary64_358 difference-of-squares_binary64_2742
169×	div-exp_binary64_1473
167×	flip-+_binary64_51 flip3-+_binary64_80
166×	distribute-lft-out--_binary64_1379 unpow-prod-down_binary64_2512 pow-prod-down_binary64_1493 log-prod_binary64_834
165×	associate-/r/_binary64
164×	flip3-+_binary64 flip-+_binary64
163×	distribute-lft-out--_binary64_1716
162×	distribute-lft-out_binary64_367 div-inv_binary64_74
160×	frac-times_binary64_424 difference-of-squares_binary64_2405
159×	cbrt-prod_binary64_2464 flip-+_binary64_2073
158×	flip3-+_binary64_2102
155×	associate-*r/_binary64_1706
152×	cbrt-div_binary64_1454
150×	unswap-sqr_binary64
149×	distribute-lft-out_binary64_2389 flip-+_binary64_1062 flip3-+_binary64_1091
148×	div-inv_binary64_748
147×	sqr-pow_binary64_2071
146×	flip3-+_binary64_417 flip-+_binary64_388
144×	sqrt-div_binary64_2115 cbrt-unprod_binary64_2129
142×	distribute-lft-out--_binary64_368 pow-prod-down_binary64_1156
141×	cbrt-prod_binary64_105
140×	unpow-prod-down_binary64_1501
139×	unswap-sqr_binary64_2067
138×	distribute-lft-out--_binary64_31 associate-/r/_binary64_25
136×	div-exp_binary64_2147
135×	unswap-sqr_binary64_45 sqrt-div_binary64_93
134×	associate-/r*_binary64_2719
131×	associate-/l*_binary64_1372 associate-/r*_binary64_2382
128×	rec-exp_binary64_2483 1-exp_binary64_2477 associate-/r*_binary64_1371 associate-*l/_binary64
127×	add-cube-cbrt_binary64_3142 log-pow_binary64_837
123×	add-exp-log_binary64_3145 associate-*r/_binary64 associate-*r/_binary64_21 log-prod_binary64_2519
121×	associate-*l*_binary64_2379
120×	associate-/r/_binary64_362 associate-/r/_binary64_1036 add-log-exp_binary64_3146
116×	pow1_binary64_3168 sqrt-div_binary64_1778
115×	div-exp_binary64_1136 flip-+_binary64_725 log-prod_binary64_1508 flip3-+_binary64_754 add-cbrt-cube_binary64_3143
113×	pow-prod-down_binary64_1830
112×	distribute-lft-out--_binary64_2390 cbrt-div_binary64_2128
111×	exp-prod_binary64_1474
110×	pow-unpow_binary64_488
108×	flip3--_binary64_755 flip--_binary64_726 pow-exp_binary64_479
107×	frac-times_binary64_1772
106×	add-log-exp_binary64_2809
105×	pow-prod-down_binary64_819
104×	frac-times_binary64_761
102×	associate-/l/_binary64_1711
101×	flip3--_binary64_1766 flip--_binary64_1737
100×	unpow-prod-down_binary64_2849
99×	unswap-sqr_binary64_1056
98×	pow-prod-down_binary64_2167 *-un-lft-identity_binary64_4121
97×	div-inv_binary64_1085 frac-times_binary64
96×	cbrt-undiv_binary64_2130 cbrt-undiv_binary64_1119 *-commutative_binary64
95×	log-prod_binary64_160 unswap-sqr_binary64_382 unswap-sqr_binary64_1730 sqrt-div_binary64
94×	pow-to-exp_binary64_480 cbrt-undiv_binary64_1456 associate-/l*_binary64_1035 sqr-pow_binary64_386
93×	flip3-+_binary64_1428 associate-/l*_binary64_2383 flip-+_binary64_1399
92×	flip3--_binary64_418 sqrt-div_binary64_430 flip--_binary64_389
91×	flip-+_binary64_2410 flip3-+_binary64_2439 distribute-lft-out--_binary64_705 sqr-pow_binary64_2745 associate-*l*_binary64_2716 pow1/2_binary64_154
89×	sqr-pow_binary64_723 div-inv_binary64_2770 associate-*r/_binary64_2043 sum-log_binary64_1176
88×	cube-prod_binary64
87×	difference-of-sqr-1_binary64_1732 associate-*r/_binary64_695
85×	pow-exp_binary64_816 prod-exp_binary64_2819
84×	cbrt-prod_binary64_1453 difference-of-sqr-1_binary64_2743 exp-neg_binary64_795
83×	associate-*r/_binary64_2380 unswap-sqr_binary64_1393
82×	sqrt-div_binary64_2452 sqrt-div_binary64_1104
81×	frac-sub_binary64_760 cbrt-div_binary64_443
80×	flip--_binary64_52 flip3--_binary64_81
79×	exp-diff_binary64_1470 associate-/r/_binary64_699
78×	unswap-sqr_binary64_719 pow-prod-down_binary64_2504 sqrt-prod_binary64_2788 associate-*l/_binary64_1707
77×	times-frac_binary64_3116 log-pow_binary64_1848 cube-prod_binary64_1113 div-inv_binary64_1422
75×	flip3--_binary64_1092 flip--_binary64_1063
73×	cbrt-unprod_binary64_2803 associate-/l/_binary64 cube-prod_binary64_2461 log-prod_binary64
72×	cbrt-div_binary64_1117
71×	cbrt-div_binary64_106 add-sqr-sqrt_binary64_4142 swap-sqr_binary64_1729
70×	associate-/l*_binary64_2720 pow-exp_binary64_1490
69×	*-commutative_binary64_347
68×	pow-sub_binary64_1498 flip--_binary64_2074 log-pow_binary64_500 frac-times_binary64_2109 log-prod_binary64_2856 sqr-pow_binary64_49
67×	clear-num_binary64 sqr-pow_binary64_1397 exp-diff_binary64_796 add-sqr-sqrt_binary64_3468 flip3--_binary64_2103 frac-2neg_binary64 difference-of-squares_binary64_3079 neg-sub0_binary64_746
66×	clear-num_binary64_1761 frac-2neg_binary64_1773 associate-*l/_binary64_696 cbrt-unprod_binary64_2466
65×	clear-num_binary64_413 diff-log_binary64_1851 *-commutative_binary64_10 associate-*l/_binary64_2044 frac-2neg_binary64_425 tan-quot_binary64
64×	exp-prod_binary64_1811 associate-*r/_binary64_4065
62×	sqrt-div_binary64_767 pow-unpow_binary64_825
61×	cbrt-prod_binary64_3475
60×	sqrt-pow1_binary64_1442 *-commutative_binary64_1021
59×	sub-neg_binary64_1755 *-commutative_binary64_1358
58×	tan-quot_binary64_570 unpow2_binary64_139
57×	sub-neg_binary64 diff-log_binary64 1-exp_binary64_455 associate-/r/_binary64_1373 associate-*r/_binary64_1032
56×	sub-neg_binary64_1418 associate-*r/_binary64_3054
55×	div-exp_binary64_2821 associate-/r*_binary64_1034 frac-times_binary64_1098 sqrt-pow1_binary64_2116 associate-/l/_binary64_2048 sqr-pow_binary64
54×	frac-2neg_binary64_88 pow-unpow_binary64_2173 sqrt-pow1_binary64 clear-num_binary64_76
53×	clear-num_binary64_750 associate-*r*_binary64_3052 pow-prod-up_binary64_1492 frac-2neg_binary64_762 sqr-pow_binary64_1734 cube-prod_binary64_1450
52×	*-commutative_binary64_684 sub-neg_binary64_407 sqrt-pow1_binary64_2453 pow-prod-down_binary64_2841
51×	pow1/2_binary64_2176 cbrt-undiv_binary64_2804 *-un-lft-identity_binary64_3447 sqrt-pow1_binary64_431 add-exp-log_binary64_4156 pow1_binary64_4179
50×	distribute-lft-out--_binary64_3064 pow1/2_binary64 flip3-+_binary64_4124 cbrt-prod_binary64_2801 flip3-+_binary64_2776 flip-+_binary64_4095 flip-+_binary64_2747
49×	associate-*l*_binary64_3053 add-cbrt-cube_binary64_4154 sqrt-pow1_binary64_1779
48×	pow1/3_binary64_1167 pow1/2_binary64_1502 pow1/3_binary64_830 *-commutative_binary64_1695
47×	log-pow_binary64_1511 add-cube-cbrt_binary64_4153
46×	add-cube-cbrt_binary64_3479 sum-log_binary64 pow-unpow_binary64 associate-+r+_binary64_1022
45×	pow-plus_binary64_1485 add-log-exp_binary64_4157
44×	flip-+_binary64_3084 frac-add_binary64 frac-2neg_binary64_2110 flip3-+_binary64_3113 unswap-sqr_binary64_2404 clear-num_binary64_2098
43×	rem-sqrt-square_binary64_90 sub-neg_binary64_70
42×	exp-prod_binary64_800 tan-quot_binary64_1918 associate-/r/_binary64_2384 flip--_binary64_2411 frac-add_binary64_2107 flip3--_binary64_2440
41×	*-commutative_binary64_2032 sqrt-pow1_binary64_768 unswap-sqr_binary64_2741
40×	pow-to-exp_binary64_817 pow-prod-up_binary64_144 associate-*l/_binary64_1033 associate-/l/_binary64_700 sqr-pow_binary64_1060 distribute-rgt-in_binary64_1377 div-inv_binary64_2433 sqrt-div_binary64_2789 distribute-lft-in_binary64_1376 swap-sqr_binary64_1392 associate-*l/_binary64_3055
39×	prod-exp_binary64_3156 cos-mult_binary64_565 diff-log_binary64_503 associate-/l/_binary64_363 log-div_binary64_161 rem-sqrt-square_binary64 log-pow_binary64_1174
38×	associate-*r*_binary64_4063 frac-add_binary64_1770
37×	cbrt-undiv_binary64_2467 pow1/3_binary64_2178 flip--_binary64_3085 log-pow_binary64 flip3--_binary64_3114
36×	associate-/l/_binary64_1037 pow-exp_binary64 sum-log_binary64_2187 cbrt-div_binary64 sub-neg_binary64_744 cbrt-div_binary64_2802
35×	sub-neg_binary64_3103 cbrt-unprod_binary64_3140 frac-times_binary64_87 associate-*l*_binary64_4064 cbrt-div_binary64_780 cbrt-div_binary64_2465
34×	pow-prod-down_binary64_3178 pow-to-exp_binary64 diff-log_binary64_166 sum-log_binary64_1850 distribute-lft-out--_binary64_2727 associate-/r/_binary64_2721 cube-prod_binary64_776
33×	rec-exp_binary64_124 1-exp_binary64_118 pow1_binary64_3505 pow-exp_binary64_1153 pow-flip_binary64_2170 pow1/3_binary64_156 associate-/l/_binary64_26 pow-pow_binary64_483
32×	sqr-pow_binary64_2408
31×	sum-log_binary64_165 frac-2neg_binary64_1436 diff-log_binary64_840 cosh-undef_binary64_942 clear-num_binary64_1424 pow1/2_binary64_1839
30×	unpow2_binary64_813 pow-unpow_binary64_1499 pow-exp_binary64_142 pow-unpow_binary64_151 add-log-exp_binary64_3483 pow-unpow_binary64_1162 rem-sqrt-square_binary64_1438 sum-log_binary64_839 rec-exp_binary64_461 associate-+r+_binary64_685 pow1/2_binary64_828
29×	pow-to-exp_binary64_1491 pow-exp_binary64_2164 frac-sub_binary64 pow-to-exp_binary64_2165 associate-*l/_binary64_22 diff-log_binary64_3199 pow1/2_binary64_2513 sin-mult_binary64_566
28×	exp-sum_binary64_1468 unpow3_binary64_1825 associate--l+_binary64_16 cube-prod_binary64_2124 distribute-rgt-neg-in_binary64 cube-div_binary64_1451 exp-sum_binary64_2816 pow1/2_binary64_491 sqrt-pow1_binary64_1105
27×	pow-unpow_binary64_1836 pow-unpow_binary64_2510 sum-log_binary64_2524 swap-sqr_binary64_718 diff-log_binary64_1514 +-commutative_binary64 *-un-lft-identity_binary64_4795
26×	+-commutative_binary64_9 associate-/l/_binary64_1374 exp-prod_binary64_463 add-exp-log_binary64_3482 pow-sqr_binary64_50 cbrt-div_binary64_1791
25×	add-cbrt-cube_binary64_3480 cube-mult_binary64_441 cube-mult_binary64 associate-+r+_binary64 distribute-rgt-in_binary64_1714 unpow3_binary64_477 distribute-lft-in_binary64_1713 pow1/3_binary64_1841 swap-sqr_binary64_44 exp-sum_binary64_2479 div-sub_binary64_1430
24×	associate-/l/_binary64_2722 cbrt-div_binary64_3139 rem-sqrt-square_binary64_2112 distribute-rgt-in_binary64 pow-to-exp_binary64_1154 *-commutative_binary64_2706 add-sqr-sqrt_binary64_4816 sum-log_binary64_1513 associate-/r*_binary64_3056 distribute-lft-in_binary64 cube-div_binary64_440
23×	log-div_binary64_835 flip3--_binary64_2777 flip--_binary64_2748 distribute-lft-in_binary64_702 difference-of-sqr-1_binary64 frac-sub_binary64_1771 sum-log_binary64_502 distribute-rgt-in_binary64_703
22×	pow-prod-up_binary64_1829 frac-add_binary64_2444 pow-pow_binary64_820 associate-+l+_binary64 +-commutative_binary64_1020 +-commutative_binary64_683 div-sub_binary64 log-div_binary64_2520 distribute-lft-out_binary64_4074 pow1/2_binary64_1165 cube-prod_binary64_102
21×	frac-2neg_binary64_1099 clear-num_binary64_1087 swap-sqr_binary64_1055 difference-of-sqr-1_binary64_1395 *-commutative_binary64_2369 sub-neg_binary64_1081 exp-prod_binary64_1137 pow-pow_binary64_2505 exp-prod_binary64_2148 rem-sqrt-square_binary64_764
20×	unpow3_binary64_1488 frac-times_binary64_3120 pow1/3_binary64_2515 rem-sqrt-square_binary64_1101 distribute-rgt-in_binary64_29 exp-prod_binary64 pow-pow_binary64_2168 frac-add_binary64_3118 clear-num_binary64_2435 distribute-lft-in_binary64_28 distribute-lft-in_binary64_365 cosh-undef_binary64_605 frac-2neg_binary64_2447 distribute-rgt-out_binary64_706 distribute-rgt-in_binary64_366 +-commutative_binary64_346 rem-sqrt-square_binary64_427
19×	pow-pow_binary64_1494 frac-add_binary64_1096 rem-sqrt-square_binary64_1775 add-sqr-sqrt_binary64_5153 +-commutative_binary64_2368 rec-exp_binary64 1-exp_binary64 add-log-exp_binary64_4831 associate-*r*_binary64_3389 cube-mult_binary64_2126 associate-*r/_binary64_2717 1-exp_binary64_1803 rec-exp_binary64_1809 +-commutative_binary64_1357 sub-neg_binary64_2429 un-div-inv_binary64_749
18×	associate-*l*_binary64_3390 pow-exp_binary64_1827 unpow3_binary64_2162 cube-div_binary64 frac-2neg_binary64_2784 pow1/3_binary64_2852 clear-num_binary64_2772 cbrt-div_binary64_4150 associate-+r+_binary64_11 sinh-undef_binary64_941
17×	pow-to-exp_binary64_143 frac-add_binary64_85 div-sub_binary64_1767 associate--l+_binary64_690 pow-flip_binary64_1833 *-un-lft-identity_binary64_5132 +-commutative_binary64_1694 cube-mult_binary64_1789 diff-log_binary64_1177 pow-prod-up_binary64_2166 pow1/3_binary64_493 log-pow_binary64_2859
16×	log-prod_binary64_1845 pow-prod-up_binary64_2503 swap-sqr_binary64 pow1_binary64_4853 frac-sub_binary64_4130 add-cube-cbrt_binary64_4827 add-exp-log_binary64_4830 associate-*r*_binary64_4737 frac-times_binary64_4131 add-cbrt-cube_binary64_4828 diff-log_binary64_2525 unpow2_binary64_476 rem-log-exp_binary64_1463 1-exp_binary64_1466 rem-log-exp_binary64_1126 distribute-rgt-out--_binary64 rec-exp_binary64_1472
15×	rem-log-exp_binary64_789 cube-mult_binary64_1452 distribute-rgt-out--_binary64_2055 pow1/3_binary64 sin-diff_binary64_1558 pow-flip_binary64 *-commutative_binary64_3043 frac-add_binary64_422 inv-pow_binary64_1844 log-div_binary64_1172 pow-sqr_binary64_1398
14×	pow-sqr_binary64_1735 add-cbrt-cube_binary64_5165 log-pow_binary64_2522 cube-div_binary64_1114 rec-exp_binary64_798 cube-mult_binary64_1115 div-sub_binary64_756 difference-of-sqr-1_binary64_1058 frac-sub_binary64_2108 swap-sqr_binary64_2403 add-exp-log_binary64_5167 rec-exp_binary64_2146 unpow3_binary64 frac-times_binary64_2783 pow-pow_binary64_1157 +-commutative_binary64_2031 unpow3_binary64_1151 1-exp_binary64_2140 associate-*l/_binary64_4066 frac-sub_binary64_423
13×	sub-neg_binary64_2092 rem-log-exp_binary64_115 pow1/3_binary64_3526 pow-pow_binary64_146 cube-mult_binary64_2463 pow1/3_binary64_3189 cbrt-unprod_binary64_4151 associate-*l*_binary64_4738 unswap-sqr_binary64_3078 div-sub_binary64_2441 pow-to-exp_binary64_1828 prod-exp_binary64_4167 unpow3_binary64_2499 pow-sqr_binary64_2072 pow-pow_binary64 cbrt-prod_binary64_3138
12×	sin-cos-mult_binary64_2252 rem-sqrt-square_binary64_2449 distribute-rgt-in_binary64_2388 pow3_binary64_1505 swap-sqr_binary64_2740 pow-pow_binary64_1831 distribute-rgt-in_binary64_3062 associate--l+_binary64_1701 pow-prod-down_binary64_4189 swap-sqr_binary64_3077 log-div_binary64 distribute-lft-in_binary64_2387 associate-/l*_binary64_3057 distribute-lft-in_binary64_3061 associate--r+_binary64_15
11×	add-cube-cbrt_binary64_5164 distribute-rgt-in_binary64_1040 frac-times_binary64_2446 associate-*l/_binary64_2718 sum-cubes_binary64 pow2_binary64_1503 sub-div_binary64_421 rem-cube-cbrt_binary64_1784 rem-cube-cbrt_binary64_1447 inv-pow_binary64 distribute-lft-out--_binary64_4075 div-sub_binary64_82 exp-sum_binary64_794 rem-log-exp_binary64_2474 associate-+r+_binary64_1696 rem-cube-cbrt_binary64_436 distribute-lft-in_binary64_1039
10×	frac-sub_binary64_2445 sub-neg_binary64_2766 pow-flip_binary64_485 unpow-prod-up_binary64_1500 inv-pow_binary64_2181 rem-log-exp_binary64 associate-*l/_binary64_2381 sum-log_binary64_3198 exp-prod_binary64_2485 diff-log_binary64_2188 sqrt-pow1_binary64_2790 frac-add_binary64_759 pow-sqr_binary64_2409 pow-flip_binary64_822 swap-sqr_binary64_4088 rem-sqrt-square_binary64_2786 pow1/2_binary64_2850
9×	+-commutative_binary64_3042 1-exp_binary64_792 add-log-exp_binary64_5168 inv-pow_binary64_496 rem-exp-log_binary64_788 pow1_binary64_5190 sinh-def_binary64_933 *-commutative_binary64_4054 unswap-sqr_binary64_4089 distribute-rgt-out_binary64_1717 times-frac_binary64_4127 swap-sqr_binary64_381 pow1/3_binary64_1504 sin-mult_binary64_229 pow-plus_binary64_1822 pow1/3_binary64_4200 associate-/r*_binary64_4067 unpow-prod-down_binary64_3523
8×	associate--l-_binary64 sum-log_binary64_4209 cube-div_binary64_103 cube-div_binary64_1788 flip3-+_binary64_4798 associate-/r/_binary64_3058 distribute-rgt-in_binary64_2051 associate-+l+_binary64_1023 distribute-lft-neg-in_binary64 cube-div_binary64_2125 diff-log_binary64_2862 distribute-lft-in_binary64_4072 difference-cubes_binary64_1427 associate-+l-_binary64_14 associate-*r*_binary64_5074 unswap-sqr_binary64_3415 flip-+_binary64_4769 cos-sum_binary64 sin-mult_binary64_1577 unpow-prod-down_binary64_3186 distribute-rgt-in_binary64_4073 distribute-lft-in_binary64_2050
7×	cube-mult_binary64_778 associate-+r+_binary64_348 difference-of-sqr-1_binary64_3080 distribute-lft-out_binary64_4748 associate--l-_binary64_3050 pow-prod-up_binary64_818 pow-sqr_binary64_724 associate--l+_binary64_3049 log-pow_binary64_3196 log-div_binary64_1846 +-commutative_binary64_2705 sqrt-prod_binary64_4136 unpow3_binary64_814 associate--r+_binary64_689 sum-log_binary64_2861 associate-/l/_binary64_2385 diff-log_binary64_4210 rem-exp-log_binary64_1462 pow2_binary64_1840 associate--l-_binary64_1702 div-sub_binary64_2104 cbrt-prod_binary64_4149
6×	exp-prod_binary64_3159 distribute-lft-out_binary64_3063 associate-*l*_binary64_5075 tan-quot_binary64_233 sum-log_binary64_4883 associate-*r/_binary64_4739 flip--_binary64_4096 distribute-rgt1-in_binary64_709 swap-sqr_binary64_3414 flip-+_binary64_3421 associate-+l+_binary64_686 sum-log_binary64_3535 pow-prod-down_binary64_3515 inv-pow_binary64_833 flip3-+_binary64_3450 difference-cubes_binary64_1764 pow2_binary64_2177 div-sub_binary64_1093 cos-diff_binary64_2233 associate-*r/_binary64_5076 cos-diff_binary64_548 rem-cube-cbrt_binary64 flip3--_binary64_4125 difference-of-sqr-1_binary64_2406 unpow2_binary64_1150 distribute-rgt-neg-in_binary64_711 pow-plus_binary64_2496 difference-of-sqr--1_binary64_385 distribute-neg-in_binary64_714 associate--l+_binary64_2375 sin-sum_binary64 acos-asin_binary64_2614 associate-+r+_binary64_1359 associate-+r+_binary64_2033 sub-neg_binary64_4114
5×	pow-exp_binary64_2838 pow2_binary64_155 div-sub_binary64_2778 associate--l-_binary64_17 distribute-rgt-out--_binary64_1381 cube-mult_binary64_104 *-commutative_binary64_3380 rem-cbrt-cube_binary64 pow-plus_binary64_137 associate-+l+_binary64_3045 difference-of-sqr--1_binary64_1733 associate--r+_binary64_1700 prod-exp_binary64_3493 pow-to-exp_binary64_2839 frac-sub_binary64_1097 rem-cbrt-cube_binary64_1111 unpow3_binary64_140 distribute-rgt-out_binary64 rem-cbrt-cube_binary64_437 difference-of-sqr-1_binary64_721 rem-log-exp_binary64_2811 pow-plus_binary64_2159 inv-pow_binary64_159 exp-diff_binary64_1807 distribute-lft-neg-in_binary64_36 cbrt-unprod_binary64_3477 distribute-lft-out_binary64_3400 times-frac_binary64_5138 distribute-rgt-neg-in_binary64_37 pow-sqr_binary64_1061 pow-prod-up_binary64_1155 pow-flip_binary64_2507 un-div-inv_binary64_75 cube-div_binary64_2462 asin-acos_binary64_254 associate-/r*_binary64_5078 distribute-lft-in_binary64_4746 pow-flip_binary64_148 distribute-rgt-in_binary64_4747
4×	flip--_binary64_5107 +-commutative_binary64_3379 unswap-sqr_binary64_4763 pow-flip_binary64_1496 pow-sqr_binary64_2746 exp-prod_binary64_2822 cbrt-undiv_binary64_3141 associate-+r+_binary64_2370 1-exp_binary64_1129 log-prod_binary64_3193 sin-mult_binary64_2251 exp-sum_binary64 clear-num_binary64_3109 cube-div_binary64_777 log-div_binary64_2857 sum-cubes_binary64_415 pow2_binary64_2514 associate-/r/_binary64_4069 exp-sum_binary64_1805 associate-/l/_binary64_4070 div-exp_binary64_3158 neg-sub0_binary64 pow-plus_binary64_811 unpow2_binary64 difference-of-squares_binary64_4090 associate-+r-_binary64_2372 associate--r+_binary64_2711 log-prod_binary64_497 div-sub_binary64_419 pow-prod-down_binary64_4863 prod-exp_binary64_4841 acos-asin_binary64_1940 cube-prod_binary64_3135 div-exp_binary64_4169 rem-exp-log_binary64 difference-of-squares_binary64_5101 cube-prod_binary64_2798 inv-pow_binary64_1507 flip3--_binary64_5136 associate-+l+_binary64_1360 cos-mult_binary64_2250 rem-cube-cbrt_binary64_1110 neg-log_binary64 pow2_binary64_829 exp-sum_binary64_120 unpow2_binary64_2161 cbrt-undiv_binary64_4152 pow-sqr_binary64 sub-div_binary64 cbrt-unprod_binary64_4825 cos-mult_binary64_1576 frac-2neg_binary64_3121 pow-prod-up_binary64 un-div-inv_binary64 sqr-pow_binary64_3082 associate-*r/_binary64_3391 unpow2_binary64_2498 pow2_binary64 rem-log-exp_binary64_1800 rec-exp_binary64_1135 +-commutative_binary64_4727 pow-prod-up_binary64_2840 *-commutative_binary64_4728 cos-sum_binary64_545 sub-div_binary64_4128 div-inv_binary64_3107
3×	sqrt-unprod_binary64 +-commutative_binary64_4053 sub-neg_binary64_5125 pow-plus_binary64_1148 pow-prod-up_binary64_4188 rem-cube-cbrt_binary64_99 associate-+l-_binary64 associate--r+_binary64 sqrt-undiv_binary64_434 cos-sum_binary64_208 log-pow_binary64_2185 distribute-frac-neg_binary64_2401 pow-sqr_binary64_3083 log-prod_binary64_2182 distribute-rgt-in_binary64_2725 associate-+r-_binary64 associate-+l+_binary64_2371 sqrt-undiv_binary64_97 associate-+l+_binary64_4730 cbrt-unprod_binary64_5162 inv-pow_binary64_2518 pow2_binary64_1166 prod-exp_binary64_5178 associate-+r-_binary64_687 rem-exp-log_binary64_451 rem-cube-cbrt_binary64_773 sqr-sin-a_binary64_222 sqrt-undiv_binary64_771 sqrt-undiv_binary64_2456 neg-log_binary64_841 pow-unpow_binary64_2847 pow-sqr_binary64_4094 associate--l+_binary64_353 pow-plus_binary64 frac-sub_binary64_86 neg-mul-1_binary64_73 difference-of-sqr-1_binary64_384 sqrt-unprod_binary64_96 pow-prod-up_binary64_3177 acos-asin_binary64_255 un-div-inv_binary64_412 acos-neg_binary64_2616 pow-flip_binary64_1159 associate--l+_binary64_2712 distribute-rgt-out--_binary64_1718 distribute-lft-in_binary64_2724 pow-unpow_binary64_3521 associate--l+_binary64_4060
2×	cosh-def_binary64_934 rem-square-sqrt_binary64_89 div-inv_binary64_4118 flip3-+_binary64_5135 pow-plus_binary64_4181 cos-2_binary64_553 distribute-lft-out--_binary64_5086 distribute-rgt1-in_binary64 rem-cbrt-cube_binary64_774 pow-plus_binary64_474 rem-square-sqrt_binary64_2111 sin-cos-mult_binary64_1915 rem-cube-cbrt_binary64_2458 unpow2_binary64_2835 associate-/r/_binary64_5080 distribute-lft-in_binary64_3398 distribute-rgt-in_binary64_3399 pow-prod-down_binary64_5200 associate-+r+_binary64_4729 rem-cbrt-cube_binary64_2459 rem-cbrt-cube_binary64_2122 rem-square-sqrt_binary64_1437 sin-sum_binary64_1892 pow-exp_binary64_3175 exp-diff_binary64_459 unswap-sqr_binary64_5100 cbrt-undiv_binary64_5163 cos-sum_binary64_2230 associate-*l/_binary64_4740 *-commutative_binary64_5065 cos-diff_binary64_2570 neg-sub0_binary64_1420 flip-+_binary64_5106 rem-cbrt-cube_binary64_1448 distribute-rgt1-in_binary64_1720 sub-div_binary64_84 neg-mul-1_binary64 pow-plus_binary64_3170 pow-prod-up_binary64_481 associate-/l/_binary64_5081 sqrt-unprod_binary64_1444 distribute-lft-out_binary64_5085 pow-sqr_binary64_3420 frac-2neg_binary64_4132 sqrt-unprod_binary64_1781 exp-neg_binary64_1469 associate-/l*_binary64_4068 pow-plus_binary64_2833 div-exp_binary64_5180 difference-of-squares_binary64_3416 inv-pow_binary64_1170 neg-mul-1_binary64_747 1-exp_binary64_2814 pow2_binary64_3188 un-div-inv_binary64_2434 exp-diff_binary64 tan-sum_binary64 sqrt-unprod_binary64_2118 pow-sqr_binary64_387 associate--l-_binary64_2376 distribute-lft-neg-in_binary64_710 rem-cbrt-cube_binary64_1785 associate--r+_binary64_1363 sin-mult_binary64 rem-square-sqrt_binary64_1774 associate--r+_binary64_4059 pow2_binary64_2851 distribute-lft-in_binary64_5083 exp-sum_binary64_457 pow-prod-up_binary64_3514 frac-sub_binary64_1434 associate-+l+_binary64_4056 distribute-rgt-in_binary64_5084 tan-sum_binary64_1894 distribute-rgt-neg-out_binary64_39 associate-+l-_binary64_1362 pow2_binary64_492 pow2_binary64_4199 associate-+l-_binary64_4058 clear-num_binary64_4120 exp-diff_binary64_2818 rec-exp_binary64_2820 pow-to-exp_binary64_3176 sqrt-pow2_binary64_1106 pow-pow_binary64_3516 pow-sub_binary64_824
1×	associate--r+_binary64_2374 div-sub_binary64_3452 exp-to-pow_binary64_810 count-2_binary64 sqrt-pow2_binary64_95 exp-diff_binary64_3155 cos-sum_binary64_2567 sin-sum_binary64_2229 +-commutative_binary64_5064 sum-cubes_binary64_752 log-div_binary64_498 pow-flip_binary64_2844 sum-log_binary64_5220 associate-+l-_binary64_2373 distribute-rgt-out--_binary64_4077 exp-to-pow_binary64_1484 distribute-lft-out--_binary64_3401 exp-sum_binary64_1131 distribute-rgt1-in_binary64_2057 cos-sum_binary64_882 e-exp-1_binary64_456 flip3--_binary64_3451 tan-quot_binary64_1244 un-div-inv_binary64_1423 tanh-def-b_binary64_936 asin-acos_binary64_1602 sin-diff_binary64_547 associate-+r-_binary64_13 exp-sum_binary64_3153 rem-log-exp_binary64_3148 unpow2_binary64_1824 associate-+l+_binary64_2034 rem-exp-log_binary64_1799 cos-mult_binary64 exp-to-pow_binary64_1821 unpow3_binary64_2836 associate-+r-_binary64_1024 associate-/l*_binary64_5079 diff-log_binary64_3536 associate-+l-_binary64_3047 tanh-def-a_binary64_935 sub-neg_binary64_3440 associate-+l+_binary64_12 exp-to-pow_binary64_2158 distribute-rgt-out--_binary64_33 pow-plus_binary64_3507 pow-pow_binary64_2842 times-frac_binary64_3453 clear-num_binary64_5131 pow-exp_binary64_3512 sqrt-pow2_binary64_769 diff-atan_binary64_1579 associate-+r-_binary64_1361 exp-diff_binary64_2481 pow2_binary64_3525 pow-to-exp_binary64_3513 e-exp-1_binary64_1467 associate--l-_binary64_4061 distribute-lft1-in_binary64 rem-exp-log_binary64_2136 distribute-rgt-out_binary64_3402 distribute-rgt-out--_binary64_370 sqr-sin-a_binary64_1570 sqrt-pow2_binary64_1780 rem-cbrt-cube_binary64_100 sqrt-unprod_binary64_1107 rem-exp-log_binary64_2473 distribute-rgt-out_binary64_2054 cos-diff_binary64_885 distribute-lft-out_binary64_2726 unpow1/3_binary64_2500 associate-+l-_binary64_688 associate-+l+_binary64_3382 distribute-rgt1-in_binary64_3405 distribute-frac-neg_binary64_42 associate--r-_binary64_3388 rem-log-exp_binary64_452 cube-mult_binary64_2800 rem-log-exp_binary64_2137 sub-div_binary64_1769 sin-sum_binary64_544 sqrt-unprod_binary64_2455 exp-to-pow_binary64_473 un-div-inv_binary64_2771 cos-diff_binary64_211 rem-square-sqrt_binary64_2448 diff-log_binary64_5221 flip--_binary64_3422 unpow3_binary64_3173 sqr-pow_binary64_3419 tanh-def-c_binary64_937 associate--r-_binary64_18 diff-cos_binary64_225 cube-mult_binary64_3137 frac-2neg_binary64_5143 log-div_binary64_3194 inv-pow_binary64_2855 distribute-rgt-out--_binary64_2392 sin-diff_binary64_2232 div-inv_binary64_5129 rem-exp-log_binary64_2810 associate-+l+_binary64_1697 diff-sin_binary64_1909 tanh-undef_binary64_943

Calls

2214 calls:

145.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
136.0ms	(/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))
118.0ms	(*.f64 (sqrt.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))) (sqrt.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
112.0ms	(*.f64 (/.f64 i (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
91.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))) (sqrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))) (/.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))) (sqrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))))