Details

analyze48.0ms (0.3%)

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)

sample6.9s (40.9%)

Results

6.9s

8256×

body

256

valid

Bogosity

preprocess3.9s (22.7%)

Algorithm

2×	egg-herbie

Rules

24428×	`rational.json-simplify-41`
2328×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	17	26
2	23	26
3	33	26
4	51	26
5	97	26
6	227	26
7	603	26
8	771	26
9	777	26
10	783	26
11	789	26
12	795	26
13	801	26
14	807	26
15	813	26
16	819	26
17	825	26
18	831	26
19	837	26
20	843	26
21	849	26
22	855	26
23	2726	26
24	2732	26
25	2738	26
26	2744	26
27	2750	26
28	2756	26
29	3558	26
30	3564	26
31	3570	26
32	3576	26
33	3582	26
34	3588	26
35	3594	26
36	3600	26
37	3606	26
38	3612	26
39	3618	26
40	3624	26
41	3630	26
42	3636	26
43	3642	26
44	3648	26
45	3654	26
46	3660	26
47	3666	26
48	3672	26
49	3678	26
50	3684	26
51	3690	26
52	3696	26
53	3702	26
54	3708	26
55	3714	26
56	3720	26
57	3726	26
58	3732	26
59	3738	26
60	3744	26
61	3750	26
62	3756	26
63	3762	26
64	3768	26
65	3774	26
66	3780	26
67	3786	26
68	3792	26
69	3798	26
70	3804	26
71	3810	26
72	3816	26
73	3822	26
74	3828	26
75	3834	26
76	3840	26
77	3846	26
78	3852	26
79	3858	26
80	3864	26
81	3870	26
82	3876	26
83	3882	26
84	3888	26
85	3894	26
86	3900	26
87	3906	26
88	3912	26
89	3918	26
90	3924	26
91	3930	26
92	3936	26
93	3942	26
94	3948	26
95	3954	26
96	3960	26
97	3966	26
98	3972	26
99	3978	26
100	3984	26
101	3990	26
102	3996	26
103	4002	26
104	4008	26
105	4014	26
106	4020	26
107	4026	26
108	4032	26
109	4038	26
110	4044	26
111	4050	26
112	4056	26
113	4062	26
114	4068	26
115	4074	26
116	4080	26
117	4086	26
118	4092	26
119	4098	26
120	4104	26
121	4110	26
122	4116	26
123	4122	26
124	4128	26
125	4134	26
126	4140	26
127	4146	26
128	4152	26
129	4158	26
130	4164	26
131	4170	26
132	4176	26
133	4182	26
134	4188	26
135	4194	26
136	4200	26
137	4206	26
138	4212	26
139	4218	26
140	4224	26
141	4230	26
142	4236	26
143	4242	26
144	4248	26
145	4254	26
146	4260	26
147	4266	26
148	4272	26
149	4278	26
150	4284	26
151	4290	26
152	4296	26
153	4302	26
154	4308	26
155	4314	26
156	4320	26
157	4326	26
158	4332	26
159	4338	26
160	4344	26
161	4350	26
162	4356	26
163	4362	26
164	4368	26
165	4374	26
166	4380	26
167	4386	26
168	4392	26
169	4398	26
170	4404	26
171	4410	26
172	4416	26
173	4422	26
174	4428	26
175	4434	26
176	4440	26
177	4446	26
178	4452	26
179	4458	26
180	4464	26
181	4470	26
182	4476	26
183	4482	26
184	4488	26
185	4494	26
186	4500	26
187	4506	26
188	4512	26
189	4518	26
190	4524	26
191	4530	26
192	4536	26
193	4542	26
194	4548	26
195	4554	26
196	4560	26
197	4566	26
198	4572	26
199	4578	26
200	4584	26
201	4590	26
202	4596	26
203	4602	26
204	4608	26
205	4614	26
206	4620	26
207	4626	26
208	4632	26
209	4638	26
210	4644	26
211	4650	26
212	4656	26
213	4662	26
214	4668	26
215	4674	26
216	4680	26
217	4686	26
218	4692	26
219	4698	26
220	4704	26
221	4710	26
222	4716	26
223	4722	26
224	4728	26
225	4734	26
226	4740	26
227	4746	26
228	4752	26
229	4758	26
230	4764	26
231	4770	26
232	4776	26
233	4782	26
234	4788	26
235	4794	26
236	4800	26
237	4806	26
238	4812	26
239	4818	26
240	4824	26
241	4830	26
242	4836	26
243	4842	26
244	4848	26
245	4854	26
246	4860	26
247	4866	26
248	4872	26
249	4878	26
250	4884	26
251	4890	26
252	4896	26
253	4902	26
254	4908	26
255	4914	26
256	4920	26
257	4926	26
258	4932	26
259	4938	26
260	4944	26
261	4950	26
262	4956	26
263	4962	26
264	4968	26
265	4974	26
266	4980	26
267	4986	26
268	4992	26
269	4998	26
270	5004	26
271	5010	26
272	5016	26
273	5022	26
274	5028	26
275	5034	26
276	5040	26
277	5046	26
278	5052	26
279	5058	26
280	5064	26
281	5070	26
282	5076	26
283	5082	26
284	5088	26
285	5094	26
286	5100	26
287	5106	26
288	5112	26
289	5118	26
290	5124	26
291	5130	26
292	5136	26
293	5142	26
294	5148	26
295	5154	26
296	5160	26
297	5166	26
298	5172	26
299	5178	26
300	5184	26
301	5190	26
302	5196	26
303	5202	26
304	5208	26
305	5214	26
306	5220	26
307	5226	26
308	5232	26
309	5238	26
310	5244	26
311	5250	26
312	5256	26
313	5262	26
314	5268	26
315	5274	26
316	5280	26
317	5286	26
318	5292	26
319	5298	26
320	5304	26
321	5310	26
322	5316	26
323	5322	26
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 y 500))
(+.f64 y (/.f64 x 500))

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify663.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

10726×	`rational.json-simplify-41`
1106×	`rational.json-simplify-1`
328×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	16	13
3	22	13
4	32	13
5	57	13
6	120	13
7	338	13
8	422	13
9	426	13
10	430	13
11	434	13
12	438	13
13	1308	13
14	1679	13
15	1683	13
16	1687	13
17	1691	13
18	1695	13
19	1699	13
20	1703	13
21	1707	13
22	1711	13
23	1715	13
24	1719	13
25	1723	13
26	1727	13
27	1731	13
28	1735	13
29	1739	13
30	1743	13
31	1747	13
32	1751	13
33	1755	13
34	1759	13
35	1763	13
36	1767	13
37	1771	13
38	1775	13
39	1779	13
40	1783	13
41	1787	13
42	1791	13
43	1795	13
44	1799	13
45	1803	13
46	1807	13
47	1811	13
48	1815	13
49	1819	13
50	1823	13
51	1827	13
52	1831	13
53	1835	13
54	1839	13
55	1843	13
56	1847	13
57	1851	13
58	1855	13
59	1859	13
60	1863	13
61	1867	13
62	1871	13
63	1875	13
64	1879	13
65	1883	13
66	1887	13
67	1891	13
68	1895	13
69	1899	13
70	1903	13
71	1907	13
72	1911	13
73	1915	13
74	1919	13
75	1923	13
76	1927	13
77	1931	13
78	1935	13
79	1939	13
80	1943	13
81	1947	13
82	1951	13
83	1955	13
84	1959	13
85	1963	13
86	1967	13
87	1971	13
88	1975	13
89	1979	13
90	1983	13
91	1987	13
92	1991	13
93	1995	13
94	1999	13
95	2003	13
96	2007	13
97	2011	13
98	2015	13
99	2019	13
100	2023	13
101	2027	13
102	2031	13
103	2035	13
104	2039	13
105	2043	13
106	2047	13
107	2051	13
108	2055	13
109	2059	13
110	2063	13
111	2067	13
112	2071	13
113	2075	13
114	2079	13
115	2083	13
116	2087	13
117	2091	13
118	2095	13
119	2099	13
120	2103	13
121	2107	13
122	2111	13
123	2115	13
124	2119	13
125	2123	13
126	2127	13
127	2131	13
128	2135	13
129	2139	13
130	2143	13
131	2147	13
132	2151	13
133	2155	13
134	2159	13
135	2163	13
136	2167	13
137	2171	13
138	2175	13
139	2179	13
140	2183	13
141	2187	13
142	2191	13
143	2195	13
144	2199	13
145	2203	13
146	2207	13
147	2211	13
148	2215	13
149	2219	13
150	2223	13
151	2227	13
152	2231	13
153	2235	13
154	2239	13
155	2243	13
156	2247	13
157	2251	13
158	2255	13
159	2259	13
160	2263	13
161	2267	13
162	2271	13
163	2275	13

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

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

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite1.5s (8.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1724×	`bool.json-1`
1724×	`bool.json-2`
1646×	`rational.json-1`
1236×	`rational.json-simplify-35`
1074×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	73	13
2	220	13
3	475	13
4	998	13
5	2177	13
6	4410	13
7	7000	13

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (.f64 y 1/500)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (.f64 y 1/500)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (.f64 y 1/500)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 x 1/2) (.f64 y 1/1000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (+.f64 x (.f64 y 1/250))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 x (.f64 y 1/500)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y 1/500)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 x (+.f64 x (.f64 y 1/250))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 x (.f64 y 1/500)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (+.f64 (.f64 y 1/125) (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y 1/500)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x (.f64 y 1/500)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (.f64 y 1/500)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x (.f64 y 1/250))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y 1/500)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y 1/500)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (.f64 y 1/500))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (.f64 y 1/500)) (+.f64 x (.f64 y 1/500)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (.f64 y 1/500)) (+.f64 x (*.f64 y 1/500)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (*.f64 y 1/500)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 y 1/500)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (*.f64 y 1/500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x (*.f64 y 1/500)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 x 1/2) (*.f64 y 1/1000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 x (*.f64 y 1/500)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y 1/500)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 x (+.f64 x (*.f64 y 1/250))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x (*.f64 y 1/500)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (+.f64 (*.f64 y 1/125) (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y 1/500)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (*.f64 y 1/500)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (*.f64 y 1/500)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y 1/500)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y 1/500)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (*.f64 y 1/500)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y 1/500)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y 1/500)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y 1/500)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (*.f64 y 1/500))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (*.f64 y 1/500)) (+.f64 x (*.f64 y 1/500)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (*.f64 y 1/500)) (+.f64 x (*.f64 y 1/500)))))))

simplify1.2s (7.4%)

Algorithm

1×	egg-herbie

Rules

3448×	`rational.json-simplify-1`
2812×	`rational.json-simplify-41`
1948×	`rational.json-simplify-35`
1424×	`rational.json-simplify-2`
1392×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	542
1	111	542
2	247	542
3	716	542
4	1328	542
5	2036	542
6	2368	542
7	2407	542
8	2439	542
9	2467	542
10	4939	542
11	5138	542
12	5210	542
13	5279	542
14	5327	542
15	5373	542
16	5416	542
17	5457	542
18	5498	542
19	6483	542
20	6528	542
21	6568	542
22	6602	542
23	6636	542
24	6670	542
25	6935	542

Stop Event

1×	node limit

Counts

44 → 24

Calls

Call 1

Inputs
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(-.f64 (+.f64 x (*.f64 y 1/500)) 0)
(.f64 (+.f64 x (.f64 y 1/500)) 1)
(.f64 1 (+.f64 x (.f64 y 1/500)))
(.f64 2 (.f64 (+.f64 x (*.f64 y 1/500)) 1/2))
(.f64 2 (+.f64 (.f64 x 1/2) (*.f64 y 1/1000)))
(.f64 (+.f64 x (+.f64 x (.f64 y 1/250))) 1/2)
(.f64 4 (/.f64 (+.f64 x (.f64 y 1/500)) 4))
(.f64 (.f64 (+.f64 x (*.f64 y 1/500)) 4) 1/4)
(.f64 1/2 (+.f64 x (+.f64 x (.f64 y 1/250))))
(.f64 1/4 (.f64 (+.f64 x (*.f64 y 1/500)) 4))
(.f64 1/4 (+.f64 (.f64 y 1/125) (*.f64 x 4)))
(.f64 (.f64 (+.f64 x (*.f64 y 1/500)) 1/2) 2)
(.f64 (/.f64 (+.f64 x (.f64 y 1/500)) 4) 4)
(/.f64 (+.f64 x (*.f64 y 1/500)) 1)
(/.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 2)
(/.f64 (.f64 (+.f64 x (.f64 y 1/500)) 4) 4)
(/.f64 (.f64 (+.f64 x (.f64 y 1/500)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 y 1/500)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8)))) 64)

Outputs
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(+.f64 (*.f64 1/500 y) x)
(+.f64 x (*.f64 1/500 y))
(-.f64 (+.f64 x (*.f64 y 1/500)) 0)
(+.f64 x (*.f64 1/500 y))
(.f64 (+.f64 x (.f64 y 1/500)) 1)
(+.f64 x (*.f64 1/500 y))
(.f64 1 (+.f64 x (.f64 y 1/500)))
(+.f64 x (*.f64 1/500 y))
(.f64 2 (.f64 (+.f64 x (*.f64 y 1/500)) 1/2))
(+.f64 x (*.f64 1/500 y))
(.f64 2 (+.f64 (.f64 x 1/2) (*.f64 y 1/1000)))
(.f64 (+.f64 x (+.f64 x (.f64 y 1/250))) 1/2)
(+.f64 x (*.f64 1/500 y))
(.f64 4 (/.f64 (+.f64 x (.f64 y 1/500)) 4))
(+.f64 x (*.f64 1/500 y))
(.f64 (.f64 (+.f64 x (*.f64 y 1/500)) 4) 1/4)
(+.f64 x (*.f64 1/500 y))
(.f64 1/2 (+.f64 x (+.f64 x (.f64 y 1/250))))
(+.f64 x (*.f64 1/500 y))
(.f64 1/4 (.f64 (+.f64 x (*.f64 y 1/500)) 4))
(+.f64 x (*.f64 1/500 y))
(.f64 1/4 (+.f64 (.f64 y 1/125) (*.f64 x 4)))
(.f64 (.f64 (+.f64 x (*.f64 y 1/500)) 1/2) 2)
(+.f64 x (*.f64 1/500 y))
(.f64 (/.f64 (+.f64 x (.f64 y 1/500)) 4) 4)
(+.f64 x (*.f64 1/500 y))
(/.f64 (+.f64 x (*.f64 y 1/500)) 1)
(+.f64 x (*.f64 1/500 y))
(/.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 2)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 (+.f64 x (.f64 y 1/500)) 4) 4)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 (+.f64 x (.f64 y 1/500)) 8) 8)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 y 1/500)) 8)) 16)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8))) 32)
(+.f64 x (*.f64 1/500 y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y 1/500)) 8)))) 64)
(+.f64 x (*.f64 1/500 y))

eval229.0ms (1.3%)

Compiler: Compiled 210 to 159 computations (24.3% saved)

prune4.0ms (0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Error

Counts

25 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 (*.f64 1/500 y) x)
✓	0.0b	(+.f64 x (/.f64 y 500))
▶	34.8b	(*.f64 1/500 y)
	28.4b	x

Compiler

Compiled 22 to 16 computations (27.3% saved)

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 1/500 y)

Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	y	@	inf	(*.f64 1/500 y)
0.0ms	y	@	-inf	(*.f64 1/500 y)
0.0ms	y	@	0	(*.f64 1/500 y)

rewrite85.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational.json-simplify-35`
1348×	`bool.json-1`
1348×	`bool.json-2`
1290×	`rational.json-1`
1290×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	51	7
2	154	7
3	326	7
4	651	7
5	1362	7
6	3149	7
7	5751	7

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

Inputs
(*.f64 1/500 y)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/500 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y 1/1000) (.f64 y 1/1000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/500 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/500 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y 1/250) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y 1/125) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y 2/125) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 y 2/125)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 y 2/125))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125)))) (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 1/500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 1/500 y) (.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 1/500 y) (*.f64 1/500 y))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/500 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y 1/1000) (*.f64 y 1/1000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/500 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y 1/250) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y 1/125) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y 2/125) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 y 2/125)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 y 2/125))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 y 2/125)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 y 2/125)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 y 2/125))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 1/500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 1/500 y) (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 1/500 y) (*.f64 1/500 y))))))

simplify624.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

8912×	`rational.json-simplify-41`
2270×	`rational.json-simplify-35`
1370×	`rational.json-simplify-2`
866×	`rational.json-simplify-1`
646×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	84
1	88	84
2	158	84
3	362	84
4	864	84
5	2614	84
6	3500	84
7	3601	84
8	3651	84
9	3696	84
10	3738	84
11	3778	84
12	3850	84
13	3889	84
14	3928	84
15	3967	84
16	4006	84
17	4045	84
18	4084	84
19	4123	84
20	4162	84
21	4201	84
22	4240	84
23	4279	84
24	4318	84
25	4357	84
26	4396	84
27	4435	84
28	4474	84
29	4513	84
30	4552	84
31	4552	84
32	4591	84
33	4630	84
34	4669	84
35	4708	84

Stop Event

1×	node limit

Counts

12 → 13

Calls

Call 1

Inputs
(+.f64 (*.f64 1/500 y) 0)
(+.f64 0 (*.f64 1/500 y))
(+.f64 (.f64 y 1/1000) (.f64 y 1/1000))
(-.f64 (*.f64 1/500 y) 0)
(/.f64 (*.f64 1/500 y) 1)
(/.f64 (*.f64 y 1/250) 2)
(/.f64 (*.f64 y 1/125) 4)
(/.f64 (*.f64 y 2/125) 8)
(/.f64 (.f64 2 (.f64 y 2/125)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 y 2/125))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125)))) (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125))))) 128)

Outputs
(+.f64 (*.f64 1/500 y) 0)
(*.f64 1/500 y)
(+.f64 0 (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (.f64 y 1/1000) (.f64 y 1/1000))
(*.f64 1/500 y)
(-.f64 (*.f64 1/500 y) 0)
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) 1)
(*.f64 1/500 y)
(/.f64 (*.f64 y 1/250) 2)
(*.f64 1/500 y)
(/.f64 (*.f64 y 1/125) 4)
(*.f64 1/500 y)
(/.f64 (*.f64 y 2/125) 8)
(*.f64 1/500 y)
(/.f64 (.f64 2 (.f64 y 2/125)) 16)
(*.f64 1/500 y)
(/.f64 (.f64 2 (.f64 2 (*.f64 y 2/125))) 32)
(*.f64 1/500 y)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125)))) 64)
(*.f64 1/500 y)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125)))) (.f64 2 (.f64 2 (.f64 2 (.f64 y 2/125))))) 128)
(*.f64 1/500 y)

localize611.0ms (3.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 1/500 y) x)
	0.1b	(*.f64 1/500 y)

Compiler

Compiled 13 to 8 computations (38.5% saved)

series0.0ms (0%)

Counts

1 → 6

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(+.f64 (*.f64 1/500 y) x)
0.0ms	y	@	-inf	(+.f64 (*.f64 1/500 y) x)
0.0ms	y	@	inf	(+.f64 (*.f64 1/500 y) x)
0.0ms	x	@	inf	(+.f64 (*.f64 1/500 y) x)
0.0ms	x	@	-inf	(+.f64 (*.f64 1/500 y) x)

rewrite93.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1684×	`bool.json-1`
1684×	`bool.json-2`
1628×	`rational.json-1`
1628×	`rational.json-2`
1110×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	193	13
3	403	13
4	834	13
5	1810	13
6	4108	13
7	6831	13

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(+.f64 (*.f64 1/500 y) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/500 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 1/500 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 1/500 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 1/500 y) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y 1/1000) (/.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (*.f64 1/500 y) x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/500 y) x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/500 y) x) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 x (+.f64 x (*.f64 y 1/250))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 x x) (*.f64 y 1/250)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/500 y) x) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 1/500 y) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/500 y) x) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/500 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/500 y) x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/500 y) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 1/500 y) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 1/500 y) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 1/500 y) x) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 1/500 y) x) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (*.f64 1/500 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 1/500 y) x) (+.f64 (*.f64 1/500 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 1/500 y) x) (+.f64 (*.f64 1/500 y) x))))))

simplify959.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

3840×	`rational.json-simplify-1`
3180×	`rational.json-simplify-41`
2440×	`rational.json-simplify-35`
1436×	`rational.json-simplify-2`
1296×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	309
1	109	309
2	272	309
3	748	309
4	1377	309
5	2102	309
6	2433	309
7	2476	309
8	2507	309
9	2535	309
10	2994	309
11	3136	309
12	3195	309
13	3254	309
14	3297	309
15	3340	309
16	3383	309
17	3426	309
18	3469	309
19	4378	309
20	6734	309
21	6789	309
22	6846	309
23	6897	309
24	6942	309
25	7217	309
26	7256	309
27	7294	309
28	7330	309
29	7366	309
30	7402	309
31	7438	309
32	7474	309
33	7474	309

Stop Event

1×	node limit

Counts

27 → 24

Calls

Call 1

Inputs
x
(*.f64 1/500 y)
(*.f64 1/500 y)
(*.f64 1/500 y)
x
x
(-.f64 (+.f64 (*.f64 1/500 y) x) 0)
(.f64 (+.f64 (.f64 1/500 y) x) 1)
(.f64 1 (+.f64 (.f64 1/500 y) x))
(.f64 2 (.f64 (+.f64 (*.f64 1/500 y) x) 1/2))
(.f64 2 (+.f64 (.f64 y 1/1000) (/.f64 x 2)))
(.f64 (+.f64 x (+.f64 x (.f64 y 1/250))) 1/2)
(.f64 4 (.f64 (+.f64 (*.f64 1/500 y) x) 1/4))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 4) 1/4)
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 8) 1/8)
(.f64 1/2 (+.f64 x (+.f64 x (.f64 y 1/250))))
(.f64 1/2 (+.f64 (+.f64 x x) (.f64 y 1/250)))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (*.f64 1/500 y) x) 4))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 1/4) 4)
(/.f64 (+.f64 (*.f64 1/500 y) x) 1)
(/.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 2)
(/.f64 (.f64 (+.f64 (.f64 1/500 y) x) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 1/500 y) x) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 1/500 y) x) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/500 y) x) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/500 y) x) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/500 y) x) 8)))) 64)

Outputs
x
(*.f64 1/500 y)
(*.f64 1/500 y)
(*.f64 1/500 y)
x
x
(-.f64 (+.f64 (*.f64 1/500 y) x) 0)
(+.f64 x (*.f64 1/500 y))
(.f64 (+.f64 (.f64 1/500 y) x) 1)
(+.f64 x (*.f64 1/500 y))
(.f64 1 (+.f64 (.f64 1/500 y) x))
(+.f64 x (*.f64 1/500 y))
(.f64 2 (.f64 (+.f64 (*.f64 1/500 y) x) 1/2))
(+.f64 x (*.f64 1/500 y))
(.f64 2 (+.f64 (.f64 y 1/1000) (/.f64 x 2)))
(.f64 (+.f64 x (+.f64 x (.f64 y 1/250))) 1/2)
(+.f64 x (*.f64 1/500 y))
(.f64 4 (.f64 (+.f64 (*.f64 1/500 y) x) 1/4))
(+.f64 x (*.f64 1/500 y))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 4) 1/4)
(+.f64 x (*.f64 1/500 y))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 8) 1/8)
(+.f64 x (*.f64 1/500 y))
(.f64 1/2 (+.f64 x (+.f64 x (.f64 y 1/250))))
(+.f64 x (*.f64 1/500 y))
(.f64 1/2 (+.f64 (+.f64 x x) (.f64 y 1/250)))
(+.f64 x (*.f64 1/500 y))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 1/2) 2)
(+.f64 x (*.f64 1/500 y))
(.f64 1/4 (.f64 (+.f64 (*.f64 1/500 y) x) 4))
(+.f64 x (*.f64 1/500 y))
(.f64 (.f64 (+.f64 (*.f64 1/500 y) x) 1/4) 4)
(+.f64 x (*.f64 1/500 y))
(/.f64 (+.f64 (*.f64 1/500 y) x) 1)
(+.f64 x (*.f64 1/500 y))
(/.f64 (+.f64 x (+.f64 x (*.f64 y 1/250))) 2)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 (+.f64 (.f64 1/500 y) x) 4) 4)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 (+.f64 (.f64 1/500 y) x) 8) 8)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 1/500 y) x) 8)) 16)
(+.f64 x (*.f64 1/500 y))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/500 y) x) 8))) 32)
(+.f64 x (*.f64 1/500 y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/500 y) x) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/500 y) x) 8)))) 64)
(+.f64 x (*.f64 1/500 y))

eval10.0ms (0.1%)

Compiler: Compiled 426 to 331 computations (22.3% saved)

prune7.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	50	4	54

Error

Counts

54 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (*.f64 1/500 y) x)
✓	0.0b	(+.f64 x (/.f64 y 500))
✓	34.8b	(*.f64 1/500 y)
	28.4b	x

Compiler

Compiled 22 to 16 computations (27.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (*.f64 1/500 y) x)
✓	0.0b	(+.f64 x (/.f64 y 500))
✓	34.8b	(*.f64 1/500 y)
	28.4b	x

Compiler

Compiled 22 to 16 computations (27.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (*.f64 1/500 y) x)
✓	0.0b	(+.f64 x (/.f64 y 500))
✓	34.8b	(*.f64 1/500 y)
	28.4b	x

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes17.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

Inputs
x
(*.f64 1/500 y)
(+.f64 x (/.f64 y 500))
(+.f64 (*.f64 1/500 y) x)

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

Calls

4 calls:

4.0ms	(+.f64 x (/.f64 y 500))
4.0ms	x
4.0ms	(/.f64 y 500)
4.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(+.f64 x (/.f64 y 500))`
0.0b	1	`(/.f64 y 500)`

Compiler

Compiled 34 to 23 computations (32.4% saved)

regimes29.0ms (0.2%)

Accuracy

Total -48.4b remaining (-360.8%)

Threshold costs -48.4b (-360.8%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(*.f64 1/500 y)

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

Calls

2 calls:

17.0ms	y
11.0ms	x

Results

Error	Segments	Branch
13.9b	3	`x`
13.4b	5	`y`

Compiler

Compiled 12 to 8 computations (33.3% saved)

bsearch50.0ms (0.3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
15.0ms	3.2803769601793356e+67	4.6605012384058716e+75
12.0ms	-4.146507341578303e-24	-8.042826642433648e-29
13.0ms	-3.1026054089976976e+27	-1.0107523240575134e+25
10.0ms	-2.0120334142945284e+134	-1.8059139946292353e+132

Results

42.0ms

512×

body

256

valid

Compiler

Compiled 332 to 265 computations (20.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	73

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(+.f64 x (/.f64 y 500))

(if (<=.f64 y -1850000000000000053958310847878424224922498552726101936314101305895491932888287454614228616570081005729443427168133621493160887713792) (*.f64 1/500 y) (if (<=.f64 y -289999999999999998355832832) x (if (<=.f64 y -1080192345553827/348449143727040986586495598010130648530944) (*.f64 1/500 y) (if (<=.f64 y 45999999999999997110682938782671328722500425045608951502709983281152) x (*.f64 1/500 y)))))

Outputs

(+.f64 x (/.f64 y 500))

(if (<=.f64 y -1850000000000000053958310847878424224922498552726101936314101305895491932888287454614228616570081005729443427168133621493160887713792) (*.f64 1/500 y) (if (<=.f64 y -289999999999999998355832832) x (if (<=.f64 y -1080192345553827/348449143727040986586495598010130648530944) (*.f64 1/500 y) (if (<=.f64 y 45999999999999997110682938782671328722500425045608951502709983281152) x (*.f64 1/500 y)))))

Compiler

Compiled 39 to 27 computations (30.8% saved)

soundness0.0ms (0%)

end26.0ms (0.2%)

Compiler: Compiled 35 to 23 computations (34.3% saved)

Details

analyze48.0ms (0.3%)

sample6.9s (40.9%)

preprocess3.9s (22.7%)

simplify663.0ms (3.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite1.5s (8.7%)

simplify1.2s (7.4%)

eval229.0ms (1.3%)

prune4.0ms (0%)

localize3.0ms (0%)

series1.0ms (0%)

rewrite85.0ms (0.5%)

simplify624.0ms (3.7%)

localize611.0ms (3.6%)

series0.0ms (0%)

rewrite93.0ms (0.5%)

simplify959.0ms (5.6%)

eval10.0ms (0.1%)

prune7.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes17.0ms (0.1%)

regimes29.0ms (0.2%)

bsearch50.0ms (0.3%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end26.0ms (0.2%)

Profiling