Error in 2.6m

Runtime

Time bar (total: 2.6m)Debug log

start2.3s

Algorithm
intervals

setup138.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 33.3b

localize60.0ms

Local error

Found 4 expressions with local error:

32.1b
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
2.5b
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
2.0b
(* (/ 2 t) (* (/ l t) (/ l t)))
0.2b
(* (sin k) (tan k))

rewrite89.0ms

Algorithm
rewrite-expression-head
Counts
4 → 140
Calls

4 calls. Slowest were:

32.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
28.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
17.0ms
(* (/ 2 t) (* (/ l t) (/ l t)))

series604.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

302.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
222.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
57.0ms
(* (sin k) (tan k))

simplify27.7s

Counts
110 → 152
Calls

110 calls. Slowest were:

1.2s
(/ (/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k)))) (* (* (* (/ k t) (/ k t)) (/ k t)) (* (* (/ k t) (/ k t)) (/ k t))))
1.1s
(/ (/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k)))) (* (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* (/ k t) (/ k t))))
1.0s
(/ (/ (* (* (* (/ 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)) (* (/ k t) (/ k t))) (* (/ k t) (/ k t))))

prune2.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 12.9b

localize19.0ms

Local error

Found 4 expressions with local error:

20.0b
(/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t))
8.6b
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))
1.1b
(/ (* (/ l t) (/ l t)) (tan k))
0.3b
(/ (/ 2 k) (sin k))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
4 → 208
Calls

4 calls. Slowest were:

17.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t))
16.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))
7.0ms
(/ (* (/ l t) (/ l t)) (tan k))

series552.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

190.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t))
185.0ms
(/ (* (/ l t) (/ l t)) (tan k))
137.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))

simplify24.3s

Counts
215 → 220
Calls

215 calls. Slowest were:

805.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))
770.0ms
(/ (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))) (* (* (tan k) (tan k)) (tan k)))
703.0ms
(+ (log (/ (/ 2 k) (sin k))) (- (- (log (* (/ l t) (/ l t))) (log (tan k))) (log (/ k t))))

prune3.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.3b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Counts
4 → 156
Calls

4 calls. Slowest were:

42.0ms
(* (* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1)) (/ (/ l k) (tan k)))
15.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1))
6.0ms
(/ (/ 2 k) (sin k))

series495.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

185.0ms
(/ (/ l k) (tan k))
164.0ms
(* (* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1)) (/ (/ l k) (tan k)))
103.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1))

simplify11.3s

Counts
144 → 168
Calls

144 calls. Slowest were:

920.0ms
(* (* (* (/ (/ 2 k) (sin k)) (/ (/ 2 k) (sin k))) (/ (/ 2 k) (sin k))) (* (* (/ (/ (/ l t) 1) 1) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) 1) 1)))
756.0ms
(* (* (* (* (/ (/ 2 k) (sin k)) (/ (/ 2 k) (sin k))) (/ (/ 2 k) (sin k))) (* (* (/ (/ (/ l t) 1) 1) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) 1) 1))) (/ (* (* (/ l k) (/ l k)) (/ l k)) (* (* (tan k) (tan k)) (tan k))))
573.0ms
(* (* (/ 2 k) (/ (/ l t) 1)) (/ l k))

prune2.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 135
Calls

4 calls. Slowest were:

14.0ms
(* (/ (* (/ l k) (/ 2 t)) (sin k)) (/ (/ l k) (tan k)))
7.0ms
(/ (* (/ l k) (/ 2 t)) (sin k))
4.0ms
(* (/ l k) (/ 2 t))

series466.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

194.0ms
(* (/ (* (/ l k) (/ 2 t)) (sin k)) (/ (/ l k) (tan k)))
135.0ms
(/ (/ l k) (tan k))
108.0ms
(/ (* (/ l k) (/ 2 t)) (sin k))

simplify8.8s

Counts
113 → 147
Calls

113 calls. Slowest were:

684.0ms
(+ (- (+ (log (/ l k)) (log (/ 2 t))) (log (sin k))) (- (log (/ l k)) (log (tan k))))
457.0ms
(+ (- (log (* (/ l k) (/ 2 t))) (log (sin k))) (- (log (/ l k)) (log (tan k))))
430.0ms
(* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ 2 t) (/ 2 t)) (/ 2 t)))

prune2.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0b

regimes300.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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.9470473348343287 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