Error in 50.3s

Runtime

Time bar (total: 50.3s)Debug log

start1.7s

Algorithm
intervals

setup224.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.5b

localize38.0ms

Local error

Found 4 expressions with local error:

7.1b
(/ (tan (* PI l)) (* F F))
4.2b
(tan (* PI l))
0.2b
(* PI l)
0.2b
(* PI l)

rewrite17.0ms

Algorithm
rewrite-expression-head
Counts
4 → 44
Calls

4 calls. Slowest were:

11.0ms
(/ (tan (* PI l)) (* F F))
3.0ms
(tan (* PI l))
0.0ms
(* PI l)

series265.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

150.0ms
(/ (tan (* PI l)) (* F F))
44.0ms
(* PI l)
41.0ms
(tan (* PI l))

simplify1.0s

Counts
23 → 56
Calls

23 calls. Slowest were:

399.0ms
(+ (/ (* PI l) (pow F 2)) (+ (* 2/15 (/ (* (pow PI 5) (pow l 5)) (pow F 2))) (* 1/3 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))))
271.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
244.0ms
(/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* (* F F) (* F F)) (* F F)))

prune577.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.5b

localize19.0ms

Local error

Found 4 expressions with local error:

4.2b
(tan (* PI l))
0.2b
(* PI l)
0.2b
(* PI l)
0.2b
(/ (tan (* PI l)) F)

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 38
Calls

4 calls. Slowest were:

7.0ms
(/ (tan (* PI l)) F)
3.0ms
(tan (* PI l))
0.0ms
(* PI l)

series201.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

96.0ms
(/ (tan (* PI l)) F)
43.0ms
(tan (* PI l))
35.0ms
(* PI l)

simplify508.0ms

Counts
15 → 50
Calls

15 calls. Slowest were:

295.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
163.0ms
(+ (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)) (+ (/ (* PI l) F) (* 2/15 (/ (* (pow PI 5) (pow l 5)) F))))
6.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))

prune499.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.4b

localize8.0ms

Local error

Found 4 expressions with local error:

4.2b
(tan (* PI l))
0.2b
(* PI l)
0.2b
(* PI l)
0.2b
(* (/ 1 F) (/ (tan (* PI l)) F))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 46
Calls

4 calls. Slowest were:

6.0ms
(* (/ 1 F) (/ (tan (* PI l)) F))
2.0ms
(tan (* PI l))
0.0ms
(* PI l)

series219.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

112.0ms
(* (/ 1 F) (/ (tan (* PI l)) F))
51.0ms
(tan (* PI l))
30.0ms
(* PI l)

simplify1.4s

Counts
24 → 58
Calls

24 calls. Slowest were:

546.0ms
(* (* (* (/ 1 F) (/ 1 F)) (/ 1 F)) (* (* (/ (tan (* PI l)) F) (/ (tan (* PI l)) F)) (/ (tan (* PI l)) F)))
392.0ms
(+ (/ (* PI l) (pow F 2)) (* 1/3 (/ (* (pow PI 3) (pow l 3)) (pow F 2))))
245.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))

prune637.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.4b

localize14.0ms

Local error

Found 4 expressions with local error:

4.2b
(tan (* PI l))
0.7b
(cbrt (/ 1 F))
0.7b
(cbrt (/ 1 F))
0.7b
(cbrt (/ 1 F))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 47
Calls

4 calls. Slowest were:

2.0ms
(tan (* PI l))
0.0ms
(cbrt (/ 1 F))
0.0ms
(cbrt (/ 1 F))

series906.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

304.0ms
(cbrt (/ 1 F))
280.0ms
(cbrt (/ 1 F))
276.0ms
(cbrt (/ 1 F))

simplify301.0ms

Counts
27 → 59
Calls

27 calls. Slowest were:

235.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
4.0ms
(cbrt (* (cbrt (/ 1 F)) (cbrt (/ 1 F))))
4.0ms
(cbrt (* (cbrt (/ 1 F)) (cbrt (/ 1 F))))

prune714.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 0.4b

regimes471.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (F l)
  :name "VandenBroeck and Keller, Equation (6)"
  (- (* PI l) (* (/ 1 (* F F)) (tan (* PI l)))))

Backtrace

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