rewrite1.0min (12.5%)

Algorithm

116×	rewrite-expression-head

Rules

2740×	times-frac_binary64_1448
2448×	sqrt-prod_binary64_435
2377×	times-frac_binary64_425
2260×	sqrt-prod_binary64_1458
2222×	*-un-lft-identity_binary64_1442
1883×	add-exp-log_binary64_1139
1876×	add-sqr-sqrt_binary64_1464
1545×	add-cbrt-cube_binary64_1137
1512×	add-exp-log_binary64_457
1473×	add-sqr-sqrt_binary64_441
1371×	add-cube-cbrt_binary64_1477
1350×	*-un-lft-identity_binary64_419
1340×	add-cube-cbrt_binary64_454
1334×	times-frac_binary64_1107
1087×	prod-exp_binary64_1150
938×	add-cbrt-cube_binary64_455
921×	cbrt-unprod_binary64_1134
889×	add-sqr-sqrt_binary64_1123
865×	associate-*r*_binary64_359
863×	associate-*r*_binary64_1382
804×	prod-exp_binary64_468
788×	add-sqr-sqrt_binary64
737×	*-un-lft-identity_binary64_1101
724×	*-un-lft-identity_binary64
722×	add-cube-cbrt_binary64_1136
716×	times-frac_binary64
639×	distribute-lft-out_binary64_1393
637×	add-exp-log_binary64_1480
557×	add-cube-cbrt_binary64
502×	associate-*l*_binary64_1383
454×	cbrt-unprod_binary64_452
450×	*-un-lft-identity_binary64_2124
413×	add-cbrt-cube_binary64_1478
392×	div-exp_binary64_1152
390×	*-un-lft-identity_binary64_78
387×	add-sqr-sqrt_binary64_100
368×	add-exp-log_binary64
366×	distribute-rgt-neg-in_binary64_1400 distribute-lft-neg-in_binary64_1399
360×	div-exp_binary64_470
330×	sqrt-prod_binary64_1117
327×	associate-*r*_binary64_1041
308×	sqrt-prod_binary64_94
303×	add-sqr-sqrt_binary64_782
301×	cbrt-undiv_binary64_1135
298×	prod-exp_binary64_1491
297×	pow1_binary64_480
283×	*-un-lft-identity_binary64_760 add-exp-log_binary64_798
279×	add-sqr-sqrt_binary64_1805
273×	pow1_binary64_821
270×	add-sqr-sqrt_binary64_2146
256×	add-cube-cbrt_binary64_113
235×	add-exp-log_binary64_1821
231×	pow1_binary64_1503
224×	times-frac_binary64_84
222×	add-cbrt-cube_binary64_796
212×	add-cube-cbrt_binary64_795
206×	pow1_binary64
201×	cbrt-undiv_binary64_453
198×	add-cbrt-cube_binary64 pow1_binary64_1162
185×	times-frac_binary64_1789
182×	unpow-prod-down_binary64_157 sqrt-div_binary64_1459
181×	add-exp-log_binary64_116
175×	*-un-lft-identity_binary64_1783 add-cube-cbrt_binary64_2159
170×	cbrt-unprod_binary64_1475
168×	times-frac_binary64_2130
167×	add-cube-cbrt_binary64_1818
164×	associate-*r/_binary64_1384
163×	associate-*l*_binary64_360
158×	associate-*r/_binary64_361
155×	associate-*r/_binary64_20
152×	add-cbrt-cube_binary64_1819
151×	add-exp-log_binary64_2162
149×	pow1_binary64_2185
147×	pow-prod-down_binary64_490
144×	pow1_binary64_1844
142×	sqrt-prod_binary64_776
140×	pow1_binary64_139 associate-*l*_binary64 add-cbrt-cube_binary64_2160 add-cbrt-cube_binary64_114
134×	frac-times_binary64_1452
133×	associate-*r*_binary64
132×	times-frac_binary64_766 prod-exp_binary64
129×	distribute-lft-out--_binary64_2076
126×	pow-prod-down_binary64_831
125×	sqrt-div_binary64_95 associate-*r*_binary64_700
124×	cancel-sign-sub-inv_binary64_1408 prod-exp_binary64_809
121×	frac-times_binary64_429 associate-*l*_binary64_1042
120×	div-exp_binary64_1493
112×	associate-*l/_binary64_362 frac-add_binary64_86
110×	cbrt-prod_binary64
101×	log-prod_binary64 cbrt-unprod_binary64_793
99×	pow-prod-down_binary64_1513
96×	log-pow_binary64
95×	add-sqr-sqrt_binary64_2487
93×	associate-/l*_binary64_364
92×	associate-*r*_binary64_1723
89×	flip3--_binary64_1446 flip--_binary64_1417
88×	sqrt-prod_binary64_1799
87×	pow-prod-down_binary64_1172
85×	pow-exp_binary64_487
83×	prod-exp_binary64_1832
80×	cancel-sign-sub-inv_binary64 unpow-prod-down_binary64
79×	associate-/r*_binary64_363
78×	distribute-lft-out--_binary64 div-inv_binary64_1098
77×	div-exp_binary64 div-inv_binary64_1439
76×	associate-/r*_binary64_1045 div-inv_binary64_416
75×	flip-+_binary64_52 exp-prod_binary64_2176 flip3-+_binary64_81 associate-/r*_binary64
74×	*-un-lft-identity_binary64_2465 associate-*l/_binary64_1385
73×	associate-/l*_binary64
72×	flip-+_binary64_393 flip3-+_binary64_422 add-log-exp_binary64_799
71×	add-log-exp_binary64
70×	add-log-exp_binary64_1481
69×	add-log-exp_binary64_458 add-log-exp_binary64_2163
68×	pow-unpow_binary64_837 associate-*r/_binary64_1043
67×	pow-to-exp_binary64_488
66×	associate-*l*_binary64_701 add-cube-cbrt_binary64_2500
65×	div-inv_binary64 unswap-sqr_binary64_1069 unpow-prod-down_binary64_839
64×	cbrt-undiv_binary64_1476 associate-*l*_binary64_1724
62×	associate-*r/_binary64_2066 associate-*r*_binary64_18
61×	distribute-lft-out_binary64 times-frac_binary64_2471
60×	prod-exp_binary64_2173 cbrt-div_binary64_451 pow-prod-down_binary64_2195 sqrt-pow1_binary64_96 pow-exp_binary64_1169 sqrt-div_binary64_1118
59×	associate-*r*_binary64_2064
58×	associate-/l*_binary64_1387 add-log-exp_binary64_117
56×	cbrt-unprod_binary64_2157 div-exp_binary64_1834 unswap-sqr_binary64
55×	add-log-exp_binary64_1140
54×	distribute-lft-out_binary64_29 unswap-sqr_binary64_387
53×	pow-prod-down_binary64_1854
52×	cbrt-unprod_binary64_1816 sqrt-prod_binary64
51×	unpow-prod-down_binary64_498
49×	distribute-lft-out_binary64_2075
48×	associate-*l*_binary64_2065
47×	sqrt-prod_binary64_2481 difference-of-squares_binary64
44×	tan-quot_binary64_578
43×	cbrt-unprod_binary64 pow-to-exp_binary64 pow-exp_binary64
42×	pow-unpow_binary64_155
40×	pow-exp_binary64_1510 unswap-sqr_binary64_1410 unswap-sqr_binary64_1751
39×	associate-/r*_binary64_1386
38×	flip--_binary64_1076 associate-/r/_binary64_1388 sqr-pow_binary64 flip3--_binary64_1105
37×	associate-*l*_binary64_19 cbrt-undiv_binary64 pow1/2_binary64_158 pow-unpow_binary64_2201 cbrt-prod_binary64_791
36×	add-log-exp_binary64_1822 prod-exp_binary64_127
35×	unpow-prod-down_binary64_1862
34×	sqrt-div_binary64_436 difference-of-squares_binary64_2093
33×	rem-sqrt-square_binary64_91 flip3-+_binary64_2127 cancel-sign-sub-inv_binary64_2431 *-commutative_binary64_350 flip-+_binary64_2098
32×	log-prod_binary64_2551 div-exp_binary64_129 associate-/r*_binary64_22
31×	sqrt-div_binary64_777
30×	*-commutative_binary64_1373 associate-*r/_binary64_702 difference-of-squares_binary64_47 associate-/r/_binary64_1047 difference-of-squares_binary64_1411
29×	frac-times_binary64_1111 cbrt-unprod_binary64_111 distribute-rgt-in_binary64_2074 unpow-prod-down_binary64_2203 associate--l+_binary64 exp-sum_binary64_2511 sqr-pow_binary64_732 distribute-lft-in_binary64_2073
28×	distribute-rgt-in_binary64_369 *-commutative_binary64_1032 distribute-rgt-in_binary64_1392 add-exp-log_binary64_2503 distribute-lft-in_binary64_368 associate-/r*_binary64_1727 add-cbrt-cube_binary64_2501 sqrt-pow1_binary64_437 distribute-lft-in_binary64_1391 associate-/l*_binary64_2069
26×	pow1_binary64_2526
25×	associate-/l*_binary64_1046 pow-exp_binary64_828
24×	tan-quot_binary64 swap-sqr_binary64 add-log-exp_binary64_2504 pow-exp_binary64_146 sqr-pow_binary64_50 frac-add_binary64_2132 unswap-sqr_binary64_46
23×	*-commutative_binary64_691 sub-neg_binary64_1435 unswap-sqr_binary64_2092 cbrt-undiv_binary64_112 cbrt-prod_binary64_1132 difference-of-squares_binary64_729
22×	unswap-sqr_binary64_728 distribute-lft-out--_binary64_1394 associate-/l*_binary64_1728 cancel-sign-sub-inv_binary64_2090 cbrt-undiv_binary64_1817 sqrt-pow1_binary64_778
21×	div-inv_binary64_75 cancel-sign-sub-inv_binary64_726 *-commutative_binary64 unpow2_binary64_143 associate-+r+_binary64
20×	cube-prod_binary64_447 associate-/r/_binary64 sqrt-div_binary64_2482 flip-+_binary64_734 flip3-+_binary64_763
19×	pow-prod-down_binary64 associate-*l/_binary64_1044 swap-sqr_binary64_45 pow-prod-down_binary64_149
18×	pow-unpow_binary64 pow-pow_binary64_832 clear-num_binary64 cancel-sign-sub-inv_binary64_385 *-commutative_binary64_2055 associate-/r/_binary64_24 distribute-lft-out_binary64_711 frac-2neg_binary64
17×	clear-num_binary64_418 frac-2neg_binary64_430 sqr-pow_binary64_391 div-exp_binary64_811 sqr-pow_binary64_1755
16×	associate-+l+_binary64 rem-sqrt-square_binary64_1455 pow-to-exp_binary64_147 associate-/r/_binary64_1729
15×	associate-/l*_binary64_23 flip-+_binary64_2439 clear-num_binary64_1100 associate-/l/_binary64_366 unpow-prod-down_binary64_1180 div-inv_binary64_1780 frac-2neg_binary64_1112 flip3-+_binary64_2468
14×	pow-pow_binary64_150 flip3-+_binary64_1445 *-commutative_binary64_1714 flip-+_binary64_1416 flip3--_binary64_2128 flip--_binary64_2099
13×	clear-num_binary64_1441 associate-/r*_binary64_704 frac-2neg_binary64_1453 pow-to-exp_binary64_1852 flip3-+_binary64_1786 associate-/l*_binary64_705 pow-exp_binary64_1851 flip-+_binary64_1757
12×	rem-sqrt-square_binary64_1114 sqrt-pow1_binary64_1801 associate-/r*_binary64_2409 pow1/2_binary64_1863 associate-*r/_binary64_1725 pow-to-exp_binary64_1170 cbrt-prod_binary64_2155 sqrt-pow1_binary64_1119 distribute-lft-out--_binary64_712 associate-/r*_binary64_2068 sum-log_binary64_2215 cos-sum_binary64_894 pow-to-exp_binary64_829
11×	associate-/l/_binary64 sqrt-pow1_binary64_1460 pow1/2_binary64_1522
10×	associate-/l/_binary64_1389 unpow2_binary64_1166 cbrt-prod_binary64_1473 exp-prod_binary64_2517 pow1/3_binary64_842 sqr-pow_binary64_1073 associate-+r+_binary64_2056 sqrt-div_binary64_1800 associate-*l/_binary64 sub-neg_binary64_2117 pow1/2_binary64_840
9×	sqr-pow_binary64_2096 pow-prod-up_binary64_148 cbrt-prod_binary64_450 pow-prod-up_binary64_1853 unpow2_binary64_484 pow1/3_binary64 clear-num_binary64_77 frac-2neg_binary64_89
8×	unpow-prod-up_binary64_838 div-inv_binary64_757 sqrt-pow1_binary64_2483 pow1/2_binary64_2545 associate-/l/_binary64_2071 swap-sqr_binary64_1750 frac-2neg_binary64_1794 rec-exp_binary64 rem-log-exp_binary64 pow-to-exp_binary64_1511 cube-prod_binary64_2152 div-sub_binary64_2129 pow-exp_binary64_2192 1-exp_binary64 div-inv_binary64_2121 clear-num_binary64_1782 difference-of-squares_binary64_1752 pow1/2_binary64_1181 associate-/r/_binary64_2411 log-pow_binary64_2554 difference-of-squares_binary64_2434
7×	associate-*l/_binary64_703 pow-pow_binary64_2196 *-commutative_binary64_9 flip3--_binary64 pow-to-exp_binary64_2193 flip--_binary64 pow-sub_binary64_836 sub-neg_binary64_753 rem-sqrt-square_binary64_2478 cbrt-div_binary64 log-div_binary64 pow1/2_binary64_499
6×	div-sub_binary64_1447 log-pow_binary64_1872 unpow3_binary64_485 +-commutative_binary64_2054 pow-pow_binary64 difference-of-squares_binary64_1070 1-exp_binary64_1827 rem-sqrt-square_binary64_1796 swap-sqr_binary64_727 pow-unpow_binary64_496 exp-prod_binary64_1835 cube-prod_binary64_788 rec-exp_binary64_1833 cube-mult_binary64_449 sub-neg_binary64 sub-neg_binary64_412 diff-log_binary64
5×	unpow2_binary64_825 associate-/r/_binary64_365 associate-/l*_binary64_2410 1-exp_binary64_1145 exp-diff_binary64_1490 pow-plus_binary64_1846 pow-flip_binary64 sum-log_binary64_851 pow-flip_binary64_493 associate-+l+_binary64_2057 sinh-def_binary64_945 div-exp_binary64_2516 inv-pow_binary64 rec-exp_binary64_1151 pow-sqr_binary64_51 exp-prod_binary64_1494 pow-sqr_binary64_1756 cbrt-undiv_binary64_2499 cbrt-undiv_binary64_794 +-commutative_binary64_690 log-div_binary64_1529
4×	1-exp_binary64_463 flip--_binary64_394 exp-diff_binary64_2513 clear-num_binary64_2123 flip3-+_binary64 associate-*r/_binary64 rec-exp_binary64_469 sqrt-div_binary64 flip3--_binary64_423 distribute-lft-in_binary64_27 frac-times_binary64_88 rem-sqrt-square_binary64_773 pow-prod-up_binary64_2194 div-exp_binary64_2175 distribute-rgt-in_binary64_28 cbrt-undiv_binary64_2158 frac-add_binary64_1791 flip-+_binary64 sqr-abs_binary64_93 div-sub_binary64_765 distribute-lft-out_binary64_370 cbrt-div_binary64_2156 frac-2neg_binary64_2135 associate-/l/_binary64_1730 log-div_binary64_2552 acos-asin_binary64_1964 pow-plus_binary64_2187 div-inv_binary64_2462 pow1/3_binary64_2206 difference-of-sqr-1_binary64_1753 distribute-neg-frac_binary64_1406
3×	pow-flip_binary64_152 frac-sub_binary64 pow-prod-up_binary64 sum-log_binary64_2556 cos-diff_binary64_897 sum-log_binary64_510 distribute-lft-in_binary64_1732 flip3--_binary64_82 pow1/3_binary64_501 frac-add_binary64_1450 frac-2neg_binary64_771 flip3--_binary64_764 associate--l+_binary64_2061 div-sub_binary64 inv-pow_binary64_163 clear-num_binary64_2464 distribute-rgt-out--_binary64_1396 pow2_binary64_1864 associate--r+_binary64 flip--_binary64_735 exp-diff_binary64_2172 distribute-rgt-in_binary64_1733 unpow2_binary64_2189 clear-num_binary64_759 rem-exp-log_binary64_2164 diff-log_binary64_2216 asin-acos_binary64_258 +-commutative_binary64_349 flip--_binary64_53 +-commutative_binary64_2395 distribute-lft-out_binary64_2416 distribute-lft-out--_binary64_30 cbrt-prod_binary64_109 distribute-rgt-out--_binary64 frac-2neg_binary64_2476 diff-log_binary64_1534 pow-unpow_binary64_1860 rem-log-exp_binary64_1824 pow-sqr_binary64
2×	associate-+l-_binary64 associate-/l/_binary64_707 sub-neg_binary64_1094 pow-flip_binary64_1175 prod-exp_binary64_2514 pow-prod-up_binary64_830 pow2_binary64_2205 inv-pow_binary64_1186 unpow3_binary64_2190 associate--l+_binary64_15 pow-flip_binary64_1857 unpow3_binary64_826 diff-log_binary64_852 frac-times_binary64 inv-pow_binary64_1868 pow-pow_binary64_491 flip3--_binary64_1787 distribute-lft-out_binary64_1734 sqrt-pow1_binary64 cube-mult_binary64_790 cube-mult_binary64_2154 cbrt-unprod_binary64_2498 pow2_binary64 pow-sqr_binary64_2097 associate-+r-_binary64 log-pow_binary64_1531 log-prod_binary64_1869 flip--_binary64_1758 +-commutative_binary64_1372 distribute-rgt-in_binary64_1051 pow1/2_binary64 pow-sqr_binary64_733 distribute-lft-in_binary64_1050 distribute-rgt-neg-out_binary64_1402 sum-log_binary64_1533 sum-log_binary64 frac-add_binary64_1109 sqrt-undiv_binary64_1463 cancel-sign-sub-inv_binary64_1067 associate-*l/_binary64_21
1×	div-sub_binary64_1788 sqrt-unprod_binary64_780 log-prod_binary64_1528 difference-of-squares_binary64_388 sqrt-pow2_binary64_779 +-commutative_binary64 cancel-sign-sub-inv_binary64_44 distribute-lft-out--_binary64_2417 distribute-lft-out--_binary64_371 sqrt-unprod_binary64_98 flip3--_binary64_2469 pow-pow_binary64_1855 flip--_binary64_2440 associate-/l/_binary64_1048 associate-*l/_binary64_1726 pow2_binary64_159 frac-times_binary64_1793 sinh-undef_binary64_953 neg-mul-1_binary64_1438 pow-plus_binary64 associate--l-_binary64 diff-log_binary64_2557 difference-of-sqr-1_binary64_2094 rec-exp_binary64_128 un-div-inv_binary64 pow1/3_binary64_1183 rem-square-sqrt_binary64_90 rem-cube-cbrt_binary64_783 pow1/3_binary64_160 pow2_binary64_1182 exp-sum_binary64_1829 exp-sum_binary64_1488 sub-div_binary64_1449 rem-exp-log_binary64_2505 frac-times_binary64_770 pow-sub_binary64_2200 distribute-lft-out--_binary64_1053 sub-neg_binary64_2458 rem-exp-log_binary64_1823 1-exp_binary64_122 rem-square-sqrt_binary64_1795 e-exp-1_binary64_2169 +-commutative_binary64_1713 unsub-neg_binary64_1436 diff-log_binary64_170 +-commutative_binary64_1031 flip-+_binary64_1075 pow2_binary64_841 rem-cbrt-cube_binary64_784 sub-neg_binary64_71 sqrt-unprod_binary64_1803 frac-sub_binary64_1451 rem-exp-log_binary64_1482 pow-plus_binary64_823 distribute-lft-out_binary64_1052 sqr-abs_binary64_1798 unpow2_binary64_1848 sub-div_binary64 sum-log_binary64_1192 distribute-rgt-in_binary64_710 rem-log-exp_binary64_2506 distribute-lft-in_binary64_709 pow-plus_binary64_141 frac-sub_binary64_2474 flip3-+_binary64_1104 sum-log_binary64_1874 inv-pow_binary64_504

Counts

442 → 15481

Calls

317 calls:

3.3s	(*.f64 (/.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 (hypot.f64 1 x))) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))) (neg.f64 (/.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 (hypot.f64 1 x))) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))))))
146.0ms	(*.f64 (*.f64 (*.f64 J -2) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K 2)) (*.f64 2 J))) 2))))
139.0ms	(sqrt.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 l l) x)) (+.f64 (*.f64 4 (+.f64 (/.f64 (*.f64 t t) x) (/.f64 (*.f64 t t) (*.f64 x x)))) (*.f64 2 (+.f64 (*.f64 t t) (/.f64 (*.f64 l l) (*.f64 x x)))))))
111.0ms	(-.f64 (/.f64 1/2 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))) (/.f64 (/.f64 1/2 (hypot.f64 1 x)) (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))))
94.0ms	(*.f64 (*.f64 (cos.f64 th) (/.f64 (+.f64 (*.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 (sqrt.f64 (sqrt.f64 2))))) (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 (sqrt.f64 2)))))

Compiler

Compiled 659233 to 382477 computations (42% saved)