Error in 55.1s

Runtime

Time bar (total: 55.1s)Debug logProfile

start1.2s

Algorithm
intervals

setup647.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.3b

localize34.0ms

Local error

Found 4 expressions with local error:

16.4b
(/ eps (expm1 (* eps a)))
12.8b
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
5.0b
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
0.0b
(expm1 (* (+ a b) eps))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

11.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
7.0ms
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
1.0ms
(/ eps (expm1 (* eps a)))

series648.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

474.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
64.0ms
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
57.0ms
(expm1 (* (+ a b) eps))

simplify2.9s

Counts
67 → 103
Calls

67 calls. Slowest were:

445.0ms
(* (* (* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))) (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))) (* (* (/ eps (expm1 (* eps a))) (/ eps (expm1 (* eps a)))) (/ eps (expm1 (* eps a)))))
373.0ms
(+ (- (log (expm1 (* (+ a b) eps))) (log (expm1 (* eps b)))) (log (/ eps (expm1 (* eps a)))))
237.0ms
(+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* eps b) (* a eps)))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ 1 a) (/ 1 b))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 22
Calls

1 calls. Slowest were:

7.0ms
(+ (/ 1 a) (/ 1 b))

series12.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

12.0ms
(+ (/ 1 a) (/ 1 b))

simplify68.0ms

Counts
12 → 25
Calls

12 calls. Slowest were:

11.0ms
(* (exp (/ 1 a)) (exp (/ 1 b)))
9.0ms
(+ (* 1 b) (* a 1))
8.0ms
(+ (/ 1 b) (/ 1 a))

prune279.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

16.3b
(/ (+ b a) (* a b))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
1 → 23
Calls

1 calls. Slowest were:

6.0ms
(/ (+ b a) (* a b))

series35.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

35.0ms
(/ (+ b a) (* a b))

simplify203.0ms

Counts
15 → 26
Calls

15 calls. Slowest were:

124.0ms
(/ (* (* (+ b a) (+ b a)) (+ b a)) (* (* (* a b) (* a b)) (* a b)))
34.0ms
(- (log (+ b a)) (log (* a b)))
14.0ms
(- (* b b) (* a a))

prune227.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

12.8b
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
3.9b
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a)))
0.1b
(fma 1/12 (* a eps) -1/2)
0.0b
(fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 84
Calls

4 calls. Slowest were:

9.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a)))
3.0ms
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
0.0ms
(fma 1/12 (* a eps) -1/2)

series432.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

273.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a)))
103.0ms
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
37.0ms
(fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a))

simplify3.3s

Counts
61 → 96
Calls

61 calls. Slowest were:

583.0ms
(* (expm1 (* (+ a b) eps)) (fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a)))
374.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (fma (fma 1/12 (* a eps) -1/2) eps (/ 1 a)))
159.0ms
(/ (* (* (expm1 (* (+ a b) eps)) (expm1 (* (+ a b) eps))) (expm1 (* (+ a b) eps))) (* (* (expm1 (* eps b)) (expm1 (* eps b))) (expm1 (* eps b))))

prune1.8s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes206.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (a b eps)
  :name "expq3 (problem 3.4.2)"
  :pre (and (< -1 eps) (< eps 1))

  :herbie-target
  (/ (+ a b) (* a b))

  (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))))

Backtrace

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