Details

sample457.0ms

Algorithm

intervals

Results

103.0ms	369×	body	80	nan
49.0ms	164×	body	80	valid
21.0ms	31×	body	1280	valid
18.0ms	31×	body	1280	nan
12.0ms	30×	body	640	nan
10.0ms	29×	body	320	valid
10.0ms	22×	body	640	valid
5.0ms	13×	body	320	nan
2.0ms	10×	body	160	valid
1.0ms	5×	body	160	nan

simplify3.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	3799
6	1449
5	797
4	423
3	199
2	93
1	39
0	18

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 42.4b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.4b	(* (sqrt 2.0) t)
11.8b	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
21.1b	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

rewrite194.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`sqrt-prod`
12×	`*-un-lft-identity` `add-cube-cbrt`
11×	`add-cbrt-cube` `add-exp-log`
7×	`pow1`
6×	`associate-/r` `times-frac` `associate-l*` `add-log-exp`
4×	`sqrt-div`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate--l+` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`distribute-rgt-in` `rem-sqrt-square` `clear-num` `sub-neg` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `diff-log` `pow-prod-down` `-commutative` `div-inv` `associate-/l`

Counts

4 → 80

Calls

4 calls:

62.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
16.0ms	(* (sqrt 2.0) t)
26.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
84.0ms	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

series2.6s

Counts

4 → 12

Calls

4 calls:

610.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
60.0ms	(* (sqrt 2.0) t)
296.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
1.7s	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

simplify1.3s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	2619
1	455
0	167

prune632.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 6.1b

localize45.0ms

Local error

Found 4 expressions with local error:

3.2b	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
5.7b	(/ (* l l) x)
9.8b	(/ x (* t t))
27.7b	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-cbrt-cube` `add-exp-log`
10×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`times-frac` `add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `associate-/r` `flip3-+` `sqrt-div` `div-exp` `frac-add` `associate-r/` `flip-+` `associate-/l*`
3×	`sqrt-prod`
2×	`associate-+l+` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`
1×	`distribute-rgt-in` `+-commutative` `rem-sqrt-square` `sum-log` `distribute-lft-in` `sqrt-pow1` `pow1/2`

Counts

4 → 74

Calls

4 calls:

32.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
7.0ms	(/ (* l l) x)
6.0ms	(/ x (* t t))
86.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

series525.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t))))
26.0ms	(/ (* l l) x)
28.0ms	(/ x (* t t))
382.0ms	(sqrt (+ (* 2.0 (+ (* t t) (/ (* l l) x))) (/ 4.0 (/ x (* t t)))))

simplify1.6s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	3089
1	509
0	168

prune562.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.2b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b	(+ (* t t) (* l (/ l x)))
3.2b	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
9.8b	(/ x (* t t))
27.7b	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt` `add-log-exp`
7×	`*-un-lft-identity` `add-cube-cbrt`
5×	`pow1` `flip3-+` `flip-+`
4×	`sqrt-div` `frac-add` `associate-*r/`
3×	`times-frac` `sqrt-prod` `associate-/l*`
2×	`cbrt-undiv` `+-commutative` `associate-+l+` `sum-log` `div-exp`
1×	`distribute-rgt-in` `rem-sqrt-square` `clear-num` `associate-/r*` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `prod-exp` `cbrt-unprod` `div-inv`

Counts

4 → 64

Calls

4 calls:

13.0ms	(+ (* t t) (* l (/ l x)))
40.0ms	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
12.0ms	(/ x (* t t))
73.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

series500.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(+ (* t t) (* l (/ l x)))
90.0ms	(+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t))))
40.0ms	(/ x (* t t))
316.0ms	(sqrt (+ (* 2.0 (+ (* t t) (* l (/ l x)))) (/ 4.0 (/ x (* t t)))))

simplify1.2s

Counts

76 → 76

Iterations

Iter	Nodes
done	5001
2	2158
1	435
0	150

prune548.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.2b

localize47.0ms

Local error

Found 4 expressions with local error:

9.8b	(/ x (* t t))
27.4b	(sqrt (+ (* (/ l x) l) (* t t)))
27.4b	(sqrt (+ (* (/ l x) l) (* t t)))
27.7b	(sqrt (+ (* 2.0 (* (sqrt (+ (* (/ l x) l) (* t t))) (sqrt (+ (* (/ l x) l) (* t t))))) (/ 4.0 (/ x (* t t)))))

rewrite221.0ms

Algorithm

rewrite-expression-head

Rules

26×	`sqrt-div`
12×	`add-sqr-sqrt`
10×	`associate-*r/`
9×	`*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `sqrt-prod` `flip-+`
8×	`frac-add`
7×	`pow1`
4×	`frac-times` `add-log-exp`
3×	`rem-sqrt-square` `sqrt-pow1` `times-frac` `pow1/2` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-*l/`
1×	`clear-num` `associate-/r*` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`

Counts

4 → 74

Calls

4 calls:

6.0ms	(/ x (* t t))
21.0ms	(sqrt (+ (* (/ l x) l) (* t t)))
24.0ms	(sqrt (+ (* (/ l x) l) (* t t)))
168.0ms	(sqrt (+ (* 2.0 (* (sqrt (+ (* (/ l x) l) (* t t))) (sqrt (+ (* (/ l x) l) (* t t))))) (/ 4.0 (/ x (* t t)))))

series1.1s

Counts

4 → 12

Calls

4 calls:

41.0ms	(/ x (* t t))
221.0ms	(sqrt (+ (* (/ l x) l) (* t t)))
232.0ms	(sqrt (+ (* (/ l x) l) (* t t)))
563.0ms	(sqrt (+ (* 2.0 (* (sqrt (+ (* (/ l x) l) (* t t))) (sqrt (+ (* (/ l x) l) (* t t))))) (/ 4.0 (/ x (* t t)))))

simplify1.1s

Counts

86 → 86

Iterations

Iter	Nodes
done	5000
2	2427
1	489
0	186

prune601.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.2b

regimes735.0ms

Accuracy

71.1% (6.8b remaining)

Error of 10.6b against oracle of 3.8b and baseline of 27.2b

bsearch1.7s

Steps

Iters	Range		Point
9	9.302190505211976e+16	7.445004787773374e+23	7.30958659336468e+23
10	9.657462100703732e-164	3.031856998694715e-153	8.463507043182295e-160
8	1.567848216510623e-295	4.048090763928206e-293	4.0088796644560363e-293
10	-3.4801109198288895e-286	-4.7771503152615563e-296	-1.6191443127207628e-287
8	-1.185302419643378e-162	-2.4464775612223304e-166	-8.68838282607017e-163
6	-8.884635004656325e+106	-1.469680632787173e+106	-8.435929301784522e+106

simplify7.6s

Iterations

Iter	Nodes
done	5000
1220	4996
1219	4992
1218	4988
1217	4984
1216	4980
1215	4976
1214	4972
1213	4968
1212	4964
1211	4960
1210	4956
1209	4952
1208	4948
1207	4944
1206	4940
1205	4936
1204	4932
1203	4928
1202	4924
1201	4920
1200	4916
1199	4912
1198	4908
1197	4904
1196	4900
1195	4896
1194	4892
1193	4888
1192	4884
1191	4880
1190	4876
1189	4872
1188	4868
1187	4864
1186	4860
1185	4856
1184	4852
1183	4848
1182	4844
1181	4840
1180	4836
1179	4832
1178	4828
1177	4824
1176	4820
1175	4816
1174	4812
1173	4808
1172	4804
1171	4800
1170	4796
1169	4792
1168	4788
1167	4784
1166	4780
1165	4776
1164	4772
1163	4768
1162	4764
1161	4760
1160	4756
1159	4752
1158	4748
1157	4744
1156	4740
1155	4736
1154	4732
1153	4728
1152	4724
1151	4720
1150	4716
1149	4712
1148	4708
1147	4704
1146	4700
1145	4696
1144	4692
1143	4688
1142	4684
1141	4680
1140	4676
1139	4672
1138	4668
1137	4664
1136	4660
1135	4656
1134	4652
1133	4648
1132	4644
1131	4640
1130	4636
1129	4632
1128	4628
1127	4624
1126	4620
1125	4616
1124	4612
1123	4608
1122	4604
1121	4600
1120	4596
1119	4592
1118	4588
1117	4584
1116	4580
1115	4576
1114	4572
1113	4568
1112	4564
1111	4560
1110	4556
1109	4552
1108	4548
1107	4544
1106	4540
1105	4536
1104	4532
1103	4528
1102	4524
1101	4520
1100	4516
1099	4512
1098	4508
1097	4504
1096	4500
1095	4496
1094	4492
1093	4488
1092	4484
1091	4480
1090	4476
1089	4472
1088	4468
1087	4464
1086	4460
1085	4456
1084	4452
1083	4448
1082	4444
1081	4440
1080	4436
1079	4432
1078	4428
1077	4424
1076	4420
1075	4416
1074	4412
1073	4408
1072	4404
1071	4400
1070	4396
1069	4392
1068	4388
1067	4384
1066	4380
1065	4376
1064	4372
1063	4368
1062	4364
1061	4360
1060	4356
1059	4352
1058	4348
1057	4344
1056	4340
1055	4336
1054	4332
1053	4328
1052	4324
1051	4320
1050	4316
1049	4312
1048	4308
1047	4304
1046	4300
1045	4296
1044	4292
1043	4288
1042	4284
1041	4280
1040	4276
1039	4272
1038	4268
1037	4264
1036	4260
1035	4256
1034	4252
1033	4248
1032	4244
1031	4240
1030	4236
1029	4232
1028	4228
1027	4224
1026	4220
1025	4216
1024	4212
1023	4208
1022	4204
1021	4200
1020	4196
1019	4192
1018	4188
1017	4184
1016	4180
1015	4176
1014	4172
1013	4168
1012	4164
1011	4160
1010	4156
1009	4152
1008	4148
1007	4144
1006	4140
1005	4136
1004	4132
1003	4128
1002	4124
1001	4120
1000	4116
999	4112
998	4108
997	4104
996	4100
995	4096
994	4092
993	4088
992	4084
991	4080
990	4076
989	4072
988	4068
987	4064
986	4060
985	4056
984	4052
983	4048
982	4044
981	4040
980	4036
979	4032
978	4028
977	4024
976	4020
975	4016
974	4012
973	4008
972	4004
971	4000
970	3996
969	3992
968	3988
967	3984
966	3980
965	3976
964	3972
963	3968
962	3964
961	3960
960	3956
959	3952
958	3948
957	3944
956	3940
955	3936
954	3932
953	3928
952	3924
951	3920
950	3916
949	3912
948	3908
947	3904
946	3900
945	3896
944	3892
943	3888
942	3884
941	3880
940	3876
939	3872
938	3868
937	3864
936	3860
935	3856
934	3852
933	3848
932	3844
931	3840
930	3836
929	3832
928	3828
927	3824
926	3820
925	3816
924	3812
923	3808
922	3804
921	3800
920	3796
919	3792
918	3788
917	3784
916	3780
915	3776
914	3772
913	3768
912	3764
911	3760
910	3756
909	3752
908	3748
907	3744
906	3740
905	3736
904	3732
903	3728
902	3724
901	3720
900	3716
899	3712
898	3708
897	3704
896	3700
895	3696
894	3692
893	3688
892	3684
891	3680
890	3676
889	3672
888	3668
887	3664
886	3660
885	3656
884	3652
883	3648
882	3644
881	3640
880	3636
879	3632
878	3628
877	3624
876	3620
875	3616
874	3612
873	3608
872	3604
871	3600
870	3596
869	3592
868	3588
867	3584
866	3580
865	3576
864	3572
863	3568
862	3564
861	3560
860	3556
859	3552
858	3548
857	3544
856	3540
855	3536
854	3532
853	3528
852	3524
851	3520
850	3516
849	3512
848	3508
847	3504
846	3500
845	3496
844	3492
843	3488
842	3484
841	3480
840	3476
839	3472
838	3468
837	3464
836	3460
835	3456
834	3452
833	3448
832	3444
831	3440
830	3436
829	3432
828	3428
827	3424
826	3420
825	3416
824	3412
823	3408
822	3404
821	3400
820	3396
819	3392
818	3388
817	3384
816	3380
815	3376
814	3372
813	3368
812	3364
811	3360
810	3356
809	3352
808	3348
807	3344
806	3340
805	3336
804	3332
803	3328
802	3324
801	3320
800	3316
799	3312
798	3308
797	3304
796	3300
795	3296
794	3292
793	3288
792	3284
791	3280
790	3276
789	3272
788	3268
787	3264
786	3260
785	3256
784	3252
783	3248
782	3244
781	3240
780	3236
779	3232
778	3228
777	3224
776	3220
775	3216
774	3212
773	3208
772	3204
771	3200
770	3196
769	3192
768	3188
767	3184
766	3180
765	3176
764	3172
763	3168
762	3164
761	3160
760	3156
759	3152
758	3148
757	3144
756	3140
755	3136
754	3132
753	3128
752	3124
751	3120
750	3116
749	3112
748	3108
747	3104
746	3100
745	3096
744	3092
743	3088
742	3084
741	3080
740	3076
739	3072
738	3068
737	3064
736	3060
735	3056
734	3052
733	3048
732	3044
731	3040
730	3036
729	3032
728	3028
727	3024
726	3020
725	3016
724	3012
723	3008
722	3004
721	3000
720	2996
719	2992
718	2988
717	2984
716	2980
715	2976
714	2972
713	2968
712	2964
711	2960
710	2956
709	2952
708	2948
707	2944
706	2940
705	2936
704	2932
703	2928
702	2924
701	2920
700	2916
699	2912
698	2908
697	2904
696	2900
695	2896
694	2892
693	2888
692	2884
691	2880
690	2876
689	2872
688	2868
687	2864
686	2860
685	2856
684	2852
683	2848
682	2844
681	2840
680	2836
679	2832
678	2828
677	2824
676	2820
675	2816
674	2812
673	2808
672	2804
671	2800
670	2796
669	2792
668	2788
667	2784
666	2780
665	2776
664	2772
663	2768
662	2764
661	2760
660	2756
659	2752
658	2748
657	2744
656	2740
655	2736
654	2732
653	2728
652	2724
651	2720
650	2716
649	2712
648	2708
647	2704
646	2700
645	2696
644	2692
643	2688
642	2684
641	2680
640	2676
639	2672
638	2668
637	2664
636	2660
635	2656
634	2652
633	2648
632	2644
631	2640
630	2636
629	2632
628	2628
627	2624
626	2620
625	2616
624	2612
623	2608
622	2604
621	2600
620	2596
619	2592
618	2588
617	2584
616	2580
615	2576
614	2572
613	2568
612	2564
611	2560
610	2556
609	2552
608	2548
607	2544
606	2540
605	2536
604	2532
603	2528
602	2524
601	2520
600	2516
599	2512
598	2508
597	2504
596	2500
595	2496
594	2492
593	2488
592	2484
591	2480
590	2476
589	2472
588	2468
587	2464
586	2460
585	2456
584	2452
583	2448
582	2444
581	2440
580	2436
579	2432
578	2428
577	2424
576	2420
575	2416
574	2412
573	2408
572	2404
571	2400
570	2396
569	2392
568	2388
567	2384
566	2380
565	2376
564	2372
563	2368
562	2364
561	2360
560	2356
559	2352
558	2348
557	2344
556	2340
555	2336
554	2332
553	2328
552	2324
551	2320
550	2316
549	2312
548	2308
547	2304
546	2300
545	2296
544	2292
543	2288
542	2284
541	2280
540	2276
539	2272
538	2268
537	2264
536	2260
535	2256
534	2252
533	2248
532	2244
531	2240
530	2236
529	2232
528	2228
527	2224
526	2220
525	2216
524	2212
523	2208
522	2204
521	2200
520	2196
519	2192
518	2188
517	2184
516	2180
515	2176
514	2172
513	2168
512	2164
511	2160
510	2156
509	2152
508	2148
507	2144
506	2140
505	2136
504	2132
503	2128
502	2124
501	2120
500	2116
499	2112
498	2108
497	2104
496	2100
495	2096
494	2092
493	2088
492	2084
491	2080
490	2076
489	2072
488	2068
487	2064
486	2060
485	2056
484	2052
483	2048
482	2044
481	2040
480	2036
479	2032
478	2028
477	2024
476	2020
475	2016
474	2012
473	2008
472	2004
471	2000
470	1996
469	1992
468	1988
467	1984
466	1980
465	1976
464	1972
463	1968
462	1964
461	1960
460	1956
459	1952
458	1948
457	1944
456	1940
455	1936
454	1932
453	1928
452	1924
451	1920
450	1916
449	1912
448	1908
447	1904
446	1900
445	1896
444	1892
443	1888
442	1884
441	1880
440	1876
439	1872
438	1868
437	1864
436	1860
435	1856
434	1852
433	1848
432	1844
431	1840
430	1836
429	1832
428	1828
427	1824
426	1820
425	1816
424	1812
423	1808
422	1804
421	1800
420	1796
419	1792
418	1788
417	1784
416	1780
415	1776
414	1772
413	1768
412	1764
411	1760
410	1756
409	1752
408	1748
407	1744
406	1740
405	1736
404	1732
403	1728
402	1724
401	1720
400	1716
399	1712
398	1708
397	1704
396	1700
395	1696
394	1692
393	1688
392	1684
391	1680
390	1676
389	1672
388	1668
387	1664
386	1660
385	1656
384	1652
383	1648
382	1644
381	1640
380	1636
379	1632
378	1628
377	1624
376	1620
375	1616
374	1612
373	1608
372	1604
371	1600
370	1596
369	1592
368	1588
367	1584
366	1580
365	1576
364	1572
363	1568
362	1564
361	1560
360	1556
359	1552
358	1548
357	1544
356	1540
355	1536
354	1532
353	1528
352	1524
351	1520
350	1516
349	1512
348	1508
347	1504
346	1500
345	1496
344	1492
343	1488
342	1484
341	1480
340	1476
339	1472
338	1468
337	1464
336	1460
335	1456
334	1452
333	1448
332	1444
331	1440
330	1436
329	1432
328	1428
327	1424
326	1420
325	1416
324	1412
323	1408
322	1404
321	1400
320	1396
319	1392
318	1388
317	1384
316	1380
315	1376
314	1372
313	1368
312	1364
311	1360
310	1356
309	1352
308	1348
307	1344
306	1340
305	1336
304	1332
303	1328
302	1324
301	1320
300	1316
299	1312
298	1308
297	1304
296	1300
295	1296
294	1292
293	1288
292	1284
291	1280
290	1276
289	1272
288	1268
287	1264
286	1260
285	1256
284	1252
283	1248
282	1244
281	1240
280	1236
279	1232
278	1228
277	1224
276	1220
275	1216
274	1212
273	1208
272	1204
271	1200
270	1196
269	1192
268	1188
267	1184
266	1180
265	1176
264	1172
263	1168
262	1164
261	1160
260	1156
259	1152
258	1148
257	1144
256	1140
255	1136
254	1132
253	1128
252	1124
251	1120
250	1116
249	1112
248	1108
247	1104
246	1100
245	1096
244	1092
243	1088
242	1084
241	1080
240	1076
239	1072
238	1068
237	1064
236	1060
235	1056
234	1052
233	1048
232	1044
231	1040
230	1036
229	1032
228	1028
227	1024
226	1020
225	1016
224	1012
223	1008
222	1004
221	1000
220	996
219	992
218	988
217	984
216	980
215	976
214	972
213	968
212	964
211	960
210	956
209	952
208	948
207	944
206	940
205	936
204	932
203	928
202	924
201	920
200	916
199	912
198	908
197	904
196	900
195	896
194	892
193	888
192	884
191	880
190	876
189	872
188	868
187	864
186	860
185	856
184	852
183	848
182	844
181	840
180	836
179	832
178	828
177	824
176	820
175	816
174	812
173	808
172	804
171	800
170	796
169	792
168	788
167	784
166	780
165	776
164	772
163	768
162	764
161	760
160	756
159	752
158	748
157	744
156	740
155	736
154	732
153	728
152	724
151	720
150	716
149	712
148	708
147	704
146	700
145	696
144	692
143	688
142	684
141	680
140	676
139	672
138	668
137	664
136	660
135	656
134	652
133	648
132	644
131	640
130	636
129	632
128	628
127	624
126	620
125	616
124	612
123	608
122	604
121	600
120	596
119	592
118	588
117	584
116	580
115	576
114	572
113	568
112	564
111	560
110	556
109	552
108	548
107	544
106	540
105	536
104	532
103	528
102	524
101	520
100	516
99	512
98	508
97	504
96	500
95	496
94	492
93	488
92	484
91	480
90	476
89	472
88	468
87	464
86	460
85	456
84	452
83	448
82	444
81	440
80	436
79	432
78	428
77	424
76	420
75	416
74	412
73	408
72	404
71	400
70	396
69	392
68	388
67	384
66	380
65	376
64	372
63	368
62	364
61	360
60	356
59	352
58	348
57	344
56	340
55	336
54	332
53	328
52	324
51	320
50	316
49	312
48	308
47	304
46	300
45	296
44	292
43	288
42	284
41	280
40	276
39	272
38	268
37	264
36	260
35	256
34	252
33	248
32	244
31	240
30	236
29	232
28	228
27	224
26	220
25	216
24	212
23	208
22	204
21	200
20	196
19	192
18	188
17	184
16	180
15	176
14	172
13	168
12	164
11	160
10	156
9	152
8	148
7	144
6	134
5	126
4	120
3	112
2	94
1	70
0	54

end0.0ms

sample6.6s

Algorithm

intervals

Results

1.3s	10213×	body	80	nan
1.0s	1064×	body	640	valid
799.0ms	5001×	body	80	valid
549.0ms	394×	body	160	valid
529.0ms	885×	body	1280	valid
468.0ms	604×	body	1280	nan
424.0ms	624×	body	640	nan
302.0ms	656×	body	320	valid
143.0ms	338×	body	320	nan
93.0ms	202×	body	160	nan