Details

sample147.0ms

Algorithm

intervals

Results

38.0ms	49×	body	1280	valid
32.0ms	303×	body	80	nan
17.0ms	179×	body	80	valid
13.0ms	30×	body	640	valid
7.0ms	7×	body	2560	valid
5.0ms	17×	body	320	valid
1.0ms	2×	body	160	valid

simplify149.0ms

Counts

1 → 1

Iterations

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.8b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.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)
37.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
8.0ms	(/ a (* b 3.0))
22.0ms	(cos (- y (/ (* z t) 3.0)))

series231.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(/ (* z t) 3.0)
131.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
27.0ms	(/ a (* b 3.0))
51.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.6s

Counts

117 → 117

Iterations

Iter	Nodes
done	5000
2	1883
1	715
0	331

prune1.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.5b

localize88.0ms

Local error

Found 4 expressions with local error:

25.2b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
25.3b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
51.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
51.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

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

5.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
6.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
1.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)))

series265.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
70.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
61.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)))

simplify2.0s

Counts

56 → 56

Iterations

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

prune1.0s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.4b

localize98.0ms

Local error

Found 4 expressions with local error:

28.5b	(cos (- (* (/ t 3.0) (/ z 1))))
28.7b	(sin (- (* (/ t 3.0) (/ z 1))))
51.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
51.5b	(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` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 46

Calls

4 calls:

8.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
9.0ms	(sin (- (* (/ 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:

15.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
28.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
56.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.6s

Counts

58 → 58

Iterations

Iter	Nodes
done	5002
4	1410
3	442
2	186
1	95
0	60

prune1.2s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.3b

localize135.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.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	(cos (- (* (/ t 3.0) (/ z 1))))
8.0ms	(sin (- (* (/ 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)))

series163.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
29.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
63.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.6s

Counts

58 → 58

Iterations

Iter	Nodes
done	5002
4	1410
3	442
2	186
1	95
0	60

prune980.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 14.3b

regimes7.1s

Accuracy

57.3% (1.6b remaining)

Error of 15.3b against oracle of 13.7b and baseline of 17.5b

bsearch5.0ms

simplify7.7s

Iterations

Iter	Nodes
done	5001
2464	4999
2463	4997
2462	4995
2461	4993
2460	4991
2459	4989
2458	4987
2457	4985
2456	4983
2455	4981
2454	4979
2453	4977
2452	4975
2451	4973
2450	4971
2449	4969
2448	4967
2447	4965
2446	4963
2445	4961
2444	4959
2443	4957
2442	4955
2441	4953
2440	4951
2439	4949
2438	4947
2437	4945
2436	4943
2435	4941
2434	4939
2433	4937
2432	4935
2431	4933
2430	4931
2429	4929
2428	4927
2427	4925
2426	4923
2425	4921
2424	4919
2423	4917
2422	4915
2421	4913
2420	4911
2419	4909
2418	4907
2417	4905
2416	4903
2415	4901
2414	4899
2413	4897
2412	4895
2411	4893
2410	4891
2409	4889
2408	4887
2407	4885
2406	4883
2405	4881
2404	4879
2403	4877
2402	4875
2401	4873
2400	4871
2399	4869
2398	4867
2397	4865
2396	4863
2395	4861
2394	4859
2393	4857
2392	4855
2391	4853
2390	4851
2389	4849
2388	4847
2387	4845
2386	4843
2385	4841
2384	4839
2383	4837
2382	4835
2381	4833
2380	4831
2379	4829
2378	4827
2377	4825
2376	4823
2375	4821
2374	4819
2373	4817
2372	4815
2371	4813
2370	4811
2369	4809
2368	4807
2367	4805
2366	4803
2365	4801
2364	4799
2363	4797
2362	4795
2361	4793
2360	4791
2359	4789
2358	4787
2357	4785
2356	4783
2355	4781
2354	4779
2353	4777
2352	4775
2351	4773
2350	4771
2349	4769
2348	4767
2347	4765
2346	4763
2345	4761
2344	4759
2343	4757
2342	4755
2341	4753
2340	4751
2339	4749
2338	4747
2337	4745
2336	4743
2335	4741
2334	4739
2333	4737
2332	4735
2331	4733
2330	4731
2329	4729
2328	4727
2327	4725
2326	4723
2325	4721
2324	4719
2323	4717
2322	4715
2321	4713
2320	4711
2319	4709
2318	4707
2317	4705
2316	4703
2315	4701
2314	4699
2313	4697
2312	4695
2311	4693
2310	4691
2309	4689
2308	4687
2307	4685
2306	4683
2305	4681
2304	4679
2303	4677
2302	4675
2301	4673
2300	4671
2299	4669
2298	4667
2297	4665
2296	4663
2295	4661
2294	4659
2293	4657
2292	4655
2291	4653
2290	4651
2289	4649
2288	4647
2287	4645
2286	4643
2285	4641
2284	4639
2283	4637
2282	4635
2281	4633
2280	4631
2279	4629
2278	4627
2277	4625
2276	4623
2275	4621
2274	4619
2273	4617
2272	4615
2271	4613
2270	4611
2269	4609
2268	4607
2267	4605
2266	4603
2265	4601
2264	4599
2263	4597
2262	4595
2261	4593
2260	4591
2259	4589
2258	4587
2257	4585
2256	4583
2255	4581
2254	4579
2253	4577
2252	4575
2251	4573
2250	4571
2249	4569
2248	4567
2247	4565
2246	4563
2245	4561
2244	4559
2243	4557
2242	4555
2241	4553
2240	4551
2239	4549
2238	4547
2237	4545
2236	4543
2235	4541
2234	4539
2233	4537
2232	4535
2231	4533
2230	4531
2229	4529
2228	4527
2227	4525
2226	4523
2225	4521
2224	4519
2223	4517
2222	4515
2221	4513
2220	4511
2219	4509
2218	4507
2217	4505
2216	4503
2215	4501
2214	4499
2213	4497
2212	4495
2211	4493
2210	4491
2209	4489
2208	4487
2207	4485
2206	4483
2205	4481
2204	4479
2203	4477
2202	4475
2201	4473
2200	4471
2199	4469
2198	4467
2197	4465
2196	4463
2195	4461
2194	4459
2193	4457
2192	4455
2191	4453
2190	4451
2189	4449
2188	4447
2187	4445
2186	4443
2185	4441
2184	4439
2183	4437
2182	4435
2181	4433
2180	4431
2179	4429
2178	4427
2177	4425
2176	4423
2175	4421
2174	4419
2173	4417
2172	4415
2171	4413
2170	4411
2169	4409
2168	4407
2167	4405
2166	4403
2165	4401
2164	4399
2163	4397
2162	4395
2161	4393
2160	4391
2159	4389
2158	4387
2157	4385
2156	4383
2155	4381
2154	4379
2153	4377
2152	4375
2151	4373
2150	4371
2149	4369
2148	4367
2147	4365
2146	4363
2145	4361
2144	4359
2143	4357
2142	4355
2141	4353
2140	4351
2139	4349
2138	4347
2137	4345
2136	4343
2135	4341
2134	4339
2133	4337
2132	4335
2131	4333
2130	4331
2129	4329
2128	4327
2127	4325
2126	4323
2125	4321
2124	4319
2123	4317
2122	4315
2121	4313
2120	4311
2119	4309
2118	4307
2117	4305
2116	4303
2115	4301
2114	4299
2113	4297
2112	4295
2111	4293
2110	4291
2109	4289
2108	4287
2107	4285
2106	4283
2105	4281
2104	4279
2103	4277
2102	4275
2101	4273
2100	4271
2099	4269
2098	4267
2097	4265
2096	4263
2095	4261
2094	4259
2093	4257
2092	4255
2091	4253
2090	4251
2089	4249
2088	4247
2087	4245
2086	4243
2085	4241
2084	4239
2083	4237
2082	4235
2081	4233
2080	4231
2079	4229
2078	4227
2077	4225
2076	4223
2075	4221
2074	4219
2073	4217
2072	4215
2071	4213
2070	4211
2069	4209
2068	4207
2067	4205
2066	4203
2065	4201
2064	4199
2063	4197
2062	4195
2061	4193
2060	4191
2059	4189
2058	4187
2057	4185
2056	4183
2055	4181
2054	4179
2053	4177
2052	4175
2051	4173
2050	4171
2049	4169
2048	4167
2047	4165
2046	4163
2045	4161
2044	4159
2043	4157
2042	4155
2041	4153
2040	4151
2039	4149
2038	4147
2037	4145
2036	4143
2035	4141
2034	4139
2033	4137
2032	4135
2031	4133
2030	4131
2029	4129
2028	4127
2027	4125
2026	4123
2025	4121
2024	4119
2023	4117
2022	4115
2021	4113
2020	4111
2019	4109
2018	4107
2017	4105
2016	4103
2015	4101
2014	4099
2013	4097
2012	4095
2011	4093
2010	4091
2009	4089
2008	4087
2007	4085
2006	4083
2005	4081
2004	4079
2003	4077
2002	4075
2001	4073
2000	4071
1999	4069
1998	4067
1997	4065
1996	4063
1995	4061
1994	4059
1993	4057
1992	4055
1991	4053
1990	4051
1989	4049
1988	4047
1987	4045
1986	4043
1985	4041
1984	4039
1983	4037
1982	4035
1981	4033
1980	4031
1979	4029
1978	4027
1977	4025
1976	4023
1975	4021
1974	4019
1973	4017
1972	4015
1971	4013
1970	4011
1969	4009
1968	4007
1967	4005
1966	4003
1965	4001
1964	3999
1963	3997
1962	3995
1961	3993
1960	3991
1959	3989
1958	3987
1957	3985
1956	3983
1955	3981
1954	3979
1953	3977
1952	3975
1951	3973
1950	3971
1949	3969
1948	3967
1947	3965
1946	3963
1945	3961
1944	3959
1943	3957
1942	3955
1941	3953
1940	3951
1939	3949
1938	3947
1937	3945
1936	3943
1935	3941
1934	3939
1933	3937
1932	3935
1931	3933
1930	3931
1929	3929
1928	3927
1927	3925
1926	3923
1925	3921
1924	3919
1923	3917
1922	3915
1921	3913
1920	3911
1919	3909
1918	3907
1917	3905
1916	3903
1915	3901
1914	3899
1913	3897
1912	3895
1911	3893
1910	3891
1909	3889
1908	3887
1907	3885
1906	3883
1905	3881
1904	3879
1903	3877
1902	3875
1901	3873
1900	3871
1899	3869
1898	3867
1897	3865
1896	3863
1895	3861
1894	3859
1893	3857
1892	3855
1891	3853
1890	3851
1889	3849
1888	3847
1887	3845
1886	3843
1885	3841
1884	3839
1883	3837
1882	3835
1881	3833
1880	3831
1879	3829
1878	3827
1877	3825
1876	3823
1875	3821
1874	3819
1873	3817
1872	3815
1871	3813
1870	3811
1869	3809
1868	3807
1867	3805
1866	3803
1865	3801
1864	3799
1863	3797
1862	3795
1861	3793
1860	3791
1859	3789
1858	3787
1857	3785
1856	3783
1855	3781
1854	3779
1853	3777
1852	3775
1851	3773
1850	3771
1849	3769
1848	3767
1847	3765
1846	3763
1845	3761
1844	3759
1843	3757
1842	3755
1841	3753
1840	3751
1839	3749
1838	3747
1837	3745
1836	3743
1835	3741
1834	3739
1833	3737
1832	3735
1831	3733
1830	3731
1829	3729
1828	3727
1827	3725
1826	3723
1825	3721
1824	3719
1823	3717
1822	3715
1821	3713
1820	3711
1819	3709
1818	3707
1817	3705
1816	3703
1815	3701
1814	3699
1813	3697
1812	3695
1811	3693
1810	3691
1809	3689
1808	3687
1807	3685
1806	3683
1805	3681
1804	3679
1803	3677
1802	3675
1801	3673
1800	3671
1799	3669
1798	3667
1797	3665
1796	3663
1795	3661
1794	3659
1793	3657
1792	3655
1791	3653
1790	3651
1789	3649
1788	3647
1787	3645
1786	3643
1785	3641
1784	3639
1783	3637
1782	3635
1781	3633
1780	3631
1779	3629
1778	3627
1777	3625
1776	3623
1775	3621
1774	3619
1773	3617
1772	3615
1771	3613
1770	3611
1769	3609
1768	3607
1767	3605
1766	3603
1765	3601
1764	3599
1763	3597
1762	3595
1761	3593
1760	3591
1759	3589
1758	3587
1757	3585
1756	3583
1755	3581
1754	3579
1753	3577
1752	3575
1751	3573
1750	3571
1749	3569
1748	3567
1747	3565
1746	3563
1745	3561
1744	3559
1743	3557
1742	3555
1741	3553
1740	3551
1739	3549
1738	3547
1737	3545
1736	3543
1735	3541
1734	3539
1733	3537
1732	3535
1731	3533
1730	3531
1729	3529
1728	3527
1727	3525
1726	3523
1725	3521
1724	3519
1723	3517
1722	3515
1721	3513
1720	3511
1719	3509
1718	3507
1717	3505
1716	3503
1715	3501
1714	3499
1713	3497
1712	3495
1711	3493
1710	3491
1709	3489
1708	3487
1707	3485
1706	3483
1705	3481
1704	3479
1703	3477
1702	3475
1701	3473
1700	3471
1699	3469
1698	3467
1697	3465
1696	3463
1695	3461
1694	3459
1693	3457
1692	3455
1691	3453
1690	3451
1689	3449
1688	3447
1687	3445
1686	3443
1685	3441
1684	3439
1683	3437
1682	3435
1681	3433
1680	3431
1679	3429
1678	3427
1677	3425
1676	3423
1675	3421
1674	3419
1673	3417
1672	3415
1671	3413
1670	3411
1669	3409
1668	3407
1667	3405
1666	3403
1665	3401
1664	3399
1663	3397
1662	3395
1661	3393
1660	3391
1659	3389
1658	3387
1657	3385
1656	3383
1655	3381
1654	3379
1653	3377
1652	3375
1651	3373
1650	3371
1649	3369
1648	3367
1647	3365
1646	3363
1645	3361
1644	3359
1643	3357
1642	3355
1641	3353
1640	3351
1639	3349
1638	3347
1637	3345
1636	3343
1635	3341
1634	3339
1633	3337
1632	3335
1631	3333
1630	3331
1629	3329
1628	3327
1627	3325
1626	3323
1625	3321
1624	3319
1623	3317
1622	3315
1621	3313
1620	3311
1619	3309
1618	3307
1617	3305
1616	3303
1615	3301
1614	3299
1613	3297
1612	3295
1611	3293
1610	3291
1609	3289
1608	3287
1607	3285
1606	3283
1605	3281
1604	3279
1603	3277
1602	3275
1601	3273
1600	3271
1599	3269
1598	3267
1597	3265
1596	3263
1595	3261
1594	3259
1593	3257
1592	3255
1591	3253
1590	3251
1589	3249
1588	3247
1587	3245
1586	3243
1585	3241
1584	3239
1583	3237
1582	3235
1581	3233
1580	3231
1579	3229
1578	3227
1577	3225
1576	3223
1575	3221
1574	3219
1573	3217
1572	3215
1571	3213
1570	3211
1569	3209
1568	3207
1567	3205
1566	3203
1565	3201
1564	3199
1563	3197
1562	3195
1561	3193
1560	3191
1559	3189
1558	3187
1557	3185
1556	3183
1555	3181
1554	3179
1553	3177
1552	3175
1551	3173
1550	3171
1549	3169
1548	3167
1547	3165
1546	3163
1545	3161
1544	3159
1543	3157
1542	3155
1541	3153
1540	3151
1539	3149
1538	3147
1537	3145
1536	3143
1535	3141
1534	3139
1533	3137
1532	3135
1531	3133
1530	3131
1529	3129
1528	3127
1527	3125
1526	3123
1525	3121
1524	3119
1523	3117
1522	3115
1521	3113
1520	3111
1519	3109
1518	3107
1517	3105
1516	3103
1515	3101
1514	3099
1513	3097
1512	3095
1511	3093
1510	3091
1509	3089
1508	3087
1507	3085
1506	3083
1505	3081
1504	3079
1503	3077
1502	3075
1501	3073
1500	3071
1499	3069
1498	3067
1497	3065
1496	3063
1495	3061
1494	3059
1493	3057
1492	3055
1491	3053
1490	3051
1489	3049
1488	3047
1487	3045
1486	3043
1485	3041
1484	3039
1483	3037
1482	3035
1481	3033
1480	3031
1479	3029
1478	3027
1477	3025
1476	3023
1475	3021
1474	3019
1473	3017
1472	3015
1471	3013
1470	3011
1469	3009
1468	3007
1467	3005
1466	3003
1465	3001
1464	2999
1463	2997
1462	2995
1461	2993
1460	2991
1459	2989
1458	2987
1457	2985
1456	2983
1455	2981
1454	2979
1453	2977
1452	2975
1451	2973
1450	2971
1449	2969
1448	2967
1447	2965
1446	2963
1445	2961
1444	2959
1443	2957
1442	2955
1441	2953
1440	2951
1439	2949
1438	2947
1437	2945
1436	2943
1435	2941
1434	2939
1433	2937
1432	2935
1431	2933
1430	2931
1429	2929
1428	2927
1427	2925
1426	2923
1425	2921
1424	2919
1423	2917
1422	2915
1421	2913
1420	2911
1419	2909
1418	2907
1417	2905
1416	2903
1415	2901
1414	2899
1413	2897
1412	2895
1411	2893
1410	2891
1409	2889
1408	2887
1407	2885
1406	2883
1405	2881
1404	2879
1403	2877
1402	2875
1401	2873
1400	2871
1399	2869
1398	2867
1397	2865
1396	2863
1395	2861
1394	2859
1393	2857
1392	2855
1391	2853
1390	2851
1389	2849
1388	2847
1387	2845
1386	2843
1385	2841
1384	2839
1383	2837
1382	2835
1381	2833
1380	2831
1379	2829
1378	2827
1377	2825
1376	2823
1375	2821
1374	2819
1373	2817
1372	2815
1371	2813
1370	2811
1369	2809
1368	2807
1367	2805
1366	2803
1365	2801
1364	2799
1363	2797
1362	2795
1361	2793
1360	2791
1359	2789
1358	2787
1357	2785
1356	2783
1355	2781
1354	2779
1353	2777
1352	2775
1351	2773
1350	2771
1349	2769
1348	2767
1347	2765
1346	2763
1345	2761
1344	2759
1343	2757
1342	2755
1341	2753
1340	2751
1339	2749
1338	2747
1337	2745
1336	2743
1335	2741
1334	2739
1333	2737
1332	2735
1331	2733
1330	2731
1329	2729
1328	2727
1327	2725
1326	2723
1325	2721
1324	2719
1323	2717
1322	2715
1321	2713
1320	2711
1319	2709
1318	2707
1317	2705
1316	2703
1315	2701
1314	2699
1313	2697
1312	2695
1311	2693
1310	2691
1309	2689
1308	2687
1307	2685
1306	2683
1305	2681
1304	2679
1303	2677
1302	2675
1301	2673
1300	2671
1299	2669
1298	2667
1297	2665
1296	2663
1295	2661
1294	2659
1293	2657
1292	2655
1291	2653
1290	2651
1289	2649
1288	2647
1287	2645
1286	2643
1285	2641
1284	2639
1283	2637
1282	2635
1281	2633
1280	2631
1279	2629
1278	2627
1277	2625
1276	2623
1275	2621
1274	2619
1273	2617
1272	2615
1271	2613
1270	2611
1269	2609
1268	2607
1267	2605
1266	2603
1265	2601
1264	2599
1263	2597
1262	2595
1261	2593
1260	2591
1259	2589
1258	2587
1257	2585
1256	2583
1255	2581
1254	2579
1253	2577
1252	2575
1251	2573
1250	2571
1249	2569
1248	2567
1247	2565
1246	2563
1245	2561
1244	2559
1243	2557
1242	2555
1241	2553
1240	2551
1239	2549
1238	2547
1237	2545
1236	2543
1235	2541
1234	2539
1233	2537
1232	2535
1231	2533
1230	2531
1229	2529
1228	2527
1227	2525
1226	2523
1225	2521
1224	2519
1223	2517
1222	2515
1221	2513
1220	2511
1219	2509
1218	2507
1217	2505
1216	2503
1215	2501
1214	2499
1213	2497
1212	2495
1211	2493
1210	2491
1209	2489
1208	2487
1207	2485
1206	2483
1205	2481
1204	2479
1203	2477
1202	2475
1201	2473
1200	2471
1199	2469
1198	2467
1197	2465
1196	2463
1195	2461
1194	2459
1193	2457
1192	2455
1191	2453
1190	2451
1189	2449
1188	2447
1187	2445
1186	2443
1185	2441
1184	2439
1183	2437
1182	2435
1181	2433
1180	2431
1179	2429
1178	2427
1177	2425
1176	2423
1175	2421
1174	2419
1173	2417
1172	2415
1171	2413
1170	2411
1169	2409
1168	2407
1167	2405
1166	2403
1165	2401
1164	2399
1163	2397
1162	2395
1161	2393
1160	2391
1159	2389
1158	2387
1157	2385
1156	2383
1155	2381
1154	2379
1153	2377
1152	2375
1151	2373
1150	2371
1149	2369
1148	2367
1147	2365
1146	2363
1145	2361
1144	2359
1143	2357
1142	2355
1141	2353
1140	2351
1139	2349
1138	2347
1137	2345
1136	2343
1135	2341
1134	2339
1133	2337
1132	2335
1131	2333
1130	2331
1129	2329
1128	2327
1127	2325
1126	2323
1125	2321
1124	2319
1123	2317
1122	2315
1121	2313
1120	2311
1119	2309
1118	2307
1117	2305
1116	2303
1115	2301
1114	2299
1113	2297
1112	2295
1111	2293
1110	2291
1109	2289
1108	2287
1107	2285
1106	2283
1105	2281
1104	2279
1103	2277
1102	2275
1101	2273
1100	2271
1099	2269
1098	2267
1097	2265
1096	2263
1095	2261
1094	2259
1093	2257
1092	2255
1091	2253
1090	2251
1089	2249
1088	2247
1087	2245
1086	2243
1085	2241
1084	2239
1083	2237
1082	2235
1081	2233
1080	2231
1079	2229
1078	2227
1077	2225
1076	2223
1075	2221
1074	2219
1073	2217
1072	2215
1071	2213
1070	2211
1069	2209
1068	2207
1067	2205
1066	2203
1065	2201
1064	2199
1063	2197
1062	2195
1061	2193
1060	2191
1059	2189
1058	2187
1057	2185
1056	2183
1055	2181
1054	2179
1053	2177
1052	2175
1051	2173
1050	2171
1049	2169
1048	2167
1047	2165
1046	2163
1045	2161
1044	2159
1043	2157
1042	2155
1041	2153
1040	2151
1039	2149
1038	2147
1037	2145
1036	2143
1035	2141
1034	2139
1033	2137
1032	2135
1031	2133
1030	2131
1029	2129
1028	2127
1027	2125
1026	2123
1025	2121
1024	2119
1023	2117
1022	2115
1021	2113
1020	2111
1019	2109
1018	2107
1017	2105
1016	2103
1015	2101
1014	2099
1013	2097
1012	2095
1011	2093
1010	2091
1009	2089
1008	2087
1007	2085
1006	2083
1005	2081
1004	2079
1003	2077
1002	2075
1001	2073
1000	2071
999	2069
998	2067
997	2065
996	2063
995	2061
994	2059
993	2057
992	2055
991	2053
990	2051
989	2049
988	2047
987	2045
986	2043
985	2041
984	2039
983	2037
982	2035
981	2033
980	2031
979	2029
978	2027
977	2025
976	2023
975	2021
974	2019
973	2017
972	2015
971	2013
970	2011
969	2009
968	2007
967	2005
966	2003
965	2001
964	1999
963	1997
962	1995
961	1993
960	1991
959	1989
958	1987
957	1985
956	1983
955	1981
954	1979
953	1977
952	1975
951	1973
950	1971
949	1969
948	1967
947	1965
946	1963
945	1961
944	1959
943	1957
942	1955
941	1953
940	1951
939	1949
938	1947
937	1945
936	1943
935	1941
934	1939
933	1937
932	1935
931	1933
930	1931
929	1929
928	1927
927	1925
926	1923
925	1921
924	1919
923	1917
922	1915
921	1913
920	1911
919	1909
918	1907
917	1905
916	1903
915	1901
914	1899
913	1897
912	1895
911	1893
910	1891
909	1889
908	1887
907	1885
906	1883
905	1881
904	1879
903	1877
902	1875
901	1873
900	1871
899	1869
898	1867
897	1865
896	1863
895	1861
894	1859
893	1857
892	1855
891	1853
890	1851
889	1849
888	1847
887	1845
886	1843
885	1841
884	1839
883	1837
882	1835
881	1833
880	1831
879	1829
878	1827
877	1825
876	1823
875	1821
874	1819
873	1817
872	1815
871	1813
870	1811
869	1809
868	1807
867	1805
866	1803
865	1801
864	1799
863	1797
862	1795
861	1793
860	1791
859	1789
858	1787
857	1785
856	1783
855	1781
854	1779
853	1777
852	1775
851	1773
850	1771
849	1769
848	1767
847	1765
846	1763
845	1761
844	1759
843	1757
842	1755
841	1753
840	1751
839	1749
838	1747
837	1745
836	1743
835	1741
834	1739
833	1737
832	1735
831	1733
830	1731
829	1729
828	1727
827	1725
826	1723
825	1721
824	1719
823	1717
822	1715
821	1713
820	1711
819	1709
818	1707
817	1705
816	1703
815	1701
814	1699
813	1697
812	1695
811	1693
810	1691
809	1689
808	1687
807	1685
806	1683
805	1681
804	1679
803	1677
802	1675
801	1673
800	1671
799	1669
798	1667
797	1665
796	1663
795	1661
794	1659
793	1657
792	1655
791	1653
790	1651
789	1649
788	1647
787	1645
786	1643
785	1641
784	1639
783	1637
782	1635
781	1633
780	1631
779	1629
778	1627
777	1625
776	1623
775	1621
774	1619
773	1617
772	1615
771	1613
770	1611
769	1609
768	1607
767	1605
766	1603
765	1601
764	1599
763	1597
762	1595
761	1593
760	1591
759	1589
758	1587
757	1585
756	1583
755	1581
754	1579
753	1577
752	1575
751	1573
750	1571
749	1569
748	1567
747	1565
746	1563
745	1561
744	1559
743	1557
742	1555
741	1553
740	1551
739	1549
738	1547
737	1545
736	1543
735	1541
734	1539
733	1537
732	1535
731	1533
730	1531
729	1529
728	1527
727	1525
726	1523
725	1521
724	1519
723	1517
722	1515
721	1513
720	1511
719	1509
718	1507
717	1505
716	1503
715	1501
714	1499
713	1497
712	1495
711	1493
710	1491
709	1489
708	1487
707	1485
706	1483
705	1481
704	1479
703	1477
702	1475
701	1473
700	1471
699	1469
698	1467
697	1465
696	1463
695	1461
694	1459
693	1457
692	1455
691	1453
690	1451
689	1449
688	1447
687	1445
686	1443
685	1441
684	1439
683	1437
682	1435
681	1433
680	1431
679	1429
678	1427
677	1425
676	1423
675	1421
674	1419
673	1417
672	1415
671	1413
670	1411
669	1409
668	1407
667	1405
666	1403
665	1401
664	1399
663	1397
662	1395
661	1393
660	1391
659	1389
658	1387
657	1385
656	1383
655	1381
654	1379
653	1377
652	1375
651	1373
650	1371
649	1369
648	1367
647	1365
646	1363
645	1361
644	1359
643	1357
642	1355
641	1353
640	1351
639	1349
638	1347
637	1345
636	1343
635	1341
634	1339
633	1337
632	1335
631	1333
630	1331
629	1329
628	1327
627	1325
626	1323
625	1321
624	1319
623	1317
622	1315
621	1313
620	1311
619	1309
618	1307
617	1305
616	1303
615	1301
614	1299
613	1297
612	1295
611	1293
610	1291
609	1289
608	1287
607	1285
606	1283
605	1281
604	1279
603	1277
602	1275
601	1273
600	1271
599	1269
598	1267
597	1265
596	1263
595	1261
594	1259
593	1257
592	1255
591	1253
590	1251
589	1249
588	1247
587	1245
586	1243
585	1241
584	1239
583	1237
582	1235
581	1233
580	1231
579	1229
578	1227
577	1225
576	1223
575	1221
574	1219
573	1217
572	1215
571	1213
570	1211
569	1209
568	1207
567	1205
566	1203
565	1201
564	1199
563	1197
562	1195
561	1193
560	1191
559	1189
558	1187
557	1185
556	1183
555	1181
554	1179
553	1177
552	1175
551	1173
550	1171
549	1169
548	1167
547	1165
546	1163
545	1161
544	1159
543	1157
542	1155
541	1153
540	1151
539	1149
538	1147
537	1145
536	1143
535	1141
534	1139
533	1137
532	1135
531	1133
530	1131
529	1129
528	1127
527	1125
526	1123
525	1121
524	1119
523	1117
522	1115
521	1113
520	1111
519	1109
518	1107
517	1105
516	1103
515	1101
514	1099
513	1097
512	1095
511	1093
510	1091
509	1089
508	1087
507	1085
506	1083
505	1081
504	1079
503	1077
502	1075
501	1073
500	1071
499	1069
498	1067
497	1065
496	1063
495	1061
494	1059
493	1057
492	1055
491	1053
490	1051
489	1049
488	1047
487	1045
486	1043
485	1041
484	1039
483	1037
482	1035
481	1033
480	1031
479	1029
478	1027
477	1025
476	1023
475	1021
474	1019
473	1017
472	1015
471	1013
470	1011
469	1009
468	1007
467	1005
466	1003
465	1001
464	999
463	997
462	995
461	993
460	991
459	989
458	987
457	985
456	983
455	981
454	979
453	977
452	975
451	973
450	971
449	969
448	967
447	965
446	963
445	961
444	959
443	957
442	955
441	953
440	951
439	949
438	947
437	945
436	943
435	941
434	939
433	937
432	935
431	933
430	931
429	929
428	927
427	925
426	923
425	921
424	919
423	917
422	915
421	913
420	911
419	909
418	907
417	905
416	903
415	901
414	899
413	897
412	895
411	893
410	891
409	889
408	887
407	885
406	883
405	881
404	879
403	877
402	875
401	873
400	871
399	869
398	867
397	865
396	863
395	861
394	859
393	857
392	855
391	853
390	851
389	849
388	847
387	845
386	843
385	841
384	839
383	837
382	835
381	833
380	831
379	829
378	827
377	825
376	823
375	821
374	819
373	817
372	815
371	813
370	811
369	809
368	807
367	805
366	803
365	801
364	799
363	797
362	795
361	793
360	791
359	789
358	787
357	785
356	783
355	781
354	779
353	777
352	775
351	773
350	771
349	769
348	767
347	765
346	763
345	761
344	759
343	757
342	755
341	753
340	751
339	749
338	747
337	745
336	743
335	741
334	739
333	737
332	735
331	733
330	731
329	729
328	727
327	725
326	723
325	721
324	719
323	717
322	715
321	713
320	711
319	709
318	707
317	705
316	703
315	701
314	699
313	697
312	695
311	693
310	691
309	689
308	687
307	685
306	683
305	681
304	679
303	677
302	675
301	673
300	671
299	669
298	667
297	665
296	663
295	661
294	659
293	657
292	655
291	653
290	651
289	649
288	647
287	645
286	643
285	641
284	639
283	637
282	635
281	633
280	631
279	629
278	627
277	625
276	623
275	621
274	619
273	617
272	615
271	613
270	611
269	609
268	607
267	605
266	603
265	601
264	599
263	597
262	595
261	593
260	591
259	589
258	587
257	585
256	583
255	581
254	579
253	577
252	575
251	573
250	571
249	569
248	567
247	565
246	563
245	561
244	559
243	557
242	555
241	553
240	551
239	549
238	547
237	545
236	543
235	541
234	539
233	537
232	535
231	533
230	531
229	529
228	527
227	525
226	523
225	521
224	519
223	517
222	515
221	513
220	511
219	509
218	507
217	505
216	503
215	501
214	499
213	497
212	495
211	493
210	491
209	489
208	487
207	485
206	483
205	481
204	479
203	477
202	475
201	473
200	471
199	469
198	467
197	465
196	463
195	461
194	459
193	457
192	455
191	453
190	451
189	449
188	447
187	445
186	443
185	441
184	439
183	437
182	435
181	433
180	431
179	429
178	427
177	425
176	423
175	421
174	419
173	417
172	415
171	413
170	411
169	409
168	407
167	405
166	403
165	401
164	399
163	397
162	395
161	393
160	391
159	389
158	387
157	385
156	383
155	381
154	379
153	377
152	375
151	373
150	371
149	369
148	367
147	365
146	363
145	361
144	359
143	357
142	355
141	353
140	351
139	349
138	347
137	345
136	343
135	341
134	339
133	337
132	335
131	333
130	331
129	329
128	327
127	325
126	323
125	321
124	319
123	317
122	315
121	313
120	311
119	309
118	307
117	305
116	303
115	301
114	299
113	297
112	295
111	293
110	291
109	289
108	287
107	285
106	283
105	281
104	279
103	277
102	275
101	273
100	271
99	269
98	267
97	265
96	263
95	261
94	259
93	257
92	255
91	253
90	251
89	249
88	247
87	245
86	243
85	241
84	239
83	237
82	235
81	233
80	231
79	229
78	227
77	225
76	223
75	221
74	219
73	217
72	215
71	213
70	211
69	209
68	207
67	205
66	203
65	201
64	199
63	197
62	195
61	193
60	191
59	189
58	187
57	185
56	183
55	181
54	179
53	177
52	175
51	173
50	171
49	169
48	167
47	165
46	163
45	161
44	159
43	157
42	155
41	153
40	151
39	149
38	147
37	145
36	143
35	141
34	139
33	137
32	135
31	133
30	131
29	129
28	127
27	125
26	123
25	121
24	119
23	117
22	115
21	113
20	111
19	109
18	107
17	105
16	103
15	101
14	99
13	97
12	95
11	93
10	91
9	89
8	87
7	85
6	83
5	81
4	79
3	77
2	75
1	71
0	52

end0.0ms

sample8.0s

Algorithm

intervals

Results

2.8s	9051×	body	80	nan
1.5s	1569×	body	1280	valid
1.0s	5637×	body	80	valid
993.0ms	926×	body	640	valid
545.0ms	361×	body	2560	valid
226.0ms	434×	body	320	valid
58.0ms	205×	body	160	valid