Error in 19.8s

Runtime

Time bar (total: 19.8s)Debug log

start167.0ms

Algorithm
intervals

setup218.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize46.0ms

Local error

Found 3 expressions with local error:

35.6b
(cos (fma (/ K 2) (+ m n) (- M)))
0.0b
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) (- l (fabs (- m n))))
0.0b
(fma (/ K 2) (+ m n) (- M))

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
3 → 30
Calls

3 calls. Slowest were:

2.0ms
(cos (fma (/ K 2) (+ m n) (- M)))
0.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) (- l (fabs (- m n))))
0.0ms
(fma (/ K 2) (+ m n) (- M))

series214.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

99.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) (- l (fabs (- m n))))
69.0ms
(cos (fma (/ K 2) (+ m n) (- M)))
46.0ms
(fma (/ K 2) (+ m n) (- M))

simplify1.0s

Counts
10 → 39
Calls

10 calls. Slowest were:

172.0ms
(- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M)
167.0ms
(- (pow M 2) (+ (* m M) (* M n)))
152.0ms
(- (pow M 2) (+ (* m M) (* M n)))

prune790.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.9b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) (- l (fabs (- m n))))

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
1 → 10
Calls

1 calls. Slowest were:

0.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) (- l (fabs (- m n))))

series91.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

90.0ms
(fma (- (/ (+ m n) 2) M) (- (/ (+ m n) 2) M) (- l (fabs (- m n))))

simplify325.0ms

Counts
3 → 13
Calls

3 calls. Slowest were:

143.0ms
(- (pow M 2) (+ (* m M) (* M n)))
139.0ms
(- (pow M 2) (+ (* m M) (* M n)))
42.0ms
(- (+ l (* 1/4 (pow m 2))) (fabs (- m n)))

prune251.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.9b

localize29.0ms

Local error

Found 4 expressions with local error:

43.2b
(cos (* (* (cbrt (fma (/ K 2) (+ m n) (- M))) (cbrt (fma (/ K 2) (+ m n) (- M)))) (cbrt (fma (/ K 2) (+ m n) (- M)))))
12.7b
(cbrt (fma (/ K 2) (+ m n) (- M)))
12.7b
(cbrt (fma (/ K 2) (+ m n) (- M)))
12.7b
(cbrt (fma (/ K 2) (+ m n) (- M)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

16.0ms
(cos (* (* (cbrt (fma (/ K 2) (+ m n) (- M))) (cbrt (fma (/ K 2) (+ m n) (- M)))) (cbrt (fma (/ K 2) (+ m n) (- M)))))
1.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))
1.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))

series812.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

262.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))
260.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))
232.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))

simplify2.2s

Counts
21 → 60
Calls

21 calls. Slowest were:

332.0ms
(- (exp (* 1/3 (+ (log M) (log -1)))) (+ (* 1/6 (* m (* K (exp (* 1/3 (- (log -1) (* 2 (log M)))))))) (* 1/6 (* K (* n (exp (* 1/3 (- (log -1) (* 2 (log M))))))))))
311.0ms
(- (exp (* 1/3 (+ (log M) (log -1)))) (+ (* 1/6 (* m (* K (exp (* 1/3 (- (log -1) (* 2 (log M)))))))) (* 1/6 (* K (* n (exp (* 1/3 (- (log -1) (* 2 (log M))))))))))
233.0ms
(exp (* 1/3 (- (log 1/2) (+ (log (/ 1 m)) (log (/ 1 K))))))

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.9b

localize23.0ms

Local error

Found 4 expressions with local error:

43.2b
(cos (* (* (cbrt (fma (/ K 2) (+ m n) (- M))) (cbrt (fma (/ K 2) (+ m n) (- M)))) (cbrt (fma (/ K 2) (+ m n) (- M)))))
12.7b
(cbrt (fma (/ K 2) (+ m n) (- M)))
12.7b
(cbrt (fma (/ K 2) (+ m n) (- M)))
12.7b
(cbrt (fma (/ K 2) (+ m n) (- M)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

33.0ms
(cos (* (* (cbrt (fma (/ K 2) (+ m n) (- M))) (cbrt (fma (/ K 2) (+ m n) (- M)))) (cbrt (fma (/ K 2) (+ m n) (- M)))))
1.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))
1.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))

series812.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

275.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))
235.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))
227.0ms
(cbrt (fma (/ K 2) (+ m n) (- M)))

simplify2.0s

Counts
21 → 60
Calls

21 calls. Slowest were:

289.0ms
(- (exp (* 1/3 (+ (log M) (log -1)))) (+ (* 1/6 (* m (* K (exp (* 1/3 (- (log -1) (* 2 (log M)))))))) (* 1/6 (* K (* n (exp (* 1/3 (- (log -1) (* 2 (log M))))))))))
285.0ms
(- (exp (* 1/3 (+ (log M) (log -1)))) (+ (* 1/6 (* m (* K (exp (* 1/3 (- (log -1) (* 2 (log M)))))))) (* 1/6 (* K (* n (exp (* 1/3 (- (log -1) (* 2 (log M))))))))))
234.0ms
(- (exp (* 1/3 (+ (log M) (log -1)))) (+ (* 1/6 (* m (* K (exp (* 1/3 (- (log -1) (* 2 (log M)))))))) (* 1/6 (* K (* n (exp (* 1/3 (- (log -1) (* 2 (log M))))))))))

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.9b

regimes400.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (K m n M l)
  :name "Maksimov and Kolovsky, Equation (32)"
  (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))

Backtrace

partition: contract violation expected: list? given: 1.3982430865640092 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