Error in 23.7s

Runtime

Time bar (total: 23.7s)Debug log

start115.0ms

Algorithm
intervals

setup130.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.5b

localize33.0ms

Local error

Found 2 expressions with local error:

1.6b
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
0.0b
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Counts
2 → 62
Calls

2 calls. Slowest were:

33.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
10.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series89.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

58.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
31.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

simplify2.6s

Counts
51 → 68
Calls

51 calls. Slowest were:

576.0ms
(/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow 2.0 3)))
234.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))
217.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))

prune872.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 15.8b

localize27.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
0.0b
(/ beta (+ (+ alpha beta) 2.0))
0.0b
(/ alpha (+ (+ alpha beta) 2.0))
0.0b
(/ (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) 2.0)

rewrite73.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

46.0ms
(/ (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) 2.0)
14.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
9.0ms
(/ alpha (+ (+ alpha beta) 2.0))

series160.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

45.0ms
(/ (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) 2.0)
40.0ms
(/ alpha (+ (+ alpha beta) 2.0))
40.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify4.0s

Counts
34 → 87
Calls

34 calls. Slowest were:

801.0ms
(- (* beta (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (+ (+ alpha beta) 2.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0))))
477.0ms
(/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3)))
430.0ms
(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))

prune1.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.9b

localize30.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
0.7b
(cbrt (+ (+ alpha beta) 2.0))
0.7b
(cbrt (+ (+ alpha beta) 2.0))
0.7b
(cbrt (+ (+ alpha beta) 2.0))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 64
Calls

4 calls. Slowest were:

11.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
3.0ms
(cbrt (+ (+ alpha beta) 2.0))
3.0ms
(cbrt (+ (+ alpha beta) 2.0))

series343.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

107.0ms
(cbrt (+ (+ alpha beta) 2.0))
95.0ms
(cbrt (+ (+ alpha beta) 2.0))
79.0ms
(cbrt (+ (+ alpha beta) 2.0))

simplify4.8s

Counts
31 → 76
Calls

31 calls. Slowest were:

912.0ms
(cbrt (+ (pow (+ alpha beta) 3) (pow 2.0 3)))
622.0ms
(/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3)))
584.0ms
(cbrt (+ (pow (+ alpha beta) 3) (pow 2.0 3)))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.9b

localize14.0ms

Local error

Found 3 expressions with local error:

16.7b
(fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) 1.0)
0.5b
(/ 1 (sqrt (+ (+ alpha beta) 2.0)))
0.5b
(/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
3 → 80
Calls

3 calls. Slowest were:

10.0ms
(/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0)))
3.0ms
(/ 1 (sqrt (+ (+ alpha beta) 2.0)))
0.0ms
(fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) 1.0)

series177.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

67.0ms
(fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) 1.0)
59.0ms
(/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0)))
51.0ms
(/ 1 (sqrt (+ (+ alpha beta) 2.0)))

simplify1.9s

Counts
70 → 89
Calls

70 calls. Slowest were:

261.0ms
(- (* (sqrt 0.5) beta) (+ (* 1/2 (* (pow beta 2) (sqrt 0.125))) (* (sqrt 0.5) alpha)))
212.0ms
(- (sqrt 0.5) (+ (* 1/2 (* (sqrt 0.125) alpha)) (* 0.125 (/ beta (sqrt 0.5)))))
210.0ms
(sqrt (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.9b

regimes178.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (alpha beta)
  :name "Octave 3.8, jcobi/1"
  :pre (and (> alpha -1) (> beta -1))
  (/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0))

Backtrace

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