Details

sample166.0ms

Algorithm

intervals

Results

33.0ms	278×	body	80	nan
31.0ms	52×	body	1280	valid
23.0ms	166×	body	80	valid
17.0ms	16×	body	2560	valid
13.0ms	29×	body	640	valid
5.0ms	13×	body	320	valid
2.0ms	8×	body	160	valid

simplify102.0ms

Counts

1 → 1

Iterations

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.5b

localize67.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.3b	(/ a (* b 3.0))
22.0b	(cos (- y (/ (* z t) 3.0)))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 101

Calls

4 calls:

7.0ms	(/ (* z t) 3.0)
36.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
10.0ms	(/ a (* b 3.0))
35.0ms	(cos (- y (/ (* z t) 3.0)))

series254.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/ (* z t) 3.0)
151.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
23.0ms	(/ a (* b 3.0))
44.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.4s

Counts

113 → 113

Iterations

Iter	Nodes
done	5000
2	1878
1	709
0	327

prune1.3s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 14.7b

localize74.0ms

Local error

Found 4 expressions with local error:

21.9b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
22.2b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
52.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite5.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` `log1p-expm1-u` `add-log-exp`
1×	`cos-sum` `sin-sum`

Counts

4 → 40

Calls

4 calls:

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

series238.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
58.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
62.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
48.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.5s

Counts

52 → 52

Iterations

Iter	Nodes
done	5000
4	1345
3	433
2	200
1	106
0	64

prune851.0ms

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 14.6b

localize96.0ms

Local error

Found 4 expressions with local error:

26.9b	(cos (- (* (/ t 3.0) (/ z 1))))
27.1b	(sin (- (* (/ t 3.0) (/ z 1))))
52.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 42

Calls

4 calls:

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

series126.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
26.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
40.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.5s

Counts

54 → 54

Iterations

Iter	Nodes
done	5000
4	1340
3	435
2	182
1	92
0	57

prune1.2s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 14.6b

localize119.0ms

Local error

Found 4 expressions with local error:

26.9b	(cos (- (* (/ t 3.0) (/ z 1))))
27.1b	(sin (- (* (/ t 3.0) (/ z 1))))
52.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 42

Calls

4 calls:

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

series152.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
25.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
48.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
56.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.4s

Counts

54 → 54

Iterations

Iter	Nodes
done	5000
4	1340
3	435
2	182
1	92
0	57

prune840.0ms

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.6b

regimes8.1s

Accuracy

55.8% (1.7b remaining)

Error of 15.9b against oracle of 14.1b and baseline of 18.0b

bsearch7.0ms

simplify8.6s

Iterations

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

end0.0ms

sample7.8s

Algorithm

intervals

Results

2.6s	9156×	body	80	nan
1.5s	1579×	body	1280	valid
970.0ms	5590×	body	80	valid
802.0ms	917×	body	640	valid
489.0ms	368×	body	2560	valid
235.0ms	444×	body	320	valid
96.0ms	214×	body	160	valid