Error in 3.0m

Runtime

Time bar (total: 3.0m)Debug logProfile

start2.3s

Algorithm
intervals

setup205.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.2b

localize67.0ms

Local error

Found 4 expressions with local error:

29.2b
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
2.9b
(* (/ 2 t) (* (/ l t) (/ l t)))
2.3b
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
0.3b
(* (sin k) (tan k))

rewrite58.0ms

Algorithm
rewrite-expression-head
Counts
4 → 140
Calls

4 calls. Slowest were:

22.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
15.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
14.0ms
(* (/ 2 t) (* (/ l t) (/ l t)))

series633.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

293.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
259.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
44.0ms
(* (sin k) (tan k))

simplify28.7s

Counts
110 → 152
Calls

110 calls. Slowest were:

1.3s
(/ (/ (* (* (* (/ 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)) (/ 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.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))))

prune2.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 12.2b

localize14.0ms

Local error

Found 4 expressions with local error:

18.1b
(/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t))
7.8b
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))
1.7b
(/ (* (/ l t) (/ l t)) (tan k))
0.4b
(/ (/ 2 k) (sin k))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
4 → 208
Calls

4 calls. Slowest were:

15.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))
15.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t))
9.0ms
(/ (* (/ l t) (/ l t)) (tan k))

series534.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

203.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t))
165.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (* (/ l t) (/ l t)) (tan k)) (/ k t)))
140.0ms
(/ (* (/ l t) (/ l t)) (tan k))

simplify24.9s

Counts
215 → 220
Calls

215 calls. Slowest were:

783.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (cbrt (/ k t)))
757.0ms
(/ (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))) (* (* (tan k) (tan k)) (tan k)))
680.0ms
(+ (log (/ (/ 2 k) (sin k))) (- (- (+ (log (/ l t)) (log (/ l t))) (log (tan k))) (log (/ k t))))

prune3.3s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 5.5b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Counts
4 → 156
Calls

4 calls. Slowest were:

20.0ms
(* (* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1)) (/ (/ l k) (tan k)))
8.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1))
4.0ms
(/ (/ l k) (tan k))

series406.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

151.0ms
(* (* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1)) (/ (/ l k) (tan k)))
126.0ms
(/ (/ l k) (tan k))
85.0ms
(* (/ (/ 2 k) (sin k)) (/ (/ (/ l t) 1) 1))

simplify11.3s

Counts
144 → 168
Calls

144 calls. Slowest were:

817.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)))
604.0ms
(* (* (/ 2 k) (/ (/ (/ l t) 1) 1)) (/ l k))
580.0ms
(* (* (/ 2 k) (/ (/ l t) 1)) (/ l k))

prune2.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Counts
4 → 186
Calls

4 calls. Slowest were:

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

series456.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

211.0ms
(/ (/ (* (/ l k) (/ 2 t)) (/ (tan k) (/ l k))) (* (sin k) 1))
137.0ms
(/ (* (/ l k) (/ 2 t)) (/ (tan k) (/ l k)))
80.0ms
(/ (tan k) (/ l k))

simplify23.7s

Counts
196 → 198
Calls

196 calls. Slowest were:

718.0ms
(- (- (+ (log (/ l k)) (log (/ 2 t))) (- (log (tan k)) (log (/ l k)))) (log (* (sin k) 1)))
611.0ms
(- (log (* (/ l k) (/ 2 t))) (log (/ (tan k) (/ l k))))
563.0ms
(/ (/ (* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ 2 t) (/ 2 t)) (/ 2 t))) (* (* (/ (tan k) (/ l k)) (/ (tan k) (/ l k))) (/ (tan k) (/ l k)))) (* (* (* (sin k) 1) (* (sin k) 1)) (* (sin k) 1)))

prune2.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0b

regimes323.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +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.9930624867442237 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