Time bar (total: 53.8s)Debug logProfile
1 alts after pruning (1 fresh and 0 done)
Merged error: 15.3b
Found 3 expressions with local error:
| 3.0b | (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) |
| 1.2b | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
| 0.0b | (+ (exp wj) (* wj (exp wj))) |
3 calls. Slowest were:
| 18.0ms | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
| 7.0ms | (+ (exp wj) (* wj (exp wj))) |
| 1.0ms | (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) |
3 calls. Slowest were:
| 70.0ms | (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) |
| 36.0ms | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
| 36.0ms | (+ (exp wj) (* wj (exp wj))) |
60 calls. Slowest were:
| 706.0ms | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
| 498.0ms | (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) |
| 369.0ms | (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.4b
Found 0 expressions with local error:
0 calls. Slowest were:
0 calls. Slowest were:
0 calls. Slowest were:
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.4b
Found 3 expressions with local error:
| 3.2b | (- wj (* (/ 1 (+ wj 1)) (- wj (/ x (exp wj))))) |
| 0.2b | (/ x (exp wj)) |
| 0.0b | (* (/ 1 (+ wj 1)) (- wj (/ x (exp wj)))) |
3 calls. Slowest were:
| 9.0ms | (* (/ 1 (+ wj 1)) (- wj (/ x (exp wj)))) |
| 2.0ms | (- wj (* (/ 1 (+ wj 1)) (- wj (/ x (exp wj))))) |
| 1.0ms | (/ x (exp wj)) |
3 calls. Slowest were:
| 57.0ms | (/ x (exp wj)) |
| 52.0ms | (- wj (* (/ 1 (+ wj 1)) (- wj (/ x (exp wj))))) |
| 48.0ms | (* (/ 1 (+ wj 1)) (- wj (/ x (exp wj)))) |
38 calls. Slowest were:
| 806.0ms | (* (* (* (/ 1 (+ wj 1)) (/ 1 (+ wj 1))) (/ 1 (+ wj 1))) (* (* (- wj (/ x (exp wj))) (- wj (/ x (exp wj)))) (- wj (/ x (exp wj))))) |
| 686.0ms | (* (- (/ x (exp wj))) (/ 1 (+ wj 1))) |
| 507.0ms | (* (+ wj 1) (+ (* wj wj) (+ (* (/ x (exp wj)) (/ x (exp wj))) (* wj (/ x (exp wj)))))) |
4 alts after pruning (2 fresh and 2 done)
Merged error: 0.4b
Found 4 expressions with local error:
| 22.6b | (/ (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
| 1.8b | (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
| 1.2b | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
| 1.2b | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
4 calls. Slowest were:
| 13.0ms | (/ (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
| 11.0ms | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
| 8.0ms | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
4 calls. Slowest were:
| 158.0ms | (/ (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
| 129.0ms | (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
| 58.0ms | (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) |
142 calls. Slowest were:
| 1.6s | (/ (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 1) |
| 1.1s | (sqrt (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
| 949.0ms | (cbrt (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0.4b
Please include this information when filing a bug report:
herbie shell --seed 2018357 +o rules:numerics
(FPCore (wj x)
:name "Jmat.Real.lambertw, newton loop step"
:herbie-target
(- wj (- (/ wj (+ wj 1)) (/ x (+ (exp wj) (* wj (exp wj))))))
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
| partition: contract violation expected: list? given: 1.6205564258837268 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 |