rewrite3.2min (28.9%)

Algorithm

156×	rewrite-expression-head

Rules

1960×	*-un-lft-identity_binary64_2465
1567×	times-frac_binary64_2471
1543×	frac-times_binary64_2475
1292×	associate-*r/_binary64_2407
1228×	times-frac_binary64_2812
1199×	times-frac_binary64_84
862×	flip3-+_binary64_2468 flip-+_binary64_2439
854×	add-sqr-sqrt_binary64_2487
844×	*-un-lft-identity_binary64_1442
826×	times-frac_binary64_1448
800×	times-frac_binary64_1789
758×	add-sqr-sqrt_binary64_2828
756×	flip3--_binary64_2469 flip--_binary64_2440
754×	frac-add_binary64_2473
741×	add-cube-cbrt_binary64_2500
716×	sqrt-prod_binary64_2822
696×	times-frac_binary64_425
666×	add-sqr-sqrt_binary64_1464
665×	add-sqr-sqrt_binary64_100
658×	*-un-lft-identity_binary64_2806
640×	distribute-lft-out_binary64_2416
635×	add-cube-cbrt_binary64_2841
608×	*-un-lft-identity_binary64_78
597×	add-cube-cbrt_binary64_113
590×	add-sqr-sqrt_binary64_1805
552×	*-un-lft-identity_binary64_1783
496×	add-cube-cbrt_binary64_1818
486×	add-cube-cbrt_binary64_1477
479×	associate-*l/_binary64_2408
441×	pow1_binary64_139
429×	associate-*r*_binary64_2746
361×	add-sqr-sqrt_binary64_441
351×	*-un-lft-identity_binary64_419
348×	add-cube-cbrt_binary64_454
308×	add-sqr-sqrt_binary64_3169
299×	sqrt-prod_binary64_1799
282×	add-sqr-sqrt_binary64_782
277×	add-sqr-sqrt_binary64_2146
261×	add-exp-log_binary64_1480
253×	add-cbrt-cube_binary64_1478
252×	log-pow_binary64_167
247×	add-exp-log_binary64_2503
245×	unpow-prod-down_binary64_2885
242×	associate-*l*_binary64_2747
224×	*-un-lft-identity_binary64_3147
223×	add-cbrt-cube_binary64_2501
212×	associate-*r*_binary64_1723
209×	add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_760
205×	*-un-lft-identity_binary64_2124
194×	times-frac_binary64_766
193×	associate-*r*_binary64_1382
188×	*-un-lft-identity_binary64_1101
187×	associate-*r*_binary64_2405
186×	add-exp-log_binary64_116
184×	pow1_binary64_821
183×	add-cube-cbrt_binary64_795
176×	add-cube-cbrt_binary64_2159
174×	add-sqr-sqrt_binary64
169×	add-cube-cbrt_binary64_3182
165×	pow1_binary64
162×	*-un-lft-identity_binary64_3488
156×	sqrt-prod_binary64_3163
155×	associate-/r*_binary64_22
152×	times-frac_binary64_3153 times-frac_binary64_2130
151×	add-exp-log_binary64_2162
141×	associate-/l*_binary64_2410
140×	pow1_binary64_2526
139×	sqrt-prod_binary64_1458
137×	associate-/r/_binary64_1388 *-un-lft-identity_binary64
136×	cube-prod_binary64_2493 unpow-prod-down_binary64_2544
134×	add-sqr-sqrt_binary64_1123 associate-/r/_binary64_2411
128×	distribute-lft-out_binary64_1393
127×	flip-+_binary64_1416 times-frac_binary64_1107 flip3-+_binary64_1445
125×	add-exp-log_binary64_798 sqrt-prod_binary64_776
123×	pow1_binary64_3208
121×	add-exp-log_binary64_2844 add-cbrt-cube_binary64_2160
120×	add-cbrt-cube_binary64 add-exp-log_binary64
119×	add-cube-cbrt_binary64
117×	associate-*r*_binary64_2064
115×	add-log-exp_binary64_2504
114×	add-exp-log_binary64_1821
112×	add-exp-log_binary64_3185 add-cube-cbrt_binary64_3523
109×	pow1_binary64_2185 add-cbrt-cube_binary64_114
108×	pow1_binary64_1503
105×	associate-*l*_binary64_2065 add-cbrt-cube_binary64_1819
104×	add-cube-cbrt_binary64_1136
102×	add-cbrt-cube_binary64_2842 cbrt-prod_binary64_3519
101×	add-exp-log_binary64_3526
98×	sqrt-prod_binary64
97×	add-cbrt-cube_binary64_796
94×	*-un-lft-identity_binary64_5193
93×	associate-/l*_binary64_1387 add-cbrt-cube_binary64_3183 cancel-sign-sub-inv_binary64_2431 pow1_binary64_480
91×	sqrt-prod_binary64_94
90×	pow-prod-down_binary64_149
88×	add-exp-log_binary64_457
87×	sqr-pow_binary64_2778 associate-/r*_binary64_1386 associate-*r*_binary64_3428 add-sqr-sqrt_binary64_3851
85×	associate-*r*_binary64_700
84×	associate-*r*_binary64_3087 prod-exp_binary64_2514
82×	times-frac_binary64_3494 sqrt-prod_binary64_2140
80×	associate-*l*_binary64_701 cbrt-div_binary64_3179
77×	div-exp_binary64_129
76×	associate-*l*_binary64
75×	add-cbrt-cube_binary64_3524
74×	associate-*l*_binary64_1383 pow1_binary64_2867
73×	add-log-exp_binary64_1481 div-exp_binary64_1493 log-pow_binary64_508
72×	sqrt-pow1_binary64_96 difference-of-squares_binary64_1411
70×	associate-*l*_binary64_19 cbrt-div_binary64_3520 frac-times_binary64_1452 associate-*r*_binary64 sqrt-div_binary64
69×	cbrt-undiv_binary64_1476 associate-*r*_binary64_18
68×	associate-*r/_binary64_3089
66×	cbrt-unprod_binary64_2498 cancel-sign-sub-inv_binary64_1749 log-pow_binary64_849
65×	associate-/l/_binary64_1389
64×	cbrt-prod_binary64_5224 unpow-prod-down_binary64_1521 pow1_binary64_3549
63×	associate-*l*_binary64_2406 associate-*l*_binary64_3429
61×	cbrt-unprod_binary64_1475 div-inv_binary64_2462 sqrt-prod_binary64_1117 prod-exp_binary64_1491
60×	add-log-exp_binary64
59×	sqrt-prod_binary64_2481 unpow-prod-down_binary64_839
58×	associate-*r/_binary64_1384
57×	add-sqr-sqrt_binary64_5215 associate-*l*_binary64_3770 add-exp-log_binary64_3867
56×	prod-exp_binary64_2173 add-exp-log_binary64_1139
55×	add-log-exp_binary64_3186 pow-prod-down_binary64
54×	div-inv_binary64_1439 *-un-lft-identity_binary64_3829 pow1_binary64_1844 associate-*l*_binary64_1724
53×	div-exp_binary64_2516
52×	associate-*l*_binary64_3088
51×	*-un-lft-identity_binary64_4170
50×	associate-/l*_binary64_1728 add-cube-cbrt_binary64_3864
49×	*-un-lft-identity_binary64_4511 div-exp_binary64_470 prod-exp_binary64_809
47×	flip-+_binary64_3121 flip3-+_binary64_3150 associate-/r*_binary64_2409 pow-prod-down_binary64_3218 associate-/r*_binary64_363 associate-*r/_binary64_3430
46×	pow-prod-down_binary64_2536 cancel-sign-sub-inv_binary64_3113
45×	prod-exp_binary64_3196 associate-*r/_binary64_20 difference-of-squares_binary64_2434
44×	associate-/r/_binary64_1729 div-inv_binary64_75 add-cbrt-cube_binary64_1137 distribute-lft-out--_binary64_1394 prod-exp_binary64_2855 add-cbrt-cube_binary64_455
43×	div-inv_binary64_416 associate-/l*_binary64_23 unswap-sqr_binary64_728 difference-of-squares_binary64_3116
42×	cbrt-undiv_binary64_2499 add-log-exp_binary64_2163 pow-prod-down_binary64_831
41×	div-inv_binary64_1780 add-log-exp_binary64_1822 cbrt-unprod_binary64_3180
40×	flip-+_binary64 flip3-+_binary64 associate-/r*_binary64_1727 add-log-exp_binary64_2845
39×	cbrt-prod_binary64_1473 cbrt-unprod_binary64_2157 sqrt-div_binary64_1800
38×	pow1_binary64_1162 add-cbrt-cube_binary64_3865 add-log-exp_binary64_799
37×	cbrt-unprod_binary64 prod-exp_binary64
36×	cbrt-div_binary64_5225 cancel-sign-sub-inv_binary64_2772 frac-times_binary64_3157 frac-times_binary64 associate-*r*_binary64_1041 associate-*l/_binary64_1385
35×	associate-/l*_binary64_364 unswap-sqr_binary64_2774 difference-of-squares_binary64_3457 prod-exp_binary64_3537 cbrt-unprod_binary64_793
34×	unpow-prod-down_binary64_1180 cbrt-unprod_binary64_2839 distribute-lft-out_binary64_1052 add-sqr-sqrt_binary64_4533 pow1_binary64_3890 unswap-sqr_binary64_2092 sqrt-pow1_binary64
33×	associate-*r*_binary64_3769 flip-+_binary64_1757 prod-exp_binary64_127 flip3-+_binary64_1786
32×	add-sqr-sqrt_binary64_4192 cbrt-prod_binary64_791 associate-*r/_binary64_4453 associate-/r*_binary64_3091 flip3-+_binary64_1104 flip-+_binary64_1075
31×	add-log-exp_binary64_5232 associate-*r/_binary64_2066
30×	flip3--_binary64_1446 cancel-sign-sub-inv_binary64_2090 add-log-exp_binary64_1140 cbrt-div_binary64_1133 add-cube-cbrt_binary64_5228 pow-prod-down_binary64_2195 flip--_binary64_1417
29×	associate--l+_binary64_1720 associate-/r*_binary64_1045 pow1_binary64_5254 pow1_binary64_4572 cbrt-undiv_binary64_112
28×	distribute-lft-in_binary64_1732 div-exp_binary64_1834 distribute-rgt-in_binary64_1733 distribute-lft-out--_binary64_2417 cbrt-prod_binary64_2496 pow-unpow_binary64_837 log-prod_binary64_846
27×	add-log-exp_binary64_3527 unswap-sqr_binary64_1410 add-log-exp_binary64_117 cbrt-unprod_binary64_3521
26×	unswap-sqr_binary64_1751 flip--_binary64_3463 prod-exp_binary64_3878 cbrt-undiv_binary64_1817 prod-exp_binary64_1832 swap-sqr_binary64_1750 flip3--_binary64_3492 cbrt-prod_binary64_3178 unswap-sqr_binary64_46
25×	flip--_binary64_3122 cbrt-prod_binary64_1132 pow1/2_binary64 flip3--_binary64_3151 associate-*r*_binary64_4451 unswap-sqr_binary64_3115 cbrt-prod_binary64_3860
24×	associate-*l/_binary64_5136 distribute-lft-out--_binary64_5145 rec-exp_binary64_128 add-cube-cbrt_binary64_4546 sum-log_binary64_2556 1-exp_binary64_122 sqrt-pow1_binary64_778
23×	distribute-lft-out--_binary64_3099 sqrt-div_binary64_95 distribute-lft-out_binary64_1734 flip3-+_binary64_3491 pow-prod-down_binary64_2877 flip-+_binary64_3462
22×	cbrt-unprod_binary64_1816 associate-/r/_binary64_3434 add-exp-log_binary64_4549
21×	clear-num_binary64_1441 frac-2neg_binary64_1453 flip3-+_binary64_4514 frac-times_binary64_3498 pow1_binary64_4231 div-exp_binary64_2857 flip-+_binary64_4485 sqrt-prod_binary64_4527 cbrt-unprod_binary64_111 add-cbrt-cube_binary64_4206 *-commutative_binary64 flip--_binary64_5168 add-exp-log_binary64_4208 flip3--_binary64_5197
20×	unswap-sqr_binary64_3456 distribute-rgt-in_binary64_2074 add-cube-cbrt_binary64_4205 associate-/l/_binary64_2412 pow-prod-down_binary64_1513 distribute-lft-in_binary64_2414 distribute-lft-in_binary64_2073 pow1/2_binary64_158 sqrt-div_binary64_777 distribute-rgt-in_binary64_2415 add-cbrt-cube_binary64_4547 sqrt-div_binary64_1459 sqrt-div_binary64_2141 unpow-prod-down_binary64_1862
19×	associate-*l*_binary64_5134 pow1/3_binary64_3570 swap-sqr_binary64_5160 *-commutative_binary64_2055 distribute-lft-out--_binary64_3440 add-exp-log_binary64_5231 associate-*l/_binary64_3090
18×	associate-/r*_binary64_704 associate-*r/_binary64 unswap-sqr_binary64_3797 pow1/3_binary64_5275 distribute-lft-out_binary64_4462 add-log-exp_binary64_4550 pow1/2_binary64_840 sqrt-div_binary64_3164 cbrt-div_binary64_4543 associate-/l*_binary64_1046 sqrt-div_binary64_3505 unswap-sqr_binary64 sqrt-div_binary64_4528
17×	sqrt-prod_binary64_3504 add-log-exp_binary64_4209 div-inv_binary64_2803 sub-neg_binary64_2458 associate-/l*_binary64_705 associate-/r*_binary64_2068 associate-*l/_binary64_3431 frac-sub_binary64_1792 cbrt-prod_binary64_2155 cbrt-undiv_binary64_453 pow-prod-up_binary64_148 associate-*r/_binary64_1725
16×	pow-prod-down_binary64_3559 add-log-exp_binary64_458 associate-*l/_binary64_2749 flip3--_binary64 flip3-+_binary64_2127 flip--_binary64 flip-+_binary64_2098 sqr-pow_binary64_732 frac-times_binary64_1111 add-log-exp_binary64_3868 associate--l+_binary64_2402 associate-*r*_binary64_4110 associate-*r*_binary64_5133 associate-*r*_binary64_359
15×	cbrt-prod_binary64 unswap-sqr_binary64_2433 diff-log_binary64_2557 distribute-rgt-in_binary64_710 cube-prod_binary64_788 rem-sqrt-square_binary64 cancel-sign-sub-inv_binary64_3454 distribute-rgt-in_binary64_3097 frac-add_binary64_1791 *-commutative_binary64_2396 distribute-lft-in_binary64_709 unpow-prod-down_binary64_3908 distribute-lft-in_binary64_3096 add-cbrt-cube_binary64_5229
14×	1-exp_binary64_463 swap-sqr_binary64_3455 difference-of-sqr-1_binary64_1412 rec-exp_binary64_469 unpow-prod-down_binary64_2203 flip-+_binary64_52 cbrt-unprod_binary64_3862 div-inv_binary64_2121 div-exp_binary64_811 sqrt-div_binary64_1118 unpow-prod-down_binary64_3567 associate--l+_binary64_3084 associate-*l*_binary64_4111 flip3-+_binary64_81 associate-/r*_binary64_3432
13×	*-commutative_binary64_1373 div-exp_binary64_2175 pow-exp_binary64_2533 cbrt-undiv_binary64_2840 associate-+l+_binary64_2398 distribute-lft-out_binary64_5144 flip-+_binary64_2780 associate-/l*_binary64_3092 flip3-+_binary64_2809 *-commutative_binary64_3078 distribute-lft-out_binary64_2757
12×	clear-num_binary64_2464 *-commutative_binary64_3419 cbrt-undiv_binary64_3522 pow-pow_binary64_2878 associate-/r/_binary64_3093 cube-prod_binary64_1811 flip--_binary64_735 distribute-lft-out_binary64_4121 clear-num_binary64_77 flip3--_binary64_764 associate-*l/_binary64 log-pow_binary64_2213 frac-2neg_binary64_2476 frac-2neg_binary64_89 div-exp_binary64_1152 div-exp_binary64_3539 flip3--_binary64_1787 associate-*l/_binary64_1044 difference-of-squares_binary64_1070 flip--_binary64_1758
11×	cancel-sign-sub-inv_binary64_3795 frac-times_binary64_1793 cbrt-undiv_binary64_2158 pow1/3_binary64_1524 log-prod_binary64_2210 flip3--_binary64_2128 pow-sqr_binary64_51 associate-/l/_binary64_1730 frac-times_binary64_2134 associate-*l*_binary64_4452 div-inv_binary64_1098 *-commutative_binary64_691 flip--_binary64_2099 swap-sqr_binary64_2432
10×	sqr-pow_binary64_2437 flip3-+_binary64_4173 distribute-lft-out--_binary64_2076 exp-prod_binary64_2858 *-commutative_binary64_3760 sub-neg_binary64_3140 difference-of-squares_binary64_2093 associate-/l*_binary64_2069 prod-exp_binary64_1150 distribute-rgt-in_binary64_3438 associate-/r/_binary64_1047 flip-+_binary64_4144 *-commutative_binary64_2737 difference-of-squares_binary64_1752 distribute-lft-in_binary64_3437 unpow2_binary64_825 cbrt-undiv_binary64_1135
9×	pow-prod-up_binary64_830 exp-diff_binary64_1831 associate-*r/_binary64_702 *-commutative_binary64_9 distribute-rgt-neg-in_binary64_718 flip3-+_binary64_763 pow1/3_binary64_4593 swap-sqr_binary64_727 pow-unpow_binary64_2883 flip-+_binary64_734 distribute-lft-out_binary64_711 clear-num_binary64_1782 swap-sqr_binary64_1409 sqr-pow_binary64_2096 frac-2neg_binary64_1794 cube-prod_binary64_2834 pow-prod-down_binary64_3900 pow-unpow_binary64_2542 log-div_binary64_1870 distribute-lft-neg-in_binary64_717 pow1/3_binary64_3911 cbrt-undiv_binary64_794 sqrt-pow1_binary64_3165
8×	sqrt-pow1_binary64_2483 cbrt-unprod_binary64_1134 pow-exp_binary64_828 distribute-lft-out--_binary64_1735 associate-/l*_binary64_3433 sqrt-div_binary64_2482 frac-times_binary64_5203 distribute-rgt-in_binary64_3779 distribute-lft-out--_binary64_1053 associate-*l/_binary64_1726 difference-of-squares_binary64_5162 associate-*l/_binary64_2067 frac-times_binary64_4521 cube-prod_binary64_3175 associate-/l*_binary64_2751 sqr-pow_binary64_1755 pow-flip_binary64_152 associate-*r/_binary64_4112 div-inv_binary64_757 unpow-prod-down_binary64_3226 unpow3_binary64_2531 +-commutative_binary64_2395 sqrt-pow1_binary64_2142 pow-exp_binary64_2192 distribute-lft-in_binary64_3778 distribute-lft-neg-in_binary64 *-commutative_binary64_1714 cube-mult_binary64_2495 distribute-rgt-neg-in_binary64 associate-*r/_binary64_3771 pow-prod-down_binary64_1854 associate-/r/_binary64_24 pow-to-exp_binary64_829
7×	distribute-rgt-out_binary64_3100 cbrt-prod_binary64_4542 diff-log_binary64_5285 diff-log_binary64_3239 rem-sqrt-square_binary64_773 frac-2neg_binary64_430 pow-exp_binary64_2874 distribute-lft-out_binary64 cancel-sign-sub-inv_binary64 cosh-undef_binary64_954 pow-sqr_binary64_733 distribute-rgt1-in_binary64_3103 pow1/3_binary64_3229 cube-prod_binary64_3857 sqrt-prod_binary64_435 cube-div_binary64_2494 pow-prod-down_binary64_4582 sqr-pow_binary64_3801 pow-to-exp_binary64_2875 clear-num_binary64_418 pow-to-exp_binary64_2534
6×	associate-+r+_binary64_2397 flip--_binary64_2781 pow-flip_binary64_1175 distribute-lft-out_binary64_2075 pow1/2_binary64_3227 swap-sqr_binary64_4137 associate-/l/_binary64_1048 exp-prod_binary64_812 swap-sqr_binary64_3114 unswap-sqr_binary64_5161 pow1/2_binary64_2204 cbrt-unprod_binary64_4544 times-frac_binary64_4176 cbrt-prod_binary64_2837 sub-neg_binary64_1776 pow1/2_binary64_1522 frac-2neg_binary64_1112 div-sub_binary64_1447 div-exp_binary64_3198 flip3--_binary64_2810 pow-prod-up_binary64_3217 frac-times_binary64_2816 clear-num_binary64_1100 inv-pow_binary64_163 pow-to-exp_binary64_2193 frac-times_binary64_88 div-inv_binary64_3144 cube-div_binary64_789 swap-sqr_binary64_3796 sum-log_binary64_3238 rem-sqrt-square_binary64_1455 sqrt-pow1_binary64_1460 cbrt-undiv_binary64_3181 prod-exp_binary64_4560 associate-/r*_binary64_4114
5×	rem-sqrt-square_binary64_1114 associate-*r/_binary64_2748 pow-plus_binary64_3210 sub-neg_binary64_3481 sub-neg_binary64_3822 unpow-prod-down_binary64 sum-log_binary64_1874 pow-exp_binary64_3897 pow1/2_binary64_2886 cbrt-unprod_binary64_4203 rem-cube-cbrt_binary64_2488 pow1/2_binary64_1181 sqrt-pow1_binary64_2824 pow1/2_binary64_2545 div-inv_binary64_3485 rem-sqrt-square_binary64_2819 distribute-rgt-in_binary64_4120 frac-times_binary64_770 sqrt-pow1_binary64_1119 +-commutative_binary64_1031 +-commutative_binary64_1372 distribute-lft-out_binary64_3439 distribute-lft-in_binary64_4119 prod-exp_binary64_4219 sum-log_binary64_1192 pow-to-exp_binary64_3898 pow-prod-down_binary64_5264 associate-*r/_binary64_1043 sum-log_binary64_1533
4×	pow-to-exp_binary64_3557 associate-*l/_binary64_703 pow-sqr_binary64_3461 frac-times_binary64_4180 pow-sqr_binary64_5166 pow-sqr_binary64_3120 frac-2neg_binary64_771 unpow-prod-down_binary64_157 associate-*r/_binary64_5135 difference-of-sqr-1_binary64_2435 cbrt-div_binary64_792 pow-exp_binary64_3556 sub-neg_binary64_1435 distribute-lft-out--_binary64_4122 sqrt-unprod_binary64 sub-neg_binary64_5186 sum-log_binary64_4602 associate-*l/_binary64_4113 frac-2neg_binary64_3158 unswap-sqr_binary64_4479 swap-sqr_binary64_45 associate-/l/_binary64_2753 pow-flip_binary64_493 pow-prod-down_binary64_4241 clear-num_binary64_759 associate-/r/_binary64_2070 log-prod_binary64_1869 difference-of-squares_binary64_4139 sum-log_binary64_5284 exp-prod_binary64_1835 rec-exp_binary64_2515 diff-log_binary64_1534 inv-pow_binary64_504 frac-add_binary64_3155 prod-exp_binary64_468 pow-prod-up_binary64_3558 rem-sqrt-square_binary64_2137 distribute-rgt-in_binary64 +-commutative_binary64_1713 clear-num_binary64_2123 frac-sub_binary64_3156 clear-num_binary64_3146 pow-flip_binary64_2198 cancel-sign-sub-inv_binary64_1408 distribute-rgt-in_binary64_1392 log-pow_binary64 sqr-pow_binary64_3460 associate-/l/_binary64_3435 unswap-sqr_binary64_4138 pow-prod-down_binary64_1172 cancel-sign-sub-inv_binary64_5159 exp-sum_binary64_1829 flip--_binary64_4145 1-exp_binary64_2509 *-commutative_binary64_4442 sqr-pow_binary64_3119 pow-prod-up_binary64_5263 associate-*l/_binary64_4454 swap-sqr_binary64_4478 sum-log_binary64_2215 flip3--_binary64_4174 associate--r+_binary64_2060 distribute-lft-in_binary64_1391 frac-2neg_binary64_2135 associate-+r+_binary64_3079 sum-log_binary64_4261 sqrt-div_binary64_436 rem-sqrt-square_binary64_3160 *-commutative_binary64_4101 unpow3_binary64_1849 distribute-lft-in_binary64 associate--l-_binary64_2403 associate-*l/_binary64_21 frac-add_binary64_2814 cube-mult_binary64_1813
3×	frac-2neg_binary64_3499 cube-mult_binary64_2836 sub-neg_binary64 prod-exp_binary64_5242 pow-unpow_binary64_2201 frac-add_binary64_1450 pow-pow_binary64_2537 diff-log_binary64_852 cancel-sign-sub-inv_binary64_726 clear-num_binary64_3487 unpow3_binary64_826 neg-mul-1_binary64_756 cube-prod_binary64 pow-sqr_binary64_1415 rem-sqrt-square_binary64_1796 sub-neg_binary64_753 exp-sum_binary64_2511 flip--_binary64_3804 pow-plus_binary64_823 cancel-sign-sub-inv_binary64_4136 sub-neg_binary64_4163 pow-sub_binary64_2541 cbrt-unprod_binary64_5226 pow1/3_binary64_1183 diff-log_binary64_1875 *-commutative_binary64_5124 pow-exp_binary64_1851 pow-unpow_binary64_3565 1-exp_binary64_804 distribute-lft-in_binary64_27 associate--l+_binary64_2061 unswap-sqr_binary64_387 difference-of-squares_binary64 cancel-sign-sub-inv_binary64_385 cube-mult_binary64_790 cube-prod_binary64_3516 cos-sum_binary64 unpow3_binary64_2872 +-commutative_binary64_3077 pow-to-exp_binary64_1852 flip3--_binary64_3833 sub-neg_binary64_2117 unswap-sqr_binary64_1069 pow2_binary64_3228 pow-prod-up_binary64_1512 div-sub_binary64_765 pow-unpow_binary64_1519 rec-exp_binary64_810 distribute-rgt-in_binary64_28 sub-neg_binary64_2799 flip3-+_binary64_422 flip-+_binary64_393 diff-log_binary64_2898 associate-*l*_binary64_360
2×	sqrt-pow1_binary64_1801 difference-of-squares_binary64_388 cbrt-div_binary64_2497 neg-mul-1_binary64 pow-to-exp_binary64_3216 associate-/r/_binary64_365 sqr-pow_binary64_50 unpow3_binary64_3213 distribute-lft-out_binary64_29 pow-pow_binary64_832 associate-/r/_binary64_706 pow1/3_binary64_2888 +-commutative_binary64_4441 cbrt-undiv_binary64_4204 pow-plus_binary64_1846 associate--r+_binary64_3083 associate-/r/_binary64_4116 pow2_binary64_1864 +-commutative_binary64_4100 rem-sqrt-square_binary64_4524 clear-num_binary64_2805 distribute-lft-out--_binary64 pow1/2_binary64_1863 pow-plus_binary64_1505 sum-log_binary64_851 pow1/3_binary64_2206 sum-log_binary64_2897 unpow2_binary64_1507 sqrt-pow1_binary64_437 flip-+_binary64_5167 pow2_binary64_3569 rec-exp_binary64_1151 pow-prod-up_binary64_1853 log-div_binary64_847 pow1/2_binary64_3568 sum-log_binary64 pow-prod-up_binary64_4581 pow2_binary64_1523 difference-of-squares_binary64_3798 associate-/l/_binary64_4117 +-commutative_binary64_690 pow1/2_binary64_4591 pow1/2_binary64_499 div-sub_binary64_83 pow-plus_binary64_3551 cube-mult_binary64_3177 div-sub_binary64_1788 pow-prod-up_binary64_3899 unpow3_binary64_3895 frac-2neg_binary64_2817 sqrt-pow1_binary64_3506 +-commutative_binary64_2054 pow-pow_binary64_2196 associate-/l/_binary64_2071 cube-mult_binary64_3859 1-exp_binary64_1486 pow-pow_binary64_3560 div-exp_binary64_4221 pow-sqr_binary64_4484 distribute-lft-out--_binary64_3781 +-commutative_binary64 rem-sqrt-square_binary64_432 associate--r+_binary64_4106 cbrt-unprod_binary64_452 associate-/l/_binary64_3094 1-exp_binary64_1145 pow-exp_binary64_3215 associate-+l-_binary64_5128 div-sub_binary64_3152 log-div_binary64_165 rec-exp_binary64_2174 pow-plus_binary64_5256 associate-/r*_binary64_2750 flip3-+_binary64_3832 rec-exp_binary64_1492 flip-+_binary64_3803 1-exp_binary64_2168 rem-sqrt-square_binary64_2478 pow2_binary64_841 pow-sqr_binary64_3802 sqrt-pow1_binary64_4529 associate-/l/_binary64_707 +-commutative_binary64_2736 pow1/3_binary64 pow-sqr_binary64_1756 distribute-rgt-in_binary64_2756 rem-sqrt-square_binary64_3501 sqr-pow_binary64_1414 distribute-lft-in_binary64_2755 associate-+l+_binary64_5126 pow2_binary64_5274 flip3-+_binary64_5196 associate-+l+_binary64_3080
1×	flip--_binary64_394 *-commutative_binary64_350 rem-cube-cbrt_binary64_783 *-commutative_binary64_1032 sum-log_binary64_510 diff-log_binary64_4262 sum-log_binary64_169 sqr-abs_binary64_775 associate-*l*_binary64_1042 cube-mult_binary64 cosh-undef_binary64_272 associate-+r+_binary64_2056 pow2_binary64_159 associate-+l+_binary64_4103 distribute-lft-out--_binary64_371 pow-prod-up_binary64_4240 associate-/l/_binary64_366 pow-plus_binary64_4233 rem-square-sqrt_binary64_90 associate-/l*_binary64_4115 pow-to-exp_binary64_1511 div-inv_binary64_4167 exp-to-pow_binary64_2868 pow1/3_binary64_842 distribute-rgt-out_binary64_1395 +-commutative_binary64_8 sqrt-unprod_binary64_98 distribute-lft-out_binary64_3098 inv-pow_binary64_2550 pow-prod-down_binary64_490 rem-exp-log_binary64_2846 remove-double-div_binary64_54 sin-sum_binary64 un-div-inv_binary64_417 associate-+r-_binary64_3081 distribute-lft-in_binary64_4460 diff-log_binary64_3921 +-commutative_binary64_5123 pow-plus_binary64_1164 pow-plus_binary64_2528 pow-pow_binary64_1514 pow-flip_binary64_2539 pow-exp_binary64_1510 pow-plus_binary64_141 flip3--_binary64_1105 diff-log_binary64 frac-2neg_binary64_4181 log-pow_binary64_1872 diff-log_binary64_511 rem-sqrt-square_binary64_91 sqrt-unprod_binary64_780 pow1/3_binary64_2547 associate-+l+_binary64_4444 flip--_binary64_1076 associate-+l-_binary64_1718 pow-sqr_binary64_2438 unpow2_binary64_2871 sub-div_binary64_1790 unpow3_binary64_3554 unpow3_binary64 associate-*r/_binary64_361 sqr-pow_binary64 rem-log-exp_binary64_2165 div-sub_binary64_3493 rem-square-sqrt_binary64_772 sqrt-undiv_binary64_3168 flip3--_binary64_423 pow2_binary64_2546 rem-cbrt-cube_binary64 diff-log_binary64_3580 inv-pow_binary64_2209 cosh-def_binary64_946 pow-exp_binary64_146 pow2_binary64_1182 pow2_binary64_4251 associate--l+_binary64_5130 associate--l-_binary64_5131 diff-log_binary64_2216 pow2_binary64_3910 pow-prod-up_binary64_2535 +-commutative_binary64_349 pow-to-exp_binary64_147 rem-cbrt-cube_binary64_2489 pow-plus_binary64_4574 difference-of-squares_binary64_2775 rem-cbrt-cube_binary64_784 pow-sqr_binary64_1074 pow-plus_binary64_3892 cube-mult_binary64_3518 distribute-rgt-out--_binary64_5147 rem-exp-log_binary64_1823 inv-pow_binary64_1527 clear-num_binary64_4169 pow-flip_binary64_1516 distribute-rgt-in_binary64_4461 pow2_binary64_4592 associate--r-_binary64_3086 pow-sqr_binary64_4143 pow-prod-up_binary64_1171 sub-neg_binary64_412 inv-pow_binary64_1186

Counts

437 → 14678

Calls

325 calls:

144.0ms	(*.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (sqrt.f64 PI.f64))) (sqrt.f64 (fabs.f64 x))))
95.0ms	(*.f64 (/.f64 1 (+.f64 2 (+.f64 beta alpha))) (/.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 beta alpha) (+.f64 beta alpha))) (+.f64 2 (+.f64 beta alpha))) (+.f64 alpha (+.f64 beta 3))))
92.0ms	(*.f64 x (/.f64 (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 8) 583843369866023/1152921504606846976) (+.f64 (*.f64 (pow.f64 x 6) 8375303961237363/1152921504606846976) (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 3782789308857969/36028797018963968)) (*.f64 (pow.f64 x 4) 763919671262763/18014398509481984)))) (*.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))))) (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))))))
88.0ms	(*.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -6544414927309881/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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -6544414927309881/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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x))))))
82.0ms	(+.f64 (*.f64 (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3)) (-.f64 4 (*.f64 z z)))) (*.f64 (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)) (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (*.f64 (+.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 z 2))))

Compiler

Compiled 686196 to 405034 computations (41% saved)