preprocess11.3s (75.3%)

Algorithm

2×	egg-herbie

Rules

34804×	rational.json-simplify-41
3770×	rational.json-simplify-1
1944×	rational.json-simplify-35
6×	rational.json-simplify-2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	100
1	41	100
2	64	100
3	93	100
4	119	100
5	187	100
6	383	100
7	955	100
8	1199	100
9	1207	100
10	1215	100
11	1223	100
12	1231	100
13	1239	100
14	1247	100
15	1255	100
16	1263	100
17	1271	100
18	1279	100
19	1287	100
20	1295	100
21	1303	100
22	1311	100
23	1319	100
24	1327	100
25	1335	100
26	1343	100
27	1351	100
28	1359	100
29	1367	100
30	1375	100
31	1383	100
32	1391	100
33	1399	100
34	1407	100
35	1415	100
36	1423	100
37	1431	100
38	1439	100
39	1447	100
40	1455	100
41	1463	100
42	1471	100
43	4209	100
44	4217	100
45	4225	100
46	4233	100
47	4241	100
48	4249	100
49	4257	100
50	4265	100
51	4273	100
52	4281	100
53	4289	100
54	5609	100
55	5617	100
56	5625	100
57	5633	100
58	5641	100
59	5649	100
60	5657	100
61	5665	100
62	5673	100
63	5681	100
64	5689	100
65	5697	100
66	5705	100
67	5713	100
68	5721	100
69	5729	100
70	5737	100
71	5745	100
72	5753	100
73	5761	100
74	5769	100
75	5777	100
76	5785	100
77	5793	100
78	5801	100
79	5809	100
80	5817	100
81	5825	100
82	5833	100
83	5841	100
84	5849	100
85	5857	100
86	5865	100
87	5873	100
88	5881	100
89	5889	100
90	5897	100
91	5905	100
92	5913	100
93	5921	100
94	5929	100
95	5937	100
96	5945	100
97	5953	100
98	5961	100
99	5969	100
100	5977	100
101	5985	100
102	5993	100
103	6001	100
104	6009	100
105	6017	100
106	6025	100
107	6033	100
108	6041	100
109	6049	100
110	6057	100
111	6065	100
112	6073	100
113	6081	100
114	6089	100
115	6097	100
116	6105	100
117	6113	100
118	6121	100
119	6129	100
120	6137	100
121	6145	100
122	6153	100
123	6161	100
124	6169	100
125	6177	100
126	6185	100
127	6193	100
128	6201	100
129	6209	100
130	6217	100
131	6225	100
132	6233	100
133	6241	100
134	6249	100
135	6257	100
136	6265	100
137	6273	100
138	6281	100
139	6289	100
140	6297	100
141	6305	100
142	6313	100
143	6321	100
144	6329	100
145	6337	100
146	6345	100
147	6353	100
148	6361	100
149	6369	100
150	6377	100
151	6385	100
152	6393	100
153	6401	100
154	6409	100
155	6417	100
156	6425	100
157	6433	100
158	6441	100
159	6449	100
160	6457	100
161	6465	100
162	6473	100
163	6481	100
164	6489	100
165	6497	100
166	6505	100
167	6513	100
168	6521	100
169	6529	100
170	6537	100
171	6545	100
172	6553	100
173	6561	100
174	6569	100
175	6577	100
176	6585	100
177	6593	100
178	6601	100
179	6609	100
180	6617	100
181	6625	100
182	6633	100
183	6641	100
184	6649	100
185	6657	100
186	6665	100
187	6673	100
188	6681	100
189	6689	100
190	6697	100
191	6705	100
192	6713	100
193	6721	100
194	6729	100
195	6737	100
196	6745	100
197	6753	100
198	6761	100
199	6769	100
200	6777	100
201	6785	100
202	6793	100
203	6801	100
204	6809	100
205	6817	100
206	6825	100
207	6833	100
208	6841	100
209	6849	100
210	6857	100
211	6865	100
212	6873	100
213	6881	100
214	6889	100
215	6897	100
216	6905	100
217	6913	100
218	6921	100
219	6929	100
220	6937	100
221	6945	100
222	6953	100
223	6961	100
224	6969	100
225	6977	100
226	6985	100
227	6993	100
228	7001	100
229	7009	100
230	7017	100
231	7025	100
232	7033	100
233	7041	100
234	7049	100
235	7057	100
236	7065	100
237	7073	100
238	7081	100
239	7089	100
240	7097	100
241	7105	100
242	7113	100
243	7121	100
244	7129	100
245	7137	100
246	7145	100
247	7153	100
248	7161	100
249	7169	100
250	7177	100
251	7185	100
252	7193	100
253	7201	100
254	7209	100
255	7217	100
256	7225	100
257	7233	100
258	7241	100
259	7249	100
260	7257	100
261	7265	100
262	7273	100
263	7281	100
264	7289	100
265	7297	100
266	7305	100
267	7313	100
268	7321	100
269	7329	100
270	7337	100
271	7345	100
272	7353	100
273	7361	100
274	7369	100
275	7377	100
276	7385	100
277	7393	100
278	7401	100
279	7409	100
280	7417	100
281	7425	100
282	7433	100
283	7441	100
284	7449	100
285	7457	100
286	7465	100
287	7473	100
288	7481	100
289	7489	100
290	7497	100
291	7505	100
292	7513	100
293	7521	100
294	7529	100
295	7537	100
296	7545	100
297	7553	100
298	7561	100
299	7569	100
300	7577	100
301	7585	100
302	7593	100
303	7601	100
304	7609	100
305	7617	100
306	7625	100
307	7633	100
308	7641	100
309	7649	100
310	7657	100
311	7665	100
312	7673	100
313	7681	100
314	7689	100
315	7697	100
316	7705	100
317	7713	100
318	7721	100
319	7729	100
320	7737	100
321	7745	100
322	7753	100
323	7761	100
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 15 to 11 computations (26.7% saved)