Time bar (total: 28.2s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.1b
Found 3 expressions with local error:
| 0.1b | (/ x (tan B)) |
| 0.1b | (/ 1 (sin B)) |
| 0.0b | (- (/ 1 (sin B)) (/ x (tan B))) |
3 calls. Slowest were:
| 8.0ms | (- (/ 1 (sin B)) (/ x (tan B))) |
| 3.0ms | (/ x (tan B)) |
| 2.0ms | (/ 1 (sin B)) |
3 calls. Slowest were:
| 152.0ms | (/ x (tan B)) |
| 119.0ms | (- (/ 1 (sin B)) (/ x (tan B))) |
| 19.0ms | (/ 1 (sin B)) |
66 calls. Slowest were:
| 66.0ms | (fma 1 (/ 1 (sin B)) (- (* (/ 1 (tan B)) x))) |
| 63.0ms | (fma 1 (/ 1 (sin B)) (- (* (/ 1 (tan B)) x))) |
| 63.0ms | (fma (sqrt (/ 1 (sin B))) (sqrt (/ 1 (sin B))) (- (* (/ 1 (tan B)) x))) |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 0.1b | (/ (- x) (sin B)) |
| 0.1b | (/ 1 (sin B)) |
| 0.1b | (fma (cos B) (/ (- x) (sin B)) (/ 1 (sin B))) |
3 calls. Slowest were:
| 7.0ms | (/ (- x) (sin B)) |
| 2.0ms | (/ 1 (sin B)) |
| 0.0ms | (fma (cos B) (/ (- x) (sin B)) (/ 1 (sin B))) |
3 calls. Slowest were:
| 97.0ms | (fma (cos B) (/ (- x) (sin B)) (/ 1 (sin B))) |
| 92.0ms | (/ (- x) (sin B)) |
| 25.0ms | (/ 1 (sin B)) |
46 calls. Slowest were:
| 166.0ms | (/ (* (* (- x) (- x)) (- x)) (* (* (sin B) (sin B)) (sin B))) |
| 49.0ms | (+ (* 1/6 B) (+ (/ 1 B) (* 7/360 (pow B 3)))) |
| 46.0ms | (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.3b | (/ 1 (/ (tan B) x)) |
| 0.2b | (/ (tan B) x) |
| 0.1b | (/ 1 (sin B)) |
| 0.0b | (- (/ 1 (sin B)) (/ 1 (/ (tan B) x))) |
4 calls. Slowest were:
| 11.0ms | (- (/ 1 (sin B)) (/ 1 (/ (tan B) x))) |
| 5.0ms | (/ (tan B) x) |
| 2.0ms | (/ 1 (/ (tan B) x)) |
4 calls. Slowest were:
| 126.0ms | (- (/ 1 (sin B)) (/ 1 (/ (tan B) x))) |
| 121.0ms | (/ 1 (/ (tan B) x)) |
| 66.0ms | (/ (tan B) x) |
75 calls. Slowest were:
| 105.0ms | (+ (/ B x) (+ (* 1/3 (/ (pow B 3) x)) (* 2/15 (/ (pow B 5) x)))) |
| 100.0ms | (fma (- (/ 1 (/ (tan B) x))) 1 (* (/ 1 (/ (tan B) x)) 1)) |
| 90.0ms | (fma 1 (/ 1 (sin B)) (- (* x (/ 1 (tan B))))) |
10 alts after pruning (9 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.6b | (cbrt (tan B)) |
| 0.6b | (cbrt (tan B)) |
| 0.6b | (cbrt (tan B)) |
| 0.5b | (* (cbrt (tan B)) (cbrt (tan B))) |
4 calls. Slowest were:
| 6.0ms | (* (cbrt (tan B)) (cbrt (tan B))) |
| 1.0ms | (cbrt (tan B)) |
| 1.0ms | (cbrt (tan B)) |
4 calls. Slowest were:
| 205.0ms | (cbrt (tan B)) |
| 183.0ms | (cbrt (tan B)) |
| 181.0ms | (* (cbrt (tan B)) (cbrt (tan B))) |
48 calls. Slowest were:
| 33.0ms | (+ (pow B 2/3) (+ (* 31/405 (pow (pow B 14) 1/3)) (* 2/9 (pow (pow B 8) 1/3)))) |
| 27.0ms | (+ (pow B 1/3) (+ (* 1/9 (pow (pow B 7) 1/3)) (* 13/405 (pow (pow B 13) 1/3)))) |
| 25.0ms | (pow (/ (pow (sin B) 2) (pow (cos B) 2)) 1/3) |
9 alts after pruning (8 fresh and 1 done)
Merged error: 0.0b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +o rules:numerics
(FPCore (B x)
:name "VandenBroeck and Keller, Equation (24)"
(+ (- (* x (/ 1 (tan B)))) (/ 1 (sin B))))
| partition: contract violation expected: list? given: 0.19267236875252403 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 |