Error in 3.5m

Runtime

Time bar (total: 3.5m)Debug log

start2.4s

Algorithm
intervals

setup187.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 33.4b

localize74.0ms

Local error

Found 4 expressions with local error:

32.1b
(/ (/ (/ 2 (tan k)) (/ (* (sin k) t) (* (/ l t) (/ l t)))) (* (/ k t) (/ k t)))
2.3b
(/ (* (sin k) t) (* (/ l t) (/ l t)))
1.1b
(/ (/ 2 (tan k)) (/ (* (sin k) t) (* (/ l t) (/ l t))))
0.2b
(* (/ l t) (/ l t))

rewrite36.0ms

Algorithm
rewrite-expression-head
Counts
4 → 237
Calls

4 calls. Slowest were:

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

series625.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

261.0ms
(/ (/ 2 (tan k)) (/ (* (sin k) t) (* (/ l t) (/ l t))))
241.0ms
(/ (/ (/ 2 (tan k)) (/ (* (sin k) t) (* (/ l t) (/ l t)))) (* (/ k t) (/ k t)))
101.0ms
(/ (* (sin k) t) (* (/ l t) (/ l t)))

simplify1.0m

Counts
285 → 249
Calls

285 calls. Slowest were:

1.0s
(* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))
802.0ms
(/ (/ 1 (tan k)) (/ 1 (* (/ l t) (/ l t))))
800.0ms
(- (- (log (/ 2 (tan k))) (- (log (* (sin k) t)) (+ (log (/ l t)) (log (/ l t))))) (log (* (/ k t) (/ k t))))

prune3.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.3b

localize40.0ms

Local error

Found 4 expressions with local error:

14.6b
(/ (/ (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k)))) (/ (sin k) (/ l t))) (/ k t))
6.6b
(* (/ 1 k) (/ l t))
2.5b
(/ (sin k) (/ l t))
1.1b
(/ (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k)))) (/ (sin k) (/ l t)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 247
Calls

4 calls. Slowest were:

13.0ms
(/ (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k)))) (/ (sin k) (/ l t)))
9.0ms
(/ (/ (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k)))) (/ (sin k) (/ l t))) (/ k t))
3.0ms
(/ (sin k) (/ l t))

series920.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

418.0ms
(/ (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k)))) (/ (sin k) (/ l t)))
412.0ms
(/ (/ (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k)))) (/ (sin k) (/ l t))) (/ k t))
69.0ms
(/ (sin k) (/ l t))

simplify37.1s

Counts
331 → 259
Calls

331 calls. Slowest were:

836.0ms
(- (log (* (cbrt (/ 2 (tan k))) (cbrt (/ 2 (tan k))))) (- (log (sin k)) (log (/ l t))))
602.0ms
(/ (/ (cbrt (/ 2 (tan k))) (/ (cbrt (sin k)) (/ l t))) (/ 1 t))
587.0ms
(/ (/ (cbrt (/ 2 (tan k))) (/ (* (cbrt (sin k)) (cbrt (sin k))) (* (cbrt (/ l t)) (cbrt (/ l t))))) (sqrt (/ k t)))

prune4.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.1b

localize14.0ms

Local error

Found 4 expressions with local error:

6.6b
(* (/ 1 k) (/ l t))
1.0b
(* (* (/ (cbrt (/ 2 (tan k))) k) (/ (cbrt (/ 2 (tan k))) (/ (sin k) l))) (* (* (/ 1 k) (/ l t)) (cbrt (/ 2 (tan k)))))
0.5b
(cbrt (/ 2 (tan k)))
0.5b
(cbrt (/ 2 (tan k)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Counts
4 → 115
Calls

4 calls. Slowest were:

44.0ms
(* (* (/ (cbrt (/ 2 (tan k))) k) (/ (cbrt (/ 2 (tan k))) (/ (sin k) l))) (* (* (/ 1 k) (/ l t)) (cbrt (/ 2 (tan k)))))
3.0ms
(* (/ 1 k) (/ l t))
3.0ms
(cbrt (/ 2 (tan k)))

series715.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

243.0ms
(cbrt (/ 2 (tan k)))
231.0ms
(* (* (/ (cbrt (/ 2 (tan k))) k) (/ (cbrt (/ 2 (tan k))) (/ (sin k) l))) (* (* (/ 1 k) (/ l t)) (cbrt (/ 2 (tan k)))))
229.0ms
(cbrt (/ 2 (tan k)))

simplify17.5s

Counts
112 → 127
Calls

112 calls. Slowest were:

790.0ms
(* (* (/ (cbrt (/ 2 (tan k))) k) (cbrt (/ 2 (tan k)))) (* (* (/ 1 k) (/ l t)) (cbrt (/ 2 (tan k)))))
726.0ms
(+ (+ (log (/ (cbrt (/ 2 (tan k))) k)) (log (/ (cbrt (/ 2 (tan k))) (/ (sin k) l)))) (+ (+ (log (/ 1 k)) (log (/ l t))) (log (cbrt (/ 2 (tan k))))))
722.0ms
(+ (+ (log (/ (cbrt (/ 2 (tan k))) k)) (- (log (cbrt (/ 2 (tan k)))) (log (/ (sin k) l)))) (+ (log (* (/ 1 k) (/ l t))) (log (cbrt (/ 2 (tan k))))))

prune2.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

3.5b
(* (* k (/ (sin k) l)) t)
0.3b
(/ (* (/ l k) 2) (tan k))
0.2b
(* k (/ (sin k) l))
0.2b
(/ (/ (* (/ l k) 2) (tan k)) (* (* k (/ (sin k) l)) t))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

8.0ms
(/ (/ (* (/ l k) 2) (tan k)) (* (* k (/ (sin k) l)) t))
5.0ms
(/ (* (/ l k) 2) (tan k))
3.0ms
(* (* k (/ (sin k) l)) t)

series503.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

212.0ms
(/ (/ (* (/ l k) 2) (tan k)) (* (* k (/ (sin k) l)) t))
135.0ms
(/ (* (/ l k) 2) (tan k))
85.0ms
(* (* k (/ (sin k) l)) t)

simplify5.0s

Counts
59 → 89
Calls

59 calls. Slowest were:

423.0ms
(* 2 (/ (* l (cos k)) (* k (sin k))))
418.0ms
(/ (* (/ l k) 2) (* k (/ (sin k) l)))
378.0ms
(* 2 (/ (* l (cos k)) (* k (sin k))))

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

regimes278.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: 0.3460690328740471 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