Error in 1.4m

Runtime

Time bar (total: 1.4m)Debug logProfile

start150.0ms

Algorithm
intervals

setup681.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.8b

localize62.0ms

Local error

Found 3 expressions with local error:

22.9b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
1.8b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.0b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

rewrite171.0ms

Algorithm
rewrite-expression-head
Counts
3 → 99
Calls

3 calls. Slowest were:

120.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
30.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
20.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series517.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

260.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
196.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
61.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify14.9s

Counts
107 → 108
Calls

107 calls. Slowest were:

524.0ms
(/ (/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
474.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
431.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune2.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.1b

localize36.0ms

Local error

Found 4 expressions with local error:

4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
1.5b
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
0.0b
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.0b
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Counts
4 → 197
Calls

4 calls. Slowest were:

44.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
31.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
26.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)

series482.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

175.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
135.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
125.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

simplify28.9s

Counts
224 → 209
Calls

224 calls. Slowest were:

949.0ms
(+ (log (+ beta alpha)) (log (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
664.0ms
(* (+ (pow beta 3) (pow alpha 3)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
568.0ms
(cbrt (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

prune3.8s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.1b

localize23.0ms

Local error

Found 4 expressions with local error:

4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
1.5b
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Counts
4 → 104
Calls

4 calls. Slowest were:

35.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
16.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
15.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)

series635.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

170.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
168.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
162.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)

simplify13.6s

Counts
79 → 116
Calls

79 calls. Slowest were:

641.0ms
(* (- (* beta beta) (* alpha alpha)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
597.0ms
(* (+ (pow beta 3) (pow alpha 3)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
596.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

prune2.6s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 7.1b

localize34.0ms

Local error

Found 4 expressions with local error:

4.2b
(log (exp (+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)))
4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
4.2b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)

rewrite153.0ms

Algorithm
rewrite-expression-head
Counts
4 → 46
Calls

4 calls. Slowest were:

72.0ms
(log (exp (+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)))
27.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
26.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)

series638.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

179.0ms
(log (exp (+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)))
167.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
149.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)

simplify2.5s

Counts
20 → 58
Calls

20 calls. Slowest were:

699.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
154.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))
148.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.1b

regimes531.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/2"
  :pre (and (> alpha -1) (> beta -1) (> i 0))
  (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0) 2.0))

Backtrace

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