rewrite3.1min (29.4%)

Algorithm

155×	rewrite-expression-head

Rules

1558×	frac-times_binary64_1452
1554×	times-frac_binary64_3153
1374×	sqrt-prod_binary64_3163
1354×	*-un-lft-identity_binary64_1783
1242×	*-un-lft-identity_binary64_2124
1202×	add-sqr-sqrt_binary64_3169
1004×	times-frac_binary64_1789
981×	associate-*r/_binary64_1384
915×	*-un-lft-identity_binary64_3147
846×	add-sqr-sqrt_binary64_1805
807×	flip-+_binary64_1416 flip3-+_binary64_1445
781×	associate-*l/_binary64_1385
774×	flip3--_binary64_1446 flip--_binary64_1417
748×	frac-add_binary64_1450
733×	add-cube-cbrt_binary64_3182
636×	times-frac_binary64_2130
621×	times-frac_binary64_84
613×	add-sqr-sqrt_binary64_2146
588×	add-cube-cbrt_binary64_1818
572×	times-frac_binary64_2471
529×	sqrt-prod_binary64_1799
455×	*-un-lft-identity_binary64_2465
453×	*-un-lft-identity_binary64_1442
446×	add-sqr-sqrt_binary64_100
437×	add-sqr-sqrt_binary64_2487
418×	times-frac_binary64_2812
402×	*-un-lft-identity_binary64_78
386×	add-sqr-sqrt_binary64_782
380×	add-sqr-sqrt_binary64_3851
371×	distribute-lft-out_binary64_1734
369×	add-cube-cbrt_binary64_113
364×	times-frac_binary64_766
355×	distribute-lft-out_binary64_2075
347×	add-sqr-sqrt_binary64_2828
345×	add-cube-cbrt_binary64_2159
342×	add-cube-cbrt_binary64_2500
336×	*-un-lft-identity_binary64_3829
334×	add-sqr-sqrt_binary64_1464
324×	times-frac_binary64_1448
318×	*-un-lft-identity_binary64_760
308×	*-un-lft-identity_binary64_2806
301×	associate-*r*_binary64_1723
292×	add-sqr-sqrt_binary64_441
284×	associate-*r*_binary64_3087
278×	times-frac_binary64_3835 add-cube-cbrt_binary64_2841
268×	add-exp-log_binary64_1821
259×	associate-*l*_binary64_2747
258×	add-cbrt-cube_binary64_1819
256×	times-frac_binary64_425
245×	add-cube-cbrt_binary64_795
243×	add-cube-cbrt_binary64_1477
242×	*-un-lft-identity_binary64_419
235×	add-cube-cbrt_binary64_454
228×	pow1_binary64_139
197×	*-un-lft-identity_binary64_5193 add-cube-cbrt_binary64_3864
195×	add-exp-log_binary64_2162
192×	sqrt-prod_binary64_776
181×	add-cbrt-cube_binary64_2160
180×	difference-of-squares_binary64_3116
172×	add-exp-log_binary64_116
164×	log-pow_binary64_167
162×	pow1_binary64
160×	cbrt-prod_binary64_450
156×	unpow-prod-down_binary64_1521
150×	add-sqr-sqrt_binary64
149×	add-exp-log_binary64_3526
146×	add-cbrt-cube_binary64_1137
143×	times-frac_binary64_1107
141×	add-cbrt-cube_binary64_3524 add-exp-log_binary64_1139
139×	sqrt-prod_binary64_94
138×	pow1_binary64_4231
137×	add-exp-log_binary64_2503
136×	pow1_binary64_3549
135×	add-sqr-sqrt_binary64_1123
134×	associate-*l*_binary64_1724
133×	pow1_binary64_2185
132×	associate-*r*_binary64_2064
130×	unpow-prod-down_binary64_2544 add-cbrt-cube_binary64_114
129×	cancel-sign-sub-inv_binary64_2431
126×	cube-prod_binary64_2493 add-exp-log_binary64_2844 pow1_binary64_480
120×	distribute-lft-out--_binary64_2076
119×	pow1_binary64_821
115×	*-un-lft-identity_binary64_1101
114×	associate-*l*_binary64_19 add-exp-log_binary64 associate-*l*_binary64_2406
112×	add-exp-log_binary64_3867 add-cbrt-cube_binary64 sqrt-prod_binary64_2822
111×	add-cbrt-cube_binary64_2501
110×	*-un-lft-identity_binary64
106×	sqrt-prod_binary64_1458
105×	unpow-prod-down_binary64_2203
102×	cube-prod_binary64_1470 add-cube-cbrt_binary64
101×	difference-of-squares_binary64_2093 associate-/r*_binary64_1727
100×	associate-*l*_binary64_2065
96×	pow1_binary64_1844 associate-/l*_binary64_1728
95×	add-cube-cbrt_binary64_1136
94×	pow1_binary64_2526 associate-/r*_binary64_22 add-exp-log_binary64_1480
93×	cube-prod_binary64_2152
92×	associate-/r/_binary64_1729 add-cbrt-cube_binary64_2842 add-exp-log_binary64_457
91×	add-exp-log_binary64_798
90×	distribute-lft-out--_binary64_3099
89×	pow1_binary64_1503
86×	unpow-prod-down_binary64_2885
84×	flip-+_binary64_1757 flip3-+_binary64_1786 associate-*r*_binary64_359
83×	add-cbrt-cube_binary64_3865 swap-sqr_binary64_2091 add-cbrt-cube_binary64_1478
82×	prod-exp_binary64_3537
81×	add-cbrt-cube_binary64_796
80×	cancel-sign-sub-inv_binary64_1408 associate-*r*_binary64_18
78×	cbrt-prod_binary64_5224 associate-*r*_binary64_700
77×	div-exp_binary64_1834 pow1_binary64_4572
76×	associate-*l*_binary64_701 cbrt-unprod_binary64_3521
75×	distribute-lft-out_binary64_1393
74×	associate-/r*_binary64_3091
73×	cbrt-undiv_binary64_1817 pow-prod-down_binary64_3559
72×	flip3-+_binary64_2127 flip-+_binary64_2098 flip-+_binary64_1075 flip3-+_binary64_1104
71×	add-cbrt-cube_binary64_455
70×	sqrt-div_binary64_1800 add-sqr-sqrt_binary64_5215
69×	associate-*r*_binary64_2405 unpow-prod-down_binary64_498
68×	add-log-exp_binary64_1481 prod-exp_binary64_1832 log-pow_binary64_849 cbrt-prod_binary64_2155
67×	associate-*r*_binary64_3769 pow-prod-down_binary64_4241 associate-*r*_binary64 associate-*l*_binary64
66×	associate-+l+_binary64_1375 associate-/r/_binary64_1047
65×	add-log-exp_binary64_2163
64×	cbrt-unprod_binary64_1816
63×	pow1_binary64_3890 *-un-lft-identity_binary64_4852
62×	add-log-exp_binary64_1822 pow1_binary64_2867 add-sqr-sqrt_binary64_3510
61×	associate-*l*_binary64_3770 sqrt-prod_binary64
60×	associate-/r/_binary64_2070 distribute-lft-out_binary64_5144
58×	prod-exp_binary64_2173
57×	pow-prod-down_binary64
56×	*-un-lft-identity_binary64_4170 prod-exp_binary64_127 difference-of-squares_binary64_1752
55×	add-sqr-sqrt_binary64_4192 add-log-exp_binary64 difference-of-squares_binary64_3798 *-un-lft-identity_binary64_3488 associate-/r/_binary64_1388 add-cube-cbrt_binary64_3523
54×	unpow-prod-down_binary64_1862
53×	pow1_binary64_1162
52×	sqrt-pow1_binary64_4188
51×	cube-prod_binary64_447 associate-*r*_binary64_1041
50×	cbrt-unprod_binary64_2157 frac-times_binary64_1793 prod-exp_binary64_2514 unswap-sqr_binary64_1751
49×	distribute-rgt-in_binary64_1392 log-pow_binary64_508 distribute-lft-in_binary64_1391
48×	cbrt-unprod_binary64_1134 prod-exp_binary64_1150 cancel-sign-sub-inv_binary64_3454 associate-*r/_binary64_1043
47×	distribute-lft-out_binary64_2416 frac-times_binary64_1111
46×	associate-/r/_binary64_2411 associate-*l*_binary64_1042 associate-*l/_binary64_1726 associate-/r*_binary64_3773 associate-*r/_binary64_4112 prod-exp_binary64_2855
45×	add-cube-cbrt_binary64_5228 sqrt-prod_binary64_2140 associate-*l*_binary64_1383 flip3-+_binary64_2468 flip-+_binary64_2439 add-sqr-sqrt_binary64_4533
44×	distribute-lft-out--_binary64_1735
43×	associate-/r*_binary64_704 pow-prod-down_binary64_4582 add-log-exp_binary64_2504 associate-/r*_binary64_1386 sqrt-prod_binary64_435 add-sqr-sqrt_binary64_4874
42×	distribute-rgt-out_binary64_31 pow1_binary64_5254 add-exp-log_binary64_5231 difference-of-squares_binary64_1411
41×	add-log-exp_binary64_117 associate-/r*_binary64_2068 div-inv_binary64_1780 associate-/l*_binary64_23 distribute-lft-out_binary64_3780
40×	add-log-exp_binary64_3527 prod-exp_binary64_3878 associate-/l/_binary64_1730 associate-*r/_binary64_1725 add-cbrt-cube_binary64_5229
39×	div-exp_binary64_129 add-log-exp_binary64_458 add-log-exp_binary64_3868 difference-of-squares_binary64_729
38×	add-exp-log_binary64_3185 add-cbrt-cube_binary64_4206 add-cbrt-cube_binary64_3183 associate-*r/_binary64_2407 associate-*l*_binary64_3429 add-exp-log_binary64_4208
37×	sqrt-pow1_binary64 cancel-sign-sub-inv_binary64_2090 div-exp_binary64_2175 distribute-lft-out--_binary64_5145 associate-*r*_binary64_3428 associate-*r*_binary64_5133 cbrt-prod_binary64_3860
36×	associate-/l*_binary64_2069 cbrt-unprod_binary64_2498 cbrt-unprod_binary64 cbrt-undiv_binary64_2158 div-exp_binary64_1152 associate-*r*_binary64_4110 prod-exp_binary64 cbrt-undiv_binary64_1135
35×	associate-*r*_binary64_2746 add-log-exp_binary64_5232 div-inv_binary64_757
34×	associate-*r*_binary64_1382 *-un-lft-identity_binary64_4511 cbrt-div_binary64_451 add-log-exp_binary64_2845 add-cbrt-cube_binary64_4547 cbrt-unprod_binary64_111 add-exp-log_binary64_4549 sqrt-div_binary64_1459
33×	cbrt-prod_binary64_791 associate-*l/_binary64_2067 frac-times_binary64_2134
32×	pow1/2_binary64_4250 sqrt-div_binary64_4187
31×	add-cube-cbrt_binary64_4205 associate-*l*_binary64_5134 div-inv_binary64_2121 div-inv_binary64_3144 associate-/r*_binary64_363
30×	sqrt-prod_binary64_4186 sqrt-prod_binary64_2481 associate-*r/_binary64_5135 pow1_binary64_3208 add-cbrt-cube_binary64_4888 div-inv_binary64_2462 add-exp-log_binary64_4890 unswap-sqr_binary64_3115 unswap-sqr_binary64_2092 pow1_binary64_4913
29×	unpow-prod-down_binary64_3908 sqr-pow_binary64_2778 associate-/l/_binary64_2071 distribute-lft-out--_binary64_3781 flip3--_binary64_1787 flip--_binary64_1758
28×	cbrt-prod_binary64_2837 associate-/l*_binary64_705 div-inv_binary64_75 frac-times_binary64_2475 associate-/l*_binary64_3092 difference-of-squares_binary64_1070 add-log-exp_binary64_799 sqrt-pow1_binary64_1460 unswap-sqr_binary64_46 associate-*l*_binary64_360
27×	log-prod_binary64_2551 unswap-sqr_binary64_3797 cbrt-unprod_binary64_2839 add-cube-cbrt_binary64_4887 cbrt-undiv_binary64_112 log-prod_binary64_846
26×	sqrt-div_binary64_2482 distribute-lft-out--_binary64_712 sqrt-prod_binary64_4527 pow-prod-down_binary64_2536 sqrt-div_binary64 prod-exp_binary64_1491 associate-*r/_binary64_3771 associate-*l*_binary64_4111
25×	associate-/l*_binary64_1046 sqrt-div_binary64_95 unswap-sqr_binary64_2433 pow-prod-down_binary64_2195 pow1/2_binary64 associate-*l*_binary64_4793 pow-unpow_binary64_837
24×	cbrt-div_binary64_5225 cbrt-unprod_binary64_3862 add-cube-cbrt_binary64_4546 associate-*r/_binary64_4453 associate-*l/_binary64_1044
23×	add-log-exp_binary64_1140 add-log-exp_binary64_3186 associate-*r*_binary64_4451 associate-*r*_binary64_4792
22×	distribute-lft-out--_binary64_1394 unswap-sqr_binary64_2774 cancel-sign-sub-inv_binary64_3795 unswap-sqr_binary64_387 pow-prod-up_binary64_2194 *-commutative_binary64 pow-plus_binary64_2187
21×	flip3-+_binary64_4173 pow1/2_binary64_1522 pow1/2_binary64_4591 cube-prod_binary64_3857 swap-sqr_binary64_5160 pow1/3_binary64_501 distribute-lft1-in_binary64_33 flip3--_binary64_423 flip--_binary64_394 flip-+_binary64_4144 sqrt-pow1_binary64_4529
20×	associate-*r/_binary64_2066 clear-num_binary64_1782 pow-prod-down_binary64_149 frac-2neg_binary64_1794 div-inv_binary64_1098 cancel-sign-sub-inv_binary64_726 prod-exp_binary64_809 div-exp_binary64_2516 pow-prod-down_binary64_1854
19×	flip--_binary64_3804 div-exp_binary64_811 associate-*l*_binary64_4452 add-log-exp_binary64_4891 flip3--_binary64_3833 associate-/l*_binary64_3774
18×	cbrt-unprod_binary64_1475 pow-prod-up_binary64_4240 div-inv_binary64_1439 div-inv_binary64_416 div-exp_binary64_2857 unswap-sqr_binary64_728 unswap-sqr_binary64 sqrt-div_binary64_4528 flip--_binary64_5168 cbrt-unprod_binary64_793 flip3--_binary64_5197
17×	associate-*r/_binary64_20 associate-/l*_binary64_1387 associate-*l/_binary64_2408 flip-+_binary64_52 flip-+_binary64_5167 div-exp_binary64_470 difference-of-squares_binary64_2434 pow-prod-down_binary64_3900 flip3-+_binary64_81 cbrt-undiv_binary64_794 flip3-+_binary64_5196
16×	associate-/l*_binary64_364 *-commutative_binary64_3419 associate-/l*_binary64_2751 add-log-exp_binary64_4550 pow-exp_binary64_2874 unpow-prod-down_binary64_3567 pow-prod-down_binary64_1172 sqrt-pow1_binary64_778 log-pow_binary64_2554
15×	cbrt-unprod_binary64_4203 distribute-lft-out_binary64_4121 flip-+_binary64 div-exp_binary64_1493 distribute-lft-out_binary64_4803 pow-prod-down_binary64_1513 associate-*r/_binary64_361 distribute-lft-in_binary64_3778 flip3-+_binary64 *-commutative_binary64_1714 distribute-rgt-in_binary64_3779 prod-exp_binary64_4219
14×	*-commutative_binary64_3760 sub-neg_binary64_1435 cbrt-undiv_binary64_2840 associate-/r*_binary64_1045 distribute-lft-out_binary64_711 pow-prod-down_binary64_490 flip3-+_binary64_4514 cbrt-undiv_binary64_2499 prod-exp_binary64_468 sqrt-div_binary64_3164 flip-+_binary64_4485 difference-of-sqr-1_binary64_1071 *-commutative_binary64_2055 distribute-lft-out_binary64_2757 sum-log_binary64_1533
13×	pow-pow_binary64_2878 cbrt-unprod_binary64_4544 rem-sqrt-square_binary64 flip3-+_binary64_3832 associate-/r/_binary64_3775 sqr-pow_binary64_3801 flip-+_binary64_3803 *-commutative_binary64_2396 prod-exp_binary64_4560
12×	frac-add_binary64_5201 div-inv_binary64_2803 clear-num_binary64_77 pow-unpow_binary64_2883 cube-div_binary64_3858 log-prod_binary64_2210 frac-2neg_binary64_89 pow1/2_binary64_840 cube-div_binary64_5222 log-prod_binary64_164 cbrt-unprod_binary64_452 unswap-sqr_binary64_4138 flip3-+_binary64_4855 pow-to-exp_binary64_2875 cube-prod_binary64_3516 associate-/r/_binary64_24 flip-+_binary64_4826 frac-add_binary64_2132 pow-sqr_binary64_4143 unpow-prod-down_binary64_839
11×	prod-exp_binary64_5242 add-log-exp_binary64_4209 rem-sqrt-square_binary64_1455 flip3--_binary64_2128 cbrt-unprod_binary64_5226 div-exp_binary64_3198 swap-sqr_binary64_1750 unswap-sqr_binary64_1069 sum-log_binary64_2215 pow-prod-down_binary64_831 cbrt-undiv_binary64_3181 flip--_binary64_2099 sqrt-div_binary64_436 div-exp_binary64_3880 pow-prod-down_binary64_5264
10×	associate-*r/_binary64_2748 exp-prod_binary64_2858 sub-neg_binary64_3822 pow1/3_binary64_5275 pow1/3_binary64_2888 rec-exp_binary64_128 flip3-+_binary64_2809 *-commutative_binary64_1032 cbrt-undiv_binary64_1476 unswap-sqr_binary64_4479 unswap-sqr_binary64_5161 flip-+_binary64_2780 associate-/r*_binary64_2409 clear-num_binary64_2123 associate-/r/_binary64_706 pow-prod-down_binary64_2877 pow1/3_binary64_3911 associate-*r/_binary64_4794 1-exp_binary64_122 *-commutative_binary64_2737 div-inv_binary64_3826 associate-+r+_binary64_1374 frac-2neg_binary64_2135
9×	sqrt-pow1_binary64_3165 associate-/l/_binary64_1048 *-commutative_binary64_9 cancel-sign-sub-inv_binary64_2772 associate-/l*_binary64_2410 pow-unpow_binary64_496 sqrt-pow1_binary64_437 cbrt-unprod_binary64_4885 cancel-sign-sub-inv_binary64_3113 prod-exp_binary64_4901 +-commutative_binary64_2054 sqr-pow_binary64_2096 cbrt-undiv_binary64_453 associate-*l*_binary64_3088
8×	sqr-pow_binary64_2437 frac-add_binary64_3837 associate-/l/_binary64_2753 pow-to-exp_binary64_3898 pow-exp_binary64_3897 exp-prod_binary64_2176 associate-/l/_binary64_1389 log-div_binary64_847 pow-prod-up_binary64_4581 pow-exp_binary64_1510 cbrt-prod_binary64_4201 pow-prod-down_binary64_4923 swap-sqr_binary64_1409 frac-times_binary64_4180 sqrt-unprod_binary64_4190 associate-*l/_binary64_4795
7×	sqrt-pow1_binary64_1801 *-commutative_binary64_350 frac-2neg_binary64_771 diff-log_binary64_5285 rem-sqrt-square_binary64_773 sum-log_binary64_1874 flip3-+_binary64_763 flip-+_binary64_734 clear-num_binary64_759 distribute-rgt-in_binary64_710 log-pow_binary64_2213 frac-2neg_binary64_1112 distribute-rgt-in_binary64_2756 sqrt-prod_binary64_4868 sqrt-unprod_binary64_4531 cbrt-undiv_binary64_3863 sqrt-prod_binary64_5209 *-commutative_binary64_5124 clear-num_binary64_1100 pow-pow_binary64_491 pow-exp_binary64_2192 frac-times_binary64_88 div-sub_binary64_2129 +-commutative_binary64_1372 distribute-lft-in_binary64_709 *-commutative_binary64_4101 associate-*l/_binary64_21 distribute-lft-in_binary64_2755
6×	times-frac_binary64_4858 associate--l+_binary64_3766 *-commutative_binary64_1373 pow1/2_binary64_3227 associate-*l/_binary64_3772 rec-exp_binary64_469 flip-+_binary64_3121 pow-unpow_binary64_2201 sub-neg_binary64_5186 cancel-sign-sub-inv_binary64_385 distribute-rgt-in_binary64_2074 associate-*l/_binary64_5136 unswap-sqr_binary64_1410 pow1/2_binary64_1863 1-exp_binary64_463 flip3-+_binary64_3150 cbrt-div_binary64_3861 unswap-sqr_binary64_4820 distribute-lft-in_binary64_2073 sqrt-pow1_binary64_2824 associate-/r*_binary64_4796 +-commutative_binary64_1713 unpow3_binary64_3895 *-commutative_binary64_4783 *-commutative_binary64_691 cube-mult_binary64_3859 sqr-pow_binary64_3460 rem-sqrt-square_binary64_2819 cancel-sign-sub-inv_binary64_5159 pow-sqr_binary64_4484 sqrt-pow1_binary64_96 swap-sqr_binary64_3796 log-div_binary64_165 swap-sqr_binary64_386 sqr-pow_binary64_391 pow1/2_binary64_2886 rem-sqrt-square_binary64_2478 pow-flip_binary64_834 cube-mult_binary64_3518 cbrt-prod_binary64_109 pow-exp_binary64_487 pow1/2_binary64_158 swap-sqr_binary64_2773 sqrt-pow1_binary64_2483 sqrt-prod_binary64_3504 swap-sqr_binary64_4819
5×	rem-sqrt-square_binary64_432 distribute-lft-in_binary64_4801 distribute-rgt-in_binary64_1051 sum-log_binary64_169 pow-sqr_binary64_2097 clear-num_binary64_1441 associate-/r*_binary64_5137 swap-sqr_binary64_4137 flip3--_binary64_764 distribute-rgt-in_binary64_4802 unswap-sqr_binary64_3456 diff-log_binary64_2557 flip3--_binary64_3151 associate-/r/_binary64_3093 times-frac_binary64_5199 flip--_binary64_735 distribute-lft-out_binary64_4462 frac-2neg_binary64_3840 frac-2neg_binary64_430 sub-neg_binary64_2458 pow-flip_binary64_493 rem-sqrt-square_binary64_1796 pow-exp_binary64_2533 frac-2neg_binary64_1453 +-commutative_binary64_8 rec-exp_binary64_2515 difference-of-squares_binary64_5162 inv-pow_binary64_504 clear-num_binary64_3828 pow-prod-down_binary64_3218 pow1/2_binary64_499 distribute-lft-out--_binary64_2417 distribute-lft-in_binary64_5142 1-exp_binary64_2509 rem-log-exp_binary64_801 exp-sum_binary64_2170 pow2_binary64_2205 pow-to-exp_binary64_2193 frac-add_binary64_1791 *-commutative_binary64_4442 clear-num_binary64_418 pow-prod-up_binary64_1512 flip--_binary64_3122 distribute-rgt-in_binary64_5143 distribute-lft-in_binary64_1050
4×	associate-+r+_binary64_2397 log-div_binary64_2211 sub-neg_binary64_3481 associate-*l/_binary64_4113 flip3--_binary64_2469 sub-neg_binary64_412 flip--_binary64_2440 associate-*l/_binary64_2749 frac-times_binary64_5203 sqrt-unprod_binary64 flip--_binary64_3463 associate-*l/_binary64_362 pow-to-exp_binary64_1511 clear-num_binary64_2805 associate-+l+_binary64_1716 distribute-rgt-in_binary64_28 frac-2neg_binary64_3158 rem-sqrt-square_binary64_3160 frac-times_binary64_4862 frac-times_binary64_4521 sum-log_binary64_5284 distribute-lft-out_binary64 log-pow_binary64 diff-log_binary64_1534 distribute-lft-in_binary64_2414 sqr-pow_binary64_732 cube-div_binary64_4199 frac-sub_binary64_3838 distribute-lft-out--_binary64_4804 associate-/l/_binary64_3776 difference-of-squares_binary64_4821 sum-log_binary64_2556 rem-cube-cbrt_binary64_2147 clear-num_binary64_3146 frac-2neg_binary64_2817 flip3--_binary64_4856 frac-times_binary64_2816 flip3-+_binary64_3491 flip3--_binary64_3492 distribute-lft-in_binary64_27 sqrt-div_binary64_777 unpow3_binary64_3554 diff-log_binary64_3580 unpow-prod-down_binary64 associate-/r*_binary64_2750 frac-times_binary64_429 cbrt-div_binary64_110 sum-log_binary64_4943 associate--r+_binary64_2401 sum-log_binary64_3579 div-sub_binary64_765 distribute-rgt-in_binary64_2415 +-commutative_binary64_3418 flip--_binary64_4827 flip-+_binary64_3462
3×	associate-/r*_binary64_4455 associate-*l/_binary64_703 pow-to-exp_binary64_2534 clear-num_binary64_2464 prod-exp_binary64_3196 unpow3_binary64_2190 distribute-lft-in_binary64_1732 pow-unpow_binary64_3906 sub-neg_binary64_3140 diff-log_binary64_3239 pow-plus_binary64_4233 inv-pow_binary64_2550 distribute-rgt-in_binary64_1733 unpow3_binary64_1508 pow-sqr_binary64_1415 distribute-rgt-out_binary64_1736 sum-log_binary64_3920 rem-cube-cbrt_binary64_2488 distribute-lft-out_binary64_1052 frac-2neg_binary64_2476 diff-log_binary64_3921 unpow3_binary64_485 associate--l+_binary64_2402 pow-unpow_binary64_4247 pow-flip_binary64_2539 rem-log-exp_binary64_2506 pow-flip_binary64_152 cube-div_binary64_448 div-sub_binary64_1447 times-frac_binary64_4517 pow-unpow_binary64_5270 pow-to-exp_binary64_488 unpow3_binary64_2531 cube-prod_binary64_2834 inv-pow_binary64_163 sub-neg_binary64_4845 cube-mult_binary64_2154 cancel-sign-sub-inv_binary64_4818 cos-sum_binary64 pow-unpow_binary64_2542 distribute-rgt-in_binary64_4120 cube-mult_binary64_2495 pow-unpow_binary64_1519 swap-sqr_binary64_1068 cancel-sign-sub-inv_binary64_1749 +-commutative_binary64_2395 distribute-lft-in_binary64_4119 sub-neg_binary64_2117 sqrt-div_binary64_2141 sub-neg_binary64_2799 cube-mult_binary64_1472 cube-div_binary64_2153 cbrt-unprod_binary64_3180 frac-add_binary64_1109 pow-flip_binary64_1516 cube-mult_binary64_449 associate-*r/_binary64_3089 sqr-pow_binary64_1414
2×	pow-to-exp_binary64_3557 flip--_binary64_2781 associate-+r+_binary64_4443 unpow1/3_binary64_2873 difference-of-squares_binary64_388 pow-sqr_binary64_5166 unpow3_binary64_4236 pow-exp_binary64_828 pow1/2_binary64_2204 associate-/l/_binary64_4799 1-exp_binary64_1827 distribute-lft-out_binary64_29 sub-neg_binary64_4504 diff-log_binary64_852 pow-exp_binary64_3556 +-commutative_binary64 rem-cube-cbrt_binary64_5216 unpow3_binary64_5259 associate--r+_binary64_4788 cbrt-div_binary64_4202 associate-/r/_binary64_4798 pow1/3_binary64_160 unpow-prod-down_binary64_4249 sum-log_binary64_4602 pow-prod-up_binary64_489 exp-sum_binary64_1488 cube-prod_binary64_5221 div-exp_binary64_4903 exp-diff_binary64_2172 associate-/l/_binary64_4458 associate-/l/_binary64_2412 distribute-lft-in_binary64_368 diff-log_binary64_4603 cube-prod_binary64_4198 sub-neg_binary64_753 pow-exp_binary64_4238 rec-exp_binary64_1833 pow-sqr_binary64_392 sin-sum_binary64 pow-prod-up_binary64_2876 sqr-pow_binary64_4142 div-exp_binary64_4562 associate-/l/_binary64_5140 distribute-lft-in_binary64_4460 cube-mult_binary64_4200 sum-log_binary64 associate-*r/_binary64_702 associate-/r/_binary64_4457 div-exp_binary64_5244 rem-cube-cbrt_binary64_4193 div-sub_binary64_3834 rem-sqrt-square_binary64_2137 cbrt-undiv_binary64_4886 div-sub_binary64_83 pow-pow_binary64_5265 pow3_binary64_2207 pow-exp_binary64_5261 unpow2_binary64_2871 pow1/2_binary64_2545 pow-pow_binary64_2196 flip3--_binary64_2810 diff-log_binary64_511 cube-mult_binary64_5223 1-exp_binary64_1486 rem-log-exp_binary64_2165 associate-/r/_binary64_5139 sqrt-pow1_binary64_2142 1-exp_binary64_804 un-div-inv_binary64_2463 associate-/l/_binary64_3094 rec-exp_binary64_3879 rem-log-exp_binary64_119 pow-sqr_binary64_2779 distribute-rgt-in_binary64_369 pow2_binary64_4251 cbrt-undiv_binary64_4545 unpow2_binary64_3553 associate-+l-_binary64_5128 cube-div_binary64_1471 cbrt-undiv_binary64_5227 unpow-prod-down_binary64_5272 frac-times_binary64_770 +-commutative_binary64_4782 pow-prod-up_binary64_5263 rec-exp_binary64_1492 associate-*l/_binary64_4454 sqr-pow_binary64_5165 pow-prod-up_binary64_3899 pow-plus_binary64_4574 difference-of-squares_binary64_2775 +-commutative_binary64_1031 +-commutative_binary64_3759 distribute-lft-out_binary64_3439 rec-exp_binary64_810 pow-sqr_binary64_3802 1-exp_binary64_3873 pow-pow_binary64_4242 pow-sub_binary64_1518 flip3-+_binary64_422 inv-pow_binary64_1527 cancel-sign-sub-inv_binary64_4477 flip-+_binary64_393 rem-cube-cbrt_binary64_442 sum-log_binary64_1192 distribute-rgt-in_binary64_4461 rem-square-sqrt_binary64_4182 distribute-lft-out--_binary64_2758 associate-+l+_binary64_5126 pow-to-exp_binary64_829
1×	rem-cube-cbrt_binary64_1465 clear-num_binary64_5192 cube-mult_binary64_2836 frac-2neg_binary64_4522 sub-neg_binary64 pow-plus_binary64_482 clear-num_binary64_4851 pow2_binary64_500 associate-/r/_binary64_365 sqrt-unprod_binary64_1462 associate-/l*_binary64_4456 pow-pow_binary64_832 pow-pow_binary64_2537 pow-flip_binary64_3903 associate--r-_binary64_2063 flip3--_binary64_4515 diff-log_binary64_4944 associate-+l-_binary64_2059 associate-+l+_binary64_4785 pow-plus_binary64_1846 pow2_binary64_2887 flip3--_binary64 pow-to-exp_binary64_4239 distribute-rgt-out--_binary64_4465 pow2_binary64_1864 pow-plus_binary64_4915 rem-cbrt-cube_binary64_3853 associate-+r-_binary64_2399 pow-plus_binary64_1505 rem-exp-log_binary64_2846 pow2_binary64_3910 pow1/3_binary64_2206 associate-+l+_binary64_2057 exp-to-pow_binary64_2868 associate-/l*_binary64_5138 sub-neg_binary64_1776 distribute-lft-out_binary64_3098 sqr-abs_binary64_1457 +-commutative_binary64_4441 pow-plus_binary64_823 cbrt-div_binary64_2156 pow-prod-up_binary64_1853 flip--_binary64 pow-pow_binary64_1514 flip--_binary64_4486 log-div_binary64_2552 pow-plus_binary64_2869 un-div-inv_binary64_417 cancel-sign-sub-inv_binary64 +-commutative_binary64_5123 pow-plus_binary64_1164 rem-square-sqrt_binary64_4523 pow2_binary64_1523 pow-sqr_binary64_733 flip3--_binary64_1105 distribute-rgt-out_binary64_1054 div-inv_binary64_4849 frac-2neg_binary64_4863 rem-cbrt-cube_binary64_5217 diff-log_binary64 *-commutative_binary64_3078 rem-sqrt-square_binary64_91 div-sub_binary64_1788 rem-cube-cbrt_binary64_3852 associate-+r-_binary64_3763 rem-sqrt-square_binary64_4524 flip--_binary64_1076 associate-+l-_binary64_1718 diff-log_binary64_1875 sqrt-undiv_binary64_3168 cube-div_binary64_2494 inv-pow_binary64_3914 rem-cbrt-cube_binary64_2148 associate-+r-_binary64_2058 difference-of-squares_binary64 associate--r+_binary64_3765 distribute-lft-out--_binary64_371 pow-sqr_binary64_4825 pow-pow_binary64_3901 rec-exp_binary64_2174 pow2_binary64_1182 pow2_binary64_4933 rem-square-sqrt_binary64_1454 associate--l+_binary64_5130 unpow3_binary64_2872 associate--l-_binary64_5131 +-commutative_binary64_3077 pow-prod-up_binary64_830 sum-log_binary64_3238 pow2_binary64_5274 pow-plus_binary64_5256 div-inv_binary64_4508 rem-exp-log_binary64_2164 associate-+r-_binary64_4445 diff-log_binary64_2216 pow1/3_binary64_4252 swap-sqr_binary64_4478 associate-/l*_binary64_4797 1-exp_binary64_2168 clear-num_binary64_4510 pow2_binary64_841 pow-sqr_binary64_1074 pow-plus_binary64_3892 pow-prod-up_binary64_4922 rem-cbrt-cube_binary64_4194 inv-pow_binary64_845 rem-cbrt-cube_binary64_443 pow-sqr_binary64_1756 pow-to-exp_binary64_5262 frac-2neg_binary64_5204 diff-log_binary64_2898 pow2_binary64_4592 div-inv_binary64_5190 pow-prod-up_binary64_1171

Counts

455 → 15078

Calls

348 calls:

148.0ms	(*.f64 (/.f64 (+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z)) (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z))))))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z))))) (-.f64 3 z))
119.0ms	(+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z)) (/.f64 (+.f64 (/.f64 35411260005907793929140321087001/77371252455336267181195264 (-.f64 1 z)) -3349966604360028729823972713705/4951760157141521099596496896) (-.f64 1 z)))))))
110.0ms	(*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))
107.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) (/.f64 (sqrt.f64 (sqrt.f64 2)) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) (fabs.f64 im))))
84.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3))

Compiler

Compiled 620994 to 360335 computations (42% saved)