Details

analyze49.0ms (1.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.8s (60.7%)

Results

2.8s

8256×

body

256

valid

Bogosity

preprocess722.0ms (15.9%)

Algorithm

2×	egg-herbie

Rules

14158×	`rational.json-simplify-41`
1286×	`rational.json-simplify-1`
324×	`rational.json-simplify-35`
2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26
2	21	26
3	39	26
4	89	26
5	249	26
6	331	26
7	335	26
8	339	26
9	343	26
10	347	26
11	1236	26
12	1240	26
13	1244	26
14	1248	26
15	1252	26
16	1256	26
17	1745	26
18	1749	26
19	1753	26
20	1757	26
21	1761	26
22	1765	26
23	1769	26
24	1773	26
25	1777	26
26	1781	26
27	1785	26
28	1789	26
29	1793	26
30	1797	26
31	1801	26
32	1805	26
33	1809	26
34	1813	26
35	1817	26
36	1821	26
37	1825	26
38	1829	26
39	1833	26
40	1837	26
41	1841	26
42	1845	26
43	1849	26
44	1853	26
45	1857	26
46	1861	26
47	1865	26
48	1869	26
49	1873	26
50	1877	26
51	1881	26
52	1885	26
53	1889	26
54	1893	26
55	1897	26
56	1901	26
57	1905	26
58	1909	26
59	1913	26
60	1917	26
61	1921	26
62	1925	26
63	1929	26
64	1933	26
65	1937	26
66	1941	26
67	1945	26
68	1949	26
69	1953	26
70	1957	26
71	1961	26
72	1965	26
73	1969	26
74	1973	26
75	1977	26
76	1981	26
77	1985	26
78	1989	26
79	1993	26
80	1997	26
81	2001	26
82	2005	26
83	2009	26
84	2013	26
85	2017	26
86	2021	26
87	2025	26
88	2029	26
89	2033	26
90	2037	26
91	2041	26
92	2045	26
93	2049	26
94	2053	26
95	2057	26
96	2061	26
97	2065	26
98	2069	26
99	2073	26
100	2077	26
101	2081	26
102	2085	26
103	2089	26
104	2093	26
105	2097	26
106	2101	26
107	2105	26
108	2109	26
109	2113	26
110	2117	26
111	2121	26
112	2125	26
113	2129	26
114	2133	26
115	2137	26
116	2141	26
117	2145	26
118	2149	26
119	2153	26
120	2157	26
121	2161	26
122	2165	26
123	2169	26
124	2173	26
125	2177	26
126	2181	26
127	2185	26
128	2189	26
129	2193	26
130	2197	26
131	2201	26
132	2205	26
133	2209	26
134	2213	26
135	2217	26
136	2221	26
137	2225	26
138	2229	26
139	2233	26
140	2237	26
141	2241	26
142	2245	26
143	2249	26
144	2253	26
145	2257	26
146	2261	26
147	2265	26
148	2269	26
149	2273	26
150	2277	26
151	2281	26
152	2285	26
153	2289	26
154	2293	26
155	2297	26
156	2301	26
157	2305	26
158	2309	26
159	2313	26
160	2317	26
161	2321	26
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(/.f64 (+.f64 x y) 2)
(/.f64 (+.f64 y x) 2)

Outputs
(/.f64 (+.f64 x y) 2)
(/.f64 (+.f64 y x) 2)
(/.f64 (+.f64 x y) 2)

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify726.0ms (15.9%)

Algorithm

1×	egg-herbie

Rules

16450×	`rational.json-simplify-41`
1286×	`rational.json-simplify-1`
324×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	20	13
3	38	13
4	86	13
5	252	13
6	337	13
7	341	13
8	345	13
9	349	13
10	353	13
11	1309	13
12	1313	13
13	1317	13
14	1321	13
15	1325	13
16	1329	13
17	1818	13
18	1822	13
19	1826	13
20	1830	13
21	1834	13
22	1838	13
23	1842	13
24	1846	13
25	1850	13
26	1854	13
27	1858	13
28	1862	13
29	1866	13
30	1870	13
31	1874	13
32	1878	13
33	1882	13
34	1886	13
35	1890	13
36	1894	13
37	1898	13
38	1902	13
39	1906	13
40	1910	13
41	1914	13
42	1918	13
43	1922	13
44	1926	13
45	1930	13
46	1934	13
47	1938	13
48	1942	13
49	1946	13
50	1950	13
51	1954	13
52	1958	13
53	1962	13
54	1966	13
55	1970	13
56	1974	13
57	1978	13
58	1982	13
59	1986	13
60	1990	13
61	1994	13
62	1998	13
63	2002	13
64	2006	13
65	2010	13
66	2014	13
67	2018	13
68	2022	13
69	2026	13
70	2030	13
71	2034	13
72	2038	13
73	2042	13
74	2046	13
75	2050	13
76	2054	13
77	2058	13
78	2062	13
79	2066	13
80	2070	13
81	2074	13
82	2078	13
83	2082	13
84	2086	13
85	2090	13
86	2094	13
87	2098	13
88	2102	13
89	2106	13
90	2110	13
91	2114	13
92	2118	13
93	2122	13
94	2126	13
95	2130	13
96	2134	13
97	2138	13
98	2142	13
99	2146	13
100	2150	13
101	2154	13
102	2158	13
103	2162	13
104	2166	13
105	2170	13
106	2174	13
107	2178	13
108	2182	13
109	2186	13
110	2190	13
111	2194	13
112	2198	13
113	2202	13
114	2206	13
115	2210	13
116	2214	13
117	2218	13
118	2222	13
119	2226	13
120	2230	13
121	2234	13
122	2238	13
123	2242	13
124	2246	13
125	2250	13
126	2254	13
127	2258	13
128	2262	13
129	2266	13
130	2270	13
131	2274	13
132	2278	13
133	2282	13
134	2286	13
135	2290	13
136	2294	13
137	2298	13
138	2302	13
139	2306	13
140	2310	13
141	2314	13
142	2318	13
143	2322	13
144	2326	13
145	2330	13
146	2334	13
147	2338	13
148	2342	13
149	2346	13
150	2350	13
151	2354	13
152	2358	13
153	2362	13
154	2366	13
155	2370	13
156	2374	13
157	2378	13
158	2382	13
159	2386	13
160	2390	13
161	2394	13

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 2)

Outputs
(/.f64 (+.f64 x y) 2)

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(/.f64 (+.f64 x y) 2)

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize4.0ms (0.1%)

Compiler: Compiled 13 to 6 computations (53.8% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(/.f64 (+.f64 x y) 2)

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 2)

Outputs
(/.f64 (+.f64 x y) 2)

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end280.0ms (6.2%)

Remove: (sort x y)
Compiler: Compiled 21 to 15 computations (28.6% saved)

Details

analyze49.0ms (1.1%)

sample2.8s (60.7%)

preprocess722.0ms (15.9%)

simplify726.0ms (15.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

simplify1.0ms (0%)

soundness0.0ms (0%)

end280.0ms (6.2%)

Profiling