Details

sample23.0ms

Algorithm

intervals

Results

10.0ms

285×

body

valid

simplify4.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	122
1	10	122
2	20	122
3	27	122
4	35	122
5	109	122
6	331	122
7	1213	122
8	4777	122
done	5002	122

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x y) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `sum-log` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+`

Counts

1 → 11

Calls

1 calls:

6.0ms

(+ (* x y) x)

series50.0ms

Counts

1 → 3

Calls

1 calls:

50.0ms

(+ (* x y) x)

simplify1.9s

Counts

14 → 14

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	26	2531
1	74	2160
2	224	2160
3	734	2160
4	2488	2160
done	5000	2160

prune77.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	122
1	8	122
done	8	122

end0.0ms

sample596.0ms

Algorithm

intervals

Results

338.0ms	9173×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid