Error in 35.6s

Runtime

Time bar (total: 35.6s)Debug logProfile

start541.0ms

Algorithm
intervals

setup460.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))

rewrite76.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

32.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
23.0ms
(* (* (fabs x) (fabs x)) (fabs x))
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))

series82.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

35.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
24.0ms
(* (* (fabs x) (fabs x)) (fabs x))
22.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify2.6s

Counts
63 → 99
Calls

63 calls. Slowest were:

545.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
515.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
317.0ms
(fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))

prune2.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))

rewrite67.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

44.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
9.0ms
(* (* (fabs x) (fabs x)) (fabs x))
9.0ms
(* (* (fabs x) (fabs x)) (fabs x))

series72.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

28.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
22.0ms
(* (* (fabs x) (fabs x)) (fabs x))
22.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify2.8s

Counts
63 → 99
Calls

63 calls. Slowest were:

582.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
506.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
372.0ms
(fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))

prune2.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize44.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1/21 (sqrt PI))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.4b
(* 2/3 (fabs x))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

2.0ms
(* 2/3 (fabs x))
1.0ms
(/ 1/21 (sqrt PI))
0.0ms
(sqrt PI)

series14.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

14.0ms
(* 2/3 (fabs x))
0.0ms
(/ 1/21 (sqrt PI))
0.0ms
(sqrt PI)

simplify407.0ms

Counts
12 → 54
Calls

12 calls. Slowest were:

148.0ms
(fabs (fma (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (/ 1 (sqrt PI)) (* (* (pow (fabs x) 5) (* (fabs x) (fabs x))) (/ 1/21 (sqrt PI)))))
124.0ms
(fabs (fma (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (/ 1 (sqrt PI)) (* (* (pow (fabs x) 5) (* (fabs x) (fabs x))) (/ 1/21 (sqrt PI)))))
115.0ms
(fabs (fma (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (/ 1 (sqrt PI)) (* (* (pow (fabs x) 5) (* (fabs x) (fabs x))) (/ 1/21 (sqrt PI)))))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1/21 (sqrt PI))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.4b
(* 2/3 (fabs x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

2.0ms
(* 2/3 (fabs x))
1.0ms
(/ 1/21 (sqrt PI))
0.0ms
(sqrt PI)

series14.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

14.0ms
(* 2/3 (fabs x))
0.0ms
(/ 1/21 (sqrt PI))
0.0ms
(sqrt PI)

simplify619.0ms

Counts
12 → 54
Calls

12 calls. Slowest were:

216.0ms
(fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (* (/ 1/21 (sqrt PI)) (pow (fabs x) 6)) (fabs x))))
215.0ms
(fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (* (/ 1/21 (sqrt PI)) (pow (fabs x) 6)) (fabs x))))
170.0ms
(fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (* (/ 1/21 (sqrt PI)) (pow (fabs x) 6)) (fabs x))))

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes136.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erfi, branch x less than or equal to 0.5"
  (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))

Backtrace

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