Error in 24.4s

Runtime

Time bar (total: 24.4s)Debug log

start151.0ms

Algorithm
intervals

setup144.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.6b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite149.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

136.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
5.0ms
(cos (- (/ (* K (+ m n)) 2) M))
5.0ms
(pow (- (/ (+ m n) 2) M) 2)

series264.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

111.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
88.0ms
(cos (- (/ (* K (+ m n)) 2) M))
49.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify2.5s

Counts
36 → 71
Calls

36 calls. Slowest were:

342.0ms
(/ (exp (- (pow (- (/ (+ m n) 2) M) 2))) (exp (- l (fabs (- m n)))))
330.0ms
(/ (/ 1 (exp (pow (- (/ (+ m n) 2) M) 2))) (exp (- l (fabs (- m n)))))
272.0ms
(- (sqrt (- (pow (- (/ (+ m n) 2) M) 2))) (sqrt (- l (fabs (- m n)))))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Counts
2 → 34
Calls

2 calls. Slowest were:

115.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
11.0ms
(pow (- (/ (+ m n) 2) M) 2)

series163.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

117.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
46.0ms
(pow (- (/ (+ m n) 2) M) 2)

simplify2.3s

Counts
20 → 40
Calls

20 calls. Slowest were:

317.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
302.0ms
(/ (/ 1 (exp (pow (- (/ (+ m n) 2) M) 2))) (exp (- l (fabs (- m n)))))
282.0ms
(- (sqrt (- (pow (- (/ (+ m n) 2) M) 2))) (sqrt (- l (fabs (- m n)))))

prune779.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.0b

localize38.0ms

Local error

Found 4 expressions with local error:

35.2b
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
15.2b
(cbrt (* K (+ m n)))
15.2b
(cbrt (* K (+ m n)))
15.2b
(cbrt (* K (+ m n)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 43
Calls

4 calls. Slowest were:

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

series406.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

118.0ms
(cbrt (* K (+ m n)))
115.0ms
(cbrt (* K (+ m n)))
108.0ms
(cbrt (* K (+ m n)))

simplify2.3s

Counts
24 → 55
Calls

24 calls. Slowest were:

345.0ms
(exp (* -1/3 (+ (log (/ 1 m)) (log (/ 1 K)))))
344.0ms
(exp (* -1/3 (+ (log (/ 1 m)) (log (/ 1 K)))))
305.0ms
(exp (* -1/3 (+ (log (/ 1 m)) (log (/ 1 K)))))

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.9b

localize40.0ms

Local error

Found 4 expressions with local error:

35.2b
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
35.2b
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
35.2b
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
15.2b
(cbrt (* K (+ m n)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

26.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
22.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
13.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))

series273.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

118.0ms
(cbrt (* K (+ m n)))
54.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))
52.0ms
(cos (- (/ (* (* (cbrt (* K (+ m n))) (cbrt (* K (+ m n)))) (cbrt (* K (+ m n)))) 2) M))

simplify1.6s

Counts
24 → 53
Calls

24 calls. Slowest were:

364.0ms
(exp (* -1/3 (+ (log (/ 1 m)) (log (/ 1 K)))))
146.0ms
(cbrt (* K (- (* m m) (* n n))))
116.0ms
(exp (* -1/3 (+ (log (/ -1 m)) (log (/ -1 K)))))

prune1.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.9b

regimes1.0s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.3965449662539624 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