Error in 1.3m

Runtime

Time bar (total: 1.3m)Debug logProfile

start196.0ms

Algorithm
intervals

setup718.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.9b

localize49.0ms

Local error

Found 4 expressions with local error:

9.1b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
3.1b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
0.3b
(* (sin ky) (sin ky))
0.3b
(* (sin kx) (sin kx))

rewrite82.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

34.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
32.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
7.0ms
(* (sin ky) (sin ky))

series595.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

345.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
217.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
17.0ms
(* (sin kx) (sin kx))

simplify13.5s

Counts
77 → 103
Calls

77 calls. Slowest were:

2.3s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
1.5s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) l))
1.5s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* l (/ l (/ Om 2))))

prune2.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.5b

localize17.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
1.1b
(log (exp (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))))
0.3b
(* (sin ky) (sin ky))
0.3b
(* (sin kx) (sin kx))

rewrite35.0ms

Algorithm
rewrite-expression-head
Counts
4 → 92
Calls

4 calls. Slowest were:

20.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
6.0ms
(* (sin ky) (sin ky))
4.0ms
(log (exp (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))))

series404.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

187.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
177.0ms
(log (exp (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))))
22.0ms
(* (sin ky) (sin ky))

simplify14.4s

Counts
78 → 104
Calls

78 calls. Slowest were:

2.7s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
1.5s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) l))
1.3s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* l (/ l (/ Om 2))))

prune2.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.5b

localize38.0ms

Local error

Found 4 expressions with local error:

14.0b
(cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
14.0b
(cbrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1))
3.1b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
3.1b
(/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Counts
4 → 88
Calls

4 calls. Slowest were:

21.0ms
(/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l))))
16.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
12.0ms
(cbrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

317.0ms
(cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
257.0ms
(cbrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1))
243.0ms
(/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l))))

simplify18.6s

Counts
76 → 100
Calls

76 calls. Slowest were:

2.3s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
1.7s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) l))
1.4s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* l (/ l (/ Om 2))))

prune3.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.5b

localize30.0ms

Local error

Found 4 expressions with local error:

14.0b
(cbrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1))
9.1b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
9.1b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
5.9b
(cbrt (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

22.0ms
(cbrt (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))
14.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
14.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))

series1.3s

Counts
4 → 12
Calls

4 calls. Slowest were:

417.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
368.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
284.0ms
(cbrt (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))

simplify5.4s

Counts
37 → 69
Calls

37 calls. Slowest were:

893.0ms
(cbrt (- (* (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l))))) (* 1 1)))
311.0ms
(cbrt (* (cbrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1)) (cbrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1))))
309.0ms
(cbrt (sqrt (+ (/ (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))) (* (/ Om (* 2 l)) (/ Om (* 2 l)))) 1)))

prune2.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.5b

regimes579.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (l Om kx ky)
  :name "Toniolo and Linder, Equation (3a)"
  (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))))

Backtrace

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