Runtime

start772.0ms

Algorithm: intervals

setup488.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize112.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	(* (/ 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)))))
0.1b	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

rewrite1.6s

Algorithm

rewrite-expression-head

Counts

4 → 102

Calls

4 calls. Slowest were:

1.3s

(* (/ 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)))))

211.0ms

(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

53.0ms

(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))

series404.0ms

Counts

4 → 10

Calls

4 calls. Slowest were:

321.0ms

(* (/ 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)))))

46.0ms

(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

37.0ms

(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))

simplify22.8s

Counts

72 → 112

Calls

72 calls. Slowest were:

1.0s

(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 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)))) (+ (+ (+ (* 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))))) (+ (+ (+ (* 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))))))

908.0ms

(* 1 (+ (* (+ (pow (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) 3) (pow (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)) 21) (* (+ (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (- (* (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))

858.0ms

(* (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)))) (+ (+ (* 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))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (+ (* 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)))))))

prune3.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 2/3 (pow (fabs x) 3))
0.1b	(* (sqrt (/ 1 PI)) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7))))))
0.1b	(* 1/5 (pow (fabs x) 5))
0.1b	(* 1/21 (pow (fabs x) 7))

rewrite59.0ms

Algorithm

rewrite-expression-head

Counts

4 → 83

Calls

4 calls. Slowest were:

43.0ms	(* (sqrt (/ 1 PI)) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7))))))
5.0ms	(* 2/3 (pow (fabs x) 3))
4.0ms	(* 1/21 (pow (fabs x) 7))

series352.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

248.0ms	(* (sqrt (/ 1 PI)) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7))))))
41.0ms	(* 1/21 (pow (fabs x) 7))
35.0ms	(* 2/3 (pow (fabs x) 3))

simplify4.1s

Counts

56 → 95

Calls

56 calls. Slowest were:

488.0ms

(* (sqrt PI) (- (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7))))))

429.0ms

(* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7))))) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7)))))) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7)))))))

319.0ms

(* (sqrt (/ 1 PI)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* 1/21 (pow (fabs x) 7)))))

prune2.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (fabs x) 2/3)
0.1b	(* (* (sqrt (/ 1 PI)) 1) (fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5))))
0.1b	(* (pow (fabs x) 5) 1/5)
0.1b	(fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Counts

4 → 59

Calls

4 calls. Slowest were:

15.0ms	(* (* (sqrt (/ 1 PI)) 1) (fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5))))
6.0ms	(* (pow (fabs x) 5) 1/5)
2.0ms	(* (fabs x) 2/3)

series486.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

280.0ms

(* (* (sqrt (/ 1 PI)) 1) (fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5))))

146.0ms

(fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5)))

45.0ms

(* (pow (fabs x) 5) 1/5)

simplify3.5s

Counts

29 → 71

Calls

29 calls. Slowest were:

662.0ms

(* (* (sqrt 1) 1) (fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5))))

435.0ms

(* (* (sqrt (/ 1 PI)) 1) (fma (pow (fabs x) 7) 1/21 (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5))))

399.0ms

(* (fma (fabs x) (fma (* (fabs x) 2/3) (fabs x) 2) (* (pow (fabs x) 5) 1/5)) (* (sqrt (/ 1 PI)) 1))

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
0.3b	(* (fabs x) 1/21)
0.3b	(* 2/3 (fabs x))
0.2b	(* 1/5 (pow (fabs x) 4))

rewrite11.0ms

Algorithm

rewrite-expression-head

Counts

4 → 52

Calls

4 calls. Slowest were:

5.0ms	(* (fabs x) 1/21)
3.0ms	(* 1/5 (pow (fabs x) 4))
2.0ms	(* 2/3 (fabs x))

series42.0ms

Counts

4 → 10

Calls

4 calls. Slowest were:

24.0ms	(* 1/5 (pow (fabs x) 4))
9.0ms	(* (fabs x) 1/21)
8.0ms	(* 2/3 (fabs x))

simplify454.0ms

Counts

21 → 62

Calls

21 calls. Slowest were:

416.0ms

(fabs (* (* (/ 1 (sqrt PI)) 1) (fma (* 1/5 (pow (fabs x) 4)) (fabs x) (fma (* (* (fabs x) 1/21) (pow (fabs x) 4)) (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) (* 2/3 (fabs x)) (* 2 (fabs x)))))))

4.0ms

(* 2/3 (fabs x))

2.0ms

(* 1/21 (fabs x))

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes118.0ms

binary-search6.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 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)))))))

partition: contract violation expected: list? given: 0.16575770782052276 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.0m

Runtime

start772.0ms

setup488.0ms

localize112.0ms

rewrite1.6s

series404.0ms

simplify22.8s

prune3.1s

localize57.0ms

rewrite59.0ms

series352.0ms

simplify4.1s

prune2.7s

localize33.0ms

rewrite25.0ms

series486.0ms

simplify3.5s

prune1.8s

localize48.0ms

rewrite11.0ms

series42.0ms

simplify454.0ms

prune1.7s

regimes118.0ms

binary-search6.0ms

Backtrace