Details

sample30.0ms

Algorithm

intervals

Results

9.0ms	59×	body	640	valid
5.0ms	133×	body	80	valid
4.0ms	34×	body	320	valid
4.0ms	19×	body	1280	valid
1.0ms	11×	body	160	valid

simplify6.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	75	15
7	96	15
8	120	15
9	138	15
10	145	15
11	150	15
12	160	15
13	167	15
14	172	15
15	182	15
16	189	15
17	194	15
18	204	15
19	211	15
20	216	15
21	226	15
22	233	15
23	238	15
24	248	15
25	255	15
26	260	15
27	270	15
28	277	15
29	282	15
30	292	15
31	299	15
32	304	15
33	314	15
34	321	15
35	326	15
36	336	15
37	343	15
38	348	15
39	358	15
40	365	15
41	370	15
42	380	15
43	387	15
44	392	15
45	402	15
46	409	15
47	414	15
48	424	15
49	431	15
50	436	15
51	446	15
52	453	15
53	458	15
54	468	15
55	475	15
56	480	15
57	490	15
58	497	15
59	502	15
60	512	15
61	519	15
62	524	15
63	534	15
64	541	15
65	546	15
66	556	15
67	563	15
68	568	15
69	578	15
70	585	15
71	590	15
72	600	15
73	607	15
74	612	15
75	622	15
76	629	15
77	634	15
78	644	15
79	651	15
80	656	15
81	666	15
82	673	15
83	678	15
84	688	15
85	695	15
86	700	15
87	710	15
88	717	15
89	722	15
90	732	15
91	739	15
92	744	15
93	754	15
94	761	15
95	766	15
96	776	15
97	783	15
98	788	15
99	798	15
100	805	15
101	810	15
102	820	15
103	827	15
104	832	15
105	842	15
106	849	15
107	854	15
108	864	15
109	871	15
110	876	15
111	886	15
112	893	15
113	898	15
114	908	15
115	915	15
116	920	15
117	930	15
118	937	15
119	942	15
120	952	15
121	959	15
122	964	15
123	974	15
124	981	15
125	986	15
126	996	15
127	1003	15
128	1008	15
129	1018	15
130	1025	15
131	1030	15
132	1040	15
133	1047	15
134	1052	15
135	1062	15
136	1069	15
137	1074	15
138	1084	15
139	1091	15
140	1096	15
141	1106	15
142	1113	15
143	1118	15
144	1128	15
145	1135	15
146	1140	15
147	1150	15
148	1157	15
149	1162	15
150	1172	15
151	1179	15
152	1184	15
153	1194	15
154	1201	15
155	1206	15
156	1216	15
157	1223	15
158	1228	15
159	1238	15
160	1245	15
161	1250	15
162	1260	15
163	1267	15
164	1272	15
165	1282	15
166	1289	15
167	1294	15
168	1304	15
169	1311	15
170	1316	15
171	1326	15
172	1333	15
173	1338	15
174	1348	15
175	1355	15
176	1360	15
177	1370	15
178	1377	15
179	1382	15
180	1392	15
181	1399	15
182	1404	15
183	1414	15
184	1421	15
185	1426	15
186	1436	15
187	1443	15
188	1448	15
189	1458	15
190	1465	15
191	1470	15
192	1480	15
193	1487	15
194	1492	15
195	1502	15
196	1509	15
197	1514	15
198	1524	15
199	1531	15
200	1536	15
201	1546	15
202	1553	15
203	1558	15
204	1568	15
205	1575	15
206	1580	15
207	1590	15
208	1597	15
209	1602	15
210	1612	15
211	1619	15
212	1624	15
213	1634	15
214	1641	15
215	1646	15
216	1656	15
217	1663	15
218	1668	15
219	1678	15
220	1685	15
221	1690	15
222	1700	15
223	1707	15
224	1712	15
225	1722	15
226	1729	15
227	1734	15
228	1744	15
229	1751	15
230	1756	15
231	1766	15
232	1773	15
233	1778	15
234	1788	15
235	1795	15
236	1800	15
237	1810	15
238	1817	15
239	1822	15
240	1832	15
241	1839	15
242	1844	15
243	1854	15
244	1861	15
245	1866	15
246	1876	15
247	1883	15
248	1888	15
249	1898	15
250	1905	15
251	1910	15
252	1920	15
253	1927	15
254	1932	15
255	1942	15
256	1949	15
257	1954	15
258	1964	15
259	1971	15
260	1976	15
261	1986	15
262	1993	15
263	1998	15
264	2008	15
265	2015	15
266	2020	15
267	2030	15
268	2037	15
269	2042	15
270	2052	15
271	2059	15
272	2064	15
273	2074	15
274	2081	15
275	2086	15
276	2096	15
277	2103	15
278	2108	15
279	2118	15
280	2125	15
281	2130	15
282	2140	15
283	2147	15
284	2152	15
285	2162	15
286	2169	15
287	2174	15
288	2184	15
289	2191	15
290	2196	15
291	2206	15
292	2213	15
293	2218	15
294	2228	15
295	2235	15
296	2240	15
297	2250	15
298	2257	15
299	2262	15
300	2272	15
301	2279	15
302	2284	15
303	2294	15
304	2301	15
305	2306	15
306	2316	15
307	2323	15
308	2328	15
309	2338	15
310	2345	15
311	2350	15
312	2360	15
313	2367	15
314	2372	15
315	2382	15
316	2389	15
317	2394	15
318	2404	15
319	2411	15
320	2416	15
321	2426	15
322	2433	15
323	2438	15
324	2448	15
325	2455	15
326	2460	15
327	2470	15
328	2477	15
329	2482	15
330	2492	15
331	2499	15
332	2504	15
333	2514	15
334	2521	15
335	2526	15
336	2536	15
337	2543	15
338	2548	15
339	2558	15
340	2565	15
341	2570	15
342	2580	15
343	2587	15
344	2592	15
345	2602	15
346	2609	15
347	2614	15
348	2624	15
349	2631	15
350	2636	15
351	2646	15
352	2653	15
353	2658	15
354	2668	15
355	2675	15
356	2680	15
357	2690	15
358	2697	15
359	2702	15
360	2712	15
361	2719	15
362	2724	15
363	2734	15
364	2741	15
365	2746	15
366	2756	15
367	2763	15
368	2768	15
369	2778	15
370	2785	15
371	2790	15
372	2800	15
373	2807	15
374	2812	15
375	2822	15
376	2829	15
377	2834	15
378	2844	15
379	2851	15
380	2856	15
381	2866	15
382	2873	15
383	2878	15
384	2888	15
385	2895	15
386	2900	15
387	2910	15
388	2917	15
389	2922	15
390	2932	15
391	2939	15
392	2944	15
393	2954	15
394	2961	15
395	2966	15
396	2976	15
397	2983	15
398	2988	15
399	2998	15
400	3005	15
401	3010	15
402	3020	15
403	3027	15
404	3032	15
405	3042	15
406	3049	15
407	3054	15
408	3064	15
409	3071	15
410	3076	15
411	3086	15
412	3093	15
413	3098	15
414	3108	15
415	3115	15
416	3120	15
417	3130	15
418	3137	15
419	3142	15
420	3152	15
421	3159	15
422	3164	15
423	3174	15
424	3181	15
425	3186	15
426	3196	15
427	3203	15
428	3208	15
429	3218	15
430	3225	15
431	3230	15
432	3240	15
433	3247	15
434	3252	15
435	3262	15
436	3269	15
437	3274	15
438	3284	15
439	3291	15
440	3296	15
441	3306	15
442	3313	15
443	3318	15
444	3328	15
445	3335	15
446	3340	15
447	3350	15
448	3357	15
449	3362	15
450	3372	15
451	3379	15
452	3384	15
453	3394	15
454	3401	15
455	3406	15
456	3416	15
457	3423	15
458	3428	15
459	3438	15
460	3445	15
461	3450	15
462	3460	15
463	3467	15
464	3472	15
465	3482	15
466	3489	15
467	3494	15
468	3504	15
469	3511	15
470	3516	15
471	3526	15
472	3533	15
473	3538	15
474	3548	15
475	3555	15
476	3560	15
477	3570	15
478	3577	15
479	3582	15
480	3592	15
481	3599	15
482	3604	15
483	3614	15
484	3621	15
485	3626	15
486	3636	15
487	3643	15
488	3648	15
489	3658	15
490	3665	15
491	3670	15
492	3680	15
493	3687	15
494	3692	15
495	3702	15
496	3709	15
497	3714	15
498	3724	15
499	3731	15
500	3736	15
501	3746	15
502	3753	15
503	3758	15
504	3768	15
505	3775	15
506	3780	15
507	3790	15
508	3797	15
509	3802	15
510	3812	15
511	3819	15
512	3824	15
513	3834	15
514	3841	15
515	3846	15
516	3856	15
517	3863	15
518	3868	15
519	3878	15
520	3885	15
521	3890	15
522	3900	15
523	3907	15
524	3912	15
525	3922	15
526	3929	15
527	3934	15
528	3944	15
529	3951	15
530	3956	15
531	3966	15
532	3973	15
533	3978	15
534	3988	15
535	3995	15
536	4000	15
537	4010	15
538	4017	15
539	4022	15
540	4032	15
541	4039	15
542	4044	15
543	4054	15
544	4061	15
545	4066	15
546	4076	15
547	4083	15
548	4088	15
549	4098	15
550	4105	15
551	4110	15
552	4120	15
553	4127	15
554	4132	15
555	4142	15
556	4149	15
557	4154	15
558	4164	15
559	4171	15
560	4176	15
561	4186	15
562	4193	15
563	4198	15
564	4208	15
565	4215	15
566	4220	15
567	4230	15
568	4237	15
569	4242	15
570	4252	15
571	4259	15
572	4264	15
573	4274	15
574	4281	15
575	4286	15
576	4296	15
577	4303	15
578	4308	15
579	4318	15
580	4325	15
581	4330	15
582	4340	15
583	4347	15
584	4352	15
585	4362	15
586	4369	15
587	4374	15
588	4384	15
589	4391	15
590	4396	15
591	4406	15
592	4413	15
593	4418	15
594	4428	15
595	4435	15
596	4440	15
597	4450	15
598	4457	15
599	4462	15
600	4472	15
601	4479	15
602	4484	15
603	4494	15
604	4501	15
605	4506	15
606	4516	15
607	4523	15
608	4528	15
609	4538	15
610	4545	15
611	4550	15
612	4560	15
613	4567	15
614	4572	15
615	4582	15
616	4589	15
617	4594	15
618	4604	15
619	4611	15
620	4616	15
621	4626	15
622	4633	15
623	4638	15
624	4648	15
625	4655	15
626	4660	15
627	4670	15
628	4677	15
629	4682	15
630	4692	15
631	4699	15
632	4704	15
633	4714	15
634	4721	15
635	4726	15
636	4736	15
637	4743	15
638	4748	15
639	4758	15
640	4765	15
641	4770	15
642	4780	15
643	4787	15
644	4792	15
645	4802	15
646	4809	15
647	4814	15
648	4824	15
649	4831	15
650	4836	15
651	4846	15
652	4853	15
653	4858	15
654	4868	15
655	4875	15
656	4880	15
657	4890	15
658	4897	15
659	4902	15
660	4912	15
661	4919	15
662	4924	15
663	4934	15
664	4941	15
665	4946	15
666	4956	15
667	4963	15
668	4968	15
669	4978	15
670	4985	15
671	4990	15
done	5000	15

prune2.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: 9.9b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
0.0b	(/ 1.0 (+ x 1.0))
2.1b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity`
47×	`times-frac`
43×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
14×	`distribute-lft-out--`
13×	`distribute-lft-out`
11×	`add-log-exp`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
6×	`associate-/l*`
4×	`pow1` `associate-/r/`
3×	`flip3--` `frac-add` `flip--`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `frac-sub` `flip-+` `div-inv`
1×	`+-commutative` `associate-+l-`

Counts

4 → 114

Calls

4 calls:

6.0ms	(/ 1.0 (- x 1.0))
20.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
6.0ms	(/ 1.0 (+ x 1.0))
35.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series20.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1.0 (- x 1.0))
4.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
2.0ms	(/ 1.0 (+ x 1.0))
11.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify941.0ms

Counts

126 → 126

Iterations

Useful iterations: 3 (423.0ms)

Iter	Nodes	Cost
0	212	1832
1	505	1716
2	1467	1630
3	4509	1608
done	5000	1608

prune221.0ms

Filtered

92 candidates to 126 candidates (-37.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	4	127

Merged error: 0.5b

Counts

127 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))
0.3b	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
2.1b	(- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
12.7b	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))

rewrite219.0ms

Algorithm

rewrite-expression-head

Rules

340×	`*-un-lft-identity`
225×	`times-frac`
176×	`add-sqr-sqrt`
150×	`frac-sub`
101×	`distribute-lft-out--`
94×	`frac-times`
65×	`add-cube-cbrt`
64×	`flip3--` `flip--`
52×	`associate-r/` `associate-l/`
51×	`difference-of-squares`
47×	`associate-/l/`
41×	`swap-sqr`
31×	`associate-r` `associate-l`
20×	`add-exp-log` `add-cbrt-cube`
18×	`pow1`
16×	`distribute-lft-out`
13×	`associate-/r/`
11×	`associate-/r*`
6×	`add-log-exp`
5×	`cbrt-undiv` `sub-neg` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
4×	`distribute-rgt-in` `distribute-lft-in` `associate--l+` `associate-/l*`
2×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`frac-2neg` `diff-log` `div-sub` `clear-num`

Counts

4 → 352

Calls

4 calls:

21.0ms	(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))
45.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
45.0ms	(- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
81.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))

series58.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))
8.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
13.0ms	(- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
34.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))

simplify496.0ms

Counts

364 → 364

Iterations

Useful iterations: done (477.0ms)

Iter	Nodes	Cost
0	574	16482
1	1681	15203
done	5001	14485

prune1.8s

Filtered

227 candidates to 364 candidates (-60.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	363	1	364
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	363	5	368

Merged error: 0.5b

Counts

368 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x 1.0) x)
0.2b	(- (* 1.0 x) (* (+ x 1.0) 2.0))
1.6b	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
14.8b	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `add-log-exp`
6×	`pow1`
4×	`associate-l` `associate-*l/`
3×	`flip3-+` `times-frac` `associate-r` `flip-+` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-sub` `div-exp` `prod-exp` `associate-/r/` `flip--` `cbrt-unprod` `associate-/l/` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `pow-prod-down` `frac-add` `clear-num` `associate-/r` `sum-log` `-commutative` `div-inv` `unswap-sqr`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (+ x 1.0) x)
4.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
21.0ms	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
10.0ms	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

series28.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (+ x 1.0) x)
4.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
14.0ms	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
5.0ms	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

simplify532.0ms

Counts

85 → 85

Iterations

Useful iterations: done (530.0ms)

Iter	Nodes	Cost
0	153	1549
1	462	1479
2	1780	1111
done	5000	1105

prune130.0ms

Filtered

64 candidates to 85 candidates (-32.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	85	5	90

Merged error: 0.5b

Counts

90 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 3)) (/ 2.0 (pow x 5))))
0.1b	(/ 2.0 (pow x 5))
0.1b	(/ 2.0 (pow x 7))
0.6b	(/ 2.0 (pow x 3))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

87×	`times-frac`
78×	`*-un-lft-identity`
64×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`unpow-prod-down`
26×	`associate-/r*`
19×	`add-exp-log`
12×	`cube-prod` `sqr-pow`
11×	`distribute-lft-out`
10×	`add-cbrt-cube`
9×	`div-exp` `associate-/l*` `add-log-exp`
6×	`div-inv`
4×	`pow1` `cube-mult` `unpow3` `frac-add`
3×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `sum-log`
2×	`flip3-+` `flip-+`
1×	`+-commutative` `associate-+r+`

Counts

4 → 177

Calls

4 calls:

63.0ms	(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 3)) (/ 2.0 (pow x 5))))
5.0ms	(/ 2.0 (pow x 5))
5.0ms	(/ 2.0 (pow x 7))
8.0ms	(/ 2.0 (pow x 3))

series21.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 3)) (/ 2.0 (pow x 5))))
5.0ms	(/ 2.0 (pow x 5))
6.0ms	(/ 2.0 (pow x 7))
4.0ms	(/ 2.0 (pow x 3))

simplify522.0ms

Counts

189 → 189

Iterations

Useful iterations: 2 (176.0ms)

Iter	Nodes	Cost
0	286	2461
1	640	2164
2	2073	2074
done	5000	2074

prune369.0ms

Filtered

122 candidates to 189 candidates (-54.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	187	7	194

Merged error: 0.0b

Counts

194 → 7

regimes59.0ms

Accuracy

99.8% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 26.0b

bsearch30.0ms

Steps

Iters	Range		Point
9	0.009971872296741319	901.3230478674768	128.9853277188641
9	-174458.2165831976	-0.46594774775336223	-111.66855799925936

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	29	67
1	39	49
done	39	49

end0.0ms

sample882.0ms

Algorithm

intervals

Results

292.0ms	1823×	body	640	valid
180.0ms	4225×	body	80	valid
105.0ms	546×	body	1280	valid
105.0ms	908×	body	320	valid
39.0ms	500×	body	160	valid

Details

sample30.0ms

simplify6.3s

prune2.0ms

localize9.0ms

rewrite71.0ms

series20.0ms

simplify941.0ms

prune221.0ms

localize14.0ms

rewrite219.0ms

series58.0ms

simplify496.0ms

prune1.8s

localize14.0ms

rewrite44.0ms

series28.0ms

simplify532.0ms

prune130.0ms

localize12.0ms

rewrite88.0ms

series21.0ms

simplify522.0ms

prune369.0ms

regimes59.0ms

bsearch30.0ms

simplify3.0ms

end0.0ms

sample882.0ms

Profiling