Details

analyze116.0ms (1.7%)

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
25%	74.9%	0.1%	5
25%	56.2%	18.8%	6
37.5%	40.6%	22%	7
46.8%	29.7%	23.5%	8
54.6%	21.1%	24.3%	9
60.1%	15.2%	24.7%	10
64.4%	10.7%	24.9%	11
67.3%	7.7%	25%	12
69.6%	5.4%	25%	13
71.1%	3.9%	25%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample805.0ms (11.5%)

Results

786.0ms	8256×	body	128	valid
1.0ms	14×	body	128	invalid

Compiler

Compiled 20 to 12 computations (40% saved)

preprocess21.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

2×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	11	16
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8

Stop Event

1×

saturated

Counts

1 → 2

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (fma.f64 x x y) y)

Compiler

Compiled 31 to 15 computations (51.6% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (fma.f64 x x y) y)

series7.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

1.0ms	(+.f64 (fma.f64 x x y) y)	y	-inf
1.0ms	(+.f64 (fma.f64 x x y) y)	y	inf
1.0ms	(+.f64 (fma.f64 x x y) y)	x	-inf
1.0ms	(+.f64 (fma.f64 x x y) y)	x	inf
1.0ms	(+.f64 (fma.f64 x x y) y)	x	0

rewrite31.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

453×	`log1p-expm1-u_binary64`
453×	`expm1-log1p-u_binary64`
411×	`pow1_binary64`
185×	`unpow-prod-down_binary64`
142×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	100	8
2	1130	8

Stop Event

1×	node limit

Counts

1 → 31

simplify2.9s (41.5%)

Algorithm

1×	egg-herbie

Rules

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

Stop Event

1×	node limit

Counts

55 → 36

prune21.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	2	37

Error

Counts

37 → 2

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 2 y (*.f64 x x))
✓	0.0b	(+.f64 (fma.f64 x x y) y)

Compiler

Compiled 428 to 157 computations (63.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 y (*.f64 x x))

series9.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

3.0ms	(fma.f64 2 y (*.f64 x x))	y	-inf
1.0ms	(fma.f64 2 y (*.f64 x x))	y	0
1.0ms	(fma.f64 2 y (*.f64 x x))	y	inf
1.0ms	(fma.f64 2 y (*.f64 x x))	x	inf
1.0ms	(fma.f64 2 y (*.f64 x x))	x	-inf

rewrite36.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

432×	`log1p-expm1-u_binary64`
432×	`expm1-log1p-u_binary64`
410×	`pow1_binary64`
159×	`unpow-prod-down_binary64`
142×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	113	8
2	1146	8

Stop Event

1×	node limit

Counts

1 → 33

simplify2.9s (41.5%)

Algorithm

1×	egg-herbie

Rules

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

Stop Event

1×	node limit

Counts

57 → 38

prune23.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	38	2	40

Error

Counts

40 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 2 y (*.f64 x x))
✓	0.0b	(+.f64 (fma.f64 x x y) y)

Compiler

Compiled 463 to 278 computations (40% saved)

regimes31.0ms (0.5%)

Accuracy

Total 0.0b remaining (64.4%)

Threshold costs 0.0b (64.4%)

Counts

7 → 1

Compiler

Compiled 236 to 152 computations (35.6% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8

Stop Event

1×

saturated

end60.0ms (0.9%)

Stop Event

1×

done

Compiler

Compiled 32 to 19 computations (40.6% saved)

Details

analyze116.0ms (1.7%)

sample805.0ms (11.5%)

preprocess21.0ms (0.3%)

simplify6.0ms (0.1%)

prune4.0ms (0.1%)

localize8.0ms (0.1%)

series7.0ms (0.1%)

rewrite31.0ms (0.4%)

simplify2.9s (41.5%)

prune21.0ms (0.3%)

localize6.0ms (0.1%)

series9.0ms (0.1%)

rewrite36.0ms (0.5%)

simplify2.9s (41.5%)

prune23.0ms (0.3%)

regimes31.0ms (0.5%)

simplify2.0ms (0%)

end60.0ms (0.9%)

Profiling