Details

sample18.0ms

Algorithm

intervals

Results

6.0ms

301×

body

valid

simplify8.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	11	5
2	17	5
3	21	5
done	21	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.3b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(* x (+ y y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-r`
9×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
3×	`pow1` `add-exp-log` `distribute-rgt-out` `associate-l` `add-cbrt-cube` `distribute-lft-out`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft1-in` `flip3-+` `count-2` `pow-prod-down` `distribute-rgt1-in` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 31

Calls

1 calls:

8.0ms

(* x (+ y y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* x (+ y y))

simplify21.0s

Counts

34 → 34

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	11	5
2	17	5
3	21	5
done	21	5
0	6	7
1	9	7
2	13	7
3	18	7
4	22	7
done	22	7
0	5	6
1	15	6
2	25	6
3	39	6
4	44	6
done	44	6
0	5	6
1	14	6
2	27	6
3	55	6
4	108	6
5	238	6
6	603	6
7	2068	6
done	5000	6
0	8	17
1	25	17
2	91	9
3	367	9
4	1462	7
5	3866	7
done	5000	7
0	6	13
1	13	13
2	19	13
3	23	13
done	23	13
0	5	6
1	12	6
2	18	6
3	22	6
done	22	6
0	6	17
1	23	17
2	95	7
3	389	7
4	1400	7
5	2950	7
done	5000	7
0	5	6
1	12	6
2	18	6
3	22	6
done	22	6
0	5	6
1	12	6
2	18	6
3	22	6
done	22	6
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	6	11
1	11	11
2	14	11
done	14	11
0	5	6
1	8	6
2	9	6
done	9	6
0	3	3
1	6	1
done	6	1
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	4	5
1	13	3
2	16	3
3	21	3
done	21	3
0	4	5
1	13	3
2	16	3
3	21	3
done	21	3
0	3	3
1	4	3
done	4	3
0	5	6
1	12	6
2	18	6
3	22	6
done	22	6
0	5	6
1	12	6
2	18	6
3	22	6
done	22	6
0	4	5
1	11	5
2	17	5
3	21	5
done	21	5
0	6	9
1	20	7
2	56	7
3	144	7
4	300	7
5	736	7
6	2302	7
done	5000	7
0	5	9
1	13	3
2	19	1
3	20	1
done	20	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune38.0ms

Filtered

25 candidates to 34 candidates (-36.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	33	1	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	1	35

Merged error: 0b

Counts

35 → 1

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune3.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

sample480.0ms

Algorithm

intervals

Results

177.0ms

9132×

body

valid

Details

sample18.0ms

simplify8.0ms

prune2.0ms

localize4.0ms

rewrite9.0ms

series4.0ms

simplify21.0s

prune38.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune3.0ms

simplify1.0ms

end0.0ms

sample480.0ms

Profiling