Error in 15.8s

Runtime

Time bar (total: 15.8s)Debug logProfile

start187.0ms

Algorithm
intervals

setup66.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize23.0ms

Local error

Found 3 expressions with local error:

2.9b
(- (- (exp x) 2) (/ -1 (exp x)))
0.0b
(- (exp x) 2)
0.0b
(/ -1 (exp x))

rewrite36.0ms

Algorithm
rewrite-expression-head
Counts
3 → 43
Calls

3 calls. Slowest were:

30.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
5.0ms
(- (exp x) 2)
1.0ms
(/ -1 (exp x))

series127.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

109.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
9.0ms
(/ -1 (exp x))
9.0ms
(- (exp x) 2)

simplify945.0ms

Counts
23 → 52
Calls

23 calls. Slowest were:

261.0ms
(- (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) -1))
152.0ms
(- (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) -1))
119.0ms
(/ (exp (- (exp x) 2)) (exp (/ -1 (exp x))))

prune595.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 1/12 (pow x 4))
0.0b
(* 1/360 (pow x 6))
0.0b
(+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))
0.0b
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
4 → 47
Calls

4 calls. Slowest were:

6.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
3.0ms
(+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))
1.0ms
(* 1/12 (pow x 4))

series133.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

60.0ms
(+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))
36.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
20.0ms
(* 1/360 (pow x 6))

simplify259.0ms

Counts
23 → 59
Calls

23 calls. Slowest were:

61.0ms
(* (exp (pow x 2)) (* (exp (* 1/12 (pow x 4))) (exp (* 1/360 (pow x 6)))))
60.0ms
(* (exp (pow x 2)) (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))
26.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

1.2b
(log (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))
0.1b
(* 1/12 (pow x 4))
0.0b
(* 1/360 (pow x 6))
0.0b
(+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

12.0ms
(log (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))
6.0ms
(+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))
2.0ms
(* 1/360 (pow x 6))

series196.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

83.0ms
(+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))
68.0ms
(log (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))
24.0ms
(* 1/12 (pow x 4))

simplify133.0ms

Counts
27 → 61
Calls

27 calls. Slowest were:

22.0ms
(log (* (cbrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))) (cbrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))))
20.0ms
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
13.0ms
(log (exp (* 1/12 (pow x 4))))

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.2b
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
1.2b
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
0.1b
(* 1/12 (pow x 4))
0.1b
(* 1/12 (pow x 4))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

8.0ms
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
8.0ms
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
1.0ms
(* 1/12 (pow x 4))

series2.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.1s
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
1.1s
(log (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))
16.0ms
(* 1/12 (pow x 4))

simplify278.0ms

Counts
34 → 68
Calls

34 calls. Slowest were:

23.0ms
(log (sqrt (* (cbrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))) (cbrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))))
22.0ms
(log (* (cbrt (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))) (cbrt (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))))))
22.0ms
(log (sqrt (sqrt (exp (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6)))))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes66.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "exp2 (problem 3.3.7)"

  :herbie-target
  (* 4 (pow (sinh (/ x 2)) 2))

  (+ (- (exp x) 2) (exp (- x))))

Backtrace

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