Details

Time bar (total: 78.0ms)

sample46.0ms

Algorithm
intervals
Results
20.0ms123×body1280valid
7.0ms72×body640valid
5.0ms389×pre80true
2.0ms40×body320valid
2.0ms141×body80valid
1.0ms13×body160valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
164
274
done74

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.7b

localize4.0ms

Local error

Found 1 expressions with local error:

5.1b
(- (exp x) 1.0)

rewrite14.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:
13.0ms
(- (exp x) 1.0)

series7.0ms