Details

Time bar (total: 90.0ms)

sample38.0ms

Algorithm
intervals
Results
16.0ms111×body1280valid
6.0ms77×body640valid
3.0ms385×pre80true
2.0ms44×body320valid
2.0ms135×body80valid
1.0ms18×body160valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
044
164
274
done74

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.6b

localize3.0ms

Local error

Found 1 expressions with local error:

4.6b
(- (exp x) 1.0)

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

series20.0ms

Counts
1 → 3
Calls
1 calls:
20.0ms
(- (exp x) 1.0)

simplify20.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
039132
183127