Error in 55.1s

Runtime

Time bar (total: 55.1s)Debug log

start608.0ms

Algorithm
intervals

setup377.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

45.0ms
(- (+ (log (+ y x)) (* (- a 0.5) (log t))) (- t (log z)))
9.0ms
(+ (log (+ y x)) (* (- a 0.5) (log t)))
8.0ms
(* (- a 0.5) (log t))

series450.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

174.0ms
(+ (log (+ y x)) (* (- a 0.5) (log t)))
158.0ms
(- (+ (log (+ y x)) (* (- a 0.5) (log t))) (- t (log z)))
76.0ms
(* (- a 0.5) (log t))

simplify5.3s

Counts
47 → 83
Calls

47 calls. Slowest were:

689.0ms
(* (- (log (+ y x)) (* (- a 0.5) (log t))) (+ t (log z)))
357.0ms
(- (+ (* a (log t)) (+ (log z) (log x))) (+ t (* 0.5 (log t))))
334.0ms
(- (+ (log (+ y x)) (* (- a 0.5) (log t))) (- t (log z)))

prune1.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize2.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

40.0ms
(- (+ (log (+ y x)) (* (- a 0.5) (log t))) (- t (log z)))
10.0ms
(+ (log (+ y x)) (* (- a 0.5) (log t)))
5.0ms
(* (- a 0.5) (log t))

series398.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

162.0ms
(- (+ (log (+ y x)) (* (- a 0.5) (log t))) (- t (log z)))
141.0ms
(+ (log (+ y x)) (* (- a 0.5) (log t)))
63.0ms
(* (- a 0.5) (log t))

simplify5.5s

Counts
47 → 83
Calls

47 calls. Slowest were:

576.0ms
(* (- (log (+ y x)) (* (- a 0.5) (log t))) (+ t (log z)))
411.0ms
(- (+ (* a (log t)) (+ (log z) (log x))) (+ t (* 0.5 (log t))))
361.0ms
(* (- (log (+ y x)) (* (- a 0.5) (log t))) (+ (* t t) (+ (* (log z) (log z)) (* t (log z)))))

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

14.0ms
(+ (log (+ y x)) (- (* (- a 0.5) (log t)) (- t (log z))))
7.0ms
(* (- a 0.5) (log t))
7.0ms
(- (* (- a 0.5) (log t)) (- t (log z)))

series304.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

151.0ms
(+ (log (+ y x)) (- (* (- a 0.5) (log t)) (- t (log z))))
65.0ms
(- (* (- a 0.5) (log t)) (- t (log z)))
56.0ms
(* (- a 0.5) (log t))

simplify5.9s

Counts
47 → 84
Calls

47 calls. Slowest were:

608.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (* a (log (/ 1 t))) (log (/ 1 y))))))
471.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ t (+ (* a (log (/ -1 t))) (log (/ -1 z)))))
423.0ms
(- (+ (* a (log t)) (+ (log z) (log x))) (+ t (* 0.5 (log t))))

prune1.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* (- a 0.5) (log t))) (cbrt (* (- a 0.5) (log t))))
0.5b
(cbrt (* (- a 0.5) (log t)))
0.5b
(cbrt (* (- a 0.5) (log t)))
0.5b
(cbrt (* (- a 0.5) (log t)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

12.0ms
(* (cbrt (* (- a 0.5) (log t))) (cbrt (* (- a 0.5) (log t))))
4.0ms
(cbrt (* (- a 0.5) (log t)))
4.0ms
(cbrt (* (- a 0.5) (log t)))

series469.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

146.0ms
(* (cbrt (* (- a 0.5) (log t))) (cbrt (* (- a 0.5) (log t))))
114.0ms
(cbrt (* (- a 0.5) (log t)))
104.0ms
(cbrt (* (- a 0.5) (log t)))

simplify6.6s

Counts
49 → 77
Calls

49 calls. Slowest were:

431.0ms
(- (pow (* -0.5 (log t)) 1/3) (+ (* 0.4444444444444444 (* (pow a 2) (pow (* (log t) -0.5) 1/3))) (* 0.6666666666666666 (* a (pow (* (log t) -0.5) 1/3)))))
430.0ms
(* (* (- a 0.5) (log t)) (* (- a 0.5) (log t)))
420.0ms
(* (cbrt (* (- (* a a) (* 0.5 0.5)) (log t))) (cbrt (* (- (* a a) (* 0.5 0.5)) (log t))))

prune1.8s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes1.1s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.26208334471854255 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