Error in 2.9m

Runtime

Time bar (total: 2.9m)Debug log

start5.0s

Algorithm
intervals

setup648.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

5.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
3.0ms
(pow (/ 1 (fabs x)) 4)
0.0ms
(sqrt PI)

series38.0ms

Counts
4 → 8
Calls

4 calls. Slowest were:

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

simplify730.0ms

Counts
48 → 84
Calls

48 calls. Slowest were:

212.0ms
(fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))
178.0ms
(* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))
162.0ms
(fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))

prune2.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.5b
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.5b
(* (/ 1 (fabs x)) (/ 1 (fabs x)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

10.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
9.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

series52.0ms

Counts
4 → 8
Calls

4 calls. Slowest were:

28.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
24.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify743.0ms

Counts
70 → 102
Calls

70 calls. Slowest were:

206.0ms
(* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))
178.0ms
(* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))
41.0ms
(+ (log (/ 1 (fabs x))) (log (/ 1 (fabs x))))

prune3.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 4 expressions with local error:

1.0b
(expm1 (log1p (sqrt PI)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.5b
(* (/ 1 (fabs x)) (/ 1 (fabs x)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

4.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(expm1 (log1p (sqrt PI)))
0.0ms
(sqrt PI)

series14.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

14.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(expm1 (log1p (sqrt PI)))
0.0ms
(sqrt PI)

simplify254.0ms

Counts
34 → 74
Calls

34 calls. Slowest were:

139.0ms
(* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))
23.0ms
(+ (log (/ 1 (fabs x))) (log (/ 1 (fabs x))))
21.0ms
(+ (- (log (fabs x))) (log (/ 1 (fabs x))))

prune2.6s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b
(expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

0.0ms
(expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series0.0ms

Counts
4 → 4
Calls

4 calls. Slowest were:

0.0ms
(expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify3.0ms

Counts
1 → 45
Calls

1 calls. Slowest were:

1.0ms
(sqrt (sqrt PI))

prune1.7s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.2b

regimes848.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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.6535234571706409 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