Details

sample12.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

prune2.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.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (+ x 16.0) 116.0)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
12×	`times-frac`
10×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`distribute-lft-out` `associate-/l*`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 33

Calls

1 calls:

6.0ms

(/ (+ x 16.0) 116.0)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ (+ x 16.0) 116.0)

simplify6.7s

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	236	7
4	620	7
5	1689	7
6	4465	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	47	7
3	119	7
4	298	7
5	589	7
6	1238	7
7	3090	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	7
1	8	7
done	8	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	7	6
done	7	6
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	7	9
1	10	9
done	10	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	10	3
done	10	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	784	11
11	785	11
done	785	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5

prune53.0ms

Filtered

26 candidates to 36 candidates (-38.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	3	37

Merged error: 0b

Counts

37 → 3

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* 0.008620689655172414 x) 0.13793103448275862)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+ (* 0.008620689655172414 x) 0.13793103448275862)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(+ (* 0.008620689655172414 x) 0.13793103448275862)

simplify21.2s

Counts

14 → 14

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	405	6
7	1261	6
8	4687	6
done	5000	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	220	6
7	590	6
8	1950	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	223	7
4	603	7
5	1509	7
6	3228	7
done	5001	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	141	9
4	268	9
5	709	9
6	2669	9
done	5000	9
0	9	17
1	27	15
2	63	15
3	107	13
4	181	13
5	307	13
6	470	13
7	527	13
8	626	13
9	730	13
done	730	13
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	8	5
2	9	5
done	9	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5

prune22.0ms

Filtered

10 candidates to 14 candidates (-40.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	14	3	17

Merged error: 0b

Counts

17 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 116.0 (+ x 16.0))
0.1b	(/ 1 (/ 116.0 (+ x 16.0)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
94×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

2 → 129

Calls

2 calls:

6.0ms	(/ 116.0 (+ x 16.0))
9.0ms	(/ 1 (/ 116.0 (+ x 16.0)))

series7.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(/ 116.0 (+ x 16.0))
5.0ms	(/ 1 (/ 116.0 (+ x 16.0)))

simplify1.3min

Counts

135 → 135

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	8	8
1	11	8
2	15	8
3	17	8
4	18	7
done	18	7
0	7	7
1	11	7
2	13	7
3	17	7
4	19	7
5	20	7
done	20	7
0	9	9
1	16	8
2	29	8
3	48	7
4	77	7
5	104	7
6	113	7
7	129	7
done	129	7
0	8	8
1	14	7
2	22	7
3	35	7
4	61	7
5	91	7
6	97	7
7	103	7
8	119	7
done	119	7
0	10	10
1	19	9
2	27	8
3	52	7
4	82	7
5	108	7
6	118	7
7	134	7
done	134	7
0	9	9
1	17	8
2	22	7
3	39	7
4	65	7
5	95	7
6	101	7
7	107	7
8	123	7
done	123	7
0	8	8
1	17	7
2	34	7
3	60	6
4	111	6
5	152	6
6	167	6
7	171	6
8	180	6
done	180	6
0	8	8
1	13	8
2	26	8
3	49	6
4	107	6
5	170	6
6	334	6
7	823	6
8	2839	6
done	5000	6
0	13	23
1	42	19
2	134	11
3	473	9
4	1797	9
done	5000	9
0	11	23
1	28	19
2	64	9
3	224	9
4	666	9
5	1431	7
6	2976	7
done	5000	7
0	9	17
1	14	17
2	25	17
3	38	13
4	73	13
5	84	13
done	84	13
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	9	23
1	21	23
2	67	9
3	318	7
4	1011	7
5	2058	7
done	5001	7
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	2	2
1	5	1
done	5	1
0	6	6
1	9	6
done	9	6
0	11	19
1	20	17
2	29	15
3	35	15
done	35	15
0	9	9
1	12	8
done	12	8
0	10	12
1	15	10
2	17	8
3	18	8
done	18	8
0	9	9
1	12	8
done	12	8
0	13	21
1	26	19
2	62	17
3	132	15
4	188	15
done	188	15
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	12	16
1	21	14
2	39	12
3	72	10
4	93	10
done	93	10
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	12	18
1	21	16
2	36	14
3	56	12
4	59	12
done	59	12
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	11	13
1	18	11
2	27	9
3	35	7
4	36	7
done	36	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	7	10
1	13	4
2	18	4
done	18	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	7	10
1	13	4
2	18	4
done	18	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	5	9
1	11	1
done	11	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	5	9
1	11	1
done	11	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	12	15
1	32	13
2	58	11
3	123	9
4	298	9
5	919	9
6	2645	9
done	5001	9
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	11	15
1	22	13
2	48	11
3	133	9
4	370	9
5	747	9
6	1030	9
7	1638	9
8	4753	9
done	5000	9
0	6	6
1	10	5
2	11	5
done	11	5
0	10	16
1	15	15
done	15	15
0	9	9
1	12	8
done	12	8
0	9	9
1	12	8
done	12	8
0	9	9
1	12	8
done	12	8
0	12	18
1	23	17
2	44	17
3	73	15
4	133	15
5	198	15
done	198	15
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	11	13
1	18	12
2	26	12
3	39	10
4	66	10
5	97	10
done	97	10
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	11	15
1	18	14
2	25	14
3	33	12
4	57	12
5	74	12
done	74	12
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	6	7
1	10	4
2	15	4
done	15	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	6	7
1	10	4
2	15	4
done	15	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	4	6
1	8	1
done	8	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	4	6
1	8	1
done	8	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	3	4
1	5	1
done	5	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	4	4
1	6	3
done	6	3
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	11	12
1	29	11
2	49	11
3	103	9
4	275	9
5	928	9
6	2691	9
done	5001	9
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	10	12
1	19	11
2	39	11
3	109	9
4	331	9
5	750	9
6	1032	9
7	1598	9
8	4794	9
done	5000	9
0	6	6
1	10	5
2	11	5
done	11	5
0	9	15
1	14	15
done	14	15
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	205	15
done	205	15
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	10	12
1	17	12
2	25	12
3	38	10
4	65	10
5	105	10
done	105	10
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	10	14
1	17	14
2	24	14
3	32	12
4	56	12
5	75	12
done	75	12
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	3	5
1	6	1
done	6	1
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	3	5
1	6	1
done	6	1
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	3	3
1	5	3
done	5	3
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	10	11
1	28	11
2	48	11
3	102	9
4	276	9
5	933	9
6	2661	9
done	5001	9
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	7	7
1	12	5
2	27	5
3	37	5
done	37	5
0	9	15
1	14	15
done	14	15
0	8	8
1	11	8
done	11	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	205	15
done	205	15
0	10	12
1	17	12
2	25	12
3	38	10
4	65	10
5	105	10
done	105	10
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	10	14
1	17	14
2	24	14
3	32	12
4	56	12
5	75	12
done	75	12
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	5	6
1	9	4
2	14	4
done	14	4
0	5	6
1	9	4
2	14	4
done	14	4
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	10	11
1	28	11
2	48	11
3	102	9
4	276	9
5	933	9
6	2661	9
done	5001	9
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	8	8
1	13	7
2	24	7
done	24	5
0	8	8
1	13	7
2	24	7
done	24	5
0	7	7
1	12	5
2	27	5
3	37	5
done	37	5
0	3	3
1	5	3
done	5	3
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	220	7
4	496	7
5	1299	7
6	2986	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	31	7
3	69	7
4	152	7
5	302	7
6	586	7
7	1368	7
8	4784	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	8	12
1	11	12
done	11	12
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	7	11
1	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	7	11
1	10	11
done	10	11
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	204	9
6	605	9
7	2437	9
done	5000	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13

prune130.0ms

Filtered

72 candidates to 135 candidates (-87.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	135	3	138

Merged error: 0b

Counts

138 → 3

regimes84.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

end0.0ms

sample299.0ms

Algorithm

intervals

Results

146.0ms

8000×

body

valid

Details

sample12.0ms

simplify2.0ms

prune2.0ms

localize4.0ms

rewrite8.0ms

series4.0ms

simplify6.7s

prune53.0ms

localize4.0ms

rewrite5.0ms

series4.0ms

simplify21.2s

prune22.0ms

localize5.0ms

rewrite22.0ms

series7.0ms

simplify1.3min

prune130.0ms

regimes84.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample299.0ms

Profiling