rewrite5.7s (3.5%)

Algorithm

109×	rewrite-expression-head

Rules

1829×	times-frac_binary64_773
1740×	times-frac_binary64_1805
1363×	*-un-lft-identity_binary64_767
1281×	add-sqr-sqrt_binary64_1821
1261×	times-frac_binary64_85
1145×	*-un-lft-identity_binary64_1799
1116×	add-sqr-sqrt_binary64_789
1101×	*-un-lft-identity_binary64_79
914×	times-frac_binary64
898×	add-sqr-sqrt_binary64_101
861×	add-cube-cbrt_binary64_802
827×	*-un-lft-identity_binary64
819×	add-cube-cbrt_binary64_1834
801×	add-sqr-sqrt_binary64
609×	add-cube-cbrt_binary64_114
477×	add-cube-cbrt_binary64
449×	cancel-sign-sub-inv_binary64_45
404×	*-un-lft-identity_binary64_1111
398×	add-exp-log_binary64_805
349×	add-exp-log_binary64
340×	cancel-sign-sub-inv_binary64_733
328×	add-cbrt-cube_binary64
310×	add-sqr-sqrt_binary64_1133
271×	add-exp-log_binary64_1837
255×	associate-*r*_binary64_1739
254×	difference-of-squares_binary64_1768
251×	distribute-lft-out_binary64_30
250×	add-cbrt-cube_binary64_1835
245×	times-frac_binary64_1117
238×	add-sqr-sqrt_binary64_1477
214×	associate-*r/_binary64
209×	add-cbrt-cube_binary64_803
207×	distribute-lft-out_binary64_718
205×	associate-*r*_binary64
202×	add-cube-cbrt_binary64_1146
193×	*-un-lft-identity_binary64_1455
190×	div-exp_binary64_818
187×	add-exp-log_binary64_1149
179×	difference-of-squares_binary64
176×	add-cbrt-cube_binary64_1147
173×	div-inv_binary64_76
167×	*-un-lft-identity_binary64_2831
162×	div-inv_binary64_764
155×	associate-/r*_binary64_1743
153×	add-cube-cbrt_binary64_1490
150×	frac-add_binary64
146×	add-exp-log_binary64_117 times-frac_binary64_1461
144×	flip3-+_binary64 flip-+_binary64
139×	associate-*r*_binary64_707
136×	associate-*l*_binary64_708
135×	sqrt-prod_binary64
126×	prod-exp_binary64
125×	pow1_binary64_1860
124×	cbrt-unprod_binary64
123×	*-un-lft-identity_binary64_423
121×	prod-exp_binary64_816
118×	*-un-lft-identity_binary64_3175 add-log-exp_binary64_3214
116×	add-cbrt-cube_binary64_115
114×	distribute-lft-out--_binary64_1751
110×	difference-of-squares_binary64_736
106×	*-un-lft-identity_binary64_2487 sqrt-prod_binary64_1815 associate-*r*_binary64_1051
103×	pow1_binary64
101×	distribute-lft-out_binary64_1062
100×	add-sqr-sqrt_binary64_2853
98×	difference-of-squares_binary64_48 add-exp-log_binary64_1493
97×	distribute-lft-out--_binary64 associate-/r*_binary64_711
96×	add-sqr-sqrt_binary64_445
93×	add-cube-cbrt_binary64_2866 add-log-exp_binary64_462
92×	cbrt-undiv_binary64 div-exp_binary64 frac-sub_binary64_432
91×	add-log-exp_binary64
89×	add-sqr-sqrt_binary64_2509
88×	unpow-prod-down_binary64_1878
86×	associate-/r*_binary64 associate-*l*_binary64
85×	sqr-pow_binary64_1771
84×	add-log-exp_binary64_1838 pow1_binary64_140 difference-of-sqr-1_binary64_1769
83×	exp-neg_binary64_470
81×	sqrt-prod_binary64_2847
80×	frac-times_binary64_433
79×	cbrt-undiv_binary64_801
78×	add-cube-cbrt_binary64_458 cbrt-prod_binary64
76×	add-cbrt-cube_binary64_1491
74×	distribute-lft-out_binary64_3126 distribute-rgt-in_binary64_29 sum-log_binary64_3266 distribute-lft-in_binary64_28
73×	div-exp_binary64_1850 cbrt-unprod_binary64_1832 prod-exp_binary64_1848
72×	times-frac_binary64_2837 pow1_binary64_1172
71×	div-inv_binary64_1796
70×	sqrt-prod_binary64_1471
68×	pow1_binary64_1516
67×	add-log-exp_binary64_1150
66×	exp-prod_binary64 distribute-lft-out--_binary64_719
63×	neg-sub0_binary64_418 exp-diff_binary64_471
62×	associate-/r/_binary64_25
60×	associate-/l*_binary64_24 cbrt-undiv_binary64_1833
59×	associate-*l*_binary64_1396 frac-times_binary64
58×	associate-/l*_binary64_1744 add-log-exp_binary64_2870
57×	associate-*r*_binary64_19 associate-/l*_binary64_712
56×	associate-*r*_binary64_1395 associate-/r/_binary64_1745
54×	sqrt-prod_binary64_783
53×	prod-exp_binary64_1160 times-frac_binary64_2493
51×	add-cube-cbrt_binary64_2522 add-log-exp_binary64_118
50×	cbrt-unprod_binary64_800
49×	distribute-lft-out_binary64_2782 add-log-exp_binary64_1494
48×	div-exp_binary64_1162
47×	cbrt-unprod_binary64_1144 div-inv_binary64 associate-/r*_binary64_1055 add-log-exp_binary64_806
46×	distribute-lft-out--_binary64_31 cbrt-undiv_binary64_1145 distribute-rgt-neg-in_binary64_1757
45×	associate-/l*_binary64 1-exp_binary64_811
44×	associate-*l*_binary64_1052 associate-/r/_binary64_1057
43×	cancel-sign-sub-inv_binary64_1077 pow1_binary64_828
42×	associate-*l/_binary64_366 flip3--_binary64_427 flip--_binary64_398
41×	unpow-prod-down_binary64_1534 flip3-+_binary64_426 flip-+_binary64_397
40×	associate-*l*_binary64_20 associate-*r/_binary64_365
39×	distribute-lft-out_binary64 flip3-+_binary64_1114 prod-exp_binary64_128 flip-+_binary64_1085
38×	div-inv_binary64_1108 associate-/r/_binary64_713 difference-of-squares_binary64_1080 add-exp-log_binary64_461 add-cbrt-cube_binary64_459 cbrt-prod_binary64_2862 sqrt-prod_binary64_1127
37×	add-sqr-sqrt_binary64_2165 associate-*l*_binary64_1740 pow-prod-down_binary64_1870
36×	associate-/r*_binary64_23 flip3-+_binary64_1802 flip-+_binary64_1773 flip--_binary64_54 cbrt-div_binary64_111 cbrt-prod_binary64_110 flip3--_binary64_83
34×	associate-/l*_binary64_1056 log-pow_binary64 associate-*l/_binary64
33×	cbrt-unprod_binary64_112 pow1_binary64_484
32×	pow-prod-down_binary64 cancel-sign-sub-inv_binary64_1421 cancel-sign-sub-inv_binary64_389
30×	times-frac_binary64_429 swap-sqr_binary64_1078 cbrt-prod_binary64_454
29×	div-exp_binary64_130 cube-prod_binary64_1483
28×	add-cbrt-cube_binary64_2867 difference-of-sqr--1_binary64_2458 add-exp-log_binary64_2869 flip--_binary64_1086 flip3--_binary64_1115
27×	associate-/r/_binary64 pow1_binary64_2892 flip--_binary64_1774 flip3--_binary64_1803
26×	frac-times_binary64_777 flip-+_binary64_1429 add-exp-log_binary64_2181 add-log-exp_binary64_2526 flip3-+_binary64_1458 *-un-lft-identity_binary64_2143
25×	flip--_binary64_742 flip3--_binary64_771
24×	associate-/l/_binary64_1746 pow-prod-down_binary64_150 unpow-prod-down_binary64_158 associate-/r*_binary64_2775 unswap-sqr_binary64_1423 cancel-sign-sub-inv_binary64_1765
23×	pow1_binary64_2204 cbrt-undiv_binary64_113 exp-prod_binary64_475
22×	sqrt-div_binary64_2848 flip3-+_binary64_770 distribute-lft-out_binary64_374 associate-*r/_binary64_1053 cancel-sign-sub-inv_binary64 unpow-prod-down_binary64_1190 prod-exp_binary64_1504 add-exp-log_binary64_2525 add-cbrt-cube_binary64_2523 flip-+_binary64_741
21×	flip3-+_binary64_2834 sum-log_binary64_2922 flip-+_binary64_2805
20×	sqrt-div_binary64_1816 distribute-lft-out_binary64_1406 flip-+_binary64_53 associate-*r*_binary64_2083 un-div-inv_binary64_421 distribute-lft-out_binary64_2438 flip3-+_binary64_82
19×	rec-exp_binary64_817 associate-/l/_binary64_714 diff-log_binary64_515 sum-log_binary64 pow1_binary64_2548 add-cbrt-cube_binary64_2179
18×	unpow-prod-down_binary64_2222 cbrt-unprod_binary64_1488 associate-*l/_binary64_710 div-exp_binary64_1506 flip3-+_binary64_3178 log-prod_binary64_1541 flip-+_binary64_3149 sqrt-div_binary64_1472 cbrt-div_binary64_1831 distribute-lft-out--_binary64_1063
17×	unswap-sqr_binary64_735 associate-*r/_binary64_709 associate-*r/_binary64_1397 unswap-sqr_binary64 unswap-sqr_binary64_1079 add-cube-cbrt_binary64_2178
16×	cube-prod_binary64_1139 cube-div_binary64_1140 associate-/r*_binary64_1399 unpow-prod-down_binary64_502
15×	associate-*r/_binary64_1741 associate-+l+_binary64 associate-*r*_binary64_363 *-commutative_binary64_1730 associate-/l*_binary64_2432 pow-prod-down_binary64_1526
14×	cbrt-div_binary64_455 frac-times_binary64_1121 distribute-lft-in_binary64_716 unswap-sqr_binary64_2111 distribute-rgt-in_binary64_717 *-commutative_binary64
13×	unpow-prod-down_binary64_2910 clear-num_binary64_1798 div-inv_binary64_1452 cube-prod_binary64_2859 frac-times_binary64_89 associate-/l/_binary64_1058 prod-exp_binary64_2192 associate-*l*_binary64_2084 unswap-sqr_binary64_47 unswap-sqr_binary64_1767 frac-2neg_binary64_1810
12×	cbrt-prod_binary64_2518 associate-/l*_binary64_2776 cbrt-prod_binary64_1142 sum-log_binary64_514 sub-neg_binary64_1104 sub-neg_binary64_72
11×	clear-num_binary64 diff-log_binary64_1203 frac-2neg_binary64 cube-prod_binary64_2171 div-inv_binary64_420 difference-of-squares_binary64_2456 *-commutative_binary64_1386
10×	sub-neg_binary64_416 frac-2neg_binary64_778 frac-sub_binary64_776 diff-log_binary64_1891 flip3--_binary64 sub-neg_binary64_760 frac-2neg_binary64_1122 flip-+_binary64_2461 add-cbrt-cube_binary64_3211 flip--_binary64 add-exp-log_binary64_3213 flip3-+_binary64_2490 add-cube-cbrt_binary64_3210 unpow-prod-down_binary64_2566 distribute-lft-in_binary64_1404 +-commutative_binary64_3105 distribute-rgt-in_binary64_1405 clear-num_binary64_766 sqr-pow_binary64_2115 pow1_binary64_3236 sqrt-div_binary64_784 add-sqr-sqrt_binary64_3197 associate-/l*_binary64_368 clear-num_binary64_1110
9×	pow-unpow_binary64_156 *-commutative_binary64_10 cbrt-prod_binary64_1830 swap-sqr_binary64_46 distribute-rgt-in_binary64_1061 frac-2neg_binary64_90 *-commutative_binary64_1042 distribute-rgt-in_binary64 associate-/l*_binary64_1400 sum-log_binary64_1546 associate-*r/_binary64_21 distribute-lft-in_binary64_1060 clear-num_binary64_78 +-commutative_binary64 distribute-lft-in_binary64
8×	associate-/l/_binary64_2778 associate-/l/_binary64 frac-add_binary64_3183 add-log-exp_binary64_2182 associate-/r/_binary64_1401 diff-log_binary64_859 sqrt-div_binary64_1128 associate-*l*_binary64_364 difference-of-squares_binary64_1424 cube-div_binary64_2860 rem-exp-log_binary64_463 pow1/2_binary64_1879 cbrt-div_binary64_2863 cbrt-undiv_binary64_1489 div-sub_binary64 associate-*l/_binary64_1054 sqrt-pow1_binary64_1817 sqr-pow_binary64_2459 unpow2_binary64_2552 sqr-pow_binary64_1083 associate-/r/_binary64_2777 diff-log_binary64_171 associate--r+_binary64_1047 rem-sqrt-square_binary64_1812
7×	pow1/2_binary64_2911 rem-sqrt-square_binary64_2844 sub-neg_binary64_1792 flip--_binary64_2806 distribute-lft-in_binary64_1748 unpow-prod-down_binary64 flip3--_binary64_2835 pow-prod-down_binary64_1182 sqrt-pow1_binary64_2849 pow-prod-down_binary64_838 pow-to-exp_binary64_2212 sqr-pow_binary64_1427 associate-*l/_binary64_22 distribute-rgt-in_binary64_1749 pow1/3_binary64_505 cube-prod_binary64_451 pow-exp_binary64_1523 associate-/r*_binary64_2431 distribute-lft-out_binary64_1750 pow-exp_binary64_2211 log-pow_binary64_1544
6×	distribute-lft-out--_binary64_375 sub-neg_binary64 sqrt-pow1_binary64_1473 pow1/2_binary64_1535 diff-log_binary64 rec-exp_binary64_1505 associate-+r+_binary64_3107 associate-*r/_binary64_2085 associate-+l+_binary64_3108 cbrt-div_binary64_2519 log-div_binary64_1542 cube-div_binary64_2172 sum-log_binary64_1890 associate-*l*_binary64_2428 pow1/3_binary64_161 1-exp_binary64_1499 +-commutative_binary64_1385 associate-*r*_binary64_2427 sqr-pow_binary64_395 associate-/r*_binary64_367
5×	1-exp_binary64_1843 neg-sub0_binary64_1794 +-commutative_binary64_1729 distribute-lft-out--_binary64_1407 difference-of-sqr-1_binary64_2457 sqr-pow_binary64_51 rec-exp_binary64_1849 pow-prod-up_binary64_2213 *-commutative_binary64_698 cbrt-unprod_binary64_2176 distribute-lft-out--_binary64_2439 distribute-lft-out_binary64_2094 difference-of-squares_binary64_392 unswap-sqr_binary64_391 flip-+_binary64_2117 flip3-+_binary64_2146 associate-*l/_binary64_1398
4×	frac-add_binary64_2839 pow-prod-down_binary64_2214 rec-exp_binary64_129 +-commutative_binary64_2417 pow-exp_binary64_147 cube-mult_binary64_1141 associate-/l/_binary64_370 pow-to-exp_binary64_1524 associate--l-_binary64 div-inv_binary64_2828 cbrt-undiv_binary64_2865 unpow3_binary64_1177 pow-pow_binary64_2559 pow-pow_binary64_495 exp-to-pow_binary64_485 1-exp_binary64_123 cube-prod_binary64_107 associate-+r+_binary64 sum-log_binary64_2578 pow-to-exp_binary64_148 pow-exp_binary64_1179 pow1/2_binary64_1191 frac-2neg_binary64_2842 div-exp_binary64_2882 rem-sqrt-square_binary64_1468 frac-add_binary64_1119 rem-sqrt-square_binary64_1124 rem-sqrt-square_binary64 cancel-sign-sub-inv_binary64_2453 div-sub_binary64_2836 sum-log_binary64_1202 pow-to-exp_binary64_1180 neg-log_binary64_1892 associate-/l/_binary64_2434 associate--r+_binary64_359 clear-num_binary64_2830 sqrt-pow1_binary64_1129 cube-div_binary64_1484 prod-exp_binary64_472 associate-+r+_binary64_2763 frac-times_binary64_1809 sqrt-div_binary64 +-commutative_binary64_2761
3×	flip--_binary64_2462 pow-sqr_binary64_1084 pow-prod-up_binary64_1181 pow-unpow_binary64_2564 cancel-sign-sub-inv_binary64_2797 +-commutative_binary64_1041 associate-+l+_binary64_1388 pow-unpow_binary64_2220 log-prod_binary64 pow-unpow_binary64_1188 rem-log-exp_binary64_1496 exp-prod_binary64_2539 +-commutative_binary64_353 associate--l-_binary64_1737 flip3--_binary64_2491 pow-pow_binary64_1527 diff-log_binary64_2923 sub-neg_binary64_2824 pow-pow_binary64_151 neg-log_binary64_516 pow1/3_binary64_2569 frac-2neg_binary64_1466 distribute-lft-neg-in_binary64_380 pow-plus_binary64_1174 frac-sub_binary64_1464 neg-mul-1_binary64_419 pow1/3_binary64_1881 associate-/l/_binary64_26 pow-unpow_binary64_1532 pow2_binary64_1192 pow-unpow_binary64_1876 sqr-pow_binary64 distribute-rgt-neg-in_binary64_381 clear-num_binary64_1454 *-commutative_binary64_2074
2×	div-sub_binary64_1804 sub-neg_binary64_2480 inv-pow_binary64_1540 cbrt-unprod_binary64_2520 rem-sqrt-square_binary64_780 pow-to-exp_binary64_492 pow1/3_binary64_2913 sqr-pow_binary64_2803 associate-/r/_binary64_2433 unpow3_binary64_2209 pow1/2_binary64 inv-pow_binary64_164 *-commutative_binary64_2418 cube-mult_binary64_1485 unpow3_binary64_1521 frac-2neg_binary64_2498 cube-mult_binary64_2173 unpow3_binary64_2897 div-exp_binary64_474 cube-div_binary64_452 pow-exp_binary64_491 distribute-rgt-out--_binary64_33 pow-flip_binary64_1873 associate-+r+_binary64_1043 associate-+l+_binary64_1044 associate-*r/_binary64_2429 *-commutative_binary64_354 div-inv_binary64_2484 +-commutative_binary64_697 clear-num_binary64_422 sqrt-pow1_binary64 sum-log_binary64_858 rem-cube-cbrt_binary64_1478 unswap-sqr_binary64_2455 clear-num_binary64_2486 cbrt-div_binary64 pow1/2_binary64_847 diff-log_binary64_2579 cube-mult_binary64_2861 div-exp_binary64_2538 pow-prod-down_binary64_2558 frac-2neg_binary64_434 diff-log_binary64_1547 prod-exp_binary64_2536 sqrt-pow1_binary64_785 unpow3_binary64_489 cbrt-div_binary64_1143 cube-mult_binary64_453 unpow2_binary64_144 cbrt-div_binary64_2175 pow-flip_binary64_153 pow-flip_binary64_1529 associate-+l-_binary64_1734 inv-pow_binary64_1884 cbrt-unprod_binary64_456 associate-*l/_binary64_1742 cbrt-undiv_binary64_2521 rem-cbrt-cube_binary64_2855 cbrt-undiv_binary64_457
1×	distribute-rgt-out_binary64_1064 flip--_binary64_1430 pow-prod-down_binary64_494 +-commutative_binary64_2073 associate--l+_binary64_1392 pow-exp_binary64_2555 div-sub_binary64_2492 distribute-rgt-in_binary64_2437 pow-to-exp_binary64 associate--l+_binary64_360 associate-+l-_binary64 distribute-rgt-in_binary64_2093 pow2_binary64_2224 sub-neg_binary64_1448 cbrt-prod_binary64_2174 pow1/3_binary64_1193 pow-to-exp_binary64_2556 distribute-lft-in_binary64_2436 un-div-inv_binary64_77 flip3--_binary64_1459 rem-log-exp_binary64 pow-to-exp_binary64_1868 pow1/3_binary64 pow-exp_binary64 distribute-lft1-in_binary64_2098 rem-cbrt-cube_binary64_1135 pow-flip_binary64_841 associate--l+_binary64_1048 rem-exp-log_binary64 pow2_binary64_160 rem-cbrt-cube_binary64_447 pow-pow_binary64_1183 pow-prod-up_binary64_149 cube-mult_binary64_109 pow-pow_binary64_2215 pow-exp_binary64_1867 pow-sqr_binary64_52 rem-cube-cbrt_binary64_1134 pow-unpow_binary64_500 pow-pow_binary64_1871 pow-sqr_binary64_2116 distribute-rgt1-in_binary64_2099 distribute-rgt-out_binary64_2096 frac-add_binary64_1463 pow-plus_binary64_2206 pow-plus_binary64_142 cube-unmult_binary64_2180 distribute-lft-in_binary64_2092 rem-cube-cbrt_binary64_2166 unpow3_binary64_145 inv-pow_binary64_852 pow1/3_binary64_2225 sum-log_binary64_2234 rem-3cbrt-rft_binary64_2169 frac-times_binary64_1465

Calls

307 calls:

82.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
72.0ms	(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6))) x1)))
71.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
61.0ms	(+.f64 (*.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 x1 (+.f64 (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) 2) (*.f64 x1 4))) (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (sqrt.f64 (+.f64 (*.f64 x1 x1) 1))))) (*.f64 (*.f64 x1 x1) -6))
60.0ms	(*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 2) (-.f64 b a)))