Error in 29.5s

Runtime

Time bar (total: 29.5s)Debug log

start451.0ms

Algorithm
intervals

setup407.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize73.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (/ (* 2.0 z) t) (sqrt (+ a t)))
1.1b
(fma (- (+ (/ 5.0 6.0) a) (/ (/ 2.0 t) 3.0)) (* (- c b) 2.0) (* (/ (* 2.0 z) t) (sqrt (+ a t))))
0.3b
(/ (/ 2.0 t) 3.0)
0.0b
(+ (/ 5.0 6.0) a)

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

6.0ms
(* (/ (* 2.0 z) t) (sqrt (+ a t)))
2.0ms
(+ (/ 5.0 6.0) a)
2.0ms
(/ (/ 2.0 t) 3.0)

series292.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

199.0ms
(fma (- (+ (/ 5.0 6.0) a) (/ (/ 2.0 t) 3.0)) (* (- c b) 2.0) (* (/ (* 2.0 z) t) (sqrt (+ a t))))
75.0ms
(* (/ (* 2.0 z) t) (sqrt (+ a t)))
9.0ms
(+ (/ 5.0 6.0) a)

simplify1.5s

Counts
35 → 83
Calls

35 calls. Slowest were:

358.0ms
(- (* 2.0 (* a c)) (+ (* 2.0 (* a b)) (* 1.6666666666666667 b)))
343.0ms
(- (* 2.0 (* a c)) (+ (* 2.0 (* a b)) (* 1.6666666666666667 b)))
156.0ms
(+ (log (/ (* 2.0 z) t)) (log (sqrt (+ a t))))

prune2.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))
0.0b
(* (* 2.0 a) (- c b))
0.0b
(fma y (exp (- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))) x)
0.0b
(/ x (fma y (exp (- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))) x))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

12.0ms
(- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))
7.0ms
(* (* 2.0 a) (- c b))
0.0ms
(/ x (fma y (exp (- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))) x))

series358.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

164.0ms
(/ x (fma y (exp (- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))) x))
134.0ms
(fma y (exp (- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))) x)
32.0ms
(- (* (* 2.0 a) (- c b)) (* 1.6666666666666667 b))

simplify3.3s

Counts
35 → 80
Calls

35 calls. Slowest were:

403.0ms
(- (* 2.0 (* a c)) (+ (* 2.0 (* a b)) (* 1.6666666666666667 b)))
300.0ms
(+ x (* y (exp (- (* 2.0 (* a c)) (+ (* 2.0 (* a b)) (* 1.6666666666666667 b))))))
294.0ms
(- (* 2.0 (* a c)) (+ (* 2.0 (* a b)) (* 1.6666666666666667 b)))

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))
0.0b
(exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c)))
0.0b
(/ x (fma y (exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))) x))
0.0b
(fma y (exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

1.0ms
(exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c)))
0.0ms
(/ x (fma y (exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))) x))
0.0ms
(fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))

series497.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

262.0ms
(fma y (exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))) x)
129.0ms
(/ x (fma y (exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))) x))
81.0ms
(exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c)))

simplify1.4s

Counts
20 → 61
Calls

20 calls. Slowest were:

232.0ms
(- (+ (* 1.3333333333333333 (/ b t)) (+ (* 1.6666666666666667 c) 1)) (* 1.3333333333333333 (/ c t)))
176.0ms
(sqrt (fma y (exp (fma (/ 1.3333333333333333 t) (- b c) (* 1.6666666666666667 c))) x))
170.0ms
(- (+ (* 1.6666666666666667 c) (* 1.3333333333333333 (/ b t))) (* 1.3333333333333333 (/ c t)))

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes596.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (x y z t a b c)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2"
  (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))

Backtrace

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