Time bar (total: 34.3s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 9.7b
Found 4 expressions with local error:
| 9.7b | (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (* (cos (/ K 2)) (* -2 J))) |
| 0.1b | (* (cos (/ K 2)) (* -2 J)) |
| 0.1b | (/ (/ (/ U 2) J) (cos (/ K 2))) |
| 0.0b | (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) |
4 calls. Slowest were:
| 23.0ms | (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (* (cos (/ K 2)) (* -2 J))) |
| 11.0ms | (/ (/ (/ U 2) J) (cos (/ K 2))) |
| 10.0ms | (* (cos (/ K 2)) (* -2 J)) |
4 calls. Slowest were:
| 263.0ms | (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (* (cos (/ K 2)) (* -2 J))) |
| 170.0ms | (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) |
| 91.0ms | (/ (/ (/ U 2) J) (cos (/ K 2))) |
59 calls. Slowest were:
| 476.0ms | (/ (* (* (/ (/ U 2) J) (/ (/ U 2) J)) (/ (/ U 2) J)) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2)))) |
| 206.0ms | (+ (* 1/16 (/ (* (pow K 2) U) J)) (* 1/2 (/ U J))) |
| 186.0ms | (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* (* (* -2 J) (* -2 J)) (* -2 J))) |
9 alts after pruning (9 fresh and 0 done)
Merged error: 5.2b
Found 4 expressions with local error:
| 9.7b | (* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (cos (/ K 2)) (* -2 J))) |
| 0.1b | (* (cos (/ K 2)) (* -2 J)) |
| 0.1b | (* (cos (/ K 2)) J) |
| 0.1b | (/ (/ U 2) (* (cos (/ K 2)) J)) |
4 calls. Slowest were:
| 12.0ms | (* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (cos (/ K 2)) (* -2 J))) |
| 9.0ms | (/ (/ U 2) (* (cos (/ K 2)) J)) |
| 7.0ms | (* (cos (/ K 2)) (* -2 J)) |
4 calls. Slowest were:
| 237.0ms | (* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (cos (/ K 2)) (* -2 J))) |
| 67.0ms | (/ (/ U 2) (* (cos (/ K 2)) J)) |
| 51.0ms | (* (cos (/ K 2)) J) |
40 calls. Slowest were:
| 263.0ms | (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* (* (* -2 J) (* -2 J)) (* -2 J))) |
| 236.0ms | (+ (* 1/16 (/ (* (pow K 2) U) J)) (* 1/2 (/ U J))) |
| 220.0ms | (- (log (/ U 2)) (log (* (cos (/ K 2)) J))) |
9 alts after pruning (8 fresh and 1 done)
Merged error: 5.2b
Found 4 expressions with local error:
| 9.7b | (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) |
| 9.7b | (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) |
| 0.1b | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J))) |
| 0.1b | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J)))) |
4 calls. Slowest were:
| 48.0ms | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J)))) |
| 23.0ms | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J))) |
| 2.0ms | (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) |
4 calls. Slowest were:
| 251.0ms | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J))) |
| 241.0ms | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J)))) |
| 169.0ms | (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) |
47 calls. Slowest were:
| 195.0ms | (+ (log (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))))) (+ (log (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))))) (+ (log (cos (/ K 2))) (log (* -2 J))))) |
| 179.0ms | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J)))) |
| 169.0ms | (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (sqrt (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (* (cos (/ K 2)) (* -2 J)))) |
9 alts after pruning (7 fresh and 2 done)
Merged error: 5.2b
Found 4 expressions with local error:
| 9.7b | (* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (* -2 J)))) |
| 0.3b | (cbrt (cos (/ K 2))) |
| 0.3b | (cbrt (cos (/ K 2))) |
| 0.3b | (cbrt (cos (/ K 2))) |
4 calls. Slowest were:
| 75.0ms | (* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (* -2 J)))) |
| 1.0ms | (cbrt (cos (/ K 2))) |
| 1.0ms | (cbrt (cos (/ K 2))) |
4 calls. Slowest were:
| 248.0ms | (* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (* -2 J)))) |
| 167.0ms | (cbrt (cos (/ K 2))) |
| 155.0ms | (cbrt (cos (/ K 2))) |
39 calls. Slowest were:
| 380.0ms | (+ (log (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (+ (+ (log (cbrt (cos (/ K 2)))) (log (cbrt (cos (/ K 2))))) (log (* (cbrt (cos (/ K 2))) (* -2 J))))) |
| 324.0ms | (+ (log (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (+ (log (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (+ (log (cbrt (cos (/ K 2)))) (log (* -2 J))))) |
| 322.0ms | (+ (log (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J)))) (+ (+ (log (cbrt (cos (/ K 2)))) (log (cbrt (cos (/ K 2))))) (+ (log (cbrt (cos (/ K 2)))) (log (* -2 J))))) |
9 alts after pruning (7 fresh and 2 done)
Merged error: 5.2b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +o rules:numerics
(FPCore (J K U)
:name "Maksimov and Kolovsky, Equation (3)"
(* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))))
| partition: contract violation expected: list? given: 7.708230819234001 argument position: 2nd other arguments...: #<procedure:ordinary-value?> | L | C | |
|---|---|---|---|
| partition | /home/p92/racket/collects/racket/list.rkt | 555 | 0 |
| errors-score | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 322 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/sandbox.rkt | 75 | 12 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |