rewrite3.7s (2.3%)

Algorithm

105×	rewrite-expression-head

Rules

757×	*-un-lft-identity_binary64_1101
674×	add-sqr-sqrt_binary64_1123
638×	*-un-lft-identity_binary64
630×	times-frac_binary64_84
610×	times-frac_binary64_1107
564×	add-sqr-sqrt_binary64
562×	add-sqr-sqrt_binary64_100
559×	*-un-lft-identity_binary64_78
558×	times-frac_binary64
450×	*-un-lft-identity_binary64_2124
446×	add-cube-cbrt_binary64_113
395×	add-cube-cbrt_binary64_1136
363×	*-un-lft-identity_binary64_1783
357×	sqrt-prod_binary64_2140
345×	*-un-lft-identity_binary64_419
343×	sqrt-prod_binary64_1117
340×	times-frac_binary64_425 add-cube-cbrt_binary64
327×	add-sqr-sqrt_binary64_1805
314×	add-sqr-sqrt_binary64_782
309×	*-un-lft-identity_binary64_760
290×	add-sqr-sqrt_binary64_441
261×	add-exp-log_binary64_1139
258×	add-sqr-sqrt_binary64_1464
241×	*-un-lft-identity_binary64_1442
235×	add-sqr-sqrt_binary64_2146
230×	times-frac_binary64_1789
216×	add-cube-cbrt_binary64_454
215×	add-cbrt-cube_binary64_1137
190×	times-frac_binary64_2130
185×	add-cube-cbrt_binary64_795
169×	add-cube-cbrt_binary64_1818
155×	distribute-lft-out_binary64_2075
152×	add-cube-cbrt_binary64_2159 distribute-lft-out_binary64_1052
150×	add-exp-log_binary64_116 sqrt-prod_binary64_1799
148×	add-cube-cbrt_binary64_1477
142×	pow1_binary64_1162
137×	add-cbrt-cube_binary64_114
135×	add-exp-log_binary64_1480
129×	unpow-prod-down_binary64_157 times-frac_binary64_766
127×	add-exp-log_binary64_457
123×	pow1_binary64_821
113×	add-log-exp_binary64 add-exp-log_binary64_798 add-cbrt-cube_binary64_455
111×	pow1_binary64_1503
105×	associate-*r*_binary64_1382 add-cbrt-cube_binary64_1478 times-frac_binary64_1448
101×	cancel-sign-sub-inv_binary64
99×	distribute-lft-out--_binary64 associate-/l*_binary64_1046
98×	cancel-sign-sub-inv_binary64_44
96×	add-exp-log_binary64
94×	difference-of-squares_binary64 add-log-exp_binary64_1140 add-cbrt-cube_binary64_796
93×	pow1_binary64_139 sqrt-prod_binary64
89×	difference-of-squares_binary64_1070
88×	associate-*r*_binary64_1041
87×	add-cbrt-cube_binary64
83×	add-log-exp_binary64_117
81×	log-prod_binary64_1187
80×	log-prod_binary64_164
79×	add-log-exp_binary64_799
76×	prod-exp_binary64_1150
75×	difference-of-squares_binary64_47
74×	pow1_binary64 associate-*l*_binary64_1042
72×	cbrt-prod_binary64_791
69×	pow1_binary64_2185 tan-quot_binary64_1601
67×	add-log-exp_binary64_1822
64×	associate-/l*_binary64 cancel-sign-sub-inv_binary64_1749
63×	difference-of-squares_binary64_729
62×	cbrt-unprod_binary64_1134
61×	sqr-pow_binary64_50 pow1_binary64_1844
60×	add-log-exp_binary64_1481
58×	associate-/l*_binary64_23
57×	associate-/r*_binary64
56×	cbrt-prod_binary64_109
55×	add-exp-log_binary64_1821 cbrt-prod_binary64
54×	cancel-sign-sub-inv_binary64_726 log-pow_binary64_849
53×	div-exp_binary64_1152
52×	associate-*r*_binary64_2064 add-sqr-sqrt_binary64_2487 pow-unpow_binary64_155 div-inv_binary64_75
51×	distribute-lft-out_binary64_1734 associate-/r*_binary64_22
50×	associate-/r/_binary64_1047 associate-/r*_binary64_1045 associate-/r*_binary64_363 prod-exp_binary64_1491
49×	distribute-lft-out--_binary64_712 cancel-sign-sub-inv_binary64_1067 unpow-prod-down_binary64_1521
48×	distribute-lft-out_binary64 distribute-lft-out--_binary64_1053 add-exp-log_binary64_2162
47×	associate-/l*_binary64_364
46×	flip3--_binary64 flip--_binary64
45×	exp-sum_binary64_124 associate-*l*_binary64_1383 distribute-lft-out_binary64_370 add-cbrt-cube_binary64_1819 add-log-exp_binary64_458
44×	pow-prod-down_binary64_1172
43×	pow1_binary64_480 flip3-+_binary64_1104 flip-+_binary64_1075 swap-sqr_binary64_2091
42×	difference-of-squares_binary64_1752 associate-*r*_binary64_1723
41×	distribute-rgt-neg-in_binary64
40×	div-exp_binary64_470 add-log-exp_binary64_2163 add-cbrt-cube_binary64_2160
39×	associate-*r*_binary64_700
38×	cbrt-undiv_binary64_1135
37×	associate-/r/_binary64 div-exp_binary64_129 log-prod_binary64_846 associate-*l*_binary64_1724
36×	sqrt-prod_binary64_94 associate-+l+_binary64_1716 associate-*l*_binary64_2065 difference-of-sqr--1_binary64_1413
35×	associate-*r/_binary64_1043 cbrt-undiv_binary64_453 distribute-lft-out_binary64_1393 cbrt-undiv_binary64_112 unswap-sqr_binary64_1069 pow1_binary64_2526 log-pow_binary64_167
34×	sqrt-div_binary64_1118 distribute-lft-out--_binary64_30
33×	*-un-lft-identity_binary64_2465 sqrt-prod_binary64_2481 distribute-lft-out--_binary64_1735 div-inv_binary64_1098 associate-/r*_binary64_704 flip--_binary64_735 flip3--_binary64_764
32×	cbrt-unprod_binary64_1475 sqrt-pow1_binary64_2142 pow-prod-down_binary64_1513 unswap-sqr_binary64_1410 sqrt-div_binary64
31×	flip3--_binary64_1787 swap-sqr_binary64_1750 flip--_binary64_1758
30×	sqrt-pow1_binary64_1801
29×	cancel-sign-sub-inv_binary64_1408 difference-of-squares_binary64_388 div-inv_binary64_416 associate-/r/_binary64_365 add-cube-cbrt_binary64_2500
28×	frac-add_binary64_1791 cancel-sign-sub-inv_binary64_385 cbrt-prod_binary64_2155 distribute-lft-out_binary64_29 log-prod_binary64_505 sqrt-prod_binary64_435
26×	associate-*r/_binary64_1725
25×	associate-*r/_binary64_1384 frac-times_binary64_1452 flip3-+_binary64_1786 flip-+_binary64_1757 distribute-lft-in_binary64_1050 sqr-pow_binary64_1414 distribute-rgt-in_binary64_1051
24×	cbrt-unprod_binary64_452 prod-exp_binary64_468 unswap-sqr_binary64_1751
23×	diff-log_binary64 unswap-sqr_binary64_2092 associate-/r*_binary64_1727 associate-*l*_binary64_701 div-inv_binary64
22×	associate-*l*_binary64_19 sqrt-prod_binary64_776 associate-/r/_binary64_24 div-inv_binary64_1780 sqrt-div_binary64_2482 sqrt-pow1_binary64_778 flip3--_binary64_1105 flip--_binary64_1076
21×	exp-prod_binary64_812 prod-exp_binary64_809 associate-/l*_binary64_1387 distribute-lft-neg-in_binary64 neg-mul-1_binary64 associate-/l*_binary64_705 unpow-prod-down_binary64_1862
20×	associate-/r/_binary64_1729 sqrt-prod_binary64_1458 distribute-lft-out--_binary64_371
19×	sub-neg_binary64 tan-quot_binary64_237 *-commutative_binary64_1032 unpow-prod-down_binary64_2203 exp-prod_binary64_130
18×	unpow-prod-down_binary64 associate-/r*_binary64_2068 log-div_binary64_847 div-exp_binary64
17×	cbrt-unprod_binary64_111 prod-exp_binary64_127 add-cbrt-cube_binary64_2501 add-log-exp_binary64_2504 associate-*l/_binary64_1385 *-commutative_binary64_1373 add-exp-log_binary64_2503
16×	flip3-+_binary64 flip3--_binary64_423 flip-+_binary64_1416 flip3-+_binary64_1445 flip--_binary64_394 associate-/r/_binary64_2070 unpow-prod-down_binary64_1180 sqrt-pow1_binary64_1119 sub-neg_binary64_71 pow1/2_binary64_1181 flip-+_binary64
15×	distribute-lft-neg-in_binary64_717 distribute-rgt-in_binary64_369 distribute-rgt-neg-in_binary64_718 pow1/2_binary64 flip-+_binary64_2098 pow-unpow_binary64_1519 flip3-+_binary64_2127 sqrt-pow1_binary64 distribute-lft-in_binary64_368 pow-exp_binary64_1510 cbrt-unprod_binary64_793
14×	associate-/r*_binary64_1386 pow1/2_binary64_2204 frac-times_binary64_1793 cbrt-undiv_binary64 frac-sub_binary64_1451 rem-sqrt-square_binary64 associate-/r/_binary64_706 sub-neg_binary64_1776 sub-neg_binary64_753 cube-prod_binary64_1470 difference-of-squares_binary64_1411 cube-prod_binary64 div-exp_binary64_811
13×	distribute-lft-out_binary64_711 flip3-+_binary64_422 flip3-+_binary64_763 clear-num_binary64_1100 frac-2neg_binary64_1112 distribute-rgt-in_binary64_710 flip-+_binary64_734 difference-of-sqr-1_binary64_730 sqrt-pow1_binary64_2483 pow1/3_binary64_842 flip3-+_binary64_2468 sqrt-div_binary64_2141 rem-sqrt-square_binary64_2137 associate-/l*_binary64_1728 flip-+_binary64_393 distribute-lft-in_binary64_709 pow1/2_binary64_2545 pow-to-exp_binary64_1511 flip-+_binary64_2439
12×	flip--_binary64_53 inv-pow_binary64_1868 diff-log_binary64_170 associate-*r*_binary64_359 frac-2neg_binary64_89 pow-flip_binary64_1857 clear-num_binary64_77 cube-prod_binary64_106 frac-times_binary64_770 sum-log_binary64_1874 diff-log_binary64_1193 pow-flip_binary64_2198 flip3--_binary64_82 rem-sqrt-square_binary64_1796 inv-pow_binary64_2209 div-inv_binary64_757
11×	clear-num_binary64_418 cbrt-undiv_binary64_794 diff-log_binary64_1875 sqr-pow_binary64_1755 flip-+_binary64_52 frac-2neg_binary64_430 associate-/l/_binary64_1048 associate-*r/_binary64_702 flip3-+_binary64_81
10×	associate-*r*_binary64 sub-neg_binary64_1094 pow1/2_binary64_1863 cube-prod_binary64_1811 sqrt-div_binary64_1800 diff-log_binary64_852 log-div_binary64_165 cube-prod_binary64_2152 associate-*l*_binary64_360 div-inv_binary64_2121 associate-*r*_binary64_2405 associate-*r*_binary64_18 distribute-lft-out--_binary64_1394 pow-pow_binary64_1514
9×	log-prod_binary64_2210 unpow2_binary64_1507 div-inv_binary64_1439 pow-prod-up_binary64_2194 clear-num_binary64 cancel-sign-sub-inv_binary64_2090 associate-/l*_binary64_2069 cbrt-prod_binary64_450 associate-*l*_binary64_2406 frac-2neg_binary64 exp-prod_binary64_2176 prod-exp_binary64_1832 pow-prod-up_binary64_1853
8×	sqrt-div_binary64_436 cube-prod_binary64_1129 associate--l+_binary64_356 pow-prod-down_binary64_2195 associate-/r/_binary64_1388 associate-/l/_binary64_25 swap-sqr_binary64_2432 log-pow_binary64_2213 sum-log_binary64_1192 associate-*l/_binary64_1726 sum-log_binary64 cbrt-div_binary64 pow-flip_binary64_1175 pow1/3_binary64_160 pow-prod-down_binary64_831 sqr-pow_binary64_1073
7×	unswap-sqr_binary64_728 associate-/l/_binary64 +-commutative_binary64_1713 prod-exp_binary64 pow-prod-down_binary64_1854 associate-/l/_binary64_1389 distribute-rgt-in_binary64_1392 flip3--_binary64_1446 flip--_binary64_1417 rem-log-exp_binary64_119 frac-2neg_binary64_771 1-exp_binary64_1145 rec-exp_binary64_1151 distribute-lft-in_binary64_1391 associate-*r/_binary64_361 rem-sqrt-square_binary64_2478 rem-log-exp_binary64_801 rem-sqrt-square_binary64_1114 clear-num_binary64_759
6×	associate-*l/_binary64_703 sub-neg_binary64_412 distribute-rgt-in_binary64_1733 distribute-lft-in_binary64_1732 sub-neg_binary64_1435 neg-sub0_binary64 unpow3_binary64_1849 cube-div_binary64_1471 pow-unpow_binary64_1860 diff-log_binary64_1534 div-sub_binary64 div-exp_binary64_1834 sqrt-div_binary64_95 pow-unpow_binary64_2201 pow-prod-down_binary64_149 associate--r+_binary64_355 +-commutative_binary64 distribute-rgt-out--_binary64 diff-log_binary64_511 div-exp_binary64_2175 *-commutative_binary64_691 exp-sum_binary64_1488 associate--r+_binary64_14
5×	frac-sub_binary64_1792 +-commutative_binary64_1031 pow-to-exp_binary64_147 sum-log_binary64_851 sum-log_binary64_1533 pow-pow_binary64_1855 distribute-rgt-out--_binary64_1737 difference-of-sqr-1_binary64_1753 associate--l+_binary64_15 +-commutative_binary64_1372 pow-prod-up_binary64_2535 div-exp_binary64_1493 associate-/l/_binary64_366 pow-exp_binary64_1169 exp-diff_binary64_126 pow-sqr_binary64_1756 unswap-sqr_binary64_2433 sqr-pow_binary64_2096 *-commutative_binary64_1714 pow-exp_binary64_146 neg-mul-1_binary64_756 difference-of-squares_binary64_2093 log-pow_binary64_1190 cbrt-unprod_binary64 cbrt-unprod_binary64_1816 cube-mult_binary64_1472 unpow3_binary64_1508 pow-sqr_binary64_2097 pow-to-exp_binary64_1170 sum-log_binary64_2215 rem-log-exp_binary64_1142 sum-log_binary64_169
4×	associate-*l/_binary64_362 *-commutative_binary64_9 cbrt-div_binary64_110 cbrt-undiv_binary64_1476 cbrt-undiv_binary64_1817 frac-2neg_binary64_1794 associate--l+_binary64_1379 rem-cube-cbrt_binary64_1465 inv-pow_binary64_1186 log-div_binary64_1188 div-sub_binary64_765 pow-pow_binary64_2196 distribute-lft-out--_binary64_2076 associate--r+_binary64_1719 *-commutative_binary64_2055 clear-num_binary64_1441 cbrt-unprod_binary64_2157 pow-pow_binary64_150 unpow3_binary64_144 cube-div_binary64 prod-exp_binary64_2173 frac-2neg_binary64_1453 unswap-sqr_binary64 associate-*l*_binary64 cube-mult_binary64_108 neg-log_binary64 sin-mult_binary64_233 clear-num_binary64_1782 unswap-sqr_binary64_46 pow-to-exp_binary64_1852 pow-prod-up_binary64_1512 sqrt-pow1_binary64_437 pow-prod-down_binary64_2536 pow-exp_binary64_1851 div-sub_binary64_83 frac-times_binary64_2475 pow1/2_binary64_499 sqrt-div_binary64_777 pow-sqr_binary64_1415 sqr-pow_binary64 rem-sqrt-square_binary64_432 associate-*r/_binary64_2407
3×	exp-prod_binary64_1494 pow-prod-down_binary64_490 pow-prod-down_binary64 1-exp_binary64_463 pow1/3_binary64_501 cbrt-undiv_binary64_2158 associate--l-_binary64 frac-sub_binary64_87 frac-add_binary64_86 cancel-sign-sub-inv_binary64_2431 swap-sqr_binary64_45 unswap-sqr_binary64_387 cube-mult_binary64_2154 associate-+l-_binary64_1718 sqr-sin-a_binary64_226 associate--l-_binary64_16 rec-exp_binary64_469 clear-num_binary64_2123 pow-unpow_binary64 *-commutative_binary64_350 +-commutative_binary64_690 +-commutative_binary64_2054 unpow3_binary64_2190 associate-+r+_binary64_1715 distribute-rgt-in_binary64_2074 rec-exp_binary64_810 associate-*r/_binary64_20 exp-prod_binary64_1835 sqr-abs_binary64_1798 sqr-abs_binary64_2139 pow-pow_binary64 1-exp_binary64_2168 distribute-frac-neg_binary64 sqrt-unprod_binary64_1121 pow-sqr_binary64_2438 1-exp_binary64_804 unpow-prod-down_binary64_839 distribute-lft-in_binary64_2073 pow-pow_binary64_832 div-sub_binary64_1106 frac-2neg_binary64_2135 rec-exp_binary64_2174
2×	+-commutative_binary64_8 log-pow_binary64_508 associate-/l/_binary64_1730 exp-neg_binary64_807 flip3--_binary64_2128 pow-to-exp_binary64_829 pow-to-exp_binary64 associate-*l/_binary64_21 sin-sum_binary64_2257 unpow-prod-up_binary64_838 *-commutative_binary64_2396 associate-/l/_binary64_707 pow1/2_binary64_840 rec-exp_binary64 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 neg-sub0_binary64_1778 exp-diff_binary64_808 1-exp_binary64 1-exp_binary64_1827 pow-exp_binary64_828 rec-exp_binary64_1833 pow-exp_binary64_2192 inv-pow_binary64_504 frac-sub_binary64 inv-pow_binary64_845 pow-exp_binary64 sum-log_binary64_510 unpow3_binary64 pow-flip_binary64_834 cbrt-unprod_binary64_2498 cube-mult_binary64 neg-sub0_binary64_755 rem-sqrt-square_binary64_773 cube-mult_binary64_1131 associate-*l/_binary64_2408 exp-neg_binary64_1830 distribute-rgt-in_binary64_2415 flip--_binary64_2099 unpow3_binary64_1167 diff-log_binary64_2216 exp-diff_binary64_1831 pow-flip_binary64_493 cbrt-div_binary64_792 distribute-lft-in_binary64_2414 cos-sum_binary64_212 frac-times_binary64_1111 sub-neg_binary64_2117 associate-+r+_binary64_2397 cube-div_binary64_1812 associate-*l/_binary64_1044 pow-to-exp_binary64_2193 frac-add_binary64_1450 sub-div_binary64 pow1/2_binary64_158 pow-plus_binary64_1505 prod-exp_binary64_2514 +-commutative_binary64_349 tan-sum_binary64_1577 *-commutative_binary64 frac-times_binary64_88
1×	diff-atan_binary64_2622 rem-exp-log_binary64_2164 sin-cos-mult_binary64_2280 sqrt-unprod_binary64_2144 associate-+r+_binary64_692 inv-pow_binary64_1527 exp-to-pow_binary64_822 difference-of-squares_binary64_2434 pow-prod-up_binary64_148 associate-+l-_binary64 rem-log-exp_binary64_2165 associate--r+_binary64 diff-log_binary64_2557 rem-cube-cbrt_binary64_1806 +-commutative_binary64_2395 sqrt-pow2_binary64 cube-mult_binary64_1813 rem-cbrt-cube_binary64 pow-sqr_binary64_51 rem-square-sqrt_binary64_1795 1-exp_binary64_1486 sum-log_binary64_2556 rem-exp-log_binary64_118 sqrt-unprod_binary64_1803 pow-plus_binary64_1846 rem-cbrt-cube_binary64_2148 pow-plus_binary64_141 difference-of-sqr-1_binary64_1071 frac-add_binary64_768 pow1/3_binary64 sqrt-unprod_binary64_2485 pow-plus_binary64_2528 flip--_binary64_2440 frac-sub_binary64_428 diff-sin_binary64_2274 rem-cube-cbrt_binary64_2147 pow-flip_binary64_1516 pow-flip_binary64 flip3--_binary64_2469 pow-unpow_binary64_837 pow2_binary64_159 associate-+r+_binary64_2056 sqrt-pow2_binary64_2143 associate-*l/_binary64_2067 sub-neg_binary64_2458 pow1/3_binary64_2206 associate--r-_binary64_1722 associate--r+_binary64_1037 pow-plus_binary64_2187 frac-sub_binary64_1110 pow2_binary64_1523 distribute-lft-out--_binary64_2417 inv-pow_binary64 rem-cube-cbrt_binary64 pow2_binary64_2546 rem-square-sqrt_binary64_2136 swap-sqr_binary64_1409 associate--l+_binary64_2061 sqr-pow_binary64_732 associate-*r/_binary64_2066 sqr-abs_binary64_2480 associate-+r+_binary64_10 frac-times_binary64_2134 distribute-lft-out_binary64_2416 pow2_binary64_2205 rem-square-sqrt_binary64_2477 un-div-inv_binary64_758 rec-exp_binary64_1492 pow2_binary64_1864 diff-cos_binary64_229 difference-of-sqr-1_binary64_1412

Calls

344 calls:

61.0ms	(-.f64 (/.f64 x (cbrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sin.f64 x) (cbrt.f64 (-.f64 x (tan.f64 x)))))
48.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
45.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
43.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)))))
39.0ms	(-.f64 (+.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 N)) (/.f64 1/2 (*.f64 N N)))