Error in 38.4s

Runtime

Time bar (total: 38.4s)Debug log

start98.0ms

Algorithm
intervals

setup140.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.5b

localize40.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))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
2 → 43
Calls

2 calls. Slowest were:

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

series91.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

56.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
35.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

simplify1.2s

Counts
37 → 49
Calls

37 calls. Slowest were:

152.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))
145.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
143.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))

prune594.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 15.8b

localize14.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)

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

32.0ms
(/ (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) 2.0)
5.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
2.0ms
(/ alpha (+ (+ alpha beta) 2.0))

series140.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

44.0ms
(/ (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) 2.0)
39.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
34.0ms
(/ beta (+ (+ alpha beta) 2.0))

simplify3.1s

Counts
30 → 73
Calls

30 calls. Slowest were:

478.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))))
406.0ms
(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))
391.0ms
(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune898.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.9b

localize51.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0))
0.0b
(* beta (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
0.0b
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))
0.0b
(/ (- (* 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)))) (* 2.0 (* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Counts
4 → 103
Calls

4 calls. Slowest were:

37.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)))) (* 2.0 (* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
10.0ms
(* beta (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
9.0ms
(- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0))

series346.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

198.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)))) (* 2.0 (* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
64.0ms
(- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0))
55.0ms
(* beta (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

simplify15.9s

Counts
80 → 115
Calls

80 calls. Slowest were:

945.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)))) (- (* 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))))) (- (* 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))))) (* (* (* 2.0 (* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (* 2.0 (* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* 2.0 (* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))))
699.0ms
(/ (sqrt (- (* 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))))) 2.0)
648.0ms
(- (* (* beta (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0))) (* (- (+ alpha beta) 2.0) (+ (* (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)))))) (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (* (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0)) (- (pow (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) 3) (pow (* 1.0 1.0) 3)))))

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.9b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

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

series463.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

144.0ms
(cbrt (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
137.0ms
(cbrt (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
125.0ms
(cbrt (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

simplify6.6s

Counts
30 → 64
Calls

30 calls. Slowest were:

831.0ms
(- (+ (pow 2.0 1/3) (* 0.5555555555555556 (* (pow 2.0 1/3) (/ 1 (pow alpha 2))))) (* 0.3333333333333333 (* (pow 2.0 1/3) (/ 1 alpha))))
476.0ms
(- (+ (pow 2.0 1/3) (* 0.5555555555555556 (* (pow 2.0 1/3) (/ 1 (pow alpha 2))))) (* 0.3333333333333333 (* (pow 2.0 1/3) (/ 1 alpha))))
464.0ms
(- (+ (pow 2.0 1/3) (* 0.5555555555555556 (* (pow 2.0 1/3) (/ 1 (pow alpha 2))))) (* 0.3333333333333333 (* (pow 2.0 1/3) (/ 1 alpha))))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.9b

regimes219.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.251100448235008 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