Details

sample125.0ms

Algorithm

intervals

Results

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

simplify103.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: 35.3b

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

rewrite70.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)
19.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
3.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

series466.0ms

Counts

3 → 9

Calls

3 calls:

196.0ms	(/ (- (sqrt (fma (- a) (* 4.0 c) (* b b))) b) a)
133.0ms	(- (sqrt (fma (- a) (* 4.0 c) (* b b))) b)
136.0ms	(sqrt (fma (- a) (* 4.0 c) (* b b)))

simplify732.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	5001
2	923
1	309
0	141

prune634.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 22.8b

localize41.0ms

Local error

Found 4 expressions with local error:

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

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

8.0ms	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
43.0ms	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
33.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
3.0ms	(sqrt (fma (* (- a) 4.0) c (* b b)))

series885.0ms

Counts

4 → 12

Calls

4 calls:

117.0ms	(+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)
346.0ms	(/ (/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b)) a)
319.0ms	(/ (fma (* (- a) c) 4.0 0) (+ (sqrt (fma (* (- a) 4.0) c (* b b))) b))
103.0ms	(sqrt (fma (* (- a) 4.0) c (* b b)))

simplify995.0ms

Counts

174 → 174

Iterations

Iter	Nodes
done	5000
2	2280
1	581
0	243

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.9b

localize40.0ms

Local error

Found 4 expressions with local error:

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

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

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

series531.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
145.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
129.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
138.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

simplify1.5s

Counts

76 → 76

Iterations

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

prune831.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.9b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

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

series565.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(+ b (sqrt (fma 4.0 (* a (- c)) (* b b))))
142.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
135.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))
139.0ms	(sqrt (fma 4.0 (* a (- c)) (* b b)))

simplify1.5s

Counts

74 → 74

Iterations

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

prune771.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 13.9b

regimes951.0ms

Accuracy

92.7% (1.1b remaining)

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

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

simplify13.4s

Iterations

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

end0.0ms

sample3.6s

Algorithm

intervals

Results

1.2s	1094×	body	2560	valid
609.0ms	5779×	body	80	valid
542.0ms	931×	body	1280	valid
317.0ms	2886×	body	80	nan
142.0ms	448×	body	640	valid
66.0ms	125×	body	160	valid
61.0ms	93×	body	5120	valid
54.0ms	226×	body	320	valid