rewrite3.6s (2.1%)

Algorithm

103×	rewrite-expression-head

Rules

610×	*-un-lft-identity_binary64_1799
473×	*-un-lft-identity_binary64_2143
450×	add-sqr-sqrt_binary64_1133
440×	times-frac_binary64_2149
435×	add-sqr-sqrt_binary64_445
426×	*-un-lft-identity_binary64_1111
418×	add-sqr-sqrt_binary64_2165
390×	add-sqr-sqrt_binary64_1821
382×	*-un-lft-identity_binary64
373×	add-sqr-sqrt_binary64
371×	*-un-lft-identity_binary64_423
360×	*-un-lft-identity_binary64_79
357×	sqrt-prod_binary64_1815
337×	times-frac_binary64_1805
299×	*-un-lft-identity_binary64_1455
269×	add-sqr-sqrt_binary64_101
260×	add-sqr-sqrt_binary64_1477 sqrt-prod_binary64_2159
256×	add-cube-cbrt_binary64_2178 add-cube-cbrt_binary64_1834
248×	times-frac_binary64
228×	times-frac_binary64_1117
227×	add-cube-cbrt_binary64_1146
225×	times-frac_binary64_85
212×	add-cube-cbrt_binary64
209×	add-cube-cbrt_binary64_114 *-un-lft-identity_binary64_767
192×	times-frac_binary64_1461
187×	unpow-prod-down_binary64_502
186×	cbrt-prod_binary64_454
182×	add-sqr-sqrt_binary64_789
180×	add-cube-cbrt_binary64_458
177×	distribute-lft-out_binary64_1750
173×	add-cube-cbrt_binary64_1490
160×	add-exp-log_binary64_117
156×	add-exp-log_binary64_805
149×	difference-of-squares_binary64_392
146×	pow1_binary64_140
145×	add-cbrt-cube_binary64_115 add-cbrt-cube_binary64_803
140×	add-exp-log_binary64_1149
134×	times-frac_binary64_429
128×	add-cube-cbrt_binary64_802
121×	associate-*r*_binary64_1051
120×	cbrt-prod_binary64_1142
117×	add-exp-log_binary64_1837
116×	distribute-lft-out_binary64_2094
113×	add-log-exp_binary64
108×	cancel-sign-sub-inv_binary64_389
106×	add-exp-log_binary64_1493
102×	add-exp-log_binary64_2181
101×	add-cbrt-cube_binary64_1147
97×	add-cbrt-cube_binary64_1491
96×	log-prod_binary64_1197
94×	add-exp-log_binary64
93×	associate-*r*_binary64_1739
92×	pow1_binary64_1172
90×	add-log-exp_binary64_462
87×	add-exp-log_binary64_461
86×	pow1_binary64_1516 pow1_binary64_828 pow1_binary64_1860
82×	times-frac_binary64_773
81×	add-cbrt-cube_binary64_1835
80×	difference-of-squares_binary64_1080 add-log-exp_binary64_1838
79×	log-prod_binary64_165 add-cbrt-cube_binary64_459 add-cbrt-cube_binary64_2179
77×	add-cbrt-cube_binary64 sqrt-prod_binary64
74×	log-prod_binary64_853
72×	distribute-lft-out--_binary64_375
71×	add-log-exp_binary64_1494
70×	sqr-pow_binary64_395
69×	pow1_binary64
66×	add-log-exp_binary64_806
65×	associate-*l*_binary64_1052
64×	pow1_binary64_2204 difference-of-squares_binary64 associate-/l*_binary64_2088
62×	distribute-lft-out_binary64_30
61×	distribute-lft-out--_binary64 add-log-exp_binary64_118
59×	cube-prod_binary64_451 add-log-exp_binary64_1150
58×	associate-*l*_binary64_1740 pow1_binary64_484
56×	cancel-sign-sub-inv_binary64
50×	tan-quot_binary64_1958 sqrt-prod_binary64_1127
49×	add-log-exp_binary64_2182 log-pow_binary64_168
47×	prod-exp_binary64_1160
46×	associate-*l*_binary64_20 cbrt-div_binary64_111
45×	associate-/l*_binary64_24 pow-unpow_binary64_500
44×	associate-*r*_binary64_19 associate-/r*_binary64_1743 associate-*r/_binary64_1397
43×	unswap-sqr_binary64_1079 swap-sqr_binary64_1766 associate-*r*_binary64_2083 distribute-lft-out--_binary64_1063
42×	prod-exp_binary64_816 associate-*l*_binary64_1396
41×	cbrt-prod_binary64
40×	associate-*r*_binary64_707 flip3--_binary64 flip--_binary64 unpow-prod-down_binary64_1190 cancel-sign-sub-inv_binary64_1421 unswap-sqr_binary64_1767
39×	flip-+_binary64_53 flip3-+_binary64_82
38×	associate-/r*_binary64 cbrt-unprod_binary64_800 distribute-lft-out_binary64_1062 difference-of-squares_binary64_2112
37×	associate-*r*_binary64_1395
36×	associate-*r*_binary64 associate-/r/_binary64_1745 cancel-sign-sub-inv_binary64_2109
34×	associate-/r/_binary64_2089 distribute-lft-out--_binary64_31 prod-exp_binary64_128
33×	sqrt-prod_binary64_783 cbrt-unprod_binary64_112 flip3-+_binary64_1802 distribute-lft-out_binary64_374 unpow-prod-down_binary64_1878 flip-+_binary64_1773
32×	associate-/r*_binary64_2087 cbrt-prod_binary64_1486 sqrt-pow1_binary64_1817 associate-*r/_binary64_21 cancel-sign-sub-inv_binary64_45 associate-/l*_binary64_712
31×	cbrt-undiv_binary64_801 div-exp_binary64_130 div-exp_binary64_818 prod-exp_binary64_1504 log-div_binary64_166
30×	associate-/r*_binary64_23 difference-of-squares_binary64_1424 sqrt-prod_binary64_439 flip3--_binary64_427 flip--_binary64_398
29×	cbrt-undiv_binary64_113 distribute-lft-out_binary64_718 distribute-lft-out_binary64_1406 pow-prod-down_binary64_150
28×	flip-+_binary64_1429 cbrt-prod_binary64_2174 associate-*l*_binary64_2084 flip3-+_binary64_1458 div-exp_binary64_2194
27×	flip--_binary64_1430 cbrt-unprod_binary64_1488 flip3--_binary64_1459 distribute-rgt-neg-in_binary64
26×	diff-log_binary64 distribute-lft-out--_binary64_1407 associate--l+_binary64_16 flip--_binary64_742 flip-+_binary64_2117 flip3-+_binary64_2146 prod-exp_binary64_1848 flip3--_binary64_771
25×	cbrt-unprod_binary64_1144 cancel-sign-sub-inv_binary64_733 pow-prod-down_binary64_1526
24×	div-inv_binary64_76 unpow-prod-down_binary64_1534 cancel-sign-sub-inv_binary64_1765
23×	cancel-sign-sub-inv_binary64_1077 distribute-lft-out_binary64 distribute-lft-out--_binary64_2095 associate-/r*_binary64_1055
22×	div-inv_binary64_2140 associate-/r*_binary64_1399 associate-/l*_binary64_1400
21×	sub-neg_binary64
20×	sqrt-div_binary64_2160 associate-*l*_binary64_708 associate-/l*_binary64 distribute-lft-in_binary64_1404 cbrt-prod_binary64_798 distribute-rgt-in_binary64_1405 cube-prod_binary64_1483 difference-of-squares_binary64_736 sqrt-div_binary64 associate-/r/_binary64_1057 associate-/l*_binary64_368
19×	sub-neg_binary64_416 log-pow_binary64_856 associate-/l*_binary64_1744 difference-of-squares_binary64_48 *-commutative_binary64_1042 div-inv_binary64_1796 distribute-lft-in_binary64_716 cbrt-prod_binary64_110 frac-add_binary64_1463 distribute-rgt-in_binary64_717 difference-of-sqr--1_binary64_1426
18×	associate-+l+_binary64_1388 associate-/r/_binary64_713 diff-log_binary64_515 unpow-prod-down_binary64_846 associate-/l*_binary64_1056 unswap-sqr_binary64_2111 sqr-pow_binary64_1083 associate-/r*_binary64_367
17×	pow-prod-down_binary64_2214 div-exp_binary64_1850 unpow-prod-down_binary64 div-inv_binary64_1452 associate-/r*_binary64_711
16×	cube-prod_binary64_1139 pow-prod-down_binary64_1182 flip3-+_binary64_770 frac-add_binary64_1807 prod-exp_binary64_2192 associate-*l*_binary64 sqrt-pow1_binary64_785 pow1/3_binary64_161 flip-+_binary64_741
15×	cbrt-undiv_binary64_2177 div-inv_binary64_1108 div-inv_binary64_764
14×	prod-exp_binary64 unpow3_binary64_1521 div-exp_binary64_474 pow1/2_binary64_1879 frac-times_binary64_89 cbrt-unprod_binary64_2176 sum-log_binary64_1890 rem-sqrt-square_binary64 div-exp_binary64 *-commutative_binary64_1386
13×	sqrt-div_binary64_1816 difference-of-squares_binary64_1768 *-commutative_binary64_10 pow-prod-down_binary64_838 distribute-rgt-in_binary64_29 pow-flip_binary64_1873 associate-*r*_binary64_363 distribute-lft-in_binary64_28 sqr-pow_binary64_1771 cube-prod_binary64 associate-+r+_binary64_11 inv-pow_binary64_1884 rem-sqrt-square_binary64_1812 cbrt-undiv_binary64_457
12×	cbrt-unprod_binary64_1832 difference-of-sqr-1_binary64_1425 associate-/r/_binary64_369 flip3-+_binary64_1114 pow1/2_binary64_1191 associate-/r/_binary64_25 flip-+_binary64_1085 frac-sub_binary64_1808 div-inv_binary64_420 sqrt-pow1_binary64_1129 associate--r+_binary64_15 frac-times_binary64_1465
11×	flip3-+_binary64 associate-/r/_binary64 flip--_binary64_1774 associate-*r/_binary64_2085 sub-neg_binary64_760 log-pow_binary64_512 associate-*l/_binary64_22 flip3--_binary64_1803 sqrt-pow1_binary64 flip3-+_binary64_426 flip-+_binary64_397 *-commutative_binary64_1730 associate-/l/_binary64_26 unswap-sqr_binary64_1423 flip-+_binary64
10×	pow1/2_binary64_2223 unpow-prod-down_binary64_2222 cbrt-div_binary64_455 sub-neg_binary64_1448 distribute-rgt-out_binary64_1408 pow1/2_binary64 log-prod_binary64_509 sqrt-pow1_binary64_2161 frac-2neg_binary64_90 distribute-lft-out--_binary64_719 unswap-sqr_binary64 pow-exp_binary64_1179 pow1/3_binary64_505 cube-prod_binary64_2171 unswap-sqr_binary64_47 clear-num_binary64_78 div-inv_binary64 pow-to-exp_binary64_1180 prod-exp_binary64_472 frac-times_binary64_1809 exp-prod_binary64_475 associate-*l/_binary64_1742
9×	diff-log_binary64_859 exp-prod_binary64_819 associate-*r/_binary64_709 +-commutative_binary64_1729 pow-prod-up_binary64_1869 rem-log-exp_binary64_120 cbrt-undiv_binary64_1833 pow-prod-down_binary64_1870 pow-unpow_binary64_1532 distribute-lft-out--_binary64_1751
8×	frac-times_binary64_777 associate-/r/_binary64_1401 frac-2neg_binary64_778 cbrt-undiv_binary64 div-exp_binary64_1506 associate-*r/_binary64_1053 sqrt-div_binary64_440 associate-+l-_binary64_14 pow-flip_binary64_2217 div-exp_binary64_1162 swap-sqr_binary64_1078 cbrt-div_binary64 cbrt-unprod_binary64 sum-log_binary64_1546 clear-num_binary64_766 cube-div_binary64_1484 cbrt-unprod_binary64_456 sqrt-div_binary64_784 sum-log_binary64_2234 associate--l+_binary64_704
7×	clear-num_binary64_2142 rem-sqrt-square_binary64_780 diff-log_binary64_1891 sub-neg_binary64_1792 associate-/l/_binary64_714 neg-sub0_binary64 pow-to-exp_binary64_1868 exp-sum_binary64_469 swap-sqr_binary64_46 distribute-rgt-in_binary64_1061 *-commutative_binary64_698 sum-log_binary64 flip--_binary64_54 rem-log-exp_binary64_808 pow1/2_binary64_847 pow-exp_binary64_1867 sin-sum_binary64_212 distribute-lft-in_binary64_1060 1-exp_binary64_2187 flip3--_binary64_83 diff-log_binary64_171 flip--_binary64_1086 rec-exp_binary64_2193 frac-2neg_binary64_2154 flip3--_binary64_1115 *-commutative_binary64_2074 sub-neg_binary64_72
6×	log-div_binary64_854 log-prod_binary64_1885 associate-/l/_binary64 associate-*r/_binary64_1741 1-exp_binary64_1843 clear-num_binary64_1798 sin-mult_binary64_234 associate-*l/_binary64_710 pow-pow_binary64_495 rec-exp_binary64_1849 difference-of-sqr-1_binary64_737 cube-div_binary64_452 sum-log_binary64_170 tan-quot_binary64_238 cube-div_binary64 sqr-pow_binary64_1427 associate--r+_binary64_703 cbrt-undiv_binary64_1489 neg-log_binary64 rem-sqrt-square_binary64_1124 diff-log_binary64_1547 +-commutative_binary64_1385 frac-2neg_binary64_1810 sqr-pow_binary64 associate-*l/_binary64_1398
5×	pow-prod-down_binary64 unswap-sqr_binary64_735 pow-prod-up_binary64_1181 pow-sqr_binary64_1772 associate--l-_binary64_17 pow-to-exp_binary64_492 neg-mul-1_binary64_1451 difference-of-sqr-1_binary64_1081 pow1/3_binary64 frac-2neg_binary64_1122 distribute-rgt-neg-in_binary64_1413 pow-exp_binary64_491 pow-pow_binary64_1527 pow-prod-up_binary64_149 associate-/l/_binary64_1746 distribute-lft-neg-in_binary64_36 cbrt-undiv_binary64_1145 log-pow_binary64_1200 pow-sqr_binary64_52 distribute-rgt-neg-in_binary64_37 distribute-lft-neg-in_binary64_1412 associate-+l+_binary64_1732 clear-num_binary64_1110
4×	exp-diff_binary64_1847 +-commutative_binary64_2073 cube-mult_binary64_1141 flip--_binary64_2118 pow-to-exp_binary64_1524 associate--l-_binary64 exp-prod_binary64_1507 pow1/3_binary64_1193 unpow3_binary64_1177 rec-exp_binary64 clear-num_binary64 associate-*l*_binary64_364 cube-mult_binary64_1485 1-exp_binary64 exp-prod_binary64_1851 +-commutative_binary64_353 diff-log_binary64_1203 inv-pow_binary64_2228 rem-sqrt-square_binary64_436 flip3--_binary64_2147 +-commutative_binary64_697 clear-num_binary64_422 sum-log_binary64_858 frac-2neg_binary64_1466 pow1/2_binary64_503 frac-2neg_binary64 pow-exp_binary64_1523 exp-to-pow_binary64_1517 cbrt-div_binary64_1487 frac-2neg_binary64_434 sum-log_binary64_1202 rem-log-exp_binary64_1152 unpow3_binary64_489 +-commutative_binary64 cbrt-div_binary64_1143 div-sub_binary64_84 cube-mult_binary64_453 sqrt-pow1_binary64_441 sqr-pow_binary64_2115 frac-times_binary64 log-div_binary64_1886 sum-log_binary64_514 associate-*l/_binary64 *-commutative_binary64 associate-/l/_binary64_2090 clear-num_binary64_1454 sub-neg_binary64_1104
3×	pow-sqr_binary64_1084 exp-sum_binary64_1845 +-commutative_binary64_9 associate-/l/_binary64_370 associate-+l-_binary64 pow-unpow_binary64_2220 sqr-abs_binary64_1814 neg-mul-1_binary64_75 sqrt-unprod_binary64_2163 sqr-pow_binary64_739 unpow3_binary64_2209 log-div_binary64_1198 div-sub_binary64_772 cube-mult_binary64_2173 unpow3_binary64 associate-+r+_binary64_1043 cube-mult_binary64 pow2_binary64_160 diff-log_binary64_2235 pow-unpow_binary64 div-sub_binary64 sub-neg_binary64_2136 pow-pow_binary64_1871 rem-exp-log_binary64_1495 unswap-sqr_binary64_391 pow-plus_binary64_142 pow-unpow_binary64_1876 sqr-sin-a_binary64_227
2×	rem-sqrt-square_binary64_2156 pow-to-exp_binary64_836 pow1/3_binary64_849 inv-pow_binary64_1540 sin-cos-mult_binary64_2299 +-commutative_binary64_1041 pow-to-exp_binary64 cos-sum_binary64_213 sin-sum_binary64_2276 neg-sub0_binary64_1794 un-div-inv_binary64_1797 unpow2_binary64_1520 rec-exp_binary64_1505 tan-quot_binary64_1270 associate-*r/_binary64 unsub-neg_binary64_417 pow-exp_binary64 associate-+r+_binary64_1387 sin-cos-mult_binary64_235 associate-/l/_binary64_1058 associate-*l/_binary64_366 exp-neg_binary64_1846 associate-+r+_binary64_2075 1-exp_binary64_1155 rec-exp_binary64_1161 rem-cube-cbrt_binary64_1478 frac-sub_binary64_1464 log-pow_binary64_1888 frac-times_binary64_433 pow1/3_binary64_1537 pow-exp_binary64_835 pow-flip_binary64_1185 rem-cube-cbrt_binary64_446 distribute-lft-neg-out_binary64_382 1-exp_binary64_1499 distribute-rgt-neg-out_binary64_39 un-div-inv_binary64 inv-pow_binary64_1196 rem-cbrt-cube_binary64_1479 pow-flip_binary64_1529 tan-sum_binary64_1934
1×	1-exp_binary64_467 rec-exp_binary64_129 pow-prod-down_binary64_494 diff-atan_binary64_1268 div-sub_binary64_1804 associate-+r+_binary64_1731 rem-exp-log_binary64_1839 associate--r+_binary64 associate-+r-_binary64_1389 rem-log-exp_binary64_464 associate-+r-_binary64_13 frac-sub_binary64_88 inv-pow_binary64_164 rem-cbrt-cube_binary64 associate-/l/_binary64_1402 frac-add_binary64_775 frac-sub_binary64_2152 pow-to-exp_binary64_2212 associate-+l-_binary64_1390 1-exp_binary64_123 associate-+l+_binary64_12 div-sub_binary64_1116 pow-flip_binary64 diff-sin_binary64_2293 *-commutative_binary64_354 frac-sub_binary64_1120 pow-pow_binary64_2215 rec-exp_binary64_473 pow2_binary64_1880 associate-*r/_binary64_365 pow-plus_binary64_1174 inv-pow_binary64 rem-cube-cbrt_binary64 sqrt-unprod_binary64_1819 associate--l+_binary64_2080 distribute-frac-neg_binary64_42 log-div_binary64_510 pow-plus_binary64_1862 sqr-abs_binary64_1126 rem-cbrt-cube_binary64_2167 neg-sub0_binary64_1450 unsub-neg_binary64_1449 pow-pow_binary64 un-div-inv_binary64_421 sqrt-unprod_binary64_1131 pow2_binary64_1192 rem-square-sqrt_binary64_1123 rem-square-sqrt_binary64_1811 neg-log_binary64_1548 sqrt-pow2_binary64_1818 pow-flip_binary64_153 exp-diff_binary64_471 rem-cube-cbrt_binary64_2166 associate-+l-_binary64_1734 pow-exp_binary64_2211 pow1/3_binary64_2225 div-sub_binary64_2148 rem-log-exp_binary64_1840 diff-cos_binary64_230

Calls

330 calls:

49.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
46.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
42.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
41.0ms	(-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
27.0ms	(+.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N)))