Details

sample365.0ms

Algorithm

intervals

Results

80.0ms	316×	body	80	nan
78.0ms	174×	body	80	valid
76.0ms	57×	body	1280	valid
46.0ms	34×	body	640	valid
21.0ms	11×	body	2560	valid
8.0ms	12×	body	320	valid
3.0ms	7×	body	160	valid

simplify129.0ms

Counts

1 → 1

Iterations

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.9b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite72.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:

7.0ms	(/ a (* b 3.0))
9.0ms	(/ (* z t) 3.0)
25.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
29.0ms	(cos (- y (/ (* z t) 3.0)))

series269.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ a (* b 3.0))
41.0ms	(/ (* z t) 3.0)
130.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
73.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.4s

Counts

117 → 117

Iterations

Iter	Nodes
done	5000
2	1864
1	713
0	331

prune1.2s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 16.7b

localize103.0ms

Local error

Found 4 expressions with local error:

23.3b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
23.6b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
54.1b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
54.1b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite6.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:

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

series182.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
48.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
46.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
43.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.3s

Counts

56 → 56

Iterations

Iter	Nodes
done	5000
4	1369
3	432
2	202
1	109
0	67

prune1.1s

Pruning

40 alts after pruning (40 fresh and 0 done)

Merged error: 16.6b

localize102.0ms

Local error

Found 4 expressions with local error:

28.0b	(sin (- (* (/ t 3.0) (/ z 1))))
28.5b	(cos (- (* (/ t 3.0) (/ z 1))))
54.1b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
54.1b	(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)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series155.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
16.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
45.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
68.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.6s

Counts

58 → 58

Iterations

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

prune1.4s

Pruning

43 alts after pruning (42 fresh and 1 done)

Merged error: 16.6b

localize137.0ms

Local error

Found 4 expressions with local error:

28.5b	(cos (- (* (/ t 3.0) (/ z 1))))
28.7b	(sin (- (* 0.3333333333333333 (* t z))))
54.1b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
54.1b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite32.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:

10.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
20.0ms	(sin (- (* 0.3333333333333333 (* t z))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series179.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
32.0ms	(sin (- (* 0.3333333333333333 (* t z))))
66.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
63.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify5.8s

Counts

58 → 58

Iterations

Iter	Nodes
done	5001
5	4687
4	1297
3	440
2	184
1	93
0	61

prune1.5s

Pruning

43 alts after pruning (42 fresh and 1 done)

Merged error: 16.6b

regimes10.4s

Accuracy

40.8% (2.2b remaining)

Error of 16.5b against oracle of 14.3b and baseline of 18.0b

bsearch5.0ms

simplify7.8s

Iterations

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

end0.0ms

sample11.2s

Algorithm

intervals

Results

3.6s	9221×	body	80	nan
2.7s	1574×	body	1280	valid
1.7s	5584×	body	80	valid
960.0ms	970×	body	640	valid
780.0ms	395×	body	2560	valid
345.0ms	421×	body	320	valid
129.0ms	197×	body	160	valid