Details

sample98.0ms

Algorithm

intervals

Results

21.0ms	81×	body	80	nan
18.0ms	37×	body	2560	valid
14.0ms	192×	body	80	valid
11.0ms	30×	body	1280	valid
3.0ms	12×	body	640	valid
2.0ms	13×	body	320	valid
1.0ms	2×	body	5120	valid
0.0ms	2×	body	160	valid

simplify102.0ms

Counts

1 → 1

Iterations

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma a (* 4.0 (- c)) (* b b))
0.1b	(/ (- (sqrt (fma a (* 4.0 (- c)) (* b b))) b) a)
1.2b	(- (sqrt (fma a (* 4.0 (- c)) (* b b))) b)
22.4b	(sqrt (fma a (* 4.0 (- c)) (* b b)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
30×	`add-cube-cbrt`
20×	`sqrt-prod`
18×	`times-frac` `prod-diff`
10×	`difference-of-squares`
6×	`add-cbrt-cube` `fma-neg` `add-exp-log` `associate-/l*` `add-log-exp`
5×	`pow1` `distribute-lft-out--`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-/r*`
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` `fma-udef` `div-inv`

Counts

4 → 110

Calls

4 calls:

1.0ms	(fma a (* 4.0 (- c)) (* b b))
39.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)))

series546.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(fma a (* 4.0 (- c)) (* b b))
170.0ms	(/ (- (sqrt (fma a (* 4.0 (- c)) (* b b))) b) a)
148.0ms	(- (sqrt (fma a (* 4.0 (- c)) (* b b))) b)
144.0ms	(sqrt (fma a (* 4.0 (- c)) (* b b)))

simplify818.0ms

Counts

122 → 122

Iterations

Iter	Nodes
done	5000
2	1069
1	336
0	153

prune680.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 21.3b

localize31.0ms

Local error

Found 4 expressions with local error:

0.9b	(+ b (sqrt (fma (- (* a 4.0)) c (* b b))))
4.2b	(/ (/ (fma 4.0 (* (- c) a) 0) (+ b (sqrt (fma (- (* a 4.0)) c (* b b))))) a)
10.0b	(/ (fma 4.0 (* (- c) a) 0) (+ b (sqrt (fma (- (* a 4.0)) c (* b b)))))
22.4b	(sqrt (fma (- (* a 4.0)) c (* b b)))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 159

Calls

4 calls:

11.0ms	(+ b (sqrt (fma (- (* a 4.0)) c (* b b))))
41.0ms	(/ (/ (fma 4.0 (* (- c) a) 0) (+ b (sqrt (fma (- (* a 4.0)) c (* b b))))) a)
11.0ms	(/ (fma 4.0 (* (- c) a) 0) (+ b (sqrt (fma (- (* a 4.0)) c (* b b)))))
1.0ms	(sqrt (fma (- (* a 4.0)) c (* b b)))

series879.0ms

Counts

4 → 12

Calls

4 calls:

136.0ms	(+ b (sqrt (fma (- (* a 4.0)) c (* b b))))
267.0ms	(/ (/ (fma 4.0 (* (- c) a) 0) (+ b (sqrt (fma (- (* a 4.0)) c (* b b))))) a)
318.0ms	(/ (fma 4.0 (* (- c) a) 0) (+ b (sqrt (fma (- (* a 4.0)) c (* b b)))))
157.0ms	(sqrt (fma (- (* a 4.0)) c (* b b)))

simplify1.3s

Counts

171 → 171

Iterations

Iter	Nodes
done	5000
2	2609
1	617
0	255

prune1.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 12.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

series457.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(+ b (sqrt (fma c (* 4.0 (- a)) (* b b))))
123.0ms	(sqrt (fma c (* 4.0 (- a)) (* b b)))
129.0ms	(sqrt (fma c (* 4.0 (- a)) (* b b)))
100.0ms	(sqrt (fma c (* 4.0 (- a)) (* b b)))

simplify1.5s

Counts

74 → 74

Iterations

Iter	Nodes
done	5001
3	2468
2	467
1	141
0	61

prune819.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 12.0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

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

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

series465.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(sqrt (fma (* c (- 4.0)) a (* b b)))
104.0ms	(sqrt (fma (* c (- 4.0)) a (* b b)))
119.0ms	(sqrt (fma c (* 4.0 (- a)) (* b b)))
117.0ms	(sqrt (fma c (* 4.0 (- a)) (* b b)))

simplify2.0s

Counts

72 → 72

Iterations

Iter	Nodes
done	5001
8	1660
7	998
6	811
5	699
4	478
3	236
2	110
1	65
0	45

prune897.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 12.0b

regimes895.0ms

Accuracy

94.4% (1.0b remaining)

Error of 13.4b against oracle of 12.4b and baseline of 30.0b

bsearch416.0ms

Steps

Iters	Range	Point
9	1.3454636298909747e+150	2.0595413663119288e+155	1.3334980011757129e+154
9	6.667604352815088e-244	1.4007292735245604e-237	3.4157218948604464e-240
8	-1.9380238583695243e+170	-1.201051446166949e+166	-1.2211710808335948e+166

Iters

Range

Point

1.3454636298909747e+150

2.0595413663119288e+155

1.3334980011757129e+154

6.667604352815088e-244

1.4007292735245604e-237

3.4157218948604464e-240

-1.9380238583695243e+170

-1.201051446166949e+166

-1.2211710808335948e+166

simplify15.9s

Iterations

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

end0.0ms

sample3.9s

Algorithm

intervals

Results

1.1s	5837×	body	80	valid
578.0ms	936×	body	1280	valid
536.0ms	1070×	body	2560	valid
416.0ms	223×	body	320	valid
378.0ms	2814×	body	80	nan
147.0ms	453×	body	640	valid
61.0ms	94×	body	5120	valid
18.0ms	113×	body	160	valid