Error in 51.3s

Runtime

Time bar (total: 51.3s)Debug logProfile

start83.0ms

Algorithm
intervals

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
2 → 43
Calls

2 calls. Slowest were:

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

series103.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

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

simplify1.5s

Counts
37 → 49
Calls

37 calls. Slowest were:

182.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))
180.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0)))
178.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))

prune647.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 16.8b

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 60
Calls

4 calls. Slowest were:

20.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
6.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
3.0ms
(/ beta (+ (+ alpha beta) 2.0))

series147.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

50.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
38.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
33.0ms
(/ beta (+ (+ alpha beta) 2.0))

simplify3.4s

Counts
32 → 72
Calls

32 calls. Slowest were:

597.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))))
521.0ms
(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))
453.0ms
(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune895.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.2b

localize70.0ms

Local error

Found 4 expressions with local error:

1.4b
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
0.1b
(/ (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)))) (* (+ (+ alpha beta) 2.0) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))))
0.1b
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)
0.1b
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Counts
4 → 186
Calls

4 calls. Slowest were:

81.0ms
(/ (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)))) (* (+ (+ alpha beta) 2.0) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))))
25.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
8.0ms
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))

series843.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

706.0ms
(/ (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)))) (* (+ (+ alpha beta) 2.0) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))))
57.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
44.0ms
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))

simplify26.7s

Counts
164 → 198
Calls

164 calls. Slowest were:

1.1s
(- (* (* beta (- (* (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))) (* (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))) (* (- (+ alpha beta) 2.0) (+ (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)))) (* (- (* (/ 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)) 3) (pow (/ alpha (+ (+ alpha beta) 2.0)) 3)) (* (pow 1.0 3) (pow 1.0 3))))))
774.0ms
(/ (* (* (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)))) (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))))) (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))))) (* (* (* (+ (+ alpha beta) 2.0) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ 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) (* (/ 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) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))))
707.0ms
(pow (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) 3)

prune5.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 3.1b

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

21.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
12.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
10.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series219.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
56.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
46.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))

simplify4.4s

Counts
41 → 77
Calls

41 calls. Slowest were:

653.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)))))
584.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))))))
403.0ms
(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 3.1b

regimes354.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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.362591543991369 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