Details

sample17.0ms

Algorithm

intervals

Results

6.0ms

293×

body

valid

simplify4.7s

Counts

1 → 1

Iterations

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ y (+ x (* x y)))
0.0b	(+ x (* x y))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log` `*-un-lft-identity`
2×	`add-sqr-sqrt` `pow1` `+-commutative` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+`
1×	`associate-+r+` `distribute-lft-out`

Counts

2 → 25

Calls

2 calls:

10.0ms	(+ y (+ x (* x y)))
4.0ms	(+ x (* x y))

series89.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(+ y (+ x (* x y)))
57.0ms	(+ x (* x y))

simplify1.3s

Counts

31 → 31

Iterations

Iter	Nodes
done	5000
3	2320
2	530
1	146
0	48

prune122.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Iterations

Iter	Nodes
done	8
1	8
0	5

end0.0ms

sample759.0ms

Algorithm

intervals

Results

395.0ms	9144×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid