rewrite52.1s (7.4%)

Algorithm

151×	rewrite-expression-head

Rules

2656×	*-un-lft-identity_binary64_2124
1540×	times-frac_binary64_2130
1449×	times-frac_binary64_1789
1335×	*-un-lft-identity_binary64_1783
1272×	times-frac_binary64_2471
1114×	distribute-lft-out_binary64_2075
1087×	add-sqr-sqrt_binary64_1805
1071×	times-frac_binary64_1448
1068×	sqrt-prod_binary64_1458
1059×	add-sqr-sqrt_binary64_2487
1048×	*-un-lft-identity_binary64_1442
962×	*-un-lft-identity_binary64_2465
794×	add-sqr-sqrt_binary64_2146
734×	add-cube-cbrt_binary64_1818
676×	add-cube-cbrt_binary64_2500
649×	add-cube-cbrt_binary64_2159
625×	add-sqr-sqrt_binary64_1464
553×	add-cube-cbrt_binary64_1477
512×	associate-*r*_binary64_2064
496×	sqrt-prod_binary64_2481
417×	times-frac_binary64_84
397×	add-exp-log_binary64_1821
381×	add-cbrt-cube_binary64_1819
361×	times-frac_binary64_425
356×	add-sqr-sqrt_binary64_100
351×	sqrt-prod_binary64_1799
295×	*-un-lft-identity_binary64_78
292×	add-sqr-sqrt_binary64_441
290×	*-un-lft-identity_binary64_1101
281×	add-cube-cbrt_binary64_113
274×	associate-*r*_binary64_1723
270×	sqrt-prod_binary64_2140
269×	times-frac_binary64_766
255×	add-sqr-sqrt_binary64_782
251×	*-un-lft-identity_binary64_419
248×	add-cube-cbrt_binary64_454
232×	distribute-lft-out_binary64_1393
231×	cancel-sign-sub-inv_binary64_2431
229×	associate-*l*_binary64_2406
223×	pow1_binary64_480
215×	add-sqr-sqrt_binary64_1123
214×	associate-*l*_binary64_1724
211×	sqrt-prod_binary64_776
203×	add-exp-log_binary64_2162
190×	distribute-lft-out_binary64_1734
189×	add-cbrt-cube_binary64_2160 add-sqr-sqrt_binary64_3510
178×	unpow-prod-down_binary64_1521
177×	add-cube-cbrt_binary64_795 *-un-lft-identity_binary64_760 *-un-lft-identity_binary64_3147
174×	times-frac_binary64_1107 log-pow_binary64_508
172×	add-cube-cbrt_binary64_1136
167×	associate-/r/_binary64_1729
164×	pow1_binary64_3208 add-sqr-sqrt_binary64_3169
158×	difference-of-squares_binary64_2434
156×	pow1_binary64_1844
155×	add-sqr-sqrt_binary64
154×	add-exp-log_binary64_3185
150×	*-un-lft-identity_binary64_3488
145×	add-cbrt-cube_binary64_3183 difference-of-squares_binary64_1752
143×	pow1_binary64
142×	flip-+_binary64_1757 flip3-+_binary64_1786
138×	swap-sqr_binary64_2091
135×	*-un-lft-identity_binary64_4170
133×	pow1_binary64_139 add-exp-log_binary64_116
132×	sqrt-prod_binary64_435
126×	add-exp-log_binary64_2503
123×	prod-exp_binary64_1832
118×	div-exp_binary64_1834 add-cube-cbrt_binary64_3182
117×	distribute-lft-out--_binary64_1735
116×	*-un-lft-identity_binary64
115×	cbrt-unprod_binary64_1816
114×	add-cbrt-cube_binary64_2501
113×	cbrt-undiv_binary64_1817 add-exp-log_binary64_1480
112×	add-cube-cbrt_binary64 distribute-lft-out--_binary64_2417
110×	associate-*l*_binary64_701
109×	pow1_binary64_821
108×	associate-/r/_binary64_2070 add-cube-cbrt_binary64_3523
107×	pow1_binary64_2526
105×	add-cbrt-cube_binary64_1478 associate-*r/_binary64_1725
102×	add-cbrt-cube_binary64 add-exp-log_binary64
96×	associate-/l*_binary64_1728 add-exp-log_binary64_3526
95×	add-cbrt-cube_binary64_114
91×	pow1_binary64_2185 flip3-+_binary64_2127 flip-+_binary64_2098
89×	log-pow_binary64_849
88×	add-sqr-sqrt_binary64_2828
87×	add-log-exp_binary64_1822 associate-/r*_binary64_1727
86×	associate-*r*_binary64_3087 associate-*l*_binary64_2065
83×	unpow-prod-down_binary64_2544 add-exp-log_binary64_457 associate-*l*_binary64_3088
82×	add-sqr-sqrt_binary64_4192 sqrt-prod_binary64_94
81×	unpow-prod-down_binary64_1180 add-cbrt-cube_binary64_455
80×	associate-*l*_binary64_19 associate-*r/_binary64_3089
79×	add-cbrt-cube_binary64_3524 associate-*l*_binary64_3429
78×	pow1_binary64_3549 pow1_binary64_1162
77×	add-log-exp_binary64_2504 sqrt-prod_binary64_1117
76×	associate-*r*_binary64_18 log-pow_binary64_167
75×	sqrt-prod_binary64 add-exp-log_binary64_1139
74×	associate-/l*_binary64_1387 div-inv_binary64_1780
73×	associate-*r*_binary64_1382
70×	associate-/l*_binary64_2069 cbrt-prod_binary64_3178 sqrt-div_binary64_1459
69×	pow-prod-down_binary64_3218
68×	prod-exp_binary64_3196 add-cbrt-cube_binary64_1137 cbrt-unprod_binary64_3180
67×	flip-+_binary64_3121 frac-times_binary64_1793 flip3-+_binary64_3150 associate-*r*_binary64_359
66×	associate-/r/_binary64_1388
65×	associate-*r*_binary64_700 pow1_binary64_1503
64×	associate-/r*_binary64_22
63×	associate-/r*_binary64_2068 add-exp-log_binary64_2844 associate-*r*_binary64_2405 associate-*l*_binary64
62×	add-log-exp_binary64_1140 cbrt-prod_binary64_450
61×	associate-*l*_binary64_360
60×	flip3-+_binary64_2468 flip-+_binary64_2439 cbrt-div_binary64_3179
59×	add-log-exp_binary64_3527 associate-/r*_binary64_1386 associate-*r*_binary64
57×	distribute-lft-out_binary64_1052
56×	unpow-prod-down_binary64_498 div-exp_binary64_2175 flip-+_binary64_1416 cube-prod_binary64_447 flip3-+_binary64_1445
55×	add-exp-log_binary64_798 add-log-exp_binary64 associate-*l/_binary64_1726
54×	*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_4205 unpow-prod-down_binary64_2203 associate-/r*_binary64_2409
52×	div-inv_binary64_2121 sqrt-div_binary64_1118 add-log-exp_binary64_3186 frac-add_binary64_1791 associate-*l/_binary64_3090 difference-of-sqr-1_binary64_1753
51×	prod-exp_binary64_2173 cbrt-undiv_binary64_2158 distribute-rgt-in_binary64_3097 distribute-lft-in_binary64_3096
50×	associate-*r*_binary64_2746 add-cbrt-cube_binary64_796 associate-*r*_binary64_3428 associate-*r*_binary64_4110 add-cube-cbrt_binary64_2841
48×	add-log-exp_binary64_1481 pow1_binary64_4231 pow-prod-down_binary64 cbrt-prod_binary64_3519
47×	cbrt-unprod_binary64_2157
46×	add-log-exp_binary64_2163 log-pow_binary64_1531
44×	prod-exp_binary64_2514 frac-times_binary64_3157
43×	unswap-sqr_binary64_1751
42×	sqrt-pow1_binary64_437 associate-*l*_binary64_2747 flip-+_binary64_1075 flip3-+_binary64_1104
41×	cancel-sign-sub-inv_binary64_2090 add-cbrt-cube_binary64_2842 add-exp-log_binary64_4208
40×	frac-times_binary64_2475 pow-prod-down_binary64_1854
39×	div-inv_binary64_1439 sqrt-div_binary64_1800 pow1/2_binary64_499 add-cbrt-cube_binary64_4206 div-exp_binary64_129
38×	times-frac_binary64_3494 cube-prod_binary64_2152 cancel-sign-sub-inv_binary64_3454
37×	prod-exp_binary64_3537 associate-*l/_binary64_2067 add-sqr-sqrt_binary64_3851
36×	pow-pow_binary64_2537 associate-/r*_binary64_1045 frac-times_binary64_2134 cbrt-prod_binary64_109 associate-/r*_binary64_363 add-log-exp_binary64_458
35×	cancel-sign-sub-inv_binary64_3113 pow1_binary64_2867
34×	*-un-lft-identity_binary64_3829 div-inv_binary64_2462 prod-exp_binary64_127
33×	add-log-exp_binary64_4209 distribute-lft-out_binary64_4121 exp-prod_binary64_1494 cbrt-prod_binary64_4201 unswap-sqr_binary64_2092
32×	div-exp_binary64_1493 distribute-lft-out_binary64_2416 associate-/l*_binary64_23 frac-add_binary64_2473 associate-*r/_binary64_2407
31×	associate-/r/_binary64_2411 sqrt-pow1_binary64 sqrt-pow1_binary64_1460
30×	cbrt-unprod_binary64 associate-/l*_binary64_2410 cbrt-undiv_binary64_1476 flip3--_binary64_1787 prod-exp_binary64 flip--_binary64_1758 prod-exp_binary64_2855
29×	sqr-pow_binary64_2437 cbrt-unprod_binary64_3521
28×	add-exp-log_binary64_3867 exp-prod_binary64_2517 associate-/l/_binary64_1389 add-cbrt-cube_binary64_3865 unswap-sqr_binary64_46
27×	associate-*l/_binary64_2408 distribute-lft-out_binary64_3098 log-prod_binary64_2210 add-log-exp_binary64_117 distribute-rgt-in_binary64_3438 log-prod_binary64_846 distribute-lft-in_binary64_3437 difference-of-squares_binary64_1411
26×	unswap-sqr_binary64_3456 pow-prod-down_binary64_490 pow-prod-down_binary64_3559 associate-*l*_binary64_4111
25×	sqrt-prod_binary64_4186 associate-/l*_binary64_364 cbrt-prod_binary64_2837 unpow-prod-down_binary64_3567 associate-/l/_binary64_2071 pow-unpow_binary64_2542 pow-unpow_binary64_837
24×	cbrt-unprod_binary64_2498 add-cube-cbrt_binary64_3864 div-inv_binary64_75 add-log-exp_binary64_3868 log-prod_binary64_1528 unswap-sqr_binary64_728 *-commutative_binary64_3078
23×	distribute-lft-out--_binary64_1394 associate-/r/_binary64_1047 *-commutative_binary64_1714 associate-/l/_binary64_1730
22×	associate-*r/_binary64_2066 pow1/2_binary64 associate-*r/_binary64_4112 cbrt-unprod_binary64_111 cbrt-undiv_binary64_112
21×	flip3--_binary64_2469 flip--_binary64_2440 pow1/3_binary64_3229 frac-sub_binary64_1792 sqrt-pow1_binary64_1119 div-exp_binary64_2516 times-frac_binary64
20×	unswap-sqr_binary64_2433 cancel-sign-sub-inv_binary64_4136 prod-exp_binary64_468 frac-sub_binary64_3156 sqrt-div_binary64 cbrt-unprod_binary64_452 unswap-sqr_binary64_3115 associate-*r/_binary64_3430
19×	flip--_binary64_3122 unswap-sqr_binary64_2774 flip3--_binary64_3151 distribute-lft-out--_binary64_4122 associate-*r*_binary64_1041 unpow-prod-down_binary64_2885
18×	sqrt-pow1_binary64_2483 flip3-+_binary64_4173 associate-/r*_binary64_704 flip-+_binary64_4144 pow-pow_binary64_1173 sqrt-div_binary64_2482 swap-sqr_binary64_3114 associate-*l*_binary64_1042 pow1_binary64_3890 exp-prod_binary64_1153 sqrt-div_binary64_4187 *-commutative_binary64
17×	div-inv_binary64_416 cbrt-undiv_binary64_2499 associate-/l*_binary64_1046 sqrt-div_binary64_436
16×	distribute-neg-frac_binary64_2429 associate-*r*_binary64_3769 cbrt-unprod_binary64_2839 difference-of-squares_binary64_3457 log-pow_binary64_2213 pow1/2_binary64_1181 flip3-+_binary64_3491 swap-sqr_binary64_1750 sqr-pow_binary64_2096 sqrt-div_binary64_777 unswap-sqr_binary64_387 prod-exp_binary64_1491 unswap-sqr_binary64 associate--l+_binary64_3084 add-log-exp_binary64_2845 frac-sub_binary64_2474 flip-+_binary64_3462
15×	*-commutative_binary64_3419 sub-neg_binary64_3140 cancel-sign-sub-inv_binary64_2772 clear-num_binary64_1782 pow-prod-down_binary64_149 pow-prod-down_binary64_2536 frac-2neg_binary64_1794 sum-log_binary64_1874
14×	sub-neg_binary64_3481 cbrt-unprod_binary64_1475 unpow-prod-down_binary64 pow-exp_binary64_2533 associate-/l*_binary64_705 frac-times_binary64_1452 log-prod_binary64_1187 pow-prod-down_binary64_2195 pow-to-exp_binary64_2534
13×	flip-+_binary64 clear-num_binary64_2123 difference-of-squares_binary64_1070 flip3-+_binary64 prod-exp_binary64_809 sqr-pow_binary64_1073 distribute-rgt-in_binary64_4120 distribute-lft-in_binary64_4119 add-log-exp_binary64_799 frac-2neg_binary64_2135 cbrt-unprod_binary64_793
12×	pow-unpow_binary64_1178 clear-num_binary64_1441 frac-2neg_binary64_1453 flip3--_binary64_1446 pow-prod-down_binary64_4241 pow1/3_binary64_3570 associate-*l*_binary64_1383 div-exp_binary64_1152 associate-*l*_binary64_3770 pow1/2_binary64_2545 *-commutative_binary64_2055 cube-prod_binary64_3516 associate-*l/_binary64_1385 associate-*r/_binary64_3771 associate--l+_binary64_2743 flip--_binary64_1417 unpow-prod-down_binary64_1862 swap-sqr_binary64_2432 unpow-prod-down_binary64_839
11×	difference-of-squares_binary64_2093 rec-exp_binary64_128 cbrt-unprod_binary64_4203 rem-sqrt-square_binary64 distribute-rgt-in_binary64_2756 sum-log_binary64_2556 sqr-pow_binary64_3460 unswap-sqr_binary64_4138 flip-+_binary64_393 1-exp_binary64_122 prod-exp_binary64_4219 distribute-lft-out--_binary64_3440 flip3-+_binary64_422 cancel-sign-sub-inv_binary64_1067 distribute-lft-in_binary64_2755
10×	sqrt-pow1_binary64_1801 *-commutative_binary64_2737 flip--_binary64_3463 clear-num_binary64_77 associate-+r+_binary64_4102 div-exp_binary64_811 frac-2neg_binary64_89 div-exp_binary64_470 log-div_binary64_847 div-inv_binary64_757 flip3--_binary64_3492 associate-*l/_binary64_1044 pow-prod-down_binary64_1172 pow-prod-down_binary64_2877 cbrt-undiv_binary64_453 pow1/3_binary64_4252 sum-log_binary64_3579 distribute-lft-out_binary64_3439 cbrt-undiv_binary64_794
9×	rem-sqrt-square_binary64_1114 cbrt-unprod_binary64_1134 pow1/3_binary64_2888 pow1/3_binary64_160 pow1/2_binary64_1863 prod-exp_binary64_1150 swap-sqr_binary64_45 sqr-pow_binary64_2778 associate-/l*_binary64_3433 pow1/2_binary64_1522 associate-+l+_binary64_1375 div-inv_binary64_1098 diff-log_binary64_3580 flip3-+_binary64_3832 flip-+_binary64_3803 *-commutative_binary64_350 sub-neg_binary64_2799 sum-log_binary64_1192
8×	associate-/l/_binary64_1048 *-commutative_binary64_9 associate-*r/_binary64_20 pow-plus_binary64_1846 frac-sub_binary64_3497 times-frac_binary64_3835 rem-sqrt-square_binary64_1796 associate-/r*_binary64_3773 pow-prod-up_binary64_1853 associate-*l/_binary64_3431 log-div_binary64_506 frac-times_binary64_1111 diff-log_binary64_1875 distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 swap-sqr_binary64_1068 +-commutative_binary64_1031 *-commutative_binary64_2396 cbrt-undiv_binary64_1135 *-commutative_binary64_4101 associate-*r/_binary64_1043
7×	rem-sqrt-square_binary64_432 unpow3_binary64_2190 distribute-lft-in_binary64_3778 rem-sqrt-square_binary64_1455 associate-*r/_binary64_1384 distribute-lft-out_binary64_3780 flip3-+_binary64_763 flip-+_binary64_734 sum-log_binary64_3920 distribute-rgt-in_binary64_710 log-pow_binary64 distribute-lft-in_binary64_2414 associate-*r/_binary64_702 pow1/2_binary64_840 associate-/l*_binary64 cancel-sign-sub-inv_binary64_3795 cube-prod_binary64_2834 pow-exp_binary64_2192 cube-mult_binary64_2154 distribute-rgt-in_binary64_2415 associate--l+_binary64_3425 frac-times_binary64_770 unswap-sqr_binary64_1069 distribute-rgt-in_binary64_3779 rem-sqrt-square_binary64_2478 cancel-sign-sub-inv_binary64_1749 distribute-lft-in_binary64_709 sqrt-pow1_binary64_778 associate-/r*_binary64_3432
6×	associate-*l/_binary64_703 associate-*r/_binary64_2748 swap-sqr_binary64_3455 distribute-lft-out--_binary64_2076 swap-sqr_binary64_4137 difference-of-squares_binary64_3116 clear-num_binary64_2464 distribute-lft-neg-in_binary64_3104 sqrt-prod_binary64_3163 prod-exp_binary64_3878 unswap-sqr_binary64_1410 associate-/l/_binary64_2412 cbrt-unprod_binary64_3862 pow-exp_binary64_2874 frac-2neg_binary64_2476 times-frac_binary64_3153 sqr-pow_binary64_1755 distribute-rgt-neg-in_binary64_3105 div-sub_binary64_1447 log-prod_binary64_505 pow-to-exp_binary64_2875 cbrt-prod_binary64_2496 associate-/r*_binary64_3091 pow-exp_binary64_1169 div-sub_binary64_765 pow-prod-down_binary64_831 sqrt-div_binary64_2141 sum-log_binary64_4261 swap-sqr_binary64_2773 pow-flip_binary64_1516 sum-log_binary64_1533
5×	pow-to-exp_binary64_3557 *-commutative_binary64_1032 pow-sqr_binary64_3120 distribute-lft-in_binary64_1732 unpow2_binary64_1166 pow-exp_binary64_3556 cosh-undef_binary64_1295 diff-log_binary64_2557 distribute-rgt-in_binary64_1733 frac-2neg_binary64_430 sub-neg_binary64_2458 sub-neg_binary64_4163 frac-2neg_binary64_1112 rem-log-exp_binary64_801 distribute-lft-out--_binary64_3099 pow-to-exp_binary64_1170 pow-prod-up_binary64_3217 clear-num_binary64_1100 pow-to-exp_binary64_2193 clear-num_binary64_418 pow-prod-up_binary64_1171
4×	frac-times_binary64_4180 div-sub_binary64_424 associate-+r+_binary64_3420 unswap-sqr_binary64_3797 sub-neg_binary64_1435 sqrt-unprod_binary64 pow2_binary64_1864 associate-*l/_binary64_4113 *-commutative_binary64_3760 rem-log-exp_binary64_1142 sqrt-unprod_binary64_439 pow-prod-down_binary64_1513 sin-sum_binary64 flip3--_binary64_2128 diff-log_binary64_1534 associate-+l+_binary64_2398 log-pow_binary64_1190 sqr-pow_binary64_732 cube-div_binary64_4199 pow-flip_binary64_152 associate-/l/_binary64_3776 cbrt-undiv_binary64_3863 associate-/r/_binary64_3775 associate-*r/_binary64_361 cancel-sign-sub-inv_binary64_1408 sqr-pow_binary64 inv-pow_binary64_163 pow-prod-down_binary64_3900 *-commutative_binary64_691 associate--l+_binary64_2402 cube-div_binary64_1130 diff-log_binary64_2216 +-commutative_binary64_3759 associate--r+_binary64_2060 +-commutative_binary64_1372 +-commutative_binary64_2395 sub-neg_binary64_2117 flip--_binary64_2099 div-exp_binary64_3880 pow-sqr_binary64_1756
3×	flip--_binary64_2781 pow-plus_binary64_3210 *-commutative_binary64_1373 sum-log_binary64_510 sub-neg_binary64_3822 sqrt-div_binary64_95 frac-2neg_binary64_771 diff-log_binary64_3239 +-commutative_binary64_4100 exp-sum_binary64_1147 pow-unpow_binary64_2201 +-commutative_binary64 1-exp_binary64_1827 flip-+_binary64_52 clear-num_binary64_759 pow-unpow_binary64_496 flip--_binary64_3804 rec-exp_binary64_1833 associate-/r*_binary64 sum-log_binary64 exp-sum_binary64_2511 pow-unpow_binary64_4247 difference-of-squares_binary64_3798 pow-sub_binary64_2541 +-commutative_binary64_1713 exp-prod_binary64 rem-cube-cbrt_binary64_2147 unpow3_binary64_3554 rem-log-exp_binary64_2165 pow-unpow_binary64_3565 associate--l+_binary64_2061 cancel-sign-sub-inv_binary64_385 pow-exp_binary64_1851 unpow2_binary64_3553 +-commutative_binary64_3077 sum-log_binary64_3238 pow-to-exp_binary64_1852 flip3--_binary64_3833 pow2_binary64_3228 +-commutative_binary64_349 flip3--_binary64_2810 pow-sqr_binary64_1074 flip3-+_binary64_81 cube-mult_binary64_3518 rem-exp-log_binary64_1141 rem-log-exp_binary64_1483 div-exp_binary64 associate-*l/_binary64_21
2×	frac-2neg_binary64_3499 pow-sqr_binary64_3461 pow-sqr_binary64_4143 cube-mult_binary64_2836 flip--_binary64_394 rem-sqrt-square_binary64_4183 unpow3_binary64_4236 pow-exp_binary64_828 associate-/l/_binary64_3435 associate-/r/_binary64_3434 neg-mul-1_binary64 rem-log-exp_binary64_460 diff-log_binary64_4262 distribute-lft-out_binary64_29 pow-sqr_binary64_2097 associate--r+_binary64_1719 cbrt-undiv_binary64_3522 rem-exp-log_binary64 cbrt-div_binary64_3520 pow-prod-up_binary64_148 pow-prod-up_binary64_4240 associate-/r/_binary64_3093 cbrt-div_binary64_4202 distribute-rgt-in_binary64_2074 unpow-prod-down_binary64_4249 rem-sqrt-square_binary64_773 clear-num_binary64_3487 sub-neg_binary64_1094 frac-2neg_binary64_3840 distribute-lft-neg-out_binary64_3106 exp-sum_binary64 pow1/2_binary64_4250 cube-prod_binary64_4198 pow-exp_binary64_4238 +-commutative_binary64_8 sub-neg_binary64_1776 cube-mult_binary64_4200 difference-of-squares_binary64_4139 rec-exp_binary64_1151 distribute-lft-out_binary64 pow-sqr_binary64_51 rem-cube-cbrt_binary64_1124 sqr-pow_binary64_4142 clear-num_binary64_3828 distribute-lft-in_binary64_2073 pow-plus_binary64_2528 unpow3_binary64_485 difference-of-squares_binary64_388 distribute-lft-out--_binary64_2758 rem-cube-cbrt_binary64_4193 pow-prod-up_binary64_3558 rem-sqrt-square_binary64_2137 exp-to-pow_binary64_1163 flip3--_binary64_1105 cube-div_binary64_448 cbrt-div_binary64_1133 sqrt-pow1_binary64_4188 div-sub_binary64_1788 pow-prod-up_binary64_2876 pow1/3_binary64_2547 diff-log_binary64_1193 associate--r+_binary64_3083 div-exp_binary64_3198 flip--_binary64_1076 pow-sqr_binary64_2438 associate-+r-_binary64_3422 +-commutative_binary64_2054 1-exp_binary64_1486 div-sub_binary64_3493 pow2_binary64_2205 div-exp_binary64_3539 distribute-lft-out--_binary64_3781 sqrt-pow1_binary64_2142 flip3--_binary64_423 pow2_binary64_2546 sqr-pow_binary64_391 div-inv_binary64_3485 associate-/l/_binary64_3094 frac-times_binary64_88 pow-sqr_binary64_2779 flip3--_binary64_4174 1-exp_binary64_1145 neg-mul-1_binary64_3143 pow-prod-up_binary64_2194 flip--_binary64_4145 distribute-lft-out--_binary64_1053 unpow3_binary64_2872 associate-/r/_binary64_24 associate--r+_binary64_3424 rec-exp_binary64_1492 div-inv_binary64_3826 pow-prod-up_binary64_2535 sum-log_binary64_2215 difference-of-squares_binary64_2775 cbrt-undiv_binary64_3181 associate-/l*_binary64_3774 pow-pow_binary64_4242 pow1/2_binary64_2204 pow-exp_binary64_487 rem-cube-cbrt_binary64_442 pow-plus_binary64_2187 +-commutative_binary64_3418 cube-mult_binary64_449 associate-+r+_binary64_3761 pow-to-exp_binary64_829 sum-log_binary64_169 associate-+l+_binary64_3080
1×	log-div_binary64_2211 sub-neg_binary64 pow-flip_binary64_1175 associate-/r/_binary64_365 associate--l+_binary64_1720 pow3_binary64_1866 pow-pow_binary64_832 rem-exp-log_binary64_2505 clear-num_binary64 div-inv_binary64 sqrt-unprod_binary64_1121 associate-+r+_binary64_1715 pow2_binary64_159 exp-to-pow_binary64_2527 associate-+l+_binary64_4103 rem-3cbrt-lft_binary64_1808 pow2_binary64_2887 associate-*l/_binary64_362 pow-plus_binary64_4233 pow-to-exp_binary64_4239 flip3-+_binary64_2809 cbrt-prod_binary64_1132 pow-plus_binary64_1505 frac-2neg_binary64_3158 pow-sqr_binary64_1415 pow-flip_binary64_493 cube-prod_binary64_1129 distribute-lft-neg-out_binary64_2424 cube-mult_binary64_1131 sqrt-pow2_binary64_1120 pow2_binary64_3569 pow-plus_binary64_2869 inv-pow_binary64_504 cancel-sign-sub-inv_binary64 diff-log_binary64_3921 pow-exp_binary64 pow-plus_binary64_1164 frac-2neg_binary64 flip-+_binary64_2780 pow-plus_binary64_141 pow2_binary64_1523 diff-log_binary64 pow-plus_binary64_3551 distribute-rgt-in_binary64_1051 diff-log_binary64_511 pow1/3_binary64_1183 exp-diff_binary64 associate-+r-_binary64_3763 associate-+l-_binary64_1718 clear-num_binary64_3146 pow-pow_binary64_2196 cbrt-div_binary64_451 pow-to-exp_binary64_488 pow-flip_binary64_1857 pow1/3_binary64_501 pow-pow_binary64_3560 sqr-abs_binary64_1116 inv-pow_binary64_1868 distribute-lft-in_binary64_27 associate-/l*_binary64_3092 associate--r+_binary64_4106 associate-+l+_binary64_3762 distribute-lft-out--_binary64_371 div-inv_binary64_3144 pow2_binary64_1182 cbrt-undiv_binary64 pow-pow_binary64_491 pow2_binary64_4251 cos-sum_binary64 pow-to-exp_binary64 un-div-inv_binary64_76 sqrt-undiv_binary64_2486 associate-+r+_binary64_1374 pow-prod-up_binary64_1512 distribute-rgt-in_binary64_28 rem-cbrt-cube_binary64_4194 unpow3_binary64_1167 rem-cbrt-cube_binary64_443 inv-pow_binary64_1527 cube-div_binary64_2153 diff-log_binary64_2898 distribute-lft-in_binary64_1050 rem-square-sqrt_binary64_1113 unsub-neg_binary64_2459 sub-neg_binary64_412 inv-pow_binary64_1186

Counts

426 → 13719

Calls

315 calls:

181.0ms	(-.f64 (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)))
179.0ms	(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 alpha (+.f64 beta i))) (+.f64 alpha (+.f64 beta (*.f64 2 i)))) (+.f64 1 (+.f64 alpha (+.f64 beta (*.f64 2 i))))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 alpha (+.f64 beta i)))) (+.f64 alpha (+.f64 beta (*.f64 2 i)))) (-.f64 (+.f64 alpha (+.f64 beta (*.f64 2 i))) 1)))
142.0ms	(*.f64 (+.f64 1 alpha) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)) (+.f64 (+.f64 beta 2) alpha)))
114.0ms	(*.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.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 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x))))))
98.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 632437 to 356437 computations (43.6% saved)