Details

Time bar (total: 4.4s)

sample248.0ms

Algorithm
intervals
Results
84.0ms355×body80valid
56.0ms57×body10240exit
45.0ms49×body1280valid
15.0ms29×body640valid
10.0ms25×body320valid
3.0ms13×body160valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 4 (310.0ms)

IterNodesCost
01929
14729
212429
335327
4100826
5451426
done500026

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.8b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 1.0 eps) x)
0.0b
(exp (- (* (+ 1.0 eps) x)))
0.0b
(exp (- (* (- 1.0 eps) x)))
2.4b
(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
74×exp-neg
72×frac-times
56×neg-sub0 exp-diff
38×associate-*l/
36×associate-*r/
28×flip3-- flip3-+ flip-- flip-+
18×un-div-inv
12×exp-prod
10×add-sqr-sqrt *-un-lft-identity add-log-exp
add-cube-cbrt
pow1 add-exp-log add-cbrt-cube
expm1-log1p-u associate-*l* log1p-expm1-u rem-exp-log
associate-*r*
distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in neg-log
sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 158
Calls
4 calls:
32.0ms
(* (+ 1.0 eps) x)
7.0ms
(exp (- (* (+ 1.0 eps) x)))
9.0ms
(exp (- (* (- 1.0 eps) x)))
82.0ms
(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))

series53.0ms