Error in 51.1s

Runtime

Time bar (total: 51.1s)Debug log

start1.3s

Algorithm
intervals

setup197.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.8b

localize43.0ms

Local error

Found 4 expressions with local error:

17.3b
(/ eps (expm1 (* eps a)))
13.4b
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
4.8b
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
0.0b
(expm1 (* (+ a b) eps))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

6.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
3.0ms
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
1.0ms
(/ eps (expm1 (* eps a)))

series712.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

523.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
93.0ms
(/ (expm1 (* (+ a b) eps)) (expm1 (* eps b)))
52.0ms
(/ eps (expm1 (* eps a)))

simplify3.0s

Counts
67 → 103
Calls

67 calls. Slowest were:

419.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)))))
351.0ms
(+ (- (log (expm1 (* (+ a b) eps))) (log (expm1 (* eps b)))) (log (/ eps (expm1 (* eps a)))))
239.0ms
(+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* eps b) (* a eps)))

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
1 → 22
Calls

1 calls. Slowest were:

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

series12.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify62.0ms

Counts
12 → 25
Calls

12 calls. Slowest were:

10.0ms
(* (exp (/ 1 a)) (exp (/ 1 b)))
9.0ms
(+ (* 1 b) (* a 1))
5.0ms
(+ (/ 1 b) (/ 1 a))

prune223.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 1 a))
0.6b
(cbrt (/ 1 a))
0.6b
(cbrt (/ 1 a))
0.5b
(* (cbrt (/ 1 a)) (cbrt (/ 1 a)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

4.0ms
(* (cbrt (/ 1 a)) (cbrt (/ 1 a)))
1.0ms
(cbrt (/ 1 a))
0.0ms
(cbrt (/ 1 a))

series1.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

346.0ms
(cbrt (/ 1 a))
303.0ms
(* (cbrt (/ 1 a)) (cbrt (/ 1 a)))
288.0ms
(cbrt (/ 1 a))

simplify169.0ms

Counts
53 → 92
Calls

53 calls. Slowest were:

13.0ms
(* (/ 1 a) (/ 1 a))
12.0ms
(* (/ 1 a) (/ 1 a))
12.0ms
(* (pow (/ 1 (pow a 2)) 1/3) (pow (cbrt -1) 2))

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

3.0b
(expm1 (log1p (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
0.6b
(cbrt (/ 1 a))
0.6b
(cbrt (/ 1 a))
0.6b
(cbrt (/ 1 a))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

1.0ms
(cbrt (/ 1 a))
1.0ms
(cbrt (/ 1 a))
1.0ms
(cbrt (/ 1 a))

series1.3s

Counts
4 → 12
Calls

4 calls. Slowest were:

541.0ms
(expm1 (log1p (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
288.0ms
(cbrt (/ 1 a))
257.0ms
(cbrt (/ 1 a))

simplify69.0ms

Counts
28 → 68
Calls

28 calls. Slowest were:

12.0ms
(* (pow (/ 1 (pow a 2)) 1/3) (pow (cbrt -1) 2))
6.0ms
(* (pow (/ -1 a) 1/3) (cbrt -1))
6.0ms
(* (pow (/ -1 a) 1/3) (cbrt -1))

prune873.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes120.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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: 3.2662807095143 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