Details

sample398.0ms

Algorithm

intervals

Results

135.0ms	295×	body	80	nan
47.0ms	28×	body	1280	nan
24.0ms	39×	body	1280	valid
18.0ms	151×	body	80	valid
16.0ms	32×	body	640	valid
8.0ms	18×	body	640	nan
6.0ms	21×	body	320	valid
3.0ms	13×	body	160	valid
2.0ms	7×	body	320	nan
1.0ms	6×	body	160	nan

simplify4.3s

Counts

1 → 1

Iterations

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

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 46.1b

localize63.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.4b	(* (sqrt 2.0) t)
14.7b	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
20.8b	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

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

81.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
8.0ms	(* (sqrt 2.0) t)
32.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
68.0ms	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

series2.7s

Counts

4 → 12

Calls

4 calls:

633.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
58.0ms	(* (sqrt 2.0) t)
355.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.1s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	2619
1	455
0	167

prune746.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 7.5b

localize41.0ms

Local error

Found 4 expressions with local error:

4.4b	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
5.9b	(/ (* l l) x)
9.3b	(/ x (* t t))
28.5b	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

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

29.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
8.0ms	(/ (* l l) x)
6.0ms	(/ x (* t t))
57.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

series592.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
21.0ms	(/ (* l l) x)
41.0ms	(/ x (* t t))
410.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

prune638.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 5.4b

localize67.0ms

Local error

Found 4 expressions with local error:

1.2b	(+ (* t t) (* l (/ l x)))
4.4b	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
9.3b	(/ x (* t t))
28.5b	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

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

6.0ms	(+ (* t t) (* l (/ l x)))
21.0ms	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
14.0ms	(/ x (* t t))
72.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

series530.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(+ (* t t) (* l (/ l x)))
90.0ms	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
36.0ms	(/ x (* t t))
340.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

simplify1.2s

Counts

76 → 76

Iterations

Iter	Nodes
done	5001
2	2158
1	435
0	150

prune615.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 5.3b

localize97.0ms

Local error

Found 4 expressions with local error:

1.2b	(+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))
4.4b	(+ (* 2.0 (+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (/ 4.0 (/ x (* t t))))
9.3b	(/ x (* t t))
28.5b	(sqrt (+ (* 2.0 (+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (/ 4.0 (/ x (* t t)))))

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

12.0ms	(+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))
34.0ms	(+ (* 2.0 (+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (/ 4.0 (/ x (* t t))))
6.0ms	(/ x (* t t))
49.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (/ 4.0 (/ x (* t t)))))

series667.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))
151.0ms	(+ (* 2.0 (+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (/ 4.0 (/ x (* t t))))
32.0ms	(/ x (* t t))
402.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (/ 4.0 (/ x (* t t)))))

simplify1.5s

Counts

76 → 76

Iterations

Iter	Nodes
done	5000
2	2257
1	440
0	151

prune621.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 5.3b

regimes950.0ms

Accuracy

77.7% (5.3b remaining)

Error of 9.0b against oracle of 3.7b and baseline of 27.3b

bsearch200.0ms

Steps

Iters	Range		Point
3	4.1523530552241535e+92	5.424691173039659e+92	4.225315466536892e+92
7	-1.3589006648119579e+99	-3.650405087160364e+97	-6.758930516841978e+97

simplify9.9s

Iterations

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

end0.0ms

sample6.6s

Algorithm

intervals

Results

1.9s	9914×	body	80	nan
1.0s	1037×	body	640	valid
624.0ms	870×	body	1280	valid
617.0ms	5072×	body	80	valid
592.0ms	347×	body	160	valid
444.0ms	633×	body	1280	nan
291.0ms	674×	body	320	valid
235.0ms	580×	body	640	nan
132.0ms	341×	body	320	nan
39.0ms	194×	body	160	nan