rewrite4.5s (3.1%)

Algorithm

109×	rewrite-expression-head

Rules

1336×	times-frac_binary64_425
1203×	times-frac_binary64_2812
1193×	times-frac_binary64_84
1132×	*-un-lft-identity_binary64_419
1030×	add-sqr-sqrt_binary64_441
1023×	*-un-lft-identity_binary64_78
958×	add-sqr-sqrt_binary64_100
956×	times-frac_binary64
945×	*-un-lft-identity_binary64
879×	add-sqr-sqrt_binary64_2828
870×	add-sqr-sqrt_binary64
733×	*-un-lft-identity_binary64_2806
620×	add-cube-cbrt_binary64_454
591×	add-cube-cbrt_binary64_2841
543×	add-cube-cbrt_binary64_113
522×	add-cube-cbrt_binary64
422×	cbrt-prod_binary64
384×	add-exp-log_binary64_457
343×	cancel-sign-sub-inv_binary64_44
332×	*-un-lft-identity_binary64_1783
324×	unpow-prod-down_binary64_498
271×	difference-of-squares_binary64_388
270×	sqrt-prod_binary64
250×	associate-*r*_binary64_18
244×	add-sqr-sqrt_binary64_1805
239×	associate-*r*_binary64_2746 add-sqr-sqrt_binary64_1123
238×	*-un-lft-identity_binary64_760 *-un-lft-identity_binary64_1101
231×	add-exp-log_binary64
230×	*-un-lft-identity_binary64_2124
219×	add-sqr-sqrt_binary64_782
207×	add-cbrt-cube_binary64 add-exp-log_binary64_1139
200×	add-log-exp_binary64_1822
197×	add-cbrt-cube_binary64_1137
196×	difference-of-squares_binary64
192×	add-cbrt-cube_binary64_455
191×	distribute-lft-out_binary64_29
187×	distribute-lft-out_binary64_370
185×	div-exp_binary64_470
181×	sqrt-prod_binary64_435
177×	*-un-lft-identity_binary64_1442
168×	difference-of-squares_binary64_2775
164×	add-sqr-sqrt_binary64_1464
160×	times-frac_binary64_1107
158×	sqr-pow_binary64_391
155×	associate-*r*_binary64_359
151×	associate-*r*_binary64 add-cube-cbrt_binary64_1136
148×	add-cube-cbrt_binary64_795
144×	difference-of-squares_binary64_47
142×	times-frac_binary64_1448
140×	add-cube-cbrt_binary64_1818
137×	add-cube-cbrt_binary64_1477
136×	times-frac_binary64_766
133×	add-exp-log_binary64_116 add-sqr-sqrt_binary64_2146
129×	add-log-exp_binary64_1140
121×	unpow-prod-down_binary64
120×	prod-exp_binary64_468
115×	times-frac_binary64_1789
109×	add-exp-log_binary64_2844
108×	add-cube-cbrt_binary64_2159
105×	div-inv_binary64_75
103×	add-cbrt-cube_binary64_114 pow1_binary64_1162 distribute-lft-out--_binary64
98×	add-exp-log_binary64_1821 add-cbrt-cube_binary64_2842 associate-/r*_binary64_363
97×	add-cbrt-cube_binary64_1819
92×	distribute-lft-out_binary64_1734
91×	associate-/r*_binary64 associate-*l*_binary64_360
89×	cancel-sign-sub-inv_binary64_385 cbrt-prod_binary64_109
88×	sum-log_binary64_1874 unpow-prod-down_binary64_2885
86×	distribute-rgt-in_binary64_28 distribute-lft-in_binary64_27
85×	times-frac_binary64_2130 sqr-pow_binary64_2778
84×	frac-sub_binary64_769 pow1_binary64 difference-of-sqr-1_binary64_2776
82×	frac-times_binary64_770 add-log-exp_binary64_2163 pow1_binary64_139 pow1_binary64_1844
81×	exp-neg_binary64_807
79×	add-log-exp_binary64
78×	associate-*r*_binary64_1041 associate-*l*_binary64
74×	add-exp-log_binary64_798
72×	prod-exp_binary64_1150 cbrt-undiv_binary64_453
71×	div-inv_binary64_2803 add-exp-log_binary64_1480
69×	distribute-lft-out_binary64_2075 distribute-lft-out--_binary64_30
67×	associate-/l*_binary64_364
66×	prod-exp_binary64 cbrt-unprod_binary64_1134 cube-prod_binary64
64×	associate-/r/_binary64_24 div-inv_binary64_416 add-log-exp_binary64_799 distribute-lft-out--_binary64_371
63×	exp-diff_binary64_808
62×	distribute-lft-out_binary64
61×	neg-sub0_binary64_755 pow1_binary64_2867 unpow-prod-down_binary64_839
60×	add-cbrt-cube_binary64_1478 pow1_binary64_1503
59×	associate-*l*_binary64_19 associate-*r/_binary64 div-exp_binary64
58×	flip3-+_binary64 cbrt-unprod_binary64 flip-+_binary64
57×	add-cbrt-cube_binary64_796
55×	cbrt-undiv_binary64
54×	associate-/r*_binary64_2750
50×	add-exp-log_binary64_2162
49×	1-exp_binary64_463 cube-prod_binary64_788
47×	add-log-exp_binary64_458 div-inv_binary64
46×	flip3-+_binary64_763 cbrt-unprod_binary64_452 flip-+_binary64_734 associate-*r*_binary64_700 associate-*l*_binary64_701
45×	associate-*l*_binary64_1042 associate-*r*_binary64_1723
44×	associate-*r*_binary64_1382 associate-/l*_binary64_2751 add-cbrt-cube_binary64_2160
43×	prod-exp_binary64_127
42×	sqrt-prod_binary64_2822 associate-*r/_binary64_702 exp-prod_binary64_1835
41×	associate-*l/_binary64_703 distribute-lft-out_binary64_711 div-exp_binary64_1152
40×	difference-of-squares_binary64_1752 cbrt-undiv_binary64_1135 log-pow_binary64_1872 add-log-exp_binary64_2845 flip--_binary64_735 flip3--_binary64_764
39×	cancel-sign-sub-inv_binary64_726 associate-/l*_binary64 pow1_binary64_821
38×	associate-/r/_binary64 flip3-+_binary64_1786 flip-+_binary64_1757 cbrt-prod_binary64_2155 add-log-exp_binary64_117
37×	associate-/l*_binary64_23 cancel-sign-sub-inv_binary64_1067
36×	flip-+_binary64_2098 flip3-+_binary64_2127 sqrt-prod_binary64_1117 sqrt-prod_binary64_2140 pow1_binary64_480 pow1_binary64_2185
35×	cancel-sign-sub-inv_binary64_1749
34×	frac-add_binary64 add-log-exp_binary64_1481 diff-log_binary64_1193 cbrt-div_binary64
33×	associate-*l*_binary64_1383
32×	associate-/r/_binary64_1047 flip-+_binary64_52 div-exp_binary64_2857 flip3-+_binary64_81
31×	cbrt-unprod_binary64_111 sum-log_binary64_2215
30×	frac-times_binary64
29×	associate-/r*_binary64_22
28×	associate-/r*_binary64_1386 difference-of-squares_binary64_1070 associate-*r/_binary64_1725 associate-/l*_binary64_1728 pow-prod-down_binary64_1172 distribute-lft-out--_binary64_2758
26×	unswap-sqr_binary64_46
25×	div-exp_binary64_129 unpow-prod-down_binary64_2203 associate-/r*_binary64_1045 cbrt-prod_binary64_1473 flip3--_binary64_1105 flip--_binary64_1076
24×	cbrt-undiv_binary64_2840 cbrt-prod_binary64_450 associate-/l*_binary64_1046 associate-/r/_binary64_365 swap-sqr_binary64_1068 distribute-lft-out_binary64_1052
23×	associate-*l*_binary64_2747 flip-+_binary64_1416 flip3-+_binary64_1445 difference-of-squares_binary64_729 associate-/r*_binary64_2068 associate-*l*_binary64_1724
22×	distribute-lft-out--_binary64_1735 flip3-+_binary64_1104 flip-+_binary64_1075
21×	cbrt-unprod_binary64_1816 associate-/r*_binary64_704 prod-exp_binary64_1832
20×	flip--_binary64_53 flip3--_binary64 unswap-sqr_binary64_387 associate-*r*_binary64_2064 flip--_binary64 cbrt-undiv_binary64_112 flip3--_binary64_82 un-div-inv_binary64_758 div-inv_binary64_757
19×	sum-log_binary64_1192 div-inv_binary64_1098 cancel-sign-sub-inv_binary64
18×	distribute-rgt-in_binary64_369 sub-neg_binary64_1094 cbrt-div_binary64_1815 distribute-lft-out--_binary64_1053 unswap-sqr_binary64 distribute-lft-in_binary64_368 distribute-lft-out_binary64_1393 pow-prod-down_binary64_149 difference-of-squares_binary64_1411
17×	flip3--_binary64_423 flip3--_binary64_1787 +-commutative_binary64_1713 associate-/r/_binary64_1388 flip--_binary64_394 prod-exp_binary64_2855 associate-/l*_binary64_705 rec-exp_binary64_469 cbrt-unprod_binary64_2839 sqrt-prod_binary64_1799 flip--_binary64_1758 associate-*l/_binary64
16×	pow-prod-down_binary64 unswap-sqr_binary64_728 log-prod_binary64_1528 flip-+_binary64_2780 pow1/3_binary64 associate-/l*_binary64_2069 associate--l+_binary64_1038 sqrt-div_binary64_2823 flip3-+_binary64_2809
15×	associate-*r/_binary64_1384 unswap-sqr_binary64_1069 sqr-pow_binary64_732
14×	cancel-sign-sub-inv_binary64_2090 associate-/r*_binary64_1727 cbrt-prod_binary64_791
13×	sub-neg_binary64_412 cbrt-unprod_binary64_1475 pow-prod-down_binary64_1854 prod-exp_binary64_809 swap-sqr_binary64_45 div-inv_binary64_1780 pow-prod-down_binary64_2877 sum-log_binary64 associate-/l/_binary64_2753 +-commutative_binary64_2054 cube-prod_binary64_2152 prod-exp_binary64_1491 div-exp_binary64_811 unswap-sqr_binary64_2774 frac-times_binary64_88
12×	*-commutative_binary64_1032 associate-/l/_binary64_1389 distribute-rgt-in_binary64_1392 difference-of-sqr-1_binary64_1753 pow-prod-down_binary64_1513 div-exp_binary64_1493 associate-+r+_binary64_2056 distribute-lft-in_binary64_1391 associate-/r/_binary64_2070 sqrt-div_binary64_2141 swap-sqr_binary64_1409 pow1/3_binary64_160 unswap-sqr_binary64_1410
11×	cbrt-undiv_binary64_1817 flip3-+_binary64_422 swap-sqr_binary64 flip3--_binary64_1446 pow-exp_binary64_828 associate-/l*_binary64_1387 associate-/l/_binary64_366 flip--_binary64_1417 div-exp_binary64_1834 flip-+_binary64_393 sub-neg_binary64_1776 associate-/r/_binary64_2752
10×	sqrt-prod_binary64_94 sqrt-div_binary64_436 clear-num_binary64_418 *-commutative_binary64_9 frac-times_binary64_1452 diff-log_binary64_1875 exp-prod_binary64_812 flip3--_binary64_2810 frac-2neg_binary64_430 clear-num_binary64 associate-+l+_binary64_1716 associate-+l+_binary64 sqr-pow_binary64_2096 diff-log_binary64_852 flip--_binary64_2781 frac-2neg_binary64 associate-/r/_binary64_706 associate-*r/_binary64_2748 *-commutative_binary64
9×	sum-log_binary64_851 pow-prod-up_binary64_148 unpow-prod-down_binary64_157 *-commutative_binary64_2737 div-inv_binary64_1439 *-commutative_binary64_1373 cube-prod_binary64_106 difference-of-squares_binary64_2093 pow1/3_binary64_1524 pow1/3_binary64_1865 diff-log_binary64_511 sqr-pow_binary64
8×	cube-prod_binary64_1129 cbrt-undiv_binary64_1476 pow-to-exp_binary64_829 exp-sum_binary64_1829 frac-add_binary64_1791 sqrt-div_binary64_1118 pow-plus_binary64_141 sqrt-div_binary64_1800 distribute-rgt-in_binary64 cbrt-div_binary64_2156 cube-div_binary64_789 unpow-prod-down_binary64_1180 associate-*r/_binary64_20 associate--r+_binary64_355 cube-div_binary64_2153 associate-/l/_binary64_2071 div-exp_binary64_2175 sub-neg_binary64_71 exp-sum_binary64_1488 distribute-lft-in_binary64 log-prod_binary64_846
7×	distribute-lft-out--_binary64_712 cbrt-undiv_binary64_794 associate-*l/_binary64_21 unpow3_binary64_826 distribute-lft-out--_binary64_2076 frac-2neg_binary64_89 cbrt-prod_binary64_1814 clear-num_binary64_77 *-commutative_binary64_1714 div-sub_binary64 log-prod_binary64_1869 cube-mult_binary64_790 cbrt-unprod_binary64_793 clear-num_binary64_2805 unswap-sqr_binary64_1751 unpow-prod-down_binary64_1521 frac-2neg_binary64_2817 sqrt-div_binary64
6×	associate-/l/_binary64 pow1/2_binary64_2886 cbrt-undiv_binary64_2158 cube-prod_binary64_447 cancel-sign-sub-inv_binary64_2772 frac-times_binary64_1793 associate-/l/_binary64_707 log-prod_binary64_1187 sqrt-pow1_binary64_2824 clear-num_binary64_1100 frac-2neg_binary64_1112 associate-*l/_binary64_1385 pow-unpow_binary64_837 associate-*l*_binary64_2065 pow-unpow_binary64 rem-sqrt-square_binary64_2819 associate-*r/_binary64_361 associate-+r+_binary64_1715 cbrt-prod_binary64_2837 sub-neg_binary64_753 +-commutative_binary64 div-inv_binary64_2121 *-commutative_binary64_691
5×	associate-*l/_binary64_362 frac-2neg_binary64_1794 sub-neg_binary64 pow-to-exp_binary64 diff-log_binary64 pow-sqr_binary64_51 sqr-pow_binary64_50 pow-exp_binary64 associate-/l/_binary64_1048 prod-exp_binary64_2173 clear-num_binary64_2123 frac-2neg_binary64_771 +-commutative_binary64_690 clear-num_binary64_1782 clear-num_binary64_759 pow-pow_binary64 frac-2neg_binary64_2135
4×	associate-/l/_binary64_1730 cbrt-div_binary64_2838 +-commutative_binary64_1031 distribute-rgt-in_binary64_1733 exp-sum_binary64_806 pow1/2_binary64_2204 cbrt-div_binary64_451 sqrt-pow1_binary64_1801 associate--l-_binary64 swap-sqr_binary64_1750 unswap-sqr_binary64_2092 distribute-lft-in_binary64_1732 diff-log_binary64_170 distribute-lft-in_binary64_2755 sqrt-pow1_binary64_2142 clear-num_binary64_1441 cube-mult_binary64_2154 pow1/2_binary64_1863 associate-*l/_binary64_1726 cube-div_binary64_448 frac-times_binary64_429 pow2_binary64_159 sub-neg_binary64_2799 frac-2neg_binary64_1453 frac-sub_binary64_1110 sqrt-prod_binary64_1458 log-div_binary64_847 rem-sqrt-square_binary64_2137 log-pow_binary64_1190 frac-times_binary64_1111 associate-*l/_binary64_1044 rec-exp_binary64_810 rem-sqrt-square_binary64 rem-sqrt-square_binary64_1114 sqrt-pow1_binary64_1119 log-div_binary64_1529 sqr-pow_binary64_1073 rem-sqrt-square_binary64_1796 associate--l+_binary64_697 frac-add_binary64_2132 1-exp_binary64_804 pow1/2_binary64_1181 diff-log_binary64_2898 pow-pow_binary64_832 distribute-rgt-in_binary64_2756
3×	pow-prod-down_binary64_490 pow-to-exp_binary64_147 div-sub_binary64_1788 rec-exp_binary64_128 sum-log_binary64_1533 pow1/2_binary64 distribute-rgt-out--_binary64_1737 1-exp_binary64_122 associate-/l/_binary64_25 +-commutative_binary64_1372 rem-exp-log_binary64_800 pow-unpow_binary64_1519 rem-cube-cbrt_binary64_783 frac-sub_binary64_428 cbrt-unprod_binary64_2157 associate-*r/_binary64_1043 difference-of-sqr-1_binary64_730 exp-prod_binary64_1153 pow-unpow_binary64_2883 sqrt-pow1_binary64 *-commutative_binary64_350 pow-exp_binary64_146 unpow3_binary64_2190 exp-diff_binary64_1831 associate-*r/_binary64_2066 exp-sum_binary64_1147 pow-prod-up_binary64_1512 pow-prod-down_binary64_831 pow-sqr_binary64_1415 pow-pow_binary64_1514 div-sub_binary64_2811
2×	pow1/3_binary64_501 associate-/r/_binary64_1729 rem-exp-log_binary64_1823 pow-plus_binary64_1164 pow-prod-down_binary64_2195 pow1/3_binary64_2888 pow-prod-up_binary64_1171 rec-exp_binary64_2856 pow2_binary64_1182 1-exp_binary64_1486 cube-mult_binary64_449 rem-log-exp_binary64_1483 rem-cbrt-cube_binary64_2148 frac-add_binary64_768 *-commutative_binary64_2055 inv-pow_binary64_845 unpow3_binary64 log-div_binary64_1870 pow-flip_binary64_834 cube-mult_binary64 unpow3_binary64_144 associate-+r+_binary64 rem-cbrt-cube_binary64_443 pow-exp_binary64_1169 cube-div_binary64 log-pow_binary64_849 associate-*l/_binary64_2067 pow-sqr_binary64_1756 pow1/3_binary64_2206 pow-sqr_binary64_1074 cube-mult_binary64_1131 associate--r+_binary64_1037 1-exp_binary64_2850 unpow3_binary64_1167 distribute-rgt1-in_binary64_2080 diff-log_binary64_2216 pow2_binary64_1523 cube-mult_binary64_108 cbrt-div_binary64_792 distribute-rgt-out_binary64_2077 sub-neg_binary64_2117 unpow3_binary64_485 pow-to-exp_binary64_1170 sqrt-pow1_binary64_437 pow-sqr_binary64 frac-times_binary64_2134 log-pow_binary64_1531 1-exp_binary64_2168 pow-plus_binary64_1505 pow1/2_binary64_499 pow-prod-up_binary64 associate--l-_binary64_1039 rec-exp_binary64_1492 div-sub_binary64_424 rec-exp_binary64_2174 pow-prod-up_binary64_1853 rem-sqrt-square_binary64_432
1×	exp-prod_binary64_1494 +-commutative_binary64_8 frac-sub_binary64_1792 pow-exp_binary64_2874 inv-pow_binary64_1527 flip3--_binary64_2128 rem-cbrt-cube_binary64_784 cancel-sign-sub-inv_binary64_1408 distribute-lft-neg-in_binary64_717 inv-pow_binary64_163 log-div_binary64_1188 distribute-rgt-neg-in_binary64_718 sub-neg_binary64_1435 sqrt-pow2_binary64 rem-cbrt-cube_binary64 rem-exp-log_binary64_1482 un-div-inv_binary64_76 pow-plus_binary64_1846 inv-pow_binary64_504 sub-div_binary64_1790 pow-pow_binary64_2878 distribute-rgt-in_binary64_710 sum-log_binary64_510 pow-flip_binary64_1516 rem-log-exp_binary64_1824 diff-log_binary64_1534 rem-3cbrt-lft_binary64_103 pow-to-exp_binary64_2875 neg-log_binary64_853 1-exp_binary64_1145 rec-exp_binary64_1151 sqr-pow_binary64_1414 neg-mul-1_binary64_756 pow1/3_binary64_842 flip--_binary64_2099 pow-plus_binary64 sqrt-pow1_binary64_1460 pow-flip_binary64_493 rem-cube-cbrt_binary64 exp-to-pow_binary64_1504 sum-log_binary64_2897 pow-exp_binary64_1510 rem-log-exp_binary64_801 associate-+r-_binary64_2058 pow1/2_binary64_1522 distribute-rgt-in_binary64_2074 distribute-lft-out_binary64_2757 pow3_binary64_161 pow-flip_binary64_2198 distribute-lft-in_binary64_709 un-div-inv_binary64_2122 sqrt-pow2_binary64_1461 rem-log-exp_binary64_1142 exp-diff_binary64_1149 distribute-lft-out--_binary64_1394 +-commutative_binary64_349 inv-pow_binary64_2209 pow2_binary64 pow2_binary64_1864 pow-flip_binary64_152 pow-to-exp_binary64_1511 distribute-lft-in_binary64_2073 +-commutative_binary64_2736 sum-log_binary64_169 un-div-inv_binary64_1099

Calls

300 calls:

91.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)))) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (sqrt.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)))))
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)))
67.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
61.0ms	(*.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
59.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))