Error in 2.1m

Runtime

Time bar (total: 2.1m)Debug logProfile

start1.1s

Algorithm
intervals

setup271.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 150
Calls

4 calls. Slowest were:

28.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
3.0ms
(exp (- (* (- 1 eps) x)))
3.0ms
(exp (- (* (+ 1 eps) x)))

series197.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

127.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
26.0ms
(exp (- (* (- 1 eps) x)))
24.0ms
(exp (- (* (+ 1 eps) x)))

simplify56.5s

Counts
198 → 162
Calls

198 calls. Slowest were:

1.4s
(- (* (* (+ (pow 1 3) (pow (/ 1 eps) 3)) (exp 0)) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x)))) (* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp (* (- 1 eps) x))) (* (- (* (/ 1 eps) (/ 1 eps)) (* 1 1)) (exp 0))))
1.1s
(- (* (* (- (* 1 1) (* (/ 1 eps) (/ 1 eps))) 1) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x)))) (* (* (- 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (* (/ 1 eps) (/ 1 eps)) (* 1 1)) (exp 0))))
949.0ms
(- (* (* (- (* 1 1) (* (/ 1 eps) (/ 1 eps))) (exp 0)) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x)))) (* (* (- 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (* (/ 1 eps) (/ 1 eps)) (* 1 1)) 1)))

prune3.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 2 expressions with local error:

6.0b
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
0.1b
(* 2/3 (pow x 3))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
2 → 48
Calls

2 calls. Slowest were:

28.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
2.0ms
(* 2/3 (pow x 3))

series45.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

28.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
17.0ms
(* 2/3 (pow x 3))

simplify2.3s

Counts
43 → 54
Calls

43 calls. Slowest were:

308.0ms
(fma 1 (+ (* 2/3 (pow x 3)) 2) (- (* (sqrt (pow x 2)) (sqrt (pow x 2)))))
226.0ms
(fma 1 (+ (* 2/3 (pow x 3)) 2) (- (* (pow x 2) 1)))
185.0ms
(fma (sqrt (+ (* 2/3 (pow x 3)) 2)) (sqrt (+ (* 2/3 (pow x 3)) 2)) (- (* (pow x 2) 1)))

prune757.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.1b
(fma 2/3 x -1)
0.0b
(fma (* x x) (fma 2/3 x -1) 2)

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
2 → 20
Calls

2 calls. Slowest were:

0.0ms
(fma 2/3 x -1)
0.0ms
(fma (* x x) (fma 2/3 x -1) 2)

series59.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

35.0ms
(fma 2/3 x -1)
24.0ms
(fma (* x x) (fma 2/3 x -1) 2)

simplify243.0ms

Counts
6 → 26
Calls

6 calls. Slowest were:

103.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
56.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
55.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))

prune342.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 110
Calls

4 calls. Slowest were:

30.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
4.0ms
(exp (- (* x eps) x))
3.0ms
(exp (- (* (+ 1 eps) x)))

series144.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

89.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
27.0ms
(- (* x eps) x)
14.0ms
(exp (- (* (+ 1 eps) x)))

simplify28.4s

Counts
121 → 122
Calls

121 calls. Slowest were:

1.0s
(* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp x)) (+ (/ 1 eps) 1))
904.0ms
(* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp x)) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x))))
776.0ms
(* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp x)) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x))))

prune2.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes153.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (x eps)
  :name "NMSE Section 6.1 mentioned, A"
  (/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2))

Backtrace

partition: contract violation expected: list? given: 1.0444386869524305 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128