Error in 1.3m

Runtime

Time bar (total: 1.3m)Debug log

start146.0ms

Algorithm
intervals

setup283.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.6b

localize59.0ms

Local error

Found 4 expressions with local error:

26.6b
(/ (+ (* (+ (* (+ (* (+ (* 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) c) y)
0.1b
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)

rewrite158.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))
30.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
23.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)

series499.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

350.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
60.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
51.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

simplify12.8s

Counts
53 → 90
Calls

53 calls. Slowest were:

645.0ms
(* (+ (pow (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 3) (pow 230661.510616 3)) y)
597.0ms
(/ (sqrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
581.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)))

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 26.1b

localize9.0ms

Local error

Found 4 expressions with local error:

26.7b
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.3b
(/ 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) c) y)

rewrite85.0ms

Algorithm
rewrite-expression-head
Counts
4 → 95
Calls

4 calls. Slowest were:

38.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
19.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
17.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

series969.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

450.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
410.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
73.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

simplify15.4s

Counts
66 → 107
Calls

66 calls. Slowest were:

581.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)))
580.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
537.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)))

prune2.9s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 26.1b

localize45.0ms

Local error

Found 4 expressions with local error:

26.6b
(/ (+ (* (+ (* (fma y x z) (* y y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
3.2b
(* (fma y x z) (* y y))
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite114.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

58.0ms
(/ (+ (* (+ (* (fma y x z) (* y y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
31.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
15.0ms
(* (+ (* (+ y a) y) b) y)

series364.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

231.0ms
(/ (+ (* (+ (* (fma y x z) (* y y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
63.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
35.0ms
(* (+ (* (+ y a) y) b) y)

simplify10.7s

Counts
54 → 92
Calls

54 calls. Slowest were:

587.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)))
454.0ms
(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)
448.0ms
(+ (pow (* (+ (* (fma y x z) (* y y)) 230661.510616) y) 3) (pow t 3))

prune2.3s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 26.0b

localize33.0ms

Local error

Found 4 expressions with local error:

26.7b
(/ (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
23.2b
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
23.2b
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
23.2b
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))

rewrite193.0ms

Algorithm
rewrite-expression-head
Counts
4 → 78
Calls

4 calls. Slowest were:

161.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
10.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
10.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

618.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
164.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
162.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))

simplify15.8s

Counts
56 → 90
Calls

56 calls. Slowest were:

1.3s
(exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y))))))
1.2s
(exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y))))))
1.2s
(exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y))))))

prune2.4s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 26.0b

regimes1.8s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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: 28.704765197368022 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