Details

sample60.0ms

Algorithm

intervals

Results

48.0ms

458×

body

valid

simplify3.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
6	1970
5	833
4	340
3	156
2	58
1	21
0	11

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.3b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x.re x.re) (* x.im x.im))
0.2b	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.2b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
6.3b	(* (- (* x.re x.re) (* x.im x.im)) x.re)

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `associate-*l/`
8×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
7×	`associate-l`
6×	`associate-r`
5×	`flip3--` `flip--`
4×	`frac-sub` `insert-posit16`
3×	`flip3-+` `flip-+`
2×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

4 → 74

Calls

4 calls:

9.0ms	(- (* x.re x.re) (* x.im x.im))
56.0ms	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
37.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
32.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)

series219.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(- (* x.re x.re) (* x.im x.im))
65.0ms	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
45.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
70.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)

simplify1.7s

Counts

86 → 86

Iterations

Iter	Nodes
done	5002
2	1613
1	412
0	143

prune371.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- x.re x.im) x.re)
0.2b	(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.2b	(* (+ x.re x.im) (* (- x.re x.im) x.re))
0.2b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

rewrite200.0ms

Algorithm

rewrite-expression-head

Rules

44×	`associate-*l/`
18×	`flip3-+` `flip-+`
16×	`frac-sub`
15×	`add-sqr-sqrt`
13×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log`
12×	`frac-times` `associate-l`
11×	`flip3--` `flip--`
9×	`add-cube-cbrt`
7×	`associate-r`
6×	`associate-*r/` `add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`insert-posit16`
3×	`*-commutative`
2×	`unswap-sqr`
1×	`sub-neg` `diff-log` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 101

Calls

4 calls:

31.0ms	(* (- x.re x.im) x.re)
63.0ms	(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
63.0ms	(* (+ x.re x.im) (* (- x.re x.im) x.re))
39.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

series246.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (- x.re x.im) x.re)
71.0ms	(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
81.0ms	(* (+ x.re x.im) (* (- x.re x.im) x.re))
51.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

simplify2.7s

Counts

113 → 113

Iterations

Iter	Nodes
done	5002
2	3825
1	753
0	215

prune500.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x.re (- x.re x.im))
0.2b	(- (* (+ x.re x.im) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.2b	(* (+ x.re x.im) (* x.re (- x.re x.im)))
0.2b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate-*r/`
24×	`associate-*l/`
18×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `flip-+`
16×	`frac-sub`
15×	`add-sqr-sqrt`
13×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log`
12×	`frac-times`
11×	`sub-neg` `flip3--` `flip--`
10×	`associate-l`
9×	`associate-r` `add-cube-cbrt`
8×	`associate--l+`
6×	`add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`insert-posit16`
3×	`*-commutative`
2×	`unswap-sqr`
1×	`diff-log` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 121

Calls

4 calls:

22.0ms	(* x.re (- x.re x.im))
48.0ms	(- (* (+ x.re x.im) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
45.0ms	(* (+ x.re x.im) (* x.re (- x.re x.im)))
21.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

series233.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(* x.re (- x.re x.im))
76.0ms	(- (* (+ x.re x.im) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
61.0ms	(* (+ x.re x.im) (* x.re (- x.re x.im)))
35.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

simplify2.9s

Counts

133 → 133

Iterations

Iter	Nodes
done	5000
2	4386
1	823
0	228

prune614.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (+ x.re x.im) (* x.re x.re)) (* (- x.im) (+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re)))))
0.1b	(+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re)))
0.2b	(* (- x.im) (+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re))))
4.8b	(* (+ x.re x.im) (* x.re x.re))

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

50×	`associate-*r/`
28×	`flip3-+` `frac-add` `flip-+`
14×	`associate-l` `associate-*l/`
12×	`add-sqr-sqrt`
11×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log`
9×	`add-cube-cbrt`
8×	`add-log-exp`
4×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`+-commutative` `associate-+l+` `sum-log` `*-commutative` `unswap-sqr`
1×	`neg-mul-1` `unsub-neg` `distribute-lft-out`

Counts

4 → 106

Calls

4 calls:

45.0ms	(+ (* (+ x.re x.im) (* x.re x.re)) (* (- x.im) (+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re)))))
12.0ms	(+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re)))
53.0ms	(* (- x.im) (+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re))))
31.0ms	(* (+ x.re x.im) (* x.re x.re))

series290.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(+ (* (+ x.re x.im) (* x.re x.re)) (* (- x.im) (+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re)))))
44.0ms	(+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re)))
79.0ms	(* (- x.im) (+ (* x.re (+ x.im x.re)) (* x.im (+ x.re x.re))))
65.0ms	(* (+ x.re x.im) (* x.re x.re))

simplify2.7s

Counts

118 → 118

Iterations

Iter	Nodes
done	5000
2	3554
1	838
0	227

prune539.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes138.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify5.6s

Iterations

Iter	Nodes
done	5001
2835	4999
2834	4998
2833	4996
2832	4994
2831	4992
2830	4991
2829	4989
2828	4987
2827	4985
2826	4984
2825	4982
2824	4980
2823	4978
2822	4977
2821	4975
2820	4973
2819	4971
2818	4970
2817	4968
2816	4966
2815	4964
2814	4963
2813	4961
2812	4959
2811	4957
2810	4956
2809	4954
2808	4952
2807	4950
2806	4949
2805	4947
2804	4945
2803	4943
2802	4942
2801	4940
2800	4938
2799	4936
2798	4935
2797	4933
2796	4931
2795	4929
2794	4928
2793	4926
2792	4924
2791	4922
2790	4921
2789	4919
2788	4917
2787	4915
2786	4914
2785	4912
2784	4910
2783	4908
2782	4907
2781	4905
2780	4903
2779	4901
2778	4900
2777	4898
2776	4896
2775	4894
2774	4893
2773	4891
2772	4889
2771	4887
2770	4886
2769	4884
2768	4882
2767	4880
2766	4879
2765	4877
2764	4875
2763	4873
2762	4872
2761	4870
2760	4868
2759	4866
2758	4865
2757	4863
2756	4861
2755	4859
2754	4858
2753	4856
2752	4854
2751	4852
2750	4851
2749	4849
2748	4847
2747	4845
2746	4844
2745	4842
2744	4840
2743	4838
2742	4837
2741	4835
2740	4833
2739	4831
2738	4830
2737	4828
2736	4826
2735	4824
2734	4823
2733	4821
2732	4819
2731	4817
2730	4816
2729	4814
2728	4812
2727	4810
2726	4809
2725	4807
2724	4805
2723	4803
2722	4802
2721	4800
2720	4798
2719	4796
2718	4795
2717	4793
2716	4791
2715	4789
2714	4788
2713	4786
2712	4784
2711	4782
2710	4781
2709	4779
2708	4777
2707	4775
2706	4774
2705	4772
2704	4770
2703	4768
2702	4767
2701	4765
2700	4763
2699	4761
2698	4760
2697	4758
2696	4756
2695	4754
2694	4753
2693	4751
2692	4749
2691	4747
2690	4746
2689	4744
2688	4742
2687	4740
2686	4739
2685	4737
2684	4735
2683	4733
2682	4732
2681	4730
2680	4728
2679	4726
2678	4725
2677	4723
2676	4721
2675	4719
2674	4718
2673	4716
2672	4714
2671	4712
2670	4711
2669	4709
2668	4707
2667	4705
2666	4704
2665	4702
2664	4700
2663	4698
2662	4697
2661	4695
2660	4693
2659	4691
2658	4690
2657	4688
2656	4686
2655	4684
2654	4683
2653	4681
2652	4679
2651	4677
2650	4676
2649	4674
2648	4672
2647	4670
2646	4669
2645	4667
2644	4665
2643	4663
2642	4662
2641	4660
2640	4658
2639	4656
2638	4655
2637	4653
2636	4651
2635	4649
2634	4648
2633	4646
2632	4644
2631	4642
2630	4641
2629	4639
2628	4637
2627	4635
2626	4634
2625	4632
2624	4630
2623	4628
2622	4627
2621	4625
2620	4623
2619	4621
2618	4620
2617	4618
2616	4616
2615	4614
2614	4613
2613	4611
2612	4609
2611	4607
2610	4606
2609	4604
2608	4602
2607	4600
2606	4599
2605	4597
2604	4595
2603	4593
2602	4592
2601	4590
2600	4588
2599	4586
2598	4585
2597	4583
2596	4581
2595	4579
2594	4578
2593	4576
2592	4574
2591	4572
2590	4571
2589	4569
2588	4567
2587	4565
2586	4564
2585	4562
2584	4560
2583	4558
2582	4557
2581	4555
2580	4553
2579	4551
2578	4550
2577	4548
2576	4546
2575	4544
2574	4543
2573	4541
2572	4539
2571	4537
2570	4536
2569	4534
2568	4532
2567	4530
2566	4529
2565	4527
2564	4525
2563	4523
2562	4522
2561	4520
2560	4518
2559	4516
2558	4515
2557	4513
2556	4511
2555	4509
2554	4508
2553	4506
2552	4504
2551	4502
2550	4501
2549	4499
2548	4497
2547	4495
2546	4494
2545	4492
2544	4490
2543	4488
2542	4487
2541	4485
2540	4483
2539	4481
2538	4480
2537	4478
2536	4476
2535	4474
2534	4473
2533	4471
2532	4469
2531	4467
2530	4466
2529	4464
2528	4462
2527	4460
2526	4459
2525	4457
2524	4455
2523	4453
2522	4452
2521	4450
2520	4448
2519	4446
2518	4445
2517	4443
2516	4441
2515	4439
2514	4438
2513	4436
2512	4434
2511	4432
2510	4431
2509	4429
2508	4427
2507	4425
2506	4424
2505	4422
2504	4420
2503	4418
2502	4417
2501	4415
2500	4413
2499	4411
2498	4410
2497	4408
2496	4406
2495	4404
2494	4403
2493	4401
2492	4399
2491	4397
2490	4396
2489	4394
2488	4392
2487	4390
2486	4389
2485	4387
2484	4385
2483	4383
2482	4382
2481	4380
2480	4378
2479	4376
2478	4375
2477	4373
2476	4371
2475	4369
2474	4368
2473	4366
2472	4364
2471	4362
2470	4361
2469	4359
2468	4357
2467	4355
2466	4354
2465	4352
2464	4350
2463	4348
2462	4347
2461	4345
2460	4343
2459	4341
2458	4340
2457	4338
2456	4336
2455	4334
2454	4333
2453	4331
2452	4329
2451	4327
2450	4326
2449	4324
2448	4322
2447	4320
2446	4319
2445	4317
2444	4315
2443	4313
2442	4312
2441	4310
2440	4308
2439	4306
2438	4305
2437	4303
2436	4301
2435	4299
2434	4298
2433	4296
2432	4294
2431	4292
2430	4291
2429	4289
2428	4287
2427	4285
2426	4284
2425	4282
2424	4280
2423	4278
2422	4277
2421	4275
2420	4273
2419	4271
2418	4270
2417	4268
2416	4266
2415	4264
2414	4263
2413	4261
2412	4259
2411	4257
2410	4256
2409	4254
2408	4252
2407	4250
2406	4249
2405	4247
2404	4245
2403	4243
2402	4242
2401	4240
2400	4238
2399	4236
2398	4235
2397	4233
2396	4231
2395	4229
2394	4228
2393	4226
2392	4224
2391	4222
2390	4221
2389	4219
2388	4217
2387	4215
2386	4214
2385	4212
2384	4210
2383	4208
2382	4207
2381	4205
2380	4203
2379	4201
2378	4200
2377	4198
2376	4196
2375	4194
2374	4193
2373	4191
2372	4189
2371	4187
2370	4186
2369	4184
2368	4182
2367	4180
2366	4179
2365	4177
2364	4175
2363	4173
2362	4172
2361	4170
2360	4168
2359	4166
2358	4165
2357	4163
2356	4161
2355	4159
2354	4158
2353	4156
2352	4154
2351	4152
2350	4151
2349	4149
2348	4147
2347	4145
2346	4144
2345	4142
2344	4140
2343	4138
2342	4137
2341	4135
2340	4133
2339	4131
2338	4130
2337	4128
2336	4126
2335	4124
2334	4123
2333	4121
2332	4119
2331	4117
2330	4116
2329	4114
2328	4112
2327	4110
2326	4109
2325	4107
2324	4105
2323	4103
2322	4102
2321	4100
2320	4098
2319	4096
2318	4095
2317	4093
2316	4091
2315	4089
2314	4088
2313	4086
2312	4084
2311	4082
2310	4081
2309	4079
2308	4077
2307	4075
2306	4074
2305	4072
2304	4070
2303	4068
2302	4067
2301	4065
2300	4063
2299	4061
2298	4060
2297	4058
2296	4056
2295	4054
2294	4053
2293	4051
2292	4049
2291	4047
2290	4046
2289	4044
2288	4042
2287	4040
2286	4039
2285	4037
2284	4035
2283	4033
2282	4032
2281	4030
2280	4028
2279	4026
2278	4025
2277	4023
2276	4021
2275	4019
2274	4018
2273	4016
2272	4014
2271	4012
2270	4011
2269	4009
2268	4007
2267	4005
2266	4004
2265	4002
2264	4000
2263	3998
2262	3997
2261	3995
2260	3993
2259	3991
2258	3990
2257	3988
2256	3986
2255	3984
2254	3983
2253	3981
2252	3979
2251	3977
2250	3976
2249	3974
2248	3972
2247	3970
2246	3969
2245	3967
2244	3965
2243	3963
2242	3962
2241	3960
2240	3958
2239	3956
2238	3955
2237	3953
2236	3951
2235	3949
2234	3948
2233	3946
2232	3944
2231	3942
2230	3941
2229	3939
2228	3937
2227	3935
2226	3934
2225	3932
2224	3930
2223	3928
2222	3927
2221	3925
2220	3923
2219	3921
2218	3920
2217	3918
2216	3916
2215	3914
2214	3913
2213	3911
2212	3909
2211	3907
2210	3906
2209	3904
2208	3902
2207	3900
2206	3899
2205	3897
2204	3895
2203	3893
2202	3892
2201	3890
2200	3888
2199	3886
2198	3885
2197	3883
2196	3881
2195	3879
2194	3878
2193	3876
2192	3874
2191	3872
2190	3871
2189	3869
2188	3867
2187	3865
2186	3864
2185	3862
2184	3860
2183	3858
2182	3857
2181	3855
2180	3853
2179	3851
2178	3850
2177	3848
2176	3846
2175	3844
2174	3843
2173	3841
2172	3839
2171	3837
2170	3836
2169	3834
2168	3832
2167	3830
2166	3829
2165	3827
2164	3825
2163	3823
2162	3822
2161	3820
2160	3818
2159	3816
2158	3815
2157	3813
2156	3811
2155	3809
2154	3808
2153	3806
2152	3804
2151	3802
2150	3801
2149	3799
2148	3797
2147	3795
2146	3794
2145	3792
2144	3790
2143	3788
2142	3787
2141	3785
2140	3783
2139	3781
2138	3780
2137	3778
2136	3776
2135	3774
2134	3773
2133	3771
2132	3769
2131	3767
2130	3766
2129	3764
2128	3762
2127	3760
2126	3759
2125	3757
2124	3755
2123	3753
2122	3752
2121	3750
2120	3748
2119	3746
2118	3745
2117	3743
2116	3741
2115	3739
2114	3738
2113	3736
2112	3734
2111	3732
2110	3731
2109	3729
2108	3727
2107	3725
2106	3724
2105	3722
2104	3720
2103	3718
2102	3717
2101	3715
2100	3713
2099	3711
2098	3710
2097	3708
2096	3706
2095	3704
2094	3703
2093	3701
2092	3699
2091	3697
2090	3696
2089	3694
2088	3692
2087	3690
2086	3689
2085	3687
2084	3685
2083	3683
2082	3682
2081	3680
2080	3678
2079	3676
2078	3675
2077	3673
2076	3671
2075	3669
2074	3668
2073	3666
2072	3664
2071	3662
2070	3661
2069	3659
2068	3657
2067	3655
2066	3654
2065	3652
2064	3650
2063	3648
2062	3647
2061	3645
2060	3643
2059	3641
2058	3640
2057	3638
2056	3636
2055	3634
2054	3633
2053	3631
2052	3629
2051	3627
2050	3626
2049	3624
2048	3622
2047	3620
2046	3619
2045	3617
2044	3615
2043	3613
2042	3612
2041	3610
2040	3608
2039	3606
2038	3605
2037	3603
2036	3601
2035	3599
2034	3598
2033	3596
2032	3594
2031	3592
2030	3591
2029	3589
2028	3587
2027	3585
2026	3584
2025	3582
2024	3580
2023	3578
2022	3577
2021	3575
2020	3573
2019	3571
2018	3570
2017	3568
2016	3566
2015	3564
2014	3563
2013	3561
2012	3559
2011	3557
2010	3556
2009	3554
2008	3552
2007	3550
2006	3549
2005	3547
2004	3545
2003	3543
2002	3542
2001	3540
2000	3538
1999	3536
1998	3535
1997	3533
1996	3531
1995	3529
1994	3528
1993	3526
1992	3524
1991	3522
1990	3521
1989	3519
1988	3517
1987	3515
1986	3514
1985	3512
1984	3510
1983	3508
1982	3507
1981	3505
1980	3503
1979	3501
1978	3500
1977	3498
1976	3496
1975	3494
1974	3493
1973	3491
1972	3489
1971	3487
1970	3486
1969	3484
1968	3482
1967	3480
1966	3479
1965	3477
1964	3475
1963	3473
1962	3472
1961	3470
1960	3468
1959	3466
1958	3465
1957	3463
1956	3461
1955	3459
1954	3458
1953	3456
1952	3454
1951	3452
1950	3451
1949	3449
1948	3447
1947	3445
1946	3444
1945	3442
1944	3440
1943	3438
1942	3437
1941	3435
1940	3433
1939	3431
1938	3430
1937	3428
1936	3426
1935	3424
1934	3423
1933	3421
1932	3419
1931	3417
1930	3416
1929	3414
1928	3412
1927	3410
1926	3409
1925	3407
1924	3405
1923	3403
1922	3402
1921	3400
1920	3398
1919	3396
1918	3395
1917	3393
1916	3391
1915	3389
1914	3388
1913	3386
1912	3384
1911	3382
1910	3381
1909	3379
1908	3377
1907	3375
1906	3374
1905	3372
1904	3370
1903	3368
1902	3367
1901	3365
1900	3363
1899	3361
1898	3360
1897	3358
1896	3356
1895	3354
1894	3353
1893	3351
1892	3349
1891	3347
1890	3346
1889	3344
1888	3342
1887	3340
1886	3339
1885	3337
1884	3335
1883	3333
1882	3332
1881	3330
1880	3328
1879	3326
1878	3325
1877	3323
1876	3321
1875	3319
1874	3318
1873	3316
1872	3314
1871	3312
1870	3311
1869	3309
1868	3307
1867	3305
1866	3304
1865	3302
1864	3300
1863	3298
1862	3297
1861	3295
1860	3293
1859	3291
1858	3290
1857	3288
1856	3286
1855	3284
1854	3283
1853	3281
1852	3279
1851	3277
1850	3276
1849	3274
1848	3272
1847	3270
1846	3269
1845	3267
1844	3265
1843	3263
1842	3262
1841	3260
1840	3258
1839	3256
1838	3255
1837	3253
1836	3251
1835	3249
1834	3248
1833	3246
1832	3244
1831	3242
1830	3241
1829	3239
1828	3237
1827	3235
1826	3234
1825	3232
1824	3230
1823	3228
1822	3227
1821	3225
1820	3223
1819	3221
1818	3220
1817	3218
1816	3216
1815	3214
1814	3213
1813	3211
1812	3209
1811	3207
1810	3206
1809	3204
1808	3202
1807	3200
1806	3199
1805	3197
1804	3195
1803	3193
1802	3192
1801	3190
1800	3188
1799	3186
1798	3185
1797	3183
1796	3181
1795	3179
1794	3178
1793	3176
1792	3174
1791	3172
1790	3171
1789	3169
1788	3167
1787	3165
1786	3164
1785	3162
1784	3160
1783	3158
1782	3157
1781	3155
1780	3153
1779	3151
1778	3150
1777	3148
1776	3146
1775	3144
1774	3143
1773	3141
1772	3139
1771	3137
1770	3136
1769	3134
1768	3132
1767	3130
1766	3129
1765	3127
1764	3125
1763	3123
1762	3122
1761	3120
1760	3118
1759	3116
1758	3115
1757	3113
1756	3111
1755	3109
1754	3108
1753	3106
1752	3104
1751	3102
1750	3101
1749	3099
1748	3097
1747	3095
1746	3094
1745	3092
1744	3090
1743	3088
1742	3087
1741	3085
1740	3083
1739	3081
1738	3080
1737	3078
1736	3076
1735	3074
1734	3073
1733	3071
1732	3069
1731	3067
1730	3066
1729	3064
1728	3062
1727	3060
1726	3059
1725	3057
1724	3055
1723	3053
1722	3052
1721	3050
1720	3048
1719	3046
1718	3045
1717	3043
1716	3041
1715	3039
1714	3038
1713	3036
1712	3034
1711	3032
1710	3031
1709	3029
1708	3027
1707	3025
1706	3024
1705	3022
1704	3020
1703	3018
1702	3017
1701	3015
1700	3013
1699	3011
1698	3010
1697	3008
1696	3006
1695	3004
1694	3003
1693	3001
1692	2999
1691	2997
1690	2996
1689	2994
1688	2992
1687	2990
1686	2989
1685	2987
1684	2985
1683	2983
1682	2982
1681	2980
1680	2978
1679	2976
1678	2975
1677	2973
1676	2971
1675	2969
1674	2968
1673	2966
1672	2964
1671	2962
1670	2961
1669	2959
1668	2957
1667	2955
1666	2954
1665	2952
1664	2950
1663	2948
1662	2947
1661	2945
1660	2943
1659	2941
1658	2940
1657	2938
1656	2936
1655	2934
1654	2933
1653	2931
1652	2929
1651	2927
1650	2926
1649	2924
1648	2922
1647	2920
1646	2919
1645	2917
1644	2915
1643	2913
1642	2912
1641	2910
1640	2908
1639	2906
1638	2905
1637	2903
1636	2901
1635	2899
1634	2898
1633	2896
1632	2894
1631	2892
1630	2891
1629	2889
1628	2887
1627	2885
1626	2884
1625	2882
1624	2880
1623	2878
1622	2877
1621	2875
1620	2873
1619	2871
1618	2870
1617	2868
1616	2866
1615	2864
1614	2863
1613	2861
1612	2859
1611	2857
1610	2856
1609	2854
1608	2852
1607	2850
1606	2849
1605	2847
1604	2845
1603	2843
1602	2842
1601	2840
1600	2838
1599	2836
1598	2835
1597	2833
1596	2831
1595	2829
1594	2828
1593	2826
1592	2824
1591	2822
1590	2821
1589	2819
1588	2817
1587	2815
1586	2814
1585	2812
1584	2810
1583	2808
1582	2807
1581	2805
1580	2803
1579	2801
1578	2800
1577	2798
1576	2796
1575	2794
1574	2793
1573	2791
1572	2789
1571	2787
1570	2786
1569	2784
1568	2782
1567	2780
1566	2779
1565	2777
1564	2775
1563	2773
1562	2772
1561	2770
1560	2768
1559	2766
1558	2765
1557	2763
1556	2761
1555	2759
1554	2758
1553	2756
1552	2754
1551	2752
1550	2751
1549	2749
1548	2747
1547	2745
1546	2744
1545	2742
1544	2740
1543	2738
1542	2737
1541	2735
1540	2733
1539	2731
1538	2730
1537	2728
1536	2726
1535	2724
1534	2723
1533	2721
1532	2719
1531	2717
1530	2716
1529	2714
1528	2712
1527	2710
1526	2709
1525	2707
1524	2705
1523	2703
1522	2702
1521	2700
1520	2698
1519	2696
1518	2695
1517	2693
1516	2691
1515	2689
1514	2688
1513	2686
1512	2684
1511	2682
1510	2681
1509	2679
1508	2677
1507	2675
1506	2674
1505	2672
1504	2670
1503	2668
1502	2667
1501	2665
1500	2663
1499	2661
1498	2660
1497	2658
1496	2656
1495	2654
1494	2653
1493	2651
1492	2649
1491	2647
1490	2646
1489	2644
1488	2642
1487	2640
1486	2639
1485	2637
1484	2635
1483	2633
1482	2632
1481	2630
1480	2628
1479	2626
1478	2625
1477	2623
1476	2621
1475	2619
1474	2618
1473	2616
1472	2614
1471	2612
1470	2611
1469	2609
1468	2607
1467	2605
1466	2604
1465	2602
1464	2600
1463	2598
1462	2597
1461	2595
1460	2593
1459	2591
1458	2590
1457	2588
1456	2586
1455	2584
1454	2583
1453	2581
1452	2579
1451	2577
1450	2576
1449	2574
1448	2572
1447	2570
1446	2569
1445	2567
1444	2565
1443	2563
1442	2562
1441	2560
1440	2558
1439	2556
1438	2555
1437	2553
1436	2551
1435	2549
1434	2548
1433	2546
1432	2544
1431	2542
1430	2541
1429	2539
1428	2537
1427	2535
1426	2534
1425	2532
1424	2530
1423	2528
1422	2527
1421	2525
1420	2523
1419	2521
1418	2520
1417	2518
1416	2516
1415	2514
1414	2513
1413	2511
1412	2509
1411	2507
1410	2506
1409	2504
1408	2502
1407	2500
1406	2499
1405	2497
1404	2495
1403	2493
1402	2492
1401	2490
1400	2488
1399	2486
1398	2485
1397	2483
1396	2481
1395	2479
1394	2478
1393	2476
1392	2474
1391	2472
1390	2471
1389	2469
1388	2467
1387	2465
1386	2464
1385	2462
1384	2460
1383	2458
1382	2457
1381	2455
1380	2453
1379	2451
1378	2450
1377	2448
1376	2446
1375	2444
1374	2443
1373	2441
1372	2439
1371	2437
1370	2436
1369	2434
1368	2432
1367	2430
1366	2429
1365	2427
1364	2425
1363	2423
1362	2422
1361	2420
1360	2418
1359	2416
1358	2415
1357	2413
1356	2411
1355	2409
1354	2408
1353	2406
1352	2404
1351	2402
1350	2401
1349	2399
1348	2397
1347	2395
1346	2394
1345	2392
1344	2390
1343	2388
1342	2387
1341	2385
1340	2383
1339	2381
1338	2380
1337	2378
1336	2376
1335	2374
1334	2373
1333	2371
1332	2369
1331	2367
1330	2366
1329	2364
1328	2362
1327	2360
1326	2359
1325	2357
1324	2355
1323	2353
1322	2352
1321	2350
1320	2348
1319	2346
1318	2345
1317	2343
1316	2341
1315	2339
1314	2338
1313	2336
1312	2334
1311	2332
1310	2331
1309	2329
1308	2327
1307	2325
1306	2324
1305	2322
1304	2320
1303	2318
1302	2317
1301	2315
1300	2313
1299	2311
1298	2310
1297	2308
1296	2306
1295	2304
1294	2303
1293	2301
1292	2299
1291	2297
1290	2296
1289	2294
1288	2292
1287	2290
1286	2289
1285	2287
1284	2285
1283	2283
1282	2282
1281	2280
1280	2278
1279	2276
1278	2275
1277	2273
1276	2271
1275	2269
1274	2268
1273	2266
1272	2264
1271	2262
1270	2261
1269	2259
1268	2257
1267	2255
1266	2254
1265	2252
1264	2250
1263	2248
1262	2247
1261	2245
1260	2243
1259	2241
1258	2240
1257	2238
1256	2236
1255	2234
1254	2233
1253	2231
1252	2229
1251	2227
1250	2226
1249	2224
1248	2222
1247	2220
1246	2219
1245	2217
1244	2215
1243	2213
1242	2212
1241	2210
1240	2208
1239	2206
1238	2205
1237	2203
1236	2201
1235	2199
1234	2198
1233	2196
1232	2194
1231	2192
1230	2191
1229	2189
1228	2187
1227	2185
1226	2184
1225	2182
1224	2180
1223	2178
1222	2177
1221	2175
1220	2173
1219	2171
1218	2170
1217	2168
1216	2166
1215	2164
1214	2163
1213	2161
1212	2159
1211	2157
1210	2156
1209	2154
1208	2152
1207	2150
1206	2149
1205	2147
1204	2145
1203	2143
1202	2142
1201	2140
1200	2138
1199	2136
1198	2135
1197	2133
1196	2131
1195	2129
1194	2128
1193	2126
1192	2124
1191	2122
1190	2121
1189	2119
1188	2117
1187	2115
1186	2114
1185	2112
1184	2110
1183	2108
1182	2107
1181	2105
1180	2103
1179	2101
1178	2100
1177	2098
1176	2096
1175	2094
1174	2093
1173	2091
1172	2089
1171	2087
1170	2086
1169	2084
1168	2082
1167	2080
1166	2079
1165	2077
1164	2075
1163	2073
1162	2072
1161	2070
1160	2068
1159	2066
1158	2065
1157	2063
1156	2061
1155	2059
1154	2058
1153	2056
1152	2054
1151	2052
1150	2051
1149	2049
1148	2047
1147	2045
1146	2044
1145	2042
1144	2040
1143	2038
1142	2037
1141	2035
1140	2033
1139	2031
1138	2030
1137	2028
1136	2026
1135	2024
1134	2023
1133	2021
1132	2019
1131	2017
1130	2016
1129	2014
1128	2012
1127	2010
1126	2009
1125	2007
1124	2005
1123	2003
1122	2002
1121	2000
1120	1998
1119	1996
1118	1995
1117	1993
1116	1991
1115	1989
1114	1988
1113	1986
1112	1984
1111	1982
1110	1981
1109	1979
1108	1977
1107	1975
1106	1974
1105	1972
1104	1970
1103	1968
1102	1967
1101	1965
1100	1963
1099	1961
1098	1960
1097	1958
1096	1956
1095	1954
1094	1953
1093	1951
1092	1949
1091	1947
1090	1946
1089	1944
1088	1942
1087	1940
1086	1939
1085	1937
1084	1935
1083	1933
1082	1932
1081	1930
1080	1928
1079	1926
1078	1925
1077	1923
1076	1921
1075	1919
1074	1918
1073	1916
1072	1914
1071	1912
1070	1911
1069	1909
1068	1907
1067	1905
1066	1904
1065	1902
1064	1900
1063	1898
1062	1897
1061	1895
1060	1893
1059	1891
1058	1890
1057	1888
1056	1886
1055	1884
1054	1883
1053	1881
1052	1879
1051	1877
1050	1876
1049	1874
1048	1872
1047	1870
1046	1869
1045	1867
1044	1865
1043	1863
1042	1862
1041	1860
1040	1858
1039	1856
1038	1855
1037	1853
1036	1851
1035	1849
1034	1848
1033	1846
1032	1844
1031	1842
1030	1841
1029	1839
1028	1837
1027	1835
1026	1834
1025	1832
1024	1830
1023	1828
1022	1827
1021	1825
1020	1823
1019	1821
1018	1820
1017	1818
1016	1816
1015	1814
1014	1813
1013	1811
1012	1809
1011	1807
1010	1806
1009	1804
1008	1802
1007	1800
1006	1799
1005	1797
1004	1795
1003	1793
1002	1792
1001	1790
1000	1788
999	1786
998	1785
997	1783
996	1781
995	1779
994	1778
993	1776
992	1774
991	1772
990	1771
989	1769
988	1767
987	1765
986	1764
985	1762
984	1760
983	1758
982	1757
981	1755
980	1753
979	1751
978	1750
977	1748
976	1746
975	1744
974	1743
973	1741
972	1739
971	1737
970	1736
969	1734
968	1732
967	1730
966	1729
965	1727
964	1725
963	1723
962	1722
961	1720
960	1718
959	1716
958	1715
957	1713
956	1711
955	1709
954	1708
953	1706
952	1704
951	1702
950	1701
949	1699
948	1697
947	1695
946	1694
945	1692
944	1690
943	1688
942	1687
941	1685
940	1683
939	1681
938	1680
937	1678
936	1676
935	1674
934	1673
933	1671
932	1669
931	1667
930	1666
929	1664
928	1662
927	1660
926	1659
925	1657
924	1655
923	1653
922	1652
921	1650
920	1648
919	1646
918	1645
917	1643
916	1641
915	1639
914	1638
913	1636
912	1634
911	1632
910	1631
909	1629
908	1627
907	1625
906	1624
905	1622
904	1620
903	1618
902	1617
901	1615
900	1613
899	1611
898	1610
897	1608
896	1606
895	1604
894	1603
893	1601
892	1599
891	1597
890	1596
889	1594
888	1592
887	1590
886	1589
885	1587
884	1585
883	1583
882	1582
881	1580
880	1578
879	1576
878	1575
877	1573
876	1571
875	1569
874	1568
873	1566
872	1564
871	1562
870	1561
869	1559
868	1557
867	1555
866	1554
865	1552
864	1550
863	1548
862	1547
861	1545
860	1543
859	1541
858	1540
857	1538
856	1536
855	1534
854	1533
853	1531
852	1529
851	1527
850	1526
849	1524
848	1522
847	1520
846	1519
845	1517
844	1515
843	1513
842	1512
841	1510
840	1508
839	1506
838	1505
837	1503
836	1501
835	1499
834	1498
833	1496
832	1494
831	1492
830	1491
829	1489
828	1487
827	1485
826	1484
825	1482
824	1480
823	1478
822	1477
821	1475
820	1473
819	1471
818	1470
817	1468
816	1466
815	1464
814	1463
813	1461
812	1459
811	1457
810	1456
809	1454
808	1452
807	1450
806	1449
805	1447
804	1445
803	1443
802	1442
801	1440
800	1438
799	1436
798	1435
797	1433
796	1431
795	1429
794	1428
793	1426
792	1424
791	1422
790	1421
789	1419
788	1417
787	1415
786	1414
785	1412
784	1410
783	1408
782	1407
781	1405
780	1403
779	1401
778	1400
777	1398
776	1396
775	1394
774	1393
773	1391
772	1389
771	1387
770	1386
769	1384
768	1382
767	1380
766	1379
765	1377
764	1375
763	1373
762	1372
761	1370
760	1368
759	1366
758	1365
757	1363
756	1361
755	1359
754	1358
753	1356
752	1354
751	1352
750	1351
749	1349
748	1347
747	1345
746	1344
745	1342
744	1340
743	1338
742	1337
741	1335
740	1333
739	1331
738	1330
737	1328
736	1326
735	1324
734	1323
733	1321
732	1319
731	1317
730	1316
729	1314
728	1312
727	1310
726	1309
725	1307
724	1305
723	1303
722	1302
721	1300
720	1298
719	1296
718	1295
717	1293
716	1291
715	1289
714	1288
713	1286
712	1284
711	1282
710	1281
709	1279
708	1277
707	1275
706	1274
705	1272
704	1270
703	1268
702	1267
701	1265
700	1263
699	1261
698	1260
697	1258
696	1256
695	1254
694	1253
693	1251
692	1249
691	1247
690	1246
689	1244
688	1242
687	1240
686	1239
685	1237
684	1235
683	1233
682	1232
681	1230
680	1228
679	1226
678	1225
677	1223
676	1221
675	1219
674	1218
673	1216
672	1214
671	1212
670	1211
669	1209
668	1207
667	1205
666	1204
665	1202
664	1200
663	1198
662	1197
661	1195
660	1193
659	1191
658	1190
657	1188
656	1186
655	1184
654	1183
653	1181
652	1179
651	1177
650	1176
649	1174
648	1172
647	1170
646	1169
645	1167
644	1165
643	1163
642	1162
641	1160
640	1158
639	1156
638	1155
637	1153
636	1151
635	1149
634	1148
633	1146
632	1144
631	1142
630	1141
629	1139
628	1137
627	1135
626	1134
625	1132
624	1130
623	1128
622	1127
621	1125
620	1123
619	1121
618	1120
617	1118
616	1116
615	1114
614	1113
613	1111
612	1109
611	1107
610	1106
609	1104
608	1102
607	1100
606	1099
605	1097
604	1095
603	1093
602	1092
601	1090
600	1088
599	1086
598	1085
597	1083
596	1081
595	1079
594	1078
593	1076
592	1074
591	1072
590	1071
589	1069
588	1067
587	1065
586	1064
585	1062
584	1060
583	1058
582	1057
581	1055
580	1053
579	1051
578	1050
577	1048
576	1046
575	1044
574	1043
573	1041
572	1039
571	1037
570	1036
569	1034
568	1032
567	1030
566	1029
565	1027
564	1025
563	1023
562	1022
561	1020
560	1018
559	1016
558	1015
557	1013
556	1011
555	1009
554	1008
553	1006
552	1004
551	1002
550	1001
549	999
548	997
547	995
546	994
545	992
544	990
543	988
542	987
541	985
540	983
539	981
538	980
537	978
536	976
535	974
534	973
533	971
532	969
531	967
530	966
529	964
528	962
527	960
526	959
525	957
524	955
523	953
522	952
521	950
520	948
519	946
518	945
517	943
516	941
515	939
514	938
513	936
512	934
511	932
510	931
509	929
508	927
507	925
506	924
505	922
504	920
503	918
502	917
501	915
500	913
499	911
498	910
497	908
496	906
495	904
494	903
493	901
492	899
491	897
490	896
489	894
488	892
487	890
486	889
485	887
484	885
483	883
482	882
481	880
480	878
479	876
478	875
477	873
476	871
475	869
474	868
473	866
472	864
471	862
470	861
469	859
468	857
467	855
466	854
465	852
464	850
463	848
462	847
461	845
460	843
459	841
458	840
457	838
456	836
455	834
454	833
453	831
452	829
451	827
450	826
449	824
448	822
447	820
446	819
445	817
444	815
443	813
442	812
441	810
440	808
439	806
438	805
437	803
436	801
435	799
434	798
433	796
432	794
431	792
430	791
429	789
428	787
427	785
426	784
425	782
424	780
423	778
422	777
421	775
420	773
419	771
418	770
417	768
416	766
415	764
414	763
413	761
412	759
411	757
410	756
409	754
408	752
407	750
406	749
405	747
404	745
403	743
402	742
401	740
400	738
399	736
398	735
397	733
396	731
395	729
394	728
393	726
392	724
391	722
390	721
389	719
388	717
387	715
386	714
385	712
384	710
383	708
382	707
381	705
380	703
379	701
378	700
377	698
376	696
375	694
374	693
373	691
372	689
371	687
370	686
369	684
368	682
367	680
366	679
365	677
364	675
363	673
362	672
361	670
360	668
359	666
358	665
357	663
356	661
355	659
354	658
353	656
352	654
351	652
350	651
349	649
348	647
347	645
346	644
345	642
344	640
343	638
342	637
341	635
340	633
339	631
338	630
337	628
336	626
335	624
334	623
333	621
332	619
331	617
330	616
329	614
328	612
327	610
326	609
325	607
324	605
323	603
322	602
321	600
320	598
319	596
318	595
317	593
316	591
315	589
314	588
313	586
312	584
311	582
310	581
309	579
308	577
307	575
306	574
305	572
304	570
303	568
302	567
301	565
300	563
299	561
298	560
297	558
296	556
295	554
294	553
293	551
292	549
291	547
290	546
289	544
288	542
287	540
286	539
285	537
284	535
283	533
282	532
281	530
280	528
279	526
278	525
277	523
276	521
275	519
274	518
273	516
272	514
271	512
270	511
269	509
268	507
267	505
266	504
265	502
264	500
263	498
262	497
261	495
260	493
259	491
258	490
257	488
256	486
255	484
254	483
253	481
252	479
251	477
250	476
249	474
248	472
247	470
246	469
245	467
244	465
243	463
242	462
241	460
240	458
239	456
238	455
237	453
236	451
235	449
234	448
233	446
232	444
231	442
230	441
229	439
228	437
227	435
226	434
225	432
224	430
223	428
222	427
221	425
220	423
219	421
218	420
217	418
216	416
215	414
214	413
213	411
212	409
211	407
210	406
209	404
208	402
207	400
206	399
205	397
204	395
203	393
202	392
201	390
200	388
199	386
198	385
197	383
196	381
195	379
194	378
193	376
192	374
191	372
190	371
189	369
188	367
187	365
186	364
185	362
184	360
183	358
182	357
181	355
180	353
179	351
178	350
177	348
176	346
175	344
174	343
173	341
172	339
171	337
170	336
169	334
168	332
167	330
166	329
165	327
164	325
163	323
162	322
161	320
160	318
159	316
158	315
157	313
156	311
155	309
154	308
153	306
152	304
151	302
150	301
149	299
148	297
147	295
146	294
145	292
144	290
143	288
142	287
141	285
140	283
139	281
138	280
137	278
136	276
135	274
134	273
133	271
132	269
131	267
130	266
129	264
128	262
127	260
126	259
125	257
124	255
123	253
122	252
121	250
120	248
119	246
118	245
117	243
116	241
115	239
114	238
113	236
112	234
111	232
110	231
109	229
108	227
107	225
106	224
105	222
104	220
103	218
102	217
101	215
100	213
99	211
98	210
97	208
96	206
95	204
94	203
93	201
92	199
91	197
90	196
89	194
88	192
87	190
86	189
85	187
84	185
83	183
82	182
81	180
80	178
79	176
78	175
77	173
76	171
75	169
74	168
73	166
72	164
71	162
70	161
69	159
68	157
67	155
66	154
65	152
64	150
63	148
62	147
61	145
60	143
59	141
58	140
57	138
56	136
55	134
54	133
53	131
52	129
51	127
50	126
49	124
48	122
47	120
46	119
45	117
44	115
43	113
42	112
41	110
40	108
39	106
38	105
37	103
36	101
35	99
34	98
33	96
32	94
31	92
30	91
29	89
28	87
27	85
26	84
25	82
24	80
23	78
22	77
21	75
20	73
19	71
18	70
17	68
16	66
15	64
14	63
13	61
12	59
11	57
10	56
9	54
8	52
7	50
6	49
5	47
4	42
3	30
2	25
1	21
0	13

end0.0ms

sample3.0s

Algorithm

intervals

Results

2.7s

14424×

body

valid