Details

Time bar (total: 4.1s)

sample13.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
1105
2185
3265
4325
5415
61005
72705
87765
925275
done50015

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize6.0ms

Local error

Found 1 expressions with local error:

52.0b
(- (+ 0.1 0.2) 0.3)

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
add-sqr-sqrt
diff-log distribute-lft-out--
pow1 sum-log sub-neg flip3-- add-cbrt-cube associate--l+ add-exp-log add-cube-cbrt flip-- distribute-lft-out difference-of-squares
Counts
1 → 17
Calls
1 calls:
87.0ms
(- (+ 0.1 0.2) 0.3)

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(- (+ 0.1 0.2) 0.3)

simplify968.0ms

Counts
18 → 18
Iterations

Useful iterations: 3 (284.0ms)

IterNodesCost
036153
178148
2243138
31077136
done5000136

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify10.0ms

Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
055
165
done65

end0.0ms

sample276.0ms

Algorithm
intervals
Results
216.0ms8000×body80valid