Error in 2.3m

Runtime

Time bar (total: 2.3m)Debug logProfile

start766.0ms

Algorithm
intervals

setup159.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.6b

localize47.0ms

Local error

Found 4 expressions with local error:

14.5b
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (+ (* (/ k t) (/ k t)) 2))
8.8b
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
2.2b
(* (/ 2 t) (* (/ l t) (/ l t)))
0.2b
(* (sin k) (tan k))

rewrite62.0ms

Algorithm
rewrite-expression-head
Counts
4 → 131
Calls

4 calls. Slowest were:

23.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
16.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (+ (* (/ k t) (/ k t)) 2))
13.0ms
(* (/ 2 t) (* (/ l t) (/ l t)))

series598.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

260.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
237.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (+ (* (/ k t) (/ k t)) 2))
68.0ms
(* (sin k) (tan k))

simplify23.5s

Counts
123 → 143
Calls

123 calls. Slowest were:

769.0ms
(/ (/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (sin k) (tan k)) (* (sin k) (tan k))) (* (sin k) (tan k)))) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))
746.0ms
(/ (sqrt (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))) (+ (* (/ k t) (/ k t)) 2))
724.0ms
(/ (/ (* (* (* (/ 2 t) (* (/ l t) (/ l t))) (* (/ 2 t) (* (/ l t) (/ l t)))) (* (/ 2 t) (* (/ l t) (/ l t)))) (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k)))) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))

prune2.2s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 12.8b

localize22.0ms

Local error

Found 4 expressions with local error:

11.5b
(/ (/ (/ 2 t) (sin k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
10.1b
(/ (/ (* (/ l t) (/ l t)) (tan k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
9.6b
(sqrt (+ (* (/ k t) (/ k t)) 2))
9.6b
(sqrt (+ (* (/ k t) (/ k t)) 2))

rewrite35.0ms

Algorithm
rewrite-expression-head
Counts
4 → 244
Calls

4 calls. Slowest were:

11.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
10.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
4.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))

series433.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

247.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
122.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
38.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))

simplify23.1s

Counts
362 → 256
Calls

362 calls. Slowest were:

877.0ms
(sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3)))
873.0ms
(sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3)))
640.0ms
(/ (* (* (/ (/ 2 t) (sin k)) (/ (/ 2 t) (sin k))) (/ (/ 2 t) (sin k))) (* (* (sqrt (+ (* (/ k t) (/ k t)) 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) (sqrt (+ (* (/ k t) (/ k t)) 2))))

prune4.6s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 12.5b

localize19.0ms

Local error

Found 4 expressions with local error:

11.5b
(/ (/ (/ 2 t) (sin k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
10.9b
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
10.9b
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
9.6b
(sqrt (+ (* (/ k t) (/ k t)) 2))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 185
Calls

4 calls. Slowest were:

13.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))
6.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
4.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))

series438.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

154.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
131.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
128.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (+ (* (/ k t) (/ k t)) 2)))

simplify14.8s

Counts
258 → 197
Calls

258 calls. Slowest were:

1.1s
(sqrt (sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3))))
940.0ms
(sqrt (sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3))))
909.0ms
(sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3)))

prune4.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 12.5b

localize14.0ms

Local error

Found 4 expressions with local error:

11.0b
(/ (/ 2 t) (/ (sqrt (+ (* (/ k t) (/ k t)) 2)) (/ 1 (sin k))))
10.9b
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
10.9b
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
9.6b
(sqrt (+ (* (/ k t) (/ k t)) 2))

rewrite39.0ms

Algorithm
rewrite-expression-head
Counts
4 → 216
Calls

4 calls. Slowest were:

14.0ms
(/ (/ 2 t) (/ (sqrt (+ (* (/ k t) (/ k t)) 2)) (/ 1 (sin k))))
9.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
7.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))

series434.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

160.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
142.0ms
(sqrt (sqrt (+ (* (/ k t) (/ k t)) 2)))
106.0ms
(/ (/ 2 t) (/ (sqrt (+ (* (/ k t) (/ k t)) 2)) (/ 1 (sin k))))

simplify28.3s

Counts
307 → 228
Calls

307 calls. Slowest were:

846.0ms
(sqrt (sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3))))
781.0ms
(sqrt (sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3))))
768.0ms
(sqrt (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3)))

prune5.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 12.5b

regimes440.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))))

Backtrace

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