Details

Time bar (total: 1.9s)

sample337.0ms

Algorithm
intervals
Results
128.0ms67×body10240exit
89.0ms57×body1280valid
50.0ms303×body80valid
35.0ms44×body640valid
7.0ms15×body320valid
4.0ms10×body160valid

simplify281.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
281.0ms
(/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2)

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite908.0ms

Algorithm
rewrite-expression-head
Rules
9644×prod-diff
6938×exp-sum
5508×*-un-lft-identity
5499×add-sqr-sqrt
5472×add-cube-cbrt
3920×times-frac
3469×distribute-rgt-in distribute-lft-in
1977×associate--r+
633×sub-neg
83×fma-neg
53×div-inv
30×associate-/l*
18×add-log-exp
11×distribute-lft-out-- difference-of-squares
9×distribute-lft-out
8×add-cbrt-cube
7×diff-log
6×associate-/r* add-exp-log
4×expm1-log1p-u pow1 flip3-- frac-sub insert-posit16 log1p-expm1-u flip--
2×cbrt-undiv clear-num sum-log frac-2neg flip3-+ div-exp flip-+
1×associate--l+ associate--r-
Counts
4 → 4262
Calls
4 calls:
Slowest
313.0ms
(- (+ (/ (exp (* x (+ -1 eps))) eps) (exp (* x (+ -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
72.0ms
(- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))
28.0ms
(/ (exp (* x (- -1 eps))) eps)
18.0ms
(/ (exp (* x (+ -1 eps))) eps)

series310.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
172.0ms
(- (+ (/ (exp (* x (+ -1 eps))) eps) (exp (* x (+ -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
64.0ms
(- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))
40.0ms
(/ (exp (* x (+ -1 eps))) eps)
33.0ms
(/ (exp (* x (- -1 eps))) eps)