Details

sample68.0ms

Algorithm

intervals

Results

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

simplify114.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	129
5	129
4	120
3	87
2	46
1	25
0	14

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.2b

localize33.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)))

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

35.0ms	(/ (- (sqrt (fma a (* 4.0 (- c)) (* b b))) b) a)
9.0ms	(- (sqrt (fma a (* 4.0 (- c)) (* b b))) b)
1.0ms	(sqrt (fma a (* 4.0 (- c)) (* b b)))

series433.0ms

Counts

3 → 9

Calls

3 calls:

169.0ms	(/ (- (sqrt (fma a (* 4.0 (- c)) (* b b))) b) a)
126.0ms	(- (sqrt (fma a (* 4.0 (- c)) (* b b))) b)
136.0ms	(sqrt (fma a (* 4.0 (- c)) (* b b)))

simplify788.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	5001
2	929
1	311
0	142

prune658.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 21.1b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.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 c)) 4.0 (* b b))) b)
27.0ms	(/ (/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)) a)
23.0ms	(/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b))
2.0ms	(sqrt (fma (- (* a c)) 4.0 (* b b)))

series868.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)
323.0ms	(/ (/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)) a)
303.0ms	(/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b))
115.0ms	(sqrt (fma (- (* a c)) 4.0 (* b b)))

simplify1.2s

Counts

174 → 174

Iterations

Iter	Nodes
done	5000
2	2299
1	582
0	245

prune1.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 16.5b

localize65.0ms

Local error

Found 4 expressions with local error:

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

series492.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(+ b (sqrt (fma (* (- c) a) 4.0 (* b b))))
122.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
141.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
116.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))

simplify1.5s

Counts

74 → 74

Iterations

Iter	Nodes
done	5001
3	2470
2	466
1	140
0	61

prune850.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 16.5b

localize97.0ms

Local error

Found 4 expressions with local error:

22.9b	(sqrt (fma (* (- c) a) 4.0 (* b b)))
22.9b	(sqrt (fma (* (- c) a) 4.0 (* b b)))
23.8b	(cbrt (fma 4.0 (* (- a) c) (* b b)))
23.8b	(cbrt (fma 4.0 (* (- a) c) (* b b)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
6×	`cbrt-prod` `pow1` `sqrt-prod`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow1/3`

Counts

4 → 56

Calls

4 calls:

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

series917.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
104.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
323.0ms	(cbrt (fma 4.0 (* (- a) c) (* b b)))
342.0ms	(cbrt (fma 4.0 (* (- a) c) (* b b)))

simplify705.0ms

Counts

68 → 68

Iterations

Iter	Nodes
done	5000
3	1128
2	310
1	137
0	76

prune905.0ms

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 16.5b

regimes657.0ms

Accuracy

92.4% (1.1b remaining)

Error of 16.5b against oracle of 15.3b and baseline of 30.3b

bsearch314.0ms

Steps

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

simplify13.7s

Iterations

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

end0.0ms

sample3.5s

Algorithm

intervals

Results

1.1s	5961×	body	80	valid
732.0ms	1054×	body	2560	valid
390.0ms	877×	body	1280	valid
360.0ms	2946×	body	80	nan
136.0ms	455×	body	640	valid
57.0ms	97×	body	5120	valid
52.0ms	214×	body	320	valid
17.0ms	111×	body	160	valid