Details

sample210.0ms

Algorithm

intervals

Results

55.0ms	28×	body	640	valid
35.0ms	317×	body	80	nan
33.0ms	50×	body	1280	valid
23.0ms	171×	body	80	valid
19.0ms	18×	body	2560	valid
4.0ms	12×	body	320	valid
3.0ms	11×	body	160	valid

simplify86.0ms

Counts

1 → 1

Iterations

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.9b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.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` `insert-posit16` `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 → 105

Calls

4 calls:

10.0ms	(/ (* z t) 3.0)
8.0ms	(/ a (* b 3.0))
32.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
32.0ms	(cos (- y (/ (* z t) 3.0)))

series211.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (* z t) 3.0)
26.0ms	(/ a (* b 3.0))
116.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
46.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.4s

Counts

117 → 117

Iterations

Iter	Nodes
done	5000
2	1886
1	715
0	331

prune1.1s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.0b

localize103.0ms

Local error

Found 4 expressions with local error:

26.1b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
26.3b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
53.6b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.6b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite10.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` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`cos-sum` `sin-sum`

Counts

4 → 44

Calls

4 calls:

4.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
4.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series252.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
57.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
63.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
60.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.5s

Counts

56 → 56

Iterations

Iter	Nodes
done	5000
4	1288
3	431
2	202
1	109
0	67

prune1.1s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 14.8b

localize118.0ms

Local error

Found 4 expressions with local error:

30.0b	(sin (- (* (/ t 3.0) (/ z 1))))
30.0b	(cos (- (* (/ t 3.0) (/ z 1))))
53.6b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.6b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite25.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` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 46

Calls

4 calls:

11.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
12.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series156.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
21.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
53.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
49.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.5s

Counts

58 → 58

Iterations

Iter	Nodes
done	5000
4	1389
3	441
2	186
1	95
0	60

prune1.2s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 14.7b

localize130.0ms

Local error

Found 4 expressions with local error:

30.0b	(cos (- (* (/ t 3.0) (/ z 1))))
30.0b	(cos (- (* (/ t 3.0) (/ z 1))))
53.6b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.6b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite19.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` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `cos-diff` `cos-neg` `fma-udef`

Counts

4 → 46

Calls

4 calls:

7.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
10.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series148.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
16.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
48.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
69.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.5s

Counts

58 → 58

Iterations

Iter	Nodes
done	5001
4	1101
3	305
2	140
1	70
0	44

prune941.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 14.7b

regimes7.5s

Accuracy

54% (2.1b remaining)

Error of 16.1b against oracle of 14.0b and baseline of 18.6b

bsearch5.0ms

simplify6.4s

Iterations

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

end0.0ms

sample7.4s

Algorithm

intervals

Results

1.9s	1591×	body	1280	valid
1.7s	9116×	body	80	nan
1.4s	5681×	body	80	valid
621.0ms	946×	body	640	valid
448.0ms	381×	body	2560	valid
331.0ms	405×	body	320	valid
95.0ms	193×	body	160	valid