Error in 1.1m

Runtime

Time bar (total: 1.1m)Debug logProfile

start220.0ms

Algorithm
intervals

setup260.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.1b

localize101.0ms

Local error

Found 4 expressions with local error:

30.1b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ y a) y) b) y)
0.0b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

rewrite116.0ms

Algorithm
rewrite-expression-head
Counts
4 → 78
Calls

4 calls. Slowest were:

83.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
15.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
9.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

series503.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

380.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
50.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
49.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

simplify12.3s

Counts
53 → 90
Calls

53 calls. Slowest were:

541.0ms
(+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
518.0ms
(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
508.0ms
(* (+ (pow (* (+ y a) y) 3) (pow b 3)) y)

prune2.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 29.3b

localize14.0ms

Local error

Found 4 expressions with local error:

30.0b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
0.2b
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite100.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

56.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
25.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
10.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

series460.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

300.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
68.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
56.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

simplify11.3s

Counts
46 → 91
Calls

46 calls. Slowest were:

988.0ms
(* (- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t)) 1)
731.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)
530.0ms
(* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

prune2.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 29.3b

localize57.0ms

Local error

Found 4 expressions with local error:

30.1b
(/ (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t) (fma y (fma (+ a y) (* y y) (fma y b c)) i))
4.3b
(fma (+ a y) (* y y) (fma y b c))
0.1b
(fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616))
0.0b
(fma y (fma (+ a y) (* y y) (fma y b c)) i)

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

6.0ms
(/ (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t) (fma y (fma (+ a y) (* y y) (fma y b c)) i))
0.0ms
(fma (+ a y) (* y y) (fma y b c))
0.0ms
(fma y (fma (+ a y) (* y y) (fma y b c)) i)

series510.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

270.0ms
(/ (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t) (fma y (fma (+ a y) (* y y) (fma y b c)) i))
109.0ms
(fma y (fma (+ a y) (* y y) (fma y b c)) i)
83.0ms
(fma (+ a y) (* y y) (fma y b c))

simplify5.0s

Counts
37 → 71
Calls

37 calls. Slowest were:

463.0ms
(/ (* (* (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t) (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t)) (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t)) (* (* (fma y (fma (+ a y) (* y y) (fma y b c)) i) (fma y (fma (+ a y) (* y y) (fma y b c)) i)) (fma y (fma (+ a y) (* y y) (fma y b c)) i)))
346.0ms
(/ (* (cbrt (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t)) (cbrt (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t))) 1)
259.0ms
(/ (sqrt (fma y (fma (fma y x z) (* y y) (fma y 27464.7644705 230661.510616)) t)) 1)

prune2.1s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 29.3b

localize14.0ms

Local error

Found 4 expressions with local error:

30.0b
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.4b
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite82.0ms

Algorithm
rewrite-expression-head
Counts
4 → 95
Calls

4 calls. Slowest were:

45.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
18.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
11.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

series992.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

479.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
424.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
52.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

simplify15.4s

Counts
66 → 107
Calls

66 calls. Slowest were:

895.0ms
(+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3))
574.0ms
(+ (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (- (* t t) (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
521.0ms
(/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))

prune2.7s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 29.3b

regimes1.5s

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (x y z t a b c i)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

Backtrace

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