Details

sample34.0ms

Algorithm

intervals

Results

13.0ms	256×	body	80	valid
6.0ms	256×	pre	80	true

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7

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: 62.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

62.0b

(/ (- x lo) (- hi lo))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
13×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 52

Calls

1 calls:

9.0ms

(/ (- x lo) (- hi lo))

series12.0ms

Counts

1 → 3

Calls

1 calls:

12.0ms

(/ (- x lo) (- hi lo))

simplify18.1s

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune51.0ms

Filtered

38 candidates to 55 candidates (-44.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	55	1	56

Merged error: 62.0b

Counts

56 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
done	6	7

end0.0ms

sample712.0ms

Algorithm

intervals

Results

205.0ms	8000×	body	80	valid
164.0ms	8000×	pre	80	true

Details

sample34.0ms

simplify6.0ms

prune3.0ms

localize5.0ms

rewrite11.0ms

series12.0ms

simplify18.1s

prune51.0ms

simplify1.0ms

end0.0ms

sample712.0ms

Profiling