Details

sample90.0ms

Algorithm

intervals

Results

19.0ms	40×	body	2560	valid
15.0ms	183×	body	80	valid
14.0ms	35×	body	1280	valid
6.0ms	79×	body	80	nan
5.0ms	16×	body	640	valid
2.0ms	2×	body	5120	valid
1.0ms	5×	body	160	valid
0.0ms	2×	body	320	valid

simplify144.0ms

Counts

1 → 1

Iterations

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.3b

localize39.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
1.3b	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
24.2b	(sqrt (fma (- a) (* 4.0 c) (* b b)))

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

29.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
10.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
1.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

series465.0ms

Counts

3 → 9

Calls

3 calls:

198.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
132.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
135.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

simplify770.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	5001
2	923
1	309
0	141

prune724.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 22.8b

localize23.0ms

Local error

Found 4 expressions with local error:

1.6b	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
3.6b	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
7.7b	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
24.2b	(sqrt (fma (* (- a) 4.0) c (* b b)))

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

7.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)
12.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
1.0ms	(sqrt (fma (* (- a) 4.0) c (* b b)))

series817.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
338.0ms	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
280.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
89.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.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.9b

localize41.0ms

Local error

Found 4 expressions with local error:

1.6b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
1.6b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
24.2b	(sqrt (fma 4.0 (* a (- c)) (* b b)))
24.2b	(sqrt (fma 4.0 (* a (- c)) (* b b)))

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

6.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
6.0ms	(+ 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)))

series459.0ms

Counts

4 → 12

Calls

4 calls:

121.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
100.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
121.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
118.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

simplify1.3s

Counts

76 → 76

Iterations

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

prune672.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.9b

localize57.0ms

Local error

Found 4 expressions with local error:

1.6b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
24.2b	(sqrt (fma 4.0 (* a (- c)) (* b b)))
24.2b	(sqrt (fma 4.0 (* a (- c)) (* b b)))
24.2b	(sqrt (fma 4.0 (* a (- c)) (* b b)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

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

series359.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
83.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
87.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
103.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

simplify998.0ms

Counts

74 → 74

Iterations

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

prune468.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 13.9b

regimes316.0ms

Accuracy

92.7% (1.1b remaining)

Error of 16.2b against oracle of 15.1b and baseline of 30.2b

bsearch201.0ms

Steps

Iters	Range		Point
9	3.550984960573557e+103	3.280336048085067e+112	3.224491050532555e+112
9	6.37839462658486e-297	3.2392826518123494e-288	2.4944562401296086e-289

simplify8.8s

Iterations

Iter	Nodes
done	5000
2447	4998
2446	4996
2445	4994
2444	4992
2443	4990
2442	4988
2441	4986
2440	4984
2439	4982
2438	4980
2437	4978
2436	4976
2435	4974
2434	4972
2433	4970
2432	4968
2431	4966
2430	4964
2429	4962
2428	4960
2427	4958
2426	4956
2425	4954
2424	4952
2423	4950
2422	4948
2421	4946
2420	4944
2419	4942
2418	4940
2417	4938
2416	4936
2415	4934
2414	4932
2413	4930
2412	4928
2411	4926
2410	4924
2409	4922
2408	4920
2407	4918
2406	4916
2405	4914
2404	4912
2403	4910
2402	4908
2401	4906
2400	4904
2399	4902
2398	4900
2397	4898
2396	4896
2395	4894
2394	4892
2393	4890
2392	4888
2391	4886
2390	4884
2389	4882
2388	4880
2387	4878
2386	4876
2385	4874
2384	4872
2383	4870
2382	4868
2381	4866
2380	4864
2379	4862
2378	4860
2377	4858
2376	4856
2375	4854
2374	4852
2373	4850
2372	4848
2371	4846
2370	4844
2369	4842
2368	4840
2367	4838
2366	4836
2365	4834
2364	4832
2363	4830
2362	4828
2361	4826
2360	4824
2359	4822
2358	4820
2357	4818
2356	4816
2355	4814
2354	4812
2353	4810
2352	4808
2351	4806
2350	4804
2349	4802
2348	4800
2347	4798
2346	4796
2345	4794
2344	4792
2343	4790
2342	4788
2341	4786
2340	4784
2339	4782
2338	4780
2337	4778
2336	4776
2335	4774
2334	4772
2333	4770
2332	4768
2331	4766
2330	4764
2329	4762
2328	4760
2327	4758
2326	4756
2325	4754
2324	4752
2323	4750
2322	4748
2321	4746
2320	4744
2319	4742
2318	4740
2317	4738
2316	4736
2315	4734
2314	4732
2313	4730
2312	4728
2311	4726
2310	4724
2309	4722
2308	4720
2307	4718
2306	4716
2305	4714
2304	4712
2303	4710
2302	4708
2301	4706
2300	4704
2299	4702
2298	4700
2297	4698
2296	4696
2295	4694
2294	4692
2293	4690
2292	4688
2291	4686
2290	4684
2289	4682
2288	4680
2287	4678
2286	4676
2285	4674
2284	4672
2283	4670
2282	4668
2281	4666
2280	4664
2279	4662
2278	4660
2277	4658
2276	4656
2275	4654
2274	4652
2273	4650
2272	4648
2271	4646
2270	4644
2269	4642
2268	4640
2267	4638
2266	4636
2265	4634
2264	4632
2263	4630
2262	4628
2261	4626
2260	4624
2259	4622
2258	4620
2257	4618
2256	4616
2255	4614
2254	4612
2253	4610
2252	4608
2251	4606
2250	4604
2249	4602
2248	4600
2247	4598
2246	4596
2245	4594
2244	4592
2243	4590
2242	4588
2241	4586
2240	4584
2239	4582
2238	4580
2237	4578
2236	4576
2235	4574
2234	4572
2233	4570
2232	4568
2231	4566
2230	4564
2229	4562
2228	4560
2227	4558
2226	4556
2225	4554
2224	4552
2223	4550
2222	4548
2221	4546
2220	4544
2219	4542
2218	4540
2217	4538
2216	4536
2215	4534
2214	4532
2213	4530
2212	4528
2211	4526
2210	4524
2209	4522
2208	4520
2207	4518
2206	4516
2205	4514
2204	4512
2203	4510
2202	4508
2201	4506
2200	4504
2199	4502
2198	4500
2197	4498
2196	4496
2195	4494
2194	4492
2193	4490
2192	4488
2191	4486
2190	4484
2189	4482
2188	4480
2187	4478
2186	4476
2185	4474
2184	4472
2183	4470
2182	4468
2181	4466
2180	4464
2179	4462
2178	4460
2177	4458
2176	4456
2175	4454
2174	4452
2173	4450
2172	4448
2171	4446
2170	4444
2169	4442
2168	4440
2167	4438
2166	4436
2165	4434
2164	4432
2163	4430
2162	4428
2161	4426
2160	4424
2159	4422
2158	4420
2157	4418
2156	4416
2155	4414
2154	4412
2153	4410
2152	4408
2151	4406
2150	4404
2149	4402
2148	4400
2147	4398
2146	4396
2145	4394
2144	4392
2143	4390
2142	4388
2141	4386
2140	4384
2139	4382
2138	4380
2137	4378
2136	4376
2135	4374
2134	4372
2133	4370
2132	4368
2131	4366
2130	4364
2129	4362
2128	4360
2127	4358
2126	4356
2125	4354
2124	4352
2123	4350
2122	4348
2121	4346
2120	4344
2119	4342
2118	4340
2117	4338
2116	4336
2115	4334
2114	4332
2113	4330
2112	4328
2111	4326
2110	4324
2109	4322
2108	4320
2107	4318
2106	4316
2105	4314
2104	4312
2103	4310
2102	4308
2101	4306
2100	4304
2099	4302
2098	4300
2097	4298
2096	4296
2095	4294
2094	4292
2093	4290
2092	4288
2091	4286
2090	4284
2089	4282
2088	4280
2087	4278
2086	4276
2085	4274
2084	4272
2083	4270
2082	4268
2081	4266
2080	4264
2079	4262
2078	4260
2077	4258
2076	4256
2075	4254
2074	4252
2073	4250
2072	4248
2071	4246
2070	4244
2069	4242
2068	4240
2067	4238
2066	4236
2065	4234
2064	4232
2063	4230
2062	4228
2061	4226
2060	4224
2059	4222
2058	4220
2057	4218
2056	4216
2055	4214
2054	4212
2053	4210
2052	4208
2051	4206
2050	4204
2049	4202
2048	4200
2047	4198
2046	4196
2045	4194
2044	4192
2043	4190
2042	4188
2041	4186
2040	4184
2039	4182
2038	4180
2037	4178
2036	4176
2035	4174
2034	4172
2033	4170
2032	4168
2031	4166
2030	4164
2029	4162
2028	4160
2027	4158
2026	4156
2025	4154
2024	4152
2023	4150
2022	4148
2021	4146
2020	4144
2019	4142
2018	4140
2017	4138
2016	4136
2015	4134
2014	4132
2013	4130
2012	4128
2011	4126
2010	4124
2009	4122
2008	4120
2007	4118
2006	4116
2005	4114
2004	4112
2003	4110
2002	4108
2001	4106
2000	4104
1999	4102
1998	4100
1997	4098
1996	4096
1995	4094
1994	4092
1993	4090
1992	4088
1991	4086
1990	4084
1989	4082
1988	4080
1987	4078
1986	4076
1985	4074
1984	4072
1983	4070
1982	4068
1981	4066
1980	4064
1979	4062
1978	4060
1977	4058
1976	4056
1975	4054
1974	4052
1973	4050
1972	4048
1971	4046
1970	4044
1969	4042
1968	4040
1967	4038
1966	4036
1965	4034
1964	4032
1963	4030
1962	4028
1961	4026
1960	4024
1959	4022
1958	4020
1957	4018
1956	4016
1955	4014
1954	4012
1953	4010
1952	4008
1951	4006
1950	4004
1949	4002
1948	4000
1947	3998
1946	3996
1945	3994
1944	3992
1943	3990
1942	3988
1941	3986
1940	3984
1939	3982
1938	3980
1937	3978
1936	3976
1935	3974
1934	3972
1933	3970
1932	3968
1931	3966
1930	3964
1929	3962
1928	3960
1927	3958
1926	3956
1925	3954
1924	3952
1923	3950
1922	3948
1921	3946
1920	3944
1919	3942
1918	3940
1917	3938
1916	3936
1915	3934
1914	3932
1913	3930
1912	3928
1911	3926
1910	3924
1909	3922
1908	3920
1907	3918
1906	3916
1905	3914
1904	3912
1903	3910
1902	3908
1901	3906
1900	3904
1899	3902
1898	3900
1897	3898
1896	3896
1895	3894
1894	3892
1893	3890
1892	3888
1891	3886
1890	3884
1889	3882
1888	3880
1887	3878
1886	3876
1885	3874
1884	3872
1883	3870
1882	3868
1881	3866
1880	3864
1879	3862
1878	3860
1877	3858
1876	3856
1875	3854
1874	3852
1873	3850
1872	3848
1871	3846
1870	3844
1869	3842
1868	3840
1867	3838
1866	3836
1865	3834
1864	3832
1863	3830
1862	3828
1861	3826
1860	3824
1859	3822
1858	3820
1857	3818
1856	3816
1855	3814
1854	3812
1853	3810
1852	3808
1851	3806
1850	3804
1849	3802
1848	3800
1847	3798
1846	3796
1845	3794
1844	3792
1843	3790
1842	3788
1841	3786
1840	3784
1839	3782
1838	3780
1837	3778
1836	3776
1835	3774
1834	3772
1833	3770
1832	3768
1831	3766
1830	3764
1829	3762
1828	3760
1827	3758
1826	3756
1825	3754
1824	3752
1823	3750
1822	3748
1821	3746
1820	3744
1819	3742
1818	3740
1817	3738
1816	3736
1815	3734
1814	3732
1813	3730
1812	3728
1811	3726
1810	3724
1809	3722
1808	3720
1807	3718
1806	3716
1805	3714
1804	3712
1803	3710
1802	3708
1801	3706
1800	3704
1799	3702
1798	3700
1797	3698
1796	3696
1795	3694
1794	3692
1793	3690
1792	3688
1791	3686
1790	3684
1789	3682
1788	3680
1787	3678
1786	3676
1785	3674
1784	3672
1783	3670
1782	3668
1781	3666
1780	3664
1779	3662
1778	3660
1777	3658
1776	3656
1775	3654
1774	3652
1773	3650
1772	3648
1771	3646
1770	3644
1769	3642
1768	3640
1767	3638
1766	3636
1765	3634
1764	3632
1763	3630
1762	3628
1761	3626
1760	3624
1759	3622
1758	3620
1757	3618
1756	3616
1755	3614
1754	3612
1753	3610
1752	3608
1751	3606
1750	3604
1749	3602
1748	3600
1747	3598
1746	3596
1745	3594
1744	3592
1743	3590
1742	3588
1741	3586
1740	3584
1739	3582
1738	3580
1737	3578
1736	3576
1735	3574
1734	3572
1733	3570
1732	3568
1731	3566
1730	3564
1729	3562
1728	3560
1727	3558
1726	3556
1725	3554
1724	3552
1723	3550
1722	3548
1721	3546
1720	3544
1719	3542
1718	3540
1717	3538
1716	3536
1715	3534
1714	3532
1713	3530
1712	3528
1711	3526
1710	3524
1709	3522
1708	3520
1707	3518
1706	3516
1705	3514
1704	3512
1703	3510
1702	3508
1701	3506
1700	3504
1699	3502
1698	3500
1697	3498
1696	3496
1695	3494
1694	3492
1693	3490
1692	3488
1691	3486
1690	3484
1689	3482
1688	3480
1687	3478
1686	3476
1685	3474
1684	3472
1683	3470
1682	3468
1681	3466
1680	3464
1679	3462
1678	3460
1677	3458
1676	3456
1675	3454
1674	3452
1673	3450
1672	3448
1671	3446
1670	3444
1669	3442
1668	3440
1667	3438
1666	3436
1665	3434
1664	3432
1663	3430
1662	3428
1661	3426
1660	3424
1659	3422
1658	3420
1657	3418
1656	3416
1655	3414
1654	3412
1653	3410
1652	3408
1651	3406
1650	3404
1649	3402
1648	3400
1647	3398
1646	3396
1645	3394
1644	3392
1643	3390
1642	3388
1641	3386
1640	3384
1639	3382
1638	3380
1637	3378
1636	3376
1635	3374
1634	3372
1633	3370
1632	3368
1631	3366
1630	3364
1629	3362
1628	3360
1627	3358
1626	3356
1625	3354
1624	3352
1623	3350
1622	3348
1621	3346
1620	3344
1619	3342
1618	3340
1617	3338
1616	3336
1615	3334
1614	3332
1613	3330
1612	3328
1611	3326
1610	3324
1609	3322
1608	3320
1607	3318
1606	3316
1605	3314
1604	3312
1603	3310
1602	3308
1601	3306
1600	3304
1599	3302
1598	3300
1597	3298
1596	3296
1595	3294
1594	3292
1593	3290
1592	3288
1591	3286
1590	3284
1589	3282
1588	3280
1587	3278
1586	3276
1585	3274
1584	3272
1583	3270
1582	3268
1581	3266
1580	3264
1579	3262
1578	3260
1577	3258
1576	3256
1575	3254
1574	3252
1573	3250
1572	3248
1571	3246
1570	3244
1569	3242
1568	3240
1567	3238
1566	3236
1565	3234
1564	3232
1563	3230
1562	3228
1561	3226
1560	3224
1559	3222
1558	3220
1557	3218
1556	3216
1555	3214
1554	3212
1553	3210
1552	3208
1551	3206
1550	3204
1549	3202
1548	3200
1547	3198
1546	3196
1545	3194
1544	3192
1543	3190
1542	3188
1541	3186
1540	3184
1539	3182
1538	3180
1537	3178
1536	3176
1535	3174
1534	3172
1533	3170
1532	3168
1531	3166
1530	3164
1529	3162
1528	3160
1527	3158
1526	3156
1525	3154
1524	3152
1523	3150
1522	3148
1521	3146
1520	3144
1519	3142
1518	3140
1517	3138
1516	3136
1515	3134
1514	3132
1513	3130
1512	3128
1511	3126
1510	3124
1509	3122
1508	3120
1507	3118
1506	3116
1505	3114
1504	3112
1503	3110
1502	3108
1501	3106
1500	3104
1499	3102
1498	3100
1497	3098
1496	3096
1495	3094
1494	3092
1493	3090
1492	3088
1491	3086
1490	3084
1489	3082
1488	3080
1487	3078
1486	3076
1485	3074
1484	3072
1483	3070
1482	3068
1481	3066
1480	3064
1479	3062
1478	3060
1477	3058
1476	3056
1475	3054
1474	3052
1473	3050
1472	3048
1471	3046
1470	3044
1469	3042
1468	3040
1467	3038
1466	3036
1465	3034
1464	3032
1463	3030
1462	3028
1461	3026
1460	3024
1459	3022
1458	3020
1457	3018
1456	3016
1455	3014
1454	3012
1453	3010
1452	3008
1451	3006
1450	3004
1449	3002
1448	3000
1447	2998
1446	2996
1445	2994
1444	2992
1443	2990
1442	2988
1441	2986
1440	2984
1439	2982
1438	2980
1437	2978
1436	2976
1435	2974
1434	2972
1433	2970
1432	2968
1431	2966
1430	2964
1429	2962
1428	2960
1427	2958
1426	2956
1425	2954
1424	2952
1423	2950
1422	2948
1421	2946
1420	2944
1419	2942
1418	2940
1417	2938
1416	2936
1415	2934
1414	2932
1413	2930
1412	2928
1411	2926
1410	2924
1409	2922
1408	2920
1407	2918
1406	2916
1405	2914
1404	2912
1403	2910
1402	2908
1401	2906
1400	2904
1399	2902
1398	2900
1397	2898
1396	2896
1395	2894
1394	2892
1393	2890
1392	2888
1391	2886
1390	2884
1389	2882
1388	2880
1387	2878
1386	2876
1385	2874
1384	2872
1383	2870
1382	2868
1381	2866
1380	2864
1379	2862
1378	2860
1377	2858
1376	2856
1375	2854
1374	2852
1373	2850
1372	2848
1371	2846
1370	2844
1369	2842
1368	2840
1367	2838
1366	2836
1365	2834
1364	2832
1363	2830
1362	2828
1361	2826
1360	2824
1359	2822
1358	2820
1357	2818
1356	2816
1355	2814
1354	2812
1353	2810
1352	2808
1351	2806
1350	2804
1349	2802
1348	2800
1347	2798
1346	2796
1345	2794
1344	2792
1343	2790
1342	2788
1341	2786
1340	2784
1339	2782
1338	2780
1337	2778
1336	2776
1335	2774
1334	2772
1333	2770
1332	2768
1331	2766
1330	2764
1329	2762
1328	2760
1327	2758
1326	2756
1325	2754
1324	2752
1323	2750
1322	2748
1321	2746
1320	2744
1319	2742
1318	2740
1317	2738
1316	2736
1315	2734
1314	2732
1313	2730
1312	2728
1311	2726
1310	2724
1309	2722
1308	2720
1307	2718
1306	2716
1305	2714
1304	2712
1303	2710
1302	2708
1301	2706
1300	2704
1299	2702
1298	2700
1297	2698
1296	2696
1295	2694
1294	2692
1293	2690
1292	2688
1291	2686
1290	2684
1289	2682
1288	2680
1287	2678
1286	2676
1285	2674
1284	2672
1283	2670
1282	2668
1281	2666
1280	2664
1279	2662
1278	2660
1277	2658
1276	2656
1275	2654
1274	2652
1273	2650
1272	2648
1271	2646
1270	2644
1269	2642
1268	2640
1267	2638
1266	2636
1265	2634
1264	2632
1263	2630
1262	2628
1261	2626
1260	2624
1259	2622
1258	2620
1257	2618
1256	2616
1255	2614
1254	2612
1253	2610
1252	2608
1251	2606
1250	2604
1249	2602
1248	2600
1247	2598
1246	2596
1245	2594
1244	2592
1243	2590
1242	2588
1241	2586
1240	2584
1239	2582
1238	2580
1237	2578
1236	2576
1235	2574
1234	2572
1233	2570
1232	2568
1231	2566
1230	2564
1229	2562
1228	2560
1227	2558
1226	2556
1225	2554
1224	2552
1223	2550
1222	2548
1221	2546
1220	2544
1219	2542
1218	2540
1217	2538
1216	2536
1215	2534
1214	2532
1213	2530
1212	2528
1211	2526
1210	2524
1209	2522
1208	2520
1207	2518
1206	2516
1205	2514
1204	2512
1203	2510
1202	2508
1201	2506
1200	2504
1199	2502
1198	2500
1197	2498
1196	2496
1195	2494
1194	2492
1193	2490
1192	2488
1191	2486
1190	2484
1189	2482
1188	2480
1187	2478
1186	2476
1185	2474
1184	2472
1183	2470
1182	2468
1181	2466
1180	2464
1179	2462
1178	2460
1177	2458
1176	2456
1175	2454
1174	2452
1173	2450
1172	2448
1171	2446
1170	2444
1169	2442
1168	2440
1167	2438
1166	2436
1165	2434
1164	2432
1163	2430
1162	2428
1161	2426
1160	2424
1159	2422
1158	2420
1157	2418
1156	2416
1155	2414
1154	2412
1153	2410
1152	2408
1151	2406
1150	2404
1149	2402
1148	2400
1147	2398
1146	2396
1145	2394
1144	2392
1143	2390
1142	2388
1141	2386
1140	2384
1139	2382
1138	2380
1137	2378
1136	2376
1135	2374
1134	2372
1133	2370
1132	2368
1131	2366
1130	2364
1129	2362
1128	2360
1127	2358
1126	2356
1125	2354
1124	2352
1123	2350
1122	2348
1121	2346
1120	2344
1119	2342
1118	2340
1117	2338
1116	2336
1115	2334
1114	2332
1113	2330
1112	2328
1111	2326
1110	2324
1109	2322
1108	2320
1107	2318
1106	2316
1105	2314
1104	2312
1103	2310
1102	2308
1101	2306
1100	2304
1099	2302
1098	2300
1097	2298
1096	2296
1095	2294
1094	2292
1093	2290
1092	2288
1091	2286
1090	2284
1089	2282
1088	2280
1087	2278
1086	2276
1085	2274
1084	2272
1083	2270
1082	2268
1081	2266
1080	2264
1079	2262
1078	2260
1077	2258
1076	2256
1075	2254
1074	2252
1073	2250
1072	2248
1071	2246
1070	2244
1069	2242
1068	2240
1067	2238
1066	2236
1065	2234
1064	2232
1063	2230
1062	2228
1061	2226
1060	2224
1059	2222
1058	2220
1057	2218
1056	2216
1055	2214
1054	2212
1053	2210
1052	2208
1051	2206
1050	2204
1049	2202
1048	2200
1047	2198
1046	2196
1045	2194
1044	2192
1043	2190
1042	2188
1041	2186
1040	2184
1039	2182
1038	2180
1037	2178
1036	2176
1035	2174
1034	2172
1033	2170
1032	2168
1031	2166
1030	2164
1029	2162
1028	2160
1027	2158
1026	2156
1025	2154
1024	2152
1023	2150
1022	2148
1021	2146
1020	2144
1019	2142
1018	2140
1017	2138
1016	2136
1015	2134
1014	2132
1013	2130
1012	2128
1011	2126
1010	2124
1009	2122
1008	2120
1007	2118
1006	2116
1005	2114
1004	2112
1003	2110
1002	2108
1001	2106
1000	2104
999	2102
998	2100
997	2098
996	2096
995	2094
994	2092
993	2090
992	2088
991	2086
990	2084
989	2082
988	2080
987	2078
986	2076
985	2074
984	2072
983	2070
982	2068
981	2066
980	2064
979	2062
978	2060
977	2058
976	2056
975	2054
974	2052
973	2050
972	2048
971	2046
970	2044
969	2042
968	2040
967	2038
966	2036
965	2034
964	2032
963	2030
962	2028
961	2026
960	2024
959	2022
958	2020
957	2018
956	2016
955	2014
954	2012
953	2010
952	2008
951	2006
950	2004
949	2002
948	2000
947	1998
946	1996
945	1994
944	1992
943	1990
942	1988
941	1986
940	1984
939	1982
938	1980
937	1978
936	1976
935	1974
934	1972
933	1970
932	1968
931	1966
930	1964
929	1962
928	1960
927	1958
926	1956
925	1954
924	1952
923	1950
922	1948
921	1946
920	1944
919	1942
918	1940
917	1938
916	1936
915	1934
914	1932
913	1930
912	1928
911	1926
910	1924
909	1922
908	1920
907	1918
906	1916
905	1914
904	1912
903	1910
902	1908
901	1906
900	1904
899	1902
898	1900
897	1898
896	1896
895	1894
894	1892
893	1890
892	1888
891	1886
890	1884
889	1882
888	1880
887	1878
886	1876
885	1874
884	1872
883	1870
882	1868
881	1866
880	1864
879	1862
878	1860
877	1858
876	1856
875	1854
874	1852
873	1850
872	1848
871	1846
870	1844
869	1842
868	1840
867	1838
866	1836
865	1834
864	1832
863	1830
862	1828
861	1826
860	1824
859	1822
858	1820
857	1818
856	1816
855	1814
854	1812
853	1810
852	1808
851	1806
850	1804
849	1802
848	1800
847	1798
846	1796
845	1794
844	1792
843	1790
842	1788
841	1786
840	1784
839	1782
838	1780
837	1778
836	1776
835	1774
834	1772
833	1770
832	1768
831	1766
830	1764
829	1762
828	1760
827	1758
826	1756
825	1754
824	1752
823	1750
822	1748
821	1746
820	1744
819	1742
818	1740
817	1738
816	1736
815	1734
814	1732
813	1730
812	1728
811	1726
810	1724
809	1722
808	1720
807	1718
806	1716
805	1714
804	1712
803	1710
802	1708
801	1706
800	1704
799	1702
798	1700
797	1698
796	1696
795	1694
794	1692
793	1690
792	1688
791	1686
790	1684
789	1682
788	1680
787	1678
786	1676
785	1674
784	1672
783	1670
782	1668
781	1666
780	1664
779	1662
778	1660
777	1658
776	1656
775	1654
774	1652
773	1650
772	1648
771	1646
770	1644
769	1642
768	1640
767	1638
766	1636
765	1634
764	1632
763	1630
762	1628
761	1626
760	1624
759	1622
758	1620
757	1618
756	1616
755	1614
754	1612
753	1610
752	1608
751	1606
750	1604
749	1602
748	1600
747	1598
746	1596
745	1594
744	1592
743	1590
742	1588
741	1586
740	1584
739	1582
738	1580
737	1578
736	1576
735	1574
734	1572
733	1570
732	1568
731	1566
730	1564
729	1562
728	1560
727	1558
726	1556
725	1554
724	1552
723	1550
722	1548
721	1546
720	1544
719	1542
718	1540
717	1538
716	1536
715	1534
714	1532
713	1530
712	1528
711	1526
710	1524
709	1522
708	1520
707	1518
706	1516
705	1514
704	1512
703	1510
702	1508
701	1506
700	1504
699	1502
698	1500
697	1498
696	1496
695	1494
694	1492
693	1490
692	1488
691	1486
690	1484
689	1482
688	1480
687	1478
686	1476
685	1474
684	1472
683	1470
682	1468
681	1466
680	1464
679	1462
678	1460
677	1458
676	1456
675	1454
674	1452
673	1450
672	1448
671	1446
670	1444
669	1442
668	1440
667	1438
666	1436
665	1434
664	1432
663	1430
662	1428
661	1426
660	1424
659	1422
658	1420
657	1418
656	1416
655	1414
654	1412
653	1410
652	1408
651	1406
650	1404
649	1402
648	1400
647	1398
646	1396
645	1394
644	1392
643	1390
642	1388
641	1386
640	1384
639	1382
638	1380
637	1378
636	1376
635	1374
634	1372
633	1370
632	1368
631	1366
630	1364
629	1362
628	1360
627	1358
626	1356
625	1354
624	1352
623	1350
622	1348
621	1346
620	1344
619	1342
618	1340
617	1338
616	1336
615	1334
614	1332
613	1330
612	1328
611	1326
610	1324
609	1322
608	1320
607	1318
606	1316
605	1314
604	1312
603	1310
602	1308
601	1306
600	1304
599	1302
598	1300
597	1298
596	1296
595	1294
594	1292
593	1290
592	1288
591	1286
590	1284
589	1282
588	1280
587	1278
586	1276
585	1274
584	1272
583	1270
582	1268
581	1266
580	1264
579	1262
578	1260
577	1258
576	1256
575	1254
574	1252
573	1250
572	1248
571	1246
570	1244
569	1242
568	1240
567	1238
566	1236
565	1234
564	1232
563	1230
562	1228
561	1226
560	1224
559	1222
558	1220
557	1218
556	1216
555	1214
554	1212
553	1210
552	1208
551	1206
550	1204
549	1202
548	1200
547	1198
546	1196
545	1194
544	1192
543	1190
542	1188
541	1186
540	1184
539	1182
538	1180
537	1178
536	1176
535	1174
534	1172
533	1170
532	1168
531	1166
530	1164
529	1162
528	1160
527	1158
526	1156
525	1154
524	1152
523	1150
522	1148
521	1146
520	1144
519	1142
518	1140
517	1138
516	1136
515	1134
514	1132
513	1130
512	1128
511	1126
510	1124
509	1122
508	1120
507	1118
506	1116
505	1114
504	1112
503	1110
502	1108
501	1106
500	1104
499	1102
498	1100
497	1098
496	1096
495	1094
494	1092
493	1090
492	1088
491	1086
490	1084
489	1082
488	1080
487	1078
486	1076
485	1074
484	1072
483	1070
482	1068
481	1066
480	1064
479	1062
478	1060
477	1058
476	1056
475	1054
474	1052
473	1050
472	1048
471	1046
470	1044
469	1042
468	1040
467	1038
466	1036
465	1034
464	1032
463	1030
462	1028
461	1026
460	1024
459	1022
458	1020
457	1018
456	1016
455	1014
454	1012
453	1010
452	1008
451	1006
450	1004
449	1002
448	1000
447	998
446	996
445	994
444	992
443	990
442	988
441	986
440	984
439	982
438	980
437	978
436	976
435	974
434	972
433	970
432	968
431	966
430	964
429	962
428	960
427	958
426	956
425	954
424	952
423	950
422	948
421	946
420	944
419	942
418	940
417	938
416	936
415	934
414	932
413	930
412	928
411	926
410	924
409	922
408	920
407	918
406	916
405	914
404	912
403	910
402	908
401	906
400	904
399	902
398	900
397	898
396	896
395	894
394	892
393	890
392	888
391	886
390	884
389	882
388	880
387	878
386	876
385	874
384	872
383	870
382	868
381	866
380	864
379	862
378	860
377	858
376	856
375	854
374	852
373	850
372	848
371	846
370	844
369	842
368	840
367	838
366	836
365	834
364	832
363	830
362	828
361	826
360	824
359	822
358	820
357	818
356	816
355	814
354	812
353	810
352	808
351	806
350	804
349	802
348	800
347	798
346	796
345	794
344	792
343	790
342	788
341	786
340	784
339	782
338	780
337	778
336	776
335	774
334	772
333	770
332	768
331	766
330	764
329	762
328	760
327	758
326	756
325	754
324	752
323	750
322	748
321	746
320	744
319	742
318	740
317	738
316	736
315	734
314	732
313	730
312	728
311	726
310	724
309	722
308	720
307	718
306	716
305	714
304	712
303	710
302	708
301	706
300	704
299	702
298	700
297	698
296	696
295	694
294	692
293	690
292	688
291	686
290	684
289	682
288	680
287	678
286	676
285	674
284	672
283	670
282	668
281	666
280	664
279	662
278	660
277	658
276	656
275	654
274	652
273	650
272	648
271	646
270	644
269	642
268	640
267	638
266	636
265	634
264	632
263	630
262	628
261	626
260	624
259	622
258	620
257	618
256	616
255	614
254	612
253	610
252	608
251	606
250	604
249	602
248	600
247	598
246	596
245	594
244	592
243	590
242	588
241	586
240	584
239	582
238	580
237	578
236	576
235	574
234	572
233	570
232	568
231	566
230	564
229	562
228	560
227	558
226	556
225	554
224	552
223	550
222	548
221	546
220	544
219	542
218	540
217	538
216	536
215	534
214	532
213	530
212	528
211	526
210	524
209	522
208	520
207	518
206	516
205	514
204	512
203	510
202	508
201	506
200	504
199	502
198	500
197	498
196	496
195	494
194	492
193	490
192	488
191	486
190	484
189	482
188	480
187	478
186	476
185	474
184	472
183	470
182	468
181	466
180	464
179	462
178	460
177	458
176	456
175	454
174	452
173	450
172	448
171	446
170	444
169	442
168	440
167	438
166	436
165	434
164	432
163	430
162	428
161	426
160	424
159	422
158	420
157	418
156	416
155	414
154	412
153	410
152	408
151	406
150	404
149	402
148	400
147	398
146	396
145	394
144	392
143	390
142	388
141	386
140	384
139	382
138	380
137	378
136	376
135	374
134	372
133	370
132	368
131	366
130	364
129	362
128	360
127	358
126	356
125	354
124	352
123	350
122	348
121	346
120	344
119	342
118	340
117	338
116	336
115	334
114	332
113	330
112	328
111	326
110	324
109	322
108	320
107	318
106	316
105	314
104	312
103	310
102	308
101	306
100	304
99	302
98	300
97	298
96	296
95	294
94	292
93	290
92	288
91	286
90	284
89	282
88	280
87	278
86	276
85	274
84	272
83	270
82	268
81	266
80	264
79	262
78	260
77	258
76	256
75	254
74	252
73	250
72	248
71	246
70	244
69	242
68	240
67	238
66	236
65	234
64	232
63	230
62	228
61	226
60	224
59	222
58	220
57	218
56	216
55	214
54	212
53	210
52	208
51	206
50	204
49	202
48	200
47	198
46	196
45	194
44	192
43	190
42	188
41	186
40	184
39	182
38	180
37	178
36	176
35	174
34	172
33	170
32	168
31	166
30	164
29	162
28	160
27	158
26	156
25	154
24	152
23	150
22	148
21	146
20	144
19	142
18	140
17	138
16	136
15	134
14	132
13	130
12	128
11	126
10	124
9	122
8	120
7	118
6	116
5	111
4	97
3	80
2	68
1	57
0	42

end0.0ms

sample2.6s

Algorithm

intervals

Results

564.0ms	5779×	body	80	valid
554.0ms	931×	body	1280	valid
486.0ms	2886×	body	80	nan
370.0ms	1094×	body	2560	valid
88.0ms	448×	body	640	valid
67.0ms	93×	body	5120	valid
33.0ms	226×	body	320	valid
12.0ms	125×	body	160	valid