Details

sample109.0ms

Algorithm

intervals

Results

19.0ms

265×

body

valid

simplify985.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
10	1226
9	555
8	476
7	436
6	412
5	356
4	239
3	132
2	65
1	25
0	8

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ t1 (+ u t1))
0.0b	(/ (- v) (+ u t1))
1.7b	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

rewrite219.0ms

Algorithm

rewrite-expression-head

Rules

125×	`*-un-lft-identity`
108×	`times-frac`
81×	`add-sqr-sqrt`
69×	`add-cube-cbrt`
46×	`associate-l`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
19×	`add-cbrt-cube` `add-exp-log`
18×	`associate-r`
13×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*` `associate-/r/`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
3×	`add-log-exp`
2×	`clear-num` `frac-2neg` `distribute-frac-neg`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 192

Calls

3 calls:

44.0ms	(/ t1 (+ u t1))
18.0ms	(/ (- v) (+ u t1))
140.0ms	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

series315.0ms

Counts

3 → 9

Calls

3 calls:

80.0ms	(/ t1 (+ u t1))
55.0ms	(/ (- v) (+ u t1))
180.0ms	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

simplify1.7s

Counts

201 → 201

Iterations

Iter	Nodes
done	5000
2	3631
1	645
0	212

prune928.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ t1 (+ t1 u))
0.4b	(/ (* (/ t1 (+ t1 u)) (- v)) (+ t1 u))
3.2b	(* (/ t1 (+ t1 u)) (- v))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
30×	`add-sqr-sqrt`
29×	`times-frac`
25×	`add-cube-cbrt`
19×	`add-cbrt-cube` `add-exp-log`
18×	`associate-l`
10×	`associate-r`
9×	`distribute-lft-out`
8×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/r/`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `associate-/l*`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `flip3-+` `flip-+` `div-inv` `add-log-exp`
2×	`clear-num` `frac-2neg` `associate-*l/` `distribute-rgt-neg-out` `unswap-sqr`
1×	`neg-mul-1` `pow-prod-down` `distribute-frac-neg` `*-commutative` `associate-/l/`

Counts

3 → 107

Calls

3 calls:

11.0ms	(/ t1 (+ t1 u))
20.0ms	(/ (* (/ t1 (+ t1 u)) (- v)) (+ t1 u))
33.0ms	(* (/ t1 (+ t1 u)) (- v))

series383.0ms

Counts

3 → 9

Calls

3 calls:

74.0ms	(/ t1 (+ t1 u))
179.0ms	(/ (* (/ t1 (+ t1 u)) (- v)) (+ t1 u))
130.0ms	(* (/ t1 (+ t1 u)) (- v))

simplify1.4s

Counts

116 → 116

Iterations

Iter	Nodes
done	5000
2	2638
1	436
0	145

prune720.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- v) (+ u t1))
0.4b	(/ (* t1 (/ (- v) (+ u t1))) (+ t1 u))
7.0b	(* t1 (/ (- v) (+ u t1)))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
85×	`times-frac`
60×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
46×	`associate-r`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`distribute-lft-out`
19×	`add-cbrt-cube` `add-exp-log`
11×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/r/`
5×	`pow1`
4×	`prod-exp` `distribute-frac-neg` `cbrt-unprod`
3×	`flip3-+` `associate-l` `flip-+` `div-inv` `add-log-exp`
2×	`clear-num` `frac-2neg` `associate-*r/` `distribute-rgt-neg-out` `unswap-sqr`
1×	`neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 165

Calls

3 calls:

22.0ms	(/ (- v) (+ u t1))
40.0ms	(/ (* t1 (/ (- v) (+ u t1))) (+ t1 u))
54.0ms	(* t1 (/ (- v) (+ u t1)))

series215.0ms

Counts

3 → 9

Calls

3 calls:

45.0ms	(/ (- v) (+ u t1))
90.0ms	(/ (* t1 (/ (- v) (+ u t1))) (+ t1 u))
80.0ms	(* t1 (/ (- v) (+ u t1)))

simplify1.3s

Counts

174 → 174

Iterations

Iter	Nodes
done	5000
2	2893
1	567
0	202

prune859.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ t1 u) t1)
0.0b	(/ (- v) (+ u t1))
0.5b	(/ 1 (/ (+ t1 u) t1))
1.7b	(* (/ (- v) (+ u t1)) (/ 1 (/ (+ t1 u) t1)))

rewrite194.0ms

Algorithm

rewrite-expression-head

Rules

289×	`times-frac`
248×	`*-un-lft-identity`
185×	`add-sqr-sqrt`
152×	`add-cube-cbrt`
64×	`add-exp-log`
53×	`associate-r`
46×	`associate-l` `distribute-lft-out`
34×	`add-cbrt-cube`
30×	`div-exp`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`associate-/r*`
17×	`associate-/l*`
14×	`cbrt-undiv` `prod-exp`
12×	`div-inv`
10×	`unswap-sqr`
9×	`neg-mul-1`
7×	`pow1`
6×	`rec-exp` `1-exp` `associate-/r/` `cbrt-unprod`
4×	`add-log-exp`
3×	`clear-num` `frac-2neg` `flip3-+` `flip-+`
2×	`distribute-frac-neg` `associate-/l/`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `un-div-inv` `*-commutative` `pow-flip` `inv-pow`

Counts

4 → 334

Calls

4 calls:

26.0ms	(/ (+ t1 u) t1)
12.0ms	(/ (- v) (+ u t1))
13.0ms	(/ 1 (/ (+ t1 u) t1))
112.0ms	(* (/ (- v) (+ u t1)) (/ 1 (/ (+ t1 u) t1)))

series228.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(/ (+ t1 u) t1)
38.0ms	(/ (- v) (+ u t1))
73.0ms	(/ 1 (/ (+ t1 u) t1))
86.0ms	(* (/ (- v) (+ u t1)) (/ 1 (/ (+ t1 u) t1)))

simplify667.0ms

Counts

346 → 346

Iterations

Iter	Nodes
done	5000
1	1212
0	370

prune1.5s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes242.0ms

Accuracy

0% (1.3b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 1.3b

bsearch0.0ms

simplify3.3s

Iterations

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

end0.0ms

sample1.3s

Algorithm

intervals

Results

866.0ms

8247×

body

valid