Runtime

start415.0ms

Algorithm: intervals

setup292.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize84.0ms

Local error

Found 4 expressions with local error:

9.2b	(/ (* z (sqrt (+ t a))) t)
2.3b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.3b	(/ 2.0 (* t 3.0))
0.3b	(* z (sqrt (+ t a)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Counts

4 → 72

Calls

4 calls. Slowest were:

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

series285.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

145.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
73.0ms	(/ (* z (sqrt (+ t a))) t)
52.0ms	(* z (sqrt (+ t a)))

simplify8.4s

Counts

57 → 84

Calls

57 calls. Slowest were:

749.0ms

(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))) (* t (* (- (* b b) (* c c)) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))

551.0ms

(* t (* (+ b c) (* (- a (/ 5.0 6.0)) (* t 3.0))))

550.0ms

(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))) (* t (* (- (pow b 3) (pow c 3)) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))

prune2.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

2.3b	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
1.4b	(/ z (/ t (sqrt (+ t a))))
0.4b	(/ t (sqrt (+ t a)))
0.3b	(/ 2.0 (* t 3.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Counts

4 → 78

Calls

4 calls. Slowest were:

8.0ms	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
1.0ms	(/ t (sqrt (+ t a)))
1.0ms	(/ z (/ t (sqrt (+ t a))))

series302.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

175.0ms	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
72.0ms	(/ z (/ t (sqrt (+ t a))))
46.0ms	(/ t (sqrt (+ t a)))

simplify7.9s

Counts

62 → 90

Calls

62 calls. Slowest were:

455.0ms

(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))) (* (/ t (sqrt (+ t a))) (* (- (pow b 3) (pow c 3)) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))

443.0ms

(* (/ t (sqrt (+ t a))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))

385.0ms

(- (* z (* (+ b c) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))) (* (/ t (sqrt (+ t a))) (* (- (* b b) (* c c)) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))

prune2.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize107.0ms

Local error

Found 4 expressions with local error:

27.9b	(/ (- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
8.0b	(/ (* t (- b c)) (sqrt (+ a t)))
7.4b	(- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t)))))
3.6b	(* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))

rewrite247.0ms

Algorithm

rewrite-expression-head

Counts

4 → 192

Calls

4 calls. Slowest were:

109.0ms

(/ (- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))

73.0ms

(- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t)))))

51.0ms

(* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))

series2.7s

Counts

4 → 12

Calls

4 calls. Slowest were:

1.6s

(/ (- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))

839.0ms

(- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t)))))

194.0ms

(* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))

simplify44.1s

Counts

216 → 204

Calls

216 calls. Slowest were:

1.1s

(/ (* (* (- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t))))) (- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t)))))) (- (* (- a (/ 5.0 6.0)) (* z (* 3.0 t))) (* (* (- a (/ 5.0 6.0)) (- (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (/ (* t (- b c)) (sqrt (+ a t)))))) (* (* (* (/ t (sqrt (+ t a))) (/ t (sqrt (+ t a)))) (/ t (sqrt (+ t a)))) (* (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) (* t 3.0)))))

966.0ms

(- (* (* (- (pow a 3) (pow (/ 5.0 6.0) 3)) (* z (* 3.0 t))) (* (+ (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0) (sqrt (+ a t)))) (* (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* (* (- a (/ 5.0 6.0)) (- (* (* (* 3.0 t) (+ a (/ 5.0 6.0))) (* (* 3.0 t) (+ a (/ 5.0 6.0)))) (* 2.0 2.0))) (* t (- b c)))))

721.0ms

(- (* (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* z (* 3.0 t))) (* (* (+ a (/ 5.0 6.0)) (+ (* (* 3.0 t) (+ a (/ 5.0 6.0))) 2.0)) (sqrt (+ a t)))) (* (+ a (/ 5.0 6.0)) (* (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (* (* (* 3.0 t) (+ a (/ 5.0 6.0))) (* (* 3.0 t) (+ a (/ 5.0 6.0)))) (* 2.0 2.0))) (* t (- b c)))))

prune8.9s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize91.0ms

Local error

Found 4 expressions with local error:

22.9b	(/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t))))
5.7b	(* (/ (sqrt (+ t a)) t) (- (* (/ z 1) 1) (* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t)))))))
3.7b	(* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t)))))
0.4b	(* (* t 3.0) (sqrt (+ a t)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Counts

4 → 105

Calls

4 calls. Slowest were:

20.0ms

(* (/ (sqrt (+ t a)) t) (- (* (/ z 1) 1) (* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t)))))))

16.0ms

(* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t)))))

13.0ms

(/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t))))

series1.9s

Counts

4 → 12

Calls

4 calls. Slowest were:

1.4s

(* (/ (sqrt (+ t a)) t) (- (* (/ z 1) 1) (* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t)))))))

253.0ms

(* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t)))))

138.0ms

(/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t))))

simplify13.3s

Counts

86 → 117

Calls

86 calls. Slowest were:

829.0ms

(* (* (* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1)) (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1)) (/ (* (* (* t (- b c)) (* t (- b c))) (* t (- b c))) (* (* (* (* t 3.0) (* t 3.0)) (* t 3.0)) (* (* (sqrt (+ a t)) (sqrt (+ a t))) (sqrt (+ a t))))))

760.0ms

(* (sqrt (+ t a)) (- (* (* (/ z 1) 1) (* (/ z 1) 1)) (* (* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t))))) (* (/ (- (* (+ (/ 5.0 6.0) a) (* t 3.0)) 2.0) 1) (/ (* t (- b c)) (* (* t 3.0) (sqrt (+ a t))))))))

708.0ms

(* (* (* (* t 3.0) (* t 3.0)) (* t 3.0)) (* (* (sqrt (+ a t)) (sqrt (+ a t))) (sqrt (+ a t))))

prune4.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes869.0ms

binary-search8.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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)))))))))))

partition: contract violation expected: list? given: 3.2847041887554793 argument position: 2nd other arguments...: #<procedure:ordinary-value?>		L	C
partition	/home/p92/racket/collects/racket/list.rkt	555	0
errors-score	/data/pavpan/nightlies/herbie/develop/src/points.rkt	322	0
for-loop	/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt	75	12
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28
run	/home/p92/racket/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/home/p92/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28

Error in 1.9m

Runtime

start415.0ms

setup292.0ms

localize84.0ms

rewrite16.0ms

series285.0ms

simplify8.4s

prune2.6s

localize42.0ms

rewrite10.0ms

series302.0ms

simplify7.9s

prune2.6s

localize107.0ms

rewrite247.0ms

series2.7s

simplify44.1s

prune8.9s

localize91.0ms

rewrite56.0ms

series1.9s

simplify13.3s

prune4.1s

regimes869.0ms

binary-search8.0ms

Backtrace