Error in 2.9m

Runtime

Time bar (total: 2.9m)Debug logProfile

start5.4s

Algorithm
intervals

setup558.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize144.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.9b
(pow (/ 1 (fabs x)) 4)

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

1.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series19.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

19.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify608.0ms

Counts
15 → 47
Calls

15 calls. Slowest were:

232.0ms
(+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))
178.0ms
(+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))
159.0ms
(+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))

prune1.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize60.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.9b
(pow (/ 1 (fabs x)) 4)

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

1.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series19.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

19.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify333.0ms

Counts
15 → 47
Calls

15 calls. Slowest were:

118.0ms
(+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))
105.0ms
(+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))
72.0ms
(+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.6b

localize43.0ms

Local error

Found 4 expressions with local error:

1.1b
(pow (/ 1 (fabs x)) 5)
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

1.0ms
(pow (/ 1 (fabs x)) 5)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series35.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

34.0ms
(pow (/ 1 (fabs x)) 5)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify387.0ms

Counts
15 → 47
Calls

15 calls. Slowest were:

137.0ms
(+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))
108.0ms
(+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))
92.0ms
(+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))

prune1.3s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.3b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.9b
(pow (/ 1 (fabs x)) 4)

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

1.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series19.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

19.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify54.0ms

Counts
15 → 47
Calls

15 calls. Slowest were:

13.0ms
(* (log (/ 1 (fabs x))) 4)
6.0ms
(* (- (log (fabs x))) 4)
5.0ms
(pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4)

prune1.4s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes738.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "Jmat.Real.erfi, branch x greater than or equal to 5"
  (* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))))

Backtrace

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