Details

sample89.0ms

Algorithm

intervals

Results

10.0ms

267×

body

valid

simplify938.0ms

Counts

1 → 1

Iterations

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 192

Calls

3 calls:

15.0ms	(/ (- v) (+ u t1))
17.0ms	(/ t1 (+ u t1))
80.0ms	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

series184.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(/ (- v) (+ u t1))
53.0ms	(/ t1 (+ u t1))
99.0ms	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

simplify1.8s

Counts

201 → 201

Iterations

Iter	Nodes
done	5000
2	3634
1	645
0	212

prune934.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t1)
0.6b	(cbrt t1)
0.7b	(/ (* (* (cbrt t1) (cbrt t1)) (/ (- v) (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
7.1b	(* (* (cbrt t1) (cbrt t1)) (/ (- v) (+ t1 u)))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-exp-log`
49×	`*-un-lft-identity`
46×	`associate-r`
42×	`times-frac`
35×	`add-cbrt-cube`
32×	`add-sqr-sqrt`
29×	`add-cube-cbrt`
23×	`prod-exp` `cbrt-unprod`
16×	`cbrt-undiv` `div-exp`
12×	`distribute-lft-neg-in` `cbrt-div` `distribute-rgt-neg-in`
10×	`associate-/r/` `distribute-lft-out`
9×	`pow1`
7×	`flip3-+` `flip-+`
6×	`cbrt-prod`
4×	`frac-times` `neg-mul-1` `associate-*r/` `add-log-exp`
3×	`pow-prod-down` `distribute-frac-neg`
2×	`pow1/3` `associate-*l/` `distribute-rgt-neg-out` `div-inv` `unswap-sqr`
1×	`clear-num` `associate-/r` `frac-2neg` `associate-l` `-commutative` `associate-/l*` `associate-/l/`

Counts

4 → 134

Calls

4 calls:

1.0ms	(cbrt t1)
1.0ms	(cbrt t1)
77.0ms	(/ (* (* (cbrt t1) (cbrt t1)) (/ (- v) (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
74.0ms	(* (* (cbrt t1) (cbrt t1)) (/ (- v) (+ t1 u)))

series1.1s

Counts

4 → 12

Calls

4 calls:

339.0ms	(cbrt t1)
263.0ms	(cbrt t1)
198.0ms	(/ (* (* (cbrt t1) (cbrt t1)) (/ (- v) (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
302.0ms	(* (* (cbrt t1) (cbrt t1)) (/ (- v) (+ t1 u)))

simplify530.0ms

Counts

146 → 146

Iterations

Iter	Nodes
done	5000
1	788
0	223

prune986.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (- v) (/ t1 (+ t1 u)))
19.2b	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))
19.2b	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))
19.2b	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

26.0ms	(* (- v) (/ t1 (+ t1 u)))
11.0ms	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))
11.0ms	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))
15.0ms	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))

series953.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (- v) (/ t1 (+ t1 u)))
307.0ms	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))
303.0ms	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))
297.0ms	(cbrt (/ (* (- v) (/ t1 (+ t1 u))) (+ t1 u)))

simplify1.0s

Counts

114 → 114

Iterations

Iter	Nodes
done	5000
2	1877
1	403
0	155

prune775.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ t1 u))
0.5b	(cbrt (+ u t1))
0.5b	(* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
1.6b	(* (/ (/ (- v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (cbrt (+ u t1))) (/ t1 (+ u t1)))

rewrite302.0ms

Algorithm

rewrite-expression-head

Rules

253×	`times-frac`
167×	`associate-l`
163×	`*-un-lft-identity`
136×	`add-sqr-sqrt`
124×	`cbrt-prod`
102×	`cbrt-div`
95×	`add-cube-cbrt`
60×	`associate-/r/`
52×	`flip3-+` `flip-+`
38×	`add-exp-log`
33×	`frac-times` `distribute-lft-out`
26×	`add-cbrt-cube`
25×	`associate-r`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
17×	`associate-l/` `associate-r/`
14×	`cbrt-undiv` `div-exp` `unswap-sqr`
13×	`pow1`
11×	`prod-exp` `cbrt-unprod`
9×	`swap-sqr` `div-inv`
8×	`pow1/3`
7×	`neg-mul-1`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`distribute-frac-neg` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`distribute-lft-neg-out` `pow2` `pow-plus`

Counts

4 → 298

Calls

4 calls:

5.0ms	(cbrt (+ t1 u))
6.0ms	(cbrt (+ u t1))
53.0ms	(* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
203.0ms	(* (/ (/ (- v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (cbrt (+ u t1))) (/ t1 (+ u t1)))

series759.0ms

Counts

4 → 12

Calls

4 calls:

213.0ms	(cbrt (+ t1 u))
182.0ms	(cbrt (+ u t1))
245.0ms	(* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
118.0ms	(* (/ (/ (- v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (cbrt (+ u t1))) (/ t1 (+ u t1)))

simplify757.0ms

Counts

310 → 310

Iterations

Iter	Nodes
done	5001
1	1356
0	428

prune2.0s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes203.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify3.6s

Iterations

Iter	Nodes
done	5001
1656	4998
1655	4995
1654	4992
1653	4989
1652	4986
1651	4983
1650	4980
1649	4977
1648	4974
1647	4971
1646	4968
1645	4965
1644	4962
1643	4959
1642	4956
1641	4953
1640	4950
1639	4947
1638	4944
1637	4941
1636	4938
1635	4935
1634	4932
1633	4929
1632	4926
1631	4923
1630	4920
1629	4917
1628	4914
1627	4911
1626	4908
1625	4905
1624	4902
1623	4899
1622	4896
1621	4893
1620	4890
1619	4887
1618	4884
1617	4881
1616	4878
1615	4875
1614	4872
1613	4869
1612	4866
1611	4863
1610	4860
1609	4857
1608	4854
1607	4851
1606	4848
1605	4845
1604	4842
1603	4839
1602	4836
1601	4833
1600	4830
1599	4827
1598	4824
1597	4821
1596	4818
1595	4815
1594	4812
1593	4809
1592	4806
1591	4803
1590	4800
1589	4797
1588	4794
1587	4791
1586	4788
1585	4785
1584	4782
1583	4779
1582	4776
1581	4773
1580	4770
1579	4767
1578	4764
1577	4761
1576	4758
1575	4755
1574	4752
1573	4749
1572	4746
1571	4743
1570	4740
1569	4737
1568	4734
1567	4731
1566	4728
1565	4725
1564	4722
1563	4719
1562	4716
1561	4713
1560	4710
1559	4707
1558	4704
1557	4701
1556	4698
1555	4695
1554	4692
1553	4689
1552	4686
1551	4683
1550	4680
1549	4677
1548	4674
1547	4671
1546	4668
1545	4665
1544	4662
1543	4659
1542	4656
1541	4653
1540	4650
1539	4647
1538	4644
1537	4641
1536	4638
1535	4635
1534	4632
1533	4629
1532	4626
1531	4623
1530	4620
1529	4617
1528	4614
1527	4611
1526	4608
1525	4605
1524	4602
1523	4599
1522	4596
1521	4593
1520	4590
1519	4587
1518	4584
1517	4581
1516	4578
1515	4575
1514	4572
1513	4569
1512	4566
1511	4563
1510	4560
1509	4557
1508	4554
1507	4551
1506	4548
1505	4545
1504	4542
1503	4539
1502	4536
1501	4533
1500	4530
1499	4527
1498	4524
1497	4521
1496	4518
1495	4515
1494	4512
1493	4509
1492	4506
1491	4503
1490	4500
1489	4497
1488	4494
1487	4491
1486	4488
1485	4485
1484	4482
1483	4479
1482	4476
1481	4473
1480	4470
1479	4467
1478	4464
1477	4461
1476	4458
1475	4455
1474	4452
1473	4449
1472	4446
1471	4443
1470	4440
1469	4437
1468	4434
1467	4431
1466	4428
1465	4425
1464	4422
1463	4419
1462	4416
1461	4413
1460	4410
1459	4407
1458	4404
1457	4401
1456	4398
1455	4395
1454	4392
1453	4389
1452	4386
1451	4383
1450	4380
1449	4377
1448	4374
1447	4371
1446	4368
1445	4365
1444	4362
1443	4359
1442	4356
1441	4353
1440	4350
1439	4347
1438	4344
1437	4341
1436	4338
1435	4335
1434	4332
1433	4329
1432	4326
1431	4323
1430	4320
1429	4317
1428	4314
1427	4311
1426	4308
1425	4305
1424	4302
1423	4299
1422	4296
1421	4293
1420	4290
1419	4287
1418	4284
1417	4281
1416	4278
1415	4275
1414	4272
1413	4269
1412	4266
1411	4263
1410	4260
1409	4257
1408	4254
1407	4251
1406	4248
1405	4245
1404	4242
1403	4239
1402	4236
1401	4233
1400	4230
1399	4227
1398	4224
1397	4221
1396	4218
1395	4215
1394	4212
1393	4209
1392	4206
1391	4203
1390	4200
1389	4197
1388	4194
1387	4191
1386	4188
1385	4185
1384	4182
1383	4179
1382	4176
1381	4173
1380	4170
1379	4167
1378	4164
1377	4161
1376	4158
1375	4155
1374	4152
1373	4149
1372	4146
1371	4143
1370	4140
1369	4137
1368	4134
1367	4131
1366	4128
1365	4125
1364	4122
1363	4119
1362	4116
1361	4113
1360	4110
1359	4107
1358	4104
1357	4101
1356	4098
1355	4095
1354	4092
1353	4089
1352	4086
1351	4083
1350	4080
1349	4077
1348	4074
1347	4071
1346	4068
1345	4065
1344	4062
1343	4059
1342	4056
1341	4053
1340	4050
1339	4047
1338	4044
1337	4041
1336	4038
1335	4035
1334	4032
1333	4029
1332	4026
1331	4023
1330	4020
1329	4017
1328	4014
1327	4011
1326	4008
1325	4005
1324	4002
1323	3999
1322	3996
1321	3993
1320	3990
1319	3987
1318	3984
1317	3981
1316	3978
1315	3975
1314	3972
1313	3969
1312	3966
1311	3963
1310	3960
1309	3957
1308	3954
1307	3951
1306	3948
1305	3945
1304	3942
1303	3939
1302	3936
1301	3933
1300	3930
1299	3927
1298	3924
1297	3921
1296	3918
1295	3915
1294	3912
1293	3909
1292	3906
1291	3903
1290	3900
1289	3897
1288	3894
1287	3891
1286	3888
1285	3885
1284	3882
1283	3879
1282	3876
1281	3873
1280	3870
1279	3867
1278	3864
1277	3861
1276	3858
1275	3855
1274	3852
1273	3849
1272	3846
1271	3843
1270	3840
1269	3837
1268	3834
1267	3831
1266	3828
1265	3825
1264	3822
1263	3819
1262	3816
1261	3813
1260	3810
1259	3807
1258	3804
1257	3801
1256	3798
1255	3795
1254	3792
1253	3789
1252	3786
1251	3783
1250	3780
1249	3777
1248	3774
1247	3771
1246	3768
1245	3765
1244	3762
1243	3759
1242	3756
1241	3753
1240	3750
1239	3747
1238	3744
1237	3741
1236	3738
1235	3735
1234	3732
1233	3729
1232	3726
1231	3723
1230	3720
1229	3717
1228	3714
1227	3711
1226	3708
1225	3705
1224	3702
1223	3699
1222	3696
1221	3693
1220	3690
1219	3687
1218	3684
1217	3681
1216	3678
1215	3675
1214	3672
1213	3669
1212	3666
1211	3663
1210	3660
1209	3657
1208	3654
1207	3651
1206	3648
1205	3645
1204	3642
1203	3639
1202	3636
1201	3633
1200	3630
1199	3627
1198	3624
1197	3621
1196	3618
1195	3615
1194	3612
1193	3609
1192	3606
1191	3603
1190	3600
1189	3597
1188	3594
1187	3591
1186	3588
1185	3585
1184	3582
1183	3579
1182	3576
1181	3573
1180	3570
1179	3567
1178	3564
1177	3561
1176	3558
1175	3555
1174	3552
1173	3549
1172	3546
1171	3543
1170	3540
1169	3537
1168	3534
1167	3531
1166	3528
1165	3525
1164	3522
1163	3519
1162	3516
1161	3513
1160	3510
1159	3507
1158	3504
1157	3501
1156	3498
1155	3495
1154	3492
1153	3489
1152	3486
1151	3483
1150	3480
1149	3477
1148	3474
1147	3471
1146	3468
1145	3465
1144	3462
1143	3459
1142	3456
1141	3453
1140	3450
1139	3447
1138	3444
1137	3441
1136	3438
1135	3435
1134	3432
1133	3429
1132	3426
1131	3423
1130	3420
1129	3417
1128	3414
1127	3411
1126	3408
1125	3405
1124	3402
1123	3399
1122	3396
1121	3393
1120	3390
1119	3387
1118	3384
1117	3381
1116	3378
1115	3375
1114	3372
1113	3369
1112	3366
1111	3363
1110	3360
1109	3357
1108	3354
1107	3351
1106	3348
1105	3345
1104	3342
1103	3339
1102	3336
1101	3333
1100	3330
1099	3327
1098	3324
1097	3321
1096	3318
1095	3315
1094	3312
1093	3309
1092	3306
1091	3303
1090	3300
1089	3297
1088	3294
1087	3291
1086	3288
1085	3285
1084	3282
1083	3279
1082	3276
1081	3273
1080	3270
1079	3267
1078	3264
1077	3261
1076	3258
1075	3255
1074	3252
1073	3249
1072	3246
1071	3243
1070	3240
1069	3237
1068	3234
1067	3231
1066	3228
1065	3225
1064	3222
1063	3219
1062	3216
1061	3213
1060	3210
1059	3207
1058	3204
1057	3201
1056	3198
1055	3195
1054	3192
1053	3189
1052	3186
1051	3183
1050	3180
1049	3177
1048	3174
1047	3171
1046	3168
1045	3165
1044	3162
1043	3159
1042	3156
1041	3153
1040	3150
1039	3147
1038	3144
1037	3141
1036	3138
1035	3135
1034	3132
1033	3129
1032	3126
1031	3123
1030	3120
1029	3117
1028	3114
1027	3111
1026	3108
1025	3105
1024	3102
1023	3099
1022	3096
1021	3093
1020	3090
1019	3087
1018	3084
1017	3081
1016	3078
1015	3075
1014	3072
1013	3069
1012	3066
1011	3063
1010	3060
1009	3057
1008	3054
1007	3051
1006	3048
1005	3045
1004	3042
1003	3039
1002	3036
1001	3033
1000	3030
999	3027
998	3024
997	3021
996	3018
995	3015
994	3012
993	3009
992	3006
991	3003
990	3000
989	2997
988	2994
987	2991
986	2988
985	2985
984	2982
983	2979
982	2976
981	2973
980	2970
979	2967
978	2964
977	2961
976	2958
975	2955
974	2952
973	2949
972	2946
971	2943
970	2940
969	2937
968	2934
967	2931
966	2928
965	2925
964	2922
963	2919
962	2916
961	2913
960	2910
959	2907
958	2904
957	2901
956	2898
955	2895
954	2892
953	2889
952	2886
951	2883
950	2880
949	2877
948	2874
947	2871
946	2868
945	2865
944	2862
943	2859
942	2856
941	2853
940	2850
939	2847
938	2844
937	2841
936	2838
935	2835
934	2832
933	2829
932	2826
931	2823
930	2820
929	2817
928	2814
927	2811
926	2808
925	2805
924	2802
923	2799
922	2796
921	2793
920	2790
919	2787
918	2784
917	2781
916	2778
915	2775
914	2772
913	2769
912	2766
911	2763
910	2760
909	2757
908	2754
907	2751
906	2748
905	2745
904	2742
903	2739
902	2736
901	2733
900	2730
899	2727
898	2724
897	2721
896	2718
895	2715
894	2712
893	2709
892	2706
891	2703
890	2700
889	2697
888	2694
887	2691
886	2688
885	2685
884	2682
883	2679
882	2676
881	2673
880	2670
879	2667
878	2664
877	2661
876	2658
875	2655
874	2652
873	2649
872	2646
871	2643
870	2640
869	2637
868	2634
867	2631
866	2628
865	2625
864	2622
863	2619
862	2616
861	2613
860	2610
859	2607
858	2604
857	2601
856	2598
855	2595
854	2592
853	2589
852	2586
851	2583
850	2580
849	2577
848	2574
847	2571
846	2568
845	2565
844	2562
843	2559
842	2556
841	2553
840	2550
839	2547
838	2544
837	2541
836	2538
835	2535
834	2532
833	2529
832	2526
831	2523
830	2520
829	2517
828	2514
827	2511
826	2508
825	2505
824	2502
823	2499
822	2496
821	2493
820	2490
819	2487
818	2484
817	2481
816	2478
815	2475
814	2472
813	2469
812	2466
811	2463
810	2460
809	2457
808	2454
807	2451
806	2448
805	2445
804	2442
803	2439
802	2436
801	2433
800	2430
799	2427
798	2424
797	2421
796	2418
795	2415
794	2412
793	2409
792	2406
791	2403
790	2400
789	2397
788	2394
787	2391
786	2388
785	2385
784	2382
783	2379
782	2376
781	2373
780	2370
779	2367
778	2364
777	2361
776	2358
775	2355
774	2352
773	2349
772	2346
771	2343
770	2340
769	2337
768	2334
767	2331
766	2328
765	2325
764	2322
763	2319
762	2316
761	2313
760	2310
759	2307
758	2304
757	2301
756	2298
755	2295
754	2292
753	2289
752	2286
751	2283
750	2280
749	2277
748	2274
747	2271
746	2268
745	2265
744	2262
743	2259
742	2256
741	2253
740	2250
739	2247
738	2244
737	2241
736	2238
735	2235
734	2232
733	2229
732	2226
731	2223
730	2220
729	2217
728	2214
727	2211
726	2208
725	2205
724	2202
723	2199
722	2196
721	2193
720	2190
719	2187
718	2184
717	2181
716	2178
715	2175
714	2172
713	2169
712	2166
711	2163
710	2160
709	2157
708	2154
707	2151
706	2148
705	2145
704	2142
703	2139
702	2136
701	2133
700	2130
699	2127
698	2124
697	2121
696	2118
695	2115
694	2112
693	2109
692	2106
691	2103
690	2100
689	2097
688	2094
687	2091
686	2088
685	2085
684	2082
683	2079
682	2076
681	2073
680	2070
679	2067
678	2064
677	2061
676	2058
675	2055
674	2052
673	2049
672	2046
671	2043
670	2040
669	2037
668	2034
667	2031
666	2028
665	2025
664	2022
663	2019
662	2016
661	2013
660	2010
659	2007
658	2004
657	2001
656	1998
655	1995
654	1992
653	1989
652	1986
651	1983
650	1980
649	1977
648	1974
647	1971
646	1968
645	1965
644	1962
643	1959
642	1956
641	1953
640	1950
639	1947
638	1944
637	1941
636	1938
635	1935
634	1932
633	1929
632	1926
631	1923
630	1920
629	1917
628	1914
627	1911
626	1908
625	1905
624	1902
623	1899
622	1896
621	1893
620	1890
619	1887
618	1884
617	1881
616	1878
615	1875
614	1872
613	1869
612	1866
611	1863
610	1860
609	1857
608	1854
607	1851
606	1848
605	1845
604	1842
603	1839
602	1836
601	1833
600	1830
599	1827
598	1824
597	1821
596	1818
595	1815
594	1812
593	1809
592	1806
591	1803
590	1800
589	1797
588	1794
587	1791
586	1788
585	1785
584	1782
583	1779
582	1776
581	1773
580	1770
579	1767
578	1764
577	1761
576	1758
575	1755
574	1752
573	1749
572	1746
571	1743
570	1740
569	1737
568	1734
567	1731
566	1728
565	1725
564	1722
563	1719
562	1716
561	1713
560	1710
559	1707
558	1704
557	1701
556	1698
555	1695
554	1692
553	1689
552	1686
551	1683
550	1680
549	1677
548	1674
547	1671
546	1668
545	1665
544	1662
543	1659
542	1656
541	1653
540	1650
539	1647
538	1644
537	1641
536	1638
535	1635
534	1632
533	1629
532	1626
531	1623
530	1620
529	1617
528	1614
527	1611
526	1608
525	1605
524	1602
523	1599
522	1596
521	1593
520	1590
519	1587
518	1584
517	1581
516	1578
515	1575
514	1572
513	1569
512	1566
511	1563
510	1560
509	1557
508	1554
507	1551
506	1548
505	1545
504	1542
503	1539
502	1536
501	1533
500	1530
499	1527
498	1524
497	1521
496	1518
495	1515
494	1512
493	1509
492	1506
491	1503
490	1500
489	1497
488	1494
487	1491
486	1488
485	1485
484	1482
483	1479
482	1476
481	1473
480	1470
479	1467
478	1464
477	1461
476	1458
475	1455
474	1452
473	1449
472	1446
471	1443
470	1440
469	1437
468	1434
467	1431
466	1428
465	1425
464	1422
463	1419
462	1416
461	1413
460	1410
459	1407
458	1404
457	1401
456	1398
455	1395
454	1392
453	1389
452	1386
451	1383
450	1380
449	1377
448	1374
447	1371
446	1368
445	1365
444	1362
443	1359
442	1356
441	1353
440	1350
439	1347
438	1344
437	1341
436	1338
435	1335
434	1332
433	1329
432	1326
431	1323
430	1320
429	1317
428	1314
427	1311
426	1308
425	1305
424	1302
423	1299
422	1296
421	1293
420	1290
419	1287
418	1284
417	1281
416	1278
415	1275
414	1272
413	1269
412	1266
411	1263
410	1260
409	1257
408	1254
407	1251
406	1248
405	1245
404	1242
403	1239
402	1236
401	1233
400	1230
399	1227
398	1224
397	1221
396	1218
395	1215
394	1212
393	1209
392	1206
391	1203
390	1200
389	1197
388	1194
387	1191
386	1188
385	1185
384	1182
383	1179
382	1176
381	1173
380	1170
379	1167
378	1164
377	1161
376	1158
375	1155
374	1152
373	1149
372	1146
371	1143
370	1140
369	1137
368	1134
367	1131
366	1128
365	1125
364	1122
363	1119
362	1116
361	1113
360	1110
359	1107
358	1104
357	1101
356	1098
355	1095
354	1092
353	1089
352	1086
351	1083
350	1080
349	1077
348	1074
347	1071
346	1068
345	1065
344	1062
343	1059
342	1056
341	1053
340	1050
339	1047
338	1044
337	1041
336	1038
335	1035
334	1032
333	1029
332	1026
331	1023
330	1020
329	1017
328	1014
327	1011
326	1008
325	1005
324	1002
323	999
322	996
321	993
320	990
319	987
318	984
317	981
316	978
315	975
314	972
313	969
312	966
311	963
310	960
309	957
308	954
307	951
306	948
305	945
304	942
303	939
302	936
301	933
300	930
299	927
298	924
297	921
296	918
295	915
294	912
293	909
292	906
291	903
290	900
289	897
288	894
287	891
286	888
285	885
284	882
283	879
282	876
281	873
280	870
279	867
278	864
277	861
276	858
275	855
274	852
273	849
272	846
271	843
270	840
269	837
268	834
267	831
266	828
265	825
264	822
263	819
262	816
261	813
260	810
259	807
258	804
257	801
256	798
255	795
254	792
253	789
252	786
251	783
250	780
249	777
248	774
247	771
246	768
245	765
244	762
243	759
242	756
241	753
240	750
239	747
238	744
237	741
236	738
235	735
234	732
233	729
232	726
231	723
230	720
229	717
228	714
227	711
226	708
225	705
224	702
223	699
222	696
221	693
220	690
219	687
218	684
217	681
216	678
215	675
214	672
213	669
212	666
211	663
210	660
209	657
208	654
207	651
206	648
205	645
204	642
203	639
202	636
201	633
200	630
199	627
198	624
197	621
196	618
195	615
194	612
193	609
192	606
191	603
190	600
189	597
188	594
187	591
186	588
185	585
184	582
183	579
182	576
181	573
180	570
179	567
178	564
177	561
176	558
175	555
174	552
173	549
172	546
171	543
170	540
169	537
168	534
167	531
166	528
165	525
164	522
163	519
162	516
161	513
160	510
159	507
158	504
157	501
156	498
155	495
154	492
153	489
152	486
151	483
150	480
149	477
148	474
147	471
146	468
145	465
144	462
143	459
142	456
141	453
140	450
139	447
138	444
137	441
136	438
135	435
134	432
133	429
132	426
131	423
130	420
129	417
128	414
127	411
126	408
125	405
124	402
123	399
122	396
121	393
120	390
119	387
118	384
117	381
116	378
115	375
114	372
113	369
112	366
111	363
110	360
109	357
108	354
107	351
106	348
105	345
104	342
103	339
102	336
101	333
100	330
99	327
98	324
97	321
96	318
95	315
94	312
93	309
92	306
91	303
90	300
89	297
88	294
87	291
86	288
85	285
84	282
83	279
82	276
81	273
80	270
79	267
78	264
77	261
76	258
75	255
74	252
73	249
72	246
71	243
70	240
69	237
68	234
67	231
66	228
65	225
64	222
63	219
62	216
61	213
60	210
59	207
58	204
57	201
56	198
55	195
54	192
53	189
52	186
51	183
50	180
49	177
48	174
47	171
46	168
45	165
44	162
43	159
42	156
41	153
40	150
39	147
38	144
37	141
36	138
35	135
34	132
33	129
32	126
31	123
30	120
29	117
28	114
27	111
26	108
25	105
24	102
23	99
22	96
21	93
20	90
19	87
18	84
17	81
16	78
15	75
14	72
13	69
12	66
11	63
10	60
9	57
8	54
7	51
6	48
5	45
4	40
3	31
2	24
1	20
0	16

end0.0ms

sample1.3s

Algorithm

intervals

Results

896.0ms

8232×

body

valid