Details

analyze53.0ms (0.8%)

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 10 to 7 computations (30% saved)

sample703.0ms (11%)

Results

692.0ms

8256×

body

256

valid

Bogosity

preprocess3.8s (60.1%)

Algorithm

2×	egg-herbie

Rules

21710×	`rational.json-simplify-41`
2322×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	19	38
2	25	38
3	35	38
4	53	38
5	101	38
6	232	38
7	609	38
8	772	38
9	778	38
10	784	38
11	790	38
12	796	38
13	802	38
14	808	38
15	814	38
16	820	38
17	826	38
18	832	38
19	838	38
20	844	38
21	850	38
22	856	38
23	2573	38
24	2579	38
25	2585	38
26	2591	38
27	2597	38
28	2603	38
29	3403	38
30	3409	38
31	3415	38
32	3421	38
33	3427	38
34	3433	38
35	3439	38
36	3445	38
37	3451	38
38	3457	38
39	3463	38
40	3469	38
41	3475	38
42	3481	38
43	3487	38
44	3493	38
45	3499	38
46	3505	38
47	3511	38
48	3517	38
49	3523	38
50	3529	38
51	3535	38
52	3541	38
53	3547	38
54	3553	38
55	3559	38
56	3565	38
57	3571	38
58	3577	38
59	3583	38
60	3589	38
61	3595	38
62	3601	38
63	3607	38
64	3613	38
65	3619	38
66	3625	38
67	3631	38
68	3637	38
69	3643	38
70	3649	38
71	3655	38
72	3661	38
73	3667	38
74	3673	38
75	3679	38
76	3685	38
77	3691	38
78	3697	38
79	3703	38
80	3709	38
81	3715	38
82	3721	38
83	3727	38
84	3733	38
85	3739	38
86	3745	38
87	3751	38
88	3757	38
89	3763	38
90	3769	38
91	3775	38
92	3781	38
93	3787	38
94	3793	38
95	3799	38
96	3805	38
97	3811	38
98	3817	38
99	3823	38
100	3829	38
101	3835	38
102	3841	38
103	3847	38
104	3853	38
105	3859	38
106	3865	38
107	3871	38
108	3877	38
109	3883	38
110	3889	38
111	3895	38
112	3901	38
113	3907	38
114	3913	38
115	3919	38
116	3925	38
117	3931	38
118	3937	38
119	3943	38
120	3949	38
121	3955	38
122	3961	38
123	3967	38
124	3973	38
125	3979	38
126	3985	38
127	3991	38
128	3997	38
129	4003	38
130	4009	38
131	4015	38
132	4021	38
133	4027	38
134	4033	38
135	4039	38
136	4045	38
137	4051	38
138	4057	38
139	4063	38
140	4069	38
141	4075	38
142	4081	38
143	4087	38
144	4093	38
145	4099	38
146	4105	38
147	4111	38
148	4117	38
149	4123	38
150	4129	38
151	4135	38
152	4141	38
153	4147	38
154	4153	38
155	4159	38
156	4165	38
157	4171	38
158	4177	38
159	4183	38
160	4189	38
161	4195	38
162	4201	38
163	4207	38
164	4213	38
165	4219	38
166	4225	38
167	4231	38
168	4237	38
169	4243	38
170	4249	38
171	4255	38
172	4261	38
173	4267	38
174	4273	38
175	4279	38
176	4285	38
177	4291	38
178	4297	38
179	4303	38
180	4309	38
181	4315	38
182	4321	38
183	4327	38
184	4333	38
185	4339	38
186	4345	38
187	4351	38
188	4357	38
189	4363	38
190	4369	38
191	4375	38
192	4381	38
193	4387	38
194	4393	38
195	4399	38
196	4405	38
197	4411	38
198	4417	38
199	4423	38
200	4429	38
201	4435	38
202	4441	38
203	4447	38
204	4453	38
205	4459	38
206	4465	38
207	4471	38
208	4477	38
209	4483	38
210	4489	38
211	4495	38
212	4501	38
213	4507	38
214	4513	38
215	4519	38
216	4525	38
217	4531	38
218	4537	38
219	4543	38
220	4549	38
221	4555	38
222	4561	38
223	4567	38
224	4573	38
225	4579	38
226	4585	38
227	4591	38
228	4597	38
229	4603	38
230	4609	38
231	4615	38
232	4621	38
233	4627	38
234	4633	38
235	4639	38
236	4645	38
237	4651	38
238	4657	38
239	4663	38
240	4669	38
241	4675	38
242	4681	38
243	4687	38
244	4693	38
245	4699	38
246	4705	38
247	4711	38
248	4717	38
249	4723	38
250	4729	38
251	4735	38
252	4741	38
253	4747	38
254	4753	38
255	4759	38
256	4765	38
257	4771	38
258	4777	38
259	4783	38
260	4789	38
261	4795	38
262	4801	38
263	4807	38
264	4813	38
265	4819	38
266	4825	38
267	4831	38
268	4837	38
269	4843	38
270	4849	38
271	4855	38
272	4861	38
273	4867	38
274	4873	38
275	4879	38
276	4885	38
277	4891	38
278	4897	38
279	4903	38
280	4909	38
281	4915	38
282	4921	38
283	4927	38
284	4933	38
285	4939	38
286	4945	38
287	4951	38
288	4957	38
289	4963	38
290	4969	38
291	4975	38
292	4981	38
293	4987	38
294	4993	38
295	4999	38
296	5005	38
297	5011	38
298	5017	38
299	5023	38
300	5029	38
301	5035	38
302	5041	38
303	5047	38
304	5053	38
305	5059	38
306	5065	38
307	5071	38
308	5077	38
309	5083	38
310	5089	38
311	5095	38
312	5101	38
313	5107	38
314	5113	38
315	5119	38
316	5125	38
317	5131	38
318	5137	38
319	5143	38
320	5149	38
321	5155	38
322	5161	38
323	5167	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify671.0ms (10.5%)

Algorithm

1×	egg-herbie

Rules

12004×	`rational.json-simplify-41`
1118×	`rational.json-simplify-1`
328×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	13	19
2	17	19
3	23	19
4	33	19
5	57	19
6	123	19
7	310	19
8	394	19
9	398	19
10	402	19
11	406	19
12	410	19
13	1300	19
14	1680	19
15	1684	19
16	1688	19
17	1692	19
18	1696	19
19	1700	19
20	1704	19
21	1708	19
22	1712	19
23	1716	19
24	1720	19
25	1724	19
26	1728	19
27	1732	19
28	1736	19
29	1740	19
30	1744	19
31	1748	19
32	1752	19
33	1756	19
34	1760	19
35	1764	19
36	1768	19
37	1772	19
38	1776	19
39	1780	19
40	1784	19
41	1788	19
42	1792	19
43	1796	19
44	1800	19
45	1804	19
46	1808	19
47	1812	19
48	1816	19
49	1820	19
50	1824	19
51	1828	19
52	1832	19
53	1836	19
54	1840	19
55	1844	19
56	1848	19
57	1852	19
58	1856	19
59	1860	19
60	1864	19
61	1868	19
62	1872	19
63	1876	19
64	1880	19
65	1884	19
66	1888	19
67	1892	19
68	1896	19
69	1900	19
70	1904	19
71	1908	19
72	1912	19
73	1916	19
74	1920	19
75	1924	19
76	1928	19
77	1932	19
78	1936	19
79	1940	19
80	1944	19
81	1948	19
82	1952	19
83	1956	19
84	1960	19
85	1964	19
86	1968	19
87	1972	19
88	1976	19
89	1980	19
90	1984	19
91	1988	19
92	1992	19
93	1996	19
94	2000	19
95	2004	19
96	2008	19
97	2012	19
98	2016	19
99	2020	19
100	2024	19
101	2028	19
102	2032	19
103	2036	19
104	2040	19
105	2044	19
106	2048	19
107	2052	19
108	2056	19
109	2060	19
110	2064	19
111	2068	19
112	2072	19
113	2076	19
114	2080	19
115	2084	19
116	2088	19
117	2092	19
118	2096	19
119	2100	19
120	2104	19
121	2108	19
122	2112	19
123	2116	19
124	2120	19
125	2124	19
126	2128	19
127	2132	19
128	2136	19
129	2140	19
130	2144	19
131	2148	19
132	2152	19
133	2156	19
134	2160	19
135	2164	19
136	2168	19
137	2172	19
138	2176	19
139	2180	19
140	2184	19
141	2188	19
142	2192	19
143	2196	19
144	2200	19
145	2204	19
146	2208	19
147	2212	19
148	2216	19
149	2220	19
150	2224	19
151	2228	19
152	2232	19
153	2236	19
154	2240	19
155	2244	19
156	2248	19
157	2252	19
158	2256	19
159	2260	19
160	2264	19
161	2268	19
162	2272	19
163	2276	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% 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

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (/.f64 (-.f64 y x) 2))

Compiler

Compiled 20 to 9 computations (55% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(+.f64 x (/.f64 (-.f64 y x) 2))
0.0ms	x	@	inf	(+.f64 x (/.f64 (-.f64 y x) 2))
0.0ms	y	@	inf	(+.f64 x (/.f64 (-.f64 y x) 2))
0.0ms	x	@	-inf	(+.f64 x (/.f64 (-.f64 y x) 2))
0.0ms	x	@	0	(+.f64 x (/.f64 (-.f64 y x) 2))

rewrite125.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1498×	`rational.json-1`
1338×	`rational.json-simplify-35`
1242×	`exponential.json-3`
1242×	`rational.json-2`
1242×	`rational.json-4`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	55	19
2	131	19
3	272	19
4	513	19
5	1176	19
6	2929	13
7	4901	13
8	6286	13
9	7963	13

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 x y) 1/2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x y) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (+.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 x y) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (+.f64 x y)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (+.f64 (.f64 (-.f64 y x) 2) (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 4 (+.f64 x y)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 4 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) 1/8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (-.f64 y x) 2) (.f64 x 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (+.f64 x y)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (+.f64 x y)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 4 (+.f64 x y))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 x y)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 x y))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 x y)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x y) 1/2) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x y) 1/2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x y) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (+.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 x y) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 x y)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (+.f64 (*.f64 (-.f64 y x) 2) (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (+.f64 x y)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 4 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) 1/8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (-.f64 y x) 2) (*.f64 x 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 x y)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (+.f64 x y)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 4 (+.f64 x y))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 x y)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 x y))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 x y)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x y) 1/2) 1)))))

simplify882.0ms (13.8%)

Algorithm

1×	egg-herbie

Rules

4510×	`rational.json-simplify-51`
2644×	`rational.json-simplify-49`
2092×	`rational.json-simplify-35`
1406×	`rational.json-simplify-1`
1322×	`rational.json-simplify-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	864
1	127	624
2	276	624
3	658	624
4	1417	624
5	2792	624
6	3737	624
7	3819	624
8	3864	624
9	3898	624
10	3928	624
11	3956	624
12	3987	624
13	4014	624
14	4041	624
15	4068	624
16	4095	624
17	4122	624
18	4149	624
19	4176	624
20	5057	624
21	5225	624
22	5267	624
23	5306	624
24	5344	624
25	5382	624
26	5576	624
27	5606	624
28	5635	624
29	5663	624
30	5691	624
31	5719	624
32	5747	624
33	5775	624
34	5803	624
35	5831	624
36	5859	624
37	5887	624
38	5915	624
39	5943	624
40	5971	624

Stop Event

1×	node limit

Counts

48 → 32

Calls

Call 1

Inputs
(*.f64 1/2 y)
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (*.f64 -1/2 x) x)
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(*.f64 1/2 y)
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(*.f64 1/2 y)
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(-.f64 (*.f64 (+.f64 x y) 1/2) 0)
(.f64 2 (.f64 (+.f64 x y) 1/4))
(.f64 (.f64 (+.f64 x y) 1/2) 1)
(.f64 1 (.f64 (+.f64 x y) 1/2))
(.f64 4 (.f64 (+.f64 x y) 1/8))
(*.f64 (+.f64 x y) 1/2)
(*.f64 1/2 (+.f64 x y))
(.f64 (.f64 2 (+.f64 x y)) 1/4)
(.f64 1/4 (.f64 2 (+.f64 x y)))
(.f64 1/4 (+.f64 (.f64 (-.f64 y x) 2) (*.f64 x 4)))
(.f64 (.f64 4 (+.f64 x y)) 1/8)
(.f64 (.f64 (+.f64 x y) 1/4) 2)
(.f64 1/8 (.f64 4 (+.f64 x y)))
(.f64 (.f64 (+.f64 x y) 1/8) 4)
(.f64 (+.f64 (.f64 (-.f64 y x) 2) (*.f64 x 4)) 1/4)
(/.f64 (*.f64 (+.f64 x y) 1/2) 1)
(/.f64 (+.f64 x y) 2)
(/.f64 (*.f64 2 (+.f64 x y)) 4)
(/.f64 (*.f64 4 (+.f64 x y)) 8)
(/.f64 (.f64 2 (.f64 4 (+.f64 x y))) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 4 (+.f64 x y)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 x y))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 4 (+.f64 x y)))))) 128)
(pow.f64 (*.f64 (+.f64 x y) 1/2) 1)

Outputs
(*.f64 1/2 y)
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 1/2 x) (.f64 1/2 y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (*.f64 -1/2 x) x)
(*.f64 1/2 x)
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 y)
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 y)
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(+.f64 (.f64 -1/2 x) (+.f64 (.f64 1/2 y) x))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(-.f64 (*.f64 (+.f64 x y) 1/2) 0)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 2 (.f64 (+.f64 x y) 1/4))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 (.f64 (+.f64 x y) 1/2) 1)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 1 (.f64 (+.f64 x y) 1/2))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 4 (.f64 (+.f64 x y) 1/8))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(*.f64 (+.f64 x y) 1/2)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 (+.f64 x y))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 (.f64 2 (+.f64 x y)) 1/4)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 1/4 (.f64 2 (+.f64 x y)))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 1/4 (+.f64 (.f64 (-.f64 y x) 2) (*.f64 x 4)))
(.f64 1/4 (+.f64 (.f64 2 (-.f64 y x)) (*.f64 x 4)))
(.f64 (.f64 4 (+.f64 x y)) 1/8)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 (.f64 (+.f64 x y) 1/4) 2)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 1/8 (.f64 4 (+.f64 x y)))
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 (.f64 (+.f64 x y) 1/8) 4)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(.f64 (+.f64 (.f64 (-.f64 y x) 2) (*.f64 x 4)) 1/4)
(.f64 1/4 (+.f64 (.f64 2 (-.f64 y x)) (*.f64 x 4)))
(/.f64 (*.f64 (+.f64 x y) 1/2) 1)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (+.f64 x y) 2)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (*.f64 2 (+.f64 x y)) 4)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (*.f64 4 (+.f64 x y)) 8)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (.f64 2 (.f64 4 (+.f64 x y))) 16)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (*.f64 4 (+.f64 x y)))) 32)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 x y))))) 64)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 4 (+.f64 x y)))))) 128)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))
(pow.f64 (*.f64 (+.f64 x y) 1/2) 1)
(+.f64 (.f64 1/2 y) (.f64 1/2 x))
(*.f64 1/2 (+.f64 y x))

eval6.0ms (0.1%)

Compiler: Compiled 242 to 153 computations (36.8% saved)

prune6.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	29	3	32
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	30	3	33

Error

Counts

33 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(/.f64 (+.f64 x y) 2)
▶	29.3b	(*.f64 1/2 y)
▶	33.6b	(*.f64 1/2 x)

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize3.0ms (0%)

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

localize3.0ms (0.1%)

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

localize5.0ms (0.1%)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(/.f64 (+.f64 x y) 2)
✓	29.3b	(*.f64 1/2 y)
✓	33.6b	(*.f64 1/2 x)

Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes12.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 1/2 x)
(*.f64 1/2 y)
(/.f64 (+.f64 x y) 2)
(+.f64 x (/.f64 (-.f64 y x) 2))

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

Calls

3 calls:

4.0ms	(+.f64 x (/.f64 (-.f64 y x) 2))
4.0ms	x
3.0ms	y

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(+.f64 x (/.f64 (-.f64 y x) 2))`

Compiler

Compiled 35 to 23 computations (34.3% saved)

regimes21.0ms (0.3%)

Accuracy

Total -49.7b remaining (-409.9%)

Threshold costs -49.7b (-409.9%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 1/2 x)
(*.f64 1/2 y)

Outputs
(*.f64 1/2 x)
(*.f64 1/2 y)
(*.f64 1/2 x)

Calls

2 calls:

12.0ms	x
9.0ms	y

Results

Error	Segments	Branch
12.1b	3	`x`
14.3b	3	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch25.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	8.302664170657233e+28	9.350118617971295e+32
11.0ms	-3.682646728147377e+50	-1.0536239989186281e+49

Results

21.0ms

240×

body

256

valid

Compiler

Compiled 194 to 160 computations (17.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	59

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 2)
(if (<=.f64 x -34000000000000000517203002557310529708089558433792) (.f64 1/2 x) (if (<=.f64 x 73999999999999996404912657268736) (.f64 1/2 y) (*.f64 1/2 x)))
(*.f64 1/2 x)

Outputs
(/.f64 (+.f64 x y) 2)
(if (<=.f64 x -34000000000000000517203002557310529708089558433792) (.f64 1/2 x) (if (<=.f64 x 73999999999999996404912657268736) (.f64 1/2 y) (*.f64 1/2 x)))
(*.f64 1/2 x)

Compiler

Compiled 31 to 23 computations (25.8% saved)

soundness0.0ms (0%)

end25.0ms (0.4%)

Compiler: Compiled 27 to 19 computations (29.6% saved)

Details

analyze53.0ms (0.8%)

sample703.0ms (11%)

preprocess3.8s (60.1%)

simplify671.0ms (10.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite125.0ms (1.9%)

simplify882.0ms (13.8%)

eval6.0ms (0.1%)

prune6.0ms (0.1%)

localize3.0ms (0%)

localize3.0ms (0.1%)

localize5.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes12.0ms (0.2%)

regimes21.0ms (0.3%)

bsearch25.0ms (0.4%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end25.0ms (0.4%)

Profiling