Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

301×

body

valid

simplify415.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	15	9
2	30	9
3	61	9
4	104	9
5	164	9
6	241	9
7	299	9
8	335	9
9	348	9
done	348	9

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.2b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ 16.0 116.0))
0.0b	(* (- x (/ 16.0 116.0)) 3.0)
0.2b	(* (* (- x (/ 16.0 116.0)) 3.0) y)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
7×	`associate-l`
6×	`add-cube-cbrt` `associate-r` `associate-*l/`
5×	`add-log-exp`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `difference-of-squares`
3×	`flip3--` `flip--`
2×	`times-frac` `*-commutative` `distribute-lft-out--`
1×	`sub-neg` `diff-log` `unswap-sqr`

Counts

3 → 58

Calls

3 calls:

8.0ms	(- x (/ 16.0 116.0))
10.0ms	(* (- x (/ 16.0 116.0)) 3.0)
11.0ms	(* (* (- x (/ 16.0 116.0)) 3.0) y)

series17.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(- x (/ 16.0 116.0))
7.0ms	(* (- x (/ 16.0 116.0)) 3.0)
7.0ms	(* (* (- x (/ 16.0 116.0)) 3.0) y)

simplify45.7s

Counts

67 → 67

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	15	9
2	30	9
3	61	9
4	104	9
5	164	9
6	241	9
7	299	9
8	335	9
9	348	9
done	348	9
0	9	9
1	15	9
2	30	9
3	61	9
4	104	9
5	164	9
6	241	9
7	299	9
8	335	9
9	348	9
done	348	9
0	12	12
1	18	12
2	27	12
done	27	12
0	11	11
1	18	11
2	32	11
3	45	11
4	59	11
5	68	11
6	73	11
7	78	11
8	80	11
done	80	11
0	10	10
1	19	10
2	41	10
3	84	10
4	129	10
5	189	10
6	264	10
7	322	10
8	357	10
9	370	10
done	370	10
0	10	10
1	18	10
2	44	10
3	108	10
4	227	10
5	483	10
6	1116	10
7	3194	10
done	5000	10
0	15	29
1	30	29
2	110	15
3	466	15
4	2149	13
done	5001	13
0	13	29
1	32	29
2	126	13
3	605	13
4	2817	11
done	5000	11
0	11	21
1	17	21
2	32	21
3	63	21
4	106	21
5	166	21
6	243	21
7	301	21
8	336	21
9	348	21
done	348	21
0	10	10
1	16	10
2	31	10
3	64	10
4	107	10
5	167	10
6	242	10
7	300	10
8	337	10
9	350	10
done	350	10
0	11	29
1	27	29
2	106	11
3	586	11
4	2909	11
done	5001	11
0	10	10
1	16	10
2	31	10
3	64	10
4	107	10
5	167	10
6	242	10
7	300	10
8	337	10
9	350	10
done	350	10
0	10	10
1	16	10
2	31	10
3	64	10
4	107	10
5	167	10
6	242	10
7	300	10
8	337	10
9	350	10
done	350	10
0	11	13
1	19	13
2	41	13
3	88	13
4	170	13
5	294	13
6	490	13
7	692	13
8	829	13
9	874	13
10	877	13
done	877	13
0	10	10
1	16	10
2	31	10
3	64	10
4	107	10
5	167	10
6	242	10
7	300	10
8	337	10
9	350	10
done	350	10
0	9	9
1	17	7
2	38	7
3	65	7
4	108	7
5	168	7
6	281	7
7	351	7
8	401	7
9	418	7
done	418	7
0	3	3
1	4	3
done	4	3
0	12	13
1	34	13
2	88	13
3	277	13
4	1189	13
done	5001	13
0	11	15
1	24	15
2	57	15
3	169	15
4	514	15
5	1287	15
6	2769	15
7	4705	15
done	5000	15
0	7	7
1	10	7
2	19	7
3	28	7
4	42	7
5	51	7
6	56	7
7	61	7
8	63	7
done	63	7
0	9	9
1	12	9
2	15	9
done	15	9
0	8	8
1	14	8
2	24	8
3	33	8
4	47	8
5	56	8
6	61	8
7	66	8
8	68	8
done	68	8
0	8	8
1	13	8
2	33	8
3	56	8
4	109	8
5	203	8
6	467	8
7	1377	8
done	5001	8
0	11	23
1	20	23
2	60	11
3	191	11
4	710	9
5	3055	9
done	5001	9
0	9	17
1	12	17
2	21	17
3	30	17
4	44	17
5	53	17
6	58	17
7	63	17
8	65	17
done	65	17
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	9	23
1	22	23
2	78	9
3	304	9
4	1044	9
5	3963	9
done	5000	9
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	9	9
1	12	9
2	15	9
done	15	9
0	9	9
1	12	9
2	15	9
done	15	9
0	9	11
1	14	11
2	25	11
3	46	11
4	72	11
5	108	11
6	137	11
7	165	11
8	182	11
9	190	11
done	190	11
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	7	7
1	12	5
2	24	5
3	39	5
4	62	5
5	94	5
6	107	5
7	120	5
8	126	5
done	126	5
0	8	8
1	11	8
2	14	8
done	14	8
0	8	8
1	11	8
2	14	8
done	14	8
0	7	7
1	10	7
2	19	7
3	28	7
4	42	7
5	51	7
6	56	7
7	61	7
8	63	7
done	63	7
0	9	9
1	12	9
2	19	9
3	24	9
4	28	9
done	28	9
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	7	7
1	10	7
2	19	7
3	28	7
4	42	7
5	51	7
6	56	7
7	61	7
8	63	7
done	63	7
0	10	11
1	29	11
2	77	11
3	236	11
4	882	11
5	3773	11
done	5000	11
0	9	13
1	19	13
2	44	13
3	113	13
4	280	13
5	575	13
6	945	13
7	1525	13
8	4573	13
done	5000	13
0	7	7
1	9	6
2	11	6
3	16	6
4	19	6
5	25	6
6	29	6
7	45	6
8	49	6
9	54	6
10	61	6
11	79	6
12	100	6
13	113	6
14	118	6
15	120	6
done	120	6
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	11	6
2	16	6
3	19	6
4	25	6
5	29	6
6	45	6
7	51	6
8	56	6
9	63	6
10	82	6
11	103	6
12	116	6
13	121	6
14	123	6
done	123	6
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	10	17
2	27	7
3	78	7
4	242	7
5	792	7
6	2652	7
done	5000	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	8	9
1	26	9
2	68	9
3	178	9
4	565	9
5	1964	9
done	5000	9
0	9	17
1	22	13
2	40	13
3	59	13
4	71	13
5	75	13
6	76	13
done	76	13
0	4	4
1	6	4
done	6	4
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	13	8
done	13	8
0	5	5
1	7	5
2	10	5
done	10	5
0	4	4
1	6	4
done	6	4
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3

prune115.0ms

Filtered

49 candidates to 67 candidates (-36.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	61	6	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	6	68

Merged error: 0b

Counts

68 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 3.0 x) 0.41379310344827586)
0.1b	(* y (- (* 3.0 x) 0.41379310344827586))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`sub-neg` `associate-r` `associate-l`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*r/` `flip--`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

4.0ms	(- (* 3.0 x) 0.41379310344827586)
7.0ms	(* y (- (* 3.0 x) 0.41379310344827586))

series15.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(- (* 3.0 x) 0.41379310344827586)
11.0ms	(* y (- (* 3.0 x) 0.41379310344827586))

simplify34.5s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	18	7
3	31	7
4	35	7
done	35	7
0	9	9
1	13	9
2	14	9
done	14	9
0	8	8
1	15	8
2	23	8
3	36	8
4	40	8
done	40	8
0	8	8
1	14	8
2	27	8
3	60	8
4	115	8
5	243	8
6	650	8
7	2399	8
done	5001	8
0	11	23
1	21	23
2	65	11
3	264	11
4	1127	9
5	4829	9
done	5000	9
0	9	17
1	13	17
2	20	17
3	33	17
4	37	17
done	37	17
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	9	23
1	23	23
2	77	9
3	298	9
4	1134	9
5	4262	9
done	5000	9
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	9	9
1	13	9
2	14	9
done	14	9
0	9	9
1	13	9
2	14	9
done	14	9
0	5	5
1	9	5
2	15	5
done	15	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	5	5
1	9	5
2	15	5
done	15	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	5	5
1	9	5
2	15	5
done	15	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	5	5
1	9	5
2	15	5
done	15	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	9	15
1	15	15
2	18	15
done	18	15
0	8	8
1	12	8
2	13	8
done	13	8
0	3	3
1	6	1
done	6	1
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	7	7
1	11	7
2	18	7
3	31	7
4	35	7
done	35	7
0	10	11
1	30	11
2	87	11
3	260	11
4	736	11
5	2193	11
done	5001	11
0	9	13
1	23	13
2	51	13
3	122	13
4	291	13
5	487	13
6	721	13
7	1284	13
8	4426	13
done	5000	13
0	7	7
1	12	6
2	20	6
3	33	6
4	71	6
5	182	6
6	560	6
7	2181	6
done	5001	6
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	12	6
2	19	6
3	29	6
4	57	6
5	135	6
6	423	6
7	1175	6
8	3709	6
done	5001	6
0	7	13
1	10	13
2	11	13
done	11	13
0	6	6
1	9	6
2	10	6
done	10	6
0	7	17
1	11	17
2	26	7
3	85	7
4	282	7
5	873	7
6	2661	7
done	5000	7
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	8	9
1	27	9
2	78	9
3	171	9
4	351	9
5	1014	9
6	4288	9
done	5000	9
0	9	17
1	26	15
2	51	15
3	60	13
4	69	13
5	71	13
done	71	13
0	2	2
done	2	2
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5

prune67.0ms

Filtered

28 candidates to 42 candidates (-50.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	43	5	48

Merged error: 0b

Counts

48 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))
0.2b	(* y (* 3.0 x))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-neg-out`
1×	`+-commutative` `flip3-+` `associate-r` `unsub-neg` `sum-log` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 32

Calls

2 calls:

5.0ms	(+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))
5.0ms	(* y (* 3.0 x))

series12.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))
4.0ms	(* y (* 3.0 x))

simplify50.0s

Counts

38 → 38

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	11	12
1	24	11
2	53	9
3	117	8
4	320	8
5	1457	8
done	5000	8
0	10	11
1	20	9
2	36	8
3	38	8
done	38	8
0	10	11
1	23	9
2	50	8
3	96	8
4	229	8
5	1003	8
6	4922	8
done	5000	8
0	11	23
1	21	19
2	34	17
3	35	17
done	35	17
0	10	11
1	20	9
2	33	8
3	34	8
done	34	8
0	11	32
1	34	26
2	140	9
3	763	9
4	3653	9
done	5000	9
0	10	11
1	20	9
2	33	8
3	34	8
done	34	8
0	10	11
1	20	9
2	33	8
3	34	8
done	34	8
0	12	14
1	38	14
2	143	14
3	605	13
4	2104	13
done	5000	13
0	13	32
1	44	27
2	184	25
3	673	21
4	1694	19
5	3768	17
6	4971	17
done	5000	17
0	11	21
1	36	21
2	140	15
3	408	15
4	667	15
5	1203	15
6	2325	15
done	5000	15
0	9	10
1	20	8
2	37	8
3	52	7
4	57	7
done	57	7
0	6	6
1	9	5
done	9	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7

prune53.0ms

Filtered

28 candidates to 38 candidates (-35.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Merged error: 0b

Counts

43 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))
0.2b	(* 3.0 (* x y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-neg-out`
1×	`+-commutative` `flip3-+` `associate-r` `unsub-neg` `sum-log` `*-commutative` `flip-+`

Counts

2 → 31

Calls

2 calls:

6.0ms	(+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))
9.0ms	(* 3.0 (* x y))

series12.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))
4.0ms	(* 3.0 (* x y))

simplify47.2s

Counts

37 → 37

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	11	12
1	25	11
2	54	9
3	117	8
4	321	8
5	1448	8
done	5000	8
0	10	11
1	18	11
2	32	9
3	39	8
4	40	8
done	40	8
0	10	11
1	21	11
2	49	9
3	91	8
4	218	8
5	971	8
6	4763	8
done	5000	8
0	11	23
1	19	23
2	33	19
3	37	17
done	37	17
0	10	11
1	18	11
2	32	9
3	36	8
done	36	8
0	11	32
1	32	32
2	124	10
3	633	9
4	3241	9
done	5000	9
0	10	11
1	18	11
2	32	9
3	36	8
done	36	8
0	10	11
1	18	11
2	32	9
3	36	8
done	36	8
0	12	14
1	39	14
2	143	14
3	616	13
4	2222	13
done	5000	13
0	13	32
1	46	27
2	186	25
3	671	22
4	1733	20
5	3968	19
done	5001	17
0	11	21
1	37	21
2	136	17
3	390	15
4	634	15
5	1179	15
6	2326	15
done	5000	15
0	9	10
1	18	10
2	35	8
3	53	7
4	59	7
done	59	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	30	7
3	34	7
4	35	7
done	35	7

prune47.0ms

Filtered

27 candidates to 37 candidates (-37.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	37	4	41

Merged error: 0b

Counts

41 → 4

regimes121.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	15	10
2	18	10
3	19	10
done	19	10

end0.0ms

sample601.0ms

Algorithm

intervals

Results

313.0ms

9132×

body

valid

Details

sample22.0ms

simplify415.0ms

prune3.0ms

localize7.0ms

rewrite31.0ms

series17.0ms

simplify45.7s

prune115.0ms

localize5.0ms

rewrite13.0ms

series15.0ms

simplify34.5s

prune67.0ms

localize8.0ms

rewrite12.0ms

series12.0ms

simplify50.0s

prune53.0ms

localize7.0ms

rewrite16.0ms

series12.0ms

simplify47.2s

prune47.0ms

regimes121.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample601.0ms

Profiling