Error in 35.5s

Runtime

Time bar (total: 35.5s)Debug logProfile

start136.0ms

Algorithm
intervals

setup435.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ PI 2) (+ a b))
0.2b
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ (/ PI 2) (+ a b)))
0.2b
(/ (- (/ 1 a) (/ 1 b)) (- b a))
0.0b
(- (/ 1 a) (/ 1 b))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
4 → 173
Calls

4 calls. Slowest were:

18.0ms
(/ (- (/ 1 a) (/ 1 b)) (- b a))
17.0ms
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ (/ PI 2) (+ a b)))
6.0ms
(- (/ 1 a) (/ 1 b))

series248.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

105.0ms
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ (/ PI 2) (+ a b)))
99.0ms
(/ (/ PI 2) (+ a b))
28.0ms
(/ (- (/ 1 a) (/ 1 b)) (- b a))

simplify5.4s

Counts
176 → 185
Calls

176 calls. Slowest were:

523.0ms
(+ (- (log (- (/ 1 a) (/ 1 b))) (log (- b a))) (- (log (/ PI 2)) (log (+ a b))))
368.0ms
(+ (log (/ (- (/ 1 a) (/ 1 b)) (- b a))) (- (log (/ PI 2)) (log (+ a b))))
348.0ms
(/ (* (* (/ PI 2) (/ PI 2)) (/ PI 2)) (* (* (+ a b) (+ a b)) (+ a b)))

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2))
0.2b
(/ (- (/ 1 a) (/ 1 b)) (- b a))
0.2b
(/ (* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2)) (+ a b))
0.0b
(- (/ 1 a) (/ 1 b))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 149
Calls

4 calls. Slowest were:

17.0ms
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2))
10.0ms
(/ (* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2)) (+ a b))
9.0ms
(/ (- (/ 1 a) (/ 1 b)) (- b a))

series160.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

85.0ms
(/ (* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2)) (+ a b))
49.0ms
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2))
18.0ms
(/ (- (/ 1 a) (/ 1 b)) (- b a))

simplify5.8s

Counts
145 → 161
Calls

145 calls. Slowest were:

381.0ms
(+ (- (log (- (/ 1 a) (/ 1 b))) (log (- b a))) (log (/ PI 2)))
316.0ms
(- (+ (log (/ (- (/ 1 a) (/ 1 b)) (- b a))) (log (/ PI 2))) (log (+ a b)))
292.0ms
(- (log (* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ PI 2))) (log (+ a b)))

prune1.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ PI a)
0.2b
(/ PI b)
0.2b
(/ (/ (- (/ PI a) (/ PI b)) (- b a)) (* (+ a b) 2))
0.2b
(/ (- (/ PI a) (/ PI b)) (- b a))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

15.0ms
(/ (/ (- (/ PI a) (/ PI b)) (- b a)) (* (+ a b) 2))
9.0ms
(/ (- (/ PI a) (/ PI b)) (- b a))
0.0ms
(/ PI a)

series254.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

97.0ms
(/ (/ (- (/ PI a) (/ PI b)) (- b a)) (* (+ a b) 2))
65.0ms
(/ PI b)
47.0ms
(/ PI a)

simplify5.2s

Counts
141 → 144
Calls

141 calls. Slowest were:

371.0ms
(/ (/ (/ PI a) (- b a)) (* (+ a b) 2))
323.0ms
(- (- (log (- (/ PI a) (/ PI b))) (log (- b a))) (log (* (+ a b) 2)))
267.0ms
(/ (* (* (- (/ PI a) (/ PI b)) (- (/ PI a) (/ PI b))) (- (/ PI a) (/ PI b))) (* (* (- b a) (- b a)) (- b a)))

prune1.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ PI a)
0.2b
(/ PI b)
0.2b
(* (/ 1 (+ b a)) (/ (/ (- (/ PI a) (/ PI b)) (- b a)) 2))
0.2b
(/ (- (/ PI a) (/ PI b)) (- b a))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

10.0ms
(* (/ 1 (+ b a)) (/ (/ (- (/ PI a) (/ PI b)) (- b a)) 2))
8.0ms
(/ (- (/ PI a) (/ PI b)) (- b a))
0.0ms
(/ PI a)

series259.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

94.0ms
(* (/ 1 (+ b a)) (/ (/ (- (/ PI a) (/ PI b)) (- b a)) 2))
69.0ms
(/ PI b)
62.0ms
(/ PI a)

simplify2.8s

Counts
77 → 102
Calls

77 calls. Slowest were:

310.0ms
(+ (- (log (+ b a))) (log (/ (/ (- (/ PI a) (/ PI b)) (- b a)) 2)))
236.0ms
(+ (log (/ 1 (+ b a))) (log (/ (/ (- (/ PI a) (/ PI b)) (- b a)) 2)))
186.0ms
(* 1 (/ (- (/ PI a) (/ PI b)) (- b a)))

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes171.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (a b)
  :name "NMSE Section 6.1 mentioned, B"
  (* (* (/ PI 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))))

Backtrace

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