Error in 27.7s

Runtime

Time bar (total: 27.7s)Debug log

start507.0ms

Algorithm
intervals

setup182.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.0b

localize21.0ms

Local error

Found 4 expressions with local error:

5.1b
(+ (/ (fma (- wj) (exp wj) x) (fma (exp wj) wj (exp wj))) wj)
0.5b
(/ (fma (- wj) (exp wj) x) (fma (exp wj) wj (exp wj)))
0.0b
(fma (exp wj) wj (exp wj))
0.0b
(fma (- wj) (exp wj) x)

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 74
Calls

4 calls. Slowest were:

13.0ms
(+ (/ (fma (- wj) (exp wj) x) (fma (exp wj) wj (exp wj))) wj)
7.0ms
(/ (fma (- wj) (exp wj) x) (fma (exp wj) wj (exp wj)))
0.0ms
(fma (exp wj) wj (exp wj))

series178.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

64.0ms
(+ (/ (fma (- wj) (exp wj) x) (fma (exp wj) wj (exp wj))) wj)
43.0ms
(/ (fma (- wj) (exp wj) x) (fma (exp wj) wj (exp wj)))
39.0ms
(fma (- wj) (exp wj) x)

simplify1.6s

Counts
49 → 86
Calls

49 calls. Slowest were:

267.0ms
(/ (* (* (fma (- wj) (exp wj) x) (fma (- wj) (exp wj) x)) (fma (- wj) (exp wj) x)) (* (* (fma (exp wj) wj (exp wj)) (fma (exp wj) wj (exp wj))) (fma (exp wj) wj (exp wj))))
100.0ms
(- (+ (pow wj 2) x) (* 2 (* x wj)))
78.0ms
(- (/ x (* (exp wj) wj)) (+ (/ x (* (exp wj) (pow wj 2))) 1))

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize8.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Counts
0 → 0
Calls

0 calls. Slowest were:

series0.0ms

Counts
0 → 0
Calls

0 calls. Slowest were:

simplify0.0ms

Counts
0 → 0
Calls

0 calls. Slowest were:

prune41.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.4b

localize14.0ms

Local error

Found 4 expressions with local error:

5.6b
(fma (fma (- wj) (exp wj) x) (/ 1 (fma (exp wj) wj (exp wj))) wj)
0.0b
(fma (exp wj) wj (exp wj))
0.0b
(/ 1 (fma (exp wj) wj (exp wj)))
0.0b
(fma (- wj) (exp wj) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

2.0ms
(/ 1 (fma (exp wj) wj (exp wj)))
0.0ms
(fma (fma (- wj) (exp wj) x) (/ 1 (fma (exp wj) wj (exp wj))) wj)
0.0ms
(fma (exp wj) wj (exp wj))

series123.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

44.0ms
(fma (fma (- wj) (exp wj) x) (/ 1 (fma (exp wj) wj (exp wj))) wj)
26.0ms
(fma (- wj) (exp wj) x)
26.0ms
(fma (exp wj) wj (exp wj))

simplify517.0ms

Counts
16 → 60
Calls

16 calls. Slowest were:

80.0ms
(- (+ (pow wj 2) x) (* 2 (* x wj)))
78.0ms
(- (+ (/ 1 (* (exp wj) (pow wj 3))) (/ 1 (* (exp wj) wj))) (/ 1 (* (exp wj) (pow wj 2))))
74.0ms
(- (+ (/ 1 (* (exp wj) (pow wj 3))) (/ 1 (* (exp wj) wj))) (/ 1 (* (exp wj) (pow wj 2))))

prune643.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.4b

localize9.0ms

Local error

Found 4 expressions with local error:

6.8b
(+ (/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))) wj)
0.5b
(/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))
0.2b
(/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x)))
0.0b
(fma (exp wj) wj (exp wj))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 86
Calls

4 calls. Slowest were:

5.0ms
(/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))
3.0ms
(+ (/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))) wj)
1.0ms
(/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x)))

series212.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))
50.0ms
(+ (/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))) wj)
41.0ms
(/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x)))

simplify1.7s

Counts
55 → 98
Calls

55 calls. Slowest were:

287.0ms
(/ (* (* (fma (exp wj) wj (exp wj)) (fma (exp wj) wj (exp wj))) (fma (exp wj) wj (exp wj))) (* (* (fma (- wj) (exp wj) x) (fma (- wj) (exp wj) x)) (fma (- wj) (exp wj) x)))
142.0ms
(* (cbrt (/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x)))) (cbrt (/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x)))))
134.0ms
(sqrt (/ 1 (/ (fma (exp wj) wj (exp wj)) (fma (- wj) (exp wj) x))))

prune1.2s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.4b

regimes178.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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))))))

Backtrace

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