Details

sample45.0ms

Algorithm

intervals

Results

13.0ms	64×	body	640	valid
7.0ms	131×	body	80	valid
7.0ms	44×	body	320	valid
2.0ms	17×	body	160	valid

simplify20.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	15
2	15
1	12
0	7

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.3b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(/ 1.0 (+ x 1.0))
3.6b	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
55×	`times-frac`
50×	`add-sqr-sqrt`
30×	`add-cube-cbrt`
25×	`distribute-lft-out--`
10×	`distribute-lft-out`
9×	`associate-/r*`
8×	`difference-of-squares`
7×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r/` `associate-/l*`
5×	`add-log-exp`
4×	`div-inv`
3×	`pow1` `flip--`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-exp` `flip-+`
1×	`sub-neg` `flip3-+` `diff-log` `frac-sub`

Counts

3 → 102

Calls

3 calls:

16.0ms	(/ 1.0 (- x 1.0))
15.0ms	(/ 1.0 (+ x 1.0))
87.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series365.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ 1.0 (- x 1.0))
32.0ms	(/ 1.0 (+ x 1.0))
286.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify810.0ms

Counts

111 → 111

Iterations

Iter	Nodes
done	5002
2	1586
1	410
0	175

prune532.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (+ 1.0 x))
0.4b	(/ 1.0 (- (* x x) (* 1.0 1.0)))
2.9b	(- x (+ 1.0 (+ 1.0 x)))

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
17×	`add-log-exp`
14×	`add-sqr-sqrt`
12×	`times-frac` `add-cube-cbrt`
6×	`sum-log` `distribute-lft-out`
5×	`add-cbrt-cube` `add-exp-log` `difference-of-squares`
4×	`associate-/r*`
3×	`pow1` `diff-log` `associate-/l*` `distribute-lft-out--`
2×	`flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `+-commutative` `associate-+r+` `clear-num` `sub-neg` `frac-2neg` `flip3-+` `div-exp` `flip-+` `div-inv` `associate--r+`

Counts

3 → 67

Calls

3 calls:

18.0ms	(+ 1.0 (+ 1.0 x))
21.0ms	(/ 1.0 (- (* x x) (* 1.0 1.0)))
58.0ms	(- x (+ 1.0 (+ 1.0 x)))

series105.0ms

Counts

3 → 9

Calls

3 calls:

18.0ms	(+ 1.0 (+ 1.0 x))
79.0ms	(/ 1.0 (- (* x x) (* 1.0 1.0)))
8.0ms	(- x (+ 1.0 (+ 1.0 x)))

simplify907.0ms

Counts

76 → 76

Iterations

Iter	Nodes
done	5001
2	1929
1	363
0	139

prune334.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 2.0))
0.4b	(/ 1.0 (- (* x x) (* 1.0 1.0)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
25×	`times-frac`
22×	`*-un-lft-identity` `add-cube-cbrt`
18×	`associate-l`
10×	`associate-r`
9×	`add-cbrt-cube` `add-exp-log`
7×	`difference-of-squares`
4×	`pow1` `associate-/r*` `associate-/r/`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `flip--` `add-log-exp` `unswap-sqr`
1×	`clear-num` `neg-mul-1` `frac-2neg` `pow-prod-down` `associate-l/` `-commutative` `distribute-rgt-neg-out`

Counts

2 → 78

Calls

2 calls:

39.0ms	(* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 2.0))
11.0ms	(/ 1.0 (- (* x x) (* 1.0 1.0)))

series152.0ms

Counts

2 → 6

Calls

2 calls:

75.0ms	(* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 2.0))
77.0ms	(/ 1.0 (- (* x x) (* 1.0 1.0)))

simplify1.2s

Counts

84 → 84

Iterations

Iter	Nodes
done	5000
2	2702
1	480
0	158

prune420.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (+ 1.0 x))
0.0b	(* (/ (/ 1.0 (+ 1.0 x)) (- x 1.0)) (- 2.0))
0.1b	(/ (/ 1.0 (+ 1.0 x)) (- x 1.0))

rewrite224.0ms

Algorithm

rewrite-expression-head

Rules

327×	`times-frac`
289×	`*-un-lft-identity`
224×	`add-sqr-sqrt`
141×	`add-cube-cbrt`
96×	`associate-l`
37×	`distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
28×	`associate-/r/`
21×	`associate-/l*`
19×	`add-cbrt-cube` `add-exp-log`
14×	`div-inv`
12×	`flip3-+` `flip-+`
10×	`associate-r`
9×	`associate-/r*`
7×	`cbrt-undiv` `div-exp`
5×	`pow1`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`clear-num` `frac-2neg` `flip3--` `flip--`
1×	`neg-mul-1` `pow-prod-down` `associate-l/` `-commutative` `distribute-rgt-neg-out` `associate-/l/`

Counts

3 → 289

Calls

3 calls:

16.0ms	(/ 1.0 (+ 1.0 x))
132.0ms	(* (/ (/ 1.0 (+ 1.0 x)) (- x 1.0)) (- 2.0))
43.0ms	(/ (/ 1.0 (+ 1.0 x)) (- x 1.0))

series228.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ 1.0 (+ 1.0 x))
90.0ms	(* (/ (/ 1.0 (+ 1.0 x)) (- x 1.0)) (- 2.0))
92.0ms	(/ (/ 1.0 (+ 1.0 x)) (- x 1.0))

simplify524.0ms

Counts

298 → 298

Iterations

Iter	Nodes
done	5000
1	1175
0	364

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

regimes69.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.3s

Iterations

Iter	Nodes
done	5000
2490	4998
2489	4996
2488	4994
2487	4992
2486	4990
2485	4988
2484	4986
2483	4984
2482	4982
2481	4980
2480	4978
2479	4976
2478	4974
2477	4972
2476	4970
2475	4968
2474	4966
2473	4964
2472	4962
2471	4960
2470	4958
2469	4956
2468	4954
2467	4952
2466	4950
2465	4948
2464	4946
2463	4944
2462	4942
2461	4940
2460	4938
2459	4936
2458	4934
2457	4932
2456	4930
2455	4928
2454	4926
2453	4924
2452	4922
2451	4920
2450	4918
2449	4916
2448	4914
2447	4912
2446	4910
2445	4908
2444	4906
2443	4904
2442	4902
2441	4900
2440	4898
2439	4896
2438	4894
2437	4892
2436	4890
2435	4888
2434	4886
2433	4884
2432	4882
2431	4880
2430	4878
2429	4876
2428	4874
2427	4872
2426	4870
2425	4868
2424	4866
2423	4864
2422	4862
2421	4860
2420	4858
2419	4856
2418	4854
2417	4852
2416	4850
2415	4848
2414	4846
2413	4844
2412	4842
2411	4840
2410	4838
2409	4836
2408	4834
2407	4832
2406	4830
2405	4828
2404	4826
2403	4824
2402	4822
2401	4820
2400	4818
2399	4816
2398	4814
2397	4812
2396	4810
2395	4808
2394	4806
2393	4804
2392	4802
2391	4800
2390	4798
2389	4796
2388	4794
2387	4792
2386	4790
2385	4788
2384	4786
2383	4784
2382	4782
2381	4780
2380	4778
2379	4776
2378	4774
2377	4772
2376	4770
2375	4768
2374	4766
2373	4764
2372	4762
2371	4760
2370	4758
2369	4756
2368	4754
2367	4752
2366	4750
2365	4748
2364	4746
2363	4744
2362	4742
2361	4740
2360	4738
2359	4736
2358	4734
2357	4732
2356	4730
2355	4728
2354	4726
2353	4724
2352	4722
2351	4720
2350	4718
2349	4716
2348	4714
2347	4712
2346	4710
2345	4708
2344	4706
2343	4704
2342	4702
2341	4700
2340	4698
2339	4696
2338	4694
2337	4692
2336	4690
2335	4688
2334	4686
2333	4684
2332	4682
2331	4680
2330	4678
2329	4676
2328	4674
2327	4672
2326	4670
2325	4668
2324	4666
2323	4664
2322	4662
2321	4660
2320	4658
2319	4656
2318	4654
2317	4652
2316	4650
2315	4648
2314	4646
2313	4644
2312	4642
2311	4640
2310	4638
2309	4636
2308	4634
2307	4632
2306	4630
2305	4628
2304	4626
2303	4624
2302	4622
2301	4620
2300	4618
2299	4616
2298	4614
2297	4612
2296	4610
2295	4608
2294	4606
2293	4604
2292	4602
2291	4600
2290	4598
2289	4596
2288	4594
2287	4592
2286	4590
2285	4588
2284	4586
2283	4584
2282	4582
2281	4580
2280	4578
2279	4576
2278	4574
2277	4572
2276	4570
2275	4568
2274	4566
2273	4564
2272	4562
2271	4560
2270	4558
2269	4556
2268	4554
2267	4552
2266	4550
2265	4548
2264	4546
2263	4544
2262	4542
2261	4540
2260	4538
2259	4536
2258	4534
2257	4532
2256	4530
2255	4528
2254	4526
2253	4524
2252	4522
2251	4520
2250	4518
2249	4516
2248	4514
2247	4512
2246	4510
2245	4508
2244	4506
2243	4504
2242	4502
2241	4500
2240	4498
2239	4496
2238	4494
2237	4492
2236	4490
2235	4488
2234	4486
2233	4484
2232	4482
2231	4480
2230	4478
2229	4476
2228	4474
2227	4472
2226	4470
2225	4468
2224	4466
2223	4464
2222	4462
2221	4460
2220	4458
2219	4456
2218	4454
2217	4452
2216	4450
2215	4448
2214	4446
2213	4444
2212	4442
2211	4440
2210	4438
2209	4436
2208	4434
2207	4432
2206	4430
2205	4428
2204	4426
2203	4424
2202	4422
2201	4420
2200	4418
2199	4416
2198	4414
2197	4412
2196	4410
2195	4408
2194	4406
2193	4404
2192	4402
2191	4400
2190	4398
2189	4396
2188	4394
2187	4392
2186	4390
2185	4388
2184	4386
2183	4384
2182	4382
2181	4380
2180	4378
2179	4376
2178	4374
2177	4372
2176	4370
2175	4368
2174	4366
2173	4364
2172	4362
2171	4360
2170	4358
2169	4356
2168	4354
2167	4352
2166	4350
2165	4348
2164	4346
2163	4344
2162	4342
2161	4340
2160	4338
2159	4336
2158	4334
2157	4332
2156	4330
2155	4328
2154	4326
2153	4324
2152	4322
2151	4320
2150	4318
2149	4316
2148	4314
2147	4312
2146	4310
2145	4308
2144	4306
2143	4304
2142	4302
2141	4300
2140	4298
2139	4296
2138	4294
2137	4292
2136	4290
2135	4288
2134	4286
2133	4284
2132	4282
2131	4280
2130	4278
2129	4276
2128	4274
2127	4272
2126	4270
2125	4268
2124	4266
2123	4264
2122	4262
2121	4260
2120	4258
2119	4256
2118	4254
2117	4252
2116	4250
2115	4248
2114	4246
2113	4244
2112	4242
2111	4240
2110	4238
2109	4236
2108	4234
2107	4232
2106	4230
2105	4228
2104	4226
2103	4224
2102	4222
2101	4220
2100	4218
2099	4216
2098	4214
2097	4212
2096	4210
2095	4208
2094	4206
2093	4204
2092	4202
2091	4200
2090	4198
2089	4196
2088	4194
2087	4192
2086	4190
2085	4188
2084	4186
2083	4184
2082	4182
2081	4180
2080	4178
2079	4176
2078	4174
2077	4172
2076	4170
2075	4168
2074	4166
2073	4164
2072	4162
2071	4160
2070	4158
2069	4156
2068	4154
2067	4152
2066	4150
2065	4148
2064	4146
2063	4144
2062	4142
2061	4140
2060	4138
2059	4136
2058	4134
2057	4132
2056	4130
2055	4128
2054	4126
2053	4124
2052	4122
2051	4120
2050	4118
2049	4116
2048	4114
2047	4112
2046	4110
2045	4108
2044	4106
2043	4104
2042	4102
2041	4100
2040	4098
2039	4096
2038	4094
2037	4092
2036	4090
2035	4088
2034	4086
2033	4084
2032	4082
2031	4080
2030	4078
2029	4076
2028	4074
2027	4072
2026	4070
2025	4068
2024	4066
2023	4064
2022	4062
2021	4060
2020	4058
2019	4056
2018	4054
2017	4052
2016	4050
2015	4048
2014	4046
2013	4044
2012	4042
2011	4040
2010	4038
2009	4036
2008	4034
2007	4032
2006	4030
2005	4028
2004	4026
2003	4024
2002	4022
2001	4020
2000	4018
1999	4016
1998	4014
1997	4012
1996	4010
1995	4008
1994	4006
1993	4004
1992	4002
1991	4000
1990	3998
1989	3996
1988	3994
1987	3992
1986	3990
1985	3988
1984	3986
1983	3984
1982	3982
1981	3980
1980	3978
1979	3976
1978	3974
1977	3972
1976	3970
1975	3968
1974	3966
1973	3964
1972	3962
1971	3960
1970	3958
1969	3956
1968	3954
1967	3952
1966	3950
1965	3948
1964	3946
1963	3944
1962	3942
1961	3940
1960	3938
1959	3936
1958	3934
1957	3932
1956	3930
1955	3928
1954	3926
1953	3924
1952	3922
1951	3920
1950	3918
1949	3916
1948	3914
1947	3912
1946	3910
1945	3908
1944	3906
1943	3904
1942	3902
1941	3900
1940	3898
1939	3896
1938	3894
1937	3892
1936	3890
1935	3888
1934	3886
1933	3884
1932	3882
1931	3880
1930	3878
1929	3876
1928	3874
1927	3872
1926	3870
1925	3868
1924	3866
1923	3864
1922	3862
1921	3860
1920	3858
1919	3856
1918	3854
1917	3852
1916	3850
1915	3848
1914	3846
1913	3844
1912	3842
1911	3840
1910	3838
1909	3836
1908	3834
1907	3832
1906	3830
1905	3828
1904	3826
1903	3824
1902	3822
1901	3820
1900	3818
1899	3816
1898	3814
1897	3812
1896	3810
1895	3808
1894	3806
1893	3804
1892	3802
1891	3800
1890	3798
1889	3796
1888	3794
1887	3792
1886	3790
1885	3788
1884	3786
1883	3784
1882	3782
1881	3780
1880	3778
1879	3776
1878	3774
1877	3772
1876	3770
1875	3768
1874	3766
1873	3764
1872	3762
1871	3760
1870	3758
1869	3756
1868	3754
1867	3752
1866	3750
1865	3748
1864	3746
1863	3744
1862	3742
1861	3740
1860	3738
1859	3736
1858	3734
1857	3732
1856	3730
1855	3728
1854	3726
1853	3724
1852	3722
1851	3720
1850	3718
1849	3716
1848	3714
1847	3712
1846	3710
1845	3708
1844	3706
1843	3704
1842	3702
1841	3700
1840	3698
1839	3696
1838	3694
1837	3692
1836	3690
1835	3688
1834	3686
1833	3684
1832	3682
1831	3680
1830	3678
1829	3676
1828	3674
1827	3672
1826	3670
1825	3668
1824	3666
1823	3664
1822	3662
1821	3660
1820	3658
1819	3656
1818	3654
1817	3652
1816	3650
1815	3648
1814	3646
1813	3644
1812	3642
1811	3640
1810	3638
1809	3636
1808	3634
1807	3632
1806	3630
1805	3628
1804	3626
1803	3624
1802	3622
1801	3620
1800	3618
1799	3616
1798	3614
1797	3612
1796	3610
1795	3608
1794	3606
1793	3604
1792	3602
1791	3600
1790	3598
1789	3596
1788	3594
1787	3592
1786	3590
1785	3588
1784	3586
1783	3584
1782	3582
1781	3580
1780	3578
1779	3576
1778	3574
1777	3572
1776	3570
1775	3568
1774	3566
1773	3564
1772	3562
1771	3560
1770	3558
1769	3556
1768	3554
1767	3552
1766	3550
1765	3548
1764	3546
1763	3544
1762	3542
1761	3540
1760	3538
1759	3536
1758	3534
1757	3532
1756	3530
1755	3528
1754	3526
1753	3524
1752	3522
1751	3520
1750	3518
1749	3516
1748	3514
1747	3512
1746	3510
1745	3508
1744	3506
1743	3504
1742	3502
1741	3500
1740	3498
1739	3496
1738	3494
1737	3492
1736	3490
1735	3488
1734	3486
1733	3484
1732	3482
1731	3480
1730	3478
1729	3476
1728	3474
1727	3472
1726	3470
1725	3468
1724	3466
1723	3464
1722	3462
1721	3460
1720	3458
1719	3456
1718	3454
1717	3452
1716	3450
1715	3448
1714	3446
1713	3444
1712	3442
1711	3440
1710	3438
1709	3436
1708	3434
1707	3432
1706	3430
1705	3428
1704	3426
1703	3424
1702	3422
1701	3420
1700	3418
1699	3416
1698	3414
1697	3412
1696	3410
1695	3408
1694	3406
1693	3404
1692	3402
1691	3400
1690	3398
1689	3396
1688	3394
1687	3392
1686	3390
1685	3388
1684	3386
1683	3384
1682	3382
1681	3380
1680	3378
1679	3376
1678	3374
1677	3372
1676	3370
1675	3368
1674	3366
1673	3364
1672	3362
1671	3360
1670	3358
1669	3356
1668	3354
1667	3352
1666	3350
1665	3348
1664	3346
1663	3344
1662	3342
1661	3340
1660	3338
1659	3336
1658	3334
1657	3332
1656	3330
1655	3328
1654	3326
1653	3324
1652	3322
1651	3320
1650	3318
1649	3316
1648	3314
1647	3312
1646	3310
1645	3308
1644	3306
1643	3304
1642	3302
1641	3300
1640	3298
1639	3296
1638	3294
1637	3292
1636	3290
1635	3288
1634	3286
1633	3284
1632	3282
1631	3280
1630	3278
1629	3276
1628	3274
1627	3272
1626	3270
1625	3268
1624	3266
1623	3264
1622	3262
1621	3260
1620	3258
1619	3256
1618	3254
1617	3252
1616	3250
1615	3248
1614	3246
1613	3244
1612	3242
1611	3240
1610	3238
1609	3236
1608	3234
1607	3232
1606	3230
1605	3228
1604	3226
1603	3224
1602	3222
1601	3220
1600	3218
1599	3216
1598	3214
1597	3212
1596	3210
1595	3208
1594	3206
1593	3204
1592	3202
1591	3200
1590	3198
1589	3196
1588	3194
1587	3192
1586	3190
1585	3188
1584	3186
1583	3184
1582	3182
1581	3180
1580	3178
1579	3176
1578	3174
1577	3172
1576	3170
1575	3168
1574	3166
1573	3164
1572	3162
1571	3160
1570	3158
1569	3156
1568	3154
1567	3152
1566	3150
1565	3148
1564	3146
1563	3144
1562	3142
1561	3140
1560	3138
1559	3136
1558	3134
1557	3132
1556	3130
1555	3128
1554	3126
1553	3124
1552	3122
1551	3120
1550	3118
1549	3116
1548	3114
1547	3112
1546	3110
1545	3108
1544	3106
1543	3104
1542	3102
1541	3100
1540	3098
1539	3096
1538	3094
1537	3092
1536	3090
1535	3088
1534	3086
1533	3084
1532	3082
1531	3080
1530	3078
1529	3076
1528	3074
1527	3072
1526	3070
1525	3068
1524	3066
1523	3064
1522	3062
1521	3060
1520	3058
1519	3056
1518	3054
1517	3052
1516	3050
1515	3048
1514	3046
1513	3044
1512	3042
1511	3040
1510	3038
1509	3036
1508	3034
1507	3032
1506	3030
1505	3028
1504	3026
1503	3024
1502	3022
1501	3020
1500	3018
1499	3016
1498	3014
1497	3012
1496	3010
1495	3008
1494	3006
1493	3004
1492	3002
1491	3000
1490	2998
1489	2996
1488	2994
1487	2992
1486	2990
1485	2988
1484	2986
1483	2984
1482	2982
1481	2980
1480	2978
1479	2976
1478	2974
1477	2972
1476	2970
1475	2968
1474	2966
1473	2964
1472	2962
1471	2960
1470	2958
1469	2956
1468	2954
1467	2952
1466	2950
1465	2948
1464	2946
1463	2944
1462	2942
1461	2940
1460	2938
1459	2936
1458	2934
1457	2932
1456	2930
1455	2928
1454	2926
1453	2924
1452	2922
1451	2920
1450	2918
1449	2916
1448	2914
1447	2912
1446	2910
1445	2908
1444	2906
1443	2904
1442	2902
1441	2900
1440	2898
1439	2896
1438	2894
1437	2892
1436	2890
1435	2888
1434	2886
1433	2884
1432	2882
1431	2880
1430	2878
1429	2876
1428	2874
1427	2872
1426	2870
1425	2868
1424	2866
1423	2864
1422	2862
1421	2860
1420	2858
1419	2856
1418	2854
1417	2852
1416	2850
1415	2848
1414	2846
1413	2844
1412	2842
1411	2840
1410	2838
1409	2836
1408	2834
1407	2832
1406	2830
1405	2828
1404	2826
1403	2824
1402	2822
1401	2820
1400	2818
1399	2816
1398	2814
1397	2812
1396	2810
1395	2808
1394	2806
1393	2804
1392	2802
1391	2800
1390	2798
1389	2796
1388	2794
1387	2792
1386	2790
1385	2788
1384	2786
1383	2784
1382	2782
1381	2780
1380	2778
1379	2776
1378	2774
1377	2772
1376	2770
1375	2768
1374	2766
1373	2764
1372	2762
1371	2760
1370	2758
1369	2756
1368	2754
1367	2752
1366	2750
1365	2748
1364	2746
1363	2744
1362	2742
1361	2740
1360	2738
1359	2736
1358	2734
1357	2732
1356	2730
1355	2728
1354	2726
1353	2724
1352	2722
1351	2720
1350	2718
1349	2716
1348	2714
1347	2712
1346	2710
1345	2708
1344	2706
1343	2704
1342	2702
1341	2700
1340	2698
1339	2696
1338	2694
1337	2692
1336	2690
1335	2688
1334	2686
1333	2684
1332	2682
1331	2680
1330	2678
1329	2676
1328	2674
1327	2672
1326	2670
1325	2668
1324	2666
1323	2664
1322	2662
1321	2660
1320	2658
1319	2656
1318	2654
1317	2652
1316	2650
1315	2648
1314	2646
1313	2644
1312	2642
1311	2640
1310	2638
1309	2636
1308	2634
1307	2632
1306	2630
1305	2628
1304	2626
1303	2624
1302	2622
1301	2620
1300	2618
1299	2616
1298	2614
1297	2612
1296	2610
1295	2608
1294	2606
1293	2604
1292	2602
1291	2600
1290	2598
1289	2596
1288	2594
1287	2592
1286	2590
1285	2588
1284	2586
1283	2584
1282	2582
1281	2580
1280	2578
1279	2576
1278	2574
1277	2572
1276	2570
1275	2568
1274	2566
1273	2564
1272	2562
1271	2560
1270	2558
1269	2556
1268	2554
1267	2552
1266	2550
1265	2548
1264	2546
1263	2544
1262	2542
1261	2540
1260	2538
1259	2536
1258	2534
1257	2532
1256	2530
1255	2528
1254	2526
1253	2524
1252	2522
1251	2520
1250	2518
1249	2516
1248	2514
1247	2512
1246	2510
1245	2508
1244	2506
1243	2504
1242	2502
1241	2500
1240	2498
1239	2496
1238	2494
1237	2492
1236	2490
1235	2488
1234	2486
1233	2484
1232	2482
1231	2480
1230	2478
1229	2476
1228	2474
1227	2472
1226	2470
1225	2468
1224	2466
1223	2464
1222	2462
1221	2460
1220	2458
1219	2456
1218	2454
1217	2452
1216	2450
1215	2448
1214	2446
1213	2444
1212	2442
1211	2440
1210	2438
1209	2436
1208	2434
1207	2432
1206	2430
1205	2428
1204	2426
1203	2424
1202	2422
1201	2420
1200	2418
1199	2416
1198	2414
1197	2412
1196	2410
1195	2408
1194	2406
1193	2404
1192	2402
1191	2400
1190	2398
1189	2396
1188	2394
1187	2392
1186	2390
1185	2388
1184	2386
1183	2384
1182	2382
1181	2380
1180	2378
1179	2376
1178	2374
1177	2372
1176	2370
1175	2368
1174	2366
1173	2364
1172	2362
1171	2360
1170	2358
1169	2356
1168	2354
1167	2352
1166	2350
1165	2348
1164	2346
1163	2344
1162	2342
1161	2340
1160	2338
1159	2336
1158	2334
1157	2332
1156	2330
1155	2328
1154	2326
1153	2324
1152	2322
1151	2320
1150	2318
1149	2316
1148	2314
1147	2312
1146	2310
1145	2308
1144	2306
1143	2304
1142	2302
1141	2300
1140	2298
1139	2296
1138	2294
1137	2292
1136	2290
1135	2288
1134	2286
1133	2284
1132	2282
1131	2280
1130	2278
1129	2276
1128	2274
1127	2272
1126	2270
1125	2268
1124	2266
1123	2264
1122	2262
1121	2260
1120	2258
1119	2256
1118	2254
1117	2252
1116	2250
1115	2248
1114	2246
1113	2244
1112	2242
1111	2240
1110	2238
1109	2236
1108	2234
1107	2232
1106	2230
1105	2228
1104	2226
1103	2224
1102	2222
1101	2220
1100	2218
1099	2216
1098	2214
1097	2212
1096	2210
1095	2208
1094	2206
1093	2204
1092	2202
1091	2200
1090	2198
1089	2196
1088	2194
1087	2192
1086	2190
1085	2188
1084	2186
1083	2184
1082	2182
1081	2180
1080	2178
1079	2176
1078	2174
1077	2172
1076	2170
1075	2168
1074	2166
1073	2164
1072	2162
1071	2160
1070	2158
1069	2156
1068	2154
1067	2152
1066	2150
1065	2148
1064	2146
1063	2144
1062	2142
1061	2140
1060	2138
1059	2136
1058	2134
1057	2132
1056	2130
1055	2128
1054	2126
1053	2124
1052	2122
1051	2120
1050	2118
1049	2116
1048	2114
1047	2112
1046	2110
1045	2108
1044	2106
1043	2104
1042	2102
1041	2100
1040	2098
1039	2096
1038	2094
1037	2092
1036	2090
1035	2088
1034	2086
1033	2084
1032	2082
1031	2080
1030	2078
1029	2076
1028	2074
1027	2072
1026	2070
1025	2068
1024	2066
1023	2064
1022	2062
1021	2060
1020	2058
1019	2056
1018	2054
1017	2052
1016	2050
1015	2048
1014	2046
1013	2044
1012	2042
1011	2040
1010	2038
1009	2036
1008	2034
1007	2032
1006	2030
1005	2028
1004	2026
1003	2024
1002	2022
1001	2020
1000	2018
999	2016
998	2014
997	2012
996	2010
995	2008
994	2006
993	2004
992	2002
991	2000
990	1998
989	1996
988	1994
987	1992
986	1990
985	1988
984	1986
983	1984
982	1982
981	1980
980	1978
979	1976
978	1974
977	1972
976	1970
975	1968
974	1966
973	1964
972	1962
971	1960
970	1958
969	1956
968	1954
967	1952
966	1950
965	1948
964	1946
963	1944
962	1942
961	1940
960	1938
959	1936
958	1934
957	1932
956	1930
955	1928
954	1926
953	1924
952	1922
951	1920
950	1918
949	1916
948	1914
947	1912
946	1910
945	1908
944	1906
943	1904
942	1902
941	1900
940	1898
939	1896
938	1894
937	1892
936	1890
935	1888
934	1886
933	1884
932	1882
931	1880
930	1878
929	1876
928	1874
927	1872
926	1870
925	1868
924	1866
923	1864
922	1862
921	1860
920	1858
919	1856
918	1854
917	1852
916	1850
915	1848
914	1846
913	1844
912	1842
911	1840
910	1838
909	1836
908	1834
907	1832
906	1830
905	1828
904	1826
903	1824
902	1822
901	1820
900	1818
899	1816
898	1814
897	1812
896	1810
895	1808
894	1806
893	1804
892	1802
891	1800
890	1798
889	1796
888	1794
887	1792
886	1790
885	1788
884	1786
883	1784
882	1782
881	1780
880	1778
879	1776
878	1774
877	1772
876	1770
875	1768
874	1766
873	1764
872	1762
871	1760
870	1758
869	1756
868	1754
867	1752
866	1750
865	1748
864	1746
863	1744
862	1742
861	1740
860	1738
859	1736
858	1734
857	1732
856	1730
855	1728
854	1726
853	1724
852	1722
851	1720
850	1718
849	1716
848	1714
847	1712
846	1710
845	1708
844	1706
843	1704
842	1702
841	1700
840	1698
839	1696
838	1694
837	1692
836	1690
835	1688
834	1686
833	1684
832	1682
831	1680
830	1678
829	1676
828	1674
827	1672
826	1670
825	1668
824	1666
823	1664
822	1662
821	1660
820	1658
819	1656
818	1654
817	1652
816	1650
815	1648
814	1646
813	1644
812	1642
811	1640
810	1638
809	1636
808	1634
807	1632
806	1630
805	1628
804	1626
803	1624
802	1622
801	1620
800	1618
799	1616
798	1614
797	1612
796	1610
795	1608
794	1606
793	1604
792	1602
791	1600
790	1598
789	1596
788	1594
787	1592
786	1590
785	1588
784	1586
783	1584
782	1582
781	1580
780	1578
779	1576
778	1574
777	1572
776	1570
775	1568
774	1566
773	1564
772	1562
771	1560
770	1558
769	1556
768	1554
767	1552
766	1550
765	1548
764	1546
763	1544
762	1542
761	1540
760	1538
759	1536
758	1534
757	1532
756	1530
755	1528
754	1526
753	1524
752	1522
751	1520
750	1518
749	1516
748	1514
747	1512
746	1510
745	1508
744	1506
743	1504
742	1502
741	1500
740	1498
739	1496
738	1494
737	1492
736	1490
735	1488
734	1486
733	1484
732	1482
731	1480
730	1478
729	1476
728	1474
727	1472
726	1470
725	1468
724	1466
723	1464
722	1462
721	1460
720	1458
719	1456
718	1454
717	1452
716	1450
715	1448
714	1446
713	1444
712	1442
711	1440
710	1438
709	1436
708	1434
707	1432
706	1430
705	1428
704	1426
703	1424
702	1422
701	1420
700	1418
699	1416
698	1414
697	1412
696	1410
695	1408
694	1406
693	1404
692	1402
691	1400
690	1398
689	1396
688	1394
687	1392
686	1390
685	1388
684	1386
683	1384
682	1382
681	1380
680	1378
679	1376
678	1374
677	1372
676	1370
675	1368
674	1366
673	1364
672	1362
671	1360
670	1358
669	1356
668	1354
667	1352
666	1350
665	1348
664	1346
663	1344
662	1342
661	1340
660	1338
659	1336
658	1334
657	1332
656	1330
655	1328
654	1326
653	1324
652	1322
651	1320
650	1318
649	1316
648	1314
647	1312
646	1310
645	1308
644	1306
643	1304
642	1302
641	1300
640	1298
639	1296
638	1294
637	1292
636	1290
635	1288
634	1286
633	1284
632	1282
631	1280
630	1278
629	1276
628	1274
627	1272
626	1270
625	1268
624	1266
623	1264
622	1262
621	1260
620	1258
619	1256
618	1254
617	1252
616	1250
615	1248
614	1246
613	1244
612	1242
611	1240
610	1238
609	1236
608	1234
607	1232
606	1230
605	1228
604	1226
603	1224
602	1222
601	1220
600	1218
599	1216
598	1214
597	1212
596	1210
595	1208
594	1206
593	1204
592	1202
591	1200
590	1198
589	1196
588	1194
587	1192
586	1190
585	1188
584	1186
583	1184
582	1182
581	1180
580	1178
579	1176
578	1174
577	1172
576	1170
575	1168
574	1166
573	1164
572	1162
571	1160
570	1158
569	1156
568	1154
567	1152
566	1150
565	1148
564	1146
563	1144
562	1142
561	1140
560	1138
559	1136
558	1134
557	1132
556	1130
555	1128
554	1126
553	1124
552	1122
551	1120
550	1118
549	1116
548	1114
547	1112
546	1110
545	1108
544	1106
543	1104
542	1102
541	1100
540	1098
539	1096
538	1094
537	1092
536	1090
535	1088
534	1086
533	1084
532	1082
531	1080
530	1078
529	1076
528	1074
527	1072
526	1070
525	1068
524	1066
523	1064
522	1062
521	1060
520	1058
519	1056
518	1054
517	1052
516	1050
515	1048
514	1046
513	1044
512	1042
511	1040
510	1038
509	1036
508	1034
507	1032
506	1030
505	1028
504	1026
503	1024
502	1022
501	1020
500	1018
499	1016
498	1014
497	1012
496	1010
495	1008
494	1006
493	1004
492	1002
491	1000
490	998
489	996
488	994
487	992
486	990
485	988
484	986
483	984
482	982
481	980
480	978
479	976
478	974
477	972
476	970
475	968
474	966
473	964
472	962
471	960
470	958
469	956
468	954
467	952
466	950
465	948
464	946
463	944
462	942
461	940
460	938
459	936
458	934
457	932
456	930
455	928
454	926
453	924
452	922
451	920
450	918
449	916
448	914
447	912
446	910
445	908
444	906
443	904
442	902
441	900
440	898
439	896
438	894
437	892
436	890
435	888
434	886
433	884
432	882
431	880
430	878
429	876
428	874
427	872
426	870
425	868
424	866
423	864
422	862
421	860
420	858
419	856
418	854
417	852
416	850
415	848
414	846
413	844
412	842
411	840
410	838
409	836
408	834
407	832
406	830
405	828
404	826
403	824
402	822
401	820
400	818
399	816
398	814
397	812
396	810
395	808
394	806
393	804
392	802
391	800
390	798
389	796
388	794
387	792
386	790
385	788
384	786
383	784
382	782
381	780
380	778
379	776
378	774
377	772
376	770
375	768
374	766
373	764
372	762
371	760
370	758
369	756
368	754
367	752
366	750
365	748
364	746
363	744
362	742
361	740
360	738
359	736
358	734
357	732
356	730
355	728
354	726
353	724
352	722
351	720
350	718
349	716
348	714
347	712
346	710
345	708
344	706
343	704
342	702
341	700
340	698
339	696
338	694
337	692
336	690
335	688
334	686
333	684
332	682
331	680
330	678
329	676
328	674
327	672
326	670
325	668
324	666
323	664
322	662
321	660
320	658
319	656
318	654
317	652
316	650
315	648
314	646
313	644
312	642
311	640
310	638
309	636
308	634
307	632
306	630
305	628
304	626
303	624
302	622
301	620
300	618
299	616
298	614
297	612
296	610
295	608
294	606
293	604
292	602
291	600
290	598
289	596
288	594
287	592
286	590
285	588
284	586
283	584
282	582
281	580
280	578
279	576
278	574
277	572
276	570
275	568
274	566
273	564
272	562
271	560
270	558
269	556
268	554
267	552
266	550
265	548
264	546
263	544
262	542
261	540
260	538
259	536
258	534
257	532
256	530
255	528
254	526
253	524
252	522
251	520
250	518
249	516
248	514
247	512
246	510
245	508
244	506
243	504
242	502
241	500
240	498
239	496
238	494
237	492
236	490
235	488
234	486
233	484
232	482
231	480
230	478
229	476
228	474
227	472
226	470
225	468
224	466
223	464
222	462
221	460
220	458
219	456
218	454
217	452
216	450
215	448
214	446
213	444
212	442
211	440
210	438
209	436
208	434
207	432
206	430
205	428
204	426
203	424
202	422
201	420
200	418
199	416
198	414
197	412
196	410
195	408
194	406
193	404
192	402
191	400
190	398
189	396
188	394
187	392
186	390
185	388
184	386
183	384
182	382
181	380
180	378
179	376
178	374
177	372
176	370
175	368
174	366
173	364
172	362
171	360
170	358
169	356
168	354
167	352
166	350
165	348
164	346
163	344
162	342
161	340
160	338
159	336
158	334
157	332
156	330
155	328
154	326
153	324
152	322
151	320
150	318
149	316
148	314
147	312
146	310
145	308
144	306
143	304
142	302
141	300
140	298
139	296
138	294
137	292
136	290
135	288
134	286
133	284
132	282
131	280
130	278
129	276
128	274
127	272
126	270
125	268
124	266
123	264
122	262
121	260
120	258
119	256
118	254
117	252
116	250
115	248
114	246
113	244
112	242
111	240
110	238
109	236
108	234
107	232
106	230
105	228
104	226
103	224
102	222
101	220
100	218
99	216
98	214
97	212
96	210
95	208
94	206
93	204
92	202
91	200
90	198
89	196
88	194
87	192
86	190
85	188
84	186
83	184
82	182
81	180
80	178
79	176
78	174
77	172
76	170
75	168
74	166
73	164
72	162
71	160
70	158
69	156
68	154
67	152
66	150
65	148
64	146
63	144
62	142
61	140
60	138
59	136
58	134
57	132
56	130
55	128
54	126
53	124
52	122
51	120
50	118
49	116
48	114
47	112
46	110
45	108
44	106
43	104
42	102
41	100
40	98
39	96
38	94
37	92
36	90
35	88
34	86
33	84
32	82
31	80
30	78
29	76
28	74
27	72
26	70
25	68
24	66
23	64
22	62
21	60
20	58
19	56
18	54
17	52
16	50
15	48
14	46
13	44
12	42
11	40
10	38
9	36
8	34
7	32
6	30
5	28
4	26
3	24
2	17
1	13
0	9

end0.0ms

sample1.1s

Algorithm

intervals

Results

377.0ms	1860×	body	640	valid
233.0ms	1291×	body	320	valid
222.0ms	4204×	body	80	valid
52.0ms	645×	body	160	valid