Details

sample251.0ms

Algorithm

intervals

Results

19.0ms

268×

body

valid

simplify1.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
10	1417
9	670
8	579
7	535
6	492
5	411
4	271
3	144
2	67
1	25
0	8

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.9b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-cbrt-cube` `add-exp-log`
12×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt` `frac-times` `associate-/r/`
6×	`swap-sqr` `add-cube-cbrt` `distribute-lft-out`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-r` `associate-l` `associate-l/` `associate-r/`
2×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
1×	`distribute-lft-neg-out` `pow2` `distribute-rgt-in` `clear-num` `associate-/r` `frac-2neg` `distribute-lft-in` `times-frac` `pow-plus` `pow-prod-down` `distribute-frac-neg` `pow-sqr` `-commutative` `pow-prod-up` `div-inv` `associate-/l*` `unswap-sqr`

Counts

2 → 74

Calls

2 calls:

47.0ms	(* (+ t1 u) (+ t1 u))
19.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series140.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(* (+ t1 u) (+ t1 u))
115.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify2.0s

Counts

80 → 80

Iterations

Iter	Nodes
done	5001
2	3391
1	430
0	116

prune394.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite130.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×	`expm1-log1p-u` `log1p-expm1-u` `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 → 198

Calls

3 calls:

22.0ms	(/ (- t1) (+ t1 u))
17.0ms	(/ v (+ t1 u))
74.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series272.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(/ (- t1) (+ t1 u))
30.0ms	(/ v (+ t1 u))
196.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify2.0s

Counts

207 → 207

Iterations

Iter	Nodes
done	5000
2	3665
1	655
0	219

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
0.6b	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
3.1b	(* (/ (- t1) (+ t1 u)) v)

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
85×	`times-frac`
60×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
46×	`associate-l`
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×	`expm1-log1p-u` `flip3-+` `associate-r` `flip-+` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`distribute-lft-neg-out` `clear-num` `frac-2neg` `associate-*l/` `unswap-sqr`
1×	`neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 171

Calls

3 calls:

21.0ms	(/ (- t1) (+ t1 u))
20.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
58.0ms	(* (/ (- t1) (+ t1 u)) v)

series388.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(/ (- t1) (+ t1 u))
222.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
116.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify1.6s

Counts

180 → 180

Iterations

Iter	Nodes
done	5000
2	2856
1	525
0	198

prune908.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
0.2b	(/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
0.6b	(/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))
3.1b	(* (/ (- t1) (+ t1 u)) v)

rewrite187.0ms

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity` `times-frac`
79×	`add-sqr-sqrt`
74×	`add-cube-cbrt`
54×	`add-exp-log`
46×	`associate-l`
34×	`add-cbrt-cube`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `distribute-lft-out`
26×	`div-exp`
17×	`associate-/l*`
14×	`cbrt-undiv` `associate-/r*`
10×	`prod-exp` `associate-/r/`
9×	`neg-mul-1`
8×	`div-inv`
7×	`pow1`
6×	`associate-*l/` `cbrt-unprod`
4×	`expm1-log1p-u` `rec-exp` `1-exp` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg` `flip3-+` `associate-r` `flip-+`
2×	`distribute-frac-neg` `unswap-sqr` `associate-/l/`
1×	`distribute-lft-neg-out` `neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `pow-flip` `inv-pow`

Counts

4 → 240

Calls

4 calls:

23.0ms	(/ (- t1) (+ t1 u))
61.0ms	(/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
39.0ms	(/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))
46.0ms	(* (/ (- t1) (+ t1 u)) v)

series405.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ (- t1) (+ t1 u))
180.0ms	(/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
53.0ms	(/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))
113.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify3.0s

Counts

252 → 252

Iterations

Iter	Nodes
done	5000
2	4418
1	762
0	285

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes139.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify3.1s

Iterations

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

end0.0ms

sample854.0ms

Algorithm

intervals

Results

562.0ms

8274×

body

valid