Details

analyze371.0ms (5.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
6.2%	93.6%	0.1%	6
20.3%	79.6%	0.1%	7
28.9%	71%	0.1%	8
39.8%	60.1%	0.1%	9
57.5%	42.3%	0.1%	10
63.9%	36%	0.1%	11
68.6%	31.3%	0.1%	12
79.5%	20.3%	0.1%	13
82.9%	17%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample919.0ms (12.6%)

Results

900.0ms	8254×	body	128	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess13.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	23	52
0	3	3

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	11	13

Stop Event

1×

saturated

Counts

1 → 1

prune4.0ms (0.1%)

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

6.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	6.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

series23.0ms (0.3%)

Counts

1 → 36

Calls

9 calls:

5.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))	z	0
3.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))	x	-inf
3.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))	x	inf
3.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))	x	0
2.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))	y	inf

rewrite34.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

747×	`log1p-expm1-u_binary64`
747×	`expm1-log1p-u_binary64`
167×	`expm1-udef_binary64`
167×	`log1p-udef_binary64`
93×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	173	13
2	1863	13

Stop Event

1×	node limit

Counts

1 → 16

simplify342.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1734×	`sqr-pow_binary64`
834×	`pow-sqr_binary64`
80×	`cube-prod_binary64`
80×	`cube-mult_binary64`
80×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	1143
1	114	1143
2	130	1143
3	159	1143
4	191	1143
5	225	1143
6	265	1143
7	308	1143
8	358	1143
9	411	1143
10	471	1143
11	534	1143
12	604	1143
13	677	1143
14	757	1143
15	840	1143
16	930	1143
17	1023	1143
18	1123	1143
19	1226	1143
20	1336	1143
21	1449	1143
22	1569	1143
23	1692	1143
24	1822	1143
25	1955	1143
26	2095	1143
27	2238	1143
28	2246	1143
29	2250	1143
30	2250	1143
31	2398	1143
32	2547	1143
33	2707	1143
34	2870	1143
35	3040	1143
36	3213	1143
37	3393	1143
38	3576	1143
39	3766	1143
40	3959	1143
41	4007	1143
42	4011	1143
43	4011	1143
44	4204	1143
45	4404	1143
46	4611	1143
47	4825	1143

Stop Event

1×	node limit

Counts

52 → 46

prune29.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	44	2	46
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	3	47

Error

0.0b

Counts

47 → 3

Alt Table

Status	Error	Program
✓	6.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
▶	34.4b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3))
	36.7b	(neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z)))

Compiler

Compiled 1124 to 550 computations (51.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3)
	6.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
✓	32.6b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3))

series94.0ms (1.3%)

Counts

2 → 72

Calls

18 calls:

13.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3)	z	0
10.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3)	z	inf
9.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3)	z	-inf
8.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3)	y	0
7.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3)	y	inf

rewrite43.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

905×	`log1p-expm1-u_binary64`
905×	`expm1-log1p-u_binary64`
111×	`add-sqr-sqrt_binary64`
109×	`add-cbrt-cube_binary64`
103×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	233	29
2	2327	29

Stop Event

1×	node limit

Counts

2 → 35

simplify630.0ms (8.7%)

Algorithm

1×	egg-herbie

Rules

1635×	`sqr-pow_binary64`
747×	`pow-sqr_binary64`
127×	`fma-def_binary64`
92×	`cube-mult_binary64`
92×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	296	3994
1	430	3994
2	489	3994
3	536	3994
4	598	3994
5	659	3994
6	725	3994
7	800	3994
8	881	3994
9	971	3994
10	1067	3994
11	1172	3994
12	1283	3994
13	1403	3994
14	1529	3994
15	1664	3994
16	1805	3994
17	1955	3994
18	2111	3994
19	2276	3994
20	2447	3994
21	2627	3994
22	2639	3994
23	2645	3994
24	2645	3994
25	2828	3994
26	3017	3994
27	3218	3994
28	3428	3994
29	3644	3994
30	3869	3994
31	4100	3994
32	4340	3994
33	4397	3994
34	4403	3994
35	4403	3994
36	4644	3994
37	4890	3994

Stop Event

1×	node limit

Counts

107 → 107

prune116.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	153	3	156

Error

0.0b

Counts

156 → 3

Alt Table

Status	Error	Program
✓	6.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
✓	34.4b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3))
▶	36.7b	(neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z)))

Compiler

Compiled 5382 to 3162 computations (41.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 (pow.f64 z 2) y) z)
✓	3.6b	(+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z))
✓	5.5b	(/.f64 (*.f64 z x) y)
✓	10.1b	(/.f64 (pow.f64 z 2) y)

series45.0ms (0.6%)

Counts

4 → 45

Calls

30 calls:

4.0ms	(+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z))	z	0
2.0ms	(+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z))	x	-inf
2.0ms	(+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z))	x	inf
2.0ms	(+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z))	x	0
2.0ms	(+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z))	z	-inf

rewrite50.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

388×	`unpow-prod-down_binary64`
296×	`pow2_binary64`
285×	`log-prod_binary64`
210×	`pow1/3_binary64`
207×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	43
1	219	43
2	2402	43

Stop Event

1×	node limit

Counts

4 → 103

simplify4.2s (58%)

Algorithm

1×	egg-herbie

Rules

994×	`sqr-pow_binary64`
5×	`fma-def_binary64`
1×	`rem-sqrt-square_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	576
1	30	574
2	37	574
3	47	574
4	53	574
5	58	574
6	63	574
7	68	574
8	73	574
9	78	574
10	83	574
11	88	574
12	93	574
13	98	574
14	103	574
15	108	574
16	113	574
17	118	574
18	123	574
19	128	574
20	133	574
21	138	574
22	143	574
23	148	574
24	153	574
25	158	574
26	163	574
27	168	574
28	173	574
29	178	574
30	183	574
31	188	574
32	193	574
33	198	574
34	203	574
35	208	574
36	213	574
37	218	574
38	223	574
39	228	574
40	233	574
41	238	574
42	243	574
43	248	574
44	253	574
45	258	574
46	263	574
47	268	574
48	273	574
49	278	574
50	283	574
51	288	574
52	293	574
53	298	574
54	303	574
55	308	574
56	313	574
57	318	574
58	323	574
59	328	574
60	333	574
61	338	574
62	343	574
63	348	574
64	353	574
65	358	574
66	363	574
67	368	574
68	373	574
69	378	574
70	383	574
71	388	574
72	393	574
73	398	574
74	403	574
75	408	574
76	413	574
77	418	574
78	423	574
79	428	574
80	433	574
81	438	574
82	443	574
83	448	574
84	453	574
85	458	574
86	463	574
87	468	574
88	473	574
89	478	574
90	483	574
91	488	574
92	493	574
93	498	574
94	503	574
95	508	574
96	513	574
97	518	574
98	523	574
99	528	574
100	533	574
101	538	574
102	543	574
103	548	574
104	553	574
105	558	574
106	563	574
107	568	574
108	573	574
109	578	574
110	583	574
111	588	574
112	593	574
113	598	574
114	603	574
115	608	574
116	613	574
117	618	574
118	623	574
119	628	574
120	633	574
121	638	574
122	643	574
123	648	574
124	653	574
125	658	574
126	663	574
127	668	574
128	673	574
129	678	574
130	683	574
131	688	574
132	693	574
133	698	574
134	703	574
135	708	574
136	713	574
137	718	574
138	723	574
139	728	574
140	733	574
141	738	574
142	743	574
143	748	574
144	753	574
145	758	574
146	763	574
147	768	574
148	773	574
149	778	574
150	783	574
151	788	574
152	793	574
153	798	574
154	803	574
155	808	574
156	813	574
157	818	574
158	823	574
159	828	574
160	833	574
161	838	574
162	843	574
163	848	574
164	853	574
165	858	574
166	863	574
167	868	574
168	873	574
169	878	574
170	883	574
171	888	574
172	893	574
173	898	574
174	903	574
175	908	574
176	913	574
177	918	574
178	923	574
179	928	574
180	933	574
181	938	574
182	943	574
183	948	574
184	953	574
185	958	574
186	963	574
187	968	574
188	973	574
189	978	574
190	983	574
191	988	574
192	993	574
193	998	574
194	1003	574
195	1008	574
196	1013	574
197	1018	574
198	1023	574
199	1028	574
200	1033	574
201	1038	574
202	1043	574
203	1048	574
204	1053	574
205	1058	574
206	1063	574
207	1068	574
208	1073	574
209	1078	574
210	1083	574
211	1088	574
212	1093	574
213	1098	574
214	1103	574
215	1108	574
216	1113	574
217	1118	574
218	1123	574
219	1128	574
220	1133	574
221	1138	574
222	1143	574
223	1148	574
224	1153	574
225	1158	574
226	1163	574
227	1168	574
228	1173	574
229	1178	574
230	1183	574
231	1188	574
232	1193	574
233	1198	574
234	1203	574
235	1208	574
236	1213	574
237	1218	574
238	1223	574
239	1228	574
240	1233	574
241	1238	574
242	1243	574
243	1248	574
244	1253	574
245	1258	574
246	1263	574
247	1268	574
248	1273	574
249	1278	574
250	1283	574
251	1288	574
252	1293	574
253	1298	574
254	1303	574
255	1308	574
256	1313	574
257	1318	574
258	1323	574
259	1328	574
260	1333	574
261	1338	574
262	1343	574
263	1348	574
264	1353	574
265	1358	574
266	1363	574
267	1368	574
268	1373	574
269	1378	574
270	1383	574
271	1388	574
272	1393	574
273	1398	574
274	1403	574
275	1408	574
276	1413	574
277	1418	574
278	1423	574
279	1428	574
280	1433	574
281	1438	574
282	1443	574
283	1448	574
284	1453	574
285	1458	574
286	1463	574
287	1468	574
288	1473	574
289	1478	574
290	1483	574
291	1488	574
292	1493	574
293	1498	574
294	1503	574
295	1508	574
296	1513	574
297	1518	574
298	1523	574
299	1528	574
300	1533	574
301	1538	574
302	1543	574
303	1548	574
304	1553	574
305	1558	574
306	1563	574
307	1568	574
308	1573	574
309	1578	574
310	1583	574
311	1588	574
312	1593	574
313	1598	574
314	1603	574
315	1608	574
316	1613	574
317	1618	574
318	1623	574
319	1628	574
320	1633	574
321	1638	574
322	1643	574
323	1648	574
324	1653	574
325	1658	574
326	1663	574
327	1668	574
328	1673	574
329	1678	574
330	1683	574
331	1688	574
332	1693	574
333	1698	574
334	1703	574
335	1708	574
336	1713	574
337	1718	574
338	1723	574
339	1728	574
340	1733	574
341	1738	574
342	1743	574
343	1748	574
344	1753	574
345	1758	574
346	1763	574
347	1768	574
348	1773	574
349	1778	574
350	1783	574
351	1788	574
352	1793	574
353	1798	574
354	1803	574
355	1808	574
356	1813	574
357	1818	574
358	1823	574
359	1828	574
360	1833	574
361	1838	574
362	1843	574
363	1848	574
364	1853	574
365	1858	574
366	1863	574
367	1868	574
368	1873	574
369	1878	574
370	1883	574
371	1888	574
372	1893	574
373	1898	574
374	1903	574
375	1908	574
376	1913	574
377	1918	574
378	1923	574
379	1928	574
380	1933	574
381	1938	574
382	1943	574
383	1948	574
384	1953	574
385	1958	574
386	1963	574
387	1968	574
388	1973	574
389	1978	574
390	1983	574
391	1988	574
392	1993	574
393	1998	574
394	2003	574
395	2008	574
396	2013	574
397	2018	574
398	2023	574
399	2028	574
400	2033	574
401	2038	574
402	2043	574
403	2048	574
404	2053	574
405	2058	574
406	2063	574
407	2068	574
408	2073	574
409	2078	574
410	2083	574
411	2088	574
412	2093	574
413	2098	574
414	2103	574
415	2108	574
416	2113	574
417	2118	574
418	2123	574
419	2128	574
420	2133	574
421	2138	574
422	2143	574
423	2148	574
424	2153	574
425	2158	574
426	2163	574
427	2168	574
428	2173	574
429	2178	574
430	2183	574
431	2188	574
432	2193	574
433	2198	574
434	2203	574
435	2208	574
436	2213	574
437	2218	574
438	2223	574
439	2228	574
440	2233	574
441	2238	574
442	2243	574
443	2248	574
444	2253	574
445	2258	574
446	2263	574
447	2268	574
448	2273	574
449	2278	574
450	2283	574
451	2288	574
452	2293	574
453	2298	574
454	2303	574
455	2308	574
456	2313	574
457	2318	574
458	2323	574
459	2328	574
460	2333	574
461	2338	574
462	2343	574
463	2348	574
464	2353	574
465	2358	574
466	2363	574
467	2368	574
468	2373	574
469	2378	574
470	2383	574
471	2388	574
472	2393	574
473	2398	574
474	2403	574
475	2408	574
476	2413	574
477	2418	574
478	2423	574
479	2428	574
480	2433	574
481	2438	574
482	2443	574
483	2448	574
484	2453	574
485	2458	574
486	2463	574
487	2468	574
488	2473	574
489	2478	574
490	2483	574
491	2488	574
492	2493	574
493	2498	574
494	2503	574
495	2508	574
496	2513	574
497	2518	574
498	2523	574
499	2528	574
500	2533	574
501	2538	574
502	2543	574
503	2548	574
504	2553	574
505	2558	574
506	2563	574
507	2568	574
508	2573	574
509	2578	574
510	2583	574
511	2588	574
512	2593	574
513	2598	574
514	2603	574
515	2608	574
516	2613	574
517	2618	574
518	2623	574
519	2628	574
520	2633	574
521	2638	574
522	2643	574
523	2648	574
524	2653	574
525	2658	574
526	2663	574
527	2668	574
528	2673	574
529	2678	574
530	2683	574
531	2688	574
532	2693	574
533	2698	574
534	2703	574
535	2708	574
536	2713	574
537	2718	574
538	2723	574
539	2728	574
540	2733	574
541	2738	574
542	2743	574
543	2748	574
544	2753	574
545	2758	574
546	2763	574
547	2768	574
548	2773	574
549	2778	574
550	2783	574
551	2788	574
552	2793	574
553	2798	574
554	2803	574
555	2808	574
556	2813	574
557	2818	574
558	2823	574
559	2828	574
560	2833	574
561	2838	574
562	2843	574
563	2848	574
564	2853	574
565	2858	574
566	2863	574
567	2868	574
568	2873	574
569	2878	574
570	2883	574
571	2888	574
572	2893	574
573	2898	574
574	2903	574
575	2908	574
576	2913	574
577	2918	574
578	2923	574
579	2928	574
580	2933	574
581	2938	574
582	2943	574
583	2948	574
584	2953	574
585	2958	574
586	2963	574
587	2968	574
588	2973	574
589	2978	574
590	2983	574
591	2988	574
592	2993	574
593	2998	574
594	3003	574
595	3008	574
596	3013	574
597	3018	574
598	3023	574
599	3028	574
600	3033	574
601	3038	574
602	3043	574
603	3048	574
604	3053	574
605	3058	574
606	3063	574
607	3068	574
608	3073	574
609	3078	574
610	3083	574
611	3088	574
612	3093	574
613	3098	574
614	3103	574
615	3108	574
616	3113	574
617	3118	574
618	3123	574
619	3128	574
620	3133	574
621	3138	574
622	3143	574
623	3148	574
624	3153	574
625	3158	574
626	3163	574
627	3168	574
628	3173	574
629	3178	574
630	3183	574
631	3188	574
632	3193	574
633	3198	574
634	3203	574
635	3208	574
636	3213	574
637	3218	574
638	3223	574
639	3228	574
640	3233	574
641	3238	574
642	3243	574
643	3248	574
644	3253	574
645	3258	574
646	3263	574
647	3268	574
648	3273	574
649	3278	574
650	3283	574
651	3288	574
652	3293	574
653	3298	574
654	3303	574
655	3308	574
656	3313	574
657	3318	574
658	3323	574
659	3328	574
660	3333	574
661	3338	574
662	3343	574
663	3348	574
664	3353	574
665	3358	574
666	3363	574
667	3368	574
668	3373	574
669	3378	574
670	3383	574
671	3388	574
672	3393	574
673	3398	574
674	3403	574
675	3408	574
676	3413	574
677	3418	574
678	3423	574
679	3428	574
680	3433	574
681	3438	574
682	3443	574
683	3448	574
684	3453	574
685	3458	574
686	3463	574
687	3468	574
688	3473	574
689	3478	574
690	3483	574
691	3488	574
692	3493	574
693	3498	574
694	3503	574
695	3508	574
696	3513	574
697	3518	574
698	3523	574
699	3528	574
700	3533	574
701	3538	574
702	3543	574
703	3548	574
704	3553	574
705	3558	574
706	3563	574
707	3568	574
708	3573	574
709	3578	574
710	3583	574
711	3588	574
712	3593	574
713	3598	574
714	3603	574
715	3608	574
716	3613	574
717	3618	574
718	3623	574
719	3628	574
720	3633	574
721	3638	574
722	3643	574
723	3648	574
724	3653	574
725	3658	574
726	3663	574
727	3668	574
728	3673	574
729	3678	574
730	3683	574
731	3688	574
732	3693	574
733	3698	574
734	3703	574
735	3708	574
736	3713	574
737	3718	574
738	3723	574
739	3728	574
740	3733	574
741	3738	574
742	3743	574
743	3748	574
744	3753	574
745	3758	574
746	3763	574
747	3768	574
748	3773	574
749	3778	574
750	3783	574
751	3788	574
752	3793	574
753	3798	574
754	3803	574
755	3808	574
756	3813	574
757	3818	574
758	3823	574
759	3828	574
760	3833	574
761	3838	574
762	3843	574
763	3848	574
764	3853	574
765	3858	574
766	3863	574
767	3868	574
768	3873	574
769	3878	574
770	3883	574
771	3888	574
772	3893	574
773	3898	574
774	3903	574
775	3908	574
776	3913	574
777	3918	574
778	3923	574
779	3928	574
780	3933	574
781	3938	574
782	3943	574
783	3948	574
784	3953	574
785	3958	574
786	3963	574
787	3968	574
788	3973	574
789	3978	574
790	3983	574
791	3988	574
792	3993	574
793	3998	574
794	4003	574
795	4008	574
796	4013	574
797	4018	574
798	4023	574
799	4028	574
800	4033	574
801	4038	574
802	4043	574
803	4048	574
804	4053	574
805	4058	574
806	4063	574
807	4068	574
808	4073	574
809	4078	574
810	4083	574
811	4088	574
812	4093	574
813	4098	574
814	4103	574
815	4108	574
816	4113	574
817	4118	574
818	4123	574
819	4128	574
820	4133	574
821	4138	574
822	4143	574
823	4148	574
824	4153	574
825	4158	574
826	4163	574
827	4168	574
828	4173	574
829	4178	574
830	4183	574
831	4188	574
832	4193	574
833	4198	574
834	4203	574
835	4208	574
836	4213	574
837	4218	574
838	4223	574
839	4228	574
840	4233	574
841	4238	574
842	4243	574
843	4248	574
844	4253	574
845	4258	574
846	4263	574
847	4268	574
848	4273	574
849	4278	574
850	4283	574
851	4288	574
852	4293	574
853	4298	574
854	4303	574
855	4308	574
856	4313	574
857	4318	574
858	4323	574
859	4328	574
860	4333	574
861	4338	574
862	4343	574
863	4348	574
864	4353	574
865	4358	574
866	4363	574
867	4368	574
868	4373	574
869	4378	574
870	4383	574
871	4388	574
872	4393	574
873	4398	574
874	4403	574
875	4408	574
876	4413	574
877	4418	574
878	4423	574
879	4428	574
880	4433	574
881	4438	574
882	4443	574
883	4448	574
884	4453	574
885	4458	574
886	4463	574
887	4468	574
888	4473	574
889	4478	574
890	4483	574
891	4488	574
892	4493	574
893	4498	574
894	4503	574
895	4508	574
896	4513	574
897	4518	574
898	4523	574
899	4528	574
900	4533	574
901	4538	574
902	4543	574
903	4548	574
904	4553	574
905	4558	574
906	4563	574
907	4568	574
908	4573	574
909	4578	574
910	4583	574
911	4588	574
912	4593	574
913	4598	574
914	4603	574
915	4608	574
916	4613	574
917	4618	574
918	4623	574
919	4628	574
920	4633	574
921	4638	574
922	4643	574
923	4648	574
924	4653	574
925	4658	574
926	4663	574
927	4668	574
928	4673	574
929	4678	574
930	4683	574
931	4688	574
932	4693	574
933	4698	574
934	4703	574
935	4708	574
936	4713	574
937	4718	574
938	4723	574
939	4728	574
940	4733	574
941	4738	574
942	4743	574
943	4748	574
944	4753	574
945	4758	574
946	4763	574
947	4768	574
948	4773	574
949	4778	574
950	4783	574
951	4788	574
952	4793	574
953	4798	574
954	4803	574
955	4808	574
956	4813	574
957	4818	574
958	4823	574
959	4828	574
960	4833	574
961	4838	574
962	4843	574
963	4848	574
964	4853	574
965	4858	574
966	4863	574
967	4868	574
968	4873	574
969	4878	574
970	4883	574
971	4888	574
972	4893	574
973	4898	574
974	4903	574
975	4908	574
976	4913	574
977	4918	574
978	4923	574
979	4928	574
980	4933	574
981	4938	574
982	4943	574
983	4948	574
984	4953	574
985	4958	574
986	4963	574
987	4968	574
988	4973	574
989	4978	574
990	4983	574
991	4988	574
992	4993	574
993	4998	574

Stop Event

1×	node limit

Counts

148 → 122

prune58.0ms (0.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	122	3	125

Error

0.0b

Counts

125 → 3

Alt Table

Status	Error	Program
✓	6.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
✓	34.4b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) 3))
✓	36.7b	(neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z)))

Compiler

Compiled 2421 to 798 computations (67% saved)

regimes176.0ms (2.4%)

Accuracy

Total 0.7b remaining (95.3%)

Threshold costs 0.7b (95.3%)

Counts

24 → 3

Compiler

Compiled 1138 to 824 computations (27.6% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Calls

2 calls:

0.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
0.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

Steps

Iters	Point		Range
0.0	∈ [	0.0	,	2.0200569857494176e-292	]
-1.3895540929130138e-230	∈ [	-1.3895540929130138e-230	,	-9.571265762462497e-244	]

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	83
1	25	83

Stop Event

1×

saturated

end74.0ms (1%)

Stop Event

1×

done

Compiler

Compiled 162 to 92 computations (43.2% saved)

Details

analyze371.0ms (5.1%)

sample919.0ms (12.6%)

preprocess13.0ms (0.2%)

simplify4.0ms (0.1%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

series23.0ms (0.3%)

rewrite34.0ms (0.5%)

simplify342.0ms (4.7%)

prune29.0ms (0.4%)

localize8.0ms (0.1%)

series94.0ms (1.3%)

rewrite43.0ms (0.6%)

simplify630.0ms (8.7%)

prune116.0ms (1.6%)

localize10.0ms (0.1%)

series45.0ms (0.6%)

rewrite50.0ms (0.7%)

simplify4.2s (58%)

prune58.0ms (0.8%)

regimes176.0ms (2.4%)

bsearch1.0ms (0%)

simplify2.0ms (0%)

end74.0ms (1%)

Profiling