Details

sample37.0ms

Algorithm

intervals

Results

20.0ms

289×

body

valid

simplify19.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	20
3	20
2	19
1	13
0	8

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (/ x 2.0) (* y x))
0.0b	(+ (+ (/ x 2.0) (* y x)) z)

rewrite143.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-+` `insert-posit16`
1×	`associate-+l+` `distribute-lft-out`

Counts

2 → 27

Calls

2 calls:

30.0ms	(+ (/ x 2.0) (* y x))
112.0ms	(+ (+ (/ x 2.0) (* y x)) z)

series98.0ms

Counts

2 → 6

Calls

2 calls:

59.0ms	(+ (/ x 2.0) (* y x))
39.0ms	(+ (+ (/ x 2.0) (* y x)) z)

simplify1.7s

Counts

33 → 33

Iterations

Iter	Nodes
done	5002
3	1850
2	539
1	165
0	57

prune113.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Iterations

Iter	Nodes
done	11
1	11
0	8

end0.0ms

sample594.0ms

Algorithm

intervals

Results

399.0ms	9051×	body	80	valid
0.0ms	2×	body	1280	valid