Error in 1.1m

Runtime

Time bar (total: 1.1m)Debug log

start219.0ms

Algorithm
intervals

setup391.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize47.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))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 173
Calls

4 calls. Slowest were:

15.0ms
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ (/ PI 2) (+ a b)))
10.0ms
(/ (- (/ 1 a) (/ 1 b)) (- b a))
6.0ms
(- (/ 1 a) (/ 1 b))

series181.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

80.0ms
(* (/ (- (/ 1 a) (/ 1 b)) (- b a)) (/ (/ PI 2) (+ a b)))
59.0ms
(/ (/ PI 2) (+ a b))
27.0ms
(/ (- (/ 1 a) (/ 1 b)) (- b a))

simplify5.6s

Counts
176 → 185
Calls

176 calls. Slowest were:

641.0ms
(+ (log (/ (- (/ 1 a) (/ 1 b)) (- b a))) (- (log (/ PI 2)) (log (+ a b))))
509.0ms
(+ (- (log (- (/ 1 a) (/ 1 b))) (log (- b a))) (- (log (/ PI 2)) (log (+ a b))))
337.0ms
(/ (* (* (/ PI 2) (/ PI 2)) (/ PI 2)) (* (* (+ a b) (+ a b)) (+ a b)))

prune2.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 120
Calls

4 calls. Slowest were:

21.0ms
(/ (/ (- (/ PI a) (/ PI b)) (* (+ a b) 2)) (- b a))
20.0ms
(/ (- (/ PI a) (/ PI b)) (* (+ a b) 2))
0.0ms
(/ PI b)

series278.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

100.0ms
(/ (/ (- (/ PI a) (/ PI b)) (* (+ a b) 2)) (- b a))
94.0ms
(/ (- (/ PI a) (/ PI b)) (* (+ a b) 2))
47.0ms
(/ PI a)

simplify8.2s

Counts
129 → 132
Calls

129 calls. Slowest were:

351.0ms
(/ (- (/ PI a) (/ PI b)) (* (- (* a a) (* b b)) 2))
311.0ms
(/ (/ (- (/ PI a) (/ PI b)) (* (+ a b) 2)) (sqrt (- b a)))
291.0ms
(/ (/ (- (/ PI a) (/ PI b)) (* (+ a b) 2)) (cbrt (- b a)))

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm
rewrite-expression-head
Counts
4 → 100
Calls

4 calls. Slowest were:

24.0ms
(/ (/ (/ (- (/ PI a) (/ PI b)) (+ a b)) 2) (- b a))
22.0ms
(/ (- (/ PI a) (/ PI b)) (+ a b))
0.0ms
(/ PI b)

series280.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

100.0ms
(/ (- (/ PI a) (/ PI b)) (+ a b))
92.0ms
(/ (/ (/ (- (/ PI a) (/ PI b)) (+ a b)) 2) (- b a))
45.0ms
(/ PI a)

simplify5.1s

Counts
98 → 112
Calls

98 calls. Slowest were:

376.0ms
(/ (/ (/ (- (/ PI a) (/ PI b)) (+ a b)) 2) (- b a))
328.0ms
(/ (/ (/ (/ PI a) (+ a b)) 2) (- b a))
308.0ms
(/ (* (* (- (/ PI a) (/ PI b)) (- (/ PI a) (/ PI b))) (- (/ PI a) (/ PI b))) (* (* (+ a b) (+ a b)) (+ a b)))

prune1.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 198
Calls

4 calls. Slowest were:

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

series291.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

109.0ms
(/ (/ 1 (+ a b)) (/ (- b a) (/ (- (/ PI a) (/ PI b)) 2)))
69.0ms
(/ (- b a) (/ (- (/ PI a) (/ PI b)) 2))
65.0ms
(/ PI a)

simplify32.5s

Counts
278 → 210
Calls

278 calls. Slowest were:

555.0ms
(/ (* (cbrt (/ 1 (+ a b))) (cbrt (/ 1 (+ a b)))) (/ (* (cbrt (- b a)) (cbrt (- b a))) (* (cbrt (/ (- (/ PI a) (/ PI b)) 2)) (cbrt (/ (- (/ PI a) (/ PI b)) 2)))))
470.0ms
(/ (/ 1 (+ a b)) (/ (cbrt (- b a)) (cbrt (/ (- (/ PI a) (/ PI b)) 2))))
468.0ms
(/ (* (cbrt (/ 1 (+ a b))) (cbrt (/ 1 (+ a b)))) (/ 1 (- (/ PI a) (/ PI b))))

prune2.7s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes147.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.2499381918582723 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