Details

sample68.0ms

Algorithm

intervals

Results

17.0ms	178×	body	80	valid
12.0ms	40×	body	2560	valid
9.0ms	36×	body	1280	valid
4.0ms	88×	body	80	nan
3.0ms	15×	body	640	valid
1.0ms	7×	body	320	valid
1.0ms	2×	body	5120	valid
0.0ms	2×	body	160	valid

simplify78.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	128
5	128
4	119
3	86
2	46
1	25
0	14

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.2b

localize19.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
0.7b	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
24.4b	(sqrt (fma (- a) (* 4.0 c) (* b b)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
29×	`add-cube-cbrt`
20×	`sqrt-prod`
18×	`times-frac` `prod-diff`
10×	`difference-of-squares`
6×	`fma-neg` `associate-/l*`
5×	`add-cbrt-cube` `add-exp-log` `distribute-lft-out--` `add-log-exp`
4×	`pow1`
3×	`expm1-log1p-u` `associate-/r*` `log1p-expm1-u`
2×	`flip3--` `flip--` `associate-/l/`
1×	`cbrt-undiv` `rem-sqrt-square` `clear-num` `sub-neg` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `div-exp` `div-inv`

Counts

3 → 100

Calls

3 calls:

38.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
10.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
2.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

series425.0ms

Counts

3 → 9

Calls

3 calls:

178.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
136.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
111.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

simplify578.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	5001
2	923
1	309
0	141

prune741.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 24.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.8b	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
4.2b	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
10.1b	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
24.4b	(sqrt (fma (* (- a) 4.0) c (* b b)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
101×	`*-un-lft-identity`
68×	`add-sqr-sqrt`
67×	`add-cube-cbrt`
21×	`associate-/l*`
17×	`distribute-lft-out`
11×	`add-cbrt-cube` `add-exp-log`
10×	`associate-/r/`
7×	`associate-/r*`
6×	`fma-def` `flip3-+` `sqrt-prod` `flip-+` `div-inv` `add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `log1p-expm1-u`
2×	`clear-num` `frac-2neg`
1×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `pow1/2` `associate-/l/`

Counts

4 → 162

Calls

4 calls:

14.0ms	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
29.0ms	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
18.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
3.0ms	(sqrt (fma (* (- a) 4.0) c (* b b)))

series922.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
341.0ms	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
316.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
122.0ms	(sqrt (fma (* (- a) 4.0) c (* b b)))

simplify1.1s

Counts

174 → 174

Iterations

Iter	Nodes
done	5000
2	2280
1	581
0	243

prune1.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 15.5b

localize87.0ms

Local error

Found 4 expressions with local error:

0.8b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
0.8b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
24.4b	(sqrt (fma 4.0 (* a (- c)) (* b b)))
24.4b	(sqrt (fma 4.0 (* a (- c)) (* b b)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `add-log-exp`
6×	`pow1` `fma-def` `sqrt-prod`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u`
2×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+` `distribute-lft-out`

Counts

4 → 64

Calls

4 calls:

10.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
10.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
2.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
2.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

series474.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
94.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
107.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
143.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

simplify1.6s

Counts

76 → 76

Iterations

Iter	Nodes
done	5001
3	2462
2	462
1	140
0	61

prune847.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 15.5b

localize93.0ms

Local error

Found 4 expressions with local error:

0.8b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
14.7b	(fma (* (cbrt b) (cbrt b)) (cbrt b) (sqrt (fma 4.0 (* a (- c)) (* b b))))
24.4b	(sqrt (fma 4.0 (* a (- c)) (* b b)))
24.4b	(sqrt (fma 4.0 (* a (- c)) (* b b)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`pow1` `sqrt-prod` `add-log-exp`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u`
3×	`fma-def`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `fma-udef` `distribute-lft-out`

Counts

4 → 57

Calls

4 calls:

6.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
0.0ms	(fma (* (cbrt b) (cbrt b)) (cbrt b) (sqrt (fma 4.0 (* a (- c)) (* b b))))
1.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
2.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

series550.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
200.0ms	(fma (* (cbrt b) (cbrt b)) (cbrt b) (sqrt (fma 4.0 (* a (- c)) (* b b))))
111.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
109.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

simplify1.5s

Counts

69 → 69

Iterations

Iter	Nodes
done	5001
3	2572
2	496
1	156
0	74

prune715.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 15.4b

regimes478.0ms

Accuracy

94.4% (0.9b remaining)

Error of 15.8b against oracle of 14.9b and baseline of 30.1b

bsearch296.0ms

Steps

Iters	Range		Point
7	3.97783221895582e+160	1.3726907851658652e+162	4.033968672442675e+160
9	-8.630995884000565e-306	7.211886341925621e-305	-1.8020321837453348e-307

simplify12.0s

Iterations

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

end0.0ms

sample3.2s

Algorithm

intervals

Results

903.0ms	5902×	body	80	valid
734.0ms	898×	body	1280	valid
514.0ms	1052×	body	2560	valid
216.0ms	2839×	body	80	nan
149.0ms	451×	body	640	valid
50.0ms	111×	body	5120	valid
47.0ms	239×	body	320	valid
43.0ms	105×	body	160	valid