Error in 2.1m

Runtime

Time bar (total: 2.1m)Debug log

start216.0ms

Algorithm
intervals

setup659.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.5b

localize55.0ms

Local error

Found 3 expressions with local error:

21.6b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
1.4b
(+ (/ (/ (* (+ 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))

rewrite183.0ms

Algorithm
rewrite-expression-head
Counts
3 → 99
Calls

3 calls. Slowest were:

117.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
45.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
19.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series473.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

228.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
183.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
62.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify15.5s

Counts
107 → 108
Calls

107 calls. Slowest were:

685.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)))
590.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
525.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.2b

localize27.0ms

Local error

Found 4 expressions with local error:

1.4b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))
0.0b
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.0b
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))

rewrite151.0ms

Algorithm
rewrite-expression-head
Counts
4 → 343
Calls

4 calls. Slowest were:

72.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
40.0ms
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
20.0ms
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))

series816.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

488.0ms
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
221.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
59.0ms
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))

simplify1.1m

Counts
516 → 355
Calls

516 calls. Slowest were:

834.0ms
(/ (/ (sqrt (+ alpha beta)) (/ (* (cbrt (+ (+ alpha beta) (* 2 i))) (cbrt (+ (+ alpha beta) (* 2 i)))) 1)) (* (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
683.0ms
(/ (/ (* (cbrt (+ alpha beta)) (cbrt (+ alpha beta))) (/ (* (cbrt (+ (+ alpha beta) (* 2 i))) (cbrt (+ (+ alpha beta) (* 2 i)))) 1)) 1)
638.0ms
(/ (sqrt (+ alpha beta)) (/ (+ (+ alpha beta) (* 2 i)) (- (* beta beta) (* alpha alpha))))

prune6.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.2b

localize13.0ms

Local error

Found 4 expressions with local error:

3.3b
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.5b
(/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta)))
0.1b
(/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))
0.0b
(/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

rewrite108.0ms

Algorithm
rewrite-expression-head
Counts
4 → 198
Calls

4 calls. Slowest were:

69.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
16.0ms
(/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
12.0ms
(/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))

series515.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

230.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
153.0ms
(/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
71.0ms
(/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))

simplify15.2s

Counts
222 → 210
Calls

222 calls. Slowest were:

370.0ms
(- (log (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta)))) (log (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
345.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
315.0ms
(/ (sqrt (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta)))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

prune4.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.2b

localize13.0ms

Local error

Found 4 expressions with local error:

3.3b
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
3.3b
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
3.3b
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.5b
(/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta)))

rewrite200.0ms

Algorithm
rewrite-expression-head
Counts
4 → 97
Calls

4 calls. Slowest were:

70.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
69.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
54.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)

series721.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

241.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
209.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
208.0ms
(+ (/ (/ 1 (/ (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)) (+ alpha beta))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)

simplify4.5s

Counts
65 → 109
Calls

65 calls. Slowest were:

616.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
403.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
336.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.2b

regimes610.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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: 15.202097712287168 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