Error in 10.8s

Runtime

Time bar (total: 10.8s)Debug log

start90.0ms

Algorithm
intervals

setup20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 59.7b

localize12.0ms

Local error

Found 1 expressions with local error:

4.6b
(- (exp x) 1)

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
1 → 12
Calls

1 calls. Slowest were:

6.0ms
(- (exp x) 1)

series37.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

37.0ms
(- (exp x) 1)

simplify173.0ms

Counts
4 → 15
Calls

4 calls. Slowest were:

153.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
7.0ms
(- (exp x) 1)
7.0ms
(- (exp x) 1)

prune168.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.3b
(* x 1/6)
0.0b
(* (+ (* x 1/6) 1/2) (* x x))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
2 → 25
Calls

2 calls. Slowest were:

15.0ms
(* (+ (* x 1/6) 1/2) (* x x))
0.0ms
(* x 1/6)

series58.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

45.0ms
(* (+ (* x 1/6) 1/2) (* x x))
13.0ms
(* x 1/6)

simplify1.1s

Counts
13 → 31
Calls

13 calls. Slowest were:

453.0ms
(* (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2)) (* x x))
354.0ms
(* (+ (pow (* x 1/6) 3) (pow 1/2 3)) (* x x))
98.0ms
(* (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)) (* (* (* x x) (* x x)) (* x x)))

prune330.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

4.6b
(- (* (exp x) (exp x)) (* 1 1))
0.0b
(+ (exp x) 1)
0.0b
(/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1))
0.0b
(* (exp x) (exp x))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

14.0ms
(/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1))
5.0ms
(- (* (exp x) (exp x)) (* 1 1))
4.0ms
(* (exp x) (exp x))

series73.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

37.0ms
(/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1))
17.0ms
(- (* (exp x) (exp x)) (* 1 1))
12.0ms
(* (exp x) (exp x))

simplify2.6s

Counts
63 → 91
Calls

63 calls. Slowest were:

757.0ms
(/ (* (* (- (* (exp x) (exp x)) (* 1 1)) (- (* (exp x) (exp x)) (* 1 1))) (- (* (exp x) (exp x)) (* 1 1))) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))
132.0ms
(+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2))))
92.0ms
(- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1 1) (* 1 1)))

prune479.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

4.6b
(- (/ (* (exp x) (exp x)) (+ (exp x) 1)) (/ (* 1 1) (+ (exp x) 1)))
0.0b
(/ (* (exp x) (exp x)) (+ (exp x) 1))
0.0b
(+ (exp x) 1)
0.0b
(+ (exp x) 1)

rewrite53.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

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

series106.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

48.0ms
(- (/ (* (exp x) (exp x)) (+ (exp x) 1)) (/ (* 1 1) (+ (exp x) 1)))
35.0ms
(/ (* (exp x) (exp x)) (+ (exp x) 1))
13.0ms
(+ (exp x) 1)

simplify1.5s

Counts
50 → 78
Calls

50 calls. Slowest were:

248.0ms
(- (* (* (exp x) (exp x)) (+ (exp x) 1)) (* (+ (exp x) 1) (* 1 1)))
194.0ms
(- (/ (* (exp x) (exp x)) (- (* (exp x) (exp x)) (* 1 1))) (/ (* 1 1) (- (* (exp x) (exp x)) (* 1 1))))
117.0ms
(/ (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))

prune895.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes45.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x)
  :name "expm1 (example 3.7)"
  :pre (< -0.00017 x)

  :herbie-target
  (* x (+ (+ 1 (/ x 2)) (/ (* x x) 6)))

  (- (exp x) 1))

Backtrace

partition: contract violation expected: list? given: 0.39322285873853 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