Error in 4.5m

Runtime

Time bar (total: 4.5m)Debug logProfile

start140.0ms

Algorithm
intervals

setup272.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.5b

localize35.0ms

Local error

Found 4 expressions with local error:

46.5b
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
33.7b
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
0.1b
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
0.0b
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Counts
4 → 170
Calls

4 calls. Slowest were:

38.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
27.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
12.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series997.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

760.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
135.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
68.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify42.9s

Counts
191 → 182
Calls

191 calls. Slowest were:

932.0ms
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
701.0ms
(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))
683.0ms
(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))

prune3.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 33.6b

localize22.0ms

Local error

Found 4 expressions with local error:

33.7b
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
33.3b
(/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i)))
31.9b
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))
0.0b
(* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i))))

rewrite142.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

63.0ms
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
41.0ms
(* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i))))
18.0ms
(/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i)))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

763.0ms
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
158.0ms
(* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i))))
81.0ms
(/ (* (+ alpha i) (+ i beta)) (+ (+ alpha beta) (* 2 i)))

simplify15.9s

Counts
114 → 144
Calls

114 calls. Slowest were:

755.0ms
(* (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* (* (* (+ alpha i) (+ i beta)) (* (+ alpha i) (+ i beta))) (* (+ alpha i) (+ i beta))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)))))
633.0ms
(* (+ alpha i) (- (* i i) (* beta beta)))
623.0ms
(- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)

prune2.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 33.6b

localize28.0ms

Local error

Found 4 expressions with local error:

33.7b
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
31.9b
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))
1.9b
(* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (+ alpha beta) (* 2 i))))
0.0b
(/ (+ i beta) (+ (+ alpha beta) (* 2 i)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Counts
4 → 139
Calls

4 calls. Slowest were:

64.0ms
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
53.0ms
(* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (+ alpha beta) (* 2 i))))
11.0ms
(/ (+ i beta) (+ (+ alpha beta) (* 2 i)))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

724.0ms
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
162.0ms
(* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (+ alpha beta) (* 2 i))))
66.0ms
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))

simplify16.5s

Counts
129 → 151
Calls

129 calls. Slowest were:

701.0ms
(* (* (+ (+ alpha beta) (* 2 i)) 1) (+ (+ alpha beta) (* 2 i)))
700.0ms
(/ (* (* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i))) (* i (+ (+ alpha beta) i))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i))))
628.0ms
(/ (/ (+ i beta) (+ (+ alpha beta) (* 2 i))) (sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))

prune2.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 33.6b

localize73.0ms

Local error

Found 4 expressions with local error:

38.1b
(cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))
38.1b
(cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))
38.1b
(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
0.5b
(* (/ (+ alpha i) (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))) (/ (/ (+ (+ alpha i) beta) (/ (+ (+ alpha beta) (* i 2)) i)) (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))))

rewrite175.0ms

Algorithm
rewrite-expression-head
Counts
4 → 195
Calls

4 calls. Slowest were:

108.0ms
(* (/ (+ alpha i) (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))) (/ (/ (+ (+ alpha i) beta) (/ (+ (+ alpha beta) (* i 2)) i)) (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))))
24.0ms
(cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))
18.0ms
(cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))

series1.5m

Counts
4 → 12
Calls

4 calls. Slowest were:

1.5m
(* (/ (+ alpha i) (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))) (/ (/ (+ (+ alpha i) beta) (/ (+ (+ alpha beta) (* i 2)) i)) (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))))
406.0ms
(cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))
397.0ms
(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

simplify1.3m

Counts
175 → 207
Calls

175 calls. Slowest were:

997.0ms
(/ i (cbrt (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))))
700.0ms
(/ (/ (+ (+ alpha i) beta) (cbrt (/ (+ (+ alpha beta) (* i 2)) i))) (cbrt (sqrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))))
698.0ms
(/ (/ (cbrt (+ (+ alpha i) beta)) (sqrt (/ (+ (+ alpha beta) (* i 2)) i))) (cbrt (cbrt (- (* (+ (+ alpha beta) (* i 2)) (+ (+ alpha beta) (* i 2))) 1.0))))

prune5.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 33.6b

regimes431.0ms

Please include this information when filing a bug report:

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

Backtrace

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