Details

analyze5.0s (21.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
15.6%	84.3%	0.1%	8
15.6%	84.3%	0.1%	9
15.6%	84.3%	0.1%	10
30.4%	69.4%	0.1%	11
30.4%	69.4%	0.1%	12
30.4%	69.4%	0.1%	13
39.6%	60.3%	0.1%	14

Compiler

Compiled 28 to 23 computations (17.9% saved)

sample4.9s (21.3%)

Results

2.6s	2069×	body	1024	valid
1.0s	4680×	body	128	valid
680.0ms	992×	body	512	valid
451.0ms	510×	body	256	valid
90.0ms	5×	body	2048	valid
1.0ms	1×	body	512	invalid
1.0ms	3×	body	128	invalid

Compiler

Compiled 56 to 46 computations (17.9% saved)

preprocess1.9s (8.2%)

Algorithm

2×	egg-herbie

Rules

1796×	`sqr-pow_binary64`
8×	`hypot-1-def_binary64`
4×	`rem-sqrt-square_binary64`
4×	`unpow1_binary64`
4×	`unpow1/2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	148
1	62	128
2	81	128
3	97	128
4	112	128
5	123	128
6	134	128
7	145	128
8	156	128
9	167	128
10	178	128
11	189	128
12	200	128
13	211	128
14	222	128
15	233	128
16	244	128
17	255	128
18	266	128
19	277	128
20	288	128
21	299	128
22	310	128
23	321	128
24	332	128
25	343	128
26	354	128
27	365	128
28	376	128
29	387	128
30	398	128
31	409	128
32	420	128
33	431	128
34	442	128
35	453	128
36	464	128
37	475	128
38	486	128
39	497	128
40	508	128
41	519	128
42	530	128
43	541	128
44	552	128
45	563	128
46	574	128
47	585	128
48	596	128
49	607	128
50	618	128
51	629	128
52	640	128
53	651	128
54	662	128
55	673	128
56	684	128
57	695	128
58	706	128
59	717	128
60	728	128
61	739	128
62	750	128
63	761	128
64	772	128
65	783	128
66	794	128
67	805	128
68	816	128
69	827	128
70	838	128
71	849	128
72	860	128
73	871	128
74	882	128
75	893	128
76	904	128
77	915	128
78	926	128
79	937	128
80	948	128
81	959	128
82	970	128
83	981	128
84	992	128
85	1003	128
86	1014	128
87	1025	128
88	1036	128
89	1047	128
90	1058	128
91	1069	128
92	1080	128
93	1091	128
94	1102	128
95	1113	128
96	1124	128
97	1135	128
98	1146	128
99	1157	128
100	1168	128
101	1179	128
102	1190	128
103	1201	128
104	1212	128
105	1223	128
106	1234	128
107	1245	128
108	1256	128
109	1267	128
110	1278	128
111	1289	128
112	1300	128
113	1311	128
114	1322	128
115	1333	128
116	1344	128
117	1355	128
118	1366	128
119	1377	128
120	1388	128
121	1399	128
122	1410	128
123	1421	128
124	1432	128
125	1443	128
126	1454	128
127	1465	128
128	1476	128
129	1487	128
130	1498	128
131	1509	128
132	1520	128
133	1531	128
134	1542	128
135	1553	128
136	1564	128
137	1575	128
138	1586	128
139	1597	128
140	1608	128
141	1619	128
142	1630	128
143	1641	128
144	1652	128
145	1663	128
146	1674	128
147	1685	128
148	1696	128
149	1707	128
150	1718	128
151	1729	128
152	1740	128
153	1751	128
154	1762	128
155	1773	128
156	1784	128
157	1795	128
158	1806	128
159	1817	128
160	1828	128
161	1839	128
162	1850	128
163	1861	128
164	1872	128
165	1883	128
166	1894	128
167	1905	128
168	1916	128
169	1927	128
170	1938	128
171	1949	128
172	1960	128
173	1971	128
174	1982	128
175	1993	128
176	2004	128
177	2015	128
178	2026	128
179	2037	128
180	2048	128
181	2059	128
182	2070	128
183	2081	128
184	2092	128
185	2103	128
186	2114	128
187	2125	128
188	2136	128
189	2147	128
190	2158	128
191	2169	128
192	2180	128
193	2191	128
194	2202	128
195	2213	128
196	2224	128
197	2235	128
198	2246	128
199	2257	128
200	2268	128
201	2279	128
202	2290	128
203	2301	128
204	2312	128
205	2323	128
206	2334	128
207	2345	128
208	2356	128
209	2367	128
210	2378	128
211	2389	128
212	2400	128
213	2411	128
214	2422	128
215	2433	128
216	2444	128
217	2455	128
218	2466	128
219	2477	128
220	2488	128
221	2499	128
222	2510	128
223	2521	128
224	2532	128
225	2543	128
226	2554	128
227	2565	128
228	2576	128
229	2587	128
230	2598	128
231	2609	128
232	2620	128
233	2631	128
234	2642	128
235	2653	128
236	2664	128
237	2675	128
238	2686	128
239	2697	128
240	2708	128
241	2719	128
242	2730	128
243	2741	128
244	2752	128
245	2763	128
246	2774	128
247	2785	128
248	2796	128
249	2807	128
250	2818	128
251	2819	128
252	2829	128
253	2839	128
254	2849	128
255	2859	128
256	2869	128
257	2879	128
258	2895	128
259	2906	128
260	2917	128
261	2928	128
262	2939	128
263	2950	128
264	2961	128
265	2972	128
266	2983	128
267	2994	128
268	3005	128
269	3016	128
270	3027	128
271	3038	128
272	3049	128
273	3060	128
274	3071	128
275	3082	128
276	3093	128
277	3104	128
278	3115	128
279	3126	128
280	3137	128
281	3148	128
282	3159	128
283	3170	128
284	3181	128
285	3192	128
286	3203	128
287	3214	128
288	3225	128
289	3236	128
290	3247	128
291	3258	128
292	3269	128
293	3280	128
294	3291	128
295	3302	128
296	3313	128
297	3324	128
298	3335	128
299	3346	128
300	3357	128
301	3368	128
302	3379	128
303	3390	128
304	3401	128
305	3412	128
306	3423	128
307	3434	128
308	3445	128
309	3456	128
310	3467	128
311	3478	128
312	3489	128
313	3500	128
314	3511	128
315	3522	128
316	3533	128
317	3544	128
318	3555	128
319	3566	128
320	3577	128
321	3588	128
322	3599	128
323	3610	128
324	3621	128
325	3632	128
326	3643	128
327	3654	128
328	3665	128
329	3676	128
330	3687	128
331	3698	128
332	3709	128
333	3720	128
334	3731	128
335	3742	128
336	3753	128
337	3764	128
338	3775	128
339	3786	128
340	3797	128
341	3808	128
342	3819	128
343	3830	128
344	3841	128
345	3852	128
346	3863	128
347	3874	128
348	3885	128
349	3896	128
350	3907	128
351	3918	128
352	3929	128
353	3940	128
354	3951	128
355	3962	128
356	3973	128
357	3984	128
358	3995	128
359	4006	128
360	4017	128
361	4028	128
362	4039	128
363	4050	128
364	4061	128
365	4072	128
366	4083	128
367	4094	128
368	4105	128
369	4116	128
370	4127	128
371	4138	128
372	4149	128
373	4160	128
374	4171	128
375	4182	128
376	4193	128
377	4204	128
378	4215	128
379	4226	128
380	4237	128
381	4248	128
382	4259	128
383	4270	128
384	4281	128
385	4292	128
386	4303	128
387	4314	128
388	4325	128
389	4336	128
390	4347	128
391	4358	128
392	4369	128
393	4380	128
394	4391	128
395	4402	128
396	4413	128
397	4424	128
398	4435	128
399	4446	128
400	4457	128
401	4468	128
402	4479	128
403	4490	128
404	4501	128
405	4512	128
406	4523	128
407	4534	128
408	4545	128
409	4556	128
410	4567	128
411	4578	128
412	4589	128
413	4600	128
414	4611	128
415	4622	128
416	4633	128
417	4644	128
418	4655	128
419	4666	128
420	4677	128
421	4688	128
422	4699	128
423	4710	128
424	4721	128
425	4732	128
426	4743	128
427	4754	128
428	4765	128
429	4776	128
430	4787	128
431	4798	128
432	4809	128
433	4820	128
434	4831	128
435	4842	128
436	4853	128
437	4864	128
438	4875	128
439	4886	128
440	4897	128
441	4908	128
442	4919	128
443	4930	128
444	4941	128
445	4952	128
446	4963	128
447	4974	128
448	4985	128
449	4996	128
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify2.3s (10.1%)

Algorithm

1×	egg-herbie

Rules

996×	`sqr-pow_binary64`
2×	`hypot-1-def_binary64`
1×	`rem-sqrt-square_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	24	32
2	31	32
3	38	32
4	44	32
5	49	32
6	54	32
7	59	32
8	64	32
9	69	32
10	74	32
11	79	32
12	84	32
13	89	32
14	94	32
15	99	32
16	104	32
17	109	32
18	114	32
19	119	32
20	124	32
21	129	32
22	134	32
23	139	32
24	144	32
25	149	32
26	154	32
27	159	32
28	164	32
29	169	32
30	174	32
31	179	32
32	184	32
33	189	32
34	194	32
35	199	32
36	204	32
37	209	32
38	214	32
39	219	32
40	224	32
41	229	32
42	234	32
43	239	32
44	244	32
45	249	32
46	254	32
47	259	32
48	264	32
49	269	32
50	274	32
51	279	32
52	284	32
53	289	32
54	294	32
55	299	32
56	304	32
57	309	32
58	314	32
59	319	32
60	324	32
61	329	32
62	334	32
63	339	32
64	344	32
65	349	32
66	354	32
67	359	32
68	364	32
69	369	32
70	374	32
71	379	32
72	384	32
73	389	32
74	394	32
75	399	32
76	404	32
77	409	32
78	414	32
79	419	32
80	424	32
81	429	32
82	434	32
83	439	32
84	444	32
85	449	32
86	454	32
87	459	32
88	464	32
89	469	32
90	474	32
91	479	32
92	484	32
93	489	32
94	494	32
95	499	32
96	504	32
97	509	32
98	514	32
99	519	32
100	524	32
101	529	32
102	534	32
103	539	32
104	544	32
105	549	32
106	554	32
107	559	32
108	564	32
109	569	32
110	574	32
111	579	32
112	584	32
113	589	32
114	594	32
115	599	32
116	604	32
117	609	32
118	614	32
119	619	32
120	624	32
121	629	32
122	634	32
123	639	32
124	644	32
125	649	32
126	654	32
127	659	32
128	664	32
129	669	32
130	674	32
131	679	32
132	684	32
133	689	32
134	694	32
135	699	32
136	704	32
137	709	32
138	714	32
139	719	32
140	724	32
141	729	32
142	734	32
143	739	32
144	744	32
145	749	32
146	754	32
147	759	32
148	764	32
149	769	32
150	774	32
151	779	32
152	784	32
153	789	32
154	794	32
155	799	32
156	804	32
157	809	32
158	814	32
159	819	32
160	824	32
161	829	32
162	834	32
163	839	32
164	844	32
165	849	32
166	854	32
167	859	32
168	864	32
169	869	32
170	874	32
171	879	32
172	884	32
173	889	32
174	894	32
175	899	32
176	904	32
177	909	32
178	914	32
179	919	32
180	924	32
181	929	32
182	934	32
183	939	32
184	944	32
185	949	32
186	954	32
187	959	32
188	964	32
189	969	32
190	974	32
191	979	32
192	984	32
193	989	32
194	994	32
195	999	32
196	1004	32
197	1009	32
198	1014	32
199	1019	32
200	1024	32
201	1029	32
202	1034	32
203	1039	32
204	1044	32
205	1049	32
206	1054	32
207	1059	32
208	1064	32
209	1069	32
210	1074	32
211	1079	32
212	1084	32
213	1089	32
214	1094	32
215	1099	32
216	1104	32
217	1109	32
218	1114	32
219	1119	32
220	1124	32
221	1129	32
222	1134	32
223	1139	32
224	1144	32
225	1149	32
226	1154	32
227	1159	32
228	1164	32
229	1169	32
230	1174	32
231	1179	32
232	1184	32
233	1189	32
234	1194	32
235	1199	32
236	1204	32
237	1209	32
238	1214	32
239	1219	32
240	1224	32
241	1229	32
242	1234	32
243	1239	32
244	1244	32
245	1249	32
246	1254	32
247	1259	32
248	1264	32
249	1269	32
250	1274	32
251	1279	32
252	1284	32
253	1289	32
254	1294	32
255	1299	32
256	1304	32
257	1309	32
258	1314	32
259	1319	32
260	1324	32
261	1329	32
262	1334	32
263	1339	32
264	1344	32
265	1349	32
266	1354	32
267	1359	32
268	1364	32
269	1369	32
270	1374	32
271	1379	32
272	1384	32
273	1389	32
274	1394	32
275	1399	32
276	1404	32
277	1409	32
278	1414	32
279	1419	32
280	1424	32
281	1429	32
282	1434	32
283	1439	32
284	1444	32
285	1449	32
286	1454	32
287	1459	32
288	1464	32
289	1469	32
290	1474	32
291	1479	32
292	1484	32
293	1489	32
294	1494	32
295	1499	32
296	1504	32
297	1509	32
298	1514	32
299	1519	32
300	1524	32
301	1529	32
302	1534	32
303	1539	32
304	1544	32
305	1549	32
306	1554	32
307	1559	32
308	1564	32
309	1569	32
310	1574	32
311	1579	32
312	1584	32
313	1589	32
314	1594	32
315	1599	32
316	1604	32
317	1609	32
318	1614	32
319	1619	32
320	1624	32
321	1629	32
322	1634	32
323	1639	32
324	1644	32
325	1649	32
326	1654	32
327	1659	32
328	1664	32
329	1669	32
330	1674	32
331	1679	32
332	1684	32
333	1689	32
334	1694	32
335	1699	32
336	1704	32
337	1709	32
338	1714	32
339	1719	32
340	1724	32
341	1729	32
342	1734	32
343	1739	32
344	1744	32
345	1749	32
346	1754	32
347	1759	32
348	1764	32
349	1769	32
350	1774	32
351	1779	32
352	1784	32
353	1789	32
354	1794	32
355	1799	32
356	1804	32
357	1809	32
358	1814	32
359	1819	32
360	1824	32
361	1829	32
362	1834	32
363	1839	32
364	1844	32
365	1849	32
366	1854	32
367	1859	32
368	1864	32
369	1869	32
370	1874	32
371	1879	32
372	1884	32
373	1889	32
374	1894	32
375	1899	32
376	1904	32
377	1909	32
378	1914	32
379	1919	32
380	1924	32
381	1929	32
382	1934	32
383	1939	32
384	1944	32
385	1949	32
386	1954	32
387	1959	32
388	1964	32
389	1969	32
390	1974	32
391	1979	32
392	1984	32
393	1989	32
394	1994	32
395	1999	32
396	2004	32
397	2009	32
398	2014	32
399	2019	32
400	2024	32
401	2029	32
402	2034	32
403	2039	32
404	2044	32
405	2049	32
406	2054	32
407	2059	32
408	2064	32
409	2069	32
410	2074	32
411	2079	32
412	2084	32
413	2089	32
414	2094	32
415	2099	32
416	2104	32
417	2109	32
418	2114	32
419	2119	32
420	2124	32
421	2129	32
422	2134	32
423	2139	32
424	2144	32
425	2149	32
426	2154	32
427	2159	32
428	2164	32
429	2169	32
430	2174	32
431	2179	32
432	2184	32
433	2189	32
434	2194	32
435	2199	32
436	2204	32
437	2209	32
438	2214	32
439	2219	32
440	2224	32
441	2229	32
442	2234	32
443	2239	32
444	2244	32
445	2249	32
446	2254	32
447	2259	32
448	2264	32
449	2269	32
450	2274	32
451	2279	32
452	2284	32
453	2289	32
454	2294	32
455	2299	32
456	2304	32
457	2309	32
458	2314	32
459	2319	32
460	2324	32
461	2329	32
462	2334	32
463	2339	32
464	2344	32
465	2349	32
466	2354	32
467	2359	32
468	2364	32
469	2369	32
470	2374	32
471	2379	32
472	2384	32
473	2389	32
474	2394	32
475	2399	32
476	2404	32
477	2409	32
478	2414	32
479	2419	32
480	2424	32
481	2429	32
482	2434	32
483	2439	32
484	2444	32
485	2449	32
486	2454	32
487	2459	32
488	2464	32
489	2469	32
490	2474	32
491	2479	32
492	2484	32
493	2489	32
494	2494	32
495	2499	32
496	2504	32
497	2509	32
498	2514	32
499	2519	32
500	2524	32
501	2529	32
502	2534	32
503	2539	32
504	2544	32
505	2549	32
506	2554	32
507	2559	32
508	2564	32
509	2569	32
510	2574	32
511	2579	32
512	2584	32
513	2589	32
514	2594	32
515	2599	32
516	2604	32
517	2609	32
518	2614	32
519	2619	32
520	2624	32
521	2629	32
522	2634	32
523	2639	32
524	2644	32
525	2649	32
526	2654	32
527	2659	32
528	2664	32
529	2669	32
530	2674	32
531	2679	32
532	2684	32
533	2689	32
534	2694	32
535	2699	32
536	2704	32
537	2709	32
538	2714	32
539	2719	32
540	2724	32
541	2729	32
542	2734	32
543	2739	32
544	2744	32
545	2749	32
546	2754	32
547	2759	32
548	2764	32
549	2769	32
550	2774	32
551	2779	32
552	2784	32
553	2789	32
554	2794	32
555	2799	32
556	2804	32
557	2809	32
558	2814	32
559	2819	32
560	2824	32
561	2829	32
562	2834	32
563	2839	32
564	2844	32
565	2849	32
566	2854	32
567	2859	32
568	2864	32
569	2869	32
570	2874	32
571	2879	32
572	2884	32
573	2889	32
574	2894	32
575	2899	32
576	2904	32
577	2909	32
578	2914	32
579	2919	32
580	2924	32
581	2929	32
582	2934	32
583	2939	32
584	2944	32
585	2949	32
586	2954	32
587	2959	32
588	2964	32
589	2969	32
590	2974	32
591	2979	32
592	2984	32
593	2989	32
594	2994	32
595	2999	32
596	3004	32
597	3009	32
598	3014	32
599	3019	32
600	3024	32
601	3029	32
602	3034	32
603	3039	32
604	3044	32
605	3049	32
606	3054	32
607	3059	32
608	3064	32
609	3069	32
610	3074	32
611	3079	32
612	3084	32
613	3089	32
614	3094	32
615	3099	32
616	3104	32
617	3109	32
618	3114	32
619	3119	32
620	3124	32
621	3129	32
622	3134	32
623	3139	32
624	3144	32
625	3149	32
626	3154	32
627	3159	32
628	3164	32
629	3169	32
630	3174	32
631	3179	32
632	3184	32
633	3189	32
634	3194	32
635	3199	32
636	3204	32
637	3209	32
638	3214	32
639	3219	32
640	3224	32
641	3229	32
642	3234	32
643	3239	32
644	3244	32
645	3249	32
646	3254	32
647	3259	32
648	3264	32
649	3269	32
650	3274	32
651	3279	32
652	3284	32
653	3289	32
654	3294	32
655	3299	32
656	3304	32
657	3309	32
658	3314	32
659	3319	32
660	3324	32
661	3329	32
662	3334	32
663	3339	32
664	3344	32
665	3349	32
666	3354	32
667	3359	32
668	3364	32
669	3369	32
670	3374	32
671	3379	32
672	3384	32
673	3389	32
674	3394	32
675	3399	32
676	3404	32
677	3409	32
678	3414	32
679	3419	32
680	3424	32
681	3429	32
682	3434	32
683	3439	32
684	3444	32
685	3449	32
686	3454	32
687	3459	32
688	3464	32
689	3469	32
690	3474	32
691	3479	32
692	3484	32
693	3489	32
694	3494	32
695	3499	32
696	3504	32
697	3509	32
698	3514	32
699	3519	32
700	3524	32
701	3529	32
702	3534	32
703	3539	32
704	3544	32
705	3549	32
706	3554	32
707	3559	32
708	3564	32
709	3569	32
710	3574	32
711	3579	32
712	3584	32
713	3589	32
714	3594	32
715	3599	32
716	3604	32
717	3609	32
718	3614	32
719	3619	32
720	3624	32
721	3629	32
722	3634	32
723	3639	32
724	3644	32
725	3649	32
726	3654	32
727	3659	32
728	3664	32
729	3669	32
730	3674	32
731	3679	32
732	3684	32
733	3689	32
734	3694	32
735	3699	32
736	3704	32
737	3709	32
738	3714	32
739	3719	32
740	3724	32
741	3729	32
742	3734	32
743	3739	32
744	3744	32
745	3749	32
746	3754	32
747	3759	32
748	3764	32
749	3769	32
750	3774	32
751	3779	32
752	3784	32
753	3789	32
754	3794	32
755	3799	32
756	3804	32
757	3809	32
758	3814	32
759	3819	32
760	3824	32
761	3829	32
762	3834	32
763	3839	32
764	3844	32
765	3849	32
766	3854	32
767	3859	32
768	3864	32
769	3869	32
770	3874	32
771	3879	32
772	3884	32
773	3889	32
774	3894	32
775	3899	32
776	3904	32
777	3909	32
778	3914	32
779	3919	32
780	3924	32
781	3929	32
782	3934	32
783	3939	32
784	3944	32
785	3949	32
786	3954	32
787	3959	32
788	3964	32
789	3969	32
790	3974	32
791	3979	32
792	3984	32
793	3989	32
794	3994	32
795	3999	32
796	4004	32
797	4009	32
798	4014	32
799	4019	32
800	4024	32
801	4029	32
802	4034	32
803	4039	32
804	4044	32
805	4049	32
806	4054	32
807	4059	32
808	4064	32
809	4069	32
810	4074	32
811	4079	32
812	4084	32
813	4089	32
814	4094	32
815	4099	32
816	4104	32
817	4109	32
818	4114	32
819	4119	32
820	4124	32
821	4129	32
822	4134	32
823	4139	32
824	4144	32
825	4149	32
826	4154	32
827	4159	32
828	4164	32
829	4169	32
830	4174	32
831	4179	32
832	4184	32
833	4189	32
834	4194	32
835	4199	32
836	4204	32
837	4209	32
838	4214	32
839	4219	32
840	4224	32
841	4229	32
842	4234	32
843	4239	32
844	4244	32
845	4249	32
846	4254	32
847	4259	32
848	4264	32
849	4269	32
850	4274	32
851	4279	32
852	4284	32
853	4289	32
854	4294	32
855	4299	32
856	4304	32
857	4309	32
858	4314	32
859	4319	32
860	4324	32
861	4329	32
862	4334	32
863	4339	32
864	4344	32
865	4349	32
866	4354	32
867	4359	32
868	4364	32
869	4369	32
870	4374	32
871	4379	32
872	4384	32
873	4389	32
874	4394	32
875	4399	32
876	4404	32
877	4409	32
878	4414	32
879	4419	32
880	4424	32
881	4429	32
882	4434	32
883	4439	32
884	4444	32
885	4449	32
886	4454	32
887	4459	32
888	4464	32
889	4469	32
890	4474	32
891	4479	32
892	4484	32
893	4489	32
894	4494	32
895	4499	32
896	4504	32
897	4509	32
898	4514	32
899	4519	32
900	4524	32
901	4529	32
902	4534	32
903	4539	32
904	4544	32
905	4549	32
906	4554	32
907	4559	32
908	4564	32
909	4569	32
910	4574	32
911	4579	32
912	4584	32
913	4589	32
914	4594	32
915	4599	32
916	4604	32
917	4609	32
918	4614	32
919	4619	32
920	4624	32
921	4629	32
922	4634	32
923	4639	32
924	4644	32
925	4649	32
926	4654	32
927	4659	32
928	4664	32
929	4669	32
930	4674	32
931	4679	32
932	4684	32
933	4689	32
934	4694	32
935	4699	32
936	4704	32
937	4709	32
938	4714	32
939	4719	32
940	4724	32
941	4729	32
942	4734	32
943	4739	32
944	4744	32
945	4749	32
946	4754	32
947	4759	32
948	4764	32
949	4769	32
950	4774	32
951	4779	32
952	4784	32
953	4789	32
954	4794	32
955	4799	32
956	4804	32
957	4809	32
958	4814	32
959	4819	32
960	4824	32
961	4829	32
962	4834	32
963	4839	32
964	4844	32
965	4849	32
966	4854	32
967	4859	32
968	4864	32
969	4869	32
970	4874	32
971	4879	32
972	4884	32
973	4889	32
974	4894	32
975	4899	32
976	4904	32
977	4909	32
978	4914	32
979	4919	32
980	4924	32
981	4929	32
982	4934	32
983	4939	32
984	4944	32
985	4949	32
986	4954	32
987	4959	32
988	4964	32
989	4969	32
990	4974	32
991	4979	32
992	4984	32
993	4989	32
994	4994	32
995	4999	32

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

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

6.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	6.8b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))

Compiler

Compiled 96 to 76 computations (20.8% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2))))
✓	0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
✓	0.1b	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
✓	6.4b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))

series159.0ms (0.7%)

Counts

4 → 120

Calls

30 calls:

24.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	K	0
18.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	K	-inf
18.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	K	inf
8.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	J	inf
6.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	J	0

rewrite50.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

352×	`log-prod_binary64`
271×	`log-pow_binary64`
265×	`expm1-udef_binary64`
265×	`log1p-udef_binary64`
248×	`pow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	71
1	289	71
2	2883	71

Stop Event

1×	node limit

Counts

4 → 68

simplify487.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1679×	`sqr-pow_binary64`
776×	`pow-sqr_binary64`
105×	`cube-mult_binary64`
105×	`unpow3_binary64`
104×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	208	3233
1	316	3233
2	367	3233
3	414	3233
4	481	3233
5	558	3233
6	642	3233
7	738	3233
8	842	3233
9	959	3233
10	1082	3233
11	1218	3233
12	1362	3233
13	1519	3233
14	1683	3233
15	1860	3233
16	2043	3233
17	2240	3233
18	2444	3233
19	2460	3233
20	2468	3233
21	2468	3233
22	2681	3233
23	2897	3233
24	3134	3233
25	3378	3233
26	3635	3233
27	3899	3233
28	4176	3233
29	4243	3233
30	4251	3233
31	4251	3233
32	4530	3233
33	4814	3233

Stop Event

1×	node limit

Counts

188 → 135

prune129.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	130	5	135
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	130	6	136

Error

0.0b

Counts

136 → 6

Alt Table

Status	Error	Program
	34.7b	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)
▶	7.9b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)
✓	6.8b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))
	47.4b	U
	51.1b	(*.f64 -1 U)
	40.5b	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))

Compiler

Compiled 4810 to 3601 computations (25.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
✓	0.5b	(cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2))))))
✓	0.7b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)
✓	6.4b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))

series1.6s (6.9%)

Counts

3 → 76

Calls

27 calls:

192.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)	K	-inf
174.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)	K	inf
168.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)	K	0
160.0ms	(cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2))))))	K	inf
158.0ms	(cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2))))))	K	-inf

rewrite55.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

396×	`log-prod_binary64`
298×	`log-pow_binary64`
292×	`expm1-udef_binary64`
292×	`log1p-udef_binary64`
167×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	98
1	348	98
2	3310	98

Stop Event

1×	node limit

Counts

3 → 61

simplify617.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1701×	`sqr-pow_binary64`
452×	`pow-sqr_binary64`
85×	`cube-mult_binary64`
85×	`unpow3_binary64`
80×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	375	5483
1	578	5483
2	695	5483
3	810	5483
4	944	5483
5	1087	5483
6	1237	5483
7	1399	5483
8	1570	5483
9	1754	5483
10	1944	5483
11	2147	5483
12	2358	5483
13	2582	5483
14	2628	5483
15	2666	5483
16	2690	5483
17	2690	5483
18	2884	5483
19	3084	5483
20	3341	5483
21	3600	5483
22	3872	5483
23	4151	5483
24	4443	5483
25	4742	5483
26	4758	5483
27	4766	5483
28	4766	5483

Stop Event

1×	node limit

Counts

137 → 120

prune178.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	143	6	149

Error

0.0b

Counts

149 → 6

Alt Table

Status	Error	Program
▶	34.7b	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)
✓	7.9b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)
✓	6.8b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))
	47.4b	U
	51.1b	(*.f64 -1 U)
	40.5b	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))

Compiler

Compiled 7373 to 5632 computations (23.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2))
	0.1b	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
✓	0.3b	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)
	6.4b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))

series191.0ms (0.8%)

Counts

2 → 44

Calls

15 calls:

78.0ms	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)	K	0
26.0ms	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)	K	inf
24.0ms	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)	K	-inf
12.0ms	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)	U	0
11.0ms	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)	J	0

rewrite41.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

376×	`log-prod_binary64`
291×	`log-pow_binary64`
278×	`expm1-udef_binary64`
278×	`log1p-udef_binary64`
160×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	332	44
2	3126	44

Stop Event

1×	node limit

Counts

2 → 35

simplify359.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1675×	`sqr-pow_binary64`
732×	`pow-sqr_binary64`
105×	`cube-mult_binary64`
105×	`unpow3_binary64`
104×	`cube-prod_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	2065
1	277	1965
2	344	1955
3	414	1955
4	493	1955
5	578	1955
6	670	1955
7	774	1955
8	886	1955
9	1011	1955
10	1142	1955
11	1286	1955
12	1437	1955
13	1602	1955
14	1774	1955
15	1959	1955
16	2150	1955
17	2355	1955
18	2371	1955
19	2379	1955
20	2379	1955
21	2587	1955
22	2804	1955
23	3036	1955
24	3281	1955
25	3533	1955
26	3798	1955
27	4070	1955
28	4355	1955
29	4371	1955
30	4379	1955
31	4379	1955
32	4667	1955
33	4964	1955

Stop Event

1×	node limit

Counts

79 → 69

prune160.0ms (0.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	148	6	154

Error

0.0b

Counts

154 → 6

Alt Table

Status	Error	Program
✓	34.7b	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)
✓	7.9b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)
✓	6.8b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))
	47.4b	U
	51.1b	(neg.f64 U)
▶	40.5b	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))

Compiler

Compiled 6649 to 4865 computations (26.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
✓	0.4b	(pow.f64 (cos.f64 (/.f64 K 2)) 3)
✓	6.4b	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))
✓	38.0b	(cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3)))

series279.0ms (1.2%)

Counts

3 → 72

Calls

18 calls:

37.0ms	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	K	0
36.0ms	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	K	inf
35.0ms	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))	K	-inf
26.0ms	(cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3)))	J	0
23.0ms	(cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (pow.f64 (cos.f64 (/.f64 K 2)) 3)))	J	inf

rewrite45.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

329×	`log-pow_binary64`
316×	`expm1-udef_binary64`
316×	`log1p-udef_binary64`
184×	`add-sqr-sqrt_binary64`
173×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	53
1	374	53
2	3664	53

Stop Event

1×	node limit

Counts

3 → 50

simplify434.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1679×	`sqr-pow_binary64`
776×	`pow-sqr_binary64`
105×	`cube-mult_binary64`
105×	`unpow3_binary64`
104×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	207	2838
1	300	2838
2	342	2838
3	388	2838
4	454	2838
5	532	2838
6	615	2838
7	711	2838
8	814	2838
9	931	2838
10	1054	2838
11	1190	2838
12	1333	2838
13	1490	2838
14	1654	2838
15	1831	2838
16	2015	2838
17	2211	2838
18	2415	2838
19	2431	2838
20	2439	2838
21	2439	2838
22	2652	2838
23	2868	2838
24	3105	2838
25	3349	2838
26	3606	2838
27	3870	2838
28	4147	2838
29	4214	2838
30	4222	2838
31	4222	2838
32	4501	2838
33	4785	2838

Stop Event

1×	node limit

Counts

122 → 118

prune901.0ms (3.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	0	2	2
Picked	1	0	1
Done	0	3	3
Total	142	6	148

Error

0.0b

Counts

148 → 6

Alt Table

Status	Error	Program
✓	6.8b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))
	40.6b	(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -2 J) 3) (.f64 (cos.f64 (/.f64 K 2)) (+.f64 1/2 (.f64 1/2 (cos.f64 K)))))) (hypot.f64 1 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2))))))
✓	34.7b	(pow.f64 (sqrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 2)
✓	7.9b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2)))))) 3)
	47.4b	U
	51.1b	(neg.f64 U)

Compiler

Compiled 5438 to 4246 computations (21.9% saved)

regimes2.8s (12.3%)

Accuracy

Total 9.2b remaining (99.5%)

Threshold costs 0b (0%)

Counts

65 → 3

Compiler

Compiled 9566 to 7878 computations (17.6% saved)

bsearch167.0ms (0.7%)

Algorithm

2×	binary-search

Calls

2 calls:

89.0ms	J
75.0ms	J

Steps

Iters	Point		Range
1.7426832413312863e-211	∈ [	1.641168146779419e-211	,	6.373044783174535e-205	]
-4.408789605579126e-200	∈ [	-2.0378593241815798e-191	,	-1.1350617092662925e-200	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	77
1	25	77

Stop Event

1×

saturated

end137.0ms (0.6%)

Stop Event

1×

fuel

Compiler

Compiled 229 to 180 computations (21.4% saved)

Details

analyze5.0s (21.8%)

sample4.9s (21.3%)

preprocess1.9s (8.2%)

simplify2.3s (10.1%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series159.0ms (0.7%)

rewrite50.0ms (0.2%)

simplify487.0ms (2.1%)

prune129.0ms (0.6%)

localize14.0ms (0.1%)

series1.6s (6.9%)

rewrite55.0ms (0.2%)

simplify617.0ms (2.7%)

prune178.0ms (0.8%)

localize16.0ms (0.1%)

series191.0ms (0.8%)

rewrite41.0ms (0.2%)

simplify359.0ms (1.6%)

prune160.0ms (0.7%)

localize15.0ms (0.1%)

series279.0ms (1.2%)

rewrite45.0ms (0.2%)

simplify434.0ms (1.9%)

prune901.0ms (3.9%)

regimes2.8s (12.3%)

bsearch167.0ms (0.7%)

simplify2.0ms (0%)

end137.0ms (0.6%)

Profiling