Details

sample24.0ms

Algorithm

intervals

Results

11.0ms

367×

body

valid

simplify51.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	9
1	13	7
2	32	7
3	58	7
4	72	7
5	81	7
done	81	7

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x x) (* x y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--`

Counts

1 → 13

Calls

1 calls:

4.0ms

(- (* x x) (* x y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(- (* x x) (* x y))

simplify24.6s

Counts

16 → 16

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	13	8
2	26	6
3	56	6
4	142	6
5	496	6
6	3035	6
done	5000	6
0	6	8
1	11	6
2	23	6
3	25	6
done	25	6
0	6	8
1	14	6
2	31	6
3	55	6
4	115	6
5	351	6
6	1553	6
done	5000	6
0	7	17
1	12	13
2	21	13
3	22	13
done	22	13
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	7	23
1	13	17
2	46	7
3	195	7
4	749	7
5	2466	7
done	5000	7
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	8	11
1	28	11
2	98	9
3	330	9
4	857	9
5	2429	9
done	5000	9
0	9	23
1	30	19
2	76	15
3	131	13
4	176	13
5	223	13
6	384	13
7	900	13
8	2961	13
done	5000	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	15
1	23	15
2	65	11
3	154	11
4	270	11
5	457	11
6	913	11
7	2387	11
done	5000	11
0	5	7
1	9	5
2	11	5
done	11	5
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	9	4
2	11	4
done	11	4
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5

prune18.0ms

Filtered

11 candidates to 16 candidates (-45.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0.0b

Counts

17 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	9	9
done	9	9

end0.0ms

sample673.0ms

Algorithm

intervals

Results

339.0ms

11073×

body

valid

Details

sample24.0ms

simplify51.0ms

prune6.0ms

localize6.0ms

rewrite4.0ms

series6.0ms

simplify24.6s

prune18.0ms

simplify1.0ms

end0.0ms

sample673.0ms

Profiling