Details

Time bar (total: 94.0ms)

sample48.0ms

Algorithm
intervals
Results
19.0ms115×body1280valid
7.0ms70×body640valid
4.0ms372×pre80true
3.0ms42×body320valid
2.0ms122×body80valid
1.0ms23×body160valid

simplify6.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
164
274
done74

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.4b

localize7.0ms

Local error

Found 1 expressions with local error:

5.9b
(- (exp x) 1.0)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
19.0ms
(- (exp x) 1.0)

series10.0ms