Error in 1.1m

Runtime

Time bar (total: 1.1m)Debug log

start235.0ms

Algorithm
intervals

setup339.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize57.0ms

Local error

Found 4 expressions with local error:

9.6b
(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
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))
0.3b
(* (/ l (/ Om 2)) (/ l (/ Om 2)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Counts
4 → 92
Calls

4 calls. Slowest were:

21.0ms
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))
17.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
14.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))

series924.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

370.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
331.0ms
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))
204.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))

simplify16.5s

Counts
76 → 104
Calls

76 calls. Slowest were:

2.5s
(* (+ (* (- (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.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize46.0ms

Local error

Found 4 expressions with local error:

9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
6.9b
(cbrt (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Counts
4 → 58
Calls

4 calls. Slowest were:

34.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
19.0ms
(cbrt (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))
15.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:

342.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
332.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
320.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))

simplify5.2s

Counts
38 → 70
Calls

38 calls. Slowest were:

527.0ms
(sqrt (+ (pow (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 3) (pow 1 3)))
286.0ms
(sqrt (* (cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)) (cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))))
285.0ms
(exp (* 1/6 (- (+ (* 2 (log (/ 1 Om))) (log (+ (* 4 (pow (sin ky) 2)) (* 4 (pow (sin kx) 2))))) (* 2 (log (/ 1 l))))))

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize30.0ms

Local error

Found 4 expressions with local error:

9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
9.6b
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))

rewrite108.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

29.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
29.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
28.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))

series1.4s

Counts
4 → 12
Calls

4 calls. Slowest were:

389.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
366.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
365.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))

simplify3.9s

Counts
36 → 68
Calls

36 calls. Slowest were:

273.0ms
(sqrt (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))
260.0ms
(sqrt (* (cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)) (cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))))
250.0ms
(sqrt (* (cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)) (cbrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))))

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize24.0ms

Local error

Found 4 expressions with local error:

9.6b
(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))))
2.1b
(log (exp (/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))))
0.3b
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))

rewrite98.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

30.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
30.0ms
(log (exp (/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))))
27.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))

series1.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

380.0ms
(log (exp (/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))))
315.0ms
(sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1))
304.0ms
(/ 1/2 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* (/ l (/ Om 2)) (/ l (/ Om 2)))) 1)))

simplify17.2s

Counts
68 → 95
Calls

68 calls. Slowest were:

2.6s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) (/ l (/ Om 2))))
1.6s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* (/ l (/ Om 2)) l))
1.2s
(* (+ (* (- (cos (- ky ky)) (cos (+ ky ky))) 2) (* 2 (- (cos (- kx kx)) (cos (+ kx kx))))) (* l (/ l (/ Om 2))))

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

regimes458.0ms

Please include this information when filing a bug report:

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