Error in 1.8m

Runtime

Time bar (total: 1.8m)Debug logProfile

start998.0ms

Algorithm
intervals

setup233.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.6b

localize39.0ms

Local error

Found 4 expressions with local error:

14.5b
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (fma (/ 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))

rewrite47.0ms

Algorithm
rewrite-expression-head
Counts
4 → 137
Calls

4 calls. Slowest were:

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

series610.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

276.0ms
(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
237.0ms
(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (fma (/ k t) (/ k t) 2))
67.0ms
(* (sin k) (tan k))

simplify23.8s

Counts
121 → 149
Calls

121 calls. Slowest were:

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)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
822.0ms
(/ (/ (* (* (* (/ 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)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
818.0ms
(/ (/ (* (* (* (/ 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)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))

prune2.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 12.8b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 244
Calls

4 calls. Slowest were:

23.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (sqrt (fma (/ k t) (/ k t) 2)))
8.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (fma (/ k t) (/ k t) 2)))
2.0ms
(sqrt (fma (/ k t) (/ k t) 2))

series388.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

195.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (sqrt (fma (/ k t) (/ k t) 2)))
139.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (fma (/ k t) (/ k t) 2)))
30.0ms
(sqrt (fma (/ k t) (/ k t) 2))

simplify20.3s

Counts
354 → 256
Calls

354 calls. Slowest were:

422.0ms
(/ (/ (* (/ l t) (/ l t)) (tan k)) (sqrt (sqrt (fma (/ k t) (/ k t) 2))))
399.0ms
(/ (* (cbrt (/ (/ 2 t) (sin k))) (cbrt (/ (/ 2 t) (sin k)))) (sqrt (* (cbrt (fma (/ k t) (/ k t) 2)) (cbrt (fma (/ k t) (/ k t) 2)))))
362.0ms
(/ (/ (* (/ l t) (/ l t)) (sin k)) (sqrt (sqrt (fma (/ k t) (/ k t) 2))))

prune5.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 12.5b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 185
Calls

4 calls. Slowest were:

7.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (fma (/ k t) (/ k t) 2)))
1.0ms
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))
1.0ms
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))

series439.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

140.0ms
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))
135.0ms
(/ (/ (/ 2 t) (sin k)) (sqrt (fma (/ k t) (/ k t) 2)))
133.0ms
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))

simplify10.8s

Counts
250 → 197
Calls

250 calls. Slowest were:

571.0ms
(exp (* 1/4 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 k))))))
536.0ms
(exp (* 1/4 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 k))))))
339.0ms
(/ (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (sin k)) (cbrt (sin k)))) (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))))

prune4.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 12.5b

localize29.0ms

Local error

Found 4 expressions with local error:

11.1b
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))
11.1b
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))
11.1b
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))
10.9b
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

2.0ms
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))
2.0ms
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))
1.0ms
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))

series576.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

162.0ms
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))
155.0ms
(cbrt (sqrt (fma (/ k t) (/ k t) 2)))
131.0ms
(sqrt (sqrt (fma (/ k t) (/ k t) 2)))

simplify3.6s

Counts
38 → 78
Calls

38 calls. Slowest were:

545.0ms
(exp (* 1/6 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 k))))))
506.0ms
(exp (* 1/4 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 k))))))
504.0ms
(exp (* 1/6 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 k))))))

prune2.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 12.5b

regimes470.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: 13.020130442231292 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