Error in 4.4m

Runtime

Time bar (total: 4.4m)Debug log

start95.0ms

Algorithm
intervals

setup871.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.0b

localize50.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

rewrite165.0ms

Algorithm
rewrite-expression-head
Counts
4 → 359
Calls

4 calls. Slowest were:

54.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
50.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
41.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

series247.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
86.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
61.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

simplify2.0m

Counts
526 → 371
Calls

526 calls. Slowest were:

1.2s
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)
1.2s
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)
1.0s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)

prune7.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize10.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b
(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))))
0.0b
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))

rewrite152.0ms

Algorithm
rewrite-expression-head
Counts
4 → 226
Calls

4 calls. Slowest were:

48.0ms
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))
47.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
33.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

series301.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

97.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
78.0ms
(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))))
76.0ms
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))

simplify49.0s

Counts
250 → 238
Calls

250 calls. Slowest were:

1.2s
(- (* (+ (+ alpha beta) (* beta alpha)) (+ (+ alpha beta) (* beta alpha))) (* 1.0 1.0))
863.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
592.0ms
(/ (sqrt (+ (+ alpha beta) (* 2 1))) (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))))

prune4.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

3.9b
(* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1))))
0.1b
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1)))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b
(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1))))))
0.0b
(/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1)))))

rewrite162.0ms

Algorithm
rewrite-expression-head
Counts
4 → 137
Calls

4 calls. Slowest were:

50.0ms
(* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1))))
47.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1)))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
39.0ms
(/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1)))))

series385.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

125.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1)))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
116.0ms
(/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1)))))
82.0ms
(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1))))))

simplify24.5s

Counts
113 → 149
Calls

113 calls. Slowest were:

1.2s
(* (+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3)) 1)
1.1s
(/ (sqrt (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (* (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (/ 1 (+ (+ alpha beta) (* 2 1))))))) (* (cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0)) (cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))))
991.0ms
(* (+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3)) (/ 1 (+ (+ alpha beta) (* 2 1))))

prune2.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0)))
0.5b
(/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1))
0.2b
(/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha)))))
0.1b
(/ (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

rewrite56.0ms

Algorithm
rewrite-expression-head
Counts
4 → 180
Calls

4 calls. Slowest were:

26.0ms
(/ (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
14.0ms
(/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha)))))
9.0ms
(/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0)))

series363.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

154.0ms
(/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha)))))
127.0ms
(/ (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
51.0ms
(/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0)))

simplify42.1s

Counts
195 → 192
Calls

195 calls. Slowest were:

784.0ms
(/ (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
734.0ms
(- (- (- (log (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1))) (+ (log (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0)))) (log (sqrt (+ 2 (+ beta alpha)))))) (log (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
729.0ms
(/ (* (* (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha))))) (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha)))))) (/ (/ 1 (/ (sqrt (+ (+ alpha beta) (* 2 1))) 1)) (* (/ (+ 2 (+ beta alpha)) (+ (fma alpha beta alpha) (+ beta 1.0))) (sqrt (+ 2 (+ beta alpha)))))) (* (* (+ (+ (+ alpha beta) (* 2 1)) 1.0) (+ (+ (+ alpha beta) (* 2 1)) 1.0)) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))

prune3.6s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes149.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (alpha beta)
  :name "Octave 3.8, jcobi/3"
  :pre (and (> alpha -1) (> beta -1))
  (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))

Backtrace

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