Details

sample186.0ms

Algorithm

intervals

Results

65.0ms	294×	body	80	nan
38.0ms	61×	body	1280	valid
19.0ms	166×	body	80	valid
14.0ms	29×	body	640	valid
10.0ms	11×	body	2560	valid
3.0ms	9×	body	320	valid
2.0ms	9×	body	160	valid

simplify104.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.3b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ a (* b 3.0))
0.2b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.4b	(/ (* z t) 3.0)
28.2b	(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:

8.0ms	(/ a (* b 3.0))
23.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
13.0ms	(/ (* z t) 3.0)
37.0ms	(cos (- y (/ (* z t) 3.0)))

series297.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(/ a (* b 3.0))
174.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
25.0ms	(/ (* z t) 3.0)
53.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.7s

Counts

117 → 117

Iterations

Iter	Nodes
done	5003
2	1862
1	713
0	331

prune1.2s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 14.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (* z t) 3.0)
0.4b	(/ (* z t) 3.0)
32.9b	(sin (/ (* z t) 3.0))
33.3b	(cos (/ (* z t) 3.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-/r*` `times-frac`
4×	`expm1-log1p-u` `pow1` `cbrt-undiv` `div-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 68

Calls

4 calls:

11.0ms	(/ (* z t) 3.0)
9.0ms	(/ (* z t) 3.0)
3.0ms	(sin (/ (* z t) 3.0))
3.0ms	(cos (/ (* z t) 3.0))

series96.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (* z t) 3.0)
24.0ms	(/ (* z t) 3.0)
27.0ms	(sin (/ (* z t) 3.0))
19.0ms	(cos (/ (* z t) 3.0))

simplify1.8s

Counts

80 → 80

Iterations

Iter	Nodes
done	5209
3	2396
2	515
1	154
0	78

prune1.1s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 13.9b

localize83.0ms

Local error

Found 4 expressions with local error:

32.9b	(sin (/ (* z t) 3.0))
32.9b	(sin (/ (* z t) 3.0))
32.9b	(sin (/ (* z t) 3.0))
33.3b	(cos (/ (* z t) 3.0))

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` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 40

Calls

4 calls:

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

series92.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(sin (/ (* z t) 3.0))
19.0ms	(sin (/ (* z t) 3.0))
20.0ms	(sin (/ (* z t) 3.0))
25.0ms	(cos (/ (* z t) 3.0))

simplify2.8s

Counts

52 → 52

Iterations

Iter	Nodes
done	5002
9	2603
8	865
7	370
6	203
5	113
4	81
3	64
2	53
1	42
0	33

prune941.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 13.9b

localize106.0ms

Local error

Found 4 expressions with local error:

32.9b	(sin (/ (* z t) 3.0))
32.9b	(sin (/ (* z t) 3.0))
32.9b	(sin (/ (* z t) 3.0))
33.3b	(cos (/ (* z t) 3.0))

rewrite31.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`

Counts

4 → 40

Calls

4 calls:

6.0ms	(sin (/ (* z t) 3.0))
6.0ms	(sin (/ (* z t) 3.0))
7.0ms	(sin (/ (* z t) 3.0))
12.0ms	(cos (/ (* z t) 3.0))

series104.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(sin (/ (* z t) 3.0))
35.0ms	(sin (/ (* z t) 3.0))
19.0ms	(sin (/ (* z t) 3.0))
16.0ms	(cos (/ (* z t) 3.0))

simplify2.7s

Counts

52 → 52

Iterations

Iter	Nodes
done	5002
9	2603
8	865
7	370
6	203
5	113
4	81
3	64
2	53
1	42
0	33

prune700.0ms

Pruning

32 alts after pruning (31 fresh and 1 done)

Merged error: 13.9b

regimes7.6s

Accuracy

49.5% (2.9b remaining)

Error of 16.7b against oracle of 13.8b and baseline of 19.6b

bsearch3.0ms

simplify11.2s

Iterations

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

end0.0ms

sample8.0s

Algorithm

intervals

Results

2.2s	8986×	body	80	nan
2.0s	5597×	body	80	valid
1.5s	1620×	body	1280	valid
601.0ms	899×	body	640	valid
492.0ms	362×	body	2560	valid
209.0ms	411×	body	320	valid
60.0ms	218×	body	160	valid