Details

sample78.0ms

Algorithm

intervals

Results

20.0ms	186×	body	80	valid
12.0ms	29×	body	2560	valid
9.0ms	24×	body	1280	valid
6.0ms	102×	body	80	nan
3.0ms	14×	body	640	valid
2.0ms	5×	body	5120	valid
1.0ms	9×	body	320	valid
0.0ms	4×	body	160	valid

simplify70.0ms

Counts

1 → 1

Iterations

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.2b

localize29.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)
22.9b	(sqrt (fma (- a) (* 4.0 c) (* b b)))

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

44.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
15.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
2.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

series459.0ms

Counts

3 → 9

Calls

3 calls:

179.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
159.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
121.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

simplify656.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	5001
2	923
1	309
0	141

prune661.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 21.1b

localize57.0ms

Local error

Found 4 expressions with local error:

2.0b	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
3.5b	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
10.8b	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
22.9b	(sqrt (fma (* (- a) 4.0) c (* b b)))

rewrite67.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)
30.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)))

series866.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
325.0ms	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
304.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
105.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

14 alts after pruning (14 fresh and 0 done)

Merged error: 16.5b

localize52.0ms

Local error

Found 4 expressions with local error:

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

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

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

series509.0ms

Counts

4 → 12

Calls

4 calls:

117.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
127.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
128.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
137.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

prune930.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 16.5b

localize92.0ms

Local error

Found 4 expressions with local error:

2.0b	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
17.4b	(fma (* (cbrt b) (cbrt b)) (cbrt b) (sqrt (fma 4.0 (* a (- c)) (* b b))))
22.9b	(sqrt (fma 4.0 (* a (- c)) (* b b)))
22.9b	(sqrt (fma 4.0 (* a (- c)) (* b b)))

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

7.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
1.0ms	(fma (* (cbrt b) (cbrt b)) (cbrt b) (sqrt (fma 4.0 (* a (- c)) (* b b))))
2.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
3.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

series579.0ms

Counts

4 → 12

Calls

4 calls:

110.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
224.0ms	(fma (* (cbrt b) (cbrt b)) (cbrt b) (sqrt (fma 4.0 (* a (- c)) (* b b))))
131.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
114.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

prune764.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 16.4b

regimes604.0ms

Accuracy

92.9% (1.1b remaining)

Error of 16.3b against oracle of 15.2b and baseline of 30.2b

bsearch201.0ms

Steps

Iters	Range		Point
6	6.564547618699002e+164	7.824747666367356e+165	6.695434107567982e+164
9	1.657231371314425e-305	1.760208242016082e-296	1.6905899892511143e-305

simplify13.1s

Iterations

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

end0.0ms

sample3.6s

Algorithm

intervals

Results

1.1s	5961×	body	80	valid
872.0ms	1054×	body	2560	valid
358.0ms	877×	body	1280	valid
311.0ms	2946×	body	80	nan
176.0ms	97×	body	5120	valid
176.0ms	455×	body	640	valid
47.0ms	214×	body	320	valid
17.0ms	111×	body	160	valid