Details

sample16.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify115.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	28	7
4	38	7
5	47	7
6	52	7
7	61	7
8	78	7
9	97	7
10	108	7
11	110	7
12	114	7
13	117	7
done	117	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: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- y x) 2.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

9.0ms

(+ x (/ (- y x) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ x (/ (- y x) 2.0))

simplify9.3s

Counts

16 → 16

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	16	8
2	25	8
3	41	8
4	64	8
5	92	8
6	123	8
7	206	8
8	302	8
9	432	8
10	467	8
11	471	8
12	474	8
done	474	8
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	7	8
1	16	8
2	27	8
3	46	8
4	72	8
5	104	8
6	141	8
7	251	8
8	396	8
9	443	8
10	451	8
11	455	8
12	458	8
done	458	8
0	8	17
1	14	17
2	21	17
3	30	17
4	40	17
5	49	17
6	54	17
7	63	17
8	80	17
9	99	17
10	110	17
11	112	17
12	116	17
13	119	17
done	119	17
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	8	23
1	27	23
2	74	9
3	243	9
4	1152	9
done	5002	9
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	9	11
1	31	11
2	61	11
3	178	11
4	573	11
5	1846	11
done	5000	11
0	10	23
1	29	17
2	70	17
3	177	17
4	476	17
5	1408	17
6	4118	17
done	5000	17
0	8	15
1	22	15
2	50	15
3	160	15
4	505	15
5	1501	15
done	5000	15
0	6	7
1	13	7
2	21	7
3	33	7
4	50	7
5	54	7
6	61	7
7	74	7
8	97	7
9	111	7
10	113	7
done	113	7
0	6	7
1	12	7
2	19	7
3	28	7
4	38	7
5	47	7
6	52	7
7	61	7
8	78	7
9	97	7
10	108	7
11	110	7
12	114	7
13	117	7
done	117	7
0	5	5
1	6	5
done	6	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune26.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	16	1	17

Merged error: 0b

Counts

17 → 1

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
done	7	5

end0.0ms

sample441.0ms

Algorithm

intervals

Results

200.0ms

8000×

body

valid

Details

sample16.0ms

simplify115.0ms

prune3.0ms

localize5.0ms

rewrite10.0ms

series6.0ms

simplify9.3s

prune26.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune2.0ms

simplify1.0ms

end0.0ms

sample441.0ms

Profiling