rewrite26.6s (9.3%)

Algorithm

106×	rewrite-expression-head

Rules

1003×	*-un-lft-identity_binary64_760
790×	sqrt-prod_binary64_776
693×	times-frac_binary64_766
642×	add-sqr-sqrt_binary64
611×	*-un-lft-identity_binary64
529×	times-frac_binary64
521×	*-un-lft-identity_binary64_78
499×	add-sqr-sqrt_binary64_782
493×	add-sqr-sqrt_binary64_100
485×	times-frac_binary64_84
482×	*-un-lft-identity_binary64_2124
453×	times-frac_binary64_2130
423×	add-sqr-sqrt_binary64_2146
419×	add-cube-cbrt_binary64_795
371×	add-sqr-sqrt_binary64_1123
364×	add-cube-cbrt_binary64
358×	*-un-lft-identity_binary64_1101
350×	add-sqr-sqrt_binary64_1464
342×	*-un-lft-identity_binary64_1442
324×	add-cube-cbrt_binary64_113
319×	distribute-lft-out_binary64_711
270×	associate-*r/_binary64_20
263×	add-cube-cbrt_binary64_2159
260×	sqrt-prod_binary64_2140
215×	add-exp-log_binary64_116 times-frac_binary64_1448
204×	add-exp-log_binary64
191×	frac-add_binary64_86
188×	add-cbrt-cube_binary64_114
187×	add-cube-cbrt_binary64_1136
178×	*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_1477
174×	add-sqr-sqrt_binary64_441
168×	cancel-sign-sub-inv_binary64_44
166×	add-sqr-sqrt_binary64_1805
162×	times-frac_binary64_1107
149×	cbrt-prod_binary64_450 add-log-exp_binary64
138×	unpow-prod-down_binary64_157 pow1_binary64_2185 add-exp-log_binary64_1139
134×	associate-*r*_binary64_1041
125×	pow1_binary64_821 add-exp-log_binary64_1821
124×	*-un-lft-identity_binary64_1783 add-exp-log_binary64_2162
122×	difference-of-squares_binary64
120×	add-exp-log_binary64_798
119×	pow1_binary64_139
118×	add-cbrt-cube_binary64
115×	distribute-lft-out_binary64_2075
108×	flip3-+_binary64_81 flip-+_binary64_52
105×	sqrt-prod_binary64
103×	associate-*r*_binary64_1723 tan-quot_binary64_2283
102×	distribute-lft-out--_binary64 add-cbrt-cube_binary64_2160
101×	add-cube-cbrt_binary64_454
99×	add-cbrt-cube_binary64_796 frac-sub_binary64_87
98×	add-cube-cbrt_binary64_1818
97×	associate-/r*_binary64
93×	add-log-exp_binary64_117
92×	add-cbrt-cube_binary64_1137 add-log-exp_binary64_799
88×	add-cbrt-cube_binary64_1819 pow1_binary64
87×	add-exp-log_binary64_1480
83×	associate-+r+_binary64_10
82×	add-exp-log_binary64_457 pow1_binary64_1162
81×	log-prod_binary64_1187 add-cbrt-cube_binary64_455
79×	add-log-exp_binary64_1481
78×	add-log-exp_binary64_458
75×	add-log-exp_binary64_1822
74×	associate--l+_binary64_15
73×	difference-of-squares_binary64_47
71×	add-cbrt-cube_binary64_1478
70×	associate-*l*_binary64_1042
68×	associate-/l*_binary64_2069
66×	associate-/l*_binary64_23 difference-of-squares_binary64_1411
63×	pow1_binary64_1844 associate-/l*_binary64_705
61×	unpow-prod-down_binary64
60×	cancel-sign-sub-inv_binary64_1408 cancel-sign-sub-inv_binary64_385
59×	distribute-lft-out--_binary64_30
58×	sqrt-div_binary64_777 div-exp_binary64_129 div-exp_binary64
57×	distribute-lft-out_binary64_29 pow1_binary64_480
55×	add-log-exp_binary64_1140 associate-/l*_binary64
52×	prod-exp_binary64_127
51×	associate-*l*_binary64_1724 pow1_binary64_1503
50×	sqrt-prod_binary64_1117
49×	prod-exp_binary64_1150 unswap-sqr_binary64_1069
48×	add-log-exp_binary64_2163 unpow-prod-down_binary64_1180 cbrt-prod_binary64 associate-/r*_binary64_22 cbrt-unprod_binary64_111
47×	cbrt-undiv_binary64_112 pow-prod-down_binary64_2195 flip3-+_binary64_1445 flip-+_binary64_1416 prod-exp_binary64
46×	sqr-pow_binary64_50 associate-*l/_binary64 prod-exp_binary64_1832
45×	log-pow_binary64_167 cancel-sign-sub-inv_binary64_2090
44×	associate-*l/_binary64_21
43×	associate-/r*_binary64_704 frac-times_binary64_2134 associate-/r*_binary64_1386
42×	div-inv_binary64_75 associate-*r*_binary64_700 log-prod_binary64_164 cancel-sign-sub-inv_binary64 associate-*l*_binary64_1383
41×	associate-*r/_binary64_2066
40×	flip3--_binary64 difference-of-squares_binary64_1070 distribute-lft-out_binary64_1052 flip--_binary64 difference-of-squares_binary64_2093
38×	sum-log_binary64 cancel-sign-sub-inv_binary64_1067
37×	cbrt-div_binary64_451 distribute-lft-in_binary64_27 distribute-rgt-in_binary64_28 unpow-prod-down_binary64_1862
36×	associate-/r/_binary64_2070 frac-add_binary64
35×	associate-*r*_binary64_1382 distribute-lft-out--_binary64_1394 frac-times_binary64_88 frac-add_binary64_1450 associate-/r*_binary64_2068
34×	distribute-lft-out_binary64_1393 sqrt-prod_binary64_94
33×	flip3-+_binary64_763 distribute-lft-out--_binary64_1053 flip-+_binary64_734 associate-*r*_binary64_359 unswap-sqr_binary64_1751 associate-*r*_binary64
32×	log-pow_binary64_849
31×	unpow-prod-down_binary64_1521 flip3--_binary64_764 flip--_binary64_735 log-prod_binary64_846
30×	unpow2_binary64_143 flip3-+_binary64_2127 flip-+_binary64_2098
29×	associate-*r*_binary64_2064 div-exp_binary64_2175 associate-*l/_binary64_2067 difference-of-squares_binary64_388
28×	prod-exp_binary64_2173 associate-*l*_binary64_701 associate-/r/_binary64_706 associate-*r*_binary64_18
27×	sqrt-div_binary64_95 associate-+l+_binary64_1375 flip3--_binary64_1446 flip--_binary64_1417
26×	associate-*l*_binary64_19 associate-/l*_binary64_1387 cbrt-unprod_binary64_2157 associate-*l*_binary64_2065
25×	difference-of-sqr--1_binary64_1413
24×	distribute-lft-out--_binary64_2076 associate-/r/_binary64
23×	cbrt-unprod_binary64_1134 flip-+_binary64 flip3-+_binary64 cbrt-unprod_binary64_1816 cancel-sign-sub-inv_binary64_726 cbrt-undiv_binary64 div-inv_binary64_1098 div-inv_binary64_2121
22×	div-inv_binary64 cbrt-prod_binary64_2155 sqr-pow_binary64_1073
21×	sqr-pow_binary64_1414 distribute-lft-out_binary64 difference-of-squares_binary64_729 pow-to-exp_binary64 distribute-lft-out_binary64_370 sqrt-pow1_binary64_778 pow-exp_binary64 pow1/2_binary64_840 frac-times_binary64_1452 sqr-pow_binary64_1755
20×	flip--_binary64_53 flip3--_binary64_82 div-inv_binary64_757 unpow-prod-down_binary64_498 sqrt-div_binary64 associate-/r/_binary64_1047 cube-prod_binary64_1129 sqrt-div_binary64_2141 associate-/l/_binary64_1389
19×	flip--_binary64_394 *-commutative_binary64_1032 flip3--_binary64_423 cbrt-prod_binary64_791 div-exp_binary64_811 associate-*l*_binary64 associate-*l*_binary64_360
18×	flip-+_binary64_393 flip3-+_binary64_422 sub-div_binary64_85 distribute-lft-out--_binary64_371 diff-log_binary64
17×	cbrt-unprod_binary64_452 div-inv_binary64_1439 *-commutative_binary64_1714 flip3-+_binary64_1786 diff-log_binary64_170 div-exp_binary64_1493 prod-exp_binary64_468 flip-+_binary64_1757
16×	sub-neg_binary64 associate-/r/_binary64_1388 cbrt-undiv_binary64_2158 prod-exp_binary64_1491 pow-pow_binary64_1514 sub-neg_binary64_71 log-div_binary64_847 sum-log_binary64_1533 associate-*r/_binary64_361
15×	sqr-pow_binary64 associate-/r*_binary64_1045 rem-sqrt-square_binary64_773 associate-/l*_binary64_1046 cbrt-unprod_binary64 unswap-sqr_binary64_1410 clear-num_binary64_77 associate-*r/_binary64_1384 cancel-sign-sub-inv_binary64_1749 frac-2neg_binary64_89 distribute-lft-in_binary64_1050 distribute-rgt-in_binary64_1051 sub-neg_binary64_412
14×	pow1/3_binary64_501 distribute-rgt-in_binary64_1392 unswap-sqr_binary64_2092 unswap-sqr_binary64_728 pow-exp_binary64_1851 rem-sqrt-square_binary64 frac-sub_binary64_2133 distribute-lft-in_binary64_1391 sum-log_binary64_169
13×	pow-unpow_binary64_155 cube-prod_binary64_1470 cube-prod_binary64 log-div_binary64_165 prod-exp_binary64_809 distribute-rgt-neg-in_binary64 cbrt-undiv_binary64_794 sum-log_binary64_1874
12×	pow-unpow_binary64 pow-to-exp_binary64_1170 clear-num_binary64 sub-neg_binary64_1435 sqrt-pow1_binary64 pow-prod-down_binary64_1172 cube-prod_binary64_2152 distribute-rgt-out--_binary64_1055 unpow-prod-down_binary64_2203 sqrt-pow1_binary64_1119 cube-prod_binary64_106 sub-neg_binary64_753 pow-exp_binary64_1169 flip-+_binary64_1075 cbrt-prod_binary64_1814 associate-/r/_binary64_24 pow1/2_binary64_1181 pow-unpow_binary64_1519 exp-prod_binary64_1494 cube-div_binary64_2153 frac-2neg_binary64 flip3-+_binary64_1104
11×	cbrt-undiv_binary64_1476 pow1/2_binary64 log-pow_binary64_508 associate-*l/_binary64_1385 pow-to-exp_binary64_1852 pow-prod-down_binary64_1854 pow-prod-down_binary64_149 associate-/l/_binary64_25
10×	cube-prod_binary64_447 associate-*r/_binary64 cbrt-unprod_binary64_1475 sqrt-pow1_binary64_2142 diff-log_binary64_852 diff-log_binary64_511 exp-prod_binary64_471 log-prod_binary64_505 unpow3_binary64_1508 difference-of-sqr-1_binary64_1412 unswap-sqr_binary64 distribute-lft-out--_binary64_712 unpow2_binary64_1507 pow-flip_binary64_834 pow1/2_binary64_2204 associate--l+_binary64_1038 times-frac_binary64_425 diff-log_binary64_1534
9×	distribute-rgt-in_binary64_369 sum-log_binary64_510 frac-2neg_binary64_771 frac-add_binary64_427 distribute-rgt-out--_binary64_1396 distribute-lft-in_binary64_368 clear-num_binary64_759 +-commutative_binary64_1713 cbrt-unprod_binary64_793
8×	flip3--_binary64_2128 associate-/l/_binary64 pow-flip_binary64_2198 times-frac_binary64_1789 pow-sqr_binary64_2097 +-commutative_binary64 unswap-sqr_binary64_387 cbrt-undiv_binary64_453 distribute-lft-out_binary64_1734 exp-sum_binary64_806 difference-of-sqr-1_binary64_389 pow-prod-up_binary64_2194 cube-prod_binary64_1811 pow1/3_binary64 frac-times_binary64_429 swap-sqr_binary64_1068 +-commutative_binary64_1372 frac-2neg_binary64_2135 flip--_binary64_2099 div-exp_binary64_470 unswap-sqr_binary64_46 clear-num_binary64_2123 unpow-prod-down_binary64_839
7×	exp-sum_binary64_465 pow-prod-down_binary64 diff-log_binary64_1193 *-commutative_binary64_1373 flip--_binary64_1076 associate-/l/_binary64_2071 associate--r+_binary64_14 associate-*r/_binary64_702 clear-num_binary64_1441 div-exp_binary64_1152 rec-exp_binary64_2174 *-commutative_binary64_2055 cube-div_binary64_107 sum-log_binary64_851 frac-2neg_binary64_1453 *-commutative_binary64_691 1-exp_binary64_2168 pow-prod-down_binary64_490 div-inv_binary64_416 associate-/l/_binary64_707 div-sub_binary64_83 flip3--_binary64_1105 +-commutative_binary64_690
6×	rem-sqrt-square_binary64_1114 sub-neg_binary64_2117 associate--r+_binary64_1037 diff-log_binary64_1875 cbrt-div_binary64_792 flip3--_binary64_1787 *-commutative_binary64_9 sub-neg_binary64_1094 associate-*l/_binary64_362 exp-prod_binary64_812 pow-unpow_binary64_2201 swap-sqr_binary64 cube-div_binary64 diff-log_binary64_2216 log-prod_binary64_1869 flip--_binary64_1758 div-sub_binary64_765 pow-prod-down_binary64_1513 pow-pow_binary64 unpow2_binary64 pow-div_binary64_835 pow-unpow_binary64_1860
5×	unpow3_binary64_1167 distribute-rgt1-in_binary64_34 unpow3_binary64_2190 associate-*r/_binary64_1725 sqr-pow_binary64_2096 distribute-lft-out--_binary64_1735 rem-log-exp_binary64_119 cube-mult_binary64_2154 rec-exp_binary64 pow-to-exp_binary64_1511 rem-log-exp_binary64_801 log-div_binary64_1188 pow-exp_binary64_146 distribute-rgt-out_binary64_1395 associate--l-_binary64_16 +-commutative_binary64_8 +-commutative_binary64_349 pow-to-exp_binary64_147 sub-neg_binary64_1776 1-exp_binary64 sqr-pow_binary64_391 difference-of-squares_binary64_1752 distribute-rgt1-in_binary64_1398 pow-prod-down_binary64_831 *-commutative_binary64_350 cube-mult_binary64_1131 exp-prod_binary64_1835 distribute-rgt-out_binary64_31 sin-mult_binary64_574 pow-exp_binary64_1510 pow-prod-up_binary64_1171
4×	associate-/r/_binary64_1729 cube-mult_binary64_1813 unpow3_binary64_144 associate-+l+_binary64 cube-mult_binary64_108 cube-div_binary64_1812 log-div_binary64_1870 rem-cube-cbrt_binary64_2147 pow-pow_binary64_2196 neg-sub0_binary64 exp-diff_binary64_1831 1-exp_binary64_1486 neg-log_binary64 div-sub_binary64 clear-num_binary64_1100 *-commutative_binary64 inv-pow_binary64_2209 div-exp_binary64_1834 associate-+l+_binary64_1716 frac-add_binary64_1791 pow1/3_binary64_842 associate-+r+_binary64_351 rec-exp_binary64_1492 associate-/r*_binary64_1727 pow-exp_binary64_2192 1-exp_binary64_804 sin-mult_binary64_233 distribute-rgt-neg-out_binary64_1743 rec-exp_binary64_810 cbrt-undiv_binary64_1817 associate-/r*_binary64_363 inv-pow_binary64_845 cbrt-div_binary64 frac-2neg_binary64_1112 log-pow_binary64_1190 sqr-pow_binary64_732 pow-plus_binary64_2187 cbrt-undiv_binary64_1135 unpow3_binary64_1849 associate--l+_binary64_2061
3×	rem-sqrt-square_binary64_91 pow1/2_binary64_158 +-commutative_binary64_2054 distribute-lft-neg-in_binary64_1740 frac-sub_binary64_1110 unpow3_binary64 cube-mult_binary64 sqrt-unprod_binary64_2144 pow-pow_binary64_1855 exp-sum_binary64_1829 sqr-sin-a_binary64_226 distribute-rgt-in_binary64_1733 associate-+r-_binary64_12 sqrt-pow1_binary64_96 swap-sqr_binary64_45 rem-log-exp_binary64_1142 pow-unpow_binary64_496 pow-sqr_binary64_1074 distribute-lft-in_binary64_709 cbrt-div_binary64_2156 sum-log_binary64_2215 unpow3_binary64_485 distribute-rgt-in_binary64_710 distribute-lft-in_binary64_1732 cube-mult_binary64_449 associate-+r+_binary64_1715 distribute-rgt-neg-in_binary64_1741
2×	associate-*l/_binary64_703 log-pow_binary64_1872 pow-prod-up_binary64 associate-/l*_binary64_364 pow-exp_binary64_828 pow-flip_binary64_1175 inv-pow_binary64_1186 associate-/r/_binary64_365 distribute-frac-neg_binary64_1746 associate-+l-_binary64 associate--l+_binary64_1720 tan-quot_binary64_1260 associate-+l+_binary64_11 1-exp_binary64_1145 pow-to-exp_binary64_2193 pow2_binary64_2205 pow-flip_binary64_152 exp-neg_binary64_1830 associate--l-_binary64 associate-*l/_binary64_1044 associate-/l/_binary64_366 rec-exp_binary64_128 distribute-rgt-in_binary64_2074 cos-sum_binary64_553 clear-num_binary64_418 frac-2neg_binary64_430 cbrt-div_binary64_1815 frac-times_binary64_770 sin-sum_binary64_1916 associate-/l/_binary64_1048 1-exp_binary64_122 associate-+l-_binary64_13 neg-sub0_binary64_1778 tan-sum_binary64_2259 difference-of-sqr--1_binary64_1754 frac-sub_binary64_1451 inv-pow_binary64 rec-exp_binary64_1151 swap-sqr_binary64_2091 pow-flip_binary64 frac-add_binary64_2132 rem-exp-log_binary64_1823 frac-times_binary64 div-inv_binary64_1780 inv-pow_binary64_1527 distribute-lft-in_binary64_2073 exp-diff_binary64_808 pow-flip_binary64_1516 sub-div_binary64_1108 rem-sqrt-square_binary64_2137 associate-*r/_binary64_1043 pow-sqr_binary64 pow-to-exp_binary64_829
1×	log-div_binary64_506 associate--l-_binary64_1039 pow-plus_binary64 rem-log-exp_binary64_1824 associate-+l-_binary64_1718 sqr-abs_binary64_1116 associate-/l*_binary64_1728 pow-to-exp_binary64_488 associate-+l-_binary64_1377 rem-cbrt-cube_binary64_1807 sqrt-pow2_binary64 frac-2neg_binary64_1794 div-sub_binary64_1106 sin-cos-mult_binary64_1939 rem-cbrt-cube_binary64 pow-pow_binary64_491 pow2_binary64_159 rem-cube-cbrt_binary64 rem-cbrt-cube_binary64_2148 neg-mul-1_binary64_1779 pow-prod-up_binary64_148 sqrt-unprod_binary64_1121 associate--l+_binary64_1379 distribute-rgt-out--_binary64_32 inv-pow_binary64_163 un-div-inv_binary64 pow-pow_binary64_150 pow2_binary64_1182 tan-quot_binary64_237 pow2_binary64 associate--l-_binary64_357 unpow2_binary64_484 pow1/3_binary64_2206 exp-diff_binary64_467 diff-sin_binary64_1933 div-sub_binary64_2129 associate-+r+_binary64_1374 +-commutative_binary64_1031 clear-num_binary64_1782 rem-cube-cbrt_binary64_1806 rem-exp-log_binary64_800 cube-mult_binary64_1472 pow-sqr_binary64_51 unpow2_binary64_1848 pow-exp_binary64_487 rem-cbrt-cube_binary64_443 rem-cube-cbrt_binary64_442 pow-plus_binary64_1164 sum-log_binary64_1192 diff-atan_binary64_1258 pow-plus_binary64_141 pow1/3_binary64_1865 diff-cos_binary64_570 exp-to-pow_binary64_1845 difference-of-sqr-1_binary64_1753 rem-square-sqrt_binary64_1113 rem-log-exp_binary64_460

Counts

340 → 8977

Calls

252 calls:

147.0ms	(+.f64 (*.f64 (log.f64 (+.f64 x 1)) (+.f64 (/.f64 (pow.f64 (log.f64 x) 2) n) (/.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) n))) (-.f64 (*.f64 n (*.f64 (+.f64 (/.f64 (pow.f64 (log.f64 x) 2) n) (/.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) n)) (/.f64 (*.f64 (-.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) (pow.f64 (log.f64 x) 2)) 1/2) (*.f64 n n)))) (*.f64 (log.f64 x) (+.f64 (/.f64 (pow.f64 (log.f64 x) 2) n) (/.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) n)))))
98.0ms	(*.f64 n (*.f64 (+.f64 (/.f64 (pow.f64 (log.f64 x) 2) n) (/.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) n)) (/.f64 (*.f64 (-.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) (pow.f64 (log.f64 x) 2)) 1/2) (*.f64 n n))))
92.0ms	(+.f64 (/.f64 (log.f64 (+.f64 1 x)) n) (-.f64 (*.f64 (/.f64 1/2 n) (-.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) n) (/.f64 (pow.f64 (log.f64 x) 2) n))) (/.f64 (log.f64 x) n)))
73.0ms	(-.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) n) (/.f64 (pow.f64 (log.f64 x) 2) n))
71.0ms	(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

Compiler

Compiled 305972 to 188017 computations (38.6% saved)