Details

sample31.0ms

Algorithm

intervals

Results

14.0ms

290×

body

valid

simplify11.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	21	9
3	24	9
4	25	9
done	25	9

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

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (/ (* x y) 2.0) (/ z 8.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
3×	`*-un-lft-identity` `add-log-exp`
2×	`difference-of-squares`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `times-frac` `diff-log` `frac-sub` `add-cbrt-cube` `flip--` `distribute-lft-out--`

Counts

1 → 16

Calls

1 calls:

11.0ms

(- (/ (* x y) 2.0) (/ z 8.0))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(- (/ (* x y) 2.0) (/ z 8.0))

simplify16.1s

Counts

19 → 19

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	16	10
2	22	10
3	32	10
4	44	10
5	69	10
6	146	10
7	444	10
8	1177	10
9	3354	10
done	5000	10
0	10	10
1	15	10
2	22	10
3	25	10
4	26	10
done	26	10
0	10	10
1	18	10
2	27	10
3	35	10
4	50	10
5	77	10
6	199	10
7	493	10
8	1226	10
9	3320	10
done	5000	10
0	11	21
1	16	21
2	23	21
3	26	21
4	27	21
done	27	21
0	10	10
1	15	10
2	22	10
3	25	10
4	26	10
done	26	10
0	11	29
1	17	29
2	38	11
3	122	11
4	502	11
5	2150	11
done	5001	11
0	10	10
1	15	10
2	22	10
3	25	10
4	26	10
done	26	10
0	10	10
1	15	10
2	22	10
3	25	10
4	26	10
done	26	10
0	9	9
1	16	9
2	29	9
done	29	9
0	3	3
1	4	3
done	4	3
0	12	13
1	36	13
2	114	13
3	393	13
4	1679	13
done	5001	13
0	13	29
1	35	25
2	92	25
3	240	23
4	566	23
5	877	23
6	963	23
7	973	23
8	976	23
done	976	23
0	4	4
1	6	4
done	6	4
0	11	19
1	27	19
2	66	19
3	177	19
4	440	19
5	772	19
6	1075	19
7	1658	19
8	3880	19
done	5001	19
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	11	11
1	15	11
2	19	11
3	22	11
4	23	11
done	23	11
0	11	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	12	12
1	16	12
2	20	12
3	23	12
4	24	12
done	24	12
0	12	12
1	17	12
2	24	12
3	27	12
4	28	12
done	28	12
0	9	9
1	14	9
2	21	9
3	24	9
4	25	9
done	25	9
0	4	4
1	6	4
done	6	4
0	9	9
1	16	9
2	29	9
done	29	9
0	9	9
1	16	9
2	29	9
done	29	9
0	9	9
1	16	9
2	29	9
done	29	9

prune32.0ms

Filtered

14 candidates to 19 candidates (-35.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	1	20

Merged error: 0.0b

Counts

20 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	10	9
done	10	9

end0.0ms

sample743.0ms

Algorithm

intervals

Results

315.0ms	9156×	body	80	valid
0.0ms	1×	body	320	valid

Details

sample31.0ms

simplify11.0ms

prune3.0ms

localize7.0ms

rewrite12.0ms

series10.0ms

simplify16.1s

prune32.0ms

simplify1.0ms

end0.0ms

sample743.0ms

Profiling