Error in 53.8s

Runtime

Time bar (total: 53.8s)Debug logProfile

start628.0ms

Algorithm
intervals

setup364.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize62.0ms

Local error

Found 4 expressions with local error:

0.6b
(+ (log (+ x y)) (log z))
0.1b
(* (- a 0.5) (log t))
0.1b
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.0b
(- (+ (log (+ x y)) (log z)) t)

rewrite155.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

116.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
21.0ms
(- (+ (log (+ x y)) (log z)) t)
9.0ms
(+ (log (+ x y)) (log z))

series553.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

209.0ms
(- (+ (log (+ x y)) (log z)) t)
204.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
75.0ms
(+ (log (+ x y)) (log z))

simplify3.9s

Counts
46 → 82
Calls

46 calls. Slowest were:

375.0ms
(- (+ (* a (log t)) (+ (log z) (log y))) (+ t (* 0.5 (log t))))
298.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))
262.0ms
(- (* 2 (log -1)) (+ (log (/ -1 x)) (log (/ -1 z))))

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (- (log z) t) (* (- a 0.5) (log t)))
0.1b
(* (- a 0.5) (log t))
0.1b
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
0.0b
(- (log z) t)

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

29.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
21.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
4.0ms
(* (- a 0.5) (log t))

series499.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

233.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
121.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
83.0ms
(* (- a 0.5) (log t))

simplify6.1s

Counts
45 → 81
Calls

45 calls. Slowest were:

726.0ms
(- (log -1) (+ t (log (/ -1 z))))
507.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ t (+ (* a (log (/ -1 t))) (log (/ -1 z)))))
483.0ms
(- (+ (* a (log t)) (+ (log z) (log y))) (+ t (* 0.5 (log t))))

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.5b
(* (cbrt (+ x y)) (cbrt (+ x y)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

5.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
1.0ms
(cbrt (+ x y))
0.0ms
(cbrt (+ x y))

series622.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

201.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
157.0ms
(cbrt (+ x y))
144.0ms
(cbrt (+ x y))

simplify1.6s

Counts
59 → 87
Calls

59 calls. Slowest were:

226.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
162.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
145.0ms
(- (+ (* 2/3 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))

prune1.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
0.4b
(* (cbrt (- a 0.5)) (log t))
0.3b
(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))
0.3b
(cbrt (- a 0.5))

rewrite65.0ms

Algorithm
rewrite-expression-head
Counts
4 → 119
Calls

4 calls. Slowest were:

38.0ms
(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))
10.0ms
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
9.0ms
(* (cbrt (- a 0.5)) (log t))

series365.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

133.0ms
(* (cbrt (- a 0.5)) (log t))
106.0ms
(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))
64.0ms
(cbrt (- a 0.5))

simplify8.7s

Counts
118 → 131
Calls

118 calls. Slowest were:

637.0ms
(* (* (* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (- a 0.5) (* (* (log t) (log t)) (log t))))
444.0ms
(* (* (* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (* (* (cbrt (- a 0.5)) (log t)) (* (cbrt (- a 0.5)) (log t))) (* (cbrt (- a 0.5)) (log t))))
378.0ms
(- (+ (* 2.2222222222222223 (* (pow a 2) (pow 0.25 1/3))) (pow 0.25 1/3)) (+ (* 0.16666666666666666 (* (pow a 2) (pow (/ 1 (pow 0.25 5)) 1/3))) (* 1.3333333333333333 (* a (pow 0.25 1/3)))))

prune3.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes1.3s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x y z t a)
  :name "Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.2"
  (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))

Backtrace

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