Error in 44.5s

Runtime

Time bar (total: 44.5s)Debug logProfile

start171.0ms

Algorithm
intervals

setup505.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.9b

localize26.0ms

Local error

Found 3 expressions with local error:

10.0b
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (* (+ a b) (- b a)))
0.3b
(/ (/ PI 2) a)
0.1b
(fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
3 → 58
Calls

3 calls. Slowest were:

5.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (* (+ a b) (- b a)))
2.0ms
(/ (/ PI 2) a)
0.0ms
(fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))

series287.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

115.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (* (+ a b) (- b a)))
92.0ms
(/ (/ PI 2) a)
80.0ms
(fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))

simplify2.3s

Counts
32 → 67
Calls

32 calls. Slowest were:

425.0ms
(* (+ (* a a) (- (* b b) (* a b))) (+ (* b b) (+ (* a a) (* b a))))
281.0ms
(- (log (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))) (log (* (+ a b) (- b a))))
256.0ms
(* (- a b) (+ (* b b) (+ (* a a) (* b a))))

prune927.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 123
Calls

4 calls. Slowest were:

17.0ms
(* (/ 1 (+ a b)) (/ (- (/ PI (* a 2)) (/ PI (* 2 b))) (- b a)))
13.0ms
(/ (- (/ PI (* a 2)) (/ PI (* 2 b))) (- b a))
1.0ms
(/ PI (* a 2))

series361.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

110.0ms
(* (/ 1 (+ a b)) (/ (- (/ PI (* a 2)) (/ PI (* 2 b))) (- b a)))
89.0ms
(/ (- (/ PI (* a 2)) (/ PI (* 2 b))) (- b a))
85.0ms
(/ PI (* 2 b))

simplify5.6s

Counts
101 → 135
Calls

101 calls. Slowest were:

308.0ms
(- (pow (/ PI (* a 2)) 3) (pow (/ PI (* 2 b)) 3))
297.0ms
(/ (* (* (- (/ PI (* a 2)) (/ PI (* 2 b))) (- (/ PI (* a 2)) (/ PI (* 2 b)))) (- (/ PI (* a 2)) (/ PI (* 2 b)))) (* (* (- b a) (- b a)) (- b a)))
259.0ms
(+ (log (/ 1 (+ a b))) (log (/ (- (/ PI (* a 2)) (/ PI (* 2 b))) (- b a))))

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 96
Calls

4 calls. Slowest were:

21.0ms
(* (/ 1 (+ a b)) (/ (- (/ 1 (/ (* a 2) PI)) (/ PI (* 2 b))) (- b a)))
5.0ms
(/ (* a 2) PI)
2.0ms
(/ 1 (/ (* a 2) PI))

series311.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

89.0ms
(/ (* a 2) PI)
86.0ms
(* (/ 1 (+ a b)) (/ (- (/ 1 (/ (* a 2) PI)) (/ PI (* 2 b))) (- b a)))
77.0ms
(/ PI (* 2 b))

simplify7.1s

Counts
56 → 108
Calls

56 calls. Slowest were:

517.0ms
(/ (- (/ 1 (/ (* a 2) PI)) (/ PI (* 2 b))) (- b a))
477.0ms
(/ (- (/ 1 (/ (* a 2) PI)) (/ PI (* 2 b))) (- b a))
444.0ms
(/ (- (/ 1 (/ (* a 2) PI)) (/ PI (* 2 b))) (- b a))

prune1.4s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm
rewrite-expression-head
Counts
4 → 142
Calls

4 calls. Slowest were:

23.0ms
(/ (- (* (/ PI a) 1/2) (/ (/ PI b) 2)) (- b a))
22.0ms
(/ (/ (- (* (/ PI a) 1/2) (/ (/ PI b) 2)) (- b a)) (+ a b))
0.0ms
(/ PI a)

series265.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

88.0ms
(/ (/ (- (* (/ PI a) 1/2) (/ (/ PI b) 2)) (- b a)) (+ a b))
67.0ms
(/ PI a)
65.0ms
(/ (- (* (/ PI a) 1/2) (/ (/ PI b) 2)) (- b a))

simplify13.1s

Counts
158 → 154
Calls

158 calls. Slowest were:

633.0ms
(/ (/ (* (cbrt (- (* (/ PI a) 1/2) (/ (/ PI b) 2))) (cbrt (- (* (/ PI a) 1/2) (/ (/ PI b) 2)))) (* (cbrt (- b a)) (cbrt (- b a)))) (* (cbrt (+ a b)) (cbrt (+ a b))))
369.0ms
(/ (- (* (/ PI a) 1/2) (/ (/ PI b) 2)) (- (* b b) (* a a)))
303.0ms
(/ (* (* (- (* (/ PI a) 1/2) (/ (/ PI b) 2)) (- (* (/ PI a) 1/2) (/ (/ PI b) 2))) (- (* (/ PI a) 1/2) (/ (/ PI b) 2))) (* (* (- b a) (- b a)) (- b a)))

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes193.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(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.31213012060403716 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