Details

sample109.0ms

Algorithm

intervals

Results

23.0ms	40×	body	2560	valid
18.0ms	183×	body	80	valid
16.0ms	35×	body	1280	valid
8.0ms	79×	body	80	nan
6.0ms	16×	body	640	valid
1.0ms	2×	body	5120	valid
1.0ms	5×	body	160	valid
1.0ms	2×	body	320	valid

simplify117.0ms

Counts

1 → 1

Iterations

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.3b

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

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

43.0ms	(/ (- (sqrt (fma a (* 4.0 (- c)) (* b b))) b) a)
9.0ms	(- (sqrt (fma a (* 4.0 (- c)) (* b b))) b)
2.0ms	(sqrt (fma a (* 4.0 (- c)) (* b b)))

series428.0ms

Counts

3 → 9

Calls

3 calls:

172.0ms	(/ (- (sqrt (fma a (* 4.0 (- c)) (* b b))) b) a)
116.0ms	(- (sqrt (fma a (* 4.0 (- c)) (* b b))) b)
139.0ms	(sqrt (fma a (* 4.0 (- c)) (* b b)))

simplify650.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	5001
2	929
1	311
0	142

prune757.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 22.8b

localize27.0ms

Local error

Found 4 expressions with local error:

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

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

15.0ms	(+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)
53.0ms	(/ (/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)) a)
24.0ms	(/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b))
3.0ms	(sqrt (fma (- (* a c)) 4.0 (* b b)))

series901.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)
319.0ms	(/ (/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b)) a)
333.0ms	(/ (fma (* a 4.0) (- c) 0) (+ (sqrt (fma (- (* a c)) 4.0 (* b b))) b))
125.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.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 13.9b

localize48.0ms

Local error

Found 4 expressions with local error:

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

series464.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(+ b (sqrt (fma (* (- c) a) 4.0 (* b b))))
120.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
124.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
95.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))

simplify1.6s

Counts

74 → 74

Iterations

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

prune831.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 13.9b

localize126.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

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

series538.0ms

Counts

4 → 12

Calls

4 calls:

121.0ms	(sqrt (fma 4.0 (* (- a) c) (* b b)))
145.0ms	(sqrt (fma 4.0 (* (- a) c) (* b b)))
141.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))
130.0ms	(sqrt (fma (* (- c) a) 4.0 (* b b)))

simplify2.1s

Counts

72 → 72

Iterations

Iter	Nodes
done	5000
8	1723
7	1036
6	863
5	756
4	496
3	227
2	105
1	67
0	46

prune889.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 13.9b

regimes584.0ms

Accuracy

92.6% (1.1b remaining)

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

bsearch388.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

simplify15.0s

Iterations

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

end0.0ms

sample3.7s

Algorithm

intervals

Results

948.0ms	1094×	body	2560	valid
926.0ms	5779×	body	80	valid
434.0ms	931×	body	1280	valid
387.0ms	2886×	body	80	nan
261.0ms	448×	body	640	valid
67.0ms	125×	body	160	valid
56.0ms	93×	body	5120	valid
48.0ms	226×	body	320	valid