Error in 3.2m

Runtime

Time bar (total: 3.2m)Debug log

start797.0ms

Algorithm
intervals

setup172.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.4b

localize57.0ms

Local error

Found 4 expressions with local error:

16.5b
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (+ (* (/ k t) (/ k t)) 2))
9.0b
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
1.8b
(* (/ 2 t) (* (/ l t) (/ l t)))
0.2b
(* (/ l t) (/ l t))

rewrite56.0ms

Algorithm
rewrite-expression-head
Counts
4 → 138
Calls

4 calls. Slowest were:

19.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (+ (* (/ k t) (/ k t)) 2))
12.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
11.0ms
(* (/ l t) (/ l t))

series501.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

229.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
224.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (+ (* (/ k t) (/ k t)) 2))
29.0ms
(* (/ 2 t) (* (/ l t) (/ l t)))

simplify23.9s

Counts
129 → 150
Calls

129 calls. Slowest were:

947.0ms
(* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))
892.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)))
749.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) 1)

prune2.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.5b

localize36.0ms

Local error

Found 4 expressions with local error:

16.5b
(* (/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
3.0b
(/ (sin k) (/ l t))
3.0b
(/ (sin k) (/ l t))
2.2b
(/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Counts
4 → 159
Calls

4 calls. Slowest were:

47.0ms
(* (/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
14.0ms
(/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))
7.0ms
(/ (sin k) (/ l t))

series658.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

342.0ms
(* (/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
152.0ms
(/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))
87.0ms
(/ (sin k) (/ l t))

simplify18.8s

Counts
154 → 171
Calls

154 calls. Slowest were:

962.0ms
(* (/ (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t))))) (* (* (/ (cos k) (+ (* (/ k t) (/ k t)) 2)) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))))
822.0ms
(- (log (/ 2 t)) (+ (log (/ (sin k) (/ l t))) (log (/ (sin k) (/ l t)))))
784.0ms
(* (/ (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t))))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))))

prune3.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 13.0b

localize18.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))))
8.3b
(* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
3.0b
(/ (sin k) (/ l t))
3.0b
(/ (sin k) (/ l t))

rewrite65.0ms

Algorithm
rewrite-expression-head
Counts
4 → 337
Calls

4 calls. Slowest were:

37.0ms
(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))))
13.0ms
(* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
3.0ms
(/ (sin k) (/ l t))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

556.0ms
(* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
404.0ms
(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))))
76.0ms
(/ (sin k) (/ l t))

simplify44.9s

Counts
335 → 349
Calls

335 calls. Slowest were:

1.1s
(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t)))) (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t)))) (* (* (/ (cos k) (+ (* (/ k t) (/ k t)) 2)) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))))
982.0ms
(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t)))) (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))))
931.0ms
(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (/ (/ 2 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))))

prune6.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 12.9b

localize28.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (cbrt 2) (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))))
8.3b
(* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
3.0b
(/ (sin k) (/ l t))
3.0b
(/ (sin k) (/ l t))

rewrite136.0ms

Algorithm
rewrite-expression-head
Counts
4 → 348
Calls

4 calls. Slowest were:

77.0ms
(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (cbrt 2) (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))))
30.0ms
(* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
6.0ms
(/ (sin k) (/ l t))

series1.4s

Counts
4 → 12
Calls

4 calls. Slowest were:

754.0ms
(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (cbrt 2) (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))))
473.0ms
(* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))
77.0ms
(/ (sin k) (/ l t))

simplify45.6s

Counts
346 → 360
Calls

346 calls. Slowest were:

1.1s
(* (/ (* (/ 2 t) (/ 2 t)) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* 2 (* (/ (/ 1 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))))))
1.1s
(* (* (* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t)))) (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t)))) (* 2 (* (/ (/ 1 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (/ (cos k) (+ (* (/ k t) (/ k t)) 2)) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))))))
1.1s
(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* 2 (* (/ (/ 1 t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))))))

prune8.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 12.9b

regimes475.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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: 11.678261709907977 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