Details

sample57.0ms

Algorithm

intervals

Results

24.0ms

342×

body

valid

simplify77.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	110
9	110
8	108
7	102
6	87
5	73
4	58
3	39
2	25
1	15
0	10

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ t (- 1.0 z))
0.0b	(- (/ y z) (/ t (- 1.0 z)))
5.7b	(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite264.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
31×	`times-frac`
15×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-r`
7×	`add-cbrt-cube` `add-exp-log`
5×	`pow1` `associate-/r*` `add-log-exp`
3×	`sub-neg` `flip3--` `associate-l` `associate-r/` `flip--` `associate-/l`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/` `frac-sub`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 89

Calls

3 calls:

17.0ms	(/ t (- 1.0 z))
65.0ms	(- (/ y z) (/ t (- 1.0 z)))
177.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series167.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(/ t (- 1.0 z))
42.0ms	(- (/ y z) (/ t (- 1.0 z)))
76.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify696.0ms

Counts

98 → 98

Iterations

Iter	Nodes
done	5001
2	1405
1	420
0	170

prune552.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.9b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ t (- 1.0 z))
0.0b	(+ (/ (* y x) z) (- (* x (/ t (- 1.0 z)))))
2.7b	(* x (/ t (- 1.0 z)))
5.5b	(/ (* y x) z)

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
34×	`times-frac`
26×	`add-cube-cbrt`
21×	`associate-r`
16×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/r*` `add-log-exp`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `associate-/r/` `associate-/l*`
3×	`associate-l` `prod-exp` `cbrt-unprod` `div-inv`
2×	`clear-num` `sum-log` `frac-2neg` `flip3--` `associate-*r/` `flip--` `unswap-sqr`
1×	`neg-sub0` `+-commutative` `associate-+r-` `flip3-+` `unsub-neg` `pow-prod-down` `neg-log` `frac-add` `*-commutative` `flip-+` `distribute-neg-frac` `distribute-lft-out`

Counts

4 → 115

Calls

4 calls:

14.0ms	(/ t (- 1.0 z))
18.0ms	(+ (/ (* y x) z) (- (* x (/ t (- 1.0 z)))))
34.0ms	(* x (/ t (- 1.0 z)))
9.0ms	(/ (* y x) z)

series266.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(/ t (- 1.0 z))
81.0ms	(+ (/ (* y x) z) (- (* x (/ t (- 1.0 z)))))
106.0ms	(* x (/ t (- 1.0 z)))
36.0ms	(/ (* y x) z)

simplify1.4s

Counts

127 → 127

Iterations

Iter	Nodes
done	5001
2	3056
1	601
0	220

prune872.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
1.2b	(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
5.5b	(/ (* y x) z)

rewrite296.0ms

Algorithm

rewrite-expression-head

Rules

2072×	`times-frac`
1410×	`cbrt-prod`
1098×	`add-sqr-sqrt` `*-un-lft-identity`
690×	`add-cube-cbrt`
440×	`associate-/r*`
204×	`distribute-lft-out--` `difference-of-squares`
35×	`associate-/r/`
32×	`cbrt-div`
30×	`add-exp-log`
20×	`div-inv`
19×	`add-cbrt-cube`
16×	`flip3--` `flip--`
14×	`cbrt-undiv` `div-exp`
4×	`pow1` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`clear-num` `frac-2neg` `pow1/3` `associate-/l*`

Counts

4 → 941

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
123.0ms	(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
10.0ms	(/ (* y x) z)

series989.0ms

Counts

4 → 12

Calls

4 calls:

270.0ms	(cbrt t)
311.0ms	(cbrt t)
373.0ms	(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
35.0ms	(/ (* y x) z)

simplify1.1s

Counts

953 → 953

Iterations

Iter	Nodes
done	5001
0	1521

prune7.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
1.2b	(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
5.2b	(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

rewrite354.0ms

Algorithm

rewrite-expression-head

Rules

2097×	`times-frac`
1421×	`cbrt-prod`
1127×	`add-sqr-sqrt`
1111×	`*-un-lft-identity`
703×	`add-cube-cbrt`
437×	`associate-/r*`
204×	`distribute-lft-out--` `difference-of-squares`
46×	`add-exp-log`
35×	`associate-/r/`
32×	`cbrt-div`
28×	`add-cbrt-cube`
22×	`associate-r`
21×	`div-inv`
19×	`cbrt-undiv` `div-exp`
16×	`flip3--` `flip--`
11×	`prod-exp` `cbrt-unprod`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
2×	`pow1/3`
1×	`frac-times` `clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `associate-r/` `-commutative` `associate-/l`

Counts

4 → 979

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
136.0ms	(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
63.0ms	(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

series1.0s

Counts

4 → 12

Calls

4 calls:

288.0ms	(cbrt t)
325.0ms	(cbrt t)
348.0ms	(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
70.0ms	(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

simplify1.2s

Counts

991 → 991

Iterations

Iter	Nodes
done	5001
0	1599

prune9.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes757.0ms

Accuracy

91% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 4.8b

bsearch2.0ms

simplify8.3s

Iterations

Iter	Nodes
done	5001
1641	4999
1640	4996
1639	4993
1638	4990
1637	4987
1636	4984
1635	4981
1634	4978
1633	4975
1632	4972
1631	4969
1630	4966
1629	4963
1628	4960
1627	4957
1626	4954
1625	4951
1624	4948
1623	4945
1622	4942
1621	4939
1620	4936
1619	4933
1618	4930
1617	4927
1616	4924
1615	4921
1614	4918
1613	4915
1612	4912
1611	4909
1610	4906
1609	4903
1608	4900
1607	4897
1606	4894
1605	4891
1604	4888
1603	4885
1602	4882
1601	4879
1600	4876
1599	4873
1598	4870
1597	4867
1596	4864
1595	4861
1594	4858
1593	4855
1592	4852
1591	4849
1590	4846
1589	4843
1588	4840
1587	4837
1586	4834
1585	4831
1584	4828
1583	4825
1582	4822
1581	4819
1580	4816
1579	4813
1578	4810
1577	4807
1576	4804
1575	4801
1574	4798
1573	4795
1572	4792
1571	4789
1570	4786
1569	4783
1568	4780
1567	4777
1566	4774
1565	4771
1564	4768
1563	4765
1562	4762
1561	4759
1560	4756
1559	4753
1558	4750
1557	4747
1556	4744
1555	4741
1554	4738
1553	4735
1552	4732
1551	4729
1550	4726
1549	4723
1548	4720
1547	4717
1546	4714
1545	4711
1544	4708
1543	4705
1542	4702
1541	4699
1540	4696
1539	4693
1538	4690
1537	4687
1536	4684
1535	4681
1534	4678
1533	4675
1532	4672
1531	4669
1530	4666
1529	4663
1528	4660
1527	4657
1526	4654
1525	4651
1524	4648
1523	4645
1522	4642
1521	4639
1520	4636
1519	4633
1518	4630
1517	4627
1516	4624
1515	4621
1514	4618
1513	4615
1512	4612
1511	4609
1510	4606
1509	4603
1508	4600
1507	4597
1506	4594
1505	4591
1504	4588
1503	4585
1502	4582
1501	4579
1500	4576
1499	4573
1498	4570
1497	4567
1496	4564
1495	4561
1494	4558
1493	4555
1492	4552
1491	4549
1490	4546
1489	4543
1488	4540
1487	4537
1486	4534
1485	4531
1484	4528
1483	4525
1482	4522
1481	4519
1480	4516
1479	4513
1478	4510
1477	4507
1476	4504
1475	4501
1474	4498
1473	4495
1472	4492
1471	4489
1470	4486
1469	4483
1468	4480
1467	4477
1466	4474
1465	4471
1464	4468
1463	4465
1462	4462
1461	4459
1460	4456
1459	4453
1458	4450
1457	4447
1456	4444
1455	4441
1454	4438
1453	4435
1452	4432
1451	4429
1450	4426
1449	4423
1448	4420
1447	4417
1446	4414
1445	4411
1444	4408
1443	4405
1442	4402
1441	4399
1440	4396
1439	4393
1438	4390
1437	4387
1436	4384
1435	4381
1434	4378
1433	4375
1432	4372
1431	4369
1430	4366
1429	4363
1428	4360
1427	4357
1426	4354
1425	4351
1424	4348
1423	4345
1422	4342
1421	4339
1420	4336
1419	4333
1418	4330
1417	4327
1416	4324
1415	4321
1414	4318
1413	4315
1412	4312
1411	4309
1410	4306
1409	4303
1408	4300
1407	4297
1406	4294
1405	4291
1404	4288
1403	4285
1402	4282
1401	4279
1400	4276
1399	4273
1398	4270
1397	4267
1396	4264
1395	4261
1394	4258
1393	4255
1392	4252
1391	4249
1390	4246
1389	4243
1388	4240
1387	4237
1386	4234
1385	4231
1384	4228
1383	4225
1382	4222
1381	4219
1380	4216
1379	4213
1378	4210
1377	4207
1376	4204
1375	4201
1374	4198
1373	4195
1372	4192
1371	4189
1370	4186
1369	4183
1368	4180
1367	4177
1366	4174
1365	4171
1364	4168
1363	4165
1362	4162
1361	4159
1360	4156
1359	4153
1358	4150
1357	4147
1356	4144
1355	4141
1354	4138
1353	4135
1352	4132
1351	4129
1350	4126
1349	4123
1348	4120
1347	4117
1346	4114
1345	4111
1344	4108
1343	4105
1342	4102
1341	4099
1340	4096
1339	4093
1338	4090
1337	4087
1336	4084
1335	4081
1334	4078
1333	4075
1332	4072
1331	4069
1330	4066
1329	4063
1328	4060
1327	4057
1326	4054
1325	4051
1324	4048
1323	4045
1322	4042
1321	4039
1320	4036
1319	4033
1318	4030
1317	4027
1316	4024
1315	4021
1314	4018
1313	4015
1312	4012
1311	4009
1310	4006
1309	4003
1308	4000
1307	3997
1306	3994
1305	3991
1304	3988
1303	3985
1302	3982
1301	3979
1300	3976
1299	3973
1298	3970
1297	3967
1296	3964
1295	3961
1294	3958
1293	3955
1292	3952
1291	3949
1290	3946
1289	3943
1288	3940
1287	3937
1286	3934
1285	3931
1284	3928
1283	3925
1282	3922
1281	3919
1280	3916
1279	3913
1278	3910
1277	3907
1276	3904
1275	3901
1274	3898
1273	3895
1272	3892
1271	3889
1270	3886
1269	3883
1268	3880
1267	3877
1266	3874
1265	3871
1264	3868
1263	3865
1262	3862
1261	3859
1260	3856
1259	3853
1258	3850
1257	3847
1256	3844
1255	3841
1254	3838
1253	3835
1252	3832
1251	3829
1250	3826
1249	3823
1248	3820
1247	3817
1246	3814
1245	3811
1244	3808
1243	3805
1242	3802
1241	3799
1240	3796
1239	3793
1238	3790
1237	3787
1236	3784
1235	3781
1234	3778
1233	3775
1232	3772
1231	3769
1230	3766
1229	3763
1228	3760
1227	3757
1226	3754
1225	3751
1224	3748
1223	3745
1222	3742
1221	3739
1220	3736
1219	3733
1218	3730
1217	3727
1216	3724
1215	3721
1214	3718
1213	3715
1212	3712
1211	3709
1210	3706
1209	3703
1208	3700
1207	3697
1206	3694
1205	3691
1204	3688
1203	3685
1202	3682
1201	3679
1200	3676
1199	3673
1198	3670
1197	3667
1196	3664
1195	3661
1194	3658
1193	3655
1192	3652
1191	3649
1190	3646
1189	3643
1188	3640
1187	3637
1186	3634
1185	3631
1184	3628
1183	3625
1182	3622
1181	3619
1180	3616
1179	3613
1178	3610
1177	3607
1176	3604
1175	3601
1174	3598
1173	3595
1172	3592
1171	3589
1170	3586
1169	3583
1168	3580
1167	3577
1166	3574
1165	3571
1164	3568
1163	3565
1162	3562
1161	3559
1160	3556
1159	3553
1158	3550
1157	3547
1156	3544
1155	3541
1154	3538
1153	3535
1152	3532
1151	3529
1150	3526
1149	3523
1148	3520
1147	3517
1146	3514
1145	3511
1144	3508
1143	3505
1142	3502
1141	3499
1140	3496
1139	3493
1138	3490
1137	3487
1136	3484
1135	3481
1134	3478
1133	3475
1132	3472
1131	3469
1130	3466
1129	3463
1128	3460
1127	3457
1126	3454
1125	3451
1124	3448
1123	3445
1122	3442
1121	3439
1120	3436
1119	3433
1118	3430
1117	3427
1116	3424
1115	3421
1114	3418
1113	3415
1112	3412
1111	3409
1110	3406
1109	3403
1108	3400
1107	3397
1106	3394
1105	3391
1104	3388
1103	3385
1102	3382
1101	3379
1100	3376
1099	3373
1098	3370
1097	3367
1096	3364
1095	3361
1094	3358
1093	3355
1092	3352
1091	3349
1090	3346
1089	3343
1088	3340
1087	3337
1086	3334
1085	3331
1084	3328
1083	3325
1082	3322
1081	3319
1080	3316
1079	3313
1078	3310
1077	3307
1076	3304
1075	3301
1074	3298
1073	3295
1072	3292
1071	3289
1070	3286
1069	3283
1068	3280
1067	3277
1066	3274
1065	3271
1064	3268
1063	3265
1062	3262
1061	3259
1060	3256
1059	3253
1058	3250
1057	3247
1056	3244
1055	3241
1054	3238
1053	3235
1052	3232
1051	3229
1050	3226
1049	3223
1048	3220
1047	3217
1046	3214
1045	3211
1044	3208
1043	3205
1042	3202
1041	3199
1040	3196
1039	3193
1038	3190
1037	3187
1036	3184
1035	3181
1034	3178
1033	3175
1032	3172
1031	3169
1030	3166
1029	3163
1028	3160
1027	3157
1026	3154
1025	3151
1024	3148
1023	3145
1022	3142
1021	3139
1020	3136
1019	3133
1018	3130
1017	3127
1016	3124
1015	3121
1014	3118
1013	3115
1012	3112
1011	3109
1010	3106
1009	3103
1008	3100
1007	3097
1006	3094
1005	3091
1004	3088
1003	3085
1002	3082
1001	3079
1000	3076
999	3073
998	3070
997	3067
996	3064
995	3061
994	3058
993	3055
992	3052
991	3049
990	3046
989	3043
988	3040
987	3037
986	3034
985	3031
984	3028
983	3025
982	3022
981	3019
980	3016
979	3013
978	3010
977	3007
976	3004
975	3001
974	2998
973	2995
972	2992
971	2989
970	2986
969	2983
968	2980
967	2977
966	2974
965	2971
964	2968
963	2965
962	2962
961	2959
960	2956
959	2953
958	2950
957	2947
956	2944
955	2941
954	2938
953	2935
952	2932
951	2929
950	2926
949	2923
948	2920
947	2917
946	2914
945	2911
944	2908
943	2905
942	2902
941	2899
940	2896
939	2893
938	2890
937	2887
936	2884
935	2881
934	2878
933	2875
932	2872
931	2869
930	2866
929	2863
928	2860
927	2857
926	2854
925	2851
924	2848
923	2845
922	2842
921	2839
920	2836
919	2833
918	2830
917	2827
916	2824
915	2821
914	2818
913	2815
912	2812
911	2809
910	2806
909	2803
908	2800
907	2797
906	2794
905	2791
904	2788
903	2785
902	2782
901	2779
900	2776
899	2773
898	2770
897	2767
896	2764
895	2761
894	2758
893	2755
892	2752
891	2749
890	2746
889	2743
888	2740
887	2737
886	2734
885	2731
884	2728
883	2725
882	2722
881	2719
880	2716
879	2713
878	2710
877	2707
876	2704
875	2701
874	2698
873	2695
872	2692
871	2689
870	2686
869	2683
868	2680
867	2677
866	2674
865	2671
864	2668
863	2665
862	2662
861	2659
860	2656
859	2653
858	2650
857	2647
856	2644
855	2641
854	2638
853	2635
852	2632
851	2629
850	2626
849	2623
848	2620
847	2617
846	2614
845	2611
844	2608
843	2605
842	2602
841	2599
840	2596
839	2593
838	2590
837	2587
836	2584
835	2581
834	2578
833	2575
832	2572
831	2569
830	2566
829	2563
828	2560
827	2557
826	2554
825	2551
824	2548
823	2545
822	2542
821	2539
820	2536
819	2533
818	2530
817	2527
816	2524
815	2521
814	2518
813	2515
812	2512
811	2509
810	2506
809	2503
808	2500
807	2497
806	2494
805	2491
804	2488
803	2485
802	2482
801	2479
800	2476
799	2473
798	2470
797	2467
796	2464
795	2461
794	2458
793	2455
792	2452
791	2449
790	2446
789	2443
788	2440
787	2437
786	2434
785	2431
784	2428
783	2425
782	2422
781	2419
780	2416
779	2413
778	2410
777	2407
776	2404
775	2401
774	2398
773	2395
772	2392
771	2389
770	2386
769	2383
768	2380
767	2377
766	2374
765	2371
764	2368
763	2365
762	2362
761	2359
760	2356
759	2353
758	2350
757	2347
756	2344
755	2341
754	2338
753	2335
752	2332
751	2329
750	2326
749	2323
748	2320
747	2317
746	2314
745	2311
744	2308
743	2305
742	2302
741	2299
740	2296
739	2293
738	2290
737	2287
736	2284
735	2281
734	2278
733	2275
732	2272
731	2269
730	2266
729	2263
728	2260
727	2257
726	2254
725	2251
724	2248
723	2245
722	2242
721	2239
720	2236
719	2233
718	2230
717	2227
716	2224
715	2221
714	2218
713	2215
712	2212
711	2209
710	2206
709	2203
708	2200
707	2197
706	2194
705	2191
704	2188
703	2185
702	2182
701	2179
700	2176
699	2173
698	2170
697	2167
696	2164
695	2161
694	2158
693	2155
692	2152
691	2149
690	2146
689	2143
688	2140
687	2137
686	2134
685	2131
684	2128
683	2125
682	2122
681	2119
680	2116
679	2113
678	2110
677	2107
676	2104
675	2101
674	2098
673	2095
672	2092
671	2089
670	2086
669	2083
668	2080
667	2077
666	2074
665	2071
664	2068
663	2065
662	2062
661	2059
660	2056
659	2053
658	2050
657	2047
656	2044
655	2041
654	2038
653	2035
652	2032
651	2029
650	2026
649	2023
648	2020
647	2017
646	2014
645	2011
644	2008
643	2005
642	2002
641	1999
640	1996
639	1993
638	1990
637	1987
636	1984
635	1981
634	1978
633	1975
632	1972
631	1969
630	1966
629	1963
628	1960
627	1957
626	1954
625	1951
624	1948
623	1945
622	1942
621	1939
620	1936
619	1933
618	1930
617	1927
616	1924
615	1921
614	1918
613	1915
612	1912
611	1909
610	1906
609	1903
608	1900
607	1897
606	1894
605	1891
604	1888
603	1885
602	1882
601	1879
600	1876
599	1873
598	1870
597	1867
596	1864
595	1861
594	1858
593	1855
592	1852
591	1849
590	1846
589	1843
588	1840
587	1837
586	1834
585	1831
584	1828
583	1825
582	1822
581	1819
580	1816
579	1813
578	1810
577	1807
576	1804
575	1801
574	1798
573	1795
572	1792
571	1789
570	1786
569	1783
568	1780
567	1777
566	1774
565	1771
564	1768
563	1765
562	1762
561	1759
560	1756
559	1753
558	1750
557	1747
556	1744
555	1741
554	1738
553	1735
552	1732
551	1729
550	1726
549	1723
548	1720
547	1717
546	1714
545	1711
544	1708
543	1705
542	1702
541	1699
540	1696
539	1693
538	1690
537	1687
536	1684
535	1681
534	1678
533	1675
532	1672
531	1669
530	1666
529	1663
528	1660
527	1657
526	1654
525	1651
524	1648
523	1645
522	1642
521	1639
520	1636
519	1633
518	1630
517	1627
516	1624
515	1621
514	1618
513	1615
512	1612
511	1609
510	1606
509	1603
508	1600
507	1597
506	1594
505	1591
504	1588
503	1585
502	1582
501	1579
500	1576
499	1573
498	1570
497	1567
496	1564
495	1561
494	1558
493	1555
492	1552
491	1549
490	1546
489	1543
488	1540
487	1537
486	1534
485	1531
484	1528
483	1525
482	1522
481	1519
480	1516
479	1513
478	1510
477	1507
476	1504
475	1501
474	1498
473	1495
472	1492
471	1489
470	1486
469	1483
468	1480
467	1477
466	1474
465	1471
464	1468
463	1465
462	1462
461	1459
460	1456
459	1453
458	1450
457	1447
456	1444
455	1441
454	1438
453	1435
452	1432
451	1429
450	1426
449	1423
448	1420
447	1417
446	1414
445	1411
444	1408
443	1405
442	1402
441	1399
440	1396
439	1393
438	1390
437	1387
436	1384
435	1381
434	1378
433	1375
432	1372
431	1369
430	1366
429	1363
428	1360
427	1357
426	1354
425	1351
424	1348
423	1345
422	1342
421	1339
420	1336
419	1333
418	1330
417	1327
416	1324
415	1321
414	1318
413	1315
412	1312
411	1309
410	1306
409	1303
408	1300
407	1297
406	1294
405	1291
404	1288
403	1285
402	1282
401	1279
400	1276
399	1273
398	1270
397	1267
396	1264
395	1261
394	1258
393	1255
392	1252
391	1249
390	1246
389	1243
388	1240
387	1237
386	1234
385	1231
384	1228
383	1225
382	1222
381	1219
380	1216
379	1213
378	1210
377	1207
376	1204
375	1201
374	1198
373	1195
372	1192
371	1189
370	1186
369	1183
368	1180
367	1177
366	1174
365	1171
364	1168
363	1165
362	1162
361	1159
360	1156
359	1153
358	1150
357	1147
356	1144
355	1141
354	1138
353	1135
352	1132
351	1129
350	1126
349	1123
348	1120
347	1117
346	1114
345	1111
344	1108
343	1105
342	1102
341	1099
340	1096
339	1093
338	1090
337	1087
336	1084
335	1081
334	1078
333	1075
332	1072
331	1069
330	1066
329	1063
328	1060
327	1057
326	1054
325	1051
324	1048
323	1045
322	1042
321	1039
320	1036
319	1033
318	1030
317	1027
316	1024
315	1021
314	1018
313	1015
312	1012
311	1009
310	1006
309	1003
308	1000
307	997
306	994
305	991
304	988
303	985
302	982
301	979
300	976
299	973
298	970
297	967
296	964
295	961
294	958
293	955
292	952
291	949
290	946
289	943
288	940
287	937
286	934
285	931
284	928
283	925
282	922
281	919
280	916
279	913
278	910
277	907
276	904
275	901
274	898
273	895
272	892
271	889
270	886
269	883
268	880
267	877
266	874
265	871
264	868
263	865
262	862
261	859
260	856
259	853
258	850
257	847
256	844
255	841
254	838
253	835
252	832
251	829
250	826
249	823
248	820
247	817
246	814
245	811
244	808
243	805
242	802
241	799
240	796
239	793
238	790
237	787
236	784
235	781
234	778
233	775
232	772
231	769
230	766
229	763
228	760
227	757
226	754
225	751
224	748
223	745
222	742
221	739
220	736
219	733
218	730
217	727
216	724
215	721
214	718
213	715
212	712
211	709
210	706
209	703
208	700
207	697
206	694
205	691
204	688
203	685
202	682
201	679
200	676
199	673
198	670
197	667
196	664
195	661
194	658
193	655
192	652
191	649
190	646
189	643
188	640
187	637
186	634
185	631
184	628
183	625
182	622
181	619
180	616
179	613
178	610
177	607
176	604
175	601
174	598
173	595
172	592
171	589
170	586
169	583
168	580
167	577
166	574
165	571
164	568
163	565
162	562
161	559
160	556
159	553
158	550
157	547
156	544
155	541
154	538
153	535
152	532
151	529
150	526
149	523
148	520
147	517
146	514
145	511
144	508
143	505
142	502
141	499
140	496
139	493
138	490
137	487
136	484
135	481
134	478
133	475
132	472
131	469
130	466
129	463
128	460
127	457
126	454
125	451
124	448
123	445
122	442
121	439
120	436
119	433
118	430
117	427
116	424
115	421
114	418
113	415
112	412
111	409
110	406
109	403
108	400
107	397
106	394
105	391
104	388
103	385
102	382
101	379
100	376
99	373
98	370
97	367
96	364
95	361
94	358
93	355
92	352
91	349
90	346
89	343
88	340
87	337
86	334
85	331
84	328
83	325
82	322
81	319
80	316
79	313
78	310
77	307
76	304
75	301
74	298
73	295
72	292
71	289
70	286
69	283
68	280
67	277
66	274
65	271
64	268
63	265
62	262
61	259
60	256
59	253
58	250
57	247
56	244
55	241
54	238
53	235
52	232
51	229
50	226
49	223
48	220
47	217
46	214
45	211
44	208
43	205
42	202
41	199
40	196
39	193
38	190
37	187
36	184
35	181
34	178
33	175
32	172
31	169
30	166
29	163
28	160
27	157
26	154
25	151
24	148
23	145
22	142
21	139
20	136
19	133
18	130
17	127
16	124
15	121
14	118
13	115
12	112
11	109
10	106
9	103
8	100
7	97
6	94
5	91
4	88
3	85
2	78
1	65
0	45

end0.0ms

sample1.3s

Algorithm

intervals

Results

594.0ms

10130×

body

valid