Error in 16.0s

Runtime

Time bar (total: 16.0s)Debug logProfile

start209.0ms

Algorithm
intervals

setup415.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.2b

localize65.0ms

Local error

Found 2 expressions with local error:

36.5b
(cos (- (/ (* K (+ m n)) 2) M))
0.0b
(pow (- (/ (+ m n) 2) M) 2)

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
2 → 24
Calls

2 calls. Slowest were:

6.0ms
(pow (- (/ (+ m n) 2) M) 2)
6.0ms
(cos (- (/ (* K (+ m n)) 2) M))

series140.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

70.0ms
(cos (- (/ (* K (+ m n)) 2) M))
70.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify635.0ms

Counts
14 → 30
Calls

14 calls. Slowest were:

108.0ms
(- (pow M 2) (+ (* m M) (* M n)))
107.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))
100.0ms
(- (pow M 2) (+ (* m M) (* M n)))

prune616.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.4b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(pow (- (/ (+ m n) 2) M) 2)

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
1 → 14
Calls

1 calls. Slowest were:

10.0ms
(pow (- (/ (+ m n) 2) M) 2)

series63.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

62.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify287.0ms

Counts
8 → 17
Calls

8 calls. Slowest were:

90.0ms
(- (pow M 2) (+ (* m M) (* M n)))
88.0ms
(- (pow M 2) (+ (* m M) (* M n)))
52.0ms
(+ (* 1/2 (* m n)) (+ (* 1/4 (pow m 2)) (* 1/4 (pow n 2))))

prune337.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.4b

localize23.0ms

Local error

Found 4 expressions with local error:

36.5b
(cos (- (/ (* K (+ m n)) 2) M))
36.5b
(cos (- (/ (* K (+ m n)) 2) M))
36.5b
(cos (- (/ (* K (+ m n)) 2) M))
0.5b
(cbrt (cos (- (/ (* K (+ m n)) 2) M)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

6.0ms
(cos (- (/ (* K (+ m n)) 2) M))
5.0ms
(cos (- (/ (* K (+ m n)) 2) M))
5.0ms
(cos (- (/ (* K (+ m n)) 2) M))

series451.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

234.0ms
(cbrt (cos (- (/ (* K (+ m n)) 2) M)))
85.0ms
(cos (- (/ (* K (+ m n)) 2) M))
71.0ms
(cos (- (/ (* K (+ m n)) 2) M))

simplify1.1s

Counts
24 → 53
Calls

24 calls. Slowest were:

111.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))
110.0ms
(pow (cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M)) 1/3)
81.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.4b

localize14.0ms

Local error

Found 4 expressions with local error:

36.5b
(cos (- (/ (* K (+ m n)) 2) M))
36.5b
(cos (- (/ (* K (+ m n)) 2) M))
36.5b
(cos (- (/ (* K (+ m n)) 2) M))
0.6b
(cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

15.0ms
(cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M))))
7.0ms
(cos (- (/ (* K (+ m n)) 2) M))
5.0ms
(cos (- (/ (* K (+ m n)) 2) M))

series304.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(cbrt (* (* (cos (- (/ (* K (+ m n)) 2) M)) (cos (- (/ (* K (+ m n)) 2) M))) (cos (- (/ (* K (+ m n)) 2) M))))
78.0ms
(cos (- (/ (* K (+ m n)) 2) M))
68.0ms
(cos (- (/ (* K (+ m n)) 2) M))

simplify1.4s

Counts
24 → 53
Calls

24 calls. Slowest were:

215.0ms
(cbrt (* (+ (cos (+ (- (/ (* K (+ m n)) 2) M) (- (/ (* K (+ m n)) 2) M))) (cos (- (- (/ (* K (+ m n)) 2) M) (- (/ (* K (+ m n)) 2) M)))) (cos (- (/ (* K (+ m n)) 2) M))))
104.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))
91.0ms
(cos (- (+ (* 1/2 (* m K)) (* 1/2 (* K n))) M))

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.4b

regimes426.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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.3484265295704954 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