Details

analyze371.0ms (3.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.1%	28.1%	68.8%	9
4.7%	25%	70.4%	10
7%	20.3%	72.7%	11
10.5%	16.8%	72.7%	12
10.5%	16%	73.5%	13
12.3%	13.8%	73.9%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.3s (10.5%)

Results

1.2s	8255×	body	128	valid
53.0ms	424×	body	128	invalid
1.0ms	1×	body	1024	valid

Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess14.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

6×	`fma-neg_binary64`
6×	`fma-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	119
1	45	119
2	51	119
0	4	4

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`fma-neg_binary64`
1×	`fma-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	13	17
2	14	17

Stop Event

1×

saturated

Counts

1 → 1

prune4.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.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))

Compiler

Compiled 45 to 30 computations (33.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 x (log.f64 y)) y)
✓	0.0b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
✓	0.0b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
✓	0.3b	(*.f64 x (log.f64 y))

series606.0ms (5%)

Counts

4 → 132

Calls

33 calls:

67.0ms	(*.f64 x (log.f64 y))	x	0
58.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))	t	inf
51.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))	t	0
50.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))	t	-inf
45.0ms	(*.f64 x (log.f64 y))	x	-inf

rewrite46.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

315×	`pow2_binary64`
313×	`log-prod_binary64`
220×	`pow1/3_binary64`
219×	`log-pow_binary64`
218×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	219	44
2	2511	44

Stop Event

1×	node limit

Counts

4 → 101

simplify28.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`fma-def_binary64`
6×	`fma-neg_binary64`
6×	`fma-udef_binary64`
4×	`log-div_binary64`
2×	`log-rec_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	1558
1	82	1558
2	88	1558

Stop Event

1×

saturated

Counts

233 → 134

prune84.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	128	6	134
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	128	7	135

Error

0.1b

Counts

135 → 7

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
	34.3b	(+.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 y 3)) (+.f64 (pow.f64 (.f64 x (log.f64 y)) 2) (fma.f64 y y (.f64 (.f64 x (log.f64 y)) y)))) z) (log.f64 t))
	1.1b	(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) 2) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) (log.f64 t))
	43.7b	(cbrt.f64 (pow.f64 (+.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z) (log.f64 t)) 3))
	55.2b	(log.f64 (*.f64 (exp.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) t))
	32.8b	(+.f64 (-.f64 (-.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 y))) 2) y) z) (log.f64 t))
▶	0.4b	(+.f64 (-.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3) y) z) (log.f64 t))

Compiler

Compiled 2462 to 831 computations (66.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3) y) z)
	0.3b	(*.f64 x (log.f64 y))
✓	0.6b	(cbrt.f64 (*.f64 x (log.f64 y)))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)

series438.0ms (3.6%)

Counts

3 → 60

Calls

21 calls:

102.0ms	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)	y	inf
87.0ms	(cbrt.f64 (*.f64 x (log.f64 y)))	y	inf
39.0ms	(-.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3) y) z)	x	-inf
33.0ms	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)	y	-inf
28.0ms	(cbrt.f64 (*.f64 x (log.f64 y)))	y	-inf

rewrite45.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

877×	`log1p-expm1-u_binary64`
877×	`expm1-log1p-u_binary64`
105×	`add-sqr-sqrt_binary64`
101×	`add-cbrt-cube_binary64`
99×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	26
1	218	26
2	2274	26

Stop Event

1×	node limit

Counts

3 → 55

simplify3.1s (26.1%)

Algorithm

1×	egg-herbie

Rules

1647×	`sqr-pow_binary64`
4×	`fma-neg_binary64`
4×	`fma-udef_binary64`
3×	`unpow1/3_binary64`
2×	`log-div_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	690
1	64	690
2	77	690
3	86	690
4	95	690
5	104	690
6	113	690
7	122	690
8	131	690
9	140	690
10	149	690
11	158	690
12	167	690
13	176	690
14	185	690
15	194	690
16	203	690
17	212	690
18	221	690
19	230	690
20	239	690
21	248	690
22	257	690
23	266	690
24	275	690
25	284	690
26	293	690
27	302	690
28	311	690
29	320	690
30	329	690
31	338	690
32	347	690
33	356	690
34	365	690
35	374	690
36	383	690
37	392	690
38	401	690
39	410	690
40	419	690
41	428	690
42	437	690
43	446	690
44	455	690
45	464	690
46	473	690
47	482	690
48	491	690
49	500	690
50	509	690
51	518	690
52	527	690
53	536	690
54	545	690
55	554	690
56	563	690
57	572	690
58	581	690
59	590	690
60	599	690
61	608	690
62	617	690
63	626	690
64	635	690
65	644	690
66	653	690
67	662	690
68	671	690
69	680	690
70	689	690
71	698	690
72	707	690
73	716	690
74	725	690
75	734	690
76	743	690
77	752	690
78	761	690
79	770	690
80	779	690
81	788	690
82	797	690
83	806	690
84	815	690
85	824	690
86	833	690
87	842	690
88	851	690
89	860	690
90	869	690
91	878	690
92	887	690
93	896	690
94	905	690
95	914	690
96	923	690
97	932	690
98	941	690
99	950	690
100	959	690
101	968	690
102	977	690
103	986	690
104	995	690
105	1004	690
106	1013	690
107	1022	690
108	1031	690
109	1040	690
110	1049	690
111	1058	690
112	1067	690
113	1076	690
114	1085	690
115	1094	690
116	1103	690
117	1112	690
118	1121	690
119	1130	690
120	1139	690
121	1148	690
122	1157	690
123	1166	690
124	1175	690
125	1184	690
126	1193	690
127	1202	690
128	1211	690
129	1220	690
130	1229	690
131	1238	690
132	1247	690
133	1256	690
134	1265	690
135	1274	690
136	1283	690
137	1292	690
138	1301	690
139	1310	690
140	1319	690
141	1328	690
142	1337	690
143	1346	690
144	1355	690
145	1364	690
146	1373	690
147	1382	690
148	1391	690
149	1400	690
150	1409	690
151	1418	690
152	1427	690
153	1436	690
154	1445	690
155	1454	690
156	1463	690
157	1472	690
158	1481	690
159	1490	690
160	1499	690
161	1508	690
162	1517	690
163	1526	690
164	1535	690
165	1544	690
166	1553	690
167	1562	690
168	1571	690
169	1580	690
170	1589	690
171	1598	690
172	1607	690
173	1616	690
174	1625	690
175	1634	690
176	1643	690
177	1652	690
178	1661	690
179	1670	690
180	1679	690
181	1688	690
182	1697	690
183	1706	690
184	1715	690
185	1724	690
186	1733	690
187	1742	690
188	1751	690
189	1760	690
190	1769	690
191	1778	690
192	1787	690
193	1796	690
194	1805	690
195	1814	690
196	1823	690
197	1832	690
198	1841	690
199	1850	690
200	1859	690
201	1868	690
202	1877	690
203	1886	690
204	1895	690
205	1904	690
206	1913	690
207	1922	690
208	1931	690
209	1940	690
210	1949	690
211	1958	690
212	1967	690
213	1976	690
214	1985	690
215	1994	690
216	2003	690
217	2012	690
218	2021	690
219	2030	690
220	2039	690
221	2048	690
222	2057	690
223	2066	690
224	2075	690
225	2084	690
226	2093	690
227	2102	690
228	2111	690
229	2120	690
230	2129	690
231	2138	690
232	2147	690
233	2156	690
234	2165	690
235	2174	690
236	2183	690
237	2192	690
238	2201	690
239	2210	690
240	2219	690
241	2228	690
242	2237	690
243	2246	690
244	2255	690
245	2264	690
246	2273	690
247	2282	690
248	2291	690
249	2300	690
250	2309	690
251	2318	690
252	2327	690
253	2336	690
254	2345	690
255	2354	690
256	2363	690
257	2372	690
258	2381	690
259	2390	690
260	2399	690
261	2408	690
262	2417	690
263	2426	690
264	2435	690
265	2444	690
266	2453	690
267	2462	690
268	2471	690
269	2480	690
270	2489	690
271	2498	690
272	2507	690
273	2516	690
274	2525	690
275	2534	690
276	2543	690
277	2552	690
278	2561	690
279	2570	690
280	2579	690
281	2588	690
282	2597	690
283	2606	690
284	2615	690
285	2624	690
286	2633	690
287	2642	690
288	2651	690
289	2660	690
290	2669	690
291	2678	690
292	2687	690
293	2696	690
294	2705	690
295	2714	690
296	2723	690
297	2732	690
298	2741	690
299	2750	690
300	2759	690
301	2768	690
302	2777	690
303	2786	690
304	2795	690
305	2804	690
306	2813	690
307	2822	690
308	2831	690
309	2840	690
310	2849	690
311	2858	690
312	2867	690
313	2876	690
314	2885	690
315	2894	690
316	2903	690
317	2912	690
318	2921	690
319	2930	690
320	2939	690
321	2948	690
322	2957	690
323	2966	690
324	2975	690
325	2984	690
326	2993	690
327	3002	690
328	3011	690
329	3020	690
330	3029	690
331	3038	690
332	3047	690
333	3056	690
334	3057	690
335	3065	690
336	3073	690
337	3081	690
338	3089	690
339	3097	690
340	3105	690
341	3119	690
342	3128	690
343	3137	690
344	3146	690
345	3155	690
346	3164	690
347	3173	690
348	3182	690
349	3191	690
350	3200	690
351	3209	690
352	3218	690
353	3227	690
354	3236	690
355	3245	690
356	3254	690
357	3263	690
358	3272	690
359	3281	690
360	3290	690
361	3299	690
362	3308	690
363	3317	690
364	3326	690
365	3335	690
366	3344	690
367	3353	690
368	3362	690
369	3371	690
370	3380	690
371	3389	690
372	3398	690
373	3407	690
374	3416	690
375	3425	690
376	3434	690
377	3443	690
378	3452	690
379	3461	690
380	3470	690
381	3479	690
382	3488	690
383	3497	690
384	3506	690
385	3515	690
386	3524	690
387	3533	690
388	3542	690
389	3551	690
390	3560	690
391	3569	690
392	3578	690
393	3587	690
394	3596	690
395	3605	690
396	3614	690
397	3623	690
398	3632	690
399	3641	690
400	3650	690
401	3659	690
402	3668	690
403	3677	690
404	3686	690
405	3695	690
406	3704	690
407	3713	690
408	3722	690
409	3731	690
410	3740	690
411	3749	690
412	3758	690
413	3767	690
414	3776	690
415	3785	690
416	3794	690
417	3803	690
418	3812	690
419	3821	690
420	3830	690
421	3839	690
422	3848	690
423	3857	690
424	3866	690
425	3875	690
426	3884	690
427	3893	690
428	3902	690
429	3911	690
430	3920	690
431	3929	690
432	3938	690
433	3947	690
434	3956	690
435	3965	690
436	3974	690
437	3983	690
438	3992	690
439	4001	690
440	4010	690
441	4019	690
442	4028	690
443	4037	690
444	4046	690
445	4055	690
446	4064	690
447	4073	690
448	4082	690
449	4091	690
450	4100	690
451	4109	690
452	4118	690
453	4127	690
454	4136	690
455	4145	690
456	4154	690
457	4163	690
458	4172	690
459	4181	690
460	4190	690
461	4199	690
462	4208	690
463	4217	690
464	4226	690
465	4235	690
466	4244	690
467	4253	690
468	4262	690
469	4271	690
470	4280	690
471	4289	690
472	4298	690
473	4307	690
474	4316	690
475	4325	690
476	4334	690
477	4343	690
478	4352	690
479	4361	690
480	4370	690
481	4379	690
482	4388	690
483	4397	690
484	4406	690
485	4415	690
486	4424	690
487	4433	690
488	4442	690
489	4451	690
490	4460	690
491	4469	690
492	4478	690
493	4487	690
494	4496	690
495	4505	690
496	4514	690
497	4523	690
498	4532	690
499	4541	690
500	4550	690
501	4559	690
502	4568	690
503	4577	690
504	4586	690
505	4595	690
506	4604	690
507	4613	690
508	4622	690
509	4631	690
510	4640	690
511	4649	690
512	4658	690
513	4667	690
514	4676	690
515	4685	690
516	4694	690
517	4703	690
518	4712	690
519	4721	690
520	4730	690
521	4739	690
522	4748	690
523	4757	690
524	4766	690
525	4775	690
526	4784	690
527	4793	690
528	4802	690
529	4811	690
530	4820	690
531	4829	690
532	4838	690
533	4847	690
534	4856	690
535	4865	690
536	4874	690
537	4883	690
538	4892	690
539	4901	690
540	4910	690
541	4919	690
542	4928	690
543	4937	690
544	4946	690
545	4955	690
546	4964	690
547	4973	690
548	4982	690
549	4991	690
550	5000	690

Stop Event

1×	node limit

Counts

115 → 77

prune78.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	97	6	103

Error

0.0b

Counts

103 → 6

Alt Table

Status	Error	Program
▶	0.4b	(+.f64 (-.f64 (-.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3) y) z) (log.f64 t))
	55.2b	(log.f64 (*.f64 (exp.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) t))
✓	0.1b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
	1.1b	(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) 2) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) (log.f64 t))
	32.8b	(+.f64 (-.f64 (-.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 y))) 2) y) z) (log.f64 t))
	0.6b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 y)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t))

Compiler

Compiled 1879 to 823 computations (56.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (*.f64 x (log.f64 y)))
✓	0.6b	(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3))
	0.7b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)
✓	0.7b	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3)

series341.0ms (2.8%)

Counts

2 → 24

Calls

12 calls:

101.0ms	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3)	y	inf
87.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3))	y	inf
34.0ms	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3)	y	-inf
29.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3))	y	-inf
27.0ms	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3)	y	0

rewrite35.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

513×	`log1p-expm1-u_binary64`
513×	`expm1-log1p-u_binary64`
248×	`unpow-prod-down_binary64`
164×	`log-prod_binary64`
161×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	179	14
2	1422	14

Stop Event

1×	node limit

Counts

2 → 48

simplify2.4s (20.1%)

Algorithm

1×	egg-herbie

Rules

1659×	`sqr-pow_binary64`
3×	`unpow1/3_binary64`
2×	`log-div_binary64`
1×	`1-exp_binary64`
1×	`log-rec_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	280
1	40	280
2	49	280
3	58	280
4	67	280
5	76	280
6	85	280
7	94	280
8	103	280
9	112	280
10	121	280
11	130	280
12	139	280
13	148	280
14	157	280
15	166	280
16	175	280
17	184	280
18	193	280
19	202	280
20	211	280
21	220	280
22	229	280
23	238	280
24	247	280
25	256	280
26	265	280
27	274	280
28	283	280
29	292	280
30	301	280
31	310	280
32	319	280
33	328	280
34	337	280
35	346	280
36	355	280
37	364	280
38	373	280
39	382	280
40	391	280
41	400	280
42	409	280
43	418	280
44	427	280
45	436	280
46	445	280
47	454	280
48	463	280
49	472	280
50	481	280
51	490	280
52	499	280
53	508	280
54	517	280
55	526	280
56	535	280
57	544	280
58	553	280
59	562	280
60	571	280
61	580	280
62	589	280
63	598	280
64	607	280
65	616	280
66	625	280
67	634	280
68	643	280
69	652	280
70	661	280
71	670	280
72	679	280
73	688	280
74	697	280
75	706	280
76	715	280
77	724	280
78	733	280
79	742	280
80	751	280
81	760	280
82	769	280
83	778	280
84	787	280
85	796	280
86	805	280
87	814	280
88	823	280
89	832	280
90	841	280
91	850	280
92	859	280
93	868	280
94	877	280
95	886	280
96	895	280
97	904	280
98	913	280
99	922	280
100	931	280
101	940	280
102	949	280
103	958	280
104	967	280
105	976	280
106	985	280
107	994	280
108	1003	280
109	1012	280
110	1021	280
111	1030	280
112	1039	280
113	1048	280
114	1057	280
115	1066	280
116	1075	280
117	1084	280
118	1093	280
119	1102	280
120	1111	280
121	1120	280
122	1129	280
123	1138	280
124	1147	280
125	1156	280
126	1165	280
127	1174	280
128	1183	280
129	1192	280
130	1201	280
131	1210	280
132	1219	280
133	1228	280
134	1237	280
135	1246	280
136	1255	280
137	1264	280
138	1273	280
139	1282	280
140	1291	280
141	1300	280
142	1309	280
143	1318	280
144	1327	280
145	1336	280
146	1345	280
147	1354	280
148	1363	280
149	1372	280
150	1381	280
151	1390	280
152	1399	280
153	1408	280
154	1417	280
155	1426	280
156	1435	280
157	1444	280
158	1453	280
159	1462	280
160	1471	280
161	1480	280
162	1489	280
163	1498	280
164	1507	280
165	1516	280
166	1525	280
167	1534	280
168	1543	280
169	1552	280
170	1561	280
171	1570	280
172	1579	280
173	1588	280
174	1597	280
175	1606	280
176	1615	280
177	1624	280
178	1633	280
179	1642	280
180	1651	280
181	1660	280
182	1669	280
183	1678	280
184	1687	280
185	1696	280
186	1705	280
187	1714	280
188	1723	280
189	1732	280
190	1741	280
191	1750	280
192	1759	280
193	1768	280
194	1777	280
195	1786	280
196	1795	280
197	1804	280
198	1813	280
199	1822	280
200	1831	280
201	1840	280
202	1849	280
203	1858	280
204	1867	280
205	1876	280
206	1885	280
207	1894	280
208	1903	280
209	1912	280
210	1921	280
211	1930	280
212	1939	280
213	1948	280
214	1957	280
215	1966	280
216	1975	280
217	1984	280
218	1993	280
219	2002	280
220	2011	280
221	2020	280
222	2029	280
223	2038	280
224	2047	280
225	2056	280
226	2065	280
227	2074	280
228	2083	280
229	2092	280
230	2101	280
231	2110	280
232	2119	280
233	2128	280
234	2137	280
235	2146	280
236	2155	280
237	2164	280
238	2173	280
239	2182	280
240	2191	280
241	2200	280
242	2209	280
243	2218	280
244	2227	280
245	2236	280
246	2245	280
247	2254	280
248	2263	280
249	2272	280
250	2281	280
251	2290	280
252	2299	280
253	2308	280
254	2317	280
255	2326	280
256	2335	280
257	2344	280
258	2353	280
259	2362	280
260	2371	280
261	2380	280
262	2389	280
263	2398	280
264	2407	280
265	2416	280
266	2425	280
267	2434	280
268	2443	280
269	2452	280
270	2461	280
271	2470	280
272	2479	280
273	2488	280
274	2497	280
275	2506	280
276	2515	280
277	2524	280
278	2533	280
279	2542	280
280	2551	280
281	2560	280
282	2569	280
283	2578	280
284	2587	280
285	2596	280
286	2605	280
287	2614	280
288	2623	280
289	2632	280
290	2641	280
291	2650	280
292	2659	280
293	2668	280
294	2677	280
295	2686	280
296	2695	280
297	2704	280
298	2713	280
299	2722	280
300	2731	280
301	2740	280
302	2749	280
303	2758	280
304	2767	280
305	2776	280
306	2785	280
307	2794	280
308	2803	280
309	2812	280
310	2821	280
311	2830	280
312	2839	280
313	2848	280
314	2857	280
315	2866	280
316	2875	280
317	2884	280
318	2893	280
319	2902	280
320	2911	280
321	2920	280
322	2929	280
323	2938	280
324	2947	280
325	2956	280
326	2965	280
327	2974	280
328	2983	280
329	2992	280
330	3001	280
331	3010	280
332	3019	280
333	3028	280
334	3029	280
335	3037	280
336	3045	280
337	3053	280
338	3061	280
339	3069	280
340	3077	280
341	3091	280
342	3100	280
343	3109	280
344	3118	280
345	3127	280
346	3136	280
347	3145	280
348	3154	280
349	3163	280
350	3172	280
351	3181	280
352	3190	280
353	3199	280
354	3208	280
355	3217	280
356	3226	280
357	3235	280
358	3244	280
359	3253	280
360	3262	280
361	3271	280
362	3280	280
363	3289	280
364	3298	280
365	3307	280
366	3316	280
367	3325	280
368	3334	280
369	3343	280
370	3352	280
371	3361	280
372	3370	280
373	3379	280
374	3388	280
375	3397	280
376	3406	280
377	3415	280
378	3424	280
379	3433	280
380	3442	280
381	3451	280
382	3460	280
383	3469	280
384	3478	280
385	3487	280
386	3496	280
387	3505	280
388	3514	280
389	3523	280
390	3532	280
391	3541	280
392	3550	280
393	3559	280
394	3568	280
395	3577	280
396	3586	280
397	3595	280
398	3604	280
399	3613	280
400	3622	280
401	3631	280
402	3640	280
403	3649	280
404	3658	280
405	3667	280
406	3676	280
407	3685	280
408	3694	280
409	3703	280
410	3712	280
411	3721	280
412	3730	280
413	3739	280
414	3748	280
415	3757	280
416	3766	280
417	3775	280
418	3784	280
419	3793	280
420	3802	280
421	3811	280
422	3820	280
423	3829	280
424	3838	280
425	3847	280
426	3856	280
427	3865	280
428	3874	280
429	3883	280
430	3892	280
431	3901	280
432	3910	280
433	3919	280
434	3928	280
435	3937	280
436	3946	280
437	3955	280
438	3964	280
439	3973	280
440	3982	280
441	3991	280
442	4000	280
443	4009	280
444	4018	280
445	4027	280
446	4036	280
447	4045	280
448	4054	280
449	4063	280
450	4072	280
451	4081	280
452	4090	280
453	4099	280
454	4108	280
455	4117	280
456	4126	280
457	4135	280
458	4144	280
459	4153	280
460	4162	280
461	4171	280
462	4180	280
463	4189	280
464	4198	280
465	4207	280
466	4216	280
467	4225	280
468	4234	280
469	4243	280
470	4252	280
471	4261	280
472	4270	280
473	4279	280
474	4288	280
475	4297	280
476	4306	280
477	4315	280
478	4324	280
479	4333	280
480	4342	280
481	4351	280
482	4360	280
483	4369	280
484	4378	280
485	4387	280
486	4396	280
487	4405	280
488	4414	280
489	4423	280
490	4432	280
491	4441	280
492	4450	280
493	4459	280
494	4468	280
495	4477	280
496	4486	280
497	4495	280
498	4504	280
499	4513	280
500	4522	280
501	4531	280
502	4540	280
503	4549	280
504	4558	280
505	4567	280
506	4576	280
507	4585	280
508	4594	280
509	4603	280
510	4612	280
511	4621	280
512	4630	280
513	4639	280
514	4648	280
515	4657	280
516	4666	280
517	4675	280
518	4684	280
519	4693	280
520	4702	280
521	4711	280
522	4720	280
523	4729	280
524	4738	280
525	4747	280
526	4756	280
527	4765	280
528	4774	280
529	4783	280
530	4792	280
531	4801	280
532	4810	280
533	4819	280
534	4828	280
535	4837	280
536	4846	280
537	4855	280
538	4864	280
539	4873	280
540	4882	280
541	4891	280
542	4900	280
543	4909	280
544	4918	280
545	4927	280
546	4936	280
547	4945	280
548	4954	280
549	4963	280
550	4972	280
551	4981	280
552	4990	280
553	4999	280

Stop Event

1×	node limit

Counts

72 → 57

prune99.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	101	7	108

Error

0.0b

Counts

108 → 7

Alt Table

Status	Error	Program
✓	0.4b	(+.f64 (-.f64 (-.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3) y) z) (log.f64 t))
	55.2b	(log.f64 (*.f64 (exp.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) t))
✓	0.1b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
	1.1b	(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) 2) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) (log.f64 t))
	13.6b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 x (log.f64 y)) 2))) 2) 3/2) (cbrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t))
	32.8b	(+.f64 (-.f64 (-.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 y))) 2) y) z) (log.f64 t))
▶	0.6b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 y)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t))

Compiler

Compiled 2232 to 1115 computations (50% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y)))) 2)
✓	0.6b	(cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y))))
	0.6b	(cbrt.f64 (*.f64 x (log.f64 y)))
✓	0.7b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y)))) 2) 3)

series2.0s (16.3%)

Counts

3 → 72

Calls

18 calls:

227.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y)))) 2) 3)	x	-inf
207.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y)))) 2)	x	-inf
200.0ms	(cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y))))	x	-inf
115.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y)))) 2) 3)	x	0
111.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 y)))) 2)	x	0

rewrite36.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`log1p-expm1-u_binary64`
705×	`expm1-log1p-u_binary64`
160×	`expm1-udef_binary64`
160×	`log1p-udef_binary64`
96×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	209	34
2	2001	34

Stop Event

1×	node limit

Counts

3 → 50

simplify131.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1380×	`sqr-pow_binary64`
1053×	`pow-sqr_binary64`
102×	`cube-mult_binary64`
102×	`unpow3_binary64`
100×	`cube-prod_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	70	1868
1	151	1868
2	240	1868
3	373	1868
4	576	1864
5	830	1864
6	1206	1864
7	1836	1864
8	2923	1864
9	3707	1864
10	3799	1864
11	3803	1864
12	3803	1864

Stop Event

1×	node limit

Counts

122 → 86

prune169.0ms (1.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	135	10	145

Error

0.0b

Counts

145 → 10

Alt Table

Status	Error	Program
	0.6b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 y)))) 2) 3) (*.f64 (cbrt.f64 x) (cbrt.f64 (log.f64 y)))) y) z) (log.f64 t))
✓	0.1b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
✓	0.4b	(+.f64 (-.f64 (-.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 y))) 3)) 3) y) z) (log.f64 t))
	55.2b	(log.f64 (*.f64 (exp.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) t))
	0.7b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (log.f64 y)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t))
	1.1b	(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) 2) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (neg.f64 y)) z)) (log.f64 t))
	13.6b	(+.f64 (-.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (log.f64 y) 2) (.f64 x x))) (cbrt.f64 (.f64 x (log.f64 y)))) y) z) (log.f64 t))
	13.6b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 x (log.f64 y)) 2))) 2) 3/2) (cbrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t))
	32.8b	(+.f64 (-.f64 (-.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 y))) 2) y) z) (log.f64 t))
✓	0.6b	(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 y)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t))

Compiler

Compiled 4069 to 1863 computations (54.2% saved)

regimes453.0ms (3.8%)

Accuracy

Total 0.0b remaining (49.9%)

Threshold costs 0.0b (49.9%)

Counts

46 → 1

Compiler

Compiled 7635 to 5132 computations (32.8% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15

Stop Event

1×

saturated

end216.0ms (1.8%)

Stop Event

1×

fuel

Compiler

Compiled 264 to 176 computations (33.3% saved)

Details

analyze371.0ms (3.1%)

sample1.3s (10.5%)

preprocess14.0ms (0.1%)

simplify4.0ms (0%)

prune4.0ms (0%)

localize9.0ms (0.1%)

series606.0ms (5%)

rewrite46.0ms (0.4%)

simplify28.0ms (0.2%)

prune84.0ms (0.7%)

localize16.0ms (0.1%)

series438.0ms (3.6%)

rewrite45.0ms (0.4%)

simplify3.1s (26.1%)

prune78.0ms (0.6%)

localize16.0ms (0.1%)

series341.0ms (2.8%)

rewrite35.0ms (0.3%)

simplify2.4s (20.1%)

prune99.0ms (0.8%)

localize15.0ms (0.1%)

series2.0s (16.3%)

rewrite36.0ms (0.3%)

simplify131.0ms (1.1%)

prune169.0ms (1.4%)

regimes453.0ms (3.8%)

simplify1.0ms (0%)

end216.0ms (1.8%)

Profiling