Details

Time bar (total: 99.0ms)

sample48.0ms

Algorithm
intervals
Results
20.0ms115×body1280valid
8.0ms70×body640valid
5.0ms372×pre80true
3.0ms42×body320valid
2.0ms122×body80valid
1.0ms23×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.4b

localize4.0ms

Local error

Found 1 expressions with local error:

5.9b
(- (exp x) 1.0)

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

series6.0ms