Details

sample24.0ms

Algorithm

intervals

Results

13.0ms	280×	body	80	valid
0.0ms	1×	body	640	valid

simplify9.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
16	3947
15	3510
14	2565
13	2194
12	1549
11	1249
10	839
9	609
8	379
7	210
6	100
5	52
4	33
3	25
2	19
1	10
0	5

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x y) x)

rewrite12.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-+` `insert-posit16`

Counts

1 → 12

Calls

1 calls:

12.0ms

(+ (* x y) x)

series37.0ms

Counts

1 → 3

Calls

1 calls:

37.0ms

(+ (* x y) x)

simplify1.9s

Counts

15 → 15

Iterations

Iter	Nodes
done	5001
4	1712
3	618
2	219
1	75
0	27

prune68.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify4.0ms

Iterations

Iter	Nodes
done	8
1	8
0	5

end0.0ms

sample778.0ms

Algorithm

intervals

Results

552.0ms	9094×	body	80	valid
0.0ms	1×	body	640	valid