Details

sample155.0ms

Algorithm

intervals

Results

38.0ms	55×	body	1280	valid
33.0ms	47×	body	640	valid
32.0ms	45×	body	10240	exit
10.0ms	113×	body	80	valid
7.0ms	28×	body	320	valid
5.0ms	93×	body	80	nan
2.0ms	15×	body	160	valid
2.0ms	7×	body	640	nan
1.0ms	4×	body	320	nan
0.0ms	1×	body	1280	nan
0.0ms	3×	body	160	nan

simplify8.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
144	4986
143	4970
142	4956
141	4939
140	4923
139	4907
138	4889
137	4874
136	4858
135	4836
134	4822
133	4807
132	4789
131	4773
130	4759
129	4742
128	4726
127	4710
126	4690
125	4675
124	4659
123	4641
122	4627
121	4612
120	4594
119	4578
118	4564
117	4547
116	4531
115	4515
114	4495
113	4480
112	4464
111	4444
110	4430
109	4415
108	4397
107	4381
106	4367
105	4350
104	4334
103	4318
102	4298
101	4283
100	4267
99	4245
98	4231
97	4216
96	4198
95	4182
94	4168
93	4151
92	4135
91	4119
90	4103
89	4088
88	4072
87	4050
86	4036
85	4021
84	4003
83	3987
82	3973
81	3956
80	3940
79	3924
78	3906
77	3891
76	3875
75	3853
74	3839
73	3824
72	3806
71	3790
70	3776
69	3759
68	3743
67	3727
66	3707
65	3692
64	3676
63	3654
62	3640
61	3625
60	3607
59	3591
58	3577
57	3560
56	3544
55	3528
54	3508
53	3493
52	3477
51	3455
50	3441
49	3426
48	3408
47	3392
46	3378
45	3361
44	3345
43	3329
42	3309
41	3294
40	3278
39	3260
38	3246
37	3231
36	3213
35	3197
34	3183
33	3166
32	3150
31	3134
30	3114
29	3099
28	3083
27	3061
26	3047
25	3032
24	3014
23	2998
22	2984
21	2967
20	2951
19	2935
18	2915
17	2900
16	2884
15	2866
14	2822
13	2455
12	2112
11	1738
10	1224
9	862
8	678
7	469
6	261
5	107
4	66
3	48
2	33
1	20
0	12

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.7b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
0.7b	(log (+ (- 1.0 y) (* y (exp z))))
1.9b	(+ (- 1.0 y) (* y (exp z)))

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-log-exp`
9×	`pow1`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`flip3-+` `div-sub` `flip-+` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`associate-+l+` `sum-log` `sub-neg` `diff-log` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `clear-num` `frac-2neg` `flip3--` `div-exp` `rem-log-exp` `associate-+l-` `div-inv` `flip--` `distribute-lft-out--`

Counts

4 → 79

Calls

4 calls:

20.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
49.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
21.0ms	(log (+ (- 1.0 y) (* y (exp z))))
47.0ms	(+ (- 1.0 y) (* y (exp z)))

series635.0ms

Counts

4 → 12

Calls

4 calls:

138.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
290.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
139.0ms	(log (+ (- 1.0 y) (* y (exp z))))
67.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify1.5s

Counts

91 → 91

Iterations

Iter	Nodes
done	5001
2	1437
1	477
0	202

prune697.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (- 1.0 (- y (* y (exp z))))) t)
0.7b	(log (- 1.0 (- y (* y (exp z)))))
4.0b	(- y (* y (exp z)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`times-frac`
11×	`pow1`
8×	`add-cbrt-cube` `add-exp-log`
6×	`add-log-exp`
5×	`log-prod` `log-pow`
4×	`log-div` `associate-/l*`
3×	`associate-/r` `flip3--` `associate-r` `associate-l*` `flip--`
2×	`div-sub`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 79

Calls

4 calls:

9.0ms	(* y (exp z))
30.0ms	(/ (log (- 1.0 (- y (* y (exp z))))) t)
12.0ms	(log (- 1.0 (- y (* y (exp z)))))
4.0ms	(- y (* y (exp z)))

series545.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* y (exp z))
304.0ms	(/ (log (- 1.0 (- y (* y (exp z))))) t)
130.0ms	(log (- 1.0 (- y (* y (exp z)))))
65.0ms	(- y (* y (exp z)))

simplify1.6s

Counts

91 → 91

Iterations

Iter	Nodes
done	5000
2	1424
1	492
0	212

prune937.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.1b

localize103.0ms

Local error

Found 4 expressions with local error:

0.7b	(log (cbrt (- 1.0 (- y (* y (exp z))))))
4.0b	(- y (* y (exp z)))
4.0b	(- y (* y (exp z)))
4.0b	(- y (* y (exp z)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`add-sqr-sqrt` `log-prod` `*-un-lft-identity`
6×	`add-cube-cbrt`
5×	`cbrt-prod` `pow1` `add-exp-log`
4×	`flip3--` `add-cbrt-cube` `flip--`
3×	`sub-neg` `diff-log`
2×	`log-div` `cbrt-div` `log-pow`
1×	`pow1/3` `rem-log-exp` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 56

Calls

4 calls:

10.0ms	(log (cbrt (- 1.0 (- y (* y (exp z))))))
4.0ms	(- y (* y (exp z)))
4.0ms	(- y (* y (exp z)))
5.0ms	(- y (* y (exp z)))

series511.0ms

Counts

4 → 12

Calls

4 calls:

270.0ms	(log (cbrt (- 1.0 (- y (* y (exp z))))))
64.0ms	(- y (* y (exp z)))
90.0ms	(- y (* y (exp z)))
86.0ms	(- y (* y (exp z)))

simplify3.1s

Counts

68 → 68

Iterations

Iter	Nodes
done	5001
3	3355
2	846
1	308
0	136

prune681.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.1b

localize69.0ms

Local error

Found 4 expressions with local error:

0.7b	(log (- 1.0 (- y (* y (exp z)))))
0.7b	(log (- 1.0 (- y (* y (exp z)))))
4.0b	(- y (* y (exp z)))
4.0b	(- y (* y (exp z)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `log-prod` `*-un-lft-identity`
8×	`add-log-exp`
6×	`pow1` `add-exp-log` `add-cube-cbrt`
4×	`log-div` `flip3--` `add-cbrt-cube` `flip--`
2×	`sub-neg` `diff-log` `rem-log-exp` `log-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 56

Calls

4 calls:

19.0ms	(log (- 1.0 (- y (* y (exp z)))))
25.0ms	(log (- 1.0 (- y (* y (exp z)))))
9.0ms	(- y (* y (exp z)))
9.0ms	(- y (* y (exp z)))

series404.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(log (- 1.0 (- y (* y (exp z)))))
144.0ms	(log (- 1.0 (- y (* y (exp z)))))
89.0ms	(- y (* y (exp z)))
62.0ms	(- y (* y (exp z)))

simplify3.2s

Counts

68 → 68

Iterations

Iter	Nodes
done	5000
3	3488
2	829
1	274
0	113

prune621.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.1b

regimes2.0s

Accuracy

55% (4.8b remaining)

Error of 8.5b against oracle of 3.7b and baseline of 14.5b

bsearch423.0ms

Steps

Iters	Range		Point
5	8.513500786890878e-160	2.043922704750105e-159	1.6509902756744657e-159
9	-3.509948340908123e-140	-3.394549339077915e-147	-6.320708783077287e-143
9	-180.33670105084897	-0.0001839247968598657	-0.0001910423669767732

simplify8.1s

Iterations

Iter	Nodes
done	5001
1444	4999
1443	4996
1442	4992
1441	4989
1440	4985
1439	4982
1438	4978
1437	4975
1436	4971
1435	4968
1434	4965
1433	4962
1432	4958
1431	4955
1430	4952
1429	4949
1428	4945
1427	4942
1426	4938
1425	4935
1424	4932
1423	4929
1422	4925
1421	4922
1420	4918
1419	4915
1418	4911
1417	4908
1416	4904
1415	4901
1414	4897
1413	4894
1412	4890
1411	4887
1410	4883
1409	4880
1408	4876
1407	4873
1406	4869
1405	4866
1404	4862
1403	4859
1402	4855
1401	4852
1400	4848
1399	4845
1398	4841
1397	4838
1396	4834
1395	4831
1394	4827
1393	4824
1392	4820
1391	4817
1390	4813
1389	4810
1388	4806
1387	4803
1386	4799
1385	4796
1384	4793
1383	4790
1382	4786
1381	4783
1380	4779
1379	4776
1378	4772
1377	4769
1376	4765
1375	4762
1374	4759
1373	4756
1372	4752
1371	4749
1370	4745
1369	4742
1368	4738
1367	4735
1366	4731
1365	4728
1364	4725
1363	4722
1362	4718
1361	4715
1360	4711
1359	4708
1358	4704
1357	4701
1356	4697
1355	4694
1354	4691
1353	4688
1352	4684
1351	4681
1350	4678
1349	4675
1348	4672
1347	4669
1346	4665
1345	4662
1344	4658
1343	4655
1342	4651
1341	4648
1340	4644
1339	4641
1338	4637
1337	4634
1336	4630
1335	4627
1334	4624
1333	4621
1332	4617
1331	4614
1330	4610
1329	4607
1328	4604
1327	4601
1326	4597
1325	4594
1324	4590
1323	4587
1322	4583
1321	4580
1320	4576
1319	4573
1318	4570
1317	4567
1316	4563
1315	4560
1314	4556
1313	4553
1312	4549
1311	4546
1310	4542
1309	4539
1308	4536
1307	4533
1306	4529
1305	4526
1304	4522
1303	4519
1302	4515
1301	4512
1300	4508
1299	4505
1298	4501
1297	4498
1296	4495
1295	4492
1294	4488
1293	4485
1292	4481
1291	4478
1290	4474
1289	4471
1288	4468
1287	4465
1286	4461
1285	4458
1284	4454
1283	4451
1282	4447
1281	4444
1280	4440
1279	4437
1278	4434
1277	4431
1276	4427
1275	4424
1274	4420
1273	4417
1272	4413
1271	4410
1270	4406
1269	4403
1268	4400
1267	4397
1266	4393
1265	4390
1264	4386
1263	4383
1262	4379
1261	4376
1260	4372
1259	4369
1258	4366
1257	4363
1256	4359
1255	4356
1254	4352
1253	4349
1252	4345
1251	4342
1250	4338
1249	4335
1248	4331
1247	4328
1246	4324
1245	4321
1244	4317
1243	4314
1242	4311
1241	4308
1240	4304
1239	4301
1238	4297
1237	4294
1236	4290
1235	4287
1234	4283
1233	4280
1232	4276
1231	4273
1230	4269
1229	4266
1228	4262
1227	4259
1226	4255
1225	4252
1224	4248
1223	4245
1222	4241
1221	4238
1220	4234
1219	4231
1218	4227
1217	4224
1216	4221
1215	4218
1214	4214
1213	4211
1212	4207
1211	4204
1210	4200
1209	4197
1208	4193
1207	4190
1206	4186
1205	4183
1204	4179
1203	4176
1202	4173
1201	4170
1200	4166
1199	4163
1198	4160
1197	4157
1196	4153
1195	4150
1194	4146
1193	4143
1192	4139
1191	4136
1190	4132
1189	4129
1188	4125
1187	4122
1186	4118
1185	4115
1184	4112
1183	4109
1182	4105
1181	4102
1180	4098
1179	4095
1178	4092
1177	4089
1176	4085
1175	4082
1174	4078
1173	4075
1172	4071
1171	4068
1170	4064
1169	4061
1168	4057
1167	4054
1166	4050
1165	4047
1164	4044
1163	4041
1162	4037
1161	4034
1160	4030
1159	4027
1158	4023
1157	4020
1156	4016
1155	4013
1154	4009
1153	4006
1152	4002
1151	3999
1150	3995
1149	3992
1148	3989
1147	3986
1146	3982
1145	3979
1144	3975
1143	3972
1142	3968
1141	3965
1140	3961
1139	3958
1138	3954
1137	3951
1136	3947
1135	3944
1134	3940
1133	3937
1132	3933
1131	3930
1130	3926
1129	3923
1128	3919
1127	3916
1126	3912
1125	3909
1124	3905
1123	3902
1122	3898
1121	3895
1120	3891
1119	3888
1118	3884
1117	3881
1116	3877
1115	3874
1114	3871
1113	3868
1112	3864
1111	3861
1110	3857
1109	3854
1108	3850
1107	3847
1106	3843
1105	3840
1104	3837
1103	3834
1102	3830
1101	3827
1100	3823
1099	3820
1098	3816
1097	3813
1096	3809
1095	3806
1094	3803
1093	3800
1092	3796
1091	3793
1090	3789
1089	3786
1088	3782
1087	3779
1086	3775
1085	3772
1084	3769
1083	3766
1082	3762
1081	3759
1080	3755
1079	3752
1078	3748
1077	3745
1076	3741
1075	3738
1074	3735
1073	3732
1072	3728
1071	3725
1070	3721
1069	3718
1068	3714
1067	3711
1066	3707
1065	3704
1064	3701
1063	3698
1062	3694
1061	3691
1060	3687
1059	3684
1058	3680
1057	3677
1056	3673
1055	3670
1054	3667
1053	3664
1052	3660
1051	3657
1050	3653
1049	3650
1048	3647
1047	3644
1046	3640
1045	3637
1044	3634
1043	3631
1042	3627
1041	3624
1040	3620
1039	3617
1038	3613
1037	3610
1036	3606
1035	3603
1034	3600
1033	3597
1032	3593
1031	3590
1030	3586
1029	3583
1028	3580
1027	3577
1026	3573
1025	3570
1024	3566
1023	3563
1022	3559
1021	3556
1020	3552
1019	3549
1018	3545
1017	3542
1016	3538
1015	3535
1014	3532
1013	3529
1012	3525
1011	3522
1010	3518
1009	3515
1008	3511
1007	3508
1006	3504
1005	3501
1004	3497
1003	3494
1002	3490
1001	3487
1000	3483
999	3480
998	3476
997	3473
996	3469
995	3466
994	3463
993	3460
992	3456
991	3453
990	3449
989	3446
988	3442
987	3439
986	3435
985	3432
984	3428
983	3425
982	3421
981	3418
980	3414
979	3411
978	3407
977	3404
976	3400
975	3397
974	3393
973	3390
972	3386
971	3383
970	3379
969	3376
968	3372
967	3369
966	3365
965	3362
964	3358
963	3355
962	3351
961	3348
960	3345
959	3342
958	3338
957	3335
956	3331
955	3328
954	3325
953	3322
952	3318
951	3315
950	3311
949	3308
948	3304
947	3301
946	3297
945	3294
944	3291
943	3288
942	3284
941	3281
940	3277
939	3274
938	3271
937	3268
936	3264
935	3261
934	3258
933	3255
932	3251
931	3248
930	3244
929	3241
928	3237
927	3234
926	3230
925	3227
924	3224
923	3221
922	3217
921	3214
920	3210
919	3207
918	3203
917	3200
916	3196
915	3193
914	3189
913	3186
912	3182
911	3179
910	3175
909	3172
908	3168
907	3165
906	3161
905	3158
904	3154
903	3151
902	3147
901	3144
900	3140
899	3137
898	3134
897	3131
896	3127
895	3124
894	3121
893	3118
892	3114
891	3111
890	3107
889	3104
888	3101
887	3098
886	3094
885	3091
884	3088
883	3085
882	3081
881	3078
880	3074
879	3071
878	3067
877	3064
876	3060
875	3057
874	3054
873	3051
872	3047
871	3044
870	3040
869	3037
868	3034
867	3031
866	3027
865	3024
864	3021
863	3018
862	3014
861	3011
860	3007
859	3004
858	3000
857	2997
856	2993
855	2990
854	2987
853	2984
852	2981
851	2978
850	2974
849	2971
848	2968
847	2965
846	2961
845	2958
844	2954
843	2951
842	2947
841	2944
840	2940
839	2937
838	2934
837	2931
836	2927
835	2924
834	2920
833	2917
832	2913
831	2910
830	2906
829	2903
828	2900
827	2897
826	2893
825	2890
824	2886
823	2883
822	2879
821	2876
820	2872
819	2869
818	2866
817	2863
816	2859
815	2856
814	2852
813	2849
812	2845
811	2842
810	2838
809	2835
808	2831
807	2828
806	2824
805	2821
804	2818
803	2815
802	2812
801	2809
800	2805
799	2802
798	2799
797	2796
796	2792
795	2789
794	2785
793	2782
792	2778
791	2775
790	2771
789	2768
788	2764
787	2761
786	2757
785	2754
784	2750
783	2747
782	2743
781	2740
780	2736
779	2733
778	2730
777	2727
776	2723
775	2720
774	2716
773	2713
772	2709
771	2706
770	2703
769	2700
768	2696
767	2693
766	2689
765	2686
764	2682
763	2679
762	2675
761	2672
760	2668
759	2665
758	2661
757	2658
756	2654
755	2651
754	2647
753	2644
752	2640
751	2637
750	2633
749	2630
748	2626
747	2623
746	2619
745	2616
744	2612
743	2609
742	2605
741	2602
740	2598
739	2595
738	2592
737	2589
736	2585
735	2582
734	2578
733	2575
732	2571
731	2568
730	2564
729	2561
728	2558
727	2555
726	2551
725	2548
724	2544
723	2541
722	2537
721	2534
720	2530
719	2527
718	2524
717	2521
716	2517
715	2514
714	2510
713	2507
712	2504
711	2501
710	2497
709	2494
708	2491
707	2488
706	2484
705	2481
704	2477
703	2474
702	2470
701	2467
700	2463
699	2460
698	2457
697	2454
696	2450
695	2447
694	2443
693	2440
692	2436
691	2433
690	2430
689	2427
688	2423
687	2420
686	2416
685	2413
684	2409
683	2406
682	2402
681	2399
680	2395
679	2392
678	2389
677	2386
676	2382
675	2379
674	2375
673	2372
672	2368
671	2365
670	2361
669	2358
668	2355
667	2352
666	2349
665	2346
664	2342
663	2339
662	2336
661	2333
660	2329
659	2326
658	2322
657	2319
656	2315
655	2312
654	2308
653	2305
652	2302
651	2299
650	2295
649	2292
648	2288
647	2285
646	2281
645	2278
644	2274
643	2271
642	2268
641	2265
640	2261
639	2258
638	2254
637	2251
636	2247
635	2244
634	2240
633	2237
632	2234
631	2231
630	2227
629	2224
628	2220
627	2217
626	2213
625	2210
624	2206
623	2203
622	2199
621	2196
620	2192
619	2189
618	2186
617	2183
616	2179
615	2176
614	2173
613	2170
612	2167
611	2164
610	2160
609	2157
608	2153
607	2150
606	2146
605	2143
604	2139
603	2136
602	2133
601	2130
600	2126
599	2123
598	2119
597	2116
596	2113
595	2110
594	2106
593	2103
592	2099
591	2096
590	2093
589	2090
588	2086
587	2083
586	2080
585	2077
584	2073
583	2070
582	2067
581	2064
580	2060
579	2057
578	2053
577	2050
576	2047
575	2044
574	2040
573	2037
572	2033
571	2030
570	2026
569	2023
568	2019
567	2016
566	2013
565	2010
564	2006
563	2003
562	1999
561	1996
560	1992
559	1989
558	1985
557	1982
556	1979
555	1976
554	1972
553	1969
552	1965
551	1962
550	1958
549	1955
548	1951
547	1948
546	1945
545	1942
544	1938
543	1935
542	1931
541	1928
540	1924
539	1921
538	1917
537	1914
536	1911
535	1908
534	1904
533	1901
532	1897
531	1894
530	1890
529	1887
528	1883
527	1880
526	1877
525	1874
524	1870
523	1867
522	1863
521	1860
520	1856
519	1853
518	1849
517	1846
516	1843
515	1840
514	1836
513	1833
512	1829
511	1826
510	1822
509	1819
508	1815
507	1812
506	1809
505	1806
504	1802
503	1799
502	1795
501	1792
500	1788
499	1785
498	1781
497	1778
496	1775
495	1772
494	1768
493	1765
492	1762
491	1759
490	1755
489	1752
488	1748
487	1745
486	1741
485	1738
484	1734
483	1731
482	1728
481	1725
480	1721
479	1718
478	1714
477	1711
476	1708
475	1705
474	1701
473	1698
472	1695
471	1692
470	1688
469	1685
468	1682
467	1679
466	1675
465	1672
464	1668
463	1665
462	1661
461	1658
460	1655
459	1652
458	1648
457	1645
456	1641
455	1638
454	1634
453	1631
452	1627
451	1624
450	1621
449	1618
448	1614
447	1611
446	1607
445	1604
444	1600
443	1597
442	1593
441	1590
440	1587
439	1584
438	1580
437	1577
436	1573
435	1570
434	1566
433	1563
432	1559
431	1556
430	1553
429	1550
428	1546
427	1543
426	1539
425	1536
424	1532
423	1529
422	1525
421	1522
420	1519
419	1516
418	1512
417	1509
416	1505
415	1502
414	1498
413	1495
412	1491
411	1488
410	1485
409	1482
408	1478
407	1475
406	1471
405	1468
404	1464
403	1461
402	1457
401	1454
400	1451
399	1448
398	1444
397	1441
396	1437
395	1434
394	1430
393	1427
392	1423
391	1420
390	1417
389	1414
388	1410
387	1407
386	1403
385	1400
384	1396
383	1393
382	1389
381	1386
380	1382
379	1379
378	1376
377	1373
376	1369
375	1366
374	1362
373	1359
372	1355
371	1352
370	1349
369	1346
368	1342
367	1339
366	1335
365	1332
364	1328
363	1325
362	1321
361	1318
360	1315
359	1312
358	1308
357	1305
356	1301
355	1298
354	1294
353	1291
352	1287
351	1284
350	1281
349	1278
348	1274
347	1271
346	1267
345	1264
344	1261
343	1258
342	1254
341	1251
340	1247
339	1244
338	1241
337	1238
336	1234
335	1231
334	1227
333	1224
332	1220
331	1217
330	1213
329	1210
328	1206
327	1203
326	1199
325	1196
324	1193
323	1190
322	1186
321	1183
320	1179
319	1176
318	1172
317	1169
316	1165
315	1162
314	1158
313	1155
312	1151
311	1148
310	1144
309	1141
308	1137
307	1134
306	1130
305	1127
304	1123
303	1120
302	1116
301	1113
300	1110
299	1107
298	1103
297	1100
296	1096
295	1093
294	1089
293	1086
292	1082
291	1079
290	1075
289	1072
288	1068
287	1065
286	1061
285	1058
284	1054
283	1051
282	1047
281	1044
280	1041
279	1038
278	1034
277	1031
276	1028
275	1025
274	1022
273	1019
272	1015
271	1012
270	1008
269	1005
268	1001
267	998
266	994
265	991
264	988
263	985
262	981
261	978
260	975
259	972
258	968
257	965
256	961
255	958
254	954
253	951
252	947
251	944
250	941
249	938
248	935
247	932
246	928
245	925
244	922
243	919
242	915
241	912
240	908
239	905
238	901
237	898
236	894
235	891
234	888
233	885
232	881
231	878
230	874
229	871
228	867
227	864
226	860
225	857
224	854
223	851
222	847
221	844
220	840
219	837
218	833
217	830
216	826
215	823
214	820
213	817
212	813
211	810
210	806
209	803
208	799
207	796
206	792
205	789
204	786
203	783
202	779
201	776
200	772
199	769
198	765
197	762
196	758
195	755
194	752
193	749
192	745
191	742
190	738
189	735
188	731
187	728
186	724
185	721
184	718
183	715
182	711
181	708
180	705
179	702
178	698
177	695
176	691
175	688
174	684
173	681
172	677
171	674
170	670
169	667
168	663
167	660
166	656
165	653
164	649
163	646
162	643
161	640
160	636
159	633
158	629
157	626
156	622
155	619
154	615
153	612
152	608
151	605
150	601
149	598
148	594
147	591
146	587
145	584
144	580
143	577
142	573
141	570
140	566
139	563
138	559
137	556
136	552
135	549
134	546
133	543
132	539
131	536
130	532
129	529
128	525
127	522
126	518
125	515
124	512
123	509
122	505
121	502
120	498
119	495
118	491
117	488
116	484
115	481
114	478
113	475
112	471
111	468
110	464
109	461
108	457
107	454
106	450
105	447
104	444
103	441
102	437
101	434
100	430
99	427
98	423
97	420
96	416
95	413
94	410
93	407
92	403
91	400
90	396
89	393
88	389
87	386
86	382
85	379
84	375
83	372
82	369
81	366
80	362
79	359
78	355
77	352
76	348
75	345
74	342
73	339
72	335
71	332
70	328
69	325
68	321
67	318
66	314
65	311
64	308
63	305
62	301
61	298
60	294
59	291
58	287
57	284
56	280
55	277
54	274
53	271
52	267
51	264
50	260
49	257
48	253
47	250
46	246
45	243
44	240
43	237
42	233
41	230
40	226
39	223
38	219
37	216
36	212
35	209
34	206
33	203
32	199
31	196
30	192
29	189
28	185
27	182
26	178
25	175
24	172
23	169
22	165
21	162
20	158
19	155
18	151
17	148
16	144
15	141
14	137
13	134
12	130
11	127
10	123
9	120
8	116
7	113
6	109
5	106
4	102
3	88
2	71
1	58
0	43

end0.0ms

sample6.7s

Algorithm

intervals

Results

1.8s	1483×	body	1280	valid
1.6s	1481×	body	10240	exit
924.0ms	1549×	body	640	valid
578.0ms	2445×	body	80	nan
461.0ms	3526×	body	80	valid
302.0ms	908×	body	320	valid
152.0ms	79×	body	2560	valid
125.0ms	484×	body	160	valid
85.0ms	260×	body	640	nan
46.0ms	90×	body	1280	nan
46.0ms	200×	body	320	nan
20.0ms	111×	body	160	nan