Error in 37.4s

Runtime

Time bar (total: 37.4s)Debug log

start151.0ms

Algorithm
intervals

setup417.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.0b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
3 → 58
Calls

3 calls. Slowest were:

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

series256.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

114.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (* (+ a b) (- b a)))
79.0ms
(/ (/ PI 2) a)
63.0ms
(fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))

simplify2.7s

Counts
32 → 67
Calls

32 calls. Slowest were:

451.0ms
(+ (* a a) (- (* b b) (* a b)))
426.0ms
(* (+ (* a a) (- (* b b) (* a b))) (+ (* b b) (+ (* a a) (* b a))))
288.0ms
(- (log (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))) (log (* (+ a b) (- b a))))

prune913.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 140
Calls

4 calls. Slowest were:

13.0ms
(/ (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b)) (- b a))
7.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b))
4.0ms
(/ (/ PI 2) a)

series351.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

108.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b))
107.0ms
(/ (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b)) (- b a))
68.0ms
(fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))

simplify10.0s

Counts
155 → 152
Calls

155 calls. Slowest were:

469.0ms
(/ (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (- (* a a) (* b b))) (* (cbrt (- b a)) (cbrt (- b a))))
371.0ms
(/ (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (- (* a a) (* b b))) 1)
278.0ms
(/ (/ (* (cbrt (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))) (cbrt (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)))) 1) (* (cbrt (- b a)) (cbrt (- b a))))

prune2.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 100
Calls

4 calls. Slowest were:

13.0ms
(* (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b)) (/ 1 (- b a)))
9.0ms
(/ (/ PI 2) a)
7.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b))

series390.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

121.0ms
(* (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b)) (/ 1 (- b a)))
120.0ms
(/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b))
94.0ms
(/ (/ PI 2) a)

simplify4.1s

Counts
73 → 112
Calls

73 calls. Slowest were:

457.0ms
(* (* (* (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b)) (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b))) (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b))) (* (* (/ 1 (- b a)) (/ 1 (- b a))) (/ 1 (- b a))))
241.0ms
(* (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (/ 1 (- b a)))
210.0ms
(* (/ (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (+ a b)) (/ 1 (- b a)))

prune1.8s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Counts
4 → 85
Calls

4 calls. Slowest were:

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

series369.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

130.0ms
(* (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (/ 1 (+ a b)))
102.0ms
(* (* (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (/ 1 (+ a b))) (/ 1 (- b a)))
74.0ms
(/ (/ PI 2) a)

simplify4.1s

Counts
53 → 97
Calls

53 calls. Slowest were:

562.0ms
(* (* (* (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))) (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a))) (* (* (/ 1 (+ a b)) (/ 1 (+ a b))) (/ 1 (+ a b))))
372.0ms
(* (* (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) 1) (/ 1 (- b a)))
319.0ms
(+ (log (* (fma (/ PI 2) (/ -1 b) (/ (/ PI 2) a)) (/ 1 (+ a b)))) (log (/ 1 (- b a))))

prune1.2s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0b

regimes169.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.2976404156410455 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