Details

sample28.0ms

Algorithm

intervals

Results

9.0ms

349×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (* x y) y)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-l` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

6.0ms

(* (* x y) y)

series12.0ms

Counts

1 → 3

Calls

1 calls:

12.0ms

(* (* x y) y)

simplify27.3s

Counts

21 → 21

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune27.0ms

Filtered

16 candidates to 21 candidates (-31.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	1	22

Merged error: 0b

Counts

22 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample618.0ms

Algorithm

intervals

Results

282.0ms

10559×

body

valid

Details

sample28.0ms

simplify2.1s

prune3.0ms

localize5.0ms

rewrite6.0ms

series12.0ms

simplify27.3s

prune27.0ms

simplify1.0ms

end0.0ms

sample618.0ms

Profiling