Error in 2.2m

Runtime

Time bar (total: 2.2m)Debug log

start2.7s

Algorithm
intervals

setup650.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

24.0ms
(- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f))))
4.0ms
(* (/ PI 4) f)
4.0ms
(* (/ PI 4) f)

series344.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

143.0ms
(- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f))))
78.0ms
(* (/ PI 4) f)
65.0ms
(* (/ PI 4) f)

simplify1.8s

Counts
45 → 85
Calls

45 calls. Slowest were:

365.0ms
(+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5)))))
95.0ms
(fma 1 (exp (* (/ PI 4) f)) (- (* (cbrt (exp (- (* (/ PI 4) f)))) (* (cbrt (exp (- (* (/ PI 4) f)))) (cbrt (exp (- (* (/ PI 4) f))))))))
75.0ms
(fma 1 (exp (* (/ PI 4) f)) (- (* (sqrt (exp (- (* (/ PI 4) f)))) (sqrt (exp (- (* (/ PI 4) f)))))))

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize92.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow PI 3)
1.0b
(pow PI 5)
0.5b
(* (/ 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)

rewrite55.0ms

Algorithm
rewrite-expression-head
Counts
4 → 92
Calls

4 calls. Slowest were:

51.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
(* f PI)

series516.0ms

Counts
4 → 8
Calls

4 calls. Slowest were:

480.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))))))))
35.0ms
(* f PI)
0.0ms
(pow PI 3)

simplify13.1s

Counts
56 → 100
Calls

56 calls. Slowest were:

381.0ms
(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
(cbrt (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))))))))
364.0ms
(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)))))))

prune4.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

30.0ms
(/ (log (/ (+ (exp (* (- f) (/ PI 4))) (exp (/ (* f PI) 4))) (fma PI (fma (* PI PI) (* (* 1/192 f) (* f f)) (* f 1/2)) (* (pow f 5) (* (pow PI 5) 1/61440))))) (/ PI 4))
7.0ms
(* (- f) (/ PI 4))
0.0ms
(pow PI 5)

series495.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

391.0ms
(/ (log (/ (+ (exp (* (- f) (/ PI 4))) (exp (/ (* f PI) 4))) (fma PI (fma (* PI PI) (* (* 1/192 f) (* f f)) (* f 1/2)) (* (pow f 5) (* (pow PI 5) 1/61440))))) (/ PI 4))
56.0ms
(* (- f) (/ PI 4))
48.0ms
(* f PI)

simplify8.9s

Counts
61 → 93
Calls

61 calls. Slowest were:

465.0ms
(/ (log (/ (+ (exp (* (- f) (/ PI 4))) (exp (/ (* f PI) 4))) (fma PI (fma (* PI PI) (* (* 1/192 f) (* f f)) (* f 1/2)) (* (pow f 5) (* (pow PI 5) 1/61440))))) (sqrt (/ PI 4)))
460.0ms
(/ (sqrt (log (/ (+ (exp (* (- f) (/ PI 4))) (exp (/ (* f PI) 4))) (fma PI (fma (* PI PI) (* (* 1/192 f) (* f f)) (* f 1/2)) (* (pow f 5) (* (pow PI 5) 1/61440)))))) 1)
446.0ms
(/ (log (/ (+ (exp (* (- f) (/ PI 4))) (exp (/ (* f PI) 4))) (fma PI (fma (* PI PI) (* (* 1/192 f) (* f f)) (* f 1/2)) (* (pow f 5) (* (pow PI 5) 1/61440))))) (cbrt (/ PI 4)))

prune3.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

33.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
(* f PI)
0.0ms
(pow PI 3)

series549.0ms

Counts
4 → 8
Calls

4 calls. Slowest were:

521.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))))))))
28.0ms
(* f PI)
0.0ms
(pow PI 3)

simplify11.7s

Counts
59 → 102
Calls

59 calls. Slowest were:

524.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)))))))))
421.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)))))))))
395.0ms
(* (log (/ 1 (+ (* 1/2 (* f PI)) (+ (* 1/192 (* (pow f 3) (pow PI 3))) (* 1/61440 (* (pow f 5) (pow PI 5))))))) (sqrt (/ 1 (/ PI 4))))

prune4.5s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes394.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.7447464770202558 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