Error in 20.6s

Runtime

Time bar (total: 20.6s)Debug log

start153.0ms

Algorithm
intervals

setup34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.9b

localize10.0ms

Local error

Found 2 expressions with local error:

4.5b
(- (exp x) 1)
0.3b
(/ (exp x) (- (exp x) 1))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
2 → 45
Calls

2 calls. Slowest were:

5.0ms
(/ (exp x) (- (exp x) 1))
3.0ms
(- (exp x) 1)

series34.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

22.0ms
(/ (exp x) (- (exp x) 1))
11.0ms
(- (exp x) 1)

simplify782.0ms

Counts
41 → 51
Calls

41 calls. Slowest were:

370.0ms
(/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))
105.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
55.0ms
(+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))

prune505.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize19.0ms

Local error

Found 1 expressions with local error:

0.3b
(* 1/12 x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
1 → 8
Calls

1 calls. Slowest were:

0.0ms
(* 1/12 x)

series11.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

11.0ms
(* 1/12 x)

simplify7.0ms

Counts
3 → 11
Calls

3 calls. Slowest were:

2.0ms
(* 1/12 x)
2.0ms
(* 1/12 x)
2.0ms
(* 1/12 x)

prune137.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 4 expressions with local error:

4.4b
(- (* (exp x) (exp x)) (* 1 1))
0.3b
(/ (exp x) (- (* (exp x) (exp x)) (* 1 1)))
0.3b
(* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1))
0.0b
(* (exp x) (exp x))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
4 → 107
Calls

4 calls. Slowest were:

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

series167.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

77.0ms
(/ (exp x) (- (* (exp x) (exp x)) (* 1 1)))
53.0ms
(* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1))
28.0ms
(- (* (exp x) (exp x)) (* 1 1))

simplify5.3s

Counts
94 → 119
Calls

94 calls. Slowest were:

485.0ms
(* (- (* (exp x) (exp x)) (* 1 1)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
404.0ms
(* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1))
335.0ms
(* 1 (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/12 x)
0.1b
(* 7/720 (pow x 3))
0.0b
(+ (exp x) 1)
0.0b
(* (- (+ (* 7/720 (pow x 3)) (* 1/2 (/ 1 x))) (* 1/12 x)) (+ (exp x) 1))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 58
Calls

4 calls. Slowest were:

34.0ms
(* (- (+ (* 7/720 (pow x 3)) (* 1/2 (/ 1 x))) (* 1/12 x)) (+ (exp x) 1))
5.0ms
(+ (exp x) 1)
2.0ms
(* 7/720 (pow x 3))

series66.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

33.0ms
(* (- (+ (* 7/720 (pow x 3)) (* 1/2 (/ 1 x))) (* 1/12 x)) (+ (exp x) 1))
16.0ms
(* 7/720 (pow x 3))
10.0ms
(+ (exp x) 1)

simplify3.8s

Counts
38 → 70
Calls

38 calls. Slowest were:

502.0ms
(* (- (pow (+ (* 7/720 (pow x 3)) (* 1/2 (/ 1 x))) 3) (pow (* 1/12 x) 3)) (- (* (exp x) (exp x)) (* 1 1)))
482.0ms
(- (+ (* 1/2 (/ (exp x) x)) (+ (* 7/720 (pow x 3)) (+ (* 1/2 (/ 1 x)) (* 7/720 (* (pow x 3) (exp x)))))) (+ (* 1/12 x) (* 1/12 (* x (exp x)))))
459.0ms
(- (+ (* 1/2 (/ (exp x) x)) (+ (* 7/720 (pow x 3)) (+ (* 1/2 (/ 1 x)) (* 7/720 (* (pow x 3) (exp x)))))) (+ (* 1/12 x) (* 1/12 (* x (exp x)))))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes74.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x)
  :name "expq2 (section 3.11)"

  :herbie-target
  (/ 1 (- 1 (exp (- x))))

  (/ (exp x) (- (exp x) 1)))

Backtrace

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