Error in 35.5s

Runtime

Time bar (total: 35.5s)Debug logProfile

start472.0ms

Algorithm
intervals

setup304.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize60.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))

rewrite81.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

42.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))
18.0ms
(* (* (fabs x) (fabs x)) (fabs x))

series71.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

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

simplify2.5s

Counts
63 → 91
Calls

63 calls. Slowest were:

503.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))))
477.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))))
255.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))))

prune2.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize43.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))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

20.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
17.0ms
(* (* (fabs x) (fabs x)) (fabs x))
9.0ms
(* (* (fabs x) (fabs x)) (fabs x))

series76.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

39.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
23.0ms
(* (* (fabs x) (fabs x)) (fabs x))
14.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify2.7s

Counts
63 → 91
Calls

63 calls. Slowest were:

587.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))))
541.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))))
316.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.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite114.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

97.0ms
(* (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))))
8.0ms
(sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
8.0ms
(sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))

series199.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

74.0ms
(* (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))))
71.0ms
(sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
55.0ms
(sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))

simplify1.7s

Counts
36 → 67
Calls

36 calls. Slowest were:

365.0ms
(* (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
326.0ms
(* (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
298.0ms
(* (* (* (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (sqrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1/21 (sqrt PI))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 37
Calls

4 calls. Slowest were:

1.0ms
(/ 1/21 (sqrt PI))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series0.0ms

Counts
4 → 4
Calls

4 calls. Slowest were:

0.0ms
(/ 1/21 (sqrt PI))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify557.0ms

Counts
7 → 41
Calls

7 calls. Slowest were:

152.0ms
(fabs (+ (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (/ 1/21 (sqrt PI)) (* (* (fabs x) (fabs x)) (pow (fabs x) 5)))) (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI))))
143.0ms
(fabs (+ (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (/ 1/21 (sqrt PI)) (* (* (fabs x) (fabs x)) (pow (fabs x) 5)))) (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI))))
131.0ms
(fabs (+ (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (/ 1/21 (sqrt PI)) (* (* (fabs x) (fabs x)) (pow (fabs x) 5)))) (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI))))

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes116.0ms

Please include this information when filing a bug report:

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