Error in 2.3m

Runtime

Time bar (total: 2.3m)Debug log

start734.0ms

Algorithm
intervals

setup206.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Counts
4 → 169
Calls

4 calls. Slowest were:

26.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
17.0ms
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))
15.0ms
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))

series191.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

99.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
37.0ms
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))
34.0ms
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))

simplify1.1m

Counts
225 → 181
Calls

225 calls. Slowest were:

1.7s
(- (* (* (+ (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.2s
(cbrt (exp (- (* (+ 1 eps) x))))
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))))

prune3.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
2 → 48
Calls

2 calls. Slowest were:

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

series50.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

27.0ms
(* 2/3 (pow x 3))
23.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))

simplify2.3s

Counts
43 → 54
Calls

43 calls. Slowest were:

231.0ms
(fma 1 (+ (* 2/3 (pow x 3)) 2) (- (* (pow x 2) 1)))
217.0ms
(fma 1 (+ (* 2/3 (pow x 3)) 2) (- (* (sqrt (pow x 2)) (sqrt (pow x 2)))))
178.0ms
(fma (sqrt (+ (* 2/3 (pow x 3)) 2)) (sqrt (+ (* 2/3 (pow x 3)) 2)) (- (* (sqrt (pow x 2)) (sqrt (pow x 2)))))

prune788.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Counts
4 → 103
Calls

4 calls. Slowest were:

46.0ms
(/ (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))
16.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
3.0ms
(* (pow x 2) (pow x 2))

series86.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify14.1s

Counts
82 → 115
Calls

82 calls. Slowest were:

711.0ms
(+ (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (- (* (pow x 2) (pow x 2)) (* (+ (* 2/3 (pow x 3)) 2) (pow x 2))))
640.0ms
(/ (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))
605.0ms
(fma (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2) (- (* (pow x 2) (pow x 2))))

prune1.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize44.0ms

Local error

Found 4 expressions with local error:

12.0b
(/ (* (* (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))) (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))))) (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))))) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))
10.0b
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
10.0b
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
10.0b
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))

rewrite752.0ms

Algorithm
rewrite-expression-head
Counts
4 → 112
Calls

4 calls. Slowest were:

666.0ms
(/ (* (* (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))) (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))))) (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))))) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))
29.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
26.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))

series134.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

50.0ms
(/ (* (* (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))) (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))))) (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2))))) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))
35.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
25.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))

simplify17.3s

Counts
83 → 124
Calls

83 calls. Slowest were:

713.0ms
(+ (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (- (* (pow x 2) (pow x 2)) (* (+ (* 2/3 (pow x 3)) 2) (pow x 2))))
634.0ms
(fma (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2) (- (* (pow x 2) (pow x 2))))
562.0ms
(fma (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2) (- (* (pow x 2) (pow x 2))))

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

regimes126.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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: 0.9284973698934827 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