Error in 2.0m

Runtime

Time bar (total: 2.0m)Debug logProfile

start3.4s

Algorithm
intervals

setup225.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.6b

localize39.0ms

Local error

Found 4 expressions with local error:

3.3b
(- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f))))
0.3b
(* (/ PI 4) f)
0.3b
(* (/ PI 4) f)
0.3b
(* (/ PI 4) f)

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

12.0ms
(- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f))))
2.0ms
(* (/ PI 4) f)
2.0ms
(* (/ PI 4) f)

series318.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

138.0ms
(- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f))))
69.0ms
(* (/ PI 4) f)
63.0ms
(* (/ PI 4) f)

simplify1.9s

Counts
45 → 85
Calls

45 calls. Slowest were:

429.0ms
(+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))
91.0ms
(fma 1 (exp (* (/ PI 4) f)) (- (* (cbrt (exp (- (* (/ PI 4) f)))) (* (cbrt (exp (- (* (/ PI 4) f)))) (cbrt (exp (- (* (/ PI 4) f))))))))
91.0ms
(fma (* (cbrt (exp (* (/ PI 4) f))) (cbrt (exp (* (/ PI 4) f)))) (cbrt (exp (* (/ PI 4) f))) (- (* (cbrt (exp (- (* (/ PI 4) f)))) (* (cbrt (exp (- (* (/ PI 4) f)))) (cbrt (exp (- (* (/ PI 4) f))))))))

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize57.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow PI 3)
1.0b
(pow PI 5)
0.4b
(* (/ 1 (/ PI 4)) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
0.3b
(* f PI)

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
4 → 92
Calls

4 calls. Slowest were:

25.0ms
(* (/ 1 (/ PI 4)) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
1.0ms
(pow PI 3)
0.0ms
(pow PI 5)

series503.0ms

Counts
4 → 8
Calls

4 calls. Slowest were:

458.0ms
(* (/ 1 (/ PI 4)) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
45.0ms
(* f PI)
0.0ms
(pow PI 3)

simplify13.1s

Counts
56 → 100
Calls

56 calls. Slowest were:

411.0ms
(* 1 (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
373.0ms
(* (/ 1 (/ PI 4)) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (sqrt (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))))
366.0ms
(sqrt (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))

prune3.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow PI 3)
1.0b
(pow PI 5)
0.3b
(* (sqrt (/ 1 (/ PI 4))) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
0.3b
(* f PI)

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

26.0ms
(* (sqrt (/ 1 (/ PI 4))) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
0.0ms
(pow PI 3)
0.0ms
(pow PI 5)

series499.0ms

Counts
4 → 8
Calls

4 calls. Slowest were:

465.0ms
(* (sqrt (/ 1 (/ PI 4))) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))))
34.0ms
(* f PI)
0.0ms
(pow PI 3)

simplify11.9s

Counts
59 → 102
Calls

59 calls. Slowest were:

576.0ms
(* (* (* (sqrt (/ 1 (/ PI 4))) (sqrt (/ 1 (/ PI 4)))) (sqrt (/ 1 (/ PI 4)))) (* (* (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))))
519.0ms
(* (sqrt (/ 1 (/ PI 4))) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (sqrt (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))))
468.0ms
(* (sqrt (/ 1 (/ PI 4))) (log (cbrt (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))))

prune4.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow PI 3)
1.0b
(pow PI 5)
1.0b
(pow PI 5)
0.3b
(* 1/192 f)

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
4 → 42
Calls

4 calls. Slowest were:

0.0ms
(pow PI 3)
0.0ms
(pow PI 5)
0.0ms
(* 1/192 f)

series7.0ms

Counts
4 → 6
Calls

4 calls. Slowest were:

7.0ms
(* 1/192 f)
0.0ms
(pow PI 3)
0.0ms
(pow PI 5)

simplify387.0ms

Counts
6 → 48
Calls

6 calls. Slowest were:

135.0ms
(- (* (sqrt (/ 4 PI)) (+ (* (log (/ 1 (sqrt (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))) (sqrt (/ 1 (/ PI 4)))) (* (sqrt (/ 4 PI)) (log (/ (+ (exp (/ (* f PI) 4)) (exp (/ (- PI) (/ 4 f)))) (sqrt (fma PI (fma (* (* 1/192 f) f) (* PI (* f PI)) (* f 1/2)) (* (* (pow f 5) (pow PI 5)) 1/61440)))))))))
126.0ms
(- (* (sqrt (/ 4 PI)) (+ (* (log (/ 1 (sqrt (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))) (sqrt (/ 1 (/ PI 4)))) (* (sqrt (/ 4 PI)) (log (/ (+ (exp (/ (* f PI) 4)) (exp (/ (- PI) (/ 4 f)))) (sqrt (fma PI (fma (* (* 1/192 f) f) (* PI (* f PI)) (* f 1/2)) (* (* (pow f 5) (pow PI 5)) 1/61440)))))))))
120.0ms
(- (* (sqrt (/ 4 PI)) (+ (* (log (/ 1 (sqrt (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))))) (sqrt (/ 1 (/ PI 4)))) (* (sqrt (/ 4 PI)) (log (/ (+ (exp (/ (* f PI) 4)) (exp (/ (- PI) (/ 4 f)))) (sqrt (fma PI (fma (* (* 1/192 f) f) (* PI (* f PI)) (* f 1/2)) (* (* (pow f 5) (pow PI 5)) 1/61440)))))))))

prune2.9s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes319.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (f)
  :name "VandenBroeck and Keller, Equation (20)"
  (- (* (/ 1 (/ PI 4)) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))))))))

Backtrace

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