Error in 1.3m

Runtime

Time bar (total: 1.3m)Debug log

start210.0ms

Algorithm
intervals

setup31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.9b

localize28.0ms

Local error

Found 1 expressions with local error:

6.3b
(- (exp x) (exp (- x)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
1 → 28
Calls

1 calls. Slowest were:

10.0ms
(- (exp x) (exp (- x)))

series66.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

66.0ms
(- (exp x) (exp (- x)))

simplify625.0ms

Counts
27 → 31
Calls

27 calls. Slowest were:

65.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
63.0ms
(fma 1 (exp x) (- (* (exp (- x)) 1)))
51.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1)))

prune348.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (pow x 5) 1/60)
0.0b
(fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
2 → 23
Calls

2 calls. Slowest were:

2.0ms
(* (pow x 5) 1/60)
0.0ms
(fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))

series72.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

37.0ms
(fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))
34.0ms
(* (pow x 5) 1/60)

simplify232.0ms

Counts
8 → 29
Calls

8 calls. Slowest were:

88.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
84.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
51.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))

prune419.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))) (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))))
0.1b
(* (pow x 5) 1/60)
0.1b
(* (pow x 5) 1/60)
0.0b
(fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

5.0ms
(* (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))) (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))))
2.0ms
(* (pow x 5) 1/60)
2.0ms
(* (pow x 5) 1/60)

series142.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

41.0ms
(fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))
38.0ms
(* (pow x 5) 1/60)
34.0ms
(* (pow x 5) 1/60)

simplify2.0s

Counts
38 → 80
Calls

38 calls. Slowest were:

277.0ms
(* (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)) (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)))
265.0ms
(* (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)) (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)))
150.0ms
(* (* (* (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))) (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)))) (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)))) (* (* (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60))) (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)))) (sqrt (fma (fma 1/3 (* x x) 2) x (* (pow x 5) 1/60)))))

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (pow (exp x) 3) (pow (exp (- x)) 3))
0.1b
(pow (exp x) 3)
0.1b
(pow (exp (- x)) 3)
0.0b
(* (exp x) (exp x))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 231
Calls

4 calls. Slowest were:

12.0ms
(- (pow (exp x) 3) (pow (exp (- x)) 3))
4.0ms
(* (exp x) (exp x))
2.0ms
(pow (exp (- x)) 3)

series139.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

88.0ms
(- (pow (exp x) 3) (pow (exp (- x)) 3))
18.0ms
(pow (exp x) 3)
17.0ms
(pow (exp (- x)) 3)

simplify59.9s

Counts
329 → 243
Calls

329 calls. Slowest were:

601.0ms
(fma 1 (pow (exp x) 3) (- (* (pow (cbrt (exp (- x))) 3) (pow (* (cbrt (exp (- x))) (cbrt (exp (- x)))) 3))))
588.0ms
(fma (- (sqrt (pow (exp (- x)) 3))) (sqrt (pow (exp (- x)) 3)) (* (sqrt (pow (exp (- x)) 3)) (sqrt (pow (exp (- x)) 3))))
550.0ms
(fma (pow 1 3) (pow (exp x) 3) (- (* (* (exp (- x)) (exp (- x))) (exp (- x)))))

prune3.6s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes67.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (x)
  :name "Hyperbolic sine"
  (/ (- (exp x) (exp (- x))) 2))

Backtrace

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