Details

sample14.0ms

Algorithm

intervals

Results

6.0ms

349×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	5	5
done	5	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

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x x) 1.0)

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

(+ (* x x) 1.0)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(+ (* x x) 1.0)

simplify34.7s

Counts

14 → 14

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	121	6
6	313	6
7	1010	6
8	3782	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	306	6
8	1004	6
9	3787	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	166	7
4	413	7
5	1137	7
6	2577	7
7	4034	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	180	7
5	455	7
6	1467	7
done	5000	7
0	8	17
1	22	15
2	47	13
3	85	11
4	138	11
5	237	11
6	485	11
7	1244	11
8	4856	11
done	5000	11
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune18.0ms

Filtered

11 candidates to 14 candidates (-27.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	1	15

Merged error: 0.0b

Counts

15 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	5	5
done	5	5

end0.0ms

sample380.0ms

Algorithm

intervals

Results

193.0ms

10680×

body

valid

Details

sample14.0ms

simplify2.0ms

prune2.0ms

localize3.0ms

rewrite5.0ms

series4.0ms

simplify34.7s

prune18.0ms

simplify1.0ms

end0.0ms

sample380.0ms

Profiling