Details

sample277.0ms

Algorithm

intervals

Results

67.0ms	355×	body	80	nan
16.0ms	163×	body	80	valid
15.0ms	34×	body	640	valid
11.0ms	26×	body	1280	valid
9.0ms	20×	body	1280	nan
8.0ms	24×	body	640	nan
5.0ms	20×	body	320	valid
4.0ms	13×	body	320	nan
3.0ms	13×	body	160	valid
2.0ms	10×	body	160	nan

simplify3.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	3799
6	1449
5	797
4	423
3	199
2	93
1	39
0	18

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.8b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.5b	(* (sqrt 2.0) t)
12.2b	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
17.9b	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`sqrt-prod`
12×	`*-un-lft-identity` `add-cube-cbrt`
11×	`add-cbrt-cube` `add-exp-log`
7×	`pow1`
6×	`associate-/r` `times-frac` `associate-l*` `add-log-exp`
4×	`sqrt-div`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate--l+` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`distribute-rgt-in` `rem-sqrt-square` `clear-num` `sub-neg` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `diff-log` `pow-prod-down` `-commutative` `div-inv` `associate-/l`

Counts

4 → 80

Calls

4 calls:

59.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
15.0ms	(* (sqrt 2.0) t)
38.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
54.0ms	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

series2.7s

Counts

4 → 12

Calls

4 calls:

588.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
74.0ms	(* (sqrt 2.0) t)
309.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
1.7s	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

simplify2.6s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	2619
1	455
0	167

prune682.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 6.4b

localize35.0ms

Local error

Found 4 expressions with local error:

4.4b	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
5.5b	(/ (* l l) x)
7.7b	(/ x (* t t))
25.5b	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
10×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`times-frac` `add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `associate-/r` `flip3-+` `sqrt-div` `div-exp` `frac-add` `associate-r/` `flip-+` `associate-/l*`
3×	`sqrt-prod`
2×	`associate-+l+` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`
1×	`distribute-rgt-in` `+-commutative` `rem-sqrt-square` `sum-log` `distribute-lft-in` `sqrt-pow1` `pow1/2`

Counts

4 → 74

Calls

4 calls:

49.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
15.0ms	(/ (* l l) x)
13.0ms	(/ x (* t t))
84.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

series515.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
30.0ms	(/ (* l l) x)
41.0ms	(/ x (* t t))
344.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

simplify1.8s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	3089
1	509
0	168

prune611.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.4b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b	(+ (* t t) (* l (/ l x)))
4.4b	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
7.7b	(/ x (* t t))
25.5b	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt` `add-log-exp`
7×	`*-un-lft-identity` `add-cube-cbrt`
5×	`pow1` `flip3-+` `flip-+`
4×	`sqrt-div` `frac-add` `associate-*r/`
3×	`times-frac` `sqrt-prod` `associate-/l*`
2×	`cbrt-undiv` `+-commutative` `associate-+l+` `sum-log` `div-exp`
1×	`distribute-rgt-in` `rem-sqrt-square` `clear-num` `associate-/r*` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `prod-exp` `cbrt-unprod` `div-inv`

Counts

4 → 64

Calls

4 calls:

13.0ms	(+ (* t t) (* l (/ l x)))
38.0ms	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
11.0ms	(/ x (* t t))
38.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

series577.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(+ (* t t) (* l (/ l x)))
99.0ms	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
30.0ms	(/ x (* t t))
383.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

simplify1.4s

Counts

76 → 76

Iterations

Iter	Nodes
done	5001
2	2158
1	435
0	150

prune499.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.4b

localize107.0ms

Local error

Found 4 expressions with local error:

7.7b	(/ x (* t t))
25.4b	(sqrt (+ (* t t) (* l (/ l x))))
25.4b	(sqrt (+ (* t t) (* l (/ l x))))
25.5b	(sqrt (+ (* 2.0 (* (sqrt (+ (* t t) (* l (/ l x)))) (sqrt (+ (* t t) (* l (/ l x)))))) (/ 4.0 (/ x (* t t)))))

rewrite186.0ms

Algorithm

rewrite-expression-head

Rules

26×	`sqrt-div`
12×	`add-sqr-sqrt`
10×	`associate-*r/`
9×	`*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `sqrt-prod` `flip-+`
8×	`frac-add`
7×	`pow1`
4×	`frac-times` `add-log-exp`
3×	`rem-sqrt-square` `sqrt-pow1` `times-frac` `pow1/2` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-*l/`
1×	`clear-num` `associate-/r*` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`

Counts

4 → 74

Calls

4 calls:

10.0ms	(/ x (* t t))
10.0ms	(sqrt (+ (* t t) (* l (/ l x))))
11.0ms	(sqrt (+ (* t t) (* l (/ l x))))
150.0ms	(sqrt (+ (* 2.0 (* (sqrt (+ (* t t) (* l (/ l x)))) (sqrt (+ (* t t) (* l (/ l x)))))) (/ 4.0 (/ x (* t t)))))

series574.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(/ x (* t t))
89.0ms	(sqrt (+ (* t t) (* l (/ l x))))
100.0ms	(sqrt (+ (* t t) (* l (/ l x))))
337.0ms	(sqrt (+ (* 2.0 (* (sqrt (+ (* t t) (* l (/ l x)))) (sqrt (+ (* t t) (* l (/ l x)))))) (/ 4.0 (/ x (* t t)))))

simplify1.6s

Counts

86 → 86

Iterations

Iter	Nodes
done	5000
2	2060
1	503
0	191

prune588.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 4.4b

regimes1.1s

Accuracy

76.4% (5.6b remaining)

Error of 9.4b against oracle of 3.7b and baseline of 27.6b

bsearch238.0ms

Steps

Iters	Range		Point
8	4.426853282634998e+56	1.661076069045296e+60	1.6237106520617296e+60
6	-5.111701595882843e+60	-4.544149282436552e+59	-6.172764092322424e+59

simplify10.3s

Iterations

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

end0.0ms

sample5.8s

Algorithm

intervals

Results

1.3s	827×	body	1280	valid
1.3s	10040×	body	80	nan
673.0ms	5162×	body	80	valid
426.0ms	981×	body	640	valid
412.0ms	603×	body	1280	nan
337.0ms	646×	body	640	nan
317.0ms	657×	body	320	valid
164.0ms	327×	body	320	nan
119.0ms	373×	body	160	valid
30.0ms	166×	body	160	nan