Details

sample237.0ms

Algorithm

intervals

Results

73.0ms	360×	body	80	nan
38.0ms	56×	body	1280	valid
22.0ms	178×	body	80	valid
18.0ms	17×	body	2560	valid
8.0ms	18×	body	640	valid
4.0ms	12×	body	320	valid
2.0ms	8×	body	160	valid

simplify80.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	97
6	97
5	95
4	89
3	75
2	53
1	33
0	18

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.7b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.2b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
23.8b	(cos (- y (/ (* z t) 3.0)))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cos-sum`
22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
21×	`prod-diff`
19×	`add-cbrt-cube` `add-exp-log`
15×	`times-frac`
9×	`pow1`
5×	`prod-exp` `cbrt-unprod` `div-inv`
4×	`expm1-log1p-u` `cbrt-undiv` `associate-/r` `div-exp` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`clear-num` `frac-2neg`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 101

Calls

4 calls:

12.0ms	(/ (* z t) 3.0)
6.0ms	(/ a (* b 3.0))
33.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
20.0ms	(cos (- y (/ (* z t) 3.0)))

series263.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ (* z t) 3.0)
35.0ms	(/ a (* b 3.0))
148.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
48.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.7s

Counts

113 → 113

Iterations

Iter	Nodes
done	5001
2	1881
1	710
0	327

prune1.3s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.6b

localize62.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
27.3b	(sin (/ (* z t) 3.0))
27.5b	(cos (/ (* z t) 3.0))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
9×	`pow1`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `associate-r` `pow-prod-down` `associate-r/` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`distribute-rgt-in` `clear-num` `associate-/r` `frac-2neg` `distribute-lft-in` `flip3-+` `associate-l` `frac-add` `cos-mult` `-commutative` `flip-+` `div-inv` `sin-mult`

Counts

4 → 66

Calls

4 calls:

11.0ms	(/ a (* b 3.0))
40.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
3.0ms	(sin (/ (* z t) 3.0))
3.0ms	(cos (/ (* z t) 3.0))

series420.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(/ a (* b 3.0))
349.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
19.0ms	(sin (/ (* z t) 3.0))
18.0ms	(cos (/ (* z t) 3.0))

simplify2.1s

Counts

78 → 78

Iterations

Iter	Nodes
done	5001
2	1680
1	462
0	170

prune1000.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 13.6b

localize59.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.3b	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
27.3b	(sin (/ (* z t) 3.0))
27.5b	(cos (/ (* z t) 3.0))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
9×	`pow1`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `times-frac` `associate-r` `pow-prod-down` `associate-r/`
2×	`cbrt-undiv` `div-exp`
1×	`distribute-rgt-in` `clear-num` `frac-2neg` `distribute-lft-in` `flip3-+` `associate-l` `frac-add` `cos-mult` `-commutative` `flip-+` `div-inv` `sin-mult` `associate-/l`

Counts

4 → 66

Calls

4 calls:

7.0ms	(/ (* z t) 3.0)
38.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
3.0ms	(sin (/ (* z t) 3.0))
9.0ms	(cos (/ (* z t) 3.0))

series379.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (* z t) 3.0)
312.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
28.0ms	(sin (/ (* z t) 3.0))
14.0ms	(cos (/ (* z t) 3.0))

simplify1.9s

Counts

78 → 78

Iterations

Iter	Nodes
done	5009
2	1828
1	468
0	166

prune1.0s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 13.6b

localize121.0ms

Local error

Found 4 expressions with local error:

27.3b	(sin (/ (* z t) 3.0))
27.3b	(sin (/ (* z t) 3.0))
27.3b	(sin (/ (* z t) 3.0))
27.5b	(cos (/ (* z t) 3.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `log1p-expm1-u` `add-log-exp`

Counts

4 → 36

Calls

4 calls:

6.0ms	(sin (/ (* z t) 3.0))
5.0ms	(sin (/ (* z t) 3.0))
5.0ms	(sin (/ (* z t) 3.0))
5.0ms	(cos (/ (* z t) 3.0))

series121.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(sin (/ (* z t) 3.0))
34.0ms	(sin (/ (* z t) 3.0))
37.0ms	(sin (/ (* z t) 3.0))
26.0ms	(cos (/ (* z t) 3.0))

simplify2.8s

Counts

48 → 48

Iterations

Iter	Nodes
done	5004
9	2464
8	813
7	339
6	184
5	118
4	80
3	63
2	51
1	40
0	31

prune625.0ms

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 13.6b

regimes6.3s

Accuracy

30.6% (3.9b remaining)

Error of 18.4b against oracle of 14.5b and baseline of 20.2b

bsearch324.0ms

Steps

Iters	Range		Point
6	5.634629578742766e-21	4.015166101451561e-20	1.1505339337432292e-20
6	-2643088734.669235	-514313515.2214791	-519168038.2262618

simplify11.7s

Iterations

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

end0.0ms

sample8.6s

Algorithm

intervals

Results

2.0s	1552×	body	1280	valid
1.6s	9043×	body	80	nan
1.2s	5611×	body	80	valid
818.0ms	466×	body	320	valid
600.0ms	866×	body	640	valid
539.0ms	400×	body	2560	valid
57.0ms	201×	body	160	valid