Runtime

start554.0ms

Algorithm: intervals

setup268.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize91.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.3s

Algorithm

rewrite-expression-head

Counts

4 → 94

Calls

4 calls. Slowest were:

1.1s

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

201.0ms

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

20.0ms

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

series359.0ms

Counts

4 → 10

Calls

4 calls. Slowest were:

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

31.0ms

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

26.0ms

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

simplify20.6s

Counts

72 → 104

Calls

72 calls. Slowest were:

819.0ms

(* (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (/ 1 (sqrt PI)))

791.0ms

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

787.0ms

(* (/ 1 (sqrt PI)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))

prune2.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Counts

4 → 45

Calls

4 calls. Slowest were:

13.0ms	(* (fabs x) (* (fabs x) 1/21))
4.0ms	(* (fabs x) 1/21)
4.0ms	(* (fabs x) 2/3)

series47.0ms

Counts

4 → 10

Calls

4 calls. Slowest were:

20.0ms	(* (fabs x) (* (fabs x) 1/21))
14.0ms	(* (fabs x) 1/21)
13.0ms	(* (fabs x) 2/3)

simplify621.0ms

Counts

19 → 55

Calls

19 calls. Slowest were:

355.0ms

(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) 1/21) (* (fabs x) 1/21)) (* (fabs x) 1/21)))

205.0ms

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

11.0ms

(+ (log (fabs x)) (log (* (fabs x) 1/21)))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

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

rewrite88.0ms

Algorithm

rewrite-expression-head

Counts

4 → 75

Calls

4 calls. Slowest were:

76.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))))))
4.0ms	(* 2/3 (pow (fabs x) 3))
4.0ms	(* 1/5 (pow (fabs x) 5))

series313.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

224.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))))))
34.0ms	(* 1/5 (pow (fabs x) 5))
34.0ms	(* 1/21 (pow (fabs x) 7))

simplify4.1s

Counts

56 → 87

Calls

56 calls. Slowest were:

429.0ms

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

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

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

prune2.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Counts

4 → 75

Calls

4 calls. Slowest were:

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

series339.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

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

simplify4.3s

Counts

55 → 87

Calls

55 calls. Slowest were:

452.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)) (* (pow (fabs x) 7) 1/21)))) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* (pow (fabs x) 7) 1/21))))) (+ (* 1/5 (pow (fabs x) 5)) (+ (* 2 (fabs x)) (+ (* 2/3 (pow (fabs x) 3)) (* (pow (fabs x) 7) 1/21))))))

423.0ms

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

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

prune2.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes145.0ms

binary-search6.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.16891533023774064 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

start554.0ms

setup268.0ms

localize91.0ms

rewrite1.3s

series359.0ms

simplify20.6s

prune2.8s

localize82.0ms

rewrite23.0ms

series47.0ms

simplify621.0ms

prune1.4s

localize47.0ms

rewrite88.0ms

series313.0ms

simplify4.1s

prune2.7s

localize25.0ms

rewrite62.0ms

series339.0ms

simplify4.3s

prune2.4s

regimes145.0ms

binary-search6.0ms

Backtrace