Details

Time bar (total: 122.0ms)

sample74.0ms

Algorithm
intervals
Results
34.0ms123×body1280valid
12.0ms72×body640valid
6.0ms389×pre80true
4.0ms40×body320valid
4.0ms141×body80valid
1.0ms13×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.7b

localize6.0ms

Local error

Found 1 expressions with local error:

5.1b
(- (exp x) 1.0)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity
prod-diff
add-cube-cbrt
fma-neg add-log-exp
pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out-- difference-of-squares
Counts
1 → 28
Calls
1 calls:
22.0ms
(- (exp x) 1.0)

series9.0ms