Error in 4.0m

Runtime

Time bar (total: 4.0m)Debug logProfile

start143.0ms

Algorithm
intervals

setup808.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.3b

localize27.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ (+ (+ 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)

rewrite253.0ms

Algorithm
rewrite-expression-head
Counts
4 → 348
Calls

4 calls. Slowest were:

110.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
62.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
44.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

series304.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

117.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
103.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
71.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

simplify1.5m

Counts
524 → 360
Calls

524 calls. Slowest were:

877.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
847.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
826.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)

prune6.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize8.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ (+ (+ 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))))

rewrite171.0ms

Algorithm
rewrite-expression-head
Counts
4 → 218
Calls

4 calls. Slowest were:

62.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
50.0ms
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))
31.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

series308.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify36.1s

Counts
250 → 230
Calls

250 calls. Slowest were:

1.0s
(- (* (+ (+ alpha beta) (* beta alpha)) (+ (+ alpha beta) (* beta alpha))) (* 1.0 1.0))
821.0ms
(/ 1 (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))))
733.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))

prune4.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.4b
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.4b
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.4b
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))

rewrite74.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

47.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
13.0ms
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))
6.0ms
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))

series321.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

105.0ms
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))
104.0ms
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))
69.0ms
(cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))

simplify8.4s

Counts
56 → 82
Calls

56 calls. Slowest were:

809.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
626.0ms
(- (* (+ (+ alpha beta) (* beta alpha)) (+ (+ alpha beta) (* beta alpha))) (* 1.0 1.0))
574.0ms
(cbrt (- (* (+ (+ alpha beta) (* 2 1)) (+ (+ alpha beta) (* 2 1))) (* 1.0 1.0)))

prune1.7s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

2.2b
(sqrt (+ (+ beta 1.0) (+ alpha (* alpha beta))))
2.2b
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
0.4b
(/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1))))
0.2b
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Counts
4 → 416
Calls

4 calls. Slowest were:

40.0ms
(/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1))))
36.0ms
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))
12.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))

series257.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

127.0ms
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))
54.0ms
(/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1))))
43.0ms
(sqrt (+ (+ beta 1.0) (+ alpha (* alpha beta))))

simplify1.1m

Counts
678 → 428
Calls

678 calls. Slowest were:

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

prune11.8s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes110.0ms

Please include this information when filing a bug report:

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