Details

sample21.0ms

Algorithm

intervals

Results

7.0ms

296×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune3.0ms

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

Merged error: 6.3b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

6.1b	(/ (* x y) z)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ (* x y) z)

series6.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(/ (* x y) z)

simplify559.0ms

Counts

24 → 24

Iterations

Useful iterations: 3 (201.0ms)

Iter	Nodes	Cost
0	48	186
1	117	182
2	427	154
3	1969	149
done	5000	149

prune48.0ms

Filtered

16 candidates to 24 candidates (-50.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	16	8	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	9	25

Merged error: 0.0b

Counts

25 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt z)
0.5b	(cbrt z)
0.5b	(* (cbrt z) (cbrt z))
3.1b	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt`
33×	`cbrt-prod`
29×	`add-cube-cbrt` `*-un-lft-identity`
28×	`times-frac` `associate-r`
27×	`add-exp-log`
18×	`add-cbrt-cube`
13×	`pow1` `associate-l`
10×	`unswap-sqr`
9×	`prod-exp` `cbrt-unprod`
8×	`pow1/3`
7×	`cbrt-undiv` `div-exp`
6×	`swap-sqr`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/`

Counts

4 → 121

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
6.0ms	(* (cbrt z) (cbrt z))
15.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

series95.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt z)
32.0ms	(cbrt z)
27.0ms	(* (cbrt z) (cbrt z))
11.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify667.0ms

Counts

133 → 133

Iterations

Useful iterations: done (664.0ms)

Iter	Nodes	Cost
0	187	1528
1	522	1442
2	2541	1227
done	5000	1166

prune153.0ms

Filtered

96 candidates to 133 candidates (-38.5%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	129	4	133
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	129	13	142

Merged error: 0.0b

Counts

142 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (* (cbrt z) (cbrt z)))
0.6b	(cbrt (* (cbrt z) (cbrt z)))
0.6b	(cbrt (* (cbrt z) (cbrt z)))
3.1b	(* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-exp-log`
27×	`add-sqr-sqrt`
24×	`add-cbrt-cube`
23×	`times-frac`
22×	`associate-r`
19×	`add-cube-cbrt` `*-un-lft-identity`
14×	`prod-exp` `cbrt-unprod`
13×	`cbrt-prod`
10×	`cbrt-undiv` `div-exp`
7×	`associate-l`
6×	`pow1`
4×	`add-log-exp`
3×	`pow1/3` `unswap-sqr`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 87

Calls

4 calls:

4.0ms	(cbrt (* (cbrt z) (cbrt z)))
4.0ms	(cbrt (* (cbrt z) (cbrt z)))
4.0ms	(cbrt (* (cbrt z) (cbrt z)))
28.0ms	(* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))

series134.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(cbrt (* (cbrt z) (cbrt z)))
45.0ms	(cbrt (* (cbrt z) (cbrt z)))
38.0ms	(cbrt (* (cbrt z) (cbrt z)))
12.0ms	(* (/ x (* (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (/ y (cbrt z)))

simplify571.0ms

Counts

99 → 99

Iterations

Useful iterations: done (568.0ms)

Iter	Nodes	Cost
0	172	2478
1	514	2402
2	2302	1354
done	5001	1334

prune153.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	99	13	112

Merged error: 0.0b

Counts

112 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt (* (cbrt z) (cbrt z)))
0.6b	(cbrt (cbrt z))
4.3b	(* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

56×	`cbrt-prod`
54×	`add-sqr-sqrt`
38×	`add-exp-log`
37×	`associate-r`
35×	`add-cube-cbrt` `*-un-lft-identity`
33×	`times-frac`
24×	`add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
13×	`pow1` `associate-l`
10×	`cbrt-undiv` `div-exp`
8×	`pow1/3` `unswap-sqr`
6×	`swap-sqr`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/`

Counts

4 → 133

Calls

4 calls:

6.0ms	(* (cbrt z) (cbrt z))
5.0ms	(cbrt (* (cbrt z) (cbrt z)))
2.0ms	(cbrt (cbrt z))
29.0ms	(* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))

series118.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt z) (cbrt z))
46.0ms	(cbrt (* (cbrt z) (cbrt z)))
33.0ms	(cbrt (cbrt z))
12.0ms	(* (/ x (* (cbrt (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ y (cbrt (cbrt z))))

simplify826.0ms

Counts

145 → 145

Iterations

Useful iterations: done (822.0ms)

Iter	Nodes	Cost
0	242	2457
1	690	2354
2	3493	2051
done	5000	2025

prune126.0ms

Filtered

104 candidates to 145 candidates (-39.4%)

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	9	9
Picked	0	1	1
Done	0	3	3
Total	145	13	158

Merged error: 0.0b

Counts

158 → 13

regimes584.0ms

Accuracy

91.9% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 5.6b

bsearch1.0ms

simplify2.6s

Iterations

Useful iterations: 4 (4.0ms)

Iter	Nodes	Cost
0	19	49
1	23	45
2	26	41
3	32	37
4	38	36
5	47	36
6	60	36
7	65	36
8	72	36
9	76	36
10	80	36
11	84	36
12	88	36
13	92	36
14	96	36
15	100	36
16	104	36
17	108	36
18	112	36
19	116	36
20	120	36
21	124	36
22	128	36
23	132	36
24	136	36
25	140	36
26	144	36
27	148	36
28	152	36
29	156	36
30	160	36
31	164	36
32	168	36
33	172	36
34	176	36
35	180	36
36	184	36
37	188	36
38	192	36
39	196	36
40	200	36
41	204	36
42	208	36
43	212	36
44	216	36
45	220	36
46	224	36
47	228	36
48	232	36
49	236	36
50	240	36
51	244	36
52	248	36
53	252	36
54	256	36
55	260	36
56	264	36
57	268	36
58	272	36
59	276	36
60	280	36
61	284	36
62	288	36
63	292	36
64	296	36
65	300	36
66	304	36
67	308	36
68	312	36
69	316	36
70	320	36
71	324	36
72	328	36
73	332	36
74	336	36
75	340	36
76	344	36
77	348	36
78	352	36
79	356	36
80	360	36
81	364	36
82	368	36
83	372	36
84	376	36
85	380	36
86	384	36
87	388	36
88	392	36
89	396	36
90	400	36
91	404	36
92	408	36
93	412	36
94	416	36
95	420	36
96	424	36
97	428	36
98	432	36
99	436	36
100	440	36
101	444	36
102	448	36
103	452	36
104	456	36
105	460	36
106	464	36
107	468	36
108	472	36
109	476	36
110	480	36
111	484	36
112	488	36
113	492	36
114	496	36
115	500	36
116	504	36
117	508	36
118	512	36
119	516	36
120	520	36
121	524	36
122	528	36
123	532	36
124	536	36
125	540	36
126	544	36
127	548	36
128	552	36
129	556	36
130	560	36
131	564	36
132	568	36
133	572	36
134	576	36
135	580	36
136	584	36
137	588	36
138	592	36
139	596	36
140	600	36
141	604	36
142	608	36
143	612	36
144	616	36
145	620	36
146	624	36
147	628	36
148	632	36
149	636	36
150	640	36
151	644	36
152	648	36
153	652	36
154	656	36
155	660	36
156	664	36
157	668	36
158	672	36
159	676	36
160	680	36
161	684	36
162	688	36
163	692	36
164	696	36
165	700	36
166	704	36
167	708	36
168	712	36
169	716	36
170	720	36
171	724	36
172	728	36
173	732	36
174	736	36
175	740	36
176	744	36
177	748	36
178	752	36
179	756	36
180	760	36
181	764	36
182	768	36
183	772	36
184	776	36
185	780	36
186	784	36
187	788	36
188	792	36
189	796	36
190	800	36
191	804	36
192	808	36
193	812	36
194	816	36
195	820	36
196	824	36
197	828	36
198	832	36
199	836	36
200	840	36
201	844	36
202	848	36
203	852	36
204	856	36
205	860	36
206	864	36
207	868	36
208	872	36
209	876	36
210	880	36
211	884	36
212	888	36
213	892	36
214	896	36
215	900	36
216	904	36
217	908	36
218	912	36
219	916	36
220	920	36
221	924	36
222	928	36
223	932	36
224	936	36
225	940	36
226	944	36
227	948	36
228	952	36
229	956	36
230	960	36
231	964	36
232	968	36
233	972	36
234	976	36
235	980	36
236	984	36
237	988	36
238	992	36
239	996	36
240	1000	36
241	1004	36
242	1008	36
243	1012	36
244	1016	36
245	1020	36
246	1024	36
247	1028	36
248	1032	36
249	1036	36
250	1040	36
251	1044	36
252	1048	36
253	1052	36
254	1056	36
255	1060	36
256	1064	36
257	1068	36
258	1072	36
259	1076	36
260	1080	36
261	1084	36
262	1088	36
263	1092	36
264	1096	36
265	1100	36
266	1104	36
267	1108	36
268	1112	36
269	1116	36
270	1120	36
271	1124	36
272	1128	36
273	1132	36
274	1136	36
275	1140	36
276	1144	36
277	1148	36
278	1152	36
279	1156	36
280	1160	36
281	1164	36
282	1168	36
283	1172	36
284	1176	36
285	1180	36
286	1184	36
287	1188	36
288	1192	36
289	1196	36
290	1200	36
291	1204	36
292	1208	36
293	1212	36
294	1216	36
295	1220	36
296	1224	36
297	1228	36
298	1232	36
299	1236	36
300	1240	36
301	1244	36
302	1248	36
303	1252	36
304	1256	36
305	1260	36
306	1264	36
307	1268	36
308	1272	36
309	1276	36
310	1280	36
311	1284	36
312	1288	36
313	1292	36
314	1296	36
315	1300	36
316	1304	36
317	1308	36
318	1312	36
319	1316	36
320	1320	36
321	1324	36
322	1328	36
323	1332	36
324	1336	36
325	1340	36
326	1344	36
327	1348	36
328	1352	36
329	1356	36
330	1360	36
331	1364	36
332	1368	36
333	1372	36
334	1376	36
335	1380	36
336	1384	36
337	1388	36
338	1392	36
339	1396	36
340	1400	36
341	1404	36
342	1408	36
343	1412	36
344	1416	36
345	1420	36
346	1424	36
347	1428	36
348	1432	36
349	1436	36
350	1440	36
351	1444	36
352	1448	36
353	1452	36
354	1456	36
355	1460	36
356	1464	36
357	1468	36
358	1472	36
359	1476	36
360	1480	36
361	1484	36
362	1488	36
363	1492	36
364	1496	36
365	1500	36
366	1504	36
367	1508	36
368	1512	36
369	1516	36
370	1520	36
371	1524	36
372	1528	36
373	1532	36
374	1536	36
375	1540	36
376	1544	36
377	1548	36
378	1552	36
379	1556	36
380	1560	36
381	1564	36
382	1568	36
383	1572	36
384	1576	36
385	1580	36
386	1584	36
387	1588	36
388	1592	36
389	1596	36
390	1600	36
391	1604	36
392	1608	36
393	1612	36
394	1616	36
395	1620	36
396	1624	36
397	1628	36
398	1632	36
399	1636	36
400	1640	36
401	1644	36
402	1648	36
403	1652	36
404	1656	36
405	1660	36
406	1664	36
407	1668	36
408	1672	36
409	1676	36
410	1680	36
411	1684	36
412	1688	36
413	1692	36
414	1696	36
415	1700	36
416	1704	36
417	1708	36
418	1712	36
419	1716	36
420	1720	36
421	1724	36
422	1728	36
423	1732	36
424	1736	36
425	1740	36
426	1744	36
427	1748	36
428	1752	36
429	1756	36
430	1760	36
431	1764	36
432	1768	36
433	1772	36
434	1776	36
435	1780	36
436	1784	36
437	1788	36
438	1792	36
439	1796	36
440	1800	36
441	1804	36
442	1808	36
443	1812	36
444	1816	36
445	1820	36
446	1824	36
447	1828	36
448	1832	36
449	1836	36
450	1840	36
451	1844	36
452	1848	36
453	1852	36
454	1856	36
455	1860	36
456	1864	36
457	1868	36
458	1872	36
459	1876	36
460	1880	36
461	1884	36
462	1888	36
463	1892	36
464	1896	36
465	1900	36
466	1904	36
467	1908	36
468	1912	36
469	1916	36
470	1920	36
471	1924	36
472	1928	36
473	1932	36
474	1936	36
475	1940	36
476	1944	36
477	1948	36
478	1952	36
479	1956	36
480	1960	36
481	1964	36
482	1968	36
483	1972	36
484	1976	36
485	1980	36
486	1984	36
487	1988	36
488	1992	36
489	1996	36
490	2000	36
491	2004	36
492	2008	36
493	2012	36
494	2016	36
495	2020	36
496	2024	36
497	2028	36
498	2032	36
499	2036	36
500	2040	36
501	2044	36
502	2048	36
503	2052	36
504	2056	36
505	2060	36
506	2064	36
507	2068	36
508	2072	36
509	2076	36
510	2080	36
511	2084	36
512	2088	36
513	2092	36
514	2096	36
515	2100	36
516	2104	36
517	2108	36
518	2112	36
519	2116	36
520	2120	36
521	2124	36
522	2128	36
523	2132	36
524	2136	36
525	2140	36
526	2144	36
527	2148	36
528	2152	36
529	2156	36
530	2160	36
531	2164	36
532	2168	36
533	2172	36
534	2176	36
535	2180	36
536	2184	36
537	2188	36
538	2192	36
539	2196	36
540	2200	36
541	2204	36
542	2208	36
543	2212	36
544	2216	36
545	2220	36
546	2224	36
547	2228	36
548	2232	36
549	2236	36
550	2240	36
551	2244	36
552	2248	36
553	2252	36
554	2256	36
555	2260	36
556	2264	36
557	2268	36
558	2272	36
559	2276	36
560	2280	36
561	2284	36
562	2288	36
563	2292	36
564	2296	36
565	2300	36
566	2304	36
567	2308	36
568	2312	36
569	2316	36
570	2320	36
571	2324	36
572	2328	36
573	2332	36
574	2336	36
575	2340	36
576	2344	36
577	2348	36
578	2352	36
579	2356	36
580	2360	36
581	2364	36
582	2368	36
583	2372	36
584	2376	36
585	2380	36
586	2384	36
587	2388	36
588	2392	36
589	2396	36
590	2400	36
591	2404	36
592	2408	36
593	2412	36
594	2416	36
595	2420	36
596	2424	36
597	2428	36
598	2432	36
599	2436	36
600	2440	36
601	2444	36
602	2448	36
603	2452	36
604	2456	36
605	2460	36
606	2464	36
607	2468	36
608	2472	36
609	2476	36
610	2480	36
611	2484	36
612	2488	36
613	2492	36
614	2496	36
615	2500	36
616	2504	36
617	2508	36
618	2512	36
619	2516	36
620	2520	36
621	2524	36
622	2528	36
623	2532	36
624	2536	36
625	2540	36
626	2544	36
627	2548	36
628	2552	36
629	2556	36
630	2560	36
631	2564	36
632	2568	36
633	2572	36
634	2576	36
635	2580	36
636	2584	36
637	2588	36
638	2592	36
639	2596	36
640	2600	36
641	2604	36
642	2608	36
643	2612	36
644	2616	36
645	2620	36
646	2624	36
647	2628	36
648	2632	36
649	2636	36
650	2640	36
651	2644	36
652	2648	36
653	2652	36
654	2656	36
655	2660	36
656	2664	36
657	2668	36
658	2672	36
659	2676	36
660	2680	36
661	2684	36
662	2688	36
663	2692	36
664	2696	36
665	2700	36
666	2704	36
667	2708	36
668	2712	36
669	2716	36
670	2720	36
671	2724	36
672	2728	36
673	2732	36
674	2736	36
675	2740	36
676	2744	36
677	2748	36
678	2752	36
679	2756	36
680	2760	36
681	2764	36
682	2768	36
683	2772	36
684	2776	36
685	2780	36
686	2784	36
687	2788	36
688	2792	36
689	2796	36
690	2800	36
691	2804	36
692	2808	36
693	2812	36
694	2816	36
695	2820	36
696	2824	36
697	2828	36
698	2832	36
699	2836	36
700	2840	36
701	2844	36
702	2848	36
703	2852	36
704	2856	36
705	2860	36
706	2864	36
707	2868	36
708	2872	36
709	2876	36
710	2880	36
711	2884	36
712	2888	36
713	2892	36
714	2896	36
715	2900	36
716	2904	36
717	2908	36
718	2912	36
719	2916	36
720	2920	36
721	2924	36
722	2928	36
723	2932	36
724	2936	36
725	2940	36
726	2944	36
727	2948	36
728	2952	36
729	2956	36
730	2960	36
731	2964	36
732	2968	36
733	2972	36
734	2976	36
735	2980	36
736	2984	36
737	2988	36
738	2992	36
739	2996	36
740	3000	36
741	3004	36
742	3008	36
743	3012	36
744	3016	36
745	3020	36
746	3024	36
747	3028	36
748	3032	36
749	3036	36
750	3040	36
751	3044	36
752	3048	36
753	3052	36
754	3056	36
755	3060	36
756	3064	36
757	3068	36
758	3072	36
759	3076	36
760	3080	36
761	3084	36
762	3088	36
763	3092	36
764	3096	36
765	3100	36
766	3104	36
767	3108	36
768	3112	36
769	3116	36
770	3120	36
771	3124	36
772	3128	36
773	3132	36
774	3136	36
775	3140	36
776	3144	36
777	3148	36
778	3152	36
779	3156	36
780	3160	36
781	3164	36
782	3168	36
783	3172	36
784	3176	36
785	3180	36
786	3184	36
787	3188	36
788	3192	36
789	3196	36
790	3200	36
791	3204	36
792	3208	36
793	3212	36
794	3216	36
795	3220	36
796	3224	36
797	3228	36
798	3232	36
799	3236	36
800	3240	36
801	3244	36
802	3248	36
803	3252	36
804	3256	36
805	3260	36
806	3264	36
807	3268	36
808	3272	36
809	3276	36
810	3280	36
811	3284	36
812	3288	36
813	3292	36
814	3296	36
815	3300	36
816	3304	36
817	3308	36
818	3312	36
819	3316	36
820	3320	36
821	3324	36
822	3328	36
823	3332	36
824	3336	36
825	3340	36
826	3344	36
827	3348	36
828	3352	36
829	3356	36
830	3360	36
831	3364	36
832	3368	36
833	3372	36
834	3376	36
835	3380	36
836	3384	36
837	3388	36
838	3392	36
839	3396	36
840	3400	36
841	3404	36
842	3408	36
843	3412	36
844	3416	36
845	3420	36
846	3424	36
847	3428	36
848	3432	36
849	3436	36
850	3440	36
851	3444	36
852	3448	36
853	3452	36
854	3456	36
855	3460	36
856	3464	36
857	3468	36
858	3472	36
859	3476	36
860	3480	36
861	3484	36
862	3488	36
863	3492	36
864	3496	36
865	3500	36
866	3504	36
867	3508	36
868	3512	36
869	3516	36
870	3520	36
871	3524	36
872	3528	36
873	3532	36
874	3536	36
875	3540	36
876	3544	36
877	3548	36
878	3552	36
879	3556	36
880	3560	36
881	3564	36
882	3568	36
883	3572	36
884	3576	36
885	3580	36
886	3584	36
887	3588	36
888	3592	36
889	3596	36
890	3600	36
891	3604	36
892	3608	36
893	3612	36
894	3616	36
895	3620	36
896	3624	36
897	3628	36
898	3632	36
899	3636	36
900	3640	36
901	3644	36
902	3648	36
903	3652	36
904	3656	36
905	3660	36
906	3664	36
907	3668	36
908	3672	36
909	3676	36
910	3680	36
911	3684	36
912	3688	36
913	3692	36
914	3696	36
915	3700	36
916	3704	36
917	3708	36
918	3712	36
919	3716	36
920	3720	36
921	3724	36
922	3728	36
923	3732	36
924	3736	36
925	3740	36
926	3744	36
927	3748	36
928	3752	36
929	3756	36
930	3760	36
931	3764	36
932	3768	36
933	3772	36
934	3776	36
935	3780	36
936	3784	36
937	3788	36
938	3792	36
939	3796	36
940	3800	36
941	3804	36
942	3808	36
943	3812	36
944	3816	36
945	3820	36
946	3824	36
947	3828	36
948	3832	36
949	3836	36
950	3840	36
951	3844	36
952	3848	36
953	3852	36
954	3856	36
955	3860	36
956	3864	36
957	3868	36
958	3872	36
959	3876	36
960	3880	36
961	3884	36
962	3888	36
963	3892	36
964	3896	36
965	3900	36
966	3904	36
967	3908	36
968	3912	36
969	3916	36
970	3920	36
971	3924	36
972	3928	36
973	3932	36
974	3936	36
975	3940	36
976	3944	36
977	3948	36
978	3952	36
979	3956	36
980	3960	36
981	3964	36
982	3968	36
983	3972	36
984	3976	36
985	3980	36
986	3984	36
987	3988	36
988	3992	36
989	3996	36
990	4000	36
991	4004	36
992	4008	36
993	4012	36
994	4016	36
995	4020	36
996	4024	36
997	4028	36
998	4032	36
999	4036	36
1000	4040	36
1001	4044	36
1002	4048	36
1003	4052	36
1004	4056	36
1005	4060	36
1006	4064	36
1007	4068	36
1008	4072	36
1009	4076	36
1010	4080	36
1011	4084	36
1012	4088	36
1013	4092	36
1014	4096	36
1015	4100	36
1016	4104	36
1017	4108	36
1018	4112	36
1019	4116	36
1020	4120	36
1021	4124	36
1022	4128	36
1023	4132	36
1024	4136	36
1025	4140	36
1026	4144	36
1027	4148	36
1028	4152	36
1029	4156	36
1030	4160	36
1031	4164	36
1032	4168	36
1033	4172	36
1034	4176	36
1035	4180	36
1036	4184	36
1037	4188	36
1038	4192	36
1039	4196	36
1040	4200	36
1041	4204	36
1042	4208	36
1043	4212	36
1044	4216	36
1045	4220	36
1046	4224	36
1047	4228	36
1048	4232	36
1049	4236	36
1050	4240	36
1051	4244	36
1052	4248	36
1053	4252	36
1054	4256	36
1055	4260	36
1056	4264	36
1057	4268	36
1058	4272	36
1059	4276	36
1060	4280	36
1061	4284	36
1062	4288	36
1063	4292	36
1064	4296	36
1065	4300	36
1066	4304	36
1067	4308	36
1068	4312	36
1069	4316	36
1070	4320	36
1071	4324	36
1072	4328	36
1073	4332	36
1074	4336	36
1075	4340	36
1076	4344	36
1077	4348	36
1078	4352	36
1079	4356	36
1080	4360	36
1081	4364	36
1082	4368	36
1083	4372	36
1084	4376	36
1085	4380	36
1086	4384	36
1087	4388	36
1088	4392	36
1089	4396	36
1090	4400	36
1091	4404	36
1092	4408	36
1093	4412	36
1094	4416	36
1095	4420	36
1096	4424	36
1097	4428	36
1098	4432	36
1099	4436	36
1100	4440	36
1101	4444	36
1102	4448	36
1103	4452	36
1104	4456	36
1105	4460	36
1106	4464	36
1107	4468	36
1108	4472	36
1109	4476	36
1110	4480	36
1111	4484	36
1112	4488	36
1113	4492	36
1114	4496	36
1115	4500	36
1116	4504	36
1117	4508	36
1118	4512	36
1119	4516	36
1120	4520	36
1121	4524	36
1122	4528	36
1123	4532	36
1124	4536	36
1125	4540	36
1126	4544	36
1127	4548	36
1128	4552	36
1129	4556	36
1130	4560	36
1131	4564	36
1132	4568	36
1133	4572	36
1134	4576	36
1135	4580	36
1136	4584	36
1137	4588	36
1138	4592	36
1139	4596	36
1140	4600	36
1141	4604	36
1142	4608	36
1143	4612	36
1144	4616	36
1145	4620	36
1146	4624	36
1147	4628	36
1148	4632	36
1149	4636	36
1150	4640	36
1151	4644	36
1152	4648	36
1153	4652	36
1154	4656	36
1155	4660	36
1156	4664	36
1157	4668	36
1158	4672	36
1159	4676	36
1160	4680	36
1161	4684	36
1162	4688	36
1163	4692	36
1164	4696	36
1165	4700	36
1166	4704	36
1167	4708	36
1168	4712	36
1169	4716	36
1170	4720	36
1171	4724	36
1172	4728	36
1173	4732	36
1174	4736	36
1175	4740	36
1176	4744	36
1177	4748	36
1178	4752	36
1179	4756	36
1180	4760	36
1181	4764	36
1182	4768	36
1183	4772	36
1184	4776	36
1185	4780	36
1186	4784	36
1187	4788	36
1188	4792	36
1189	4796	36
1190	4800	36
1191	4804	36
1192	4808	36
1193	4812	36
1194	4816	36
1195	4820	36
1196	4824	36
1197	4828	36
1198	4832	36
1199	4836	36
1200	4840	36
1201	4844	36
1202	4848	36
1203	4852	36
1204	4856	36
1205	4860	36
1206	4864	36
1207	4868	36
1208	4872	36
1209	4876	36
1210	4880	36
1211	4884	36
1212	4888	36
1213	4892	36
1214	4896	36
1215	4900	36
1216	4904	36
1217	4908	36
1218	4912	36
1219	4916	36
1220	4920	36
1221	4924	36
1222	4928	36
1223	4932	36
1224	4936	36
1225	4940	36
1226	4944	36
1227	4948	36
1228	4952	36
1229	4956	36
1230	4960	36
1231	4964	36
1232	4968	36
1233	4972	36
1234	4976	36
1235	4980	36
1236	4984	36
1237	4988	36
1238	4992	36
1239	4996	36
done	5000	36

end0.0ms

sample592.0ms

Algorithm

intervals

Results

222.0ms

9538×

body

valid

Details

sample21.0ms

simplify7.0ms

prune3.0ms

localize4.0ms

rewrite5.0ms

series6.0ms

simplify559.0ms

prune48.0ms

localize15.0ms

rewrite29.0ms

series95.0ms

simplify667.0ms

prune153.0ms

localize13.0ms

rewrite45.0ms

series134.0ms

simplify571.0ms

prune153.0ms

localize12.0ms

rewrite47.0ms

series118.0ms

simplify826.0ms

prune126.0ms

regimes584.0ms

bsearch1.0ms

simplify2.6s

end0.0ms

sample592.0ms

Profiling