Details

sample98.0ms

Algorithm

intervals

Results

47.0ms	76×	body	1280	valid
17.0ms	45×	body	640	valid
13.0ms	31×	body	2560	valid
4.0ms	17×	body	320	valid
4.0ms	70×	body	80	valid
2.0ms	17×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	10
1	10
0	7

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.2b

localize11.0ms

Local error

Found 3 expressions with local error:

0.9b	(+ x (sqrt (fma x x 1.0)))
2.9b	(log (+ x (sqrt (fma x x 1.0))))
15.4b	(sqrt (fma x x 1.0))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 49

Calls

3 calls:

6.0ms	(+ x (sqrt (fma x x 1.0)))
5.0ms	(log (+ x (sqrt (fma x x 1.0))))
1.0ms	(sqrt (fma x x 1.0))

series466.0ms

Counts

3 → 9

Calls

3 calls:

95.0ms	(+ x (sqrt (fma x x 1.0)))
301.0ms	(log (+ x (sqrt (fma x x 1.0))))
69.0ms	(sqrt (fma x x 1.0))

simplify1.2s

Counts

58 → 58

Iterations

Iter	Nodes
done	5001
2	1087
1	289
0	126

prune418.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma (/ (/ (* (* x x) x) 1.0) (sqrt 1.0)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))
0.1b	(* (* x x) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1`
7×	`add-cbrt-cube` `add-exp-log`
6×	`pow-plus` `pow-prod-up`
4×	`add-sqr-sqrt`
3×	`-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
2×	`pow2` `expm1-log1p-u` `pow-sqr` `log1p-expm1-u` `add-log-exp`
1×	`associate-l` `pow3` `*-commutative` `fma-udef` `unswap-sqr`

Counts

2 → 40

Calls

2 calls:

0.0ms	(fma (/ (/ (* (* x x) x) 1.0) (sqrt 1.0)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))
15.0ms	(* (* x x) x)

series233.0ms

Counts

2 → 6

Calls

2 calls:

169.0ms	(fma (/ (/ (* (* x x) x) 1.0) (sqrt 1.0)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))
64.0ms	(* (* x x) x)

simplify991.0ms

Counts

46 → 46

Iterations

Iter	Nodes
done	5000
2	791
1	139
0	60

prune200.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 0.0625 (pow x 5))
0.4b	(/ 0.125 (* (* x x) x))
12.2b	(log (- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
19.0b	(- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5)))

rewrite975.0ms

Algorithm

rewrite-expression-head

Rules

358×	`add-sqr-sqrt`
284×	`times-frac`
270×	`*-un-lft-identity`
241×	`prod-diff`
208×	`add-cube-cbrt`
93×	`associate--l+`
68×	`unpow-prod-down`
60×	`difference-of-squares`
32×	`distribute-lft-out--`
28×	`div-inv`
24×	`sqr-pow`
19×	`add-exp-log`
15×	`add-cbrt-cube`
9×	`log-prod` `add-log-exp`
8×	`associate-/r*` `frac-sub`
6×	`fma-neg` `div-exp` `associate-/l*`
5×	`pow1` `log-div`
4×	`expm1-log1p-u` `cbrt-undiv` `flip3--` `log1p-expm1-u` `flip--`
3×	`diff-log` `prod-exp` `cbrt-unprod`
2×	`clear-num` `sub-neg` `frac-2neg`
1×	`associate--l-` `pow-to-exp` `rem-log-exp` `pow-exp` `log-pow`

Counts

4 → 371

Calls

4 calls:

11.0ms	(/ 0.0625 (pow x 5))
29.0ms	(/ 0.125 (* (* x x) x))
335.0ms	(log (- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
547.0ms	(- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5)))

series538.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(/ 0.0625 (pow x 5))
61.0ms	(/ 0.125 (* (* x x) x))
320.0ms	(log (- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
78.0ms	(- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5)))

simplify1.2s

Counts

383 → 383

Iterations

Iter	Nodes
done	5001
1	1483
0	584

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (sqrt 0.5) x)
12.2b	(log (+ (fma 0.125 (/ 1 (* (* x x) x)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))) (- (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))) (/ 0.0625 (pow x 5)))))
19.0b	(+ (fma 0.125 (/ 1 (* (* x x) x)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))) (- (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))) (/ 0.0625 (pow x 5))))
60.2b	(fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

98×	`*-un-lft-identity`
88×	`add-sqr-sqrt` `add-cube-cbrt`
81×	`times-frac`
78×	`associate-+r+`
75×	`prod-diff`
27×	`unpow-prod-down`
12×	`sqrt-prod`
9×	`add-log-exp` `sqr-pow`
7×	`add-exp-log`
6×	`add-cbrt-cube` `associate-/l*`
5×	`pow1` `log-prod`
4×	`expm1-log1p-u` `log1p-expm1-u` `div-inv` `distribute-lft-out`
3×	`associate-/r*` `fma-def` `fma-udef`
2×	`log-div` `sum-log` `flip3-+` `flip-+` `distribute-lft-out--`
1×	`cbrt-undiv` `+-commutative` `associate-+l+` `clear-num` `associate-+r-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `associate--l+` `log-pow`

Counts

4 → 168

Calls

4 calls:

5.0ms	(/ (sqrt 0.5) x)
42.0ms	(log (+ (fma 0.125 (/ 1 (* (* x x) x)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))) (- (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))) (/ 0.0625 (pow x 5)))))
48.0ms	(+ (fma 0.125 (/ 1 (* (* x x) x)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))) (- (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))) (/ 0.0625 (pow x 5))))
0.0ms	(fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))

series983.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(/ (sqrt 0.5) x)
437.0ms	(log (+ (fma 0.125 (/ 1 (* (* x x) x)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))) (- (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))) (/ 0.0625 (pow x 5)))))
286.0ms	(+ (fma 0.125 (/ 1 (* (* x x) x)) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))) (- (fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1))) (/ 0.0625 (pow x 5))))
198.0ms	(fma (- (/ (sqrt 0.5) x)) (/ (sqrt 0.5) 1) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)))

simplify2.5s

Counts

180 → 180

Iterations

Iter	Nodes
done	5000
2	4124
1	1033
0	439

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes65.0ms

Accuracy

99.5% (0.2b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 31.2b

bsearch130.0ms

Steps

Iters	Range		Point
10	2.777137017098532e-16	1126.7541422477805	0.9010700472866574
9	-291337.82152789796	-0.7274215675205146	-1.0196402015835608

simplify3.6s

Iterations

Iter	Nodes
done	5000
1306	4999
1305	4995
1304	4991
1303	4987
1302	4983
1301	4979
1300	4977
1299	4972
1298	4970
1297	4965
1296	4961
1295	4957
1294	4953
1293	4949
1292	4945
1291	4943
1290	4938
1289	4936
1288	4931
1287	4927
1286	4925
1285	4920
1284	4916
1283	4912
1282	4908
1281	4904
1280	4900
1279	4896
1278	4892
1277	4888
1276	4884
1275	4880
1274	4876
1273	4874
1272	4869
1271	4865
1270	4861
1269	4857
1268	4853
1267	4849
1266	4845
1265	4841
1264	4837
1263	4833
1262	4829
1261	4825
1260	4821
1259	4817
1258	4815
1257	4810
1256	4808
1255	4803
1254	4799
1253	4795
1252	4791
1251	4789
1250	4784
1249	4782
1248	4777
1247	4773
1246	4769
1245	4765
1244	4761
1243	4757
1242	4753
1241	4749
1240	4745
1239	4741
1238	4737
1237	4733
1236	4729
1235	4727
1234	4722
1233	4720
1232	4715
1231	4711
1230	4707
1229	4703
1228	4699
1227	4695
1226	4691
1225	4687
1224	4683
1223	4679
1222	4675
1221	4671
1220	4667
1219	4663
1218	4661
1217	4656
1216	4654
1215	4649
1214	4645
1213	4641
1212	4637
1211	4633
1210	4629
1209	4627
1208	4622
1207	4620
1206	4615
1205	4611
1204	4607
1203	4603
1202	4599
1201	4595
1200	4593
1199	4588
1198	4586
1197	4581
1196	4577
1195	4573
1194	4569
1193	4565
1192	4561
1191	4557
1190	4553
1189	4551
1188	4548
1187	4545
1186	4540
1185	4536
1184	4534
1183	4529
1182	4525
1181	4521
1180	4517
1179	4513
1178	4509
1177	4505
1176	4501
1175	4499
1174	4494
1173	4492
1172	4487
1171	4483
1170	4479
1169	4475
1168	4471
1167	4467
1166	4465
1165	4460
1164	4458
1163	4453
1162	4449
1161	4445
1160	4441
1159	4437
1158	4433
1157	4429
1156	4425
1155	4423
1154	4418
1153	4414
1152	4410
1151	4406
1150	4402
1149	4398
1148	4394
1147	4392
1146	4387
1145	4383
1144	4379
1143	4377
1142	4372
1141	4370
1140	4365
1139	4363
1138	4358
1137	4354
1136	4350
1135	4346
1134	4342
1133	4338
1132	4336
1131	4331
1130	4327
1129	4323
1128	4321
1127	4318
1126	4313
1125	4309
1124	4305
1123	4303
1122	4298
1121	4296
1120	4291
1119	4287
1118	4283
1117	4279
1116	4277
1115	4272
1114	4270
1113	4265
1112	4261
1111	4257
1110	4253
1109	4249
1108	4245
1107	4243
1106	4238
1105	4236
1104	4231
1103	4227
1102	4223
1101	4219
1100	4215
1099	4211
1098	4207
1097	4203
1096	4201
1095	4196
1094	4194
1093	4189
1092	4185
1091	4181
1090	4179
1089	4174
1088	4172
1087	4167
1086	4163
1085	4159
1084	4155
1083	4151
1082	4147
1081	4143
1080	4141
1079	4136
1078	4132
1077	4128
1076	4124
1075	4120
1074	4116
1073	4112
1072	4108
1071	4104
1070	4100
1069	4096
1068	4092
1067	4088
1066	4084
1065	4080
1064	4076
1063	4074
1062	4069
1061	4067
1060	4062
1059	4058
1058	4054
1057	4050
1056	4048
1055	4043
1054	4041
1053	4036
1052	4032
1051	4030
1050	4025
1049	4021
1048	4017
1047	4013
1046	4009
1045	4007
1044	4002
1043	3998
1042	3994
1041	3990
1040	3988
1039	3983
1038	3981
1037	3976
1036	3972
1035	3968
1034	3964
1033	3960
1032	3956
1031	3954
1030	3949
1029	3947
1028	3942
1027	3938
1026	3934
1025	3930
1024	3926
1023	3922
1022	3920
1021	3915
1020	3913
1019	3908
1018	3904
1017	3900
1016	3896
1015	3892
1014	3888
1013	3886
1012	3881
1011	3879
1010	3874
1009	3870
1008	3866
1007	3862
1006	3860
1005	3855
1004	3853
1003	3848
1002	3844
1001	3840
1000	3836
999	3834
998	3829
997	3825
996	3821
995	3819
994	3814
993	3810
992	3806
991	3802
990	3800
989	3795
988	3791
987	3787
986	3785
985	3780
984	3776
983	3772
982	3768
981	3764
980	3760
979	3758
978	3753
977	3749
976	3745
975	3741
974	3737
973	3733
972	3731
971	3726
970	3724
969	3719
968	3715
967	3713
966	3708
965	3706
964	3701
963	3697
962	3693
961	3691
960	3686
959	3684
958	3679
957	3675
956	3673
955	3668
954	3664
953	3660
952	3656
951	3652
950	3648
949	3644
948	3640
947	3636
946	3632
945	3630
944	3625
943	3621
942	3619
941	3614
940	3610
939	3606
938	3604
937	3599
936	3597
935	3592
934	3588
933	3586
932	3581
931	3579
930	3574
929	3570
928	3566
927	3562
926	3558
925	3554
924	3550
923	3546
922	3544
921	3539
920	3537
919	3532
918	3528
917	3526
916	3521
915	3517
914	3513
913	3509
912	3505
911	3501
910	3497
909	3495
908	3490
907	3486
906	3482
905	3478
904	3476
903	3471
902	3469
901	3464
900	3460
899	3456
898	3452
897	3448
896	3444
895	3440
894	3436
893	3434
892	3429
891	3425
890	3421
889	3417
888	3413
887	3411
886	3406
885	3402
884	3400
883	3395
882	3391
881	3387
880	3385
879	3380
878	3376
877	3374
876	3369
875	3367
874	3362
873	3358
872	3354
871	3350
870	3346
869	3342
868	3340
867	3335
866	3331
865	3327
864	3323
863	3321
862	3318
861	3313
860	3309
859	3307
858	3302
857	3298
856	3294
855	3290
854	3286
853	3282
852	3278
851	3276
850	3273
849	3268
848	3264
847	3260
846	3256
845	3252
844	3248
843	3244
842	3240
841	3238
840	3235
839	3230
838	3226
837	3222
836	3220
835	3215
834	3213
833	3208
832	3204
831	3200
830	3196
829	3194
828	3189
827	3185
826	3181
825	3179
824	3174
823	3170
822	3166
821	3162
820	3158
819	3156
818	3151
817	3149
816	3144
815	3140
814	3136
813	3132
812	3128
811	3124
810	3120
809	3118
808	3113
807	3109
806	3105
805	3101
804	3097
803	3093
802	3089
801	3085
800	3081
799	3077
798	3073
797	3069
796	3065
795	3061
794	3057
793	3053
792	3051
791	3046
790	3044
789	3039
788	3035
787	3031
786	3027
785	3025
784	3020
783	3018
782	3013
781	3009
780	3005
779	3001
778	2997
777	2993
776	2991
775	2986
774	2984
773	2979
772	2975
771	2971
770	2967
769	2963
768	2959
767	2955
766	2951
765	2947
764	2943
763	2939
762	2935
761	2931
760	2927
759	2923
758	2919
757	2915
756	2911
755	2907
754	2903
753	2899
752	2897
751	2892
750	2890
749	2885
748	2881
747	2877
746	2873
745	2869
744	2865
743	2863
742	2858
741	2856
740	2851
739	2847
738	2843
737	2839
736	2835
735	2831
734	2829
733	2824
732	2820
731	2816
730	2812
729	2808
728	2804
727	2802
726	2797
725	2793
724	2789
723	2785
722	2781
721	2777
720	2773
719	2769
718	2765
717	2761
716	2757
715	2753
714	2749
713	2745
712	2743
711	2738
710	2734
709	2730
708	2726
707	2722
706	2718
705	2714
704	2710
703	2708
702	2703
701	2701
700	2696
699	2692
698	2688
697	2684
696	2682
695	2677
694	2675
693	2670
692	2668
691	2663
690	2659
689	2655
688	2651
687	2647
686	2643
685	2641
684	2636
683	2634
682	2629
681	2625
680	2621
679	2617
678	2615
677	2610
676	2606
675	2602
674	2600
673	2595
672	2591
671	2587
670	2583
669	2581
668	2576
667	2574
666	2569
665	2565
664	2561
663	2557
662	2553
661	2549
660	2545
659	2541
658	2539
657	2534
656	2532
655	2527
654	2523
653	2519
652	2515
651	2513
650	2508
649	2506
648	2501
647	2497
646	2493
645	2489
644	2485
643	2481
642	2479
641	2474
640	2472
639	2467
638	2463
637	2459
636	2455
635	2453
634	2448
633	2446
632	2441
631	2437
630	2433
629	2429
628	2427
627	2422
626	2418
625	2414
624	2410
623	2406
622	2404
621	2399
620	2395
619	2391
618	2387
617	2383
616	2379
615	2377
614	2372
613	2368
612	2364
611	2362
610	2357
609	2353
608	2351
607	2346
606	2344
605	2339
604	2335
603	2331
602	2327
601	2323
600	2319
599	2317
598	2312
597	2308
596	2304
595	2300
594	2298
593	2293
592	2289
591	2285
590	2283
589	2278
588	2274
587	2270
586	2266
585	2262
584	2258
583	2254
582	2252
581	2249
580	2244
579	2240
578	2236
577	2232
576	2228
575	2224
574	2220
573	2216
572	2214
571	2209
570	2205
569	2203
568	2198
567	2196
566	2191
565	2189
564	2184
563	2180
562	2176
561	2172
560	2170
559	2165
558	2163
557	2158
556	2156
555	2151
554	2147
553	2143
552	2139
551	2135
550	2131
549	2129
548	2124
547	2122
546	2117
545	2115
544	2110
543	2106
542	2102
541	2098
540	2096
539	2091
538	2087
537	2083
536	2079
535	2075
534	2071
533	2069
532	2064
531	2062
530	2057
529	2053
528	2051
527	2046
526	2044
525	2039
524	2035
523	2031
522	2029
521	2024
520	2020
519	2018
518	2013
517	2011
516	2006
515	2002
514	1998
513	1994
512	1990
511	1986
510	1982
509	1978
508	1974
507	1970
506	1968
505	1963
504	1961
503	1956
502	1952
501	1948
500	1944
499	1940
498	1936
497	1934
496	1929
495	1927
494	1922
493	1918
492	1916
491	1911
490	1907
489	1903
488	1901
487	1896
486	1892
485	1888
484	1884
483	1880
482	1876
481	1872
480	1868
479	1866
478	1863
477	1858
476	1854
475	1850
474	1846
473	1842
472	1840
471	1835
470	1833
469	1828
468	1824
467	1820
466	1816
465	1812
464	1808
463	1806
462	1801
461	1799
460	1794
459	1790
458	1786
457	1782
456	1778
455	1774
454	1772
453	1769
452	1766
451	1761
450	1757
449	1753
448	1749
447	1745
446	1741
445	1739
444	1734
443	1730
442	1726
441	1722
440	1718
439	1714
438	1712
437	1707
436	1703
435	1701
434	1696
433	1692
432	1688
431	1684
430	1680
429	1678
428	1673
427	1671
426	1666
425	1662
424	1658
423	1654
422	1650
421	1646
420	1644
419	1639
418	1635
417	1631
416	1627
415	1625
414	1622
413	1617
412	1613
411	1611
410	1606
409	1602
408	1598
407	1594
406	1590
405	1586
404	1582
403	1578
402	1574
401	1572
400	1567
399	1563
398	1559
397	1557
396	1552
395	1550
394	1545
393	1543
392	1538
391	1534
390	1532
389	1527
388	1525
387	1520
386	1516
385	1512
384	1508
383	1506
382	1501
381	1499
380	1494
379	1490
378	1486
377	1482
376	1478
375	1474
374	1470
373	1466
372	1462
371	1458
370	1456
369	1451
368	1449
367	1444
366	1440
365	1436
364	1432
363	1428
362	1424
361	1422
360	1417
359	1415
358	1410
357	1406
356	1404
355	1399
354	1395
353	1391
352	1387
351	1383
350	1379
349	1375
348	1371
347	1369
346	1364
345	1362
344	1357
343	1353
342	1351
341	1346
340	1342
339	1338
338	1334
337	1330
336	1328
335	1323
334	1321
333	1316
332	1312
331	1308
330	1304
329	1300
328	1296
327	1294
326	1289
325	1287
324	1282
323	1278
322	1274
321	1270
320	1266
319	1262
318	1260
317	1255
316	1251
315	1247
314	1243
313	1239
312	1235
311	1233
310	1230
309	1225
308	1221
307	1217
306	1213
305	1211
304	1208
303	1205
302	1200
301	1196
300	1192
299	1188
298	1184
297	1180
296	1176
295	1172
294	1168
293	1166
292	1161
291	1159
290	1154
289	1150
288	1146
287	1142
286	1140
285	1135
284	1133
283	1128
282	1124
281	1120
280	1116
279	1112
278	1108
277	1104
276	1102
275	1097
274	1093
273	1089
272	1085
271	1083
270	1078
269	1074
268	1070
267	1066
266	1064
265	1061
264	1056
263	1054
262	1049
261	1047
260	1042
259	1038
258	1034
257	1030
256	1028
255	1023
254	1021
253	1016
252	1014
251	1009
250	1005
249	1001
248	997
247	993
246	989
245	985
244	981
243	979
242	974
241	972
240	967
239	963
238	959
237	955
236	951
235	947
234	945
233	940
232	938
231	933
230	929
229	925
228	921
227	917
226	913
225	909
224	905
223	903
222	898
221	894
220	892
219	887
218	885
217	880
216	878
215	873
214	869
213	865
212	861
211	857
210	853
209	849
208	847
207	842
206	840
205	835
204	831
203	827
202	823
201	819
200	817
199	812
198	810
197	805
196	801
195	797
194	793
193	789
192	785
191	783
190	778
189	776
188	771
187	767
186	763
185	759
184	755
183	751
182	749
181	744
180	740
179	736
178	732
177	728
176	724
175	720
174	716
173	712
172	708
171	704
170	700
169	696
168	692
167	688
166	684
165	680
164	676
163	672
162	668
161	664
160	662
159	657
158	655
157	650
156	648
155	643
154	639
153	635
152	631
151	627
150	623
149	621
148	616
147	612
146	608
145	604
144	600
143	596
142	592
141	588
140	584
139	580
138	576
137	572
136	570
135	565
134	563
133	558
132	554
131	550
130	546
129	542
128	538
127	534
126	530
125	528
124	523
123	519
122	517
121	512
120	508
119	504
118	500
117	496
116	492
115	488
114	486
113	481
112	477
111	473
110	469
109	467
108	462
107	460
106	455
105	451
104	447
103	443
102	439
101	435
100	433
99	428
98	426
97	421
96	417
95	413
94	409
93	405
92	401
91	397
90	393
89	391
88	386
87	382
86	378
85	374
84	370
83	366
82	364
81	359
80	357
79	352
78	348
77	344
76	340
75	336
74	334
73	331
72	328
71	323
70	319
69	315
68	311
67	307
66	305
65	300
64	298
63	293
62	289
61	285
60	281
59	277
58	273
57	271
56	266
55	264
54	259
53	255
52	251
51	247
50	243
49	239
48	237
47	232
46	228
45	224
44	220
43	216
42	212
41	208
40	204
39	200
38	198
37	193
36	191
35	188
34	183
33	181
32	178
31	173
30	169
29	165
28	161
27	157
26	153
25	149
24	145
23	143
22	138
21	136
20	131
19	127
18	123
17	119
16	117
15	112
14	110
13	105
12	101
11	97
10	93
9	89
8	85
7	83
6	78
5	76
4	71
3	69
2	64
1	54
0	43

end0.0ms

sample3.0s

Algorithm

intervals

Results

1.4s	2341×	body	1280	valid
781.0ms	1573×	body	640	valid
285.0ms	763×	body	2560	valid
258.0ms	806×	body	320	valid
91.0ms	2086×	body	80	valid
47.0ms	431×	body	160	valid