rewrite6.9s (1.6%)

Algorithm

158×	rewrite-expression-head

Rules

2571×	*-un-lft-identity_binary64_1442
2018×	times-frac_binary64_1448
1187×	add-sqr-sqrt_binary64_1464
1045×	times-frac_binary64_2471
1003×	times-frac_binary64_84
965×	*-un-lft-identity_binary64_2465
907×	add-cube-cbrt_binary64_1477
873×	distribute-lft-out_binary64_1393
791×	add-sqr-sqrt_binary64_2487
731×	add-sqr-sqrt_binary64_100
631×	times-frac_binary64_1107
583×	*-un-lft-identity_binary64_2124
578×	add-sqr-sqrt_binary64_1123
576×	*-un-lft-identity_binary64_1101
561×	*-un-lft-identity_binary64_78 add-cube-cbrt_binary64_2500
544×	*-un-lft-identity_binary64_1783 add-cube-cbrt_binary64_113
491×	add-sqr-sqrt_binary64_2146
451×	times-frac_binary64_2130
438×	associate-*r*_binary64_2405
425×	add-sqr-sqrt_binary64_782
381×	add-cube-cbrt_binary64_2159
371×	sqrt-prod_binary64_1458
352×	add-sqr-sqrt_binary64_1805
346×	add-exp-log_binary64_1480
335×	sqrt-prod_binary64_94
334×	add-cbrt-cube_binary64_1478
326×	associate-*l*_binary64_1383
318×	times-frac_binary64_1789
306×	sqrt-prod_binary64_1117
305×	pow1_binary64_139
293×	sqrt-prod_binary64_776
276×	times-frac_binary64_766
267×	*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_1136
254×	associate-*r*_binary64_18
249×	add-cube-cbrt_binary64_795
246×	add-exp-log_binary64_2162
245×	log-pow_binary64_167
241×	associate-/r/_binary64_1388
216×	times-frac_binary64_425 add-exp-log_binary64_2503
207×	add-exp-log_binary64_798
193×	add-cube-cbrt_binary64_1818
192×	add-cbrt-cube_binary64_2160
186×	add-cbrt-cube_binary64_2501
184×	flip-+_binary64_1416 flip3-+_binary64_1445
175×	add-sqr-sqrt_binary64_441
166×	sqrt-prod_binary64_2140
165×	*-un-lft-identity_binary64_419
164×	difference-of-squares_binary64_1070
163×	add-cube-cbrt_binary64_454
159×	associate-*l*_binary64_2065
157×	add-exp-log_binary64_116
152×	associate-/l*_binary64_1387
150×	associate-*r*_binary64_700 pow1_binary64_2185 cbrt-prod_binary64_1473
149×	add-log-exp_binary64_2163
145×	distribute-lft-out_binary64_1734
144×	pow1_binary64_480
140×	associate-*r*_binary64_1382 pow1_binary64
133×	add-cbrt-cube_binary64_114 add-sqr-sqrt_binary64
132×	associate-*l*_binary64_701
130×	distribute-lft-out_binary64_2416
128×	pow1_binary64_1503
125×	associate-/r*_binary64_1386
123×	add-exp-log_binary64_3185 add-cbrt-cube_binary64_796
119×	associate-*r*_binary64_2064
118×	associate-*l*_binary64_19
117×	pow1_binary64_821
115×	div-exp_binary64_1493
112×	add-sqr-sqrt_binary64_3510
110×	cbrt-undiv_binary64_1476 pow1_binary64_3208
109×	add-sqr-sqrt_binary64_2828
108×	associate-/r/_binary64_2411
107×	associate-*r/_binary64_1725
106×	difference-of-squares_binary64_1411
103×	*-un-lft-identity_binary64 associate-*l*_binary64_2406
101×	add-exp-log_binary64
98×	add-cbrt-cube_binary64
96×	*-un-lft-identity_binary64_3488
95×	add-cube-cbrt_binary64
94×	log-pow_binary64_508
93×	add-cbrt-cube_binary64_3183
92×	div-inv_binary64_1439
91×	*-un-lft-identity_binary64_4170
90×	cbrt-prod_binary64_2496
89×	distribute-lft-out_binary64_2075 add-exp-log_binary64_1139
86×	*-un-lft-identity_binary64_2806 flip3-+_binary64_2468 pow1_binary64_2526 flip-+_binary64_2439
85×	add-exp-log_binary64_3526 prod-exp_binary64_809 prod-exp_binary64_2173
84×	unpow-prod-down_binary64_2203 cbrt-prod_binary64_109
82×	add-sqr-sqrt_binary64_4192
81×	unpow-prod-down_binary64_2544
80×	prod-exp_binary64_1491
79×	frac-times_binary64_1452 associate-/r*_binary64_22 distribute-lft-out_binary64_1052
78×	difference-of-squares_binary64_2434
77×	log-prod_binary64_1869
76×	cbrt-unprod_binary64_1475 add-cbrt-cube_binary64_3524
75×	flip3-+_binary64_1786 flip-+_binary64_1757 pow1_binary64_3549
72×	associate-/l/_binary64_1730 add-cube-cbrt_binary64_2841 sqrt-prod_binary64
71×	difference-of-squares_binary64_1752 associate-*l/_binary64_1385 distribute-lft-out--_binary64_2417 prod-exp_binary64_3196
70×	add-cube-cbrt_binary64_3523
69×	unswap-sqr_binary64_728 pow1_binary64_2867
67×	pow1_binary64_1162
66×	frac-sub_binary64_1792
65×	cbrt-unprod_binary64_3180 distribute-lft-out--_binary64_1053 cube-prod_binary64_2493
64×	add-cbrt-cube_binary64_1137
63×	add-exp-log_binary64_1821 add-log-exp_binary64_2504
62×	add-exp-log_binary64_457 pow-prod-down_binary64_3218 *-un-lft-identity_binary64_4511
60×	associate-*r/_binary64_1384 prod-exp_binary64_2514 associate-/l*_binary64_2410
59×	unswap-sqr_binary64_46
58×	add-log-exp_binary64_1481 unpow-prod-down_binary64_839
57×	add-sqr-sqrt_binary64_3169 associate-*l*_binary64 add-exp-log_binary64_2844
56×	add-log-exp_binary64 add-cbrt-cube_binary64_1819
53×	frac-times_binary64_1793 cbrt-unprod_binary64_2157 add-log-exp_binary64_2845 div-inv_binary64_2462
52×	associate-/r/_binary64_1047 cube-prod_binary64_1811 unpow-prod-down_binary64_1862 flip3-+_binary64_1104 associate-/r*_binary64_2068 flip-+_binary64_1075 add-cube-cbrt_binary64_4205
51×	*-un-lft-identity_binary64_3147 unpow-prod-down_binary64_157 associate-*r*_binary64 cancel-sign-sub-inv_binary64_2090 div-exp_binary64_2516 cube-prod_binary64_106
50×	associate-/r*_binary64_2409
49×	div-inv_binary64_1098 add-cbrt-cube_binary64_455 add-sqr-sqrt_binary64_3851 sqrt-div_binary64_777
48×	div-exp_binary64_129 cancel-sign-sub-inv_binary64_3113 frac-add_binary64_1791 add-exp-log_binary64_4208 distribute-lft-out--_binary64_1735 cbrt-unprod_binary64_2498
47×	associate-/l/_binary64_1389 add-cube-cbrt_binary64_3182 pow1_binary64_1844
46×	add-cbrt-cube_binary64_2842 add-log-exp_binary64_1140 add-sqr-sqrt_binary64_4533 distribute-lft-out--_binary64_1394 add-cbrt-cube_binary64_4206 difference-of-sqr-1_binary64_1412 div-inv_binary64_75
45×	associate-/r*_binary64_1045 add-log-exp_binary64_799
44×	pow-prod-down_binary64 associate-/l*_binary64_23 frac-add_binary64_2132 div-exp_binary64_2175
43×	pow1_binary64_4231
42×	associate-/l*_binary64_1046 cbrt-undiv_binary64_2499 add-log-exp_binary64_117 div-exp_binary64_811
40×	associate-*r*_binary64_2746 add-log-exp_binary64_4550 associate-/r*_binary64_363 unpow-prod-down_binary64_1180 add-log-exp_binary64_4209 frac-times_binary64_2475
39×	swap-sqr_binary64_1750
38×	prod-exp_binary64_3537 times-frac_binary64_3494 cbrt-prod_binary64_1132
37×	cbrt-prod_binary64_3519 flip-+_binary64_2098 flip3-+_binary64_2127 unswap-sqr_binary64_2433 unswap-sqr_binary64_1410
36×	cbrt-div_binary64_2838 add-exp-log_binary64_3867 flip-+_binary64_2780 cbrt-div_binary64_1133 associate-/l*_binary64_2069 flip3-+_binary64_2809 cbrt-unprod_binary64_793
35×	pow1_binary64_4572 associate-*l/_binary64_1726 *-un-lft-identity_binary64_3829
34×	pow-prod-down_binary64_2195 cbrt-undiv_binary64_112
33×	prod-exp_binary64_127 sqrt-pow1_binary64_2142 add-log-exp_binary64_458 add-log-exp_binary64_3527 associate-*r*_binary64_3087
32×	flip3--_binary64_1787 unswap-sqr_binary64_2092 sqrt-div_binary64_1459 cbrt-unprod_binary64_3521 cbrt-prod_binary64_2155 associate--l+_binary64_2061 cbrt-prod_binary64_2837 flip--_binary64_1758
31×	add-cube-cbrt_binary64_3864 associate-*r*_binary64_3428 sum-log_binary64_2215 add-cube-cbrt_binary64_4546 associate-*r*_binary64_4110 pow1_binary64_3890
30×	cbrt-undiv_binary64_2158 add-exp-log_binary64_4549 associate-*r*_binary64_1041 pow-prod-down_binary64_3559 associate-*r/_binary64_2748 add-log-exp_binary64_1822
29×	associate-*r/_binary64_2407
28×	associate-/r/_binary64_1729 associate-*l*_binary64_2747 cbrt-unprod_binary64_111 prod-exp_binary64 add-cbrt-cube_binary64_3865 associate-*r/_binary64_4453 associate-/l/_binary64_2412 pow-prod-down_binary64_1513 cube-prod_binary64_788 associate-/r*_binary64_1727 add-cbrt-cube_binary64_4547 associate-*r/_binary64_3771 add-log-exp_binary64_3186 flip--_binary64_735 flip3--_binary64_764
27×	flip3--_binary64_1446 flip--_binary64_1417 sqrt-pow1_binary64 diff-log_binary64_2216 cbrt-unprod_binary64 associate-/l*_binary64_1728 associate-*r*_binary64_3769
26×	pow-unpow_binary64_496 log-pow_binary64_849 cbrt-prod_binary64_791 associate-/r*_binary64_704
25×	exp-sum_binary64_1829 associate-*l*_binary64_4111 associate-*l*_binary64_3088 clear-num_binary64_1441 frac-2neg_binary64_1453 cbrt-prod_binary64_4201
24×	sqrt-prod_binary64_2822 distribute-lft-out--_binary64_2076 cbrt-div_binary64_3861 pow-prod-down_binary64_2536
23×	flip--_binary64_2440 flip3--_binary64_2469 associate-*l/_binary64_2408 associate-/r/_binary64_2070 associate-*r/_binary64_702 div-inv_binary64_2121 associate-/l*_binary64_364
22×	pow1/3_binary64_2206 cancel-sign-sub-inv_binary64_1749
21×	div-exp_binary64_1152 associate-*l*_binary64_1724 associate-*r*_binary64_1723
20×	cbrt-undiv_binary64_794 associate-*l*_binary64_3429 pow1/2_binary64 associate-*r*_binary64_4451 cbrt-div_binary64_792 pow-prod-down_binary64_831 distribute-lft-out_binary64_4121
19×	flip3--_binary64_2128 flip--_binary64_2099 sqrt-pow1_binary64_1460 sub-neg_binary64_2117 associate-*r/_binary64_2066 sqrt-pow1_binary64_437 pow-flip_binary64_1175 frac-times_binary64_2134
18×	sqrt-div_binary64_436 add-log-exp_binary64_3868 cbrt-div_binary64_4543 unpow-prod-down_binary64_3226 pow1/3_binary64_2888 log-pow_binary64_1872 associate-*l*_binary64_4452 cbrt-div_binary64_2156 associate-*r/_binary64_4112 sqrt-div_binary64
17×	*-commutative_binary64_1373 flip-+_binary64_4144 associate-*l/_binary64_2067 flip3-+_binary64_4173
16×	associate-*l*_binary64_1042 div-inv_binary64_1780 *-commutative_binary64_2055 associate-*l*_binary64_3770 frac-times_binary64_770 sqr-pow_binary64_2096 div-exp_binary64_1834 difference-of-squares_binary64_2093 sqrt-pow1_binary64_778 associate-/l/_binary64_2071 unswap-sqr_binary64_2774
15×	flip--_binary64_4486 pow1/2_binary64_2204 cbrt-undiv_binary64_1135 sqr-pow_binary64_2437 *-commutative_binary64_2396 prod-exp_binary64_1150 flip3--_binary64_4515 cbrt-prod_binary64_450 prod-exp_binary64_2855 pow-prod-down_binary64_149 log-prod_binary64_505 *-commutative_binary64
14×	cbrt-undiv_binary64_1817 sqr-pow_binary64_1755 times-frac_binary64_4176 flip-+_binary64_52 pow1/2_binary64_840 pow-prod-down_binary64_2877 div-exp_binary64_470 swap-sqr_binary64_727 sqrt-div_binary64_95 swap-sqr_binary64_1409 cancel-sign-sub-inv_binary64_1067 rec-exp_binary64_810 associate-*r/_binary64_20 associate-/r*_binary64_4114 cube-prod_binary64_3175 1-exp_binary64_804 flip3-+_binary64_81 div-inv_binary64_757
13×	flip3-+_binary64_3832 flip3-+_binary64 flip-+_binary64_3803 cbrt-prod_binary64_3860 prod-exp_binary64_3878 associate-/l*_binary64_705 unswap-sqr_binary64 pow1/3_binary64_3911 sqrt-prod_binary64_435 pow1/2_binary64_499 flip-+_binary64
12×	distribute-lft-out_binary64_4462 pow-exp_binary64_828 frac-2neg_binary64_89 clear-num_binary64_77 frac-2neg_binary64_2476 pow1/3_binary64_3570 swap-sqr_binary64_4137 associate-*r/_binary64_361 sqrt-div_binary64_2823 rem-sqrt-square_binary64_2137 pow1/3_binary64_1183 log-div_binary64_165 cube-div_binary64_789 pow-flip_binary64_2198 log-prod_binary64_2892 clear-num_binary64_2464 sin-sum_binary64 *-commutative_binary64_691
11×	pow-prod-down_binary64_490 unpow-prod-down_binary64_498 flip-+_binary64_4485 flip3-+_binary64_4514 div-inv_binary64_416 log-pow_binary64 cbrt-prod_binary64_3178 clear-num_binary64_2123 cbrt-unprod_binary64_2839 distribute-rgt-in_binary64_2415 *-commutative_binary64_3078 unpow-prod-down_binary64_2885 distribute-lft-in_binary64_2414 sum-log_binary64_4261 sqrt-pow1_binary64_1119 frac-2neg_binary64_2135
10×	difference-of-squares_binary64_3457 cancel-sign-sub-inv_binary64_3795 associate-*l/_binary64_703 distribute-rgt-in_binary64_4120 pow1/3_binary64_501 cancel-sign-sub-inv_binary64_2772 unswap-sqr_binary64_3456 prod-exp_binary64_4219 associate-*r*_binary64_359 cbrt-unprod_binary64_4203 swap-sqr_binary64_4478 swap-sqr_binary64_2773 pow1/3_binary64_842 distribute-lft-in_binary64_4119 sum-log_binary64_2897 frac-times_binary64_1111 unswap-sqr_binary64_1069 rem-sqrt-square_binary64 associate-*l*_binary64_360 unswap-sqr_binary64_4138
9×	*-commutative_binary64_9 exp-prod_binary64_2858 distribute-lft-out_binary64_3439 log-prod_binary64_164 pow1/3_binary64_4593 pow1/3_binary64_4252 sqrt-div_binary64_1118 1-exp_binary64_122 clear-num_binary64_1100 frac-2neg_binary64_1112 associate-/l*_binary64_3433 cancel-sign-sub-inv_binary64_4136 pow1/2_binary64_1522 *-commutative_binary64_3419 cbrt-unprod_binary64_3862 +-commutative_binary64_2736
8×	exp-prod_binary64_1494 pow-prod-down_binary64_3900 sum-log_binary64_4602 unswap-sqr_binary64_3797 unpow3_binary64_2531 cbrt-div_binary64_1474 sqrt-prod_binary64_2481 cancel-sign-sub-inv_binary64_2431 flip3-+_binary64_763 pow-pow_binary64_2196 sqrt-pow1_binary64_2824 pow-exp_binary64_2192 pow-prod-down_binary64_4241 flip-+_binary64_734 distribute-lft-neg-in_binary64 cbrt-undiv_binary64_453 associate-+r+_binary64_1033 cancel-sign-sub-inv_binary64 sub-neg_binary64_2458 cube-mult_binary64_2495 distribute-rgt-neg-in_binary64 unpow-prod-down_binary64_3908 frac-times_binary64_2816 sqr-pow_binary64_732 pow-to-exp_binary64_2193 pow-prod-up_binary64_830 frac-times_binary64_4521 associate--l-_binary64_2062 1-exp_binary64_2168 difference-of-sqr-1_binary64_2094 associate-*r/_binary64_3089 sqr-pow_binary64_3119 rec-exp_binary64_2174 frac-times_binary64_88
7×	pow1/2_binary64_2886 frac-2neg_binary64_1794 associate-/r*_binary64_3432 flip3--_binary64_423 *-commutative_binary64_2737 +-commutative_binary64_2395 cbrt-unprod_binary64_1134 log-pow_binary64_3577 sum-log_binary64_2556 flip--_binary64_394 sum-log_binary64_1192 associate-/l/_binary64_1048 flip3-+_binary64_3491 diff-log_binary64_4603 flip-+_binary64_3462 clear-num_binary64_1782 exp-prod_binary64_2176 cbrt-unprod_binary64_1816 *-commutative_binary64_4101 prod-exp_binary64_1832 cbrt-prod_binary64_4542 pow-pow_binary64_832 exp-prod_binary64_471
6×	clear-num_binary64_418 +-commutative_binary64_1031 swap-sqr_binary64_3455 cube-mult_binary64_3177 rec-exp_binary64_128 associate-*l/_binary64_21 unswap-sqr_binary64_3115 exp-sum_binary64_2852 flip3--_binary64_4174 log-div_binary64_2893 pow-prod-up_binary64_2194 distribute-rgt-in_binary64_1392 frac-2neg_binary64_430 sqrt-pow1_binary64_96 cancel-sign-sub-inv_binary64_4477 unpow3_binary64_3213 cbrt-unprod_binary64_4544 pow-unpow_binary64_837 log-div_binary64_506 times-frac_binary64_4517 distribute-lft-out--_binary64_4122 rem-sqrt-square_binary64_773 associate-/r/_binary64_4116 +-commutative_binary64_4100 1-exp_binary64_1145 rec-exp_binary64_1151 distribute-lft-in_binary64_1391 swap-sqr_binary64_1068 sqrt-div_binary64_2141 difference-of-squares_binary64_4139 cbrt-undiv_binary64_4204 sub-neg_binary64_4504 pow-unpow_binary64_2201 associate-*l/_binary64_1044 pow-prod-down_binary64_1172 rem-sqrt-square_binary64_1114 pow-prod-down_binary64_4582 pow-sqr_binary64_2097 associate-*l/_binary64_4454 associate-/r*_binary64_4455 div-sub_binary64_83 flip--_binary64_4145 pow1/2_binary64_158 cos-sum_binary64 associate-/l/_binary64_4117 swap-sqr_binary64_2091 div-exp_binary64_4221 pow-exp_binary64_487 exp-prod_binary64_3540 prod-exp_binary64_4560
5×	+-commutative_binary64_8 distribute-rgt-in_binary64_4461 distribute-lft-out_binary64_711 pow-to-exp_binary64_829 flip3-+_binary64_422 pow-exp_binary64_2533 flip3--_binary64 rem-sqrt-square_binary64_1455 pow-prod-up_binary64_1171 flip-+_binary64_3121 distribute-lft-in_binary64_2755 *-commutative_binary64_4442 distribute-rgt-in_binary64_3779 sqr-pow_binary64_391 associate-*r/_binary64_1043 exp-prod_binary64 rec-exp_binary64_2515 flip--_binary64 flip3-+_binary64_3150 rem-log-exp_binary64_1824 +-commutative_binary64_3418 difference-of-squares_binary64_4480 frac-2neg_binary64_771 pow-sqr_binary64_1074 distribute-lft-out--_binary64_4463 sqr-pow_binary64_2778 distribute-lft-out_binary64_2757 *-commutative_binary64_3760 flip-+_binary64_393 distribute-lft-in_binary64_3778 unswap-sqr_binary64_4479 distribute-lft-in_binary64_4460 distribute-lft-out--_binary64_3440 clear-num_binary64_759 cube-div_binary64_2494 distribute-lft-out_binary64_29 pow-sqr_binary64_733 sum-log_binary64_3579 1-exp_binary64_2509 log-pow_binary64_2895 sub-neg_binary64_4163 sum-log_binary64_169 distribute-rgt-in_binary64_2756
4×	sqrt-unprod_binary64 1-exp_binary64_463 frac-times_binary64_4180 pow-to-exp_binary64_2534 sub-neg_binary64 sum-log_binary64_851 pow-exp_binary64_3215 div-sub_binary64_1788 pow-plus_binary64_1164 diff-log_binary64_1875 inv-pow_binary64_1186 unpow-prod-down_binary64_3567 diff-log_binary64_2557 inv-pow_binary64_163 pow-pow_binary64_491 swap-sqr_binary64_386 pow2_binary64_1182 difference-of-sqr-1_binary64_1753 sqr-pow_binary64_50 associate--r+_binary64_1719 cube-prod_binary64_2834 exp-sum_binary64_465 cbrt-unprod_binary64_452 cube-prod_binary64_3857 swap-sqr_binary64_3796 prod-exp_binary64_468 pow-pow_binary64_2878 sub-neg_binary64_3822 sub-neg_binary64_3140 frac-times_binary64_3839 cube-div_binary64_3176 sqr-pow_binary64_3801 pow-prod-up_binary64_2876 pow-sqr_binary64_2779 rec-exp_binary64_469 sub-neg_binary64_2799 pow-unpow_binary64_2883 pow-to-exp_binary64_488 pow-exp_binary64_146 +-commutative_binary64_690 flip--_binary64_3122 div-sub_binary64_2470 distribute-rgt-in_binary64 flip3--_binary64_3151 sub-neg_binary64_1776 exp-prod_binary64_1835 unswap-sqr_binary64_1751 sqr-pow_binary64_1073 diff-log_binary64_3239 associate-*l/_binary64_2749 frac-times_binary64 pow1/2_binary64_1181 cbrt-div_binary64_2497 pow-flip_binary64_152 distribute-lft-in_binary64 unpow-prod-up_binary64_497
3×	pow-prod-up_binary64_4581 pow-exp_binary64_2874 flip--_binary64_3804 distribute-lft-out_binary64_3098 *-commutative_binary64_1032 cube-div_binary64_107 unpow3_binary64_826 associate-/r/_binary64_24 distribute-lft-out_binary64 cube-mult_binary64_1813 log-prod_binary64_1528 1-exp_binary64_1486 +-commutative_binary64_4441 unswap-sqr_binary64_387 clear-num_binary64_4169 log-prod_binary64_3574 associate--l+_binary64_1720 inv-pow_binary64_504 pow-unpow_binary64_1860 pow-unpow_binary64_3224 rem-cube-cbrt_binary64_783 frac-2neg_binary64_4181 pow-to-exp_binary64_3216 associate-/l*_binary64_4115 log-div_binary64_1870 pow-sqr_binary64_4143 pow-pow_binary64_150 pow-flip_binary64_1516 unpow-prod-up_binary64_2884 pow-unpow_binary64_2542 unpow3_binary64_144 cancel-sign-sub-inv_binary64_385 associate-+l+_binary64_4444 div-inv_binary64_4167 rem-log-exp_binary64_119 pow-to-exp_binary64_2875 pow-plus_binary64_2187 rem-sqrt-square_binary64_2819 *-commutative_binary64_350 pow-prod-up_binary64_4240 sqrt-prod_binary64_1799 cube-mult_binary64_790 cube-mult_binary64_108 pow-flip_binary64_493 pow1/3_binary64_1524 pow-unpow_binary64_155 rem-log-exp_binary64_460 log-pow_binary64_1531 div-sub_binary64_2129 pow2_binary64_2205 un-div-inv_binary64_758 rec-exp_binary64_1492 pow-sqr_binary64_4484 flip3--_binary64_1105 flip--_binary64_1076 flip3--_binary64_3833
2×	associate-/r/_binary64_4457 cbrt-div_binary64_3179 cbrt-div_binary64_110 pow-to-exp_binary64_3557 cube-prod_binary64_447 rem-cube-cbrt_binary64_2488 distribute-lft-out--_binary64_3781 rem-cube-cbrt_binary64_101 pow-exp_binary64_3556 pow2_binary64_841 +-commutative_binary64_1713 pow-plus_binary64_4574 frac-2neg_binary64_3499 pow-plus_binary64_4233 associate-/l/_binary64_3435 associate-/l/_binary64_4458 diff-log_binary64 rem-cube-cbrt_binary64_1806 unpow-prod-down_binary64 pow-sub_binary64_495 cancel-sign-sub-inv_binary64_726 difference-of-squares_binary64 pow-prod-up_binary64_3899 flip3--_binary64_2810 log-prod_binary64 associate--r+_binary64_4447 difference-of-squares_binary64_388 exp-diff_binary64_467 sub-neg_binary64_1094 cube-mult_binary64_449 difference-of-squares_binary64_2775 associate-+l+_binary64_4103 unpow3_binary64_1849 distribute-rgt-in_binary64_28 rem-log-exp_binary64 unpow2_binary64_3212 pow-to-exp_binary64_3898 associate-*r/_binary64 pow-plus_binary64_823 associate-+l+_binary64_2739 pow-exp_binary64_3897 div-sub_binary64_3493 distribute-rgt-in_binary64_710 sum-log_binary64_510 pow-sub_binary64_2882 neg-mul-1_binary64 associate-*l/_binary64_3772 pow2_binary64_4251 associate-*l/_binary64_4113 distribute-lft-in_binary64_27 distribute-lft-in_binary64_3096 sqrt-div_binary64_1800 clear-num_binary64_3487 associate-+r+_binary64_4102 associate-*r/_binary64_3430 sum-log_binary64_1874 pow1/3_binary64_2547 +-commutative_binary64_2054 pow-prod-up_binary64_3558 diff-log_binary64_1193 pow2_binary64_1523 diff-log_binary64_852 flip--_binary64_2781 exp-to-pow_binary64_1504 associate-+r+_binary64_2397 distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_709 un-div-inv_binary64_2122 associate-+l-_binary64_4446 pow-sqr_binary64_3802 pow2_binary64_2887 unpow3_binary64_485 pow-prod-up_binary64_1512 rem-cube-cbrt_binary64_442 rem-cube-cbrt_binary64_3170 pow-exp_binary64_1851 div-exp_binary64_3539 unpow2_binary64_3553 sub-neg_binary64_753 cbrt-undiv_binary64_3522 associate-+l+_binary64_2057 distribute-lft-out--_binary64_2758 pow-sqr_binary64_392 distribute-rgt-in_binary64_3097 pow-plus_binary64_1505 pow2_binary64_4592 rem-cbrt-cube_binary64_2489 sqr-pow_binary64_3460 pow-pow_binary64_3219 pow-prod-up_binary64_489 +-commutative_binary64_349 pow-sqr_binary64_3461 inv-pow_binary64_2209 cbrt-undiv_binary64_4545 div-inv_binary64_3485 diff-log_binary64_2898 exp-diff_binary64_2854 pow-plus_binary64_2869 pow-sqr_binary64_1415 exp-sum_binary64_2170 associate-/r/_binary64_3434 distribute-lft-in_binary64_2073 div-exp_binary64_4562 difference-of-squares_binary64_3798 associate-*l/_binary64 diff-log_binary64_3921 div-sub_binary64_424 pow-sub_binary64_2200 rem-sqrt-square_binary64_432
1×	associate--l-_binary64_4449 rem-exp-log_binary64_2164 rem-cbrt-cube_binary64_102 associate-+r-_binary64_4104 inv-pow_binary64_1527 sub-neg_binary64_412 rem-exp-log_binary64_1823 pow-to-exp_binary64_147 sqrt-unprod_binary64_780 flip3--_binary64_3492 pow-plus_binary64_3551 sqrt-pow1_binary64_1801 pow1/3_binary64_3229 pow-pow_binary64_1855 exp-sum_binary64 pow-prod-down_binary64_1854 unpow3_binary64_3895 rem-sqrt-square_binary64_91 cube-mult_binary64_3859 div-sub_binary64_1447 distribute-lft-out--_binary64 rem-exp-log_binary64_1482 un-div-inv_binary64_76 pow-plus_binary64_1846 rem-log-exp_binary64_1483 unpow3_binary64_2872 pow-flip_binary64_2539 diff-log_binary64_4262 flip--_binary64_3463 pow1/2_binary64_1863 rem-exp-log_binary64_2846 pow2_binary64_500 associate-+l-_binary64_1718 sqr-abs_binary64_775 sum-log_binary64 clear-num_binary64_4510 rem-exp-log_binary64_459 rem-cbrt-cube_binary64_443 pow-exp_binary64_1169 rem-log-exp_binary64_2847 rem-exp-log_binary64 associate-/r/_binary64_365 pow-plus_binary64_482 pow-sqr_binary64_1756 rem-log-exp_binary64_3529 *-commutative_binary64_1714 pow2_binary64_3569 distribute-rgt-in_binary64_3438 sqrt-unprod_binary64_2826 rem-cbrt-cube_binary64_3171 distribute-lft-in_binary64_3437 distribute-lft-out--_binary64_371 +-commutative_binary64_3077 exp-diff_binary64_1831 associate-/l*_binary64_4456 pow-pow_binary64_2537 e-exp-1_binary64_464 cube-div_binary64_1812 cube-mult_binary64_2836 frac-2neg_binary64_4522 pow-to-exp_binary64_1852 pow-to-exp_binary64_1170 associate-+r-_binary64_3422 cube-mult_binary64_3518 pow-plus_binary64_3892 inv-pow_binary64_2550 pow1/3_binary64_160 associate-+r-_binary64_1035 +-commutative_binary64 pow2_binary64_3910 rem-sqrt-square_binary64_1796 rem-square-sqrt_binary64_772 diff-log_binary64_511 div-inv_binary64_4508 sqrt-pow2_binary64_779 difference-cubes_binary64_1785 pow2_binary64_1864 associate--l+_binary64_4448 un-div-inv_binary64_1099 sum-log_binary64_3238 associate-+l-_binary64_2741 pow-prod-up_binary64_1853 exp-to-pow_binary64_2186

Calls

467 calls:

134.0ms	(*.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
98.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
71.0ms	(*.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
62.0ms	(/.f64 (-.f64 (*.f64 beta (+.f64 (*.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) (/.f64 alpha (+.f64 (+.f64 beta alpha) 2))) (+.f64 (*.f64 1 1) (*.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)))) (*.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 (pow.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 3) (pow.f64 1 3)))) (*.f64 2 (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 1 (*.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1))))))
56.0ms	(/.f64 (*.f64 (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (pow.f64 (/.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)))) 3))) (*.f64 (-.f64 1 (*.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.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 (+.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)))) -2295300911148351/9007199254740992)))))