Details

sample806.0ms

Algorithm

intervals

Results

597.0ms	19×	body	640	nan
38.0ms	361×	body	80	nan
17.0ms	161×	body	80	valid
15.0ms	32×	body	1280	valid
11.0ms	29×	body	640	valid
7.0ms	25×	body	320	valid
7.0ms	15×	body	1280	nan
3.0ms	11×	body	320	nan
2.0ms	9×	body	160	valid
1.0ms	7×	body	160	nan

simplify3.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	3799
6	1449
5	797
4	423
3	199
2	93
1	39
0	18

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 47.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.4b	(* (sqrt 2.0) t)
12.4b	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
23.5b	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

57.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
12.0ms	(* (sqrt 2.0) t)
31.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
45.0ms	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

series2.6s

Counts

4 → 12

Calls

4 calls:

597.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
54.0ms	(* (sqrt 2.0) t)
336.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
1.6s	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

simplify2.2s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	2619
1	455
0	167

prune747.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 4.5b

localize81.0ms

Local error

Found 4 expressions with local error:

4.4b	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
6.3b	(/ (* l l) x)
11.6b	(/ x (* t t))
29.4b	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

rewrite146.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
10×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`times-frac` `add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `associate-/r` `flip3-+` `sqrt-div` `div-exp` `frac-add` `associate-r/` `flip-+` `associate-/l*`
3×	`sqrt-prod`
2×	`associate-+l+` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`
1×	`distribute-rgt-in` `+-commutative` `rem-sqrt-square` `sum-log` `distribute-lft-in` `sqrt-pow1` `pow1/2`

Counts

4 → 74

Calls

4 calls:

39.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
16.0ms	(/ (* l l) x)
12.0ms	(/ x (* t t))
77.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

series576.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
22.0ms	(/ (* l l) x)
27.0ms	(/ x (* t t))
414.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

simplify2.1s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	3089
1	509
0	168

prune652.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.1b

localize63.0ms

Local error

Found 4 expressions with local error:

0.8b	(+ (* t t) (/ l (/ x l)))
4.4b	(+ (* 2.0 (+ (* t t) (/ l (/ x l)))) (/ 4.0 (/ x (* t t))))
11.6b	(/ x (* t t))
29.4b	(sqrt (+ (* 2.0 (+ (* t t) (/ l (/ x l)))) (/ 4.0 (/ x (* t t)))))

rewrite193.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt` `add-log-exp`
7×	`*-un-lft-identity` `add-cube-cbrt`
5×	`pow1` `flip3-+` `flip-+`
4×	`sqrt-div` `frac-add` `associate-*r/`
3×	`times-frac` `sqrt-prod` `associate-/l*`
2×	`cbrt-undiv` `+-commutative` `associate-+l+` `sum-log` `div-exp`
1×	`distribute-rgt-in` `rem-sqrt-square` `clear-num` `associate-/r*` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `prod-exp` `cbrt-unprod` `div-inv`

Counts

4 → 64

Calls

4 calls:

34.0ms	(+ (* t t) (/ l (/ x l)))
47.0ms	(+ (* 2.0 (+ (* t t) (/ l (/ x l)))) (/ 4.0 (/ x (* t t))))
6.0ms	(/ x (* t t))
103.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ l (/ x l)))) (/ 4.0 (/ x (* t t)))))

series550.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ (* t t) (/ l (/ x l)))
110.0ms	(+ (* 2.0 (+ (* t t) (/ l (/ x l)))) (/ 4.0 (/ x (* t t))))
35.0ms	(/ x (* t t))
362.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ l (/ x l)))) (/ 4.0 (/ x (* t t)))))

simplify1.5s

Counts

76 → 76

Iterations

Iter	Nodes
done	5000
2	2090
1	432
0	150

prune643.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.1b

localize63.0ms

Local error

Found 4 expressions with local error:

11.6b	(/ x (* t t))
29.4b	(sqrt (+ (* t t) (/ l (/ x l))))
29.4b	(sqrt (+ (* t t) (/ l (/ x l))))
29.4b	(sqrt (+ (* 2.0 (* (sqrt (+ (* t t) (/ l (/ x l)))) (sqrt (+ (* t t) (/ l (/ x l)))))) (/ 4.0 (/ x (* t t)))))

rewrite466.0ms

Algorithm

rewrite-expression-head

Rules

26×	`sqrt-div`
12×	`add-sqr-sqrt`
10×	`associate-*r/`
9×	`*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `sqrt-prod` `flip-+`
8×	`frac-add`
7×	`pow1`
4×	`frac-times` `add-log-exp`
3×	`rem-sqrt-square` `sqrt-pow1` `times-frac` `pow1/2` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-*l/`
1×	`clear-num` `associate-/r*` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`

Counts

4 → 74

Calls

4 calls:

13.0ms	(/ x (* t t))
63.0ms	(sqrt (+ (* t t) (/ l (/ x l))))
61.0ms	(sqrt (+ (* t t) (/ l (/ x l))))
324.0ms	(sqrt (+ (* 2.0 (* (sqrt (+ (* t t) (/ l (/ x l)))) (sqrt (+ (* t t) (/ l (/ x l)))))) (/ 4.0 (/ x (* t t)))))

series640.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ x (* t t))
112.0ms	(sqrt (+ (* t t) (/ l (/ x l))))
120.0ms	(sqrt (+ (* t t) (/ l (/ x l))))
384.0ms	(sqrt (+ (* 2.0 (* (sqrt (+ (* t t) (/ l (/ x l)))) (sqrt (+ (* t t) (/ l (/ x l)))))) (/ 4.0 (/ x (* t t)))))

simplify1.6s

Counts

86 → 86

Iterations

Iter	Nodes
done	5000
2	2028
1	500
0	191

prune684.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 2.1b

regimes932.0ms

Accuracy

76.1% (5.6b remaining)

Error of 9.5b against oracle of 3.9b and baseline of 27.4b

bsearch821.0ms

Steps

Iters	Range		Point
3	4.795706971231547e+28	6.762164674514803e+28	6.639261068059599e+28
8	-1.9616322867398205e-249	-1.1520314466179997e-253	-9.101947597346682e-250
7	-1.9921920162605386e-158	-3.502438094701819e-160	-4.349527698794627e-160
8	-8.60803451855574e+73	-7.763139963578103e+69	-7.47735574574376e+71

simplify11.0s

Iterations

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

end0.0ms

sample6.2s

Algorithm

intervals

Results

1.7s	10014×	body	80	nan
845.0ms	5068×	body	80	valid
842.0ms	1055×	body	640	valid
591.0ms	334×	body	320	nan
540.0ms	832×	body	1280	valid
314.0ms	583×	body	1280	nan
260.0ms	620×	body	640	nan
243.0ms	666×	body	320	valid
80.0ms	379×	body	160	valid
63.0ms	185×	body	160	nan