Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 21 to 17 computations (19% saved)

sample892.0ms (16.9%)

Results

877.0ms

8256×

body

128

valid

Compiler

Compiled 42 to 34 computations (19% saved)

preprocess14.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	28
1	19	28
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 20 to 16 computations (20% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	28
1	19	28

Stop Event

1×

saturated

Counts

1 → 1

prune2.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 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Compiler

Compiled 60 to 48 computations (20% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))
✓	0.3b	(*.f64 x 4481/100000)
✓	0.4b	(*.f64 x 27061/100000)
✓	16.8b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

series8.0ms (0.2%)

Counts

4 → 48

Calls

12 calls:

1.0ms	(*.f64 x 4481/100000)	x	inf
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))	x	-inf
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))	x	inf
1.0ms	(.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))	x	-inf
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))	x	0

rewrite46.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

321×	`log-prod_binary64`
251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
247×	`pow1/3_binary64`
229×	`pow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	40
1	278	40
2	2826	40

Stop Event

1×	node limit

Counts

4 → 69

simplify309.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
842×	`pow-sqr_binary64`
57×	`cube-prod_binary64`
57×	`cube-mult_binary64`
57×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	442
1	68	442
2	81	442
3	95	442
4	115	442
5	136	442
6	160	442
7	185	442
8	214	442
9	244	442
10	278	442
11	313	442
12	352	442
13	392	442
14	436	442
15	481	442
16	530	442
17	580	442
18	634	442
19	689	442
20	748	442
21	808	442
22	872	442
23	937	442
24	1006	442
25	1076	442
26	1150	442
27	1225	442
28	1304	442
29	1384	442
30	1468	442
31	1553	442
32	1642	442
33	1732	442
34	1826	442
35	1921	442
36	2020	442
37	2120	442
38	2146	442
39	2148	442
40	2148	442
41	2247	442
42	2351	442
43	2458	442
44	2569	442
45	2681	442
46	2797	442
47	2914	442
48	3035	442
49	3157	442
50	3283	442
51	3410	442
52	3541	442
53	3673	442
54	3809	442
55	3946	442
56	3979	442
57	3981	442
58	3981	442
59	4117	442
60	4258	442
61	4402	442
62	4550	442
63	4699	442
64	4852	442

Stop Event

1×	node limit

Counts

117 → 89

prune92.0ms (1.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Error

0.1b

Counts

90 → 3

Alt Table

Status	Error	Program
	16.5b	(.f64 70711/100000 (-.f64 (exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) x))
	0.6b	(.f64 70711/100000 (-.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 3) x))
▶	0.2b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))) x))

Compiler

Compiled 2224 to 1792 computations (19.4% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))
	0.3b	(*.f64 x 4481/100000)
	0.4b	(*.f64 x 27061/100000)
✓	4.3b	(log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))

series206.0ms (3.9%)

Counts

1 → 12

Calls

3 calls:

96.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))

-inf

92.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))

inf

18.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))

rewrite32.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

783×	`log1p-expm1-u_binary64`
783×	`expm1-log1p-u_binary64`
171×	`log1p-udef_binary64`
97×	`add-sqr-sqrt_binary64`
92×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	10
1	198	10
2	1947	10

Stop Event

1×	node limit

Counts

1 → 19

simplify2.6s (49.8%)

Algorithm

1×	egg-herbie

Rules

997×	`sqr-pow_binary64`
1×	`rem-sqrt-square_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`
1×	`unpow1/2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

31 → 23

prune84.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	78	3	81

Error

0.1b

Counts

81 → 3

Alt Table

Status	Error	Program
	16.5b	(.f64 70711/100000 (-.f64 (exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) x))
▶	0.6b	(.f64 70711/100000 (-.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 3) x))
✓	0.2b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))) x))

Compiler

Compiled 2167 to 1785 computations (17.6% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 x 4481/100000)
	0.4b	(*.f64 x 27061/100000)
✓	0.8b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)
	16.8b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

series21.0ms (0.4%)

Counts

1 → 4

Calls

3 calls:

11.0ms

(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)

6.0ms

(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)

-inf

4.0ms

(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)

inf

rewrite42.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

363×	`log-prod_binary64`
280×	`expm1-udef_binary64`
280×	`log1p-udef_binary64`
250×	`log-pow_binary64`
160×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	22
1	337	22
2	3259	22

Stop Event

1×	node limit

Counts

1 → 19

simplify232.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1716×	`sqr-pow_binary64`
758×	`pow-sqr_binary64`
55×	`cube-prod_binary64`
55×	`cube-mult_binary64`
55×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	104
1	59	104
2	80	104
3	102	104
4	130	104
5	158	104
6	189	104
7	221	104
8	257	104
9	294	104
10	335	104
11	377	104
12	423	104
13	470	104
14	521	104
15	573	104
16	629	104
17	686	104
18	747	104
19	809	104
20	875	104
21	942	104
22	1013	104
23	1085	104
24	1161	104
25	1238	104
26	1319	104
27	1401	104
28	1487	104
29	1574	104
30	1665	104
31	1757	104
32	1853	104
33	1950	104
34	2051	104
35	2153	104
36	2259	104
37	2263	104
38	2265	104
39	2265	104
40	2371	104
41	2480	104
42	2592	104
43	2708	104
44	2825	104
45	2946	104
46	3068	104
47	3194	104
48	3321	104
49	3452	104
50	3584	104
51	3720	104
52	3857	104
53	3998	104
54	4140	104
55	4144	104
56	4146	104
57	4146	104
58	4291	104
59	4436	104
60	4587	104
61	4739	104
62	4895	104

Stop Event

1×	node limit

Counts

23 → 26

prune84.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	92	3	95

Error

0.1b

Counts

95 → 3

Alt Table

Status	Error	Program
▶	16.5b	(.f64 70711/100000 (-.f64 (exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) x))
✓	0.6b	(.f64 70711/100000 (-.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 3) x))
✓	0.2b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))) x))

Compiler

Compiled 2561 to 2119 computations (17.3% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 x 27061/100000)
✓	0.5b	(log.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)))
✓	1.8b	(exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
✓	17.4b	(log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))

series10.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

2.0ms	(exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))	x	-inf
2.0ms	(exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))	x	inf
1.0ms	(log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))	x	0
1.0ms	(log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))	x	-inf
1.0ms	(exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))	x	0

rewrite50.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

358×	`log-prod_binary64`
273×	`expm1-udef_binary64`
273×	`log1p-udef_binary64`
254×	`log-pow_binary64`
153×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	44
1	297	43
2	3095	43

Stop Event

1×	node limit

Counts

3 → 59

simplify80.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

560×	`pow-sqr_binary64`
502×	`fma-def_binary64`
451×	`sqr-pow_binary64`
371×	`log-pow_binary64`
264×	`log-prod_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	1042
1	175	1002
2	195	892
3	218	892
4	252	892
5	300	892
6	388	892
7	543	892
8	806	892
9	1311	892
10	2619	892
11	4022	892

Stop Event

1×	node limit

Counts

95 → 123

prune133.0ms (2.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	139	3	142

Error

0.1b

Counts

142 → 3

Alt Table

Status	Error	Program
✓	16.5b	(.f64 70711/100000 (-.f64 (exp.f64 (-.f64 (log.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (log1p.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) x))
✓	0.6b	(.f64 70711/100000 (-.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 3) x))
✓	0.2b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))) x))

Compiler

Compiled 3947 to 3221 computations (18.4% saved)

regimes166.0ms (3.1%)

Accuracy

Total 0.0b remaining (5.1%)

Threshold costs 0.0b (5.1%)

Counts

54 → 1

Compiler

Compiled 3251 to 2666 computations (18% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	31
1	20	31

Stop Event

1×

saturated

end78.0ms (1.5%)

Stop Event

1×

done

Compiler

Compiled 112 to 92 computations (17.9% saved)

Details

analyze5.0ms (0.1%)

sample892.0ms (16.9%)

preprocess14.0ms (0.3%)

simplify4.0ms (0.1%)

prune2.0ms (0%)

localize11.0ms (0.2%)

series8.0ms (0.2%)

rewrite46.0ms (0.9%)

simplify309.0ms (5.9%)

prune92.0ms (1.7%)

localize14.0ms (0.3%)

series206.0ms (3.9%)

rewrite32.0ms (0.6%)

simplify2.6s (49.8%)

prune84.0ms (1.6%)

localize15.0ms (0.3%)

series21.0ms (0.4%)

rewrite42.0ms (0.8%)

simplify232.0ms (4.4%)

prune84.0ms (1.6%)

localize15.0ms (0.3%)

series10.0ms (0.2%)

rewrite50.0ms (1%)

simplify80.0ms (1.5%)

prune133.0ms (2.5%)

regimes166.0ms (3.1%)

simplify2.0ms (0%)

end78.0ms (1.5%)

Profiling