Error in 37.1s

Runtime

Time bar (total: 37.1s)Debug logProfile

start119.0ms

Algorithm
intervals

setup69.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.6b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
2 → 62
Calls

2 calls. Slowest were:

29.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
9.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series92.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

64.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
28.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

simplify2.8s

Counts
51 → 68
Calls

51 calls. Slowest were:

559.0ms
(/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow 2.0 3)))
227.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
216.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))

prune896.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 16.8b

localize13.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (/ 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))

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 98
Calls

4 calls. Slowest were:

22.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
7.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
2.0ms
(/ beta (+ (+ alpha beta) 2.0))

series141.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify10.7s

Counts
76 → 110
Calls

76 calls. Slowest were:

924.0ms
(fma (/ beta (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))))
730.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))))
632.0ms
(/ beta (+ (pow (+ alpha beta) 3) (pow 2.0 3)))

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.2b

localize9.0ms

Local error

Found 4 expressions with local error:

11.1b
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
1.5b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
0.7b
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
0.0b
(/ beta (+ (+ alpha beta) 2.0))

rewrite71.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

29.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
24.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
12.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series193.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

72.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
48.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
47.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify5.8s

Counts
45 → 91
Calls

45 calls. Slowest were:

718.0ms
(exp (log (- (* 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))))))
710.0ms
(log (- (* 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)))))
495.0ms
(/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3)))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.2b

localize18.0ms

Local error

Found 4 expressions with local error:

11.1b
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
1.5b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
1.1b
(pow E (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
0.0b
(/ beta (+ (+ alpha beta) 2.0))

rewrite67.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

28.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
22.0ms
(pow E (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
12.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series332.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

142.0ms
(pow E (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
90.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
62.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify5.6s

Counts
44 → 91
Calls

44 calls. Slowest were:

791.0ms
(log (- (* 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)))))
695.0ms
(/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3)))
565.0ms
(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.2b

regimes448.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +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: 3.350929940519993 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