Error in 1.9m

Runtime

Time bar (total: 1.9m)Debug log

start812.0ms

Algorithm
intervals

setup210.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.0b

localize60.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))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Counts
4 → 159
Calls

4 calls. Slowest were:

22.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
19.0ms
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))
8.0ms
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))

series169.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

108.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
22.0ms
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))
22.0ms
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))

simplify54.0s

Counts
222 → 171
Calls

222 calls. Slowest were:

781.0ms
(* (* (* (+ 1 (/ 1 eps)) (+ 1 (/ 1 eps))) (+ 1 (/ 1 eps))) (* (* (exp (- (* (- 1 eps) x))) (exp (- (* (- 1 eps) x)))) (exp (- (* (- 1 eps) x)))))
673.0ms
(- (* (* (+ (pow 1 3) (pow (/ 1 eps) 3)) (exp 0)) (exp (* (+ 1 eps) x))) (* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp 0))))
670.0ms
(cbrt (exp (- (* (- 1 eps) x))))

prune3.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize25.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))

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
2 → 29
Calls

2 calls. Slowest were:

13.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
1.0ms
(* 2/3 (pow x 3))

series34.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

19.0ms
(* 2/3 (pow x 3))
15.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))

simplify517.0ms

Counts
17 → 35
Calls

17 calls. Slowest were:

134.0ms
(/ (exp (+ (* 2/3 (pow x 3)) 2)) (exp (pow x 2)))
78.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
59.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))

prune463.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize17.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))

rewrite92.0ms

Algorithm
rewrite-expression-head
Counts
4 → 93
Calls

4 calls. Slowest were:

55.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)))
26.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
7.0ms
(* (pow x 2) (pow x 2))

series157.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

64.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)))
38.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
30.0ms
(* 2/3 (pow x 3))

simplify9.1s

Counts
79 → 105
Calls

79 calls. Slowest were:

637.0ms
(/ (cbrt (- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))) (sqrt (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2))))
399.0ms
(/ (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))
309.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))))

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize24.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)))

rewrite246.0ms

Algorithm
rewrite-expression-head
Counts
4 → 98
Calls

4 calls. Slowest were:

199.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)))
16.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
14.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))

series159.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

64.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)))
36.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))
35.0ms
(- (* (+ (* 2/3 (pow x 3)) 2) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))

simplify11.1s

Counts
74 → 110
Calls

74 calls. Slowest were:

359.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))))
280.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) (+ (* 2/3 (pow x 3)) 2)) (* (pow x 2) (pow x 2)))) (- (* (+ (* 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)) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2))) (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2))))
277.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) (pow x 2))) (cbrt (+ (+ (* 2/3 (pow x 3)) 2) (pow x 2)))))

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

regimes150.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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