Details

analyze98.0ms (1.4%)

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
37.5%	62.4%	0.1%	5
43.7%	56.2%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample877.0ms (12.3%)

Results

836.0ms	8256×	body	128	valid
27.0ms	204×	body	128	invalid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess11.0ms (0.2%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×

saturated

Counts

1 → 1

prune3.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

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.2%)

Counts

1 → 0

Calls

6 calls:

3.0ms	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))	y	-inf
2.0ms	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))	y	inf
2.0ms	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))	x	-inf
2.0ms	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))	x	inf
2.0ms	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))	x	0

rewrite28.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
192×	`pow2_binary64`
185×	`log-prod_binary64`
137×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	135	11
2	1506	11

Stop Event

1×	node limit

Counts

1 → 21

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

21 → 21

prune17.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	4	22

Error

Counts

22 → 4

Alt Table

Status	Error	Program
	18.6b	(cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))
▶	0.2b	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)
✓	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
	2.6b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)

Compiler

Compiled 347 to 134 computations (61.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
✓	0.0b	(sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))
✓	0.2b	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)

series43.0ms (0.6%)

Counts

2 → 24

Calls

12 calls:

5.0ms	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)	x	-inf
5.0ms	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)	y	-inf
5.0ms	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)	y	inf
4.0ms	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)	x	inf
4.0ms	(sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))	x	-inf

rewrite32.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

727×	`log1p-expm1-u_binary64`
727×	`expm1-log1p-u_binary64`
164×	`expm1-udef_binary64`
164×	`log1p-udef_binary64`
93×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	198	24
2	1908	24

Stop Event

1×	node limit

Counts

2 → 34

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	264

Stop Event

1×

saturated

Counts

58 → 34

prune31.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	55	4	59

Error

Counts

59 → 4

Alt Table

Status	Error	Program
	18.6b	(cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))
✓	0.2b	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)
✓	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
▶	2.6b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)

Compiler

Compiled 850 to 317 computations (62.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))
✓	0.0b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)
	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
✓	2.6b	(exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))

series1.8s (25.7%)

Counts

3 → 72

Calls

18 calls:

198.0ms	(exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))	x	0
106.0ms	(exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))	x	-inf
104.0ms	(log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))	y	-inf
103.0ms	(log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))	x	-inf
103.0ms	(exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))	x	inf

rewrite39.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

795×	`expm1-log1p-u_binary64`
794×	`log1p-expm1-u_binary64`
178×	`log1p-udef_binary64`
99×	`add-sqr-sqrt_binary64`
93×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	192	38
2	2000	38

Stop Event

1×	node limit

Counts

3 → 52

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`
1×	`log1p-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	912
1	13	912

Stop Event

1×

saturated

Counts

124 → 53

prune38.0ms (0.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	74	4	78

Error

Counts

78 → 4

Alt Table

Status	Error	Program
▶	18.6b	(cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))
✓	0.2b	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)
✓	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
✓	2.6b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)

Compiler

Compiled 1234 to 497 computations (59.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
✓	0.1b	(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3)
✓	17.5b	(cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))

series48.0ms (0.7%)

Counts

2 → 48

Calls

12 calls:

9.0ms	(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3)	x	inf
6.0ms	(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3)	y	-inf
6.0ms	(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3)	y	inf
6.0ms	(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3)	x	-inf
4.0ms	(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3)	y	0

rewrite37.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

752×	`log1p-expm1-u_binary64`
752×	`expm1-log1p-u_binary64`
165×	`expm1-udef_binary64`
165×	`log1p-udef_binary64`
93×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	195	25
2	1966	25

Stop Event

1×	node limit

Counts

2 → 35

simplify3.8s (53.3%)

Algorithm

1×	egg-herbie

Rules

1424×	`sqr-pow_binary64`
2×	`cube-mult_binary64`
2×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	672
1	24	672
2	31	672
3	38	672
4	45	672
5	52	672
6	59	672
7	66	672
8	73	672
9	80	672
10	87	672
11	94	672
12	101	672
13	108	672
14	115	672
15	122	672
16	129	672
17	136	672
18	143	672
19	150	672
20	157	672
21	164	672
22	171	672
23	178	672
24	185	672
25	192	672
26	199	672
27	206	672
28	213	672
29	220	672
30	227	672
31	234	672
32	241	672
33	248	672
34	255	672
35	262	672
36	269	672
37	276	672
38	283	672
39	290	672
40	297	672
41	304	672
42	311	672
43	318	672
44	325	672
45	332	672
46	339	672
47	346	672
48	353	672
49	360	672
50	367	672
51	374	672
52	381	672
53	388	672
54	395	672
55	402	672
56	409	672
57	416	672
58	423	672
59	430	672
60	437	672
61	444	672
62	451	672
63	458	672
64	465	672
65	472	672
66	479	672
67	486	672
68	493	672
69	500	672
70	507	672
71	514	672
72	521	672
73	528	672
74	535	672
75	542	672
76	549	672
77	556	672
78	563	672
79	570	672
80	577	672
81	584	672
82	591	672
83	598	672
84	605	672
85	612	672
86	619	672
87	626	672
88	633	672
89	640	672
90	647	672
91	654	672
92	661	672
93	668	672
94	675	672
95	682	672
96	689	672
97	696	672
98	703	672
99	710	672
100	717	672
101	724	672
102	731	672
103	738	672
104	745	672
105	752	672
106	759	672
107	766	672
108	773	672
109	780	672
110	787	672
111	794	672
112	801	672
113	808	672
114	815	672
115	822	672
116	829	672
117	836	672
118	843	672
119	850	672
120	857	672
121	864	672
122	871	672
123	878	672
124	885	672
125	892	672
126	899	672
127	906	672
128	913	672
129	920	672
130	927	672
131	934	672
132	941	672
133	948	672
134	955	672
135	962	672
136	969	672
137	976	672
138	983	672
139	990	672
140	997	672
141	1004	672
142	1011	672
143	1018	672
144	1025	672
145	1032	672
146	1039	672
147	1046	672
148	1053	672
149	1060	672
150	1067	672
151	1074	672
152	1081	672
153	1088	672
154	1095	672
155	1102	672
156	1109	672
157	1116	672
158	1123	672
159	1130	672
160	1137	672
161	1144	672
162	1151	672
163	1158	672
164	1165	672
165	1172	672
166	1179	672
167	1186	672
168	1193	672
169	1200	672
170	1207	672
171	1214	672
172	1221	672
173	1228	672
174	1235	672
175	1242	672
176	1249	672
177	1256	672
178	1263	672
179	1270	672
180	1277	672
181	1284	672
182	1291	672
183	1298	672
184	1305	672
185	1312	672
186	1319	672
187	1326	672
188	1333	672
189	1340	672
190	1347	672
191	1354	672
192	1361	672
193	1368	672
194	1375	672
195	1382	672
196	1389	672
197	1396	672
198	1403	672
199	1410	672
200	1417	672
201	1424	672
202	1431	672
203	1438	672
204	1445	672
205	1452	672
206	1459	672
207	1466	672
208	1473	672
209	1480	672
210	1487	672
211	1494	672
212	1501	672
213	1508	672
214	1515	672
215	1522	672
216	1529	672
217	1536	672
218	1543	672
219	1550	672
220	1557	672
221	1564	672
222	1571	672
223	1578	672
224	1585	672
225	1592	672
226	1599	672
227	1606	672
228	1613	672
229	1620	672
230	1627	672
231	1634	672
232	1641	672
233	1648	672
234	1655	672
235	1662	672
236	1669	672
237	1676	672
238	1683	672
239	1690	672
240	1697	672
241	1704	672
242	1711	672
243	1718	672
244	1725	672
245	1732	672
246	1739	672
247	1746	672
248	1753	672
249	1760	672
250	1767	672
251	1774	672
252	1781	672
253	1788	672
254	1795	672
255	1802	672
256	1809	672
257	1816	672
258	1823	672
259	1830	672
260	1837	672
261	1844	672
262	1851	672
263	1858	672
264	1865	672
265	1872	672
266	1879	672
267	1886	672
268	1893	672
269	1900	672
270	1907	672
271	1914	672
272	1921	672
273	1928	672
274	1935	672
275	1942	672
276	1949	672
277	1956	672
278	1963	672
279	1970	672
280	1977	672
281	1984	672
282	1991	672
283	1998	672
284	2005	672
285	2012	672
286	2019	672
287	2026	672
288	2033	672
289	2040	672
290	2047	672
291	2054	672
292	2061	672
293	2068	672
294	2075	672
295	2082	672
296	2089	672
297	2096	672
298	2103	672
299	2110	672
300	2117	672
301	2124	672
302	2131	672
303	2138	672
304	2145	672
305	2152	672
306	2159	672
307	2166	672
308	2173	672
309	2180	672
310	2187	672
311	2194	672
312	2201	672
313	2208	672
314	2215	672
315	2222	672
316	2229	672
317	2236	672
318	2243	672
319	2250	672
320	2257	672
321	2264	672
322	2271	672
323	2278	672
324	2285	672
325	2292	672
326	2299	672
327	2306	672
328	2313	672
329	2320	672
330	2327	672
331	2334	672
332	2341	672
333	2348	672
334	2355	672
335	2362	672
336	2369	672
337	2376	672
338	2383	672
339	2390	672
340	2397	672
341	2404	672
342	2411	672
343	2418	672
344	2425	672
345	2432	672
346	2439	672
347	2446	672
348	2453	672
349	2460	672
350	2467	672
351	2474	672
352	2481	672
353	2488	672
354	2495	672
355	2502	672
356	2509	672
357	2516	672
358	2523	672
359	2530	672
360	2537	672
361	2544	672
362	2551	672
363	2558	672
364	2565	672
365	2572	672
366	2579	672
367	2586	672
368	2593	672
369	2600	672
370	2607	672
371	2614	672
372	2621	672
373	2628	672
374	2635	672
375	2642	672
376	2649	672
377	2656	672
378	2663	672
379	2670	672
380	2677	672
381	2684	672
382	2691	672
383	2698	672
384	2705	672
385	2712	672
386	2719	672
387	2726	672
388	2733	672
389	2740	672
390	2747	672
391	2754	672
392	2761	672
393	2768	672
394	2775	672
395	2782	672
396	2789	672
397	2796	672
398	2803	672
399	2810	672
400	2817	672
401	2824	672
402	2831	672
403	2838	672
404	2845	672
405	2852	672
406	2859	672
407	2866	672
408	2873	672
409	2880	672
410	2887	672
411	2894	672
412	2901	672
413	2908	672
414	2915	672
415	2922	672
416	2929	672
417	2936	672
418	2943	672
419	2950	672
420	2957	672
421	2964	672
422	2971	672
423	2978	672
424	2985	672
425	2992	672
426	2999	672
427	3006	672
428	3013	672
429	3020	672
430	3027	672
431	3034	672
432	3041	672
433	3048	672
434	3055	672
435	3062	672
436	3069	672
437	3076	672
438	3083	672
439	3090	672
440	3097	672
441	3104	672
442	3111	672
443	3118	672
444	3125	672
445	3132	672
446	3139	672
447	3146	672
448	3153	672
449	3160	672
450	3167	672
451	3174	672
452	3181	672
453	3188	672
454	3195	672
455	3202	672
456	3209	672
457	3216	672
458	3223	672
459	3230	672
460	3237	672
461	3244	672
462	3251	672
463	3258	672
464	3265	672
465	3272	672
466	3279	672
467	3286	672
468	3293	672
469	3300	672
470	3307	672
471	3314	672
472	3321	672
473	3328	672
474	3335	672
475	3342	672
476	3349	672
477	3356	672
478	3363	672
479	3370	672
480	3377	672
481	3384	672
482	3391	672
483	3398	672
484	3405	672
485	3412	672
486	3419	672
487	3426	672
488	3433	672
489	3440	672
490	3447	672
491	3454	672
492	3461	672
493	3468	672
494	3475	672
495	3482	672
496	3489	672
497	3496	672
498	3503	672
499	3510	672
500	3517	672
501	3518	672
502	3524	672
503	3530	672
504	3536	672
505	3542	672
506	3548	672
507	3554	672
508	3566	672
509	3573	672
510	3580	672
511	3587	672
512	3594	672
513	3601	672
514	3608	672
515	3615	672
516	3622	672
517	3629	672
518	3636	672
519	3643	672
520	3650	672
521	3657	672
522	3664	672
523	3671	672
524	3678	672
525	3685	672
526	3692	672
527	3699	672
528	3706	672
529	3713	672
530	3720	672
531	3727	672
532	3734	672
533	3741	672
534	3748	672
535	3755	672
536	3762	672
537	3769	672
538	3776	672
539	3783	672
540	3790	672
541	3797	672
542	3804	672
543	3811	672
544	3818	672
545	3825	672
546	3832	672
547	3839	672
548	3846	672
549	3853	672
550	3860	672
551	3867	672
552	3874	672
553	3881	672
554	3888	672
555	3895	672
556	3902	672
557	3909	672
558	3916	672
559	3923	672
560	3930	672
561	3937	672
562	3944	672
563	3951	672
564	3958	672
565	3965	672
566	3972	672
567	3979	672
568	3986	672
569	3993	672
570	4000	672
571	4007	672
572	4014	672
573	4021	672
574	4028	672
575	4035	672
576	4042	672
577	4049	672
578	4056	672
579	4063	672
580	4070	672
581	4077	672
582	4084	672
583	4091	672
584	4098	672
585	4105	672
586	4112	672
587	4119	672
588	4126	672
589	4133	672
590	4140	672
591	4147	672
592	4154	672
593	4161	672
594	4168	672
595	4175	672
596	4182	672
597	4189	672
598	4196	672
599	4203	672
600	4210	672
601	4217	672
602	4224	672
603	4231	672
604	4238	672
605	4245	672
606	4252	672
607	4259	672
608	4266	672
609	4273	672
610	4280	672
611	4287	672
612	4294	672
613	4301	672
614	4308	672
615	4315	672
616	4322	672
617	4329	672
618	4336	672
619	4343	672
620	4350	672
621	4357	672
622	4364	672
623	4371	672
624	4378	672
625	4385	672
626	4392	672
627	4399	672
628	4406	672
629	4413	672
630	4420	672
631	4427	672
632	4434	672
633	4441	672
634	4448	672
635	4455	672
636	4462	672
637	4469	672
638	4476	672
639	4483	672
640	4490	672
641	4497	672
642	4504	672
643	4511	672
644	4518	672
645	4525	672
646	4532	672
647	4539	672
648	4546	672
649	4553	672
650	4560	672
651	4567	672
652	4574	672
653	4581	672
654	4588	672
655	4595	672
656	4602	672
657	4609	672
658	4616	672
659	4623	672
660	4630	672
661	4637	672
662	4644	672
663	4651	672
664	4658	672
665	4665	672
666	4672	672
667	4679	672
668	4686	672
669	4693	672
670	4700	672
671	4707	672
672	4714	672
673	4721	672
674	4728	672
675	4735	672
676	4742	672
677	4749	672
678	4756	672
679	4763	672
680	4770	672
681	4777	672
682	4784	672
683	4791	672
684	4798	672
685	4805	672
686	4812	672
687	4819	672
688	4826	672
689	4833	672
690	4840	672
691	4847	672
692	4854	672
693	4861	672
694	4868	672
695	4875	672
696	4882	672
697	4889	672
698	4896	672
699	4903	672
700	4910	672
701	4917	672
702	4924	672
703	4931	672
704	4938	672
705	4945	672
706	4952	672
707	4959	672
708	4966	672
709	4973	672
710	4980	672
711	4987	672
712	4994	672

Stop Event

1×	node limit

Counts

83 → 35

prune30.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	56	4	60

Error

Counts

60 → 4

Alt Table

Status	Error	Program
✓	18.6b	(cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))
✓	0.2b	(pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)
✓	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
✓	2.6b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)

Compiler

Compiled 855 to 304 computations (64.4% saved)

regimes34.0ms (0.5%)

Accuracy

Total 0.0b remaining (58.8%)

Threshold costs 0.0b (58.8%)

Counts

9 → 1

Compiler

Compiled 468 to 272 computations (41.9% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×

saturated

end58.0ms (0.8%)

Stop Event

1×

done

Compiler

Compiled 64 to 46 computations (28.1% saved)

Details

analyze98.0ms (1.4%)

sample877.0ms (12.3%)

preprocess11.0ms (0.2%)

simplify4.0ms (0.1%)

prune3.0ms (0%)

localize5.0ms (0.1%)

series13.0ms (0.2%)

rewrite28.0ms (0.4%)

simplify4.0ms (0.1%)

prune17.0ms (0.2%)

localize7.0ms (0.1%)

series43.0ms (0.6%)

rewrite32.0ms (0.5%)

simplify6.0ms (0.1%)

prune31.0ms (0.4%)

localize9.0ms (0.1%)

series1.8s (25.7%)

rewrite39.0ms (0.6%)

simplify15.0ms (0.2%)

prune38.0ms (0.5%)

localize7.0ms (0.1%)

series48.0ms (0.7%)

rewrite37.0ms (0.5%)

simplify3.8s (53.3%)

prune30.0ms (0.4%)

regimes34.0ms (0.5%)

simplify1.0ms (0%)

end58.0ms (0.8%)

Profiling